142418abaSMehdi Amini //===- FunctionImport.cpp - ThinLTO Summary-based Function Import ---------===//
242418abaSMehdi Amini //
342418abaSMehdi Amini //                     The LLVM Compiler Infrastructure
442418abaSMehdi Amini //
542418abaSMehdi Amini // This file is distributed under the University of Illinois Open Source
642418abaSMehdi Amini // License. See LICENSE.TXT for details.
742418abaSMehdi Amini //
842418abaSMehdi Amini //===----------------------------------------------------------------------===//
942418abaSMehdi Amini //
1042418abaSMehdi Amini // This file implements Function import based on summaries.
1142418abaSMehdi Amini //
1242418abaSMehdi Amini //===----------------------------------------------------------------------===//
1342418abaSMehdi Amini 
1442418abaSMehdi Amini #include "llvm/Transforms/IPO/FunctionImport.h"
1542418abaSMehdi Amini 
1601e32130SMehdi Amini #include "llvm/ADT/SmallVector.h"
1742418abaSMehdi Amini #include "llvm/ADT/StringSet.h"
1842418abaSMehdi Amini #include "llvm/IR/AutoUpgrade.h"
1942418abaSMehdi Amini #include "llvm/IR/DiagnosticPrinter.h"
2042418abaSMehdi Amini #include "llvm/IR/IntrinsicInst.h"
2142418abaSMehdi Amini #include "llvm/IR/Module.h"
2242418abaSMehdi Amini #include "llvm/IRReader/IRReader.h"
2342418abaSMehdi Amini #include "llvm/Linker/Linker.h"
2426ab5772STeresa Johnson #include "llvm/Object/ModuleSummaryIndexObjectFile.h"
2542418abaSMehdi Amini #include "llvm/Support/CommandLine.h"
2642418abaSMehdi Amini #include "llvm/Support/Debug.h"
2742418abaSMehdi Amini #include "llvm/Support/SourceMgr.h"
28488a800aSTeresa Johnson #include "llvm/Transforms/Utils/FunctionImportUtils.h"
297e88d0daSMehdi Amini 
3001e32130SMehdi Amini #define DEBUG_TYPE "function-import"
317e88d0daSMehdi Amini 
3242418abaSMehdi Amini using namespace llvm;
3342418abaSMehdi Amini 
3439303619STeresa Johnson /// Limit on instruction count of imported functions.
3539303619STeresa Johnson static cl::opt<unsigned> ImportInstrLimit(
3639303619STeresa Johnson     "import-instr-limit", cl::init(100), cl::Hidden, cl::value_desc("N"),
3739303619STeresa Johnson     cl::desc("Only import functions with less than N instructions"));
3839303619STeresa Johnson 
3940641748SMehdi Amini static cl::opt<float>
4040641748SMehdi Amini     ImportInstrFactor("import-instr-evolution-factor", cl::init(0.7),
4140641748SMehdi Amini                       cl::Hidden, cl::value_desc("x"),
4240641748SMehdi Amini                       cl::desc("As we import functions, multiply the "
4340641748SMehdi Amini                                "`import-instr-limit` threshold by this factor "
4440641748SMehdi Amini                                "before processing newly imported functions"));
4540641748SMehdi Amini 
4642418abaSMehdi Amini // Load lazily a module from \p FileName in \p Context.
4742418abaSMehdi Amini static std::unique_ptr<Module> loadFile(const std::string &FileName,
4842418abaSMehdi Amini                                         LLVMContext &Context) {
4942418abaSMehdi Amini   SMDiagnostic Err;
5042418abaSMehdi Amini   DEBUG(dbgs() << "Loading '" << FileName << "'\n");
516cba37ceSTeresa Johnson   // Metadata isn't loaded until functions are imported, to minimize
526cba37ceSTeresa Johnson   // the memory overhead.
53a1080ee6STeresa Johnson   std::unique_ptr<Module> Result =
54a1080ee6STeresa Johnson       getLazyIRFileModule(FileName, Err, Context,
55a1080ee6STeresa Johnson                           /* ShouldLazyLoadMetadata = */ true);
5642418abaSMehdi Amini   if (!Result) {
5742418abaSMehdi Amini     Err.print("function-import", errs());
5842418abaSMehdi Amini     return nullptr;
5942418abaSMehdi Amini   }
6042418abaSMehdi Amini 
6142418abaSMehdi Amini   return Result;
6242418abaSMehdi Amini }
6342418abaSMehdi Amini 
647e88d0daSMehdi Amini namespace {
6540641748SMehdi Amini 
6601e32130SMehdi Amini /// Given a list of possible callee implementation for a call site, select one
6701e32130SMehdi Amini /// that fits the \p Threshold.
6801e32130SMehdi Amini ///
6901e32130SMehdi Amini /// FIXME: select "best" instead of first that fits. But what is "best"?
7001e32130SMehdi Amini /// - The smallest: more likely to be inlined.
7101e32130SMehdi Amini /// - The one with the least outgoing edges (already well optimized).
7201e32130SMehdi Amini /// - One from a module already being imported from in order to reduce the
7301e32130SMehdi Amini ///   number of source modules parsed/linked.
7401e32130SMehdi Amini /// - One that has PGO data attached.
7501e32130SMehdi Amini /// - [insert you fancy metric here]
7601e32130SMehdi Amini static const FunctionSummary *
7701e32130SMehdi Amini selectCallee(const GlobalValueInfoList &CalleeInfoList, unsigned Threshold) {
7801e32130SMehdi Amini   auto It = llvm::find_if(
7901e32130SMehdi Amini       CalleeInfoList, [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) {
8001e32130SMehdi Amini         assert(GlobInfo->summary() &&
8101e32130SMehdi Amini                "We should not have a Global Info without summary");
8201e32130SMehdi Amini         auto *Summary = cast<FunctionSummary>(GlobInfo->summary());
8340641748SMehdi Amini 
8401e32130SMehdi Amini         if (GlobalValue::isWeakAnyLinkage(Summary->linkage()))
8501e32130SMehdi Amini           return false;
867e88d0daSMehdi Amini 
8701e32130SMehdi Amini         if (Summary->instCount() > Threshold)
8801e32130SMehdi Amini           return false;
897e88d0daSMehdi Amini 
9001e32130SMehdi Amini         return true;
9101e32130SMehdi Amini       });
9201e32130SMehdi Amini   if (It == CalleeInfoList.end())
9301e32130SMehdi Amini     return nullptr;
947e88d0daSMehdi Amini 
9501e32130SMehdi Amini   return cast<FunctionSummary>((*It)->summary());
96434e9561SRafael Espindola }
977e88d0daSMehdi Amini 
9801e32130SMehdi Amini /// Return the summary for the function \p GUID that fits the \p Threshold, or
9901e32130SMehdi Amini /// null if there's no match.
10001e32130SMehdi Amini static const FunctionSummary *selectCallee(uint64_t GUID, unsigned Threshold,
10101e32130SMehdi Amini                                            const ModuleSummaryIndex &Index) {
10201e32130SMehdi Amini   auto CalleeInfoList = Index.findGlobalValueInfoList(GUID);
10301e32130SMehdi Amini   if (CalleeInfoList == Index.end()) {
10401e32130SMehdi Amini     return nullptr; // This function does not have a summary
1057e88d0daSMehdi Amini   }
10601e32130SMehdi Amini   return selectCallee(CalleeInfoList->second, Threshold);
10701e32130SMehdi Amini }
1087e88d0daSMehdi Amini 
10901e32130SMehdi Amini /// Return true if the global \p GUID is exported by module \p ExportModulePath.
11001e32130SMehdi Amini static bool isGlobalExported(const ModuleSummaryIndex &Index,
11101e32130SMehdi Amini                              StringRef ExportModulePath, uint64_t GUID) {
11201e32130SMehdi Amini   auto CalleeInfoList = Index.findGlobalValueInfoList(GUID);
11301e32130SMehdi Amini   if (CalleeInfoList == Index.end())
11401e32130SMehdi Amini     // This global does not have a summary, it is not part of the ThinLTO
11501e32130SMehdi Amini     // process
11601e32130SMehdi Amini     return false;
11701e32130SMehdi Amini   auto DefinedInCalleeModule = llvm::find_if(
11801e32130SMehdi Amini       CalleeInfoList->second,
11901e32130SMehdi Amini       [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) {
12001e32130SMehdi Amini         auto *Summary = GlobInfo->summary();
12101e32130SMehdi Amini         assert(Summary && "Unexpected GlobalValueInfo without summary");
12201e32130SMehdi Amini         return Summary->modulePath() == ExportModulePath;
12301e32130SMehdi Amini       });
12401e32130SMehdi Amini   return (DefinedInCalleeModule != CalleeInfoList->second.end());
12501e32130SMehdi Amini }
1267e88d0daSMehdi Amini 
12701e32130SMehdi Amini using EdgeInfo = std::pair<const FunctionSummary *, unsigned /* Threshold */>;
12801e32130SMehdi Amini 
12901e32130SMehdi Amini /// Compute the list of functions to import for a given caller. Mark these
13001e32130SMehdi Amini /// imported functions and the symbols they reference in their source module as
13101e32130SMehdi Amini /// exported from their source module.
13201e32130SMehdi Amini static void computeImportForFunction(
13301e32130SMehdi Amini     StringRef ModulePath, const FunctionSummary &Summary,
13401e32130SMehdi Amini     const ModuleSummaryIndex &Index, unsigned Threshold,
13501e32130SMehdi Amini     const std::map<uint64_t, FunctionSummary *> &DefinedFunctions,
13601e32130SMehdi Amini     SmallVectorImpl<EdgeInfo> &Worklist,
13701e32130SMehdi Amini     FunctionImporter::ImportMapTy &ImportsForModule,
13801e32130SMehdi Amini     StringMap<FunctionImporter::ExportSetTy> &ExportLists) {
13901e32130SMehdi Amini   for (auto &Edge : Summary.calls()) {
14001e32130SMehdi Amini     auto GUID = Edge.first;
14101e32130SMehdi Amini     DEBUG(dbgs() << " edge -> " << GUID << " Threshold:" << Threshold << "\n");
14201e32130SMehdi Amini 
14301e32130SMehdi Amini     if (DefinedFunctions.count(GUID)) {
14401e32130SMehdi Amini       DEBUG(dbgs() << "ignored! Target already in destination module.\n");
1457e88d0daSMehdi Amini       continue;
146d450da32STeresa Johnson     }
14740641748SMehdi Amini 
14801e32130SMehdi Amini     auto *CalleeSummary = selectCallee(GUID, Threshold, Index);
14901e32130SMehdi Amini     if (!CalleeSummary) {
15001e32130SMehdi Amini       DEBUG(dbgs() << "ignored! No qualifying callee with summary found.\n");
1517e88d0daSMehdi Amini       continue;
1527e88d0daSMehdi Amini     }
15301e32130SMehdi Amini     assert(CalleeSummary->instCount() <= Threshold &&
15401e32130SMehdi Amini            "selectCallee() didn't honor the threshold");
15501e32130SMehdi Amini 
15601e32130SMehdi Amini     auto &ProcessedThreshold =
15701e32130SMehdi Amini         ImportsForModule[CalleeSummary->modulePath()][GUID];
15801e32130SMehdi Amini     /// Since the traversal of the call graph is DFS, we can revisit a function
15901e32130SMehdi Amini     /// a second time with a higher threshold. In this case, it is added back to
16001e32130SMehdi Amini     /// the worklist with the new threshold.
16101e32130SMehdi Amini     if (ProcessedThreshold && ProcessedThreshold > Threshold) {
16201e32130SMehdi Amini       DEBUG(dbgs() << "ignored! Target was already seen with Threshold "
16301e32130SMehdi Amini                    << ProcessedThreshold << "\n");
16401e32130SMehdi Amini       continue;
16501e32130SMehdi Amini     }
16601e32130SMehdi Amini     // Mark this function as imported in this module, with the current Threshold
16701e32130SMehdi Amini     ProcessedThreshold = Threshold;
16801e32130SMehdi Amini 
16901e32130SMehdi Amini     // Make exports in the source module.
17001e32130SMehdi Amini     auto ExportModulePath = CalleeSummary->modulePath();
17101e32130SMehdi Amini     auto ExportList = ExportLists[ExportModulePath];
17201e32130SMehdi Amini     ExportList.insert(GUID);
17301e32130SMehdi Amini     // Mark all functions and globals referenced by this function as exported to
17401e32130SMehdi Amini     // the outside if they are defined in the same source module.
17501e32130SMehdi Amini     for (auto &Edge : CalleeSummary->calls()) {
17601e32130SMehdi Amini       auto CalleeGUID = Edge.first;
17701e32130SMehdi Amini       if (isGlobalExported(Index, ExportModulePath, CalleeGUID))
17801e32130SMehdi Amini         ExportList.insert(CalleeGUID);
17901e32130SMehdi Amini     }
18001e32130SMehdi Amini     for (auto &GUID : CalleeSummary->refs()) {
18101e32130SMehdi Amini       if (isGlobalExported(Index, ExportModulePath, GUID))
18201e32130SMehdi Amini         ExportList.insert(GUID);
1837e88d0daSMehdi Amini     }
1847e88d0daSMehdi Amini 
18501e32130SMehdi Amini     // Insert the newly imported function to the worklist.
18601e32130SMehdi Amini     Worklist.push_back(std::make_pair(CalleeSummary, Threshold));
187d450da32STeresa Johnson   }
188d450da32STeresa Johnson }
189d450da32STeresa Johnson 
19001e32130SMehdi Amini /// Given the list of globals defined in a module, compute the list of imports
19101e32130SMehdi Amini /// as well as the list of "exports", i.e. the list of symbols referenced from
19201e32130SMehdi Amini /// another module (that may require promotion).
19301e32130SMehdi Amini static void ComputeImportForModule(
19401e32130SMehdi Amini     StringRef ModulePath,
19501e32130SMehdi Amini     const std::map<uint64_t, FunctionSummary *> &DefinedFunctions,
19626ab5772STeresa Johnson     const ModuleSummaryIndex &Index,
19701e32130SMehdi Amini     FunctionImporter::ImportMapTy &ImportsForModule,
19801e32130SMehdi Amini     StringMap<FunctionImporter::ExportSetTy> &ExportLists) {
19901e32130SMehdi Amini   // Worklist contains the list of function imported in this module, for which
20001e32130SMehdi Amini   // we will analyse the callees and may import further down the callgraph.
20101e32130SMehdi Amini   SmallVector<EdgeInfo, 128> Worklist;
20201e32130SMehdi Amini 
20301e32130SMehdi Amini   // Populate the worklist with the import for the functions in the current
20401e32130SMehdi Amini   // module
20501e32130SMehdi Amini   for (auto &FuncInfo : DefinedFunctions) {
20601e32130SMehdi Amini     auto *Summary = FuncInfo.second;
20701e32130SMehdi Amini     DEBUG(dbgs() << "Initalize import for " << FuncInfo.first << "\n");
20801e32130SMehdi Amini     computeImportForFunction(ModulePath, *Summary, Index, ImportInstrLimit,
20901e32130SMehdi Amini                              DefinedFunctions, Worklist, ImportsForModule,
21001e32130SMehdi Amini                              ExportLists);
21101e32130SMehdi Amini   }
21201e32130SMehdi Amini 
21342418abaSMehdi Amini   while (!Worklist.empty()) {
21401e32130SMehdi Amini     auto FuncInfo = Worklist.pop_back_val();
21501e32130SMehdi Amini     auto *Summary = FuncInfo.first;
21601e32130SMehdi Amini     auto Threshold = FuncInfo.second;
21742418abaSMehdi Amini 
2187e88d0daSMehdi Amini     // Process the newly imported functions and add callees to the worklist.
21940641748SMehdi Amini     // Adjust the threshold
22040641748SMehdi Amini     Threshold = Threshold * ImportInstrFactor;
22101e32130SMehdi Amini 
22201e32130SMehdi Amini     computeImportForFunction(ModulePath, *Summary, Index, Threshold,
22301e32130SMehdi Amini                              DefinedFunctions, Worklist, ImportsForModule,
22401e32130SMehdi Amini                              ExportLists);
225c8c55170SMehdi Amini   }
22642418abaSMehdi Amini }
227ffe2e4aaSMehdi Amini 
22801e32130SMehdi Amini } // anonymous namespace
22901e32130SMehdi Amini 
23001e32130SMehdi Amini /// Compute all the import and export for every module in the Index.
23101e32130SMehdi Amini void llvm::ComputeCrossModuleImport(
23201e32130SMehdi Amini     const ModuleSummaryIndex &Index,
23301e32130SMehdi Amini     StringMap<FunctionImporter::ImportMapTy> &ImportLists,
23401e32130SMehdi Amini     StringMap<FunctionImporter::ExportSetTy> &ExportLists) {
23501e32130SMehdi Amini   auto ModuleCount = Index.modulePaths().size();
23601e32130SMehdi Amini 
23701e32130SMehdi Amini   // Collect for each module the list of function it defines.
23801e32130SMehdi Amini   // GUID -> Summary
23901e32130SMehdi Amini   StringMap<std::map<uint64_t, FunctionSummary *>> Module2FunctionInfoMap(
24001e32130SMehdi Amini       ModuleCount);
24101e32130SMehdi Amini 
24201e32130SMehdi Amini   for (auto &GlobalList : Index) {
24301e32130SMehdi Amini     auto GUID = GlobalList.first;
24401e32130SMehdi Amini     for (auto &GlobInfo : GlobalList.second) {
24501e32130SMehdi Amini       auto *Summary = dyn_cast_or_null<FunctionSummary>(GlobInfo->summary());
24601e32130SMehdi Amini       if (!Summary)
24701e32130SMehdi Amini         /// Ignore global variable, focus on functions
24801e32130SMehdi Amini         continue;
24901e32130SMehdi Amini       DEBUG(dbgs() << "Adding definition: Module '" << Summary->modulePath()
25001e32130SMehdi Amini                    << "' defines '" << GUID << "'\n");
25101e32130SMehdi Amini       Module2FunctionInfoMap[Summary->modulePath()][GUID] = Summary;
25201e32130SMehdi Amini     }
25301e32130SMehdi Amini   }
25401e32130SMehdi Amini 
25501e32130SMehdi Amini   // For each module that has function defined, compute the import/export lists.
25601e32130SMehdi Amini   for (auto &DefinedFunctions : Module2FunctionInfoMap) {
25701e32130SMehdi Amini     auto &ImportsForModule = ImportLists[DefinedFunctions.first()];
25801e32130SMehdi Amini     DEBUG(dbgs() << "Computing import for Module '" << DefinedFunctions.first()
25901e32130SMehdi Amini                  << "'\n");
26001e32130SMehdi Amini     ComputeImportForModule(DefinedFunctions.first(), DefinedFunctions.second,
26101e32130SMehdi Amini                            Index, ImportsForModule, ExportLists);
26201e32130SMehdi Amini   }
26301e32130SMehdi Amini 
26401e32130SMehdi Amini #ifndef NDEBUG
26501e32130SMehdi Amini   DEBUG(dbgs() << "Import/Export lists for " << ImportLists.size()
26601e32130SMehdi Amini                << " modules:\n");
26701e32130SMehdi Amini   for (auto &ModuleImports : ImportLists) {
26801e32130SMehdi Amini     auto ModName = ModuleImports.first();
26901e32130SMehdi Amini     auto &Exports = ExportLists[ModName];
27001e32130SMehdi Amini     DEBUG(dbgs() << "* Module " << ModName << " exports " << Exports.size()
27101e32130SMehdi Amini                  << " functions. Imports from " << ModuleImports.second.size()
27201e32130SMehdi Amini                  << " modules.\n");
27301e32130SMehdi Amini     for (auto &Src : ModuleImports.second) {
27401e32130SMehdi Amini       auto SrcModName = Src.first();
27501e32130SMehdi Amini       DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from "
27601e32130SMehdi Amini                    << SrcModName << "\n");
27701e32130SMehdi Amini     }
27801e32130SMehdi Amini   }
27901e32130SMehdi Amini #endif
28001e32130SMehdi Amini }
28101e32130SMehdi Amini 
282c8c55170SMehdi Amini // Automatically import functions in Module \p DestModule based on the summaries
283c8c55170SMehdi Amini // index.
284c8c55170SMehdi Amini //
28501e32130SMehdi Amini bool FunctionImporter::importFunctions(
28601e32130SMehdi Amini     Module &DestModule, const FunctionImporter::ImportMapTy &ImportList) {
2875411d051SMehdi Amini   DEBUG(dbgs() << "Starting import for Module "
288311fef6eSMehdi Amini                << DestModule.getModuleIdentifier() << "\n");
289c8c55170SMehdi Amini   unsigned ImportedCount = 0;
290c8c55170SMehdi Amini 
291c8c55170SMehdi Amini   // Linker that will be used for importing function
2929d2bfc48SRafael Espindola   Linker TheLinker(DestModule);
2937e88d0daSMehdi Amini   // Do the actual import of functions now, one Module at a time
29401e32130SMehdi Amini   std::set<StringRef> ModuleNameOrderedList;
29501e32130SMehdi Amini   for (auto &FunctionsToImportPerModule : ImportList) {
29601e32130SMehdi Amini     ModuleNameOrderedList.insert(FunctionsToImportPerModule.first());
29701e32130SMehdi Amini   }
29801e32130SMehdi Amini   for (auto &Name : ModuleNameOrderedList) {
2997e88d0daSMehdi Amini     // Get the module for the import
30001e32130SMehdi Amini     const auto &FunctionsToImportPerModule = ImportList.find(Name);
30101e32130SMehdi Amini     assert(FunctionsToImportPerModule != ImportList.end());
30201e32130SMehdi Amini     std::unique_ptr<Module> SrcModule = ModuleLoader(Name);
3037e88d0daSMehdi Amini     assert(&DestModule.getContext() == &SrcModule->getContext() &&
3047e88d0daSMehdi Amini            "Context mismatch");
3057e88d0daSMehdi Amini 
3066cba37ceSTeresa Johnson     // If modules were created with lazy metadata loading, materialize it
3076cba37ceSTeresa Johnson     // now, before linking it (otherwise this will be a noop).
3086cba37ceSTeresa Johnson     SrcModule->materializeMetadata();
3096cba37ceSTeresa Johnson     UpgradeDebugInfo(*SrcModule);
310e5a61917STeresa Johnson 
31101e32130SMehdi Amini     auto &ImportGUIDs = FunctionsToImportPerModule->second;
31201e32130SMehdi Amini     // Find the globals to import
31301e32130SMehdi Amini     DenseSet<const GlobalValue *> GlobalsToImport;
31401e32130SMehdi Amini     for (auto &GV : *SrcModule) {
31501e32130SMehdi Amini       if (GV.hasName() && ImportGUIDs.count(GV.getGUID())) {
31601e32130SMehdi Amini         GV.materialize();
31701e32130SMehdi Amini         GlobalsToImport.insert(&GV);
31801e32130SMehdi Amini       }
31901e32130SMehdi Amini     }
32001e32130SMehdi Amini     for (auto &GV : SrcModule->aliases()) {
32101e32130SMehdi Amini       if (!GV.hasName())
32201e32130SMehdi Amini         continue;
32301e32130SMehdi Amini       auto GUID = GV.getGUID();
32401e32130SMehdi Amini       if (ImportGUIDs.count(GUID)) {
32501e32130SMehdi Amini         // Alias can't point to "available_externally". However when we import
326*9aae395fSTeresa Johnson         // linkOnceODR the linkage does not change. So we import the alias
327*9aae395fSTeresa Johnson         // and aliasee only in this case.
32801e32130SMehdi Amini         const GlobalObject *GO = GV.getBaseObject();
32901e32130SMehdi Amini         if (!GO->hasLinkOnceODRLinkage())
33001e32130SMehdi Amini           continue;
331*9aae395fSTeresa Johnson         GV.materialize();
332*9aae395fSTeresa Johnson         GlobalsToImport.insert(&GV);
33301e32130SMehdi Amini         GlobalsToImport.insert(GO);
33401e32130SMehdi Amini       }
33501e32130SMehdi Amini     }
33601e32130SMehdi Amini     for (auto &GV : SrcModule->globals()) {
33701e32130SMehdi Amini       if (!GV.hasName())
33801e32130SMehdi Amini         continue;
33901e32130SMehdi Amini       auto GUID = Function::getGUID(Function::getGlobalIdentifier(
34001e32130SMehdi Amini           GV.getName(), GV.getLinkage(), SrcModule->getModuleIdentifier()));
34101e32130SMehdi Amini       if (ImportGUIDs.count(GUID)) {
34201e32130SMehdi Amini         GV.materialize();
34301e32130SMehdi Amini         GlobalsToImport.insert(&GV);
34401e32130SMehdi Amini       }
34501e32130SMehdi Amini     }
34601e32130SMehdi Amini 
3477e88d0daSMehdi Amini     // Link in the specified functions.
34801e32130SMehdi Amini     if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport))
3498d05185aSMehdi Amini       return true;
3508d05185aSMehdi Amini 
351434e9561SRafael Espindola     if (TheLinker.linkInModule(std::move(SrcModule), Linker::Flags::None,
35201e32130SMehdi Amini                                &GlobalsToImport))
3537e88d0daSMehdi Amini       report_fatal_error("Function Import: link error");
3547e88d0daSMehdi Amini 
35501e32130SMehdi Amini     ImportedCount += GlobalsToImport.size();
3567e88d0daSMehdi Amini   }
357e5a61917STeresa Johnson 
3587e88d0daSMehdi Amini   DEBUG(dbgs() << "Imported " << ImportedCount << " functions for Module "
359c8c55170SMehdi Amini                << DestModule.getModuleIdentifier() << "\n");
360c8c55170SMehdi Amini   return ImportedCount;
36142418abaSMehdi Amini }
36242418abaSMehdi Amini 
36342418abaSMehdi Amini /// Summary file to use for function importing when using -function-import from
36442418abaSMehdi Amini /// the command line.
36542418abaSMehdi Amini static cl::opt<std::string>
36642418abaSMehdi Amini     SummaryFile("summary-file",
36742418abaSMehdi Amini                 cl::desc("The summary file to use for function importing."));
36842418abaSMehdi Amini 
36942418abaSMehdi Amini static void diagnosticHandler(const DiagnosticInfo &DI) {
37042418abaSMehdi Amini   raw_ostream &OS = errs();
37142418abaSMehdi Amini   DiagnosticPrinterRawOStream DP(OS);
37242418abaSMehdi Amini   DI.print(DP);
37342418abaSMehdi Amini   OS << '\n';
37442418abaSMehdi Amini }
37542418abaSMehdi Amini 
37626ab5772STeresa Johnson /// Parse the summary index out of an IR file and return the summary
37742418abaSMehdi Amini /// index object if found, or nullptr if not.
37826ab5772STeresa Johnson static std::unique_ptr<ModuleSummaryIndex>
37926ab5772STeresa Johnson getModuleSummaryIndexForFile(StringRef Path, std::string &Error,
38042418abaSMehdi Amini                              DiagnosticHandlerFunction DiagnosticHandler) {
38142418abaSMehdi Amini   std::unique_ptr<MemoryBuffer> Buffer;
38242418abaSMehdi Amini   ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr =
38342418abaSMehdi Amini       MemoryBuffer::getFile(Path);
38442418abaSMehdi Amini   if (std::error_code EC = BufferOrErr.getError()) {
38542418abaSMehdi Amini     Error = EC.message();
38642418abaSMehdi Amini     return nullptr;
38742418abaSMehdi Amini   }
38842418abaSMehdi Amini   Buffer = std::move(BufferOrErr.get());
38926ab5772STeresa Johnson   ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr =
39026ab5772STeresa Johnson       object::ModuleSummaryIndexObjectFile::create(Buffer->getMemBufferRef(),
39142418abaSMehdi Amini                                                    DiagnosticHandler);
39242418abaSMehdi Amini   if (std::error_code EC = ObjOrErr.getError()) {
39342418abaSMehdi Amini     Error = EC.message();
39442418abaSMehdi Amini     return nullptr;
39542418abaSMehdi Amini   }
39642418abaSMehdi Amini   return (*ObjOrErr)->takeIndex();
39742418abaSMehdi Amini }
39842418abaSMehdi Amini 
399fe2b5415SBenjamin Kramer namespace {
40042418abaSMehdi Amini /// Pass that performs cross-module function import provided a summary file.
40142418abaSMehdi Amini class FunctionImportPass : public ModulePass {
40226ab5772STeresa Johnson   /// Optional module summary index to use for importing, otherwise
4035fcbdb71STeresa Johnson   /// the summary-file option must be specified.
40426ab5772STeresa Johnson   const ModuleSummaryIndex *Index;
40542418abaSMehdi Amini 
40642418abaSMehdi Amini public:
40742418abaSMehdi Amini   /// Pass identification, replacement for typeid
40842418abaSMehdi Amini   static char ID;
40942418abaSMehdi Amini 
4105fcbdb71STeresa Johnson   /// Specify pass name for debug output
4115fcbdb71STeresa Johnson   const char *getPassName() const override {
4125fcbdb71STeresa Johnson     return "Function Importing";
4135fcbdb71STeresa Johnson   }
4145fcbdb71STeresa Johnson 
41526ab5772STeresa Johnson   explicit FunctionImportPass(const ModuleSummaryIndex *Index = nullptr)
4165fcbdb71STeresa Johnson       : ModulePass(ID), Index(Index) {}
41742418abaSMehdi Amini 
41842418abaSMehdi Amini   bool runOnModule(Module &M) override {
4195fcbdb71STeresa Johnson     if (SummaryFile.empty() && !Index)
4205fcbdb71STeresa Johnson       report_fatal_error("error: -function-import requires -summary-file or "
4215fcbdb71STeresa Johnson                          "file from frontend\n");
42226ab5772STeresa Johnson     std::unique_ptr<ModuleSummaryIndex> IndexPtr;
4235fcbdb71STeresa Johnson     if (!SummaryFile.empty()) {
4245fcbdb71STeresa Johnson       if (Index)
4255fcbdb71STeresa Johnson         report_fatal_error("error: -summary-file and index from frontend\n");
42642418abaSMehdi Amini       std::string Error;
42726ab5772STeresa Johnson       IndexPtr =
42826ab5772STeresa Johnson           getModuleSummaryIndexForFile(SummaryFile, Error, diagnosticHandler);
4295fcbdb71STeresa Johnson       if (!IndexPtr) {
4305fcbdb71STeresa Johnson         errs() << "Error loading file '" << SummaryFile << "': " << Error
4315fcbdb71STeresa Johnson                << "\n";
43242418abaSMehdi Amini         return false;
43342418abaSMehdi Amini       }
4345fcbdb71STeresa Johnson       Index = IndexPtr.get();
4355fcbdb71STeresa Johnson     }
43642418abaSMehdi Amini 
43701e32130SMehdi Amini     // First step is collecting the import/export lists
43801e32130SMehdi Amini     // The export list is not used yet, but could limit the amount of renaming
43901e32130SMehdi Amini     // performed in renameModuleForThinLTO()
44001e32130SMehdi Amini     StringMap<FunctionImporter::ImportMapTy> ImportLists;
44101e32130SMehdi Amini     StringMap<FunctionImporter::ExportSetTy> ExportLists;
44201e32130SMehdi Amini     ComputeCrossModuleImport(*Index, ImportLists, ExportLists);
44301e32130SMehdi Amini     auto &ImportList = ImportLists[M.getModuleIdentifier()];
44401e32130SMehdi Amini 
44501e32130SMehdi Amini     // Next we need to promote to global scope and rename any local values that
4461b00f2d9STeresa Johnson     // are potentially exported to other modules.
44701e32130SMehdi Amini     if (renameModuleForThinLTO(M, *Index, nullptr)) {
4481b00f2d9STeresa Johnson       errs() << "Error renaming module\n";
4491b00f2d9STeresa Johnson       return false;
4501b00f2d9STeresa Johnson     }
4511b00f2d9STeresa Johnson 
45242418abaSMehdi Amini     // Perform the import now.
453d16c8065SMehdi Amini     auto ModuleLoader = [&M](StringRef Identifier) {
454d16c8065SMehdi Amini       return loadFile(Identifier, M.getContext());
455d16c8065SMehdi Amini     };
4569d2bfc48SRafael Espindola     FunctionImporter Importer(*Index, ModuleLoader);
45701e32130SMehdi Amini     return Importer.importFunctions(M, ImportList);
45842418abaSMehdi Amini   }
45942418abaSMehdi Amini };
460fe2b5415SBenjamin Kramer } // anonymous namespace
46142418abaSMehdi Amini 
46242418abaSMehdi Amini char FunctionImportPass::ID = 0;
46342418abaSMehdi Amini INITIALIZE_PASS_BEGIN(FunctionImportPass, "function-import",
46442418abaSMehdi Amini                       "Summary Based Function Import", false, false)
46542418abaSMehdi Amini INITIALIZE_PASS_END(FunctionImportPass, "function-import",
46642418abaSMehdi Amini                     "Summary Based Function Import", false, false)
46742418abaSMehdi Amini 
46842418abaSMehdi Amini namespace llvm {
46926ab5772STeresa Johnson Pass *createFunctionImportPass(const ModuleSummaryIndex *Index = nullptr) {
4705fcbdb71STeresa Johnson   return new FunctionImportPass(Index);
4715fcbdb71STeresa Johnson }
47242418abaSMehdi Amini }
473