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