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"
17d29478f7STeresa Johnson #include "llvm/ADT/Statistic.h"
1842418abaSMehdi Amini #include "llvm/ADT/StringSet.h"
1942418abaSMehdi Amini #include "llvm/IR/AutoUpgrade.h"
2042418abaSMehdi Amini #include "llvm/IR/DiagnosticPrinter.h"
2142418abaSMehdi Amini #include "llvm/IR/IntrinsicInst.h"
2242418abaSMehdi Amini #include "llvm/IR/Module.h"
2342418abaSMehdi Amini #include "llvm/IRReader/IRReader.h"
2442418abaSMehdi Amini #include "llvm/Linker/Linker.h"
2526ab5772STeresa Johnson #include "llvm/Object/ModuleSummaryIndexObjectFile.h"
2642418abaSMehdi Amini #include "llvm/Support/CommandLine.h"
2742418abaSMehdi Amini #include "llvm/Support/Debug.h"
2842418abaSMehdi Amini #include "llvm/Support/SourceMgr.h"
29488a800aSTeresa Johnson #include "llvm/Transforms/Utils/FunctionImportUtils.h"
307e88d0daSMehdi Amini 
3101e32130SMehdi Amini #define DEBUG_TYPE "function-import"
327e88d0daSMehdi Amini 
3342418abaSMehdi Amini using namespace llvm;
3442418abaSMehdi Amini 
35d29478f7STeresa Johnson STATISTIC(NumImported, "Number of functions imported");
36d29478f7STeresa Johnson 
3739303619STeresa Johnson /// Limit on instruction count of imported functions.
3839303619STeresa Johnson static cl::opt<unsigned> ImportInstrLimit(
3939303619STeresa Johnson     "import-instr-limit", cl::init(100), cl::Hidden, cl::value_desc("N"),
4039303619STeresa Johnson     cl::desc("Only import functions with less than N instructions"));
4139303619STeresa Johnson 
4240641748SMehdi Amini static cl::opt<float>
4340641748SMehdi Amini     ImportInstrFactor("import-instr-evolution-factor", cl::init(0.7),
4440641748SMehdi Amini                       cl::Hidden, cl::value_desc("x"),
4540641748SMehdi Amini                       cl::desc("As we import functions, multiply the "
4640641748SMehdi Amini                                "`import-instr-limit` threshold by this factor "
4740641748SMehdi Amini                                "before processing newly imported functions"));
4840641748SMehdi Amini 
49d29478f7STeresa Johnson static cl::opt<bool> PrintImports("print-imports", cl::init(false), cl::Hidden,
50d29478f7STeresa Johnson                                   cl::desc("Print imported functions"));
51d29478f7STeresa Johnson 
5242418abaSMehdi Amini // Load lazily a module from \p FileName in \p Context.
5342418abaSMehdi Amini static std::unique_ptr<Module> loadFile(const std::string &FileName,
5442418abaSMehdi Amini                                         LLVMContext &Context) {
5542418abaSMehdi Amini   SMDiagnostic Err;
5642418abaSMehdi Amini   DEBUG(dbgs() << "Loading '" << FileName << "'\n");
576cba37ceSTeresa Johnson   // Metadata isn't loaded until functions are imported, to minimize
586cba37ceSTeresa Johnson   // the memory overhead.
59a1080ee6STeresa Johnson   std::unique_ptr<Module> Result =
60a1080ee6STeresa Johnson       getLazyIRFileModule(FileName, Err, Context,
61a1080ee6STeresa Johnson                           /* ShouldLazyLoadMetadata = */ true);
6242418abaSMehdi Amini   if (!Result) {
6342418abaSMehdi Amini     Err.print("function-import", errs());
64d7ad221cSMehdi Amini     report_fatal_error("Abort");
6542418abaSMehdi Amini   }
6642418abaSMehdi Amini 
6742418abaSMehdi Amini   return Result;
6842418abaSMehdi Amini }
6942418abaSMehdi Amini 
707e88d0daSMehdi Amini namespace {
7140641748SMehdi Amini 
7201e32130SMehdi Amini /// Given a list of possible callee implementation for a call site, select one
7301e32130SMehdi Amini /// that fits the \p Threshold.
7401e32130SMehdi Amini ///
7501e32130SMehdi Amini /// FIXME: select "best" instead of first that fits. But what is "best"?
7601e32130SMehdi Amini /// - The smallest: more likely to be inlined.
7701e32130SMehdi Amini /// - The one with the least outgoing edges (already well optimized).
7801e32130SMehdi Amini /// - One from a module already being imported from in order to reduce the
7901e32130SMehdi Amini ///   number of source modules parsed/linked.
8001e32130SMehdi Amini /// - One that has PGO data attached.
8101e32130SMehdi Amini /// - [insert you fancy metric here]
82*2d28f7aaSMehdi Amini static const GlobalValueSummary *
8301e32130SMehdi Amini selectCallee(const GlobalValueInfoList &CalleeInfoList, unsigned Threshold) {
8401e32130SMehdi Amini   auto It = llvm::find_if(
8501e32130SMehdi Amini       CalleeInfoList, [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) {
8601e32130SMehdi Amini         assert(GlobInfo->summary() &&
8701e32130SMehdi Amini                "We should not have a Global Info without summary");
88*2d28f7aaSMehdi Amini         auto *GVSummary = GlobInfo->summary();
89*2d28f7aaSMehdi Amini         if (auto *AS = dyn_cast<AliasSummary>(GVSummary))
90*2d28f7aaSMehdi Amini           GVSummary = &AS->getAliasee();
91*2d28f7aaSMehdi Amini         auto *Summary = cast<FunctionSummary>(GVSummary);
9240641748SMehdi Amini 
9301e32130SMehdi Amini         if (GlobalValue::isWeakAnyLinkage(Summary->linkage()))
9401e32130SMehdi Amini           return false;
957e88d0daSMehdi Amini 
9601e32130SMehdi Amini         if (Summary->instCount() > Threshold)
9701e32130SMehdi Amini           return false;
987e88d0daSMehdi Amini 
9901e32130SMehdi Amini         return true;
10001e32130SMehdi Amini       });
10101e32130SMehdi Amini   if (It == CalleeInfoList.end())
10201e32130SMehdi Amini     return nullptr;
1037e88d0daSMehdi Amini 
104*2d28f7aaSMehdi Amini   return cast<GlobalValueSummary>((*It)->summary());
105434e9561SRafael Espindola }
1067e88d0daSMehdi Amini 
10701e32130SMehdi Amini /// Return the summary for the function \p GUID that fits the \p Threshold, or
10801e32130SMehdi Amini /// null if there's no match.
109*2d28f7aaSMehdi Amini static const GlobalValueSummary *selectCallee(GlobalValue::GUID GUID,
110ad5741b0SMehdi Amini                                               unsigned Threshold,
11101e32130SMehdi Amini                                               const ModuleSummaryIndex &Index) {
11201e32130SMehdi Amini   auto CalleeInfoList = Index.findGlobalValueInfoList(GUID);
11301e32130SMehdi Amini   if (CalleeInfoList == Index.end()) {
11401e32130SMehdi Amini     return nullptr; // This function does not have a summary
1157e88d0daSMehdi Amini   }
11601e32130SMehdi Amini   return selectCallee(CalleeInfoList->second, Threshold);
11701e32130SMehdi Amini }
1187e88d0daSMehdi Amini 
11901e32130SMehdi Amini /// Return true if the global \p GUID is exported by module \p ExportModulePath.
12001e32130SMehdi Amini static bool isGlobalExported(const ModuleSummaryIndex &Index,
121ad5741b0SMehdi Amini                              StringRef ExportModulePath,
122ad5741b0SMehdi Amini                              GlobalValue::GUID GUID) {
12301e32130SMehdi Amini   auto CalleeInfoList = Index.findGlobalValueInfoList(GUID);
12401e32130SMehdi Amini   if (CalleeInfoList == Index.end())
12501e32130SMehdi Amini     // This global does not have a summary, it is not part of the ThinLTO
12601e32130SMehdi Amini     // process
12701e32130SMehdi Amini     return false;
12801e32130SMehdi Amini   auto DefinedInCalleeModule = llvm::find_if(
12901e32130SMehdi Amini       CalleeInfoList->second,
13001e32130SMehdi Amini       [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) {
13101e32130SMehdi Amini         auto *Summary = GlobInfo->summary();
13201e32130SMehdi Amini         assert(Summary && "Unexpected GlobalValueInfo without summary");
13301e32130SMehdi Amini         return Summary->modulePath() == ExportModulePath;
13401e32130SMehdi Amini       });
13501e32130SMehdi Amini   return (DefinedInCalleeModule != CalleeInfoList->second.end());
13601e32130SMehdi Amini }
1377e88d0daSMehdi Amini 
13801e32130SMehdi Amini using EdgeInfo = std::pair<const FunctionSummary *, unsigned /* Threshold */>;
13901e32130SMehdi Amini 
14001e32130SMehdi Amini /// Compute the list of functions to import for a given caller. Mark these
14101e32130SMehdi Amini /// imported functions and the symbols they reference in their source module as
14201e32130SMehdi Amini /// exported from their source module.
14301e32130SMehdi Amini static void computeImportForFunction(
1443255eec1STeresa Johnson     const FunctionSummary &Summary, const ModuleSummaryIndex &Index,
1453255eec1STeresa Johnson     unsigned Threshold,
146*2d28f7aaSMehdi Amini     const std::map<GlobalValue::GUID, GlobalValueSummary *> &DefinedFunctions,
14701e32130SMehdi Amini     SmallVectorImpl<EdgeInfo> &Worklist,
14801e32130SMehdi Amini     FunctionImporter::ImportMapTy &ImportsForModule,
149c86af334STeresa Johnson     StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) {
15001e32130SMehdi Amini   for (auto &Edge : Summary.calls()) {
1512d5487cfSTeresa Johnson     auto GUID = Edge.first.getGUID();
15201e32130SMehdi Amini     DEBUG(dbgs() << " edge -> " << GUID << " Threshold:" << Threshold << "\n");
15301e32130SMehdi Amini 
15401e32130SMehdi Amini     if (DefinedFunctions.count(GUID)) {
15501e32130SMehdi Amini       DEBUG(dbgs() << "ignored! Target already in destination module.\n");
1567e88d0daSMehdi Amini       continue;
157d450da32STeresa Johnson     }
15840641748SMehdi Amini 
15901e32130SMehdi Amini     auto *CalleeSummary = selectCallee(GUID, Threshold, Index);
16001e32130SMehdi Amini     if (!CalleeSummary) {
16101e32130SMehdi Amini       DEBUG(dbgs() << "ignored! No qualifying callee with summary found.\n");
1627e88d0daSMehdi Amini       continue;
1637e88d0daSMehdi Amini     }
164*2d28f7aaSMehdi Amini     // "Resolve" the summary, traversing alias,
165*2d28f7aaSMehdi Amini     const FunctionSummary *ResolvedCalleeSummary;
166*2d28f7aaSMehdi Amini     if (isa<AliasSummary>(CalleeSummary))
167*2d28f7aaSMehdi Amini       ResolvedCalleeSummary = cast<FunctionSummary>(
168*2d28f7aaSMehdi Amini           &cast<AliasSummary>(CalleeSummary)->getAliasee());
169*2d28f7aaSMehdi Amini     else
170*2d28f7aaSMehdi Amini       ResolvedCalleeSummary = cast<FunctionSummary>(CalleeSummary);
171*2d28f7aaSMehdi Amini 
172*2d28f7aaSMehdi Amini     assert(ResolvedCalleeSummary->instCount() <= Threshold &&
17301e32130SMehdi Amini            "selectCallee() didn't honor the threshold");
17401e32130SMehdi Amini 
175*2d28f7aaSMehdi Amini     auto ExportModulePath = ResolvedCalleeSummary->modulePath();
176*2d28f7aaSMehdi Amini     auto &ProcessedThreshold = ImportsForModule[ExportModulePath][GUID];
17701e32130SMehdi Amini     /// Since the traversal of the call graph is DFS, we can revisit a function
17801e32130SMehdi Amini     /// a second time with a higher threshold. In this case, it is added back to
17901e32130SMehdi Amini     /// the worklist with the new threshold.
18001e32130SMehdi Amini     if (ProcessedThreshold && ProcessedThreshold > Threshold) {
18101e32130SMehdi Amini       DEBUG(dbgs() << "ignored! Target was already seen with Threshold "
18201e32130SMehdi Amini                    << ProcessedThreshold << "\n");
18301e32130SMehdi Amini       continue;
18401e32130SMehdi Amini     }
18501e32130SMehdi Amini     // Mark this function as imported in this module, with the current Threshold
18601e32130SMehdi Amini     ProcessedThreshold = Threshold;
18701e32130SMehdi Amini 
18801e32130SMehdi Amini     // Make exports in the source module.
189c86af334STeresa Johnson     if (ExportLists) {
190ef7555fbSMehdi Amini       auto &ExportList = (*ExportLists)[ExportModulePath];
19101e32130SMehdi Amini       ExportList.insert(GUID);
192c86af334STeresa Johnson       // Mark all functions and globals referenced by this function as exported
193c86af334STeresa Johnson       // to the outside if they are defined in the same source module.
194*2d28f7aaSMehdi Amini       for (auto &Edge : ResolvedCalleeSummary->calls()) {
1952d5487cfSTeresa Johnson         auto CalleeGUID = Edge.first.getGUID();
19601e32130SMehdi Amini         if (isGlobalExported(Index, ExportModulePath, CalleeGUID))
19701e32130SMehdi Amini           ExportList.insert(CalleeGUID);
19801e32130SMehdi Amini       }
199*2d28f7aaSMehdi Amini       for (auto &Ref : ResolvedCalleeSummary->refs()) {
2002d5487cfSTeresa Johnson         auto GUID = Ref.getGUID();
20101e32130SMehdi Amini         if (isGlobalExported(Index, ExportModulePath, GUID))
20201e32130SMehdi Amini           ExportList.insert(GUID);
2037e88d0daSMehdi Amini       }
204c86af334STeresa Johnson     }
2057e88d0daSMehdi Amini 
20601e32130SMehdi Amini     // Insert the newly imported function to the worklist.
207*2d28f7aaSMehdi Amini     Worklist.push_back(std::make_pair(ResolvedCalleeSummary, Threshold));
208d450da32STeresa Johnson   }
209d450da32STeresa Johnson }
210d450da32STeresa Johnson 
21101e32130SMehdi Amini /// Given the list of globals defined in a module, compute the list of imports
21201e32130SMehdi Amini /// as well as the list of "exports", i.e. the list of symbols referenced from
21301e32130SMehdi Amini /// another module (that may require promotion).
21401e32130SMehdi Amini static void ComputeImportForModule(
215*2d28f7aaSMehdi Amini     const std::map<GlobalValue::GUID, GlobalValueSummary *> &DefinedFunctions,
21626ab5772STeresa Johnson     const ModuleSummaryIndex &Index,
21701e32130SMehdi Amini     FunctionImporter::ImportMapTy &ImportsForModule,
218c86af334STeresa Johnson     StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) {
21901e32130SMehdi Amini   // Worklist contains the list of function imported in this module, for which
22001e32130SMehdi Amini   // we will analyse the callees and may import further down the callgraph.
22101e32130SMehdi Amini   SmallVector<EdgeInfo, 128> Worklist;
22201e32130SMehdi Amini 
22301e32130SMehdi Amini   // Populate the worklist with the import for the functions in the current
22401e32130SMehdi Amini   // module
22501e32130SMehdi Amini   for (auto &FuncInfo : DefinedFunctions) {
22601e32130SMehdi Amini     auto *Summary = FuncInfo.second;
227*2d28f7aaSMehdi Amini     if (auto *AS = dyn_cast<AliasSummary>(Summary))
228*2d28f7aaSMehdi Amini       Summary = &AS->getAliasee();
229*2d28f7aaSMehdi Amini     auto *FuncSummary = cast<FunctionSummary>(Summary);
23001e32130SMehdi Amini     DEBUG(dbgs() << "Initalize import for " << FuncInfo.first << "\n");
231*2d28f7aaSMehdi Amini     computeImportForFunction(*FuncSummary, Index, ImportInstrLimit,
23201e32130SMehdi Amini                              DefinedFunctions, Worklist, ImportsForModule,
23301e32130SMehdi Amini                              ExportLists);
23401e32130SMehdi Amini   }
23501e32130SMehdi Amini 
23642418abaSMehdi Amini   while (!Worklist.empty()) {
23701e32130SMehdi Amini     auto FuncInfo = Worklist.pop_back_val();
23801e32130SMehdi Amini     auto *Summary = FuncInfo.first;
23901e32130SMehdi Amini     auto Threshold = FuncInfo.second;
24042418abaSMehdi Amini 
2417e88d0daSMehdi Amini     // Process the newly imported functions and add callees to the worklist.
24240641748SMehdi Amini     // Adjust the threshold
24340641748SMehdi Amini     Threshold = Threshold * ImportInstrFactor;
24401e32130SMehdi Amini 
2453255eec1STeresa Johnson     computeImportForFunction(*Summary, Index, Threshold, DefinedFunctions,
2463255eec1STeresa Johnson                              Worklist, ImportsForModule, ExportLists);
247c8c55170SMehdi Amini   }
24842418abaSMehdi Amini }
249ffe2e4aaSMehdi Amini 
25001e32130SMehdi Amini } // anonymous namespace
25101e32130SMehdi Amini 
252c86af334STeresa Johnson /// Compute all the import and export for every module using the Index.
25301e32130SMehdi Amini void llvm::ComputeCrossModuleImport(
25401e32130SMehdi Amini     const ModuleSummaryIndex &Index,
25501e32130SMehdi Amini     StringMap<FunctionImporter::ImportMapTy> &ImportLists,
25601e32130SMehdi Amini     StringMap<FunctionImporter::ExportSetTy> &ExportLists) {
25701e32130SMehdi Amini   auto ModuleCount = Index.modulePaths().size();
25801e32130SMehdi Amini 
25901e32130SMehdi Amini   // Collect for each module the list of function it defines.
26001e32130SMehdi Amini   // GUID -> Summary
261*2d28f7aaSMehdi Amini   StringMap<std::map<GlobalValue::GUID, GlobalValueSummary *>>
262ad5741b0SMehdi Amini       Module2FunctionInfoMap(ModuleCount);
26301e32130SMehdi Amini 
26401e32130SMehdi Amini   for (auto &GlobalList : Index) {
26501e32130SMehdi Amini     auto GUID = GlobalList.first;
26601e32130SMehdi Amini     for (auto &GlobInfo : GlobalList.second) {
267*2d28f7aaSMehdi Amini       auto *Summary = GlobInfo->summary();
268*2d28f7aaSMehdi Amini       if (isa<GlobalVarSummary>(Summary))
26901e32130SMehdi Amini         /// Ignore global variable, focus on functions
27001e32130SMehdi Amini         continue;
271*2d28f7aaSMehdi Amini       if (auto *AS = dyn_cast<AliasSummary>(Summary))
272*2d28f7aaSMehdi Amini         if (isa<GlobalVarSummary>(&AS->getAliasee()))
273*2d28f7aaSMehdi Amini           /// Ignore alias to global variable, focus on functions
274*2d28f7aaSMehdi Amini           continue;
27501e32130SMehdi Amini       DEBUG(dbgs() << "Adding definition: Module '" << Summary->modulePath()
27601e32130SMehdi Amini                    << "' defines '" << GUID << "'\n");
27701e32130SMehdi Amini       Module2FunctionInfoMap[Summary->modulePath()][GUID] = Summary;
27801e32130SMehdi Amini     }
27901e32130SMehdi Amini   }
28001e32130SMehdi Amini 
28101e32130SMehdi Amini   // For each module that has function defined, compute the import/export lists.
28201e32130SMehdi Amini   for (auto &DefinedFunctions : Module2FunctionInfoMap) {
28301e32130SMehdi Amini     auto &ImportsForModule = ImportLists[DefinedFunctions.first()];
28401e32130SMehdi Amini     DEBUG(dbgs() << "Computing import for Module '" << DefinedFunctions.first()
28501e32130SMehdi Amini                  << "'\n");
2863255eec1STeresa Johnson     ComputeImportForModule(DefinedFunctions.second, Index, ImportsForModule,
287c86af334STeresa Johnson                            &ExportLists);
28801e32130SMehdi Amini   }
28901e32130SMehdi Amini 
29001e32130SMehdi Amini #ifndef NDEBUG
29101e32130SMehdi Amini   DEBUG(dbgs() << "Import/Export lists for " << ImportLists.size()
29201e32130SMehdi Amini                << " modules:\n");
29301e32130SMehdi Amini   for (auto &ModuleImports : ImportLists) {
29401e32130SMehdi Amini     auto ModName = ModuleImports.first();
29501e32130SMehdi Amini     auto &Exports = ExportLists[ModName];
29601e32130SMehdi Amini     DEBUG(dbgs() << "* Module " << ModName << " exports " << Exports.size()
29701e32130SMehdi Amini                  << " functions. Imports from " << ModuleImports.second.size()
29801e32130SMehdi Amini                  << " modules.\n");
29901e32130SMehdi Amini     for (auto &Src : ModuleImports.second) {
30001e32130SMehdi Amini       auto SrcModName = Src.first();
30101e32130SMehdi Amini       DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from "
30201e32130SMehdi Amini                    << SrcModName << "\n");
30301e32130SMehdi Amini     }
30401e32130SMehdi Amini   }
30501e32130SMehdi Amini #endif
30601e32130SMehdi Amini }
30701e32130SMehdi Amini 
308c86af334STeresa Johnson /// Compute all the imports for the given module in the Index.
309c86af334STeresa Johnson void llvm::ComputeCrossModuleImportForModule(
310c86af334STeresa Johnson     StringRef ModulePath, const ModuleSummaryIndex &Index,
311c86af334STeresa Johnson     FunctionImporter::ImportMapTy &ImportList) {
312c86af334STeresa Johnson 
313c86af334STeresa Johnson   // Collect the list of functions this module defines.
314c86af334STeresa Johnson   // GUID -> Summary
315*2d28f7aaSMehdi Amini   std::map<GlobalValue::GUID, GlobalValueSummary *> FunctionInfoMap;
316c86af334STeresa Johnson   Index.collectDefinedFunctionsForModule(ModulePath, FunctionInfoMap);
317c86af334STeresa Johnson 
318c86af334STeresa Johnson   // Compute the import list for this module.
319c86af334STeresa Johnson   DEBUG(dbgs() << "Computing import for Module '" << ModulePath << "'\n");
320c86af334STeresa Johnson   ComputeImportForModule(FunctionInfoMap, Index, ImportList);
321c86af334STeresa Johnson 
322c86af334STeresa Johnson #ifndef NDEBUG
323c86af334STeresa Johnson   DEBUG(dbgs() << "* Module " << ModulePath << " imports from "
324c86af334STeresa Johnson                << ImportList.size() << " modules.\n");
325c86af334STeresa Johnson   for (auto &Src : ImportList) {
326c86af334STeresa Johnson     auto SrcModName = Src.first();
327c86af334STeresa Johnson     DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from "
328c86af334STeresa Johnson                  << SrcModName << "\n");
329c86af334STeresa Johnson   }
330c86af334STeresa Johnson #endif
331c86af334STeresa Johnson }
332c86af334STeresa Johnson 
333c8c55170SMehdi Amini // Automatically import functions in Module \p DestModule based on the summaries
334c8c55170SMehdi Amini // index.
335c8c55170SMehdi Amini //
33601e32130SMehdi Amini bool FunctionImporter::importFunctions(
33701e32130SMehdi Amini     Module &DestModule, const FunctionImporter::ImportMapTy &ImportList) {
3385411d051SMehdi Amini   DEBUG(dbgs() << "Starting import for Module "
339311fef6eSMehdi Amini                << DestModule.getModuleIdentifier() << "\n");
340c8c55170SMehdi Amini   unsigned ImportedCount = 0;
341c8c55170SMehdi Amini 
342c8c55170SMehdi Amini   // Linker that will be used for importing function
3439d2bfc48SRafael Espindola   Linker TheLinker(DestModule);
3447e88d0daSMehdi Amini   // Do the actual import of functions now, one Module at a time
34501e32130SMehdi Amini   std::set<StringRef> ModuleNameOrderedList;
34601e32130SMehdi Amini   for (auto &FunctionsToImportPerModule : ImportList) {
34701e32130SMehdi Amini     ModuleNameOrderedList.insert(FunctionsToImportPerModule.first());
34801e32130SMehdi Amini   }
34901e32130SMehdi Amini   for (auto &Name : ModuleNameOrderedList) {
3507e88d0daSMehdi Amini     // Get the module for the import
35101e32130SMehdi Amini     const auto &FunctionsToImportPerModule = ImportList.find(Name);
35201e32130SMehdi Amini     assert(FunctionsToImportPerModule != ImportList.end());
35301e32130SMehdi Amini     std::unique_ptr<Module> SrcModule = ModuleLoader(Name);
3547e88d0daSMehdi Amini     assert(&DestModule.getContext() == &SrcModule->getContext() &&
3557e88d0daSMehdi Amini            "Context mismatch");
3567e88d0daSMehdi Amini 
3576cba37ceSTeresa Johnson     // If modules were created with lazy metadata loading, materialize it
3586cba37ceSTeresa Johnson     // now, before linking it (otherwise this will be a noop).
3596cba37ceSTeresa Johnson     SrcModule->materializeMetadata();
3606cba37ceSTeresa Johnson     UpgradeDebugInfo(*SrcModule);
361e5a61917STeresa Johnson 
36201e32130SMehdi Amini     auto &ImportGUIDs = FunctionsToImportPerModule->second;
36301e32130SMehdi Amini     // Find the globals to import
36401e32130SMehdi Amini     DenseSet<const GlobalValue *> GlobalsToImport;
36501e32130SMehdi Amini     for (auto &GV : *SrcModule) {
3660beb858eSTeresa Johnson       if (!GV.hasName())
3670beb858eSTeresa Johnson         continue;
3680beb858eSTeresa Johnson       auto GUID = GV.getGUID();
3690beb858eSTeresa Johnson       auto Import = ImportGUIDs.count(GUID);
3700beb858eSTeresa Johnson       DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " "
3710beb858eSTeresa Johnson                    << GV.getName() << " from " << SrcModule->getSourceFileName()
3720beb858eSTeresa Johnson                    << "\n");
3730beb858eSTeresa Johnson       if (Import) {
37401e32130SMehdi Amini         GV.materialize();
37501e32130SMehdi Amini         GlobalsToImport.insert(&GV);
37601e32130SMehdi Amini       }
37701e32130SMehdi Amini     }
378*2d28f7aaSMehdi Amini     for (auto &GV : SrcModule->globals()) {
379*2d28f7aaSMehdi Amini       if (!GV.hasName())
380*2d28f7aaSMehdi Amini         continue;
381*2d28f7aaSMehdi Amini       auto GUID = GV.getGUID();
382*2d28f7aaSMehdi Amini       auto Import = ImportGUIDs.count(GUID);
383*2d28f7aaSMehdi Amini       DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " "
384*2d28f7aaSMehdi Amini                    << GV.getName() << " from " << SrcModule->getSourceFileName()
385*2d28f7aaSMehdi Amini                    << "\n");
386*2d28f7aaSMehdi Amini       if (Import) {
387*2d28f7aaSMehdi Amini         GV.materialize();
388*2d28f7aaSMehdi Amini         GlobalsToImport.insert(&GV);
389*2d28f7aaSMehdi Amini       }
390*2d28f7aaSMehdi Amini     }
39101e32130SMehdi Amini     for (auto &GV : SrcModule->aliases()) {
39201e32130SMehdi Amini       if (!GV.hasName())
39301e32130SMehdi Amini         continue;
39401e32130SMehdi Amini       auto GUID = GV.getGUID();
3950beb858eSTeresa Johnson       auto Import = ImportGUIDs.count(GUID);
3960beb858eSTeresa Johnson       DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " "
3970beb858eSTeresa Johnson                    << GV.getName() << " from " << SrcModule->getSourceFileName()
3980beb858eSTeresa Johnson                    << "\n");
3990beb858eSTeresa Johnson       if (Import) {
40001e32130SMehdi Amini         // Alias can't point to "available_externally". However when we import
4019aae395fSTeresa Johnson         // linkOnceODR the linkage does not change. So we import the alias
4029aae395fSTeresa Johnson         // and aliasee only in this case.
403*2d28f7aaSMehdi Amini         GlobalObject *GO = GV.getBaseObject();
40401e32130SMehdi Amini         if (!GO->hasLinkOnceODRLinkage())
40501e32130SMehdi Amini           continue;
406*2d28f7aaSMehdi Amini #ifndef NDEBUG
407*2d28f7aaSMehdi Amini         if (!GlobalsToImport.count(GO))
408*2d28f7aaSMehdi Amini           DEBUG(dbgs() << " alias triggers importing aliasee " << GO->getGUID()
409*2d28f7aaSMehdi Amini                        << " " << GO->getName() << " from "
410*2d28f7aaSMehdi Amini                        << SrcModule->getSourceFileName() << "\n");
411*2d28f7aaSMehdi Amini #endif
412*2d28f7aaSMehdi Amini         GO->materialize();
41301e32130SMehdi Amini         GlobalsToImport.insert(GO);
41401e32130SMehdi Amini         GV.materialize();
41501e32130SMehdi Amini         GlobalsToImport.insert(&GV);
41601e32130SMehdi Amini       }
41701e32130SMehdi Amini     }
41801e32130SMehdi Amini 
4197e88d0daSMehdi Amini     // Link in the specified functions.
42001e32130SMehdi Amini     if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport))
4218d05185aSMehdi Amini       return true;
4228d05185aSMehdi Amini 
423d29478f7STeresa Johnson     if (PrintImports) {
424d29478f7STeresa Johnson       for (const auto *GV : GlobalsToImport)
425d29478f7STeresa Johnson         dbgs() << DestModule.getSourceFileName() << ": Import " << GV->getName()
426d29478f7STeresa Johnson                << " from " << SrcModule->getSourceFileName() << "\n";
427d29478f7STeresa Johnson     }
428d29478f7STeresa Johnson 
429434e9561SRafael Espindola     if (TheLinker.linkInModule(std::move(SrcModule), Linker::Flags::None,
43001e32130SMehdi Amini                                &GlobalsToImport))
4317e88d0daSMehdi Amini       report_fatal_error("Function Import: link error");
4327e88d0daSMehdi Amini 
43301e32130SMehdi Amini     ImportedCount += GlobalsToImport.size();
4347e88d0daSMehdi Amini   }
435e5a61917STeresa Johnson 
436d29478f7STeresa Johnson   NumImported += ImportedCount;
437d29478f7STeresa Johnson 
4387e88d0daSMehdi Amini   DEBUG(dbgs() << "Imported " << ImportedCount << " functions for Module "
439c8c55170SMehdi Amini                << DestModule.getModuleIdentifier() << "\n");
440c8c55170SMehdi Amini   return ImportedCount;
44142418abaSMehdi Amini }
44242418abaSMehdi Amini 
44342418abaSMehdi Amini /// Summary file to use for function importing when using -function-import from
44442418abaSMehdi Amini /// the command line.
44542418abaSMehdi Amini static cl::opt<std::string>
44642418abaSMehdi Amini     SummaryFile("summary-file",
44742418abaSMehdi Amini                 cl::desc("The summary file to use for function importing."));
44842418abaSMehdi Amini 
44942418abaSMehdi Amini static void diagnosticHandler(const DiagnosticInfo &DI) {
45042418abaSMehdi Amini   raw_ostream &OS = errs();
45142418abaSMehdi Amini   DiagnosticPrinterRawOStream DP(OS);
45242418abaSMehdi Amini   DI.print(DP);
45342418abaSMehdi Amini   OS << '\n';
45442418abaSMehdi Amini }
45542418abaSMehdi Amini 
45626ab5772STeresa Johnson /// Parse the summary index out of an IR file and return the summary
45742418abaSMehdi Amini /// index object if found, or nullptr if not.
45826ab5772STeresa Johnson static std::unique_ptr<ModuleSummaryIndex>
45926ab5772STeresa Johnson getModuleSummaryIndexForFile(StringRef Path, std::string &Error,
46042418abaSMehdi Amini                              DiagnosticHandlerFunction DiagnosticHandler) {
46142418abaSMehdi Amini   std::unique_ptr<MemoryBuffer> Buffer;
46242418abaSMehdi Amini   ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr =
46342418abaSMehdi Amini       MemoryBuffer::getFile(Path);
46442418abaSMehdi Amini   if (std::error_code EC = BufferOrErr.getError()) {
46542418abaSMehdi Amini     Error = EC.message();
46642418abaSMehdi Amini     return nullptr;
46742418abaSMehdi Amini   }
46842418abaSMehdi Amini   Buffer = std::move(BufferOrErr.get());
46926ab5772STeresa Johnson   ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr =
47026ab5772STeresa Johnson       object::ModuleSummaryIndexObjectFile::create(Buffer->getMemBufferRef(),
47142418abaSMehdi Amini                                                    DiagnosticHandler);
47242418abaSMehdi Amini   if (std::error_code EC = ObjOrErr.getError()) {
47342418abaSMehdi Amini     Error = EC.message();
47442418abaSMehdi Amini     return nullptr;
47542418abaSMehdi Amini   }
47642418abaSMehdi Amini   return (*ObjOrErr)->takeIndex();
47742418abaSMehdi Amini }
47842418abaSMehdi Amini 
479fe2b5415SBenjamin Kramer namespace {
48042418abaSMehdi Amini /// Pass that performs cross-module function import provided a summary file.
48142418abaSMehdi Amini class FunctionImportPass : public ModulePass {
48226ab5772STeresa Johnson   /// Optional module summary index to use for importing, otherwise
4835fcbdb71STeresa Johnson   /// the summary-file option must be specified.
48426ab5772STeresa Johnson   const ModuleSummaryIndex *Index;
48542418abaSMehdi Amini 
48642418abaSMehdi Amini public:
48742418abaSMehdi Amini   /// Pass identification, replacement for typeid
48842418abaSMehdi Amini   static char ID;
48942418abaSMehdi Amini 
4905fcbdb71STeresa Johnson   /// Specify pass name for debug output
491*2d28f7aaSMehdi Amini   const char *getPassName() const override { return "Function Importing"; }
4925fcbdb71STeresa Johnson 
49326ab5772STeresa Johnson   explicit FunctionImportPass(const ModuleSummaryIndex *Index = nullptr)
4945fcbdb71STeresa Johnson       : ModulePass(ID), Index(Index) {}
49542418abaSMehdi Amini 
49642418abaSMehdi Amini   bool runOnModule(Module &M) override {
4975fcbdb71STeresa Johnson     if (SummaryFile.empty() && !Index)
4985fcbdb71STeresa Johnson       report_fatal_error("error: -function-import requires -summary-file or "
4995fcbdb71STeresa Johnson                          "file from frontend\n");
50026ab5772STeresa Johnson     std::unique_ptr<ModuleSummaryIndex> IndexPtr;
5015fcbdb71STeresa Johnson     if (!SummaryFile.empty()) {
5025fcbdb71STeresa Johnson       if (Index)
5035fcbdb71STeresa Johnson         report_fatal_error("error: -summary-file and index from frontend\n");
50442418abaSMehdi Amini       std::string Error;
50526ab5772STeresa Johnson       IndexPtr =
50626ab5772STeresa Johnson           getModuleSummaryIndexForFile(SummaryFile, Error, diagnosticHandler);
5075fcbdb71STeresa Johnson       if (!IndexPtr) {
5085fcbdb71STeresa Johnson         errs() << "Error loading file '" << SummaryFile << "': " << Error
5095fcbdb71STeresa Johnson                << "\n";
51042418abaSMehdi Amini         return false;
51142418abaSMehdi Amini       }
5125fcbdb71STeresa Johnson       Index = IndexPtr.get();
5135fcbdb71STeresa Johnson     }
51442418abaSMehdi Amini 
515c86af334STeresa Johnson     // First step is collecting the import list.
516c86af334STeresa Johnson     FunctionImporter::ImportMapTy ImportList;
517c86af334STeresa Johnson     ComputeCrossModuleImportForModule(M.getModuleIdentifier(), *Index,
518c86af334STeresa Johnson                                       ImportList);
51901e32130SMehdi Amini 
52001e32130SMehdi Amini     // Next we need to promote to global scope and rename any local values that
5211b00f2d9STeresa Johnson     // are potentially exported to other modules.
52201e32130SMehdi Amini     if (renameModuleForThinLTO(M, *Index, nullptr)) {
5231b00f2d9STeresa Johnson       errs() << "Error renaming module\n";
5241b00f2d9STeresa Johnson       return false;
5251b00f2d9STeresa Johnson     }
5261b00f2d9STeresa Johnson 
52742418abaSMehdi Amini     // Perform the import now.
528d16c8065SMehdi Amini     auto ModuleLoader = [&M](StringRef Identifier) {
529d16c8065SMehdi Amini       return loadFile(Identifier, M.getContext());
530d16c8065SMehdi Amini     };
5319d2bfc48SRafael Espindola     FunctionImporter Importer(*Index, ModuleLoader);
53201e32130SMehdi Amini     return Importer.importFunctions(M, ImportList);
53342418abaSMehdi Amini   }
53442418abaSMehdi Amini };
535fe2b5415SBenjamin Kramer } // anonymous namespace
53642418abaSMehdi Amini 
53742418abaSMehdi Amini char FunctionImportPass::ID = 0;
53842418abaSMehdi Amini INITIALIZE_PASS_BEGIN(FunctionImportPass, "function-import",
53942418abaSMehdi Amini                       "Summary Based Function Import", false, false)
54042418abaSMehdi Amini INITIALIZE_PASS_END(FunctionImportPass, "function-import",
54142418abaSMehdi Amini                     "Summary Based Function Import", false, false)
54242418abaSMehdi Amini 
54342418abaSMehdi Amini namespace llvm {
54426ab5772STeresa Johnson Pass *createFunctionImportPass(const ModuleSummaryIndex *Index = nullptr) {
5455fcbdb71STeresa Johnson   return new FunctionImportPass(Index);
5465fcbdb71STeresa Johnson }
54742418abaSMehdi Amini }
548