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
242 TargetOptions TargetOpts = Conf.Options;
243 if (TargetOpts.MCOptions.ABIName.empty()) {
244 TargetOpts.MCOptions.ABIName = M.getTargetABIFromMD();
245 }
246 TargetOpts.MCOptions.LibraryOptions = &M.getContext().getLibraryOptions();
247
248 std::unique_ptr<TargetMachine> TM(TheTarget->createTargetMachine(
249 TheTriple, Conf.CPU, Features.getString(), TargetOpts, RelocModel,
250 CodeModel, Conf.CGOptLevel));
251
252 assert(TM && "Failed to create target machine");
253
254 if (std::optional<uint64_t> LargeDataThreshold = M.getLargeDataThreshold())
255 TM->setLargeDataThreshold(*LargeDataThreshold);
256
257 return TM;
258}
259
260static void runNewPMPasses(const Config &Conf, Module &Mod, TargetMachine *TM,
261 unsigned OptLevel, bool IsThinLTO,
262 ModuleSummaryIndex *ExportSummary,
263 const ModuleSummaryIndex *ImportSummary,
264 const DenseSet<StringRef> &BitcodeLibFuncs) {
265 std::optional<PGOOptions> PGOOpt;
266 if (!Conf.SampleProfile.empty())
267 PGOOpt = PGOOptions(Conf.SampleProfile, "", Conf.ProfileRemapping,
268 /*MemoryProfile=*/"", PGOOptions::SampleUse,
271 else if (Conf.RunCSIRInstr) {
272 PGOOpt = PGOOptions("", Conf.CSIRProfile, Conf.ProfileRemapping,
273 /*MemoryProfile=*/"", PGOOptions::IRUse,
275 Conf.AddFSDiscriminator);
276 } else if (!Conf.CSIRProfile.empty()) {
277 PGOOpt =
279 /*MemoryProfile=*/"", PGOOptions::IRUse, PGOOptions::CSIRUse,
282 } else if (Conf.AddFSDiscriminator) {
283 PGOOpt = PGOOptions("", "", "", /*MemoryProfile=*/"", PGOOptions::NoAction,
286 }
287 TM->setPGOOption(PGOOpt);
288
293
296 Conf.VerifyEach);
297 SI.registerCallbacks(PIC, &MAM);
298 PassBuilder PB(TM, Conf.PTO, PGOOpt, &PIC);
299
300 RegisterPassPlugins(Conf, PB);
301
302 std::unique_ptr<TargetLibraryInfoImpl> TLII(
304 if (Conf.Freestanding)
305 TLII->disableAllFunctions();
306
307 // Determine whether or not its safe to emit calls to each libfunc. Libfuncs
308 // that might have been present in the current LTO unit, but are not, have
309 // lost their only opportunity to be defined, and calls must not be emitted to
310 // them.
311 // FIXME: BitcodeLibFuncs isn't yet set for distributed ThinLTO.
312 TargetLibraryInfo TLI(*TLII);
313 for (unsigned I = 0, E = static_cast<unsigned>(LibFunc::NumLibFuncs); I != E;
314 ++I) {
315 LibFunc F = static_cast<LibFunc>(I);
316 if (BitcodeLibFuncs.contains(TLI.getName(F)))
317 TLII->setUnavailable(F);
318 }
319
320 FAM.registerPass([&] { return TargetLibraryAnalysis(*TLII); });
321
322 // Parse a custom AA pipeline if asked to.
323 if (!Conf.AAPipeline.empty()) {
325 if (auto Err = PB.parseAAPipeline(AA, Conf.AAPipeline)) {
326 report_fatal_error(Twine("unable to parse AA pipeline description '") +
327 Conf.AAPipeline + "': " + toString(std::move(Err)));
328 }
329 // Register the AA manager first so that our version is the one used.
330 FAM.registerPass([&] { return std::move(AA); });
331 }
332
333 // Register all the basic analyses with the managers.
334 PB.registerModuleAnalyses(MAM);
335 PB.registerCGSCCAnalyses(CGAM);
336 PB.registerFunctionAnalyses(FAM);
337 PB.registerLoopAnalyses(LAM);
338 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
339
340 if (Conf.PassBuilderCallback)
342
344
345 if (!Conf.DisableVerify)
346 MPM.addPass(VerifierPass());
347
349
350 switch (OptLevel) {
351 default:
352 llvm_unreachable("Invalid optimization level");
353 case 0:
355 break;
356 case 1:
358 break;
359 case 2:
361 break;
362 case 3:
364 break;
365 }
366
367 // Parse a custom pipeline if asked to.
368 if (!Conf.OptPipeline.empty()) {
369 if (auto Err = PB.parsePassPipeline(MPM, Conf.OptPipeline)) {
370 report_fatal_error(Twine("unable to parse pass pipeline description '") +
371 Conf.OptPipeline + "': " + toString(std::move(Err)));
372 }
373 } else if (IsThinLTO) {
374 MPM.addPass(PB.buildThinLTODefaultPipeline(OL, ImportSummary));
375 } else {
376 MPM.addPass(PB.buildLTODefaultPipeline(OL, ExportSummary));
377 }
378
379 if (!Conf.DisableVerify)
380 MPM.addPass(VerifierPass());
381
382 if (PB.getPrintPipelinePasses()) {
383 std::string PipelineStr;
384 raw_string_ostream OS(PipelineStr);
385 MPM.printPipeline(OS, [&PIC](StringRef ClassName) {
386 auto PassName = PIC.getPassNameForClassName(ClassName);
387 return PassName.empty() ? ClassName : PassName;
388 });
389 outs() << "pipeline-passes: " << PipelineStr << '\n';
390 }
391
392 MPM.run(Mod, MAM);
393}
394
395static bool isEmptyModule(const Module &Mod) {
396 // Module is empty if it has no functions, no globals, no inline asm and no
397 // named metadata (aliases and ifuncs require functions or globals so we
398 // don't need to check those explicitly).
399 return Mod.empty() && Mod.global_empty() && Mod.named_metadata_empty() &&
400 Mod.getModuleInlineAsm().empty();
401}
402
403bool lto::opt(const Config &Conf, TargetMachine *TM, unsigned Task, Module &Mod,
404 bool IsThinLTO, ModuleSummaryIndex *ExportSummary,
405 const ModuleSummaryIndex *ImportSummary,
406 const std::vector<uint8_t> &CmdArgs,
407 ArrayRef<StringRef> BitcodeLibFuncs) {
408 llvm::TimeTraceScope timeScope("opt");
410 // FIXME: the motivation for capturing post-merge bitcode and command line
411 // is replicating the compilation environment from bitcode, without needing
412 // to understand the dependencies (the functions to be imported). This
413 // assumes a clang - based invocation, case in which we have the command
414 // line.
415 // It's not very clear how the above motivation would map in the
416 // linker-based case, so we currently don't plumb the command line args in
417 // that case.
418 if (CmdArgs.empty())
420 dbgs() << "Post-(Thin)LTO merge bitcode embedding was requested, but "
421 "command line arguments are not available");
423 /*EmbedBitcode*/ true, /*EmbedCmdline*/ true,
424 /*Cmdline*/ CmdArgs);
425 }
426 // No need to run any opt passes if the module is empty.
427 // In theory these passes should take almost no time for an empty
428 // module, however, this guards against doing any unnecessary summary-based
429 // analysis in the case of a ThinLTO build where this might be an empty
430 // regular LTO combined module, with a large combined index from ThinLTO.
431 if (!isEmptyModule(Mod)) {
432 DenseSet<StringRef> BitcodeLibFuncsSet(BitcodeLibFuncs.begin(),
433 BitcodeLibFuncs.end());
434 // FIXME: Plumb the combined index into the new pass manager.
435 runNewPMPasses(Conf, Mod, TM, Conf.OptLevel, IsThinLTO, ExportSummary,
436 ImportSummary, BitcodeLibFuncsSet);
437 }
438 return !Conf.PostOptModuleHook || Conf.PostOptModuleHook(Task, Mod);
439}
440
441static void codegen(const Config &Conf, TargetMachine *TM,
442 AddStreamFn AddStream, unsigned Task, Module &Mod,
443 const ModuleSummaryIndex &CombinedIndex) {
444 llvm::TimeTraceScope timeScope("codegen");
445 if (Conf.PreCodeGenModuleHook && !Conf.PreCodeGenModuleHook(Task, Mod))
446 return;
447
450 /*EmbedBitcode*/ true,
451 /*EmbedCmdline*/ false,
452 /*CmdArgs*/ std::vector<uint8_t>());
453
454 std::unique_ptr<ToolOutputFile> DwoOut;
456 if (!Conf.DwoDir.empty()) {
457 std::error_code EC;
458 if (auto EC = llvm::sys::fs::create_directories(Conf.DwoDir))
459 report_fatal_error(Twine("Failed to create directory ") + Conf.DwoDir +
460 ": " + EC.message());
461
462 DwoFile = Conf.DwoDir;
463 sys::path::append(DwoFile, std::to_string(Task) + ".dwo");
464 TM->Options.MCOptions.SplitDwarfFile = std::string(DwoFile);
465 } else
467
468 if (!DwoFile.empty()) {
469 std::error_code EC;
470 DwoOut = std::make_unique<ToolOutputFile>(DwoFile, EC, sys::fs::OF_None);
471 if (EC)
472 report_fatal_error(Twine("Failed to open ") + DwoFile + ": " +
473 EC.message());
474 }
475
477 AddStream(Task, Mod.getModuleIdentifier());
478 if (Error Err = StreamOrErr.takeError())
479 report_fatal_error(std::move(Err));
480 std::unique_ptr<CachedFileStream> &Stream = *StreamOrErr;
481 TM->Options.ObjectFilenameForDebug = Stream->ObjectPathName;
482
483 // Create the codegen pipeline in its own scope so it gets deleted before
484 // Stream->commit() is called. The commit function of CacheStream deletes
485 // the raw stream, which is too early as streamers (e.g. MCAsmStreamer)
486 // keep the pointer and may use it until their destruction. See #138194.
487 {
488 legacy::PassManager CodeGenPasses;
489 TargetLibraryInfoImpl TLII(Mod.getTargetTriple(), TM->Options.VecLib);
490 CodeGenPasses.add(new TargetLibraryInfoWrapperPass(TLII));
491 CodeGenPasses.add(new RuntimeLibraryInfoWrapper(
493
494 // No need to make index available if the module is empty.
495 // In theory these passes should not use the index for an empty
496 // module, however, this guards against doing any unnecessary summary-based
497 // analysis in the case of a ThinLTO build where this might be an empty
498 // regular LTO combined module, with a large combined index from ThinLTO.
499 if (!isEmptyModule(Mod))
500 CodeGenPasses.add(
502 if (Conf.PreCodeGenPassesHook)
503 Conf.PreCodeGenPassesHook(CodeGenPasses);
504 if (TM->addPassesToEmitFile(CodeGenPasses, *Stream->OS,
505 DwoOut ? &DwoOut->os() : nullptr,
506 Conf.CGFileType))
507 report_fatal_error("Failed to setup codegen");
508 CodeGenPasses.run(Mod);
509
510 if (DwoOut)
511 DwoOut->keep();
512 }
513
514 if (Error Err = Stream->commit())
515 report_fatal_error(std::move(Err));
516}
517
518static void splitCodeGen(const Config &C, TargetMachine *TM,
519 AddStreamFn AddStream,
520 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
521 const ModuleSummaryIndex &CombinedIndex) {
522 DefaultThreadPool CodegenThreadPool(
523 heavyweight_hardware_concurrency(ParallelCodeGenParallelismLevel));
524 unsigned ThreadCount = 0;
525 const Target *T = &TM->getTarget();
526
527 const auto HandleModulePartition =
528 [&](std::unique_ptr<Module> MPart) {
529 // We want to clone the module in a new context to multi-thread the
530 // codegen. We do it by serializing partition modules to bitcode
531 // (while still on the main thread, in order to avoid data races) and
532 // spinning up new threads which deserialize the partitions into
533 // separate contexts.
534 // FIXME: Provide a more direct way to do this in LLVM.
536 raw_svector_ostream BCOS(BC);
537 WriteBitcodeToFile(*MPart, BCOS);
538
539 // Enqueue the task
540 CodegenThreadPool.async(
541 [&](const SmallString<0> &BC, unsigned ThreadId) {
542 LTOLLVMContext Ctx(C);
544 parseBitcodeFile(MemoryBufferRef(BC.str(), "ld-temp.o"), Ctx);
545 if (!MOrErr)
546 report_fatal_error("Failed to read bitcode");
547 std::unique_ptr<Module> MPartInCtx = std::move(MOrErr.get());
548
549 std::unique_ptr<TargetMachine> TM =
550 createTargetMachine(C, T, *MPartInCtx);
551
552 codegen(C, TM.get(), AddStream, ThreadId, *MPartInCtx,
553 CombinedIndex);
554 },
555 // Pass BC using std::move to ensure that it get moved rather than
556 // copied into the thread's context.
557 std::move(BC), ThreadCount++);
558 };
559
560 // Try target-specific module splitting first, then fallback to the default.
561 if (!TM->splitModule(Mod, ParallelCodeGenParallelismLevel,
562 HandleModulePartition)) {
563 SplitModule(Mod, ParallelCodeGenParallelismLevel, HandleModulePartition,
564 false);
565 }
566
567 // Because the inner lambda (which runs in a worker thread) captures our local
568 // variables, we need to wait for the worker threads to terminate before we
569 // can leave the function scope.
570 CodegenThreadPool.wait();
571}
572
574 Module &Mod) {
575 if (!C.OverrideTriple.empty())
576 Mod.setTargetTriple(Triple(C.OverrideTriple));
577 else if (Mod.getTargetTriple().empty())
578 Mod.setTargetTriple(Triple(C.DefaultTriple));
579
580 std::string Msg;
581 const Target *T = TargetRegistry::lookupTarget(Mod.getTargetTriple(), Msg);
582 if (!T)
584 return T;
585}
586
588 // Make sure we flush the diagnostic remarks file in case the linker doesn't
589 // call the global destructors before exiting.
590 if (!DiagOutputFile)
591 return Error::success();
592 DiagOutputFile.finalize();
593 DiagOutputFile->keep();
594 DiagOutputFile->os().flush();
595 return Error::success();
596}
597
599 unsigned ParallelCodeGenParallelismLevel, Module &Mod,
600 ModuleSummaryIndex &CombinedIndex,
601 ArrayRef<StringRef> BitcodeLibFuncs) {
602 llvm::TimeTraceScope timeScope("LTO backend");
604 if (!TOrErr)
605 return TOrErr.takeError();
606
607 std::unique_ptr<TargetMachine> TM = createTargetMachine(C, *TOrErr, Mod);
608
609 LLVM_DEBUG(dbgs() << "Running regular LTO\n");
610 if (!C.CodeGenOnly) {
611 if (!opt(C, TM.get(), 0, Mod, /*IsThinLTO=*/false,
612 /*ExportSummary=*/&CombinedIndex, /*ImportSummary=*/nullptr,
613 /*CmdArgs*/ std::vector<uint8_t>(), BitcodeLibFuncs))
614 return Error::success();
615 }
616
617 if (ParallelCodeGenParallelismLevel == 1) {
618 codegen(C, TM.get(), AddStream, 0, Mod, CombinedIndex);
619 } else {
620 splitCodeGen(C, TM.get(), AddStream, ParallelCodeGenParallelismLevel, Mod,
621 CombinedIndex);
622 }
623 return Error::success();
624}
625
626static void dropDeadSymbols(Module &Mod, const GVSummaryMapTy &DefinedGlobals,
627 const ModuleSummaryIndex &Index) {
628 llvm::TimeTraceScope timeScope("Drop dead symbols");
629 std::vector<GlobalValue*> DeadGVs;
630
631 for (auto &GV : Mod.global_values()) {
632 auto GUID = GV.getGUIDIfAssigned();
633 if (!GUID)
634 continue;
635
636 if (GlobalValueSummary *GVS = DefinedGlobals.lookup(*GUID))
637 if (!Index.isGlobalValueLive(GVS)) {
638 DeadGVs.push_back(&GV);
640 }
641 }
642
643 // Now that all dead bodies have been dropped, delete the actual objects
644 // themselves when possible.
645 for (GlobalValue *GV : DeadGVs) {
646 GV->removeDeadConstantUsers();
647 // Might reference something defined in native object (i.e. dropped a
648 // non-prevailing IR def, but we need to keep the declaration).
649 if (GV->use_empty())
650 GV->eraseFromParent();
651 }
652}
653
654Error lto::thinBackend(const Config &Conf, unsigned Task, AddStreamFn AddStream,
655 Module &Mod, const ModuleSummaryIndex &CombinedIndex,
656 const FunctionImporter::ImportMapTy &ImportList,
657 const GVSummaryMapTy &DefinedGlobals,
659 bool CodeGenOnly, ArrayRef<StringRef> BitcodeLibFuncs,
660 AddStreamFn IRAddStream,
661 const std::vector<uint8_t> &CmdArgs) {
662 llvm::TimeTraceScope timeScope("Thin backend", Mod.getModuleIdentifier());
664 if (!TOrErr)
665 return TOrErr.takeError();
666
667 std::unique_ptr<TargetMachine> TM = createTargetMachine(Conf, *TOrErr, Mod);
668
669 // Setup optimization remarks.
670 auto DiagFileOrErr = lto::setupLLVMOptimizationRemarks(
671 Mod.getContext(), Conf.RemarksFilename, Conf.RemarksPasses,
673 Task);
674 if (!DiagFileOrErr)
675 return DiagFileOrErr.takeError();
676 auto DiagnosticOutputFile = std::move(*DiagFileOrErr);
677
678 // Set the partial sample profile ratio in the profile summary module flag of
679 // the module, if applicable.
680 Mod.setPartialSampleProfileRatio(CombinedIndex);
681
682 LLVM_DEBUG(dbgs() << "Running ThinLTO\n");
683 if (CodeGenOnly) {
684 // If CodeGenOnly is set, we only perform code generation and skip
685 // optimization. This value may differ from Conf.CodeGenOnly.
686 codegen(Conf, TM.get(), AddStream, Task, Mod, CombinedIndex);
687 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
688 }
689
690 if (Conf.PreOptModuleHook && !Conf.PreOptModuleHook(Task, Mod))
691 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
692
693 auto OptimizeAndCodegen =
694 [&](Module &Mod, TargetMachine *TM,
695 LLVMRemarkFileHandle DiagnosticOutputFile) {
696 // Perform optimization and code generation for ThinLTO.
697 if (!opt(Conf, TM, Task, Mod, /*IsThinLTO=*/true,
698 /*ExportSummary=*/nullptr, /*ImportSummary=*/&CombinedIndex,
699 CmdArgs, BitcodeLibFuncs))
700 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
701
702 // Save the current module before the first codegen round.
703 // Note that the second codegen round runs only `codegen()` without
704 // running `opt()`. We're not reaching here as it's bailed out earlier
705 // with `CodeGenOnly` which has been set in `SecondRoundThinBackend`.
706 if (IRAddStream)
707 cgdata::saveModuleForTwoRounds(Mod, Task, IRAddStream);
708
709 codegen(Conf, TM, AddStream, Task, Mod, CombinedIndex);
710 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
711 };
712
714 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
715
716 // When linking an ELF shared object, dso_local should be dropped. We
717 // conservatively do this for -fpic.
718 bool ClearDSOLocalOnDeclarations =
719 Mod.getTargetTriple().isOSBinFormatELF() &&
720 TM->getRelocationModel() != Reloc::Static &&
721 Mod.getPIELevel() == PIELevel::Default;
722 renameModuleForThinLTO(Mod, CombinedIndex, ClearDSOLocalOnDeclarations);
723
724 dropDeadSymbols(Mod, DefinedGlobals, CombinedIndex);
725
726 thinLTOFinalizeInModule(Mod, DefinedGlobals, /*PropagateAttrs=*/true);
727
728 if (Conf.PostPromoteModuleHook && !Conf.PostPromoteModuleHook(Task, Mod))
729 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
730
731 if (!DefinedGlobals.empty())
732 thinLTOInternalizeModule(Mod, DefinedGlobals);
733
734 if (Conf.PostInternalizeModuleHook &&
735 !Conf.PostInternalizeModuleHook(Task, Mod))
736 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
737
738 auto ModuleLoader = [&](StringRef Identifier) {
739 llvm::TimeTraceScope moduleLoaderScope("Module loader", Identifier);
740 assert(Mod.getContext().isODRUniquingDebugTypes() &&
741 "ODR Type uniquing should be enabled on the context");
742 if (ModuleMap) {
743 auto I = ModuleMap->find(Identifier);
744 assert(I != ModuleMap->end());
745 return I->second.getLazyModule(Mod.getContext(),
746 /*ShouldLazyLoadMetadata=*/true,
747 /*IsImporting*/ true);
748 }
749
751 llvm::MemoryBuffer::getFile(Identifier);
752 if (!MBOrErr)
754 Twine("Error loading imported file ") + Identifier + " : ",
755 MBOrErr.getError()));
756
757 Expected<BitcodeModule> BMOrErr = findThinLTOModule(**MBOrErr);
758 if (!BMOrErr)
760 Twine("Error loading imported file ") + Identifier + " : " +
761 toString(BMOrErr.takeError()),
763
765 BMOrErr->getLazyModule(Mod.getContext(),
766 /*ShouldLazyLoadMetadata=*/true,
767 /*IsImporting*/ true);
768 if (MOrErr)
769 (*MOrErr)->setOwnedMemoryBuffer(std::move(*MBOrErr));
770 return MOrErr;
771 };
772
773 {
774 llvm::TimeTraceScope importScope("Import functions");
775 FunctionImporter Importer(CombinedIndex, ModuleLoader,
776 ClearDSOLocalOnDeclarations);
777 if (Error Err = Importer.importFunctions(Mod, ImportList).takeError())
778 return Err;
779 }
780
781 // Do this after any importing so that imported code is updated.
783
784 if (Conf.PostImportModuleHook && !Conf.PostImportModuleHook(Task, Mod))
785 return finalizeOptimizationRemarks(std::move(DiagnosticOutputFile));
786
787 return OptimizeAndCodegen(Mod, TM.get(), std::move(DiagnosticOutputFile));
788}
789
791 if (ThinLTOAssumeMerged && BMs.size() == 1)
792 return BMs.begin();
793
794 for (BitcodeModule &BM : BMs) {
795 Expected<BitcodeLTOInfo> LTOInfo = BM.getLTOInfo();
796 if (LTOInfo && LTOInfo->IsThinLTO)
797 return &BM;
798 }
799 return nullptr;
800}
801
804 if (!BMsOrErr)
805 return BMsOrErr.takeError();
806
807 // The bitcode file may contain multiple modules, we want the one that is
808 // marked as being the ThinLTO module.
809 if (const BitcodeModule *Bm = lto::findThinLTOModule(*BMsOrErr))
810 return *Bm;
811
812 return make_error<StringError>("Could not find module summary",
814}
815
817 const ModuleSummaryIndex &CombinedIndex,
818 FunctionImporter::ImportMapTy &ImportList) {
820 return true;
821 // We can simply import the values mentioned in the combined index, since
822 // we should only invoke this using the individual indexes written out
823 // via a WriteIndexesThinBackend.
824 for (const auto &GlobalList : CombinedIndex) {
825 // Ignore entries for undefined references.
826 if (GlobalList.second.getSummaryList().empty())
827 continue;
828
829 auto GUID = GlobalList.first;
830 for (const auto &Summary : GlobalList.second.getSummaryList()) {
831 // Skip the summaries for the importing module. These are included to
832 // e.g. record required linkage changes.
833 if (Summary->modulePath() == M.getModuleIdentifier())
834 continue;
835 // Add an entry to provoke importing by thinBackend.
836 ImportList.addGUID(Summary->modulePath(), GUID, Summary->importType());
837 }
838 }
839 return true;
840}
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
PassInstrumentationCallbacks PIC
PassBuilder PB(Machine, PassOpts->PTO, std::nullopt, &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:717
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:794
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:165
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:2345
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:777
@ OF_TextWithCRLF
The file should be opened in text mode and use a carriage linefeed '\r '.
Definition FileSystem.h:786
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: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:237
bool DebugPassManager
Whether to emit the pass manager debuggging informations.
Definition Config.h:184
bool AddFSDiscriminator
Add FSAFDO discriminators.
Definition Config.h:202
std::optional< uint64_t > RemarksHotnessThreshold
The minimum hotness value a diagnostic needs in order to be included in optimization diagnostics.
Definition Config.h:178
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:241
CombinedIndexHookFn CombinedIndexHook
Definition Config.h:273
std::optional< CodeModel::Model > CodeModel
Definition Config.h:64
std::string AAPipeline
Definition Config.h:123
std::function< void(legacy::PassManager &)> PreCodeGenPassesHook
For adding passes that run right before codegen.
Definition Config.h:61
bool DisableVerify
Definition Config.h:69
std::vector< std::string > MAttrs
Definition Config.h:52
std::function< void(PassBuilder &)> PassBuilderCallback
Definition Config.h:62
CodeGenOptLevel CGOptLevel
Definition Config.h:65
PipelineTuningOptions PTO
Tunable parameters for passes in the default pipelines.
Definition Config.h:211
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:208
std::string CPU
Definition Config.h:50
std::string DwoDir
The directory to store .dwo files.
Definition Config.h:143
std::string RemarksFilename
Optimization remarks file path.
Definition Config.h:157
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:245
std::string ProfileRemapping
Name remapping file for profile data.
Definition Config.h:140
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:149
std::string SplitDwarfOutput
The path to write a .dwo file to.
Definition Config.h:154
ModuleHookFn PostOptModuleHook
This module hook is called after optimization is complete.
Definition Config.h:254
std::string RemarksPasses
Optimization remarks pass filter.
Definition Config.h:160
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:118
bool RunCSIRInstr
Run PGO context sensitive IR instrumentation.
Definition Config.h:79
ModuleHookFn PostInternalizeModuleHook
This hook is called after internalizing the module.
Definition Config.h:248
unsigned OptLevel
Definition Config.h:67
ModuleHookFn PostImportModuleHook
This hook is called after importing from other modules (ThinLTO-specific).
Definition Config.h:251
bool RemarksWithHotness
Whether to emit optimization remarks with hotness informations.
Definition Config.h:163
std::string CSIRProfile
Context Sensitive PGO profile path.
Definition Config.h:134
ModuleHookFn PreCodeGenModuleHook
This module hook is called before code generation.
Definition Config.h:259
std::optional< Reloc::Model > RelocModel
Definition Config.h:63
bool ShouldDiscardValueNames
Definition Config.h:198
bool PGOWarnMismatch
Turn on/off the warning about a hash mismatch in the PGO profile data.
Definition Config.h:82
CodeGenFileType CGFileType
Definition Config.h:66
bool Freestanding
Flag to indicate that the optimizer should not assume builtins are present on the target.
Definition Config.h:73
std::string SampleProfile
Sample PGO profile path.
Definition Config.h:137
std::string RemarksFormat
The format used for serializing remarks (default: YAML).
Definition Config.h:181
A derived class of LLVMContext that initializes itself according to a given Config object.
Definition Config.h:330