LLVM 22.0.0git
ThinLTOCodeGenerator.cpp
Go to the documentation of this file.
1//===-ThinLTOCodeGenerator.cpp - LLVM Link Time Optimizer -----------------===//
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 Thin Link Time Optimization library. This library is
10// intended to be used by linker to optimize code at link time.
11//
12//===----------------------------------------------------------------------===//
13
16
17#include "llvm/ADT/ScopeExit.h"
18#include "llvm/ADT/Statistic.h"
26#include "llvm/Config/llvm-config.h"
27#include "llvm/IR/DebugInfo.h"
29#include "llvm/IR/LLVMContext.h"
32#include "llvm/IR/Mangler.h"
34#include "llvm/IR/Verifier.h"
36#include "llvm/LTO/LTO.h"
43#include "llvm/Support/Debug.h"
44#include "llvm/Support/Error.h"
47#include "llvm/Support/Path.h"
48#include "llvm/Support/SHA1.h"
61
62#if !defined(_MSC_VER) && !defined(__MINGW32__)
63#include <unistd.h>
64#else
65#include <io.h>
66#endif
67
68using namespace llvm;
69using namespace ThinLTOCodeGeneratorImpl;
70
71#define DEBUG_TYPE "thinlto"
72
73namespace llvm {
74// Flags -discard-value-names, defined in LTOCodeGenerator.cpp
82}
83
84// Default to using all available threads in the system, but using only one
85// thred per core, as indicated by the usage of
86// heavyweight_hardware_concurrency() below.
87static cl::opt<int> ThreadCount("threads", cl::init(0));
88
89// Simple helper to save temporary files for debug.
90static void saveTempBitcode(const Module &TheModule, StringRef TempDir,
91 unsigned count, StringRef Suffix) {
92 if (TempDir.empty())
93 return;
94 // User asked to save temps, let dump the bitcode file after import.
95 std::string SaveTempPath = (TempDir + llvm::Twine(count) + Suffix).str();
96 std::error_code EC;
97 raw_fd_ostream OS(SaveTempPath, EC, sys::fs::OF_None);
98 if (EC)
99 report_fatal_error(Twine("Failed to open ") + SaveTempPath +
100 " to save optimized bitcode\n");
101 WriteBitcodeToFile(TheModule, OS, /* ShouldPreserveUseListOrder */ true);
102}
103
105 ArrayRef<std::unique_ptr<GlobalValueSummary>> GVSummaryList) {
106 // If there is any strong definition anywhere, get it.
107 auto StrongDefForLinker = llvm::find_if(
108 GVSummaryList, [](const std::unique_ptr<GlobalValueSummary> &Summary) {
109 auto Linkage = Summary->linkage();
112 });
113 if (StrongDefForLinker != GVSummaryList.end())
114 return StrongDefForLinker->get();
115 // Get the first *linker visible* definition for this global in the summary
116 // list.
117 auto FirstDefForLinker = llvm::find_if(
118 GVSummaryList, [](const std::unique_ptr<GlobalValueSummary> &Summary) {
119 auto Linkage = Summary->linkage();
121 });
122 // Extern templates can be emitted as available_externally.
123 if (FirstDefForLinker == GVSummaryList.end())
124 return nullptr;
125 return FirstDefForLinker->get();
126}
127
128// Populate map of GUID to the prevailing copy for any multiply defined
129// symbols. Currently assume first copy is prevailing, or any strong
130// definition. Can be refined with Linker information in the future.
132 const ModuleSummaryIndex &Index,
134 auto HasMultipleCopies =
136 return GVSummaryList.size() > 1;
137 };
138
139 for (auto &I : Index) {
140 if (HasMultipleCopies(I.second.getSummaryList()))
141 PrevailingCopy[I.first] =
142 getFirstDefinitionForLinker(I.second.getSummaryList());
143 }
144}
145
147generateModuleMap(std::vector<std::unique_ptr<lto::InputFile>> &Modules) {
149 for (auto &M : Modules) {
150 LLVM_DEBUG(dbgs() << "Adding module " << M->getName() << " to ModuleMap\n");
151 assert(!ModuleMap.contains(M->getName()) &&
152 "Expect unique Buffer Identifier");
153 ModuleMap[M->getName()] = M.get();
154 }
155 return ModuleMap;
156}
157
158static void promoteModule(Module &TheModule, const ModuleSummaryIndex &Index,
159 bool ClearDSOLocalOnDeclarations) {
160 renameModuleForThinLTO(TheModule, Index, ClearDSOLocalOnDeclarations);
161}
162
163namespace {
164class ThinLTODiagnosticInfo : public DiagnosticInfo {
165 const Twine &Msg;
166public:
167 ThinLTODiagnosticInfo(const Twine &DiagMsg LLVM_LIFETIME_BOUND,
168 DiagnosticSeverity Severity = DS_Error)
169 : DiagnosticInfo(DK_Linker, Severity), Msg(DiagMsg) {}
170 void print(DiagnosticPrinter &DP) const override { DP << Msg; }
171};
172}
173
174/// Verify the module and strip broken debug info.
175static void verifyLoadedModule(Module &TheModule) {
176 bool BrokenDebugInfo = false;
177 if (verifyModule(TheModule, &dbgs(), &BrokenDebugInfo))
178 report_fatal_error("Broken module found, compilation aborted!");
179 if (BrokenDebugInfo) {
180 TheModule.getContext().diagnose(ThinLTODiagnosticInfo(
181 "Invalid debug info found, debug info will be stripped", DS_Warning));
182 StripDebugInfo(TheModule);
183 }
184}
185
186static std::unique_ptr<Module> loadModuleFromInput(lto::InputFile *Input,
187 LLVMContext &Context,
188 bool Lazy,
189 bool IsImporting) {
190 auto &Mod = Input->getSingleBitcodeModule();
191 SMDiagnostic Err;
193 Lazy ? Mod.getLazyModule(Context,
194 /* ShouldLazyLoadMetadata */ true, IsImporting)
195 : Mod.parseModule(Context);
196 if (!ModuleOrErr) {
197 handleAllErrors(ModuleOrErr.takeError(), [&](ErrorInfoBase &EIB) {
198 SMDiagnostic Err = SMDiagnostic(Mod.getModuleIdentifier(),
199 SourceMgr::DK_Error, EIB.message());
200 Err.print("ThinLTO", errs());
201 });
202 report_fatal_error("Can't load module, abort.");
203 }
204 if (!Lazy)
205 verifyLoadedModule(*ModuleOrErr.get());
206 return std::move(*ModuleOrErr);
207}
208
209static void
212 const FunctionImporter::ImportMapTy &ImportList,
213 bool ClearDSOLocalOnDeclarations) {
214 auto Loader = [&](StringRef Identifier) {
215 auto &Input = ModuleMap[Identifier];
216 return loadModuleFromInput(Input, TheModule.getContext(),
217 /*Lazy=*/true, /*IsImporting*/ true);
218 };
219
220 FunctionImporter Importer(Index, Loader, ClearDSOLocalOnDeclarations);
221 Expected<bool> Result = Importer.importFunctions(TheModule, ImportList);
222 if (!Result) {
223 handleAllErrors(Result.takeError(), [&](ErrorInfoBase &EIB) {
224 SMDiagnostic Err = SMDiagnostic(TheModule.getModuleIdentifier(),
225 SourceMgr::DK_Error, EIB.message());
226 Err.print("ThinLTO", errs());
227 });
228 report_fatal_error("importFunctions failed");
229 }
230 // Verify again after cross-importing.
231 verifyLoadedModule(TheModule);
232}
233
234static void optimizeModule(Module &TheModule, TargetMachine &TM,
235 unsigned OptLevel, bool Freestanding,
236 bool DebugPassManager, ModuleSummaryIndex *Index) {
237 std::optional<PGOOptions> PGOOpt;
242
244 StandardInstrumentations SI(TheModule.getContext(), DebugPassManager);
245 SI.registerCallbacks(PIC, &MAM);
247 PTO.LoopVectorization = true;
248 PTO.SLPVectorization = true;
249 PassBuilder PB(&TM, PTO, PGOOpt, &PIC);
250
251 std::unique_ptr<TargetLibraryInfoImpl> TLII(
252 new TargetLibraryInfoImpl(TM.getTargetTriple()));
253 if (Freestanding)
254 TLII->disableAllFunctions();
255 FAM.registerPass([&] { return TargetLibraryAnalysis(*TLII); });
256
257 // Register all the basic analyses with the managers.
258 PB.registerModuleAnalyses(MAM);
259 PB.registerCGSCCAnalyses(CGAM);
260 PB.registerFunctionAnalyses(FAM);
261 PB.registerLoopAnalyses(LAM);
262 PB.crossRegisterProxies(LAM, FAM, CGAM, MAM);
263
265
267
268 switch (OptLevel) {
269 default:
270 llvm_unreachable("Invalid optimization level");
271 case 0:
273 break;
274 case 1:
276 break;
277 case 2:
279 break;
280 case 3:
282 break;
283 }
284
285 MPM.addPass(PB.buildThinLTODefaultPipeline(OL, Index));
286
287 MPM.run(TheModule, MAM);
288}
289
290static void
292 DenseSet<GlobalValue::GUID> &PreservedGUID) {
293 for (const auto &Sym : File.symbols()) {
294 if (Sym.isUsed())
295 PreservedGUID.insert(
297 }
298}
299
300// Convert the PreservedSymbols map from "Name" based to "GUID" based.
302 const StringSet<> &PreservedSymbols,
303 const Triple &TheTriple,
305 // Iterate the symbols in the input file and if the input has preserved symbol
306 // compute the GUID for the symbol.
307 for (const auto &Sym : File.symbols()) {
308 if (PreservedSymbols.count(Sym.getName()) && !Sym.getIRName().empty())
310 GlobalValue::getGlobalIdentifier(Sym.getIRName(),
312 }
313}
314
317 const StringSet<> &PreservedSymbols,
318 const Triple &TheTriple) {
319 DenseSet<GlobalValue::GUID> GUIDPreservedSymbols(PreservedSymbols.size());
320 computeGUIDPreservedSymbols(File, PreservedSymbols, TheTriple,
321 GUIDPreservedSymbols);
322 return GUIDPreservedSymbols;
323}
324
325static std::unique_ptr<MemoryBuffer> codegenModule(Module &TheModule,
326 TargetMachine &TM) {
328
329 // CodeGen
330 {
333
334 // Setup the codegen now.
335 if (TM.addPassesToEmitFile(PM, OS, nullptr, CodeGenFileType::ObjectFile,
336 /* DisableVerify */ true))
337 report_fatal_error("Failed to setup codegen");
338
339 // Run codegen now. resulting binary is in OutputBuffer.
340 PM.run(TheModule);
341 }
342 return std::make_unique<SmallVectorMemoryBuffer>(
343 std::move(OutputBuffer), /*RequiresNullTerminator=*/false);
344}
345
346namespace {
347/// Manage caching for a single Module.
348class ModuleCacheEntry {
349 SmallString<128> EntryPath;
350
351public:
352 // Create a cache entry. This compute a unique hash for the Module considering
353 // the current list of export/import, and offer an interface to query to
354 // access the content in the cache.
355 ModuleCacheEntry(
356 StringRef CachePath, const ModuleSummaryIndex &Index, StringRef ModuleID,
357 const FunctionImporter::ImportMapTy &ImportList,
358 const FunctionImporter::ExportSetTy &ExportList,
359 const std::map<GlobalValue::GUID, GlobalValue::LinkageTypes> &ResolvedODR,
360 const GVSummaryMapTy &DefinedGVSummaries, unsigned OptLevel,
361 bool Freestanding, const TargetMachineBuilder &TMBuilder) {
362 if (CachePath.empty())
363 return;
364
365 if (!Index.modulePaths().count(ModuleID))
366 // The module does not have an entry, it can't have a hash at all
367 return;
368
369 if (all_of(Index.getModuleHash(ModuleID),
370 [](uint32_t V) { return V == 0; }))
371 // No hash entry, no caching!
372 return;
373
374 llvm::lto::Config Conf;
375 Conf.OptLevel = OptLevel;
376 Conf.Options = TMBuilder.Options;
377 Conf.CPU = TMBuilder.MCpu;
378 Conf.MAttrs.push_back(TMBuilder.MAttr);
379 Conf.RelocModel = TMBuilder.RelocModel;
380 Conf.CGOptLevel = TMBuilder.CGOptLevel;
381 Conf.Freestanding = Freestanding;
382 std::string Key =
383 computeLTOCacheKey(Conf, Index, ModuleID, ImportList, ExportList,
384 ResolvedODR, DefinedGVSummaries);
385
386 // This choice of file name allows the cache to be pruned (see pruneCache()
387 // in include/llvm/Support/CachePruning.h).
388 sys::path::append(EntryPath, CachePath, Twine("llvmcache-", Key));
389 }
390
391 // Access the path to this entry in the cache.
392 StringRef getEntryPath() { return EntryPath; }
393
394 // Try loading the buffer for this cache entry.
395 ErrorOr<std::unique_ptr<MemoryBuffer>> tryLoadingBuffer() {
396 if (EntryPath.empty())
397 return std::error_code();
398 SmallString<64> ResultPath;
399 Expected<sys::fs::file_t> FDOrErr = sys::fs::openNativeFileForRead(
400 Twine(EntryPath), sys::fs::OF_UpdateAtime, &ResultPath);
401 if (!FDOrErr)
402 return errorToErrorCode(FDOrErr.takeError());
403 ErrorOr<std::unique_ptr<MemoryBuffer>> MBOrErr = MemoryBuffer::getOpenFile(
404 *FDOrErr, EntryPath, /*FileSize=*/-1, /*RequiresNullTerminator=*/false);
405 sys::fs::closeFile(*FDOrErr);
406 return MBOrErr;
407 }
408
409 // Cache the Produced object file
410 void write(const MemoryBuffer &OutputBuffer) {
411 if (EntryPath.empty())
412 return;
413
414 if (auto Err = llvm::writeToOutput(
415 EntryPath, [&OutputBuffer](llvm::raw_ostream &OS) -> llvm::Error {
416 OS << OutputBuffer.getBuffer();
417 return llvm::Error::success();
418 }))
419 report_fatal_error(llvm::formatv("ThinLTO: Can't write file {0}: {1}",
420 EntryPath,
421 toString(std::move(Err)).c_str()));
422 }
423};
424} // end anonymous namespace
425
426static std::unique_ptr<MemoryBuffer>
429 const FunctionImporter::ImportMapTy &ImportList,
430 const FunctionImporter::ExportSetTy &ExportList,
431 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
432 const GVSummaryMapTy &DefinedGlobals,
433 const ThinLTOCodeGenerator::CachingOptions &CacheOptions,
434 bool DisableCodeGen, StringRef SaveTempsDir,
435 bool Freestanding, unsigned OptLevel, unsigned count,
436 bool DebugPassManager) {
437 // "Benchmark"-like optimization: single-source case
438 bool SingleModule = (ModuleMap.size() == 1);
439
440 // When linking an ELF shared object, dso_local should be dropped. We
441 // conservatively do this for -fpic.
442 bool ClearDSOLocalOnDeclarations =
443 TM.getTargetTriple().isOSBinFormatELF() &&
444 TM.getRelocationModel() != Reloc::Static &&
445 TheModule.getPIELevel() == PIELevel::Default;
446
447 if (!SingleModule) {
448 promoteModule(TheModule, Index, ClearDSOLocalOnDeclarations);
449
450 // Apply summary-based prevailing-symbol resolution decisions.
451 thinLTOFinalizeInModule(TheModule, DefinedGlobals, /*PropagateAttrs=*/true);
452
453 // Save temps: after promotion.
454 saveTempBitcode(TheModule, SaveTempsDir, count, ".1.promoted.bc");
455 }
456
457 // Be friendly and don't nuke totally the module when the client didn't
458 // supply anything to preserve.
459 if (!ExportList.empty() || !GUIDPreservedSymbols.empty()) {
460 // Apply summary-based internalization decisions.
461 thinLTOInternalizeModule(TheModule, DefinedGlobals);
462 }
463
464 // Save internalized bitcode
465 saveTempBitcode(TheModule, SaveTempsDir, count, ".2.internalized.bc");
466
467 if (!SingleModule)
468 crossImportIntoModule(TheModule, Index, ModuleMap, ImportList,
469 ClearDSOLocalOnDeclarations);
470
471 // Do this after any importing so that imported code is updated.
472 // See comment at call to updateVCallVisibilityInIndex() for why
473 // WholeProgramVisibilityEnabledInLTO is false.
475 /* WholeProgramVisibilityEnabledInLTO */ false);
476
477 // Save temps: after cross-module import.
478 saveTempBitcode(TheModule, SaveTempsDir, count, ".3.imported.bc");
479
480 optimizeModule(TheModule, TM, OptLevel, Freestanding, DebugPassManager,
481 &Index);
482
483 saveTempBitcode(TheModule, SaveTempsDir, count, ".4.opt.bc");
484
485 if (DisableCodeGen) {
486 // Configured to stop before CodeGen, serialize the bitcode and return.
488 {
490 ProfileSummaryInfo PSI(TheModule);
491 auto Index = buildModuleSummaryIndex(TheModule, nullptr, &PSI);
492 WriteBitcodeToFile(TheModule, OS, true, &Index);
493 }
494 return std::make_unique<SmallVectorMemoryBuffer>(
495 std::move(OutputBuffer), /*RequiresNullTerminator=*/false);
496 }
497
498 return codegenModule(TheModule, TM);
499}
500
501/// Resolve prevailing symbols. Record resolutions in the \p ResolvedODR map
502/// for caching, and in the \p Index for application during the ThinLTO
503/// backends. This is needed for correctness for exported symbols (ensure
504/// at least one copy kept) and a compile-time optimization (to drop duplicate
505/// copies when possible).
507 ModuleSummaryIndex &Index,
508 StringMap<std::map<GlobalValue::GUID, GlobalValue::LinkageTypes>>
509 &ResolvedODR,
510 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols,
512 &PrevailingCopy) {
513
514 auto isPrevailing = [&](GlobalValue::GUID GUID, const GlobalValueSummary *S) {
515 const auto &Prevailing = PrevailingCopy.find(GUID);
516 // Not in map means that there was only one copy, which must be prevailing.
517 if (Prevailing == PrevailingCopy.end())
518 return true;
519 return Prevailing->second == S;
520 };
521
522 auto recordNewLinkage = [&](StringRef ModuleIdentifier,
524 GlobalValue::LinkageTypes NewLinkage) {
525 ResolvedODR[ModuleIdentifier][GUID] = NewLinkage;
526 };
527
528 // TODO Conf.VisibilityScheme can be lto::Config::ELF for ELF.
529 lto::Config Conf;
530 thinLTOResolvePrevailingInIndex(Conf, Index, isPrevailing, recordNewLinkage,
531 GUIDPreservedSymbols);
532}
533
534// Initialize the TargetMachine builder for a given Triple
535static void initTMBuilder(TargetMachineBuilder &TMBuilder,
536 const Triple &TheTriple) {
537 if (TMBuilder.MCpu.empty())
538 TMBuilder.MCpu = lto::getThinLTODefaultCPU(TheTriple);
539 TMBuilder.TheTriple = std::move(TheTriple);
540}
541
543 MemoryBufferRef Buffer(Data, Identifier);
544
545 auto InputOrError = lto::InputFile::create(Buffer);
546 if (!InputOrError)
547 report_fatal_error(Twine("ThinLTO cannot create input file: ") +
548 toString(InputOrError.takeError()));
549
550 auto TripleStr = (*InputOrError)->getTargetTriple();
551 Triple TheTriple(TripleStr);
552
553 if (Modules.empty())
554 initTMBuilder(TMBuilder, Triple(TheTriple));
555 else if (TMBuilder.TheTriple != TheTriple) {
556 if (!TMBuilder.TheTriple.isCompatibleWith(TheTriple))
557 report_fatal_error("ThinLTO modules with incompatible triples not "
558 "supported");
559 initTMBuilder(TMBuilder, Triple(TMBuilder.TheTriple.merge(TheTriple)));
560 }
561
562 Modules.emplace_back(std::move(*InputOrError));
563}
564
566 PreservedSymbols.insert(Name);
567}
568
570 // FIXME: At the moment, we don't take advantage of this extra information,
571 // we're conservatively considering cross-references as preserved.
572 // CrossReferencedSymbols.insert(Name);
573 PreservedSymbols.insert(Name);
574}
575
576// TargetMachine factory
577std::unique_ptr<TargetMachine> TargetMachineBuilder::create() const {
578 std::string ErrMsg;
579 const Target *TheTarget = TargetRegistry::lookupTarget(TheTriple, ErrMsg);
580 if (!TheTarget) {
581 report_fatal_error(Twine("Can't load target for this Triple: ") + ErrMsg);
582 }
583
584 // Use MAttr as the default set of features.
585 SubtargetFeatures Features(MAttr);
587 std::string FeatureStr = Features.getString();
588
589 std::unique_ptr<TargetMachine> TM(
590 TheTarget->createTargetMachine(TheTriple, MCpu, FeatureStr, Options,
591 RelocModel, std::nullopt, CGOptLevel));
592 assert(TM && "Cannot create target machine");
593
594 return TM;
595}
596
597/**
598 * Produce the combined summary index from all the bitcode files:
599 * "thin-link".
600 */
601std::unique_ptr<ModuleSummaryIndex> ThinLTOCodeGenerator::linkCombinedIndex() {
602 std::unique_ptr<ModuleSummaryIndex> CombinedIndex =
603 std::make_unique<ModuleSummaryIndex>(/*HaveGVs=*/false);
604 for (auto &Mod : Modules) {
605 auto &M = Mod->getSingleBitcodeModule();
606 if (Error Err = M.readSummary(*CombinedIndex, Mod->getName())) {
607 // FIXME diagnose
609 std::move(Err), errs(),
610 "error: can't create module summary index for buffer: ");
611 return nullptr;
612 }
613 }
614 return CombinedIndex;
615}
616
617namespace {
618struct IsExported {
620 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols;
621
622 IsExported(
624 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols)
625 : ExportLists(ExportLists), GUIDPreservedSymbols(GUIDPreservedSymbols) {}
626
627 bool operator()(StringRef ModuleIdentifier, ValueInfo VI) const {
628 const auto &ExportList = ExportLists.find(ModuleIdentifier);
629 return (ExportList != ExportLists.end() && ExportList->second.count(VI)) ||
630 GUIDPreservedSymbols.count(VI.getGUID());
631 }
632};
633
634struct IsPrevailing {
635 const DenseMap<GlobalValue::GUID, const GlobalValueSummary *> &PrevailingCopy;
636 IsPrevailing(const DenseMap<GlobalValue::GUID, const GlobalValueSummary *>
637 &PrevailingCopy)
638 : PrevailingCopy(PrevailingCopy) {}
639
640 bool operator()(GlobalValue::GUID GUID, const GlobalValueSummary *S) const {
641 const auto &Prevailing = PrevailingCopy.find(GUID);
642 // Not in map means that there was only one copy, which must be prevailing.
643 if (Prevailing == PrevailingCopy.end())
644 return true;
645 return Prevailing->second == S;
646 };
647};
648} // namespace
649
651 ModuleSummaryIndex &Index,
652 const DenseSet<GlobalValue::GUID> &GUIDPreservedSymbols) {
653 // We have no symbols resolution available. And can't do any better now in the
654 // case where the prevailing symbol is in a native object. It can be refined
655 // with linker information in the future.
656 auto isPrevailing = [&](GlobalValue::GUID G) {
658 };
659 computeDeadSymbolsWithConstProp(Index, GUIDPreservedSymbols, isPrevailing,
660 /* ImportEnabled = */ true);
661}
662
663/**
664 * Perform promotion and renaming of exported internal functions.
665 * Index is updated to reflect linkage changes from weak resolution.
666 */
668 const lto::InputFile &File) {
669 auto ModuleCount = Index.modulePaths().size();
670 auto ModuleIdentifier = TheModule.getModuleIdentifier();
671
672 // Collect for each module the list of function it defines (GUID -> Summary).
673 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries;
674 Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
675
676 // Convert the preserved symbols set from string to GUID
677 auto GUIDPreservedSymbols = computeGUIDPreservedSymbols(
678 File, PreservedSymbols, TheModule.getTargetTriple());
679
680 // Add used symbol to the preserved symbols.
681 addUsedSymbolToPreservedGUID(File, GUIDPreservedSymbols);
682
683 // Compute "dead" symbols, we don't want to import/export these!
684 computeDeadSymbolsInIndex(Index, GUIDPreservedSymbols);
685
686 // Compute prevailing symbols
688 computePrevailingCopies(Index, PrevailingCopy);
689
690 // Generate import/export list
691 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
693 ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries,
694 IsPrevailing(PrevailingCopy), ImportLists,
695 ExportLists);
696
697 // Resolve prevailing symbols
699 resolvePrevailingInIndex(Index, ResolvedODR, GUIDPreservedSymbols,
700 PrevailingCopy);
701
702 thinLTOFinalizeInModule(TheModule,
703 ModuleToDefinedGVSummaries[ModuleIdentifier],
704 /*PropagateAttrs=*/false);
705
706 // Promote the exported values in the index, so that they are promoted
707 // in the module.
709 Index, IsExported(ExportLists, GUIDPreservedSymbols),
710 IsPrevailing(PrevailingCopy));
711
712 // FIXME Set ClearDSOLocalOnDeclarations.
713 promoteModule(TheModule, Index, /*ClearDSOLocalOnDeclarations=*/false);
714}
715
716/**
717 * Perform cross-module importing for the module identified by ModuleIdentifier.
718 */
720 ModuleSummaryIndex &Index,
721 const lto::InputFile &File) {
722 auto ModuleMap = generateModuleMap(Modules);
723 auto ModuleCount = Index.modulePaths().size();
724
725 // Collect for each module the list of function it defines (GUID -> Summary).
726 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
727 Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
728
729 // Convert the preserved symbols set from string to GUID
730 auto GUIDPreservedSymbols = computeGUIDPreservedSymbols(
731 File, PreservedSymbols, TheModule.getTargetTriple());
732
733 addUsedSymbolToPreservedGUID(File, GUIDPreservedSymbols);
734
735 // Compute "dead" symbols, we don't want to import/export these!
736 computeDeadSymbolsInIndex(Index, GUIDPreservedSymbols);
737
738 // Compute prevailing symbols
740 computePrevailingCopies(Index, PrevailingCopy);
741
742 // Generate import/export list
743 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
745 ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries,
746 IsPrevailing(PrevailingCopy), ImportLists,
747 ExportLists);
748 auto &ImportList = ImportLists[TheModule.getModuleIdentifier()];
749
750 // FIXME Set ClearDSOLocalOnDeclarations.
751 crossImportIntoModule(TheModule, Index, ModuleMap, ImportList,
752 /*ClearDSOLocalOnDeclarations=*/false);
753}
754
755/**
756 * Compute the list of summaries needed for importing into module.
757 */
759 Module &TheModule, ModuleSummaryIndex &Index,
760 ModuleToSummariesForIndexTy &ModuleToSummariesForIndex,
761 GVSummaryPtrSet &DecSummaries, const lto::InputFile &File) {
762 auto ModuleCount = Index.modulePaths().size();
763 auto ModuleIdentifier = TheModule.getModuleIdentifier();
764
765 // Collect for each module the list of function it defines (GUID -> Summary).
766 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
767 Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
768
769 // Convert the preserved symbols set from string to GUID
770 auto GUIDPreservedSymbols = computeGUIDPreservedSymbols(
771 File, PreservedSymbols, TheModule.getTargetTriple());
772
773 addUsedSymbolToPreservedGUID(File, GUIDPreservedSymbols);
774
775 // Compute "dead" symbols, we don't want to import/export these!
776 computeDeadSymbolsInIndex(Index, GUIDPreservedSymbols);
777
778 // Compute prevailing symbols
780 computePrevailingCopies(Index, PrevailingCopy);
781
782 // Generate import/export list
783 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
785 ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries,
786 IsPrevailing(PrevailingCopy), ImportLists,
787 ExportLists);
788
790 ModuleIdentifier, ModuleToDefinedGVSummaries,
791 ImportLists[ModuleIdentifier], ModuleToSummariesForIndex, DecSummaries);
792}
793
794/**
795 * Emit the list of files needed for importing into module.
796 */
798 ModuleSummaryIndex &Index,
799 const lto::InputFile &File) {
800 auto ModuleCount = Index.modulePaths().size();
801 auto ModuleIdentifier = TheModule.getModuleIdentifier();
802
803 // Collect for each module the list of function it defines (GUID -> Summary).
804 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
805 Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
806
807 // Convert the preserved symbols set from string to GUID
808 auto GUIDPreservedSymbols = computeGUIDPreservedSymbols(
809 File, PreservedSymbols, TheModule.getTargetTriple());
810
811 addUsedSymbolToPreservedGUID(File, GUIDPreservedSymbols);
812
813 // Compute "dead" symbols, we don't want to import/export these!
814 computeDeadSymbolsInIndex(Index, GUIDPreservedSymbols);
815
816 // Compute prevailing symbols
818 computePrevailingCopies(Index, PrevailingCopy);
819
820 // Generate import/export list
821 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
823 ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries,
824 IsPrevailing(PrevailingCopy), ImportLists,
825 ExportLists);
826
827 // 'EmitImportsFiles' emits the list of modules from which to import from, and
828 // the set of keys in `ModuleToSummariesForIndex` should be a superset of keys
829 // in `DecSummaries`, so no need to use `DecSummaries` in `EmitImportsFiles`.
830 GVSummaryPtrSet DecSummaries;
831 ModuleToSummariesForIndexTy ModuleToSummariesForIndex;
833 ModuleIdentifier, ModuleToDefinedGVSummaries,
834 ImportLists[ModuleIdentifier], ModuleToSummariesForIndex, DecSummaries);
835
836 if (Error EC = EmitImportsFiles(ModuleIdentifier, OutputName,
837 ModuleToSummariesForIndex))
838 report_fatal_error(Twine("Failed to open ") + OutputName +
839 " to save imports lists\n");
840}
841
842/**
843 * Perform internalization. Runs promote and internalization together.
844 * Index is updated to reflect linkage changes.
845 */
847 ModuleSummaryIndex &Index,
848 const lto::InputFile &File) {
849 initTMBuilder(TMBuilder, TheModule.getTargetTriple());
850 auto ModuleCount = Index.modulePaths().size();
851 auto ModuleIdentifier = TheModule.getModuleIdentifier();
852
853 // Convert the preserved symbols set from string to GUID
854 auto GUIDPreservedSymbols =
855 computeGUIDPreservedSymbols(File, PreservedSymbols, TMBuilder.TheTriple);
856
857 addUsedSymbolToPreservedGUID(File, GUIDPreservedSymbols);
858
859 // Collect for each module the list of function it defines (GUID -> Summary).
860 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
861 Index.collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
862
863 // Compute "dead" symbols, we don't want to import/export these!
864 computeDeadSymbolsInIndex(Index, GUIDPreservedSymbols);
865
866 // Compute prevailing symbols
868 computePrevailingCopies(Index, PrevailingCopy);
869
870 // Generate import/export list
871 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
873 ComputeCrossModuleImport(Index, ModuleToDefinedGVSummaries,
874 IsPrevailing(PrevailingCopy), ImportLists,
875 ExportLists);
876 auto &ExportList = ExportLists[ModuleIdentifier];
877
878 // Be friendly and don't nuke totally the module when the client didn't
879 // supply anything to preserve.
880 if (ExportList.empty() && GUIDPreservedSymbols.empty())
881 return;
882
883 // Resolve prevailing symbols
885 resolvePrevailingInIndex(Index, ResolvedODR, GUIDPreservedSymbols,
886 PrevailingCopy);
887
888 // Promote the exported values in the index, so that they are promoted
889 // in the module.
891 Index, IsExported(ExportLists, GUIDPreservedSymbols),
892 IsPrevailing(PrevailingCopy));
893
894 // FIXME Set ClearDSOLocalOnDeclarations.
895 promoteModule(TheModule, Index, /*ClearDSOLocalOnDeclarations=*/false);
896
897 // Internalization
898 thinLTOFinalizeInModule(TheModule,
899 ModuleToDefinedGVSummaries[ModuleIdentifier],
900 /*PropagateAttrs=*/false);
901
902 thinLTOInternalizeModule(TheModule,
903 ModuleToDefinedGVSummaries[ModuleIdentifier]);
904}
905
906/**
907 * Perform post-importing ThinLTO optimizations.
908 */
910 initTMBuilder(TMBuilder, TheModule.getTargetTriple());
911
912 // Optimize now
913 optimizeModule(TheModule, *TMBuilder.create(), OptLevel, Freestanding,
914 DebugPassManager, nullptr);
915}
916
917/// Write out the generated object file, either from CacheEntryPath or from
918/// OutputBuffer, preferring hard-link when possible.
919/// Returns the path to the generated file in SavedObjectsDirectoryPath.
920std::string
922 const MemoryBuffer &OutputBuffer) {
923 auto ArchName = TMBuilder.TheTriple.getArchName();
924 SmallString<128> OutputPath(SavedObjectsDirectoryPath);
925 llvm::sys::path::append(OutputPath,
926 Twine(count) + "." + ArchName + ".thinlto.o");
927 OutputPath.c_str(); // Ensure the string is null terminated.
928 if (sys::fs::exists(OutputPath))
929 sys::fs::remove(OutputPath);
930
931 // We don't return a memory buffer to the linker, just a list of files.
932 if (!CacheEntryPath.empty()) {
933 // Cache is enabled, hard-link the entry (or copy if hard-link fails).
934 auto Err = sys::fs::create_hard_link(CacheEntryPath, OutputPath);
935 if (!Err)
936 return std::string(OutputPath);
937 // Hard linking failed, try to copy.
938 Err = sys::fs::copy_file(CacheEntryPath, OutputPath);
939 if (!Err)
940 return std::string(OutputPath);
941 // Copy failed (could be because the CacheEntry was removed from the cache
942 // in the meantime by another process), fall back and try to write down the
943 // buffer to the output.
944 errs() << "remark: can't link or copy from cached entry '" << CacheEntryPath
945 << "' to '" << OutputPath << "'\n";
946 }
947 // No cache entry, just write out the buffer.
948 std::error_code Err;
949 raw_fd_ostream OS(OutputPath, Err, sys::fs::OF_None);
950 if (Err)
951 report_fatal_error(Twine("Can't open output '") + OutputPath + "'\n");
952 OS << OutputBuffer.getBuffer();
953 return std::string(OutputPath);
954}
955
956// Main entry point for the ThinLTO processing
958 timeTraceProfilerBegin("ThinLink", StringRef(""));
959 auto TimeTraceScopeExit = llvm::make_scope_exit([]() {
962 });
963 // Prepare the resulting object vector
964 assert(ProducedBinaries.empty() && "The generator should not be reused");
965 if (SavedObjectsDirectoryPath.empty())
966 ProducedBinaries.resize(Modules.size());
967 else {
968 sys::fs::create_directories(SavedObjectsDirectoryPath);
969 bool IsDir;
970 sys::fs::is_directory(SavedObjectsDirectoryPath, IsDir);
971 if (!IsDir)
972 report_fatal_error(Twine("Unexistent dir: '") + SavedObjectsDirectoryPath + "'");
973 ProducedBinaryFiles.resize(Modules.size());
974 }
975
976 if (CodeGenOnly) {
977 // Perform only parallel codegen and return.
979 int count = 0;
980 for (auto &Mod : Modules) {
981 Pool.async([&](int count) {
982 LLVMContext Context;
984
985 // Parse module now
986 auto TheModule = loadModuleFromInput(Mod.get(), Context, false,
987 /*IsImporting*/ false);
988
989 // CodeGen
990 auto OutputBuffer = codegenModule(*TheModule, *TMBuilder.create());
991 if (SavedObjectsDirectoryPath.empty())
992 ProducedBinaries[count] = std::move(OutputBuffer);
993 else
994 ProducedBinaryFiles[count] =
996 }, count++);
997 }
998
999 return;
1000 }
1001
1002 // Sequential linking phase
1003 auto Index = linkCombinedIndex();
1004
1005 // Save temps: index.
1006 if (!SaveTempsDir.empty()) {
1007 auto SaveTempPath = SaveTempsDir + "index.bc";
1008 std::error_code EC;
1009 raw_fd_ostream OS(SaveTempPath, EC, sys::fs::OF_None);
1010 if (EC)
1011 report_fatal_error(Twine("Failed to open ") + SaveTempPath +
1012 " to save optimized bitcode\n");
1013 writeIndexToFile(*Index, OS);
1014 }
1015
1016
1017 // Prepare the module map.
1018 auto ModuleMap = generateModuleMap(Modules);
1019 auto ModuleCount = Modules.size();
1020
1021 // Collect for each module the list of function it defines (GUID -> Summary).
1022 DenseMap<StringRef, GVSummaryMapTy> ModuleToDefinedGVSummaries(ModuleCount);
1023 Index->collectDefinedGVSummariesPerModule(ModuleToDefinedGVSummaries);
1024
1025 // Convert the preserved symbols set from string to GUID, this is needed for
1026 // computing the caching hash and the internalization.
1027 DenseSet<GlobalValue::GUID> GUIDPreservedSymbols;
1028 for (const auto &M : Modules)
1029 computeGUIDPreservedSymbols(*M, PreservedSymbols, TMBuilder.TheTriple,
1030 GUIDPreservedSymbols);
1031
1032 // Add used symbol from inputs to the preserved symbols.
1033 for (const auto &M : Modules)
1034 addUsedSymbolToPreservedGUID(*M, GUIDPreservedSymbols);
1035
1036 // Compute "dead" symbols, we don't want to import/export these!
1037 computeDeadSymbolsInIndex(*Index, GUIDPreservedSymbols);
1038
1039 // Currently there is no support for enabling whole program visibility via a
1040 // linker option in the old LTO API, but this call allows it to be specified
1041 // via the internal option. Must be done before WPD below.
1042 if (hasWholeProgramVisibility(/* WholeProgramVisibilityEnabledInLTO */ false))
1043 Index->setWithWholeProgramVisibility();
1044
1045 // FIXME: This needs linker information via a TBD new interface
1047 /*WholeProgramVisibilityEnabledInLTO=*/false,
1048 // FIXME: These need linker information via a
1049 // TBD new interface.
1050 /*DynamicExportSymbols=*/{},
1051 /*VisibleToRegularObjSymbols=*/{});
1052
1053 // Perform index-based WPD. This will return immediately if there are
1054 // no index entries in the typeIdMetadata map (e.g. if we are instead
1055 // performing IR-based WPD in hybrid regular/thin LTO mode).
1056 std::map<ValueInfo, std::vector<VTableSlotSummary>> LocalWPDTargetsMap;
1057 std::set<GlobalValue::GUID> ExportedGUIDs;
1058 runWholeProgramDevirtOnIndex(*Index, ExportedGUIDs, LocalWPDTargetsMap);
1059 GUIDPreservedSymbols.insert_range(ExportedGUIDs);
1060
1061 // Compute prevailing symbols
1063 computePrevailingCopies(*Index, PrevailingCopy);
1064
1065 // Collect the import/export lists for all modules from the call-graph in the
1066 // combined index.
1067 FunctionImporter::ImportListsTy ImportLists(ModuleCount);
1069 ComputeCrossModuleImport(*Index, ModuleToDefinedGVSummaries,
1070 IsPrevailing(PrevailingCopy), ImportLists,
1071 ExportLists);
1072
1073 // We use a std::map here to be able to have a defined ordering when
1074 // producing a hash for the cache entry.
1075 // FIXME: we should be able to compute the caching hash for the entry based
1076 // on the index, and nuke this map.
1078
1079 // Resolve prevailing symbols, this has to be computed early because it
1080 // impacts the caching.
1081 resolvePrevailingInIndex(*Index, ResolvedODR, GUIDPreservedSymbols,
1082 PrevailingCopy);
1083
1084 // Use global summary-based analysis to identify symbols that can be
1085 // internalized (because they aren't exported or preserved as per callback).
1086 // Changes are made in the index, consumed in the ThinLTO backends.
1088 IsExported(ExportLists, GUIDPreservedSymbols),
1089 LocalWPDTargetsMap);
1091 *Index, IsExported(ExportLists, GUIDPreservedSymbols),
1092 IsPrevailing(PrevailingCopy));
1093
1094 thinLTOPropagateFunctionAttrs(*Index, IsPrevailing(PrevailingCopy));
1095
1096 // Make sure that every module has an entry in the ExportLists, ImportList,
1097 // GVSummary and ResolvedODR maps to enable threaded access to these maps
1098 // below.
1099 for (auto &Module : Modules) {
1100 auto ModuleIdentifier = Module->getName();
1101 ExportLists[ModuleIdentifier];
1102 ImportLists[ModuleIdentifier];
1103 ResolvedODR[ModuleIdentifier];
1104 ModuleToDefinedGVSummaries[ModuleIdentifier];
1105 }
1106
1107 std::vector<BitcodeModule *> ModulesVec;
1108 ModulesVec.reserve(Modules.size());
1109 for (auto &Mod : Modules)
1110 ModulesVec.push_back(&Mod->getSingleBitcodeModule());
1111 std::vector<int> ModulesOrdering = lto::generateModulesOrdering(ModulesVec);
1112
1115
1116 TimeTraceScopeExit.release();
1117
1118 // Parallel optimizer + codegen
1119 {
1121 for (auto IndexCount : ModulesOrdering) {
1122 auto &Mod = Modules[IndexCount];
1123 Pool.async([&](int count) {
1124 auto ModuleIdentifier = Mod->getName();
1125 auto &ExportList = ExportLists[ModuleIdentifier];
1126
1127 auto &DefinedGVSummaries = ModuleToDefinedGVSummaries[ModuleIdentifier];
1128
1129 // The module may be cached, this helps handling it.
1130 ModuleCacheEntry CacheEntry(CacheOptions.Path, *Index, ModuleIdentifier,
1131 ImportLists[ModuleIdentifier], ExportList,
1132 ResolvedODR[ModuleIdentifier],
1133 DefinedGVSummaries, OptLevel, Freestanding,
1134 TMBuilder);
1135 auto CacheEntryPath = CacheEntry.getEntryPath();
1136
1137 {
1138 auto ErrOrBuffer = CacheEntry.tryLoadingBuffer();
1139 LLVM_DEBUG(dbgs() << "Cache " << (ErrOrBuffer ? "hit" : "miss")
1140 << " '" << CacheEntryPath << "' for buffer "
1141 << count << " " << ModuleIdentifier << "\n");
1142
1143 if (ErrOrBuffer) {
1144 // Cache Hit!
1145 if (SavedObjectsDirectoryPath.empty())
1146 ProducedBinaries[count] = std::move(ErrOrBuffer.get());
1147 else
1148 ProducedBinaryFiles[count] = writeGeneratedObject(
1149 count, CacheEntryPath, *ErrOrBuffer.get());
1150 return;
1151 }
1152 }
1153
1154 LLVMContext Context;
1156 Context.enableDebugTypeODRUniquing();
1157 auto DiagFileOrErr = lto::setupLLVMOptimizationRemarks(
1160 if (!DiagFileOrErr) {
1161 errs() << "Error: " << toString(DiagFileOrErr.takeError()) << "\n";
1162 report_fatal_error("ThinLTO: Can't get an output file for the "
1163 "remarks");
1164 }
1165
1166 // Parse module now
1167 auto TheModule = loadModuleFromInput(Mod.get(), Context, false,
1168 /*IsImporting*/ false);
1169
1170 // Save temps: original file.
1171 saveTempBitcode(*TheModule, SaveTempsDir, count, ".0.original.bc");
1172
1173 auto &ImportList = ImportLists[ModuleIdentifier];
1174 // Run the main process now, and generates a binary
1176 *TheModule, *Index, ModuleMap, *TMBuilder.create(), ImportList,
1177 ExportList, GUIDPreservedSymbols,
1178 ModuleToDefinedGVSummaries[ModuleIdentifier], CacheOptions,
1179 DisableCodeGen, SaveTempsDir, Freestanding, OptLevel, count,
1180 DebugPassManager);
1181
1182 // Commit to the cache (if enabled)
1183 CacheEntry.write(*OutputBuffer);
1184
1185 if (SavedObjectsDirectoryPath.empty()) {
1186 // We need to generated a memory buffer for the linker.
1187 if (!CacheEntryPath.empty()) {
1188 // When cache is enabled, reload from the cache if possible.
1189 // Releasing the buffer from the heap and reloading it from the
1190 // cache file with mmap helps us to lower memory pressure.
1191 // The freed memory can be used for the next input file.
1192 // The final binary link will read from the VFS cache (hopefully!)
1193 // or from disk (if the memory pressure was too high).
1194 auto ReloadedBufferOrErr = CacheEntry.tryLoadingBuffer();
1195 if (auto EC = ReloadedBufferOrErr.getError()) {
1196 // On error, keep the preexisting buffer and print a diagnostic.
1197 errs() << "remark: can't reload cached file '" << CacheEntryPath
1198 << "': " << EC.message() << "\n";
1199 } else {
1200 OutputBuffer = std::move(*ReloadedBufferOrErr);
1201 }
1202 }
1203 ProducedBinaries[count] = std::move(OutputBuffer);
1204 return;
1205 }
1206 ProducedBinaryFiles[count] = writeGeneratedObject(
1207 count, CacheEntryPath, *OutputBuffer);
1208 }, IndexCount);
1209 }
1210 }
1211
1212 pruneCache(CacheOptions.Path, CacheOptions.Policy, ProducedBinaries);
1213
1214 // If statistics were requested, print them out now.
1218}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file provides a bitcode writing pass.
#define LLVM_LIFETIME_BOUND
Definition Compiler.h:435
DXIL Finalize Linkage
Provides passes for computing function attributes based on interprocedural analyses.
This file implements a simple parser to decode commandline option for remarks hotness threshold that ...
#define I(x, y, z)
Definition MD5.cpp:58
#define G(x, y, z)
Definition MD5.cpp:56
This is the interface to build a ModuleSummaryIndex for a module.
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 classes/functions to handle pass execution timing information with interfaces for...
This file defines the make_scope_exit function, which executes user-defined cleanup logic at scope ex...
This header defines a class that provides bookkeeping for all standard (i.e in-tree) pass instrumenta...
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
This file contains some functions that are useful when dealing with strings.
#define LLVM_DEBUG(...)
Definition Debug.h:114
static void crossImportIntoModule(Module &TheModule, const ModuleSummaryIndex &Index, StringMap< lto::InputFile * > &ModuleMap, const FunctionImporter::ImportMapTy &ImportList, bool ClearDSOLocalOnDeclarations)
static void computeDeadSymbolsInIndex(ModuleSummaryIndex &Index, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols)
static StringMap< lto::InputFile * > generateModuleMap(std::vector< std::unique_ptr< lto::InputFile > > &Modules)
static void initTMBuilder(TargetMachineBuilder &TMBuilder, const Triple &TheTriple)
static void resolvePrevailingInIndex(ModuleSummaryIndex &Index, StringMap< std::map< GlobalValue::GUID, GlobalValue::LinkageTypes > > &ResolvedODR, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols, const DenseMap< GlobalValue::GUID, const GlobalValueSummary * > &PrevailingCopy)
Resolve prevailing symbols.
static const GlobalValueSummary * getFirstDefinitionForLinker(ArrayRef< std::unique_ptr< GlobalValueSummary > > GVSummaryList)
static void computePrevailingCopies(const ModuleSummaryIndex &Index, DenseMap< GlobalValue::GUID, const GlobalValueSummary * > &PrevailingCopy)
static void saveTempBitcode(const Module &TheModule, StringRef TempDir, unsigned count, StringRef Suffix)
static void verifyLoadedModule(Module &TheModule)
Verify the module and strip broken debug info.
static void addUsedSymbolToPreservedGUID(const lto::InputFile &File, DenseSet< GlobalValue::GUID > &PreservedGUID)
static std::unique_ptr< MemoryBuffer > ProcessThinLTOModule(Module &TheModule, ModuleSummaryIndex &Index, StringMap< lto::InputFile * > &ModuleMap, TargetMachine &TM, const FunctionImporter::ImportMapTy &ImportList, const FunctionImporter::ExportSetTy &ExportList, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols, const GVSummaryMapTy &DefinedGlobals, const ThinLTOCodeGenerator::CachingOptions &CacheOptions, bool DisableCodeGen, StringRef SaveTempsDir, bool Freestanding, unsigned OptLevel, unsigned count, bool DebugPassManager)
static cl::opt< int > ThreadCount("threads", cl::init(0))
static std::unique_ptr< MemoryBuffer > codegenModule(Module &TheModule, TargetMachine &TM)
static void optimizeModule(Module &TheModule, TargetMachine &TM, unsigned OptLevel, bool Freestanding, bool DebugPassManager, ModuleSummaryIndex *Index)
static void computeGUIDPreservedSymbols(const lto::InputFile &File, const StringSet<> &PreservedSymbols, const Triple &TheTriple, DenseSet< GlobalValue::GUID > &GUIDs)
static std::unique_ptr< Module > loadModuleFromInput(lto::InputFile *Input, LLVMContext &Context, bool Lazy, bool IsImporting)
static void promoteModule(Module &TheModule, const ModuleSummaryIndex &Index, bool ClearDSOLocalOnDeclarations)
The Input class is used to parse a yaml document into in-memory structs and vectors.
char * getBuffer()
Definition Utility.h:206
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:41
iterator find(const_arg_type_t< KeyT > Val)
Definition DenseMap.h:167
iterator end()
Definition DenseMap.h:81
Implements a dense probed hash-table based set.
Definition DenseSet.h:279
This is the base abstract class for diagnostic reporting in the backend.
Base class for error info classes.
Definition Error.h:44
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.
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.
DenseSet< ValueInfo > ExportSetTy
The set contains an entry for every global value that the module exports.
Function and variable summary information to aid decisions and implementation of importing.
static LLVM_ABI GUID getGUIDAssumingExternalLinkage(StringRef GlobalName)
Return a 64-bit global unique ID constructed from the name of a global symbol.
Definition Globals.cpp:77
uint64_t GUID
Declare a type to represent a global unique identifier for a global value.
static bool isAvailableExternallyLinkage(LinkageTypes Linkage)
static LLVM_ABI std::string getGlobalIdentifier(StringRef Name, GlobalValue::LinkageTypes Linkage, StringRef FileName)
Return the modified name for a global value suitable to be used as the key for a global lookup (e....
Definition Globals.cpp:161
bool isWeakForLinker() const
LinkageTypes
An enumeration for the kinds of linkage for global values.
Definition GlobalValue.h:52
@ ExternalLinkage
Externally visible function.
Definition GlobalValue.h:53
This is an important class for using LLVM in a threaded context.
Definition LLVMContext.h:68
LLVM_ABI void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
LLVM_ABI void setDiscardValueNames(bool Discard)
Set the Context runtime configuration to discard all value name (but GlobalValue).
This interface provides simple read-only access to a block of memory, and provides simple methods for...
static ErrorOr< std::unique_ptr< MemoryBuffer > > getOpenFile(sys::fs::file_t FD, const Twine &Filename, uint64_t FileSize, bool RequiresNullTerminator=true, bool IsVolatile=false, std::optional< Align > Alignment=std::nullopt)
Given an already-open file descriptor, read the file and return a MemoryBuffer.
StringRef getBuffer() const
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
const Triple & getTargetTriple() const
Get the target triple which is a string describing the target host.
Definition Module.h:281
LLVMContext & getContext() const
Get the global data context.
Definition Module.h:285
StringRef getName() const
Get a short "name" for the module.
Definition Module.h:269
const std::string & getModuleIdentifier() const
Get the module identifier which is, essentially, the name of the module.
Definition Module.h:252
PIELevel::Level getPIELevel() const
Returns the PIE level (small or large model)
Definition Module.cpp:633
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)
PreservedAnalyses run(IRUnitT &IR, AnalysisManagerT &AM, ExtraArgTs... ExtraArgs)
Run all of the passes in this manager over the given unit of IR.
Tunable parameters for passes in the default pipelines.
Definition PassBuilder.h:41
bool SLPVectorization
Tuning option to enable/disable slp loop vectorization, set based on opt level.
Definition PassBuilder.h:56
bool LoopVectorization
Tuning option to enable/disable loop vectorization, set based on opt level.
Definition PassBuilder.h:52
Analysis providing profile information.
Instances of this class encapsulate one diagnostic report, allowing printing to a raw_ostream as a ca...
Definition SourceMgr.h:297
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition SmallString.h:26
const char * c_str()
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...
unsigned size() const
Definition StringMap.h:109
StringMap - This is an unconventional map that is specialized for handling keys that are "strings",...
Definition StringMap.h:133
bool contains(StringRef Key) const
contains - Return true if the element is in the map, false otherwise.
Definition StringMap.h:280
size_type count(StringRef Key) const
count - Return 1 if the element is in the map, 0 otherwise.
Definition StringMap.h:285
StringRef - Represent a constant reference to a string, i.e.
Definition StringRef.h:55
constexpr bool empty() const
empty - Check if the string is empty.
Definition StringRef.h:143
StringSet - A wrapper for StringMap that provides set-like functionality.
Definition StringSet.h:25
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.
Analysis pass providing the TargetLibraryInfo.
Implementation of the target library information.
Primary interface to the complete machine description for the target machine.
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.
LLVM_ABI void preserveSymbol(StringRef Name)
Adds to a list of all global symbols that must exist in the final generated code.
LLVM_ABI void run()
Process all the modules that were added to the code generator in parallel.
LLVM_ABI void crossReferenceSymbol(StringRef Name)
Adds to a list of all global symbols that are cross-referenced between ThinLTO files.
LLVM_ABI void addModule(StringRef Identifier, StringRef Data)
Add given module to the code generator.
auto async(Function &&F, Args &&...ArgList)
Asynchronous submission of a task to the pool.
Definition ThreadPool.h:80
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
std::pair< iterator, bool > insert(const ValueT &V)
Definition DenseSet.h:202
void insert_range(Range &&R)
Definition DenseSet.h:228
size_type count(const_arg_type_t< ValueT > V) const
Return 1 if the specified key is in the set, 0 otherwise.
Definition DenseSet.h:180
PassManager manages ModulePassManagers.
bool run(Module &M)
run - Execute all of the passes scheduled for execution.
An input file.
Definition LTO.h:113
static LLVM_ABI Expected< std::unique_ptr< InputFile > > create(MemoryBufferRef Object)
Create an InputFile.
Definition LTO.cpp:562
A raw_ostream that writes to a file descriptor.
A raw_ostream that writes to an SmallVector or SmallString.
LLVM_ABI void optimize(Module &Module)
Perform post-importing ThinLTO optimizations.
LLVM_ABI std::unique_ptr< ModuleSummaryIndex > linkCombinedIndex()
Produce the combined summary index from all the bitcode files: "thin-link".
LLVM_ABI void crossModuleImport(Module &Module, ModuleSummaryIndex &Index, const lto::InputFile &File)
Perform cross-module importing for the module identified by ModuleIdentifier.
LLVM_ABI void emitImports(Module &Module, StringRef OutputName, ModuleSummaryIndex &Index, const lto::InputFile &File)
Compute and emit the imported files for module at ModulePath.
LLVM_ABI void internalize(Module &Module, ModuleSummaryIndex &Index, const lto::InputFile &File)
Perform internalization.
LLVM_ABI void gatherImportedSummariesForModule(Module &Module, ModuleSummaryIndex &Index, ModuleToSummariesForIndexTy &ModuleToSummariesForIndex, GVSummaryPtrSet &DecSummaries, const lto::InputFile &File)
Compute the list of summaries and the subset of declaration summaries needed for importing into modul...
LLVM_ABI void promote(Module &Module, ModuleSummaryIndex &Index, const lto::InputFile &File)
Perform promotion and renaming of exported internal functions, and additionally resolve weak and link...
LLVM_ABI std::string writeGeneratedObject(int count, StringRef CacheEntryPath, const MemoryBuffer &OutputBuffer)
Write temporary object file to SavedObjectDirectoryPath, write symlink to Cache directory if needed.
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.
ThinLTOCodeGeneratorImpl - Namespace used for ThinLTOCodeGenerator implementation details.
initializer< Ty > init(const Ty &Val)
LLVM_ABI StringLiteral getThinLTODefaultCPU(const Triple &TheTriple)
Definition LTO.cpp:1774
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:2147
LLVM_ABI std::vector< int > generateModulesOrdering(ArrayRef< BitcodeModule * > R)
Produces a container ordering for optimal multi-threaded processing.
Definition LTO.cpp:2191
LLVM_ABI std::error_code closeFile(file_t &F)
Close the file object.
LLVM_ABI std::error_code create_hard_link(const Twine &to, const Twine &from)
Create a hard link from from to to, or return an error.
LLVM_ABI bool exists(const basic_file_status &status)
Does file exist?
Definition Path.cpp:1077
@ OF_UpdateAtime
Force files Atime to be updated on access.
Definition FileSystem.h:779
LLVM_ABI std::error_code remove(const Twine &path, bool IgnoreNonExisting=true)
Remove path.
LLVM_ABI Expected< file_t > openNativeFileForRead(const Twine &Name, OpenFlags Flags=OF_None, SmallVectorImpl< char > *RealPath=nullptr)
Opens the file with the given name in a read-only mode, returning its open file descriptor.
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:967
LLVM_ABI std::error_code copy_file(const Twine &From, const Twine &To)
Copy the contents of From to To.
Definition Path.cpp:1016
LLVM_ABI bool is_directory(const basic_file_status &status)
Does status represent a directory?
Definition Path.cpp:1092
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:456
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 void logAllUnhandledErrors(Error E, raw_ostream &OS, Twine ErrorBanner={})
Log all errors (if any) in E to OS.
Definition Error.cpp:65
cl::opt< std::string > RemarksFormat("lto-pass-remarks-format", cl::desc("The format used for serializing remarks (default: YAML)"), cl::value_desc("format"), cl::init("yaml"))
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1725
Printable print(const GCNRegPressure &RP, const GCNSubtarget *ST=nullptr, unsigned DynamicVGPRBlockSize=0)
std::unordered_set< GlobalValueSummary * > GVSummaryPtrSet
A set of global value summary pointers.
cl::opt< bool > LTODiscardValueNames("lto-discard-value-names", cl::desc("Strip names from Value during LTO (other than GlobalValue)."), cl::init(false), cl::Hidden)
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.
detail::scope_exit< std::decay_t< Callable > > make_scope_exit(Callable &&F)
Definition ScopeExit.h:59
cl::opt< std::string > RemarksPasses("lto-pass-remarks-filter", cl::desc("Only record optimization remarks from passes whose " "names match the given regular expression"), cl::value_desc("regex"))
void handleAllErrors(Error E, HandlerTs &&... Handlers)
Behaves the same as handleErrors, except that by contract all errors must be handled by the given han...
Definition Error.h:990
SmallVectorImpl< T >::const_pointer c_str(SmallVectorImpl< T > &str)
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 thinLTOPropagateFunctionAttrs(ModuleSummaryIndex &Index, function_ref< bool(GlobalValue::GUID, const GlobalValueSummary *)> isPrevailing)
Propagate function attributes for function summaries along the index's callgraph during thinlink.
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...
LLVM_ABI ModuleSummaryIndex buildModuleSummaryIndex(const Module &M, std::function< BlockFrequencyInfo *(const Function &F)> GetBFICallback, ProfileSummaryInfo *PSI, std::function< const StackSafetyInfo *(const Function &F)> GetSSICallback=[](const Function &F) -> const StackSafetyInfo *{ return nullptr;})
Direct function to compute a ModuleSummaryIndex from a given module.
LLVM_ABI void reportAndResetTimings(raw_ostream *OutStream=nullptr)
If -time-passes has been specified, report the timings immediately and then reset the timers to zero.
LLVM_ABI bool hasWholeProgramVisibility(bool WholeProgramVisibilityEnabledInLTO)
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 ComputeCrossModuleImport(const ModuleSummaryIndex &Index, const DenseMap< StringRef, GVSummaryMapTy > &ModuleToDefinedGVSummaries, function_ref< bool(GlobalValue::GUID, const GlobalValueSummary *)> isPrevailing, FunctionImporter::ImportListsTy &ImportLists, DenseMap< StringRef, FunctionImporter::ExportSetTy > &ExportLists)
Compute all the imports and exports for every module in the Index.
LLVM_ABI void thinLTOInternalizeAndPromoteInIndex(ModuleSummaryIndex &Index, function_ref< bool(StringRef, ValueInfo)> isExported, function_ref< bool(GlobalValue::GUID, const GlobalValueSummary *)> isPrevailing)
Update the linkages in the given Index to mark exported values as external and non-exported values as...
Definition LTO.cpp:549
auto formatv(bool Validate, const char *Fmt, Ts &&...Vals)
LLVM_ABI void updatePublicTypeTestCalls(Module &M, bool WholeProgramVisibilityEnabledInLTO)
LLVM_ABI Error write(MCStreamer &Out, ArrayRef< std::string > Inputs, OnCuIndexOverflow OverflowOptValue)
Definition DWP.cpp:622
PassManager< Module > ModulePassManager
Convenience typedef for a pass manager over modules.
bool timeTraceProfilerEnabled()
Is the time trace profiler enabled, i.e. initialized?
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:167
LLVM_ABI Error writeToOutput(StringRef OutputFileName, std::function< Error(raw_ostream &)> Write)
This helper creates an output stream and then passes it to Write.
LLVM_ABI bool AreStatisticsEnabled()
Check if statistics are enabled.
std::map< std::string, GVSummaryMapTy, std::less<> > ModuleToSummariesForIndexTy
Map of a module name to the GUIDs and summaries we will import from that module.
cl::opt< bool > RemarksWithHotness("lto-pass-remarks-with-hotness", cl::desc("With PGO, include profile count in optimization remarks"), cl::Hidden)
LLVM_ABI void timeTraceProfilerEnd()
Manually end the last time section.
cl::opt< std::string > RemarksFilename("lto-pass-remarks-output", cl::desc("Output filename for pass remarks"), cl::value_desc("filename"))
LLVM_ABI void updateIndexWPDForExports(ModuleSummaryIndex &Summary, function_ref< bool(StringRef, ValueInfo)> isExported, std::map< ValueInfo, std::vector< VTableSlotSummary > > &LocalWPDTargetsMap)
Call after cross-module importing to update the recorded single impl devirt target names for any loca...
LLVM_ABI void thinLTOResolvePrevailingInIndex(const lto::Config &C, ModuleSummaryIndex &Index, function_ref< bool(GlobalValue::GUID, const GlobalValueSummary *)> isPrevailing, function_ref< void(StringRef, GlobalValue::GUID, GlobalValue::LinkageTypes)> recordNewLinkage, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols)
Resolve linkage for prevailing symbols in the Index.
Definition LTO.cpp:448
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
LLVM_ABI raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
LLVM_ABI bool StripDebugInfo(Module &M)
Strip debug info in the module if it exists.
@ Mod
The access may modify the value stored in memory.
Definition ModRef.h:34
FunctionAddr VTableAddr uintptr_t uintptr_t Data
Definition InstrProf.h:189
LLVM_ABI void PrintStatistics()
Print statistics to the file returned by CreateInfoOutputFile().
LLVM_ABI void runWholeProgramDevirtOnIndex(ModuleSummaryIndex &Summary, std::set< GlobalValue::GUID > &ExportedGUIDs, std::map< ValueInfo, std::vector< VTableSlotSummary > > &LocalWPDTargetsMap)
Perform index-based whole program devirtualization on the Summary index.
LLVM_ABI bool pruneCache(StringRef Path, CachePruningPolicy Policy, const std::vector< std::unique_ptr< MemoryBuffer > > &Files={})
Peform pruning using the supplied policy, returns true if pruning occurred, i.e.
LLVM_ABI void thinLTOInternalizeModule(Module &TheModule, const GVSummaryMapTy &DefinedGlobals)
Internalize TheModule based on the information recorded in the summaries during global summary-based ...
auto count(R &&Range, const E &Element)
Wrapper function around std::count to count the number of times an element Element occurs in the give...
Definition STLExtras.h:1954
SingleThreadExecutor DefaultThreadPool
Definition ThreadPool.h:254
LLVM_ABI void gatherImportedSummariesForModule(StringRef ModulePath, const DenseMap< StringRef, GVSummaryMapTy > &ModuleToDefinedGVSummaries, const FunctionImporter::ImportMapTy &ImportList, ModuleToSummariesForIndexTy &ModuleToSummariesForIndex, GVSummaryPtrSet &DecSummaries)
Compute the set of summaries needed for a ThinLTO backend compilation of ModulePath.
std::string toString(const APInt &I, unsigned Radix, bool Signed, bool formatAsCLiteral=false, bool UpperCase=true, bool InsertSeparators=false)
DiagnosticSeverity
Defines the different supported severity of a diagnostic.
cl::opt< std::optional< uint64_t >, false, remarks::HotnessThresholdParser > RemarksHotnessThreshold("lto-pass-remarks-hotness-threshold", cl::desc("Minimum profile count required for an " "optimization remark to be output." " Use 'auto' to apply the threshold from profile summary."), cl::value_desc("uint or 'auto'"), cl::init(0), cl::Hidden)
auto find_if(R &&Range, UnaryPredicate P)
Provide wrappers to std::find_if which take ranges instead of having to pass begin/end explicitly.
Definition STLExtras.h:1758
LLVM_ABI std::string computeLTOCacheKey(const lto::Config &Conf, const ModuleSummaryIndex &Index, StringRef ModuleID, const FunctionImporter::ImportMapTy &ImportList, const FunctionImporter::ExportSetTy &ExportList, const std::map< GlobalValue::GUID, GlobalValue::LinkageTypes > &ResolvedODR, const GVSummaryMapTy &DefinedGlobals, const DenseSet< GlobalValue::GUID > &CfiFunctionDefs={}, const DenseSet< GlobalValue::GUID > &CfiFunctionDecls={})
Computes a unique hash for the Module considering the current list of export/import and other global ...
Definition LTO.cpp:104
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
LLVM_ABI std::error_code errorToErrorCode(Error Err)
Helper for converting an ECError to a std::error_code.
Definition Error.cpp:117
LLVM_ABI void computeDeadSymbolsWithConstProp(ModuleSummaryIndex &Index, const DenseSet< GlobalValue::GUID > &GUIDPreservedSymbols, function_ref< PrevailingType(GlobalValue::GUID)> isPrevailing, bool ImportEnabled)
Compute dead symbols and run constant propagation in combined index after that.
LLVM_ABI Error EmitImportsFiles(StringRef ModulePath, StringRef OutputFilename, const ModuleToSummariesForIndexTy &ModuleToSummariesForIndex)
Emit into OutputFilename the files module ModulePath will import from.
LLVM_ABI bool verifyModule(const Module &M, raw_ostream *OS=nullptr, bool *BrokenDebugInfo=nullptr)
Check a module for errors.
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Definition MIRParser.h:39
LLVM_ABI TimeTraceProfilerEntry * timeTraceProfilerBegin(StringRef Name, StringRef Detail)
Manually begin a time section, with the given Name and Detail.
LLVM_ABI void updateVCallVisibilityInIndex(ModuleSummaryIndex &Index, bool WholeProgramVisibilityEnabledInLTO, const DenseSet< GlobalValue::GUID > &DynamicExportSymbols, const DenseSet< GlobalValue::GUID > &VisibleToRegularObjSymbols)
If whole program visibility asserted, then upgrade all public vcall visibility metadata on vtable def...
LLVM_ABI void thinLTOFinalizeInModule(Module &TheModule, const GVSummaryMapTy &DefinedGlobals, bool PropagateAttrs)
Based on the information recorded in the summaries during global summary-based analysis:
static const Target * lookupTarget(StringRef TripleStr, std::string &Error)
lookupTarget - Lookup a target based on a target triple.
Helper to gather options relevant to the target machine creation.
LLVM_ABI std::unique_ptr< TargetMachine > create() const
Struct that holds a reference to a particular GUID in a global value summary.
LTO configuration.
Definition Config.h:42
std::vector< std::string > MAttrs
Definition Config.h:51
CodeGenOptLevel CGOptLevel
Definition Config.h:58
std::string CPU
Definition Config.h:49
TargetOptions Options
Definition Config.h:50
unsigned OptLevel
Definition Config.h:60
std::optional< Reloc::Model > RelocModel
Definition Config.h:56
bool Freestanding
Flag to indicate that the optimizer should not assume builtins are present on the target.
Definition Config.h:66