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 52*bda3c97cSMehdi Amini // Temporary allows the function import pass to disable always linking 53*bda3c97cSMehdi Amini // referenced discardable symbols. 54*bda3c97cSMehdi Amini static cl::opt<bool> 55*bda3c97cSMehdi Amini DontForceImportReferencedDiscardableSymbols("disable-force-link-odr", 56*bda3c97cSMehdi Amini cl::init(false), cl::Hidden); 57*bda3c97cSMehdi Amini 5842418abaSMehdi Amini // Load lazily a module from \p FileName in \p Context. 5942418abaSMehdi Amini static std::unique_ptr<Module> loadFile(const std::string &FileName, 6042418abaSMehdi Amini LLVMContext &Context) { 6142418abaSMehdi Amini SMDiagnostic Err; 6242418abaSMehdi Amini DEBUG(dbgs() << "Loading '" << FileName << "'\n"); 636cba37ceSTeresa Johnson // Metadata isn't loaded until functions are imported, to minimize 646cba37ceSTeresa Johnson // the memory overhead. 65a1080ee6STeresa Johnson std::unique_ptr<Module> Result = 66a1080ee6STeresa Johnson getLazyIRFileModule(FileName, Err, Context, 67a1080ee6STeresa Johnson /* ShouldLazyLoadMetadata = */ true); 6842418abaSMehdi Amini if (!Result) { 6942418abaSMehdi Amini Err.print("function-import", errs()); 70d7ad221cSMehdi Amini report_fatal_error("Abort"); 7142418abaSMehdi Amini } 7242418abaSMehdi Amini 7342418abaSMehdi Amini return Result; 7442418abaSMehdi Amini } 7542418abaSMehdi Amini 767e88d0daSMehdi Amini namespace { 7740641748SMehdi Amini 7801e32130SMehdi Amini /// Given a list of possible callee implementation for a call site, select one 7901e32130SMehdi Amini /// that fits the \p Threshold. 8001e32130SMehdi Amini /// 8101e32130SMehdi Amini /// FIXME: select "best" instead of first that fits. But what is "best"? 8201e32130SMehdi Amini /// - The smallest: more likely to be inlined. 8301e32130SMehdi Amini /// - The one with the least outgoing edges (already well optimized). 8401e32130SMehdi Amini /// - One from a module already being imported from in order to reduce the 8501e32130SMehdi Amini /// number of source modules parsed/linked. 8601e32130SMehdi Amini /// - One that has PGO data attached. 8701e32130SMehdi Amini /// - [insert you fancy metric here] 882d28f7aaSMehdi Amini static const GlobalValueSummary * 8901e32130SMehdi Amini selectCallee(const GlobalValueInfoList &CalleeInfoList, unsigned Threshold) { 9001e32130SMehdi Amini auto It = llvm::find_if( 9101e32130SMehdi Amini CalleeInfoList, [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) { 9201e32130SMehdi Amini assert(GlobInfo->summary() && 9301e32130SMehdi Amini "We should not have a Global Info without summary"); 942d28f7aaSMehdi Amini auto *GVSummary = GlobInfo->summary(); 952c719cc1SMehdi Amini if (GlobalValue::isWeakAnyLinkage(GVSummary->linkage())) 962c719cc1SMehdi Amini // There is no point in importing weak symbols, we can't inline them 9701e32130SMehdi Amini return false; 982c719cc1SMehdi Amini if (auto *AS = dyn_cast<AliasSummary>(GVSummary)) { 992c719cc1SMehdi Amini GVSummary = &AS->getAliasee(); 1002c719cc1SMehdi Amini // Alias can't point to "available_externally". However when we import 1012c719cc1SMehdi Amini // linkOnceODR the linkage does not change. So we import the alias 1022c719cc1SMehdi Amini // and aliasee only in this case. 1032c719cc1SMehdi Amini // FIXME: we should import alias as available_externally *function*, 1042c719cc1SMehdi Amini // the destination module does need to know it is an alias. 1052c719cc1SMehdi Amini if (!GlobalValue::isLinkOnceODRLinkage(GVSummary->linkage())) 1062c719cc1SMehdi Amini return false; 1072c719cc1SMehdi Amini } 1082c719cc1SMehdi Amini 1092c719cc1SMehdi Amini auto *Summary = cast<FunctionSummary>(GVSummary); 1107e88d0daSMehdi Amini 11101e32130SMehdi Amini if (Summary->instCount() > Threshold) 11201e32130SMehdi Amini return false; 1137e88d0daSMehdi Amini 11401e32130SMehdi Amini return true; 11501e32130SMehdi Amini }); 11601e32130SMehdi Amini if (It == CalleeInfoList.end()) 11701e32130SMehdi Amini return nullptr; 1187e88d0daSMehdi Amini 1192d28f7aaSMehdi Amini return cast<GlobalValueSummary>((*It)->summary()); 120434e9561SRafael Espindola } 1217e88d0daSMehdi Amini 12201e32130SMehdi Amini /// Return the summary for the function \p GUID that fits the \p Threshold, or 12301e32130SMehdi Amini /// null if there's no match. 1242d28f7aaSMehdi Amini static const GlobalValueSummary *selectCallee(GlobalValue::GUID GUID, 125ad5741b0SMehdi Amini unsigned Threshold, 12601e32130SMehdi Amini const ModuleSummaryIndex &Index) { 12701e32130SMehdi Amini auto CalleeInfoList = Index.findGlobalValueInfoList(GUID); 12801e32130SMehdi Amini if (CalleeInfoList == Index.end()) { 12901e32130SMehdi Amini return nullptr; // This function does not have a summary 1307e88d0daSMehdi Amini } 13101e32130SMehdi Amini return selectCallee(CalleeInfoList->second, Threshold); 13201e32130SMehdi Amini } 1337e88d0daSMehdi Amini 13401e32130SMehdi Amini /// Return true if the global \p GUID is exported by module \p ExportModulePath. 13501e32130SMehdi Amini static bool isGlobalExported(const ModuleSummaryIndex &Index, 136ad5741b0SMehdi Amini StringRef ExportModulePath, 137ad5741b0SMehdi Amini GlobalValue::GUID GUID) { 13801e32130SMehdi Amini auto CalleeInfoList = Index.findGlobalValueInfoList(GUID); 13901e32130SMehdi Amini if (CalleeInfoList == Index.end()) 14001e32130SMehdi Amini // This global does not have a summary, it is not part of the ThinLTO 14101e32130SMehdi Amini // process 14201e32130SMehdi Amini return false; 14301e32130SMehdi Amini auto DefinedInCalleeModule = llvm::find_if( 14401e32130SMehdi Amini CalleeInfoList->second, 14501e32130SMehdi Amini [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) { 14601e32130SMehdi Amini auto *Summary = GlobInfo->summary(); 14701e32130SMehdi Amini assert(Summary && "Unexpected GlobalValueInfo without summary"); 14801e32130SMehdi Amini return Summary->modulePath() == ExportModulePath; 14901e32130SMehdi Amini }); 15001e32130SMehdi Amini return (DefinedInCalleeModule != CalleeInfoList->second.end()); 15101e32130SMehdi Amini } 1527e88d0daSMehdi Amini 15301e32130SMehdi Amini using EdgeInfo = std::pair<const FunctionSummary *, unsigned /* Threshold */>; 15401e32130SMehdi Amini 15501e32130SMehdi Amini /// Compute the list of functions to import for a given caller. Mark these 15601e32130SMehdi Amini /// imported functions and the symbols they reference in their source module as 15701e32130SMehdi Amini /// exported from their source module. 15801e32130SMehdi Amini static void computeImportForFunction( 1593255eec1STeresa Johnson const FunctionSummary &Summary, const ModuleSummaryIndex &Index, 1603255eec1STeresa Johnson unsigned Threshold, 1611aafabf7SMehdi Amini const std::map<GlobalValue::GUID, GlobalValueSummary *> &DefinedGVSummaries, 16201e32130SMehdi Amini SmallVectorImpl<EdgeInfo> &Worklist, 16301e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 164c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 16501e32130SMehdi Amini for (auto &Edge : Summary.calls()) { 1662d5487cfSTeresa Johnson auto GUID = Edge.first.getGUID(); 16701e32130SMehdi Amini DEBUG(dbgs() << " edge -> " << GUID << " Threshold:" << Threshold << "\n"); 16801e32130SMehdi Amini 1691aafabf7SMehdi Amini if (DefinedGVSummaries.count(GUID)) { 17001e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target already in destination module.\n"); 1717e88d0daSMehdi Amini continue; 172d450da32STeresa Johnson } 17340641748SMehdi Amini 17401e32130SMehdi Amini auto *CalleeSummary = selectCallee(GUID, Threshold, Index); 17501e32130SMehdi Amini if (!CalleeSummary) { 17601e32130SMehdi Amini DEBUG(dbgs() << "ignored! No qualifying callee with summary found.\n"); 1777e88d0daSMehdi Amini continue; 1787e88d0daSMehdi Amini } 1792d28f7aaSMehdi Amini // "Resolve" the summary, traversing alias, 1802d28f7aaSMehdi Amini const FunctionSummary *ResolvedCalleeSummary; 1816968ef77SMehdi Amini if (isa<AliasSummary>(CalleeSummary)) { 1822d28f7aaSMehdi Amini ResolvedCalleeSummary = cast<FunctionSummary>( 1832d28f7aaSMehdi Amini &cast<AliasSummary>(CalleeSummary)->getAliasee()); 1842c719cc1SMehdi Amini assert( 1852c719cc1SMehdi Amini GlobalValue::isLinkOnceODRLinkage(ResolvedCalleeSummary->linkage()) && 1862c719cc1SMehdi Amini "Unexpected alias to a non-linkonceODR in import list"); 1876968ef77SMehdi Amini } else 1882d28f7aaSMehdi Amini ResolvedCalleeSummary = cast<FunctionSummary>(CalleeSummary); 1892d28f7aaSMehdi Amini 1902d28f7aaSMehdi Amini assert(ResolvedCalleeSummary->instCount() <= Threshold && 19101e32130SMehdi Amini "selectCallee() didn't honor the threshold"); 19201e32130SMehdi Amini 1932d28f7aaSMehdi Amini auto ExportModulePath = ResolvedCalleeSummary->modulePath(); 1942d28f7aaSMehdi Amini auto &ProcessedThreshold = ImportsForModule[ExportModulePath][GUID]; 19501e32130SMehdi Amini /// Since the traversal of the call graph is DFS, we can revisit a function 19601e32130SMehdi Amini /// a second time with a higher threshold. In this case, it is added back to 19701e32130SMehdi Amini /// the worklist with the new threshold. 19801e32130SMehdi Amini if (ProcessedThreshold && ProcessedThreshold > Threshold) { 19901e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target was already seen with Threshold " 20001e32130SMehdi Amini << ProcessedThreshold << "\n"); 20101e32130SMehdi Amini continue; 20201e32130SMehdi Amini } 20301e32130SMehdi Amini // Mark this function as imported in this module, with the current Threshold 20401e32130SMehdi Amini ProcessedThreshold = Threshold; 20501e32130SMehdi Amini 20601e32130SMehdi Amini // Make exports in the source module. 207c86af334STeresa Johnson if (ExportLists) { 208ef7555fbSMehdi Amini auto &ExportList = (*ExportLists)[ExportModulePath]; 20901e32130SMehdi Amini ExportList.insert(GUID); 210c86af334STeresa Johnson // Mark all functions and globals referenced by this function as exported 211c86af334STeresa Johnson // to the outside if they are defined in the same source module. 2122d28f7aaSMehdi Amini for (auto &Edge : ResolvedCalleeSummary->calls()) { 2132d5487cfSTeresa Johnson auto CalleeGUID = Edge.first.getGUID(); 21401e32130SMehdi Amini if (isGlobalExported(Index, ExportModulePath, CalleeGUID)) 21501e32130SMehdi Amini ExportList.insert(CalleeGUID); 21601e32130SMehdi Amini } 2172d28f7aaSMehdi Amini for (auto &Ref : ResolvedCalleeSummary->refs()) { 2182d5487cfSTeresa Johnson auto GUID = Ref.getGUID(); 21901e32130SMehdi Amini if (isGlobalExported(Index, ExportModulePath, GUID)) 22001e32130SMehdi Amini ExportList.insert(GUID); 2217e88d0daSMehdi Amini } 222c86af334STeresa Johnson } 2237e88d0daSMehdi Amini 22401e32130SMehdi Amini // Insert the newly imported function to the worklist. 2252d28f7aaSMehdi Amini Worklist.push_back(std::make_pair(ResolvedCalleeSummary, Threshold)); 226d450da32STeresa Johnson } 227d450da32STeresa Johnson } 228d450da32STeresa Johnson 22901e32130SMehdi Amini /// Given the list of globals defined in a module, compute the list of imports 23001e32130SMehdi Amini /// as well as the list of "exports", i.e. the list of symbols referenced from 23101e32130SMehdi Amini /// another module (that may require promotion). 23201e32130SMehdi Amini static void ComputeImportForModule( 2331aafabf7SMehdi Amini const std::map<GlobalValue::GUID, GlobalValueSummary *> &DefinedGVSummaries, 23426ab5772STeresa Johnson const ModuleSummaryIndex &Index, 23501e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 236c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 23701e32130SMehdi Amini // Worklist contains the list of function imported in this module, for which 23801e32130SMehdi Amini // we will analyse the callees and may import further down the callgraph. 23901e32130SMehdi Amini SmallVector<EdgeInfo, 128> Worklist; 24001e32130SMehdi Amini 24101e32130SMehdi Amini // Populate the worklist with the import for the functions in the current 24201e32130SMehdi Amini // module 2431aafabf7SMehdi Amini for (auto &GVInfo : DefinedGVSummaries) { 2441aafabf7SMehdi Amini auto *Summary = GVInfo.second; 2452d28f7aaSMehdi Amini if (auto *AS = dyn_cast<AliasSummary>(Summary)) 2462d28f7aaSMehdi Amini Summary = &AS->getAliasee(); 2471aafabf7SMehdi Amini auto *FuncSummary = dyn_cast<FunctionSummary>(Summary); 2481aafabf7SMehdi Amini if (!FuncSummary) 2491aafabf7SMehdi Amini // Skip import for global variables 2501aafabf7SMehdi Amini continue; 2511aafabf7SMehdi Amini DEBUG(dbgs() << "Initalize import for " << GVInfo.first << "\n"); 2522d28f7aaSMehdi Amini computeImportForFunction(*FuncSummary, Index, ImportInstrLimit, 2531aafabf7SMehdi Amini DefinedGVSummaries, Worklist, ImportsForModule, 25401e32130SMehdi Amini ExportLists); 25501e32130SMehdi Amini } 25601e32130SMehdi Amini 25742418abaSMehdi Amini while (!Worklist.empty()) { 25801e32130SMehdi Amini auto FuncInfo = Worklist.pop_back_val(); 25901e32130SMehdi Amini auto *Summary = FuncInfo.first; 26001e32130SMehdi Amini auto Threshold = FuncInfo.second; 26142418abaSMehdi Amini 2627e88d0daSMehdi Amini // Process the newly imported functions and add callees to the worklist. 26340641748SMehdi Amini // Adjust the threshold 26440641748SMehdi Amini Threshold = Threshold * ImportInstrFactor; 26501e32130SMehdi Amini 2661aafabf7SMehdi Amini computeImportForFunction(*Summary, Index, Threshold, DefinedGVSummaries, 2673255eec1STeresa Johnson Worklist, ImportsForModule, ExportLists); 268c8c55170SMehdi Amini } 26942418abaSMehdi Amini } 270ffe2e4aaSMehdi Amini 27101e32130SMehdi Amini } // anonymous namespace 27201e32130SMehdi Amini 273c86af334STeresa Johnson /// Compute all the import and export for every module using the Index. 27401e32130SMehdi Amini void llvm::ComputeCrossModuleImport( 27501e32130SMehdi Amini const ModuleSummaryIndex &Index, 2761aafabf7SMehdi Amini const StringMap<std::map<GlobalValue::GUID, GlobalValueSummary *>> & 2771aafabf7SMehdi Amini ModuleToDefinedGVSummaries, 27801e32130SMehdi Amini StringMap<FunctionImporter::ImportMapTy> &ImportLists, 27901e32130SMehdi Amini StringMap<FunctionImporter::ExportSetTy> &ExportLists) { 28001e32130SMehdi Amini // For each module that has function defined, compute the import/export lists. 2811aafabf7SMehdi Amini for (auto &DefinedGVSummaries : ModuleToDefinedGVSummaries) { 2821aafabf7SMehdi Amini auto &ImportsForModule = ImportLists[DefinedGVSummaries.first()]; 2831aafabf7SMehdi Amini DEBUG(dbgs() << "Computing import for Module '" 2841aafabf7SMehdi Amini << DefinedGVSummaries.first() << "'\n"); 2851aafabf7SMehdi Amini ComputeImportForModule(DefinedGVSummaries.second, Index, ImportsForModule, 286c86af334STeresa Johnson &ExportLists); 28701e32130SMehdi Amini } 28801e32130SMehdi Amini 28901e32130SMehdi Amini #ifndef NDEBUG 29001e32130SMehdi Amini DEBUG(dbgs() << "Import/Export lists for " << ImportLists.size() 29101e32130SMehdi Amini << " modules:\n"); 29201e32130SMehdi Amini for (auto &ModuleImports : ImportLists) { 29301e32130SMehdi Amini auto ModName = ModuleImports.first(); 29401e32130SMehdi Amini auto &Exports = ExportLists[ModName]; 29501e32130SMehdi Amini DEBUG(dbgs() << "* Module " << ModName << " exports " << Exports.size() 29601e32130SMehdi Amini << " functions. Imports from " << ModuleImports.second.size() 29701e32130SMehdi Amini << " modules.\n"); 29801e32130SMehdi Amini for (auto &Src : ModuleImports.second) { 29901e32130SMehdi Amini auto SrcModName = Src.first(); 30001e32130SMehdi Amini DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 30101e32130SMehdi Amini << SrcModName << "\n"); 30201e32130SMehdi Amini } 30301e32130SMehdi Amini } 30401e32130SMehdi Amini #endif 30501e32130SMehdi Amini } 30601e32130SMehdi Amini 307c86af334STeresa Johnson /// Compute all the imports for the given module in the Index. 308c86af334STeresa Johnson void llvm::ComputeCrossModuleImportForModule( 309c86af334STeresa Johnson StringRef ModulePath, const ModuleSummaryIndex &Index, 310c86af334STeresa Johnson FunctionImporter::ImportMapTy &ImportList) { 311c86af334STeresa Johnson 312c86af334STeresa Johnson // Collect the list of functions this module defines. 313c86af334STeresa Johnson // GUID -> Summary 3142d28f7aaSMehdi Amini std::map<GlobalValue::GUID, GlobalValueSummary *> FunctionInfoMap; 315c86af334STeresa Johnson Index.collectDefinedFunctionsForModule(ModulePath, FunctionInfoMap); 316c86af334STeresa Johnson 317c86af334STeresa Johnson // Compute the import list for this module. 318c86af334STeresa Johnson DEBUG(dbgs() << "Computing import for Module '" << ModulePath << "'\n"); 319c86af334STeresa Johnson ComputeImportForModule(FunctionInfoMap, Index, ImportList); 320c86af334STeresa Johnson 321c86af334STeresa Johnson #ifndef NDEBUG 322c86af334STeresa Johnson DEBUG(dbgs() << "* Module " << ModulePath << " imports from " 323c86af334STeresa Johnson << ImportList.size() << " modules.\n"); 324c86af334STeresa Johnson for (auto &Src : ImportList) { 325c86af334STeresa Johnson auto SrcModName = Src.first(); 326c86af334STeresa Johnson DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 327c86af334STeresa Johnson << SrcModName << "\n"); 328c86af334STeresa Johnson } 329c86af334STeresa Johnson #endif 330c86af334STeresa Johnson } 331c86af334STeresa Johnson 332c8c55170SMehdi Amini // Automatically import functions in Module \p DestModule based on the summaries 333c8c55170SMehdi Amini // index. 334c8c55170SMehdi Amini // 33501e32130SMehdi Amini bool FunctionImporter::importFunctions( 336*bda3c97cSMehdi Amini Module &DestModule, const FunctionImporter::ImportMapTy &ImportList, 337*bda3c97cSMehdi Amini bool ForceImportReferencedDiscardableSymbols) { 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); 370aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing function " << GUID 371aeb1e59bSMehdi Amini << " " << GV.getName() << " from " 372aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 3730beb858eSTeresa Johnson if (Import) { 37401e32130SMehdi Amini GV.materialize(); 37501e32130SMehdi Amini GlobalsToImport.insert(&GV); 37601e32130SMehdi Amini } 37701e32130SMehdi Amini } 3782d28f7aaSMehdi Amini for (auto &GV : SrcModule->globals()) { 3792d28f7aaSMehdi Amini if (!GV.hasName()) 3802d28f7aaSMehdi Amini continue; 3812d28f7aaSMehdi Amini auto GUID = GV.getGUID(); 3822d28f7aaSMehdi Amini auto Import = ImportGUIDs.count(GUID); 383aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing global " << GUID 384aeb1e59bSMehdi Amini << " " << GV.getName() << " from " 385aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 3862d28f7aaSMehdi Amini if (Import) { 3872d28f7aaSMehdi Amini GV.materialize(); 3882d28f7aaSMehdi Amini GlobalsToImport.insert(&GV); 3892d28f7aaSMehdi Amini } 3902d28f7aaSMehdi 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); 396aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing alias " << GUID 397aeb1e59bSMehdi Amini << " " << GV.getName() << " from " 398aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\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 4026968ef77SMehdi Amini // and aliasee only in this case. This has been handled by 4036968ef77SMehdi Amini // computeImportForFunction() 4042d28f7aaSMehdi Amini GlobalObject *GO = GV.getBaseObject(); 4056968ef77SMehdi Amini assert(GO->hasLinkOnceODRLinkage() && 4066968ef77SMehdi Amini "Unexpected alias to a non-linkonceODR in import list"); 4072d28f7aaSMehdi Amini #ifndef NDEBUG 4082d28f7aaSMehdi Amini if (!GlobalsToImport.count(GO)) 4092d28f7aaSMehdi Amini DEBUG(dbgs() << " alias triggers importing aliasee " << GO->getGUID() 4102d28f7aaSMehdi Amini << " " << GO->getName() << " from " 4112d28f7aaSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 4122d28f7aaSMehdi Amini #endif 4132d28f7aaSMehdi Amini GO->materialize(); 41401e32130SMehdi Amini GlobalsToImport.insert(GO); 41501e32130SMehdi Amini GV.materialize(); 41601e32130SMehdi Amini GlobalsToImport.insert(&GV); 41701e32130SMehdi Amini } 41801e32130SMehdi Amini } 41901e32130SMehdi Amini 4207e88d0daSMehdi Amini // Link in the specified functions. 42101e32130SMehdi Amini if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport)) 4228d05185aSMehdi Amini return true; 4238d05185aSMehdi Amini 424d29478f7STeresa Johnson if (PrintImports) { 425d29478f7STeresa Johnson for (const auto *GV : GlobalsToImport) 426d29478f7STeresa Johnson dbgs() << DestModule.getSourceFileName() << ": Import " << GV->getName() 427d29478f7STeresa Johnson << " from " << SrcModule->getSourceFileName() << "\n"; 428d29478f7STeresa Johnson } 429d29478f7STeresa Johnson 430*bda3c97cSMehdi Amini // Instruct the linker that the client will take care of linkonce resolution 431*bda3c97cSMehdi Amini unsigned Flags = Linker::Flags::None; 432*bda3c97cSMehdi Amini if (!ForceImportReferencedDiscardableSymbols) 433*bda3c97cSMehdi Amini Flags |= Linker::Flags::DontForceLinkLinkonceODR; 434*bda3c97cSMehdi Amini 435*bda3c97cSMehdi Amini if (TheLinker.linkInModule(std::move(SrcModule), Flags, &GlobalsToImport)) 4367e88d0daSMehdi Amini report_fatal_error("Function Import: link error"); 4377e88d0daSMehdi Amini 43801e32130SMehdi Amini ImportedCount += GlobalsToImport.size(); 4397e88d0daSMehdi Amini } 440e5a61917STeresa Johnson 441d29478f7STeresa Johnson NumImported += ImportedCount; 442d29478f7STeresa Johnson 4437e88d0daSMehdi Amini DEBUG(dbgs() << "Imported " << ImportedCount << " functions for Module " 444c8c55170SMehdi Amini << DestModule.getModuleIdentifier() << "\n"); 445c8c55170SMehdi Amini return ImportedCount; 44642418abaSMehdi Amini } 44742418abaSMehdi Amini 44842418abaSMehdi Amini /// Summary file to use for function importing when using -function-import from 44942418abaSMehdi Amini /// the command line. 45042418abaSMehdi Amini static cl::opt<std::string> 45142418abaSMehdi Amini SummaryFile("summary-file", 45242418abaSMehdi Amini cl::desc("The summary file to use for function importing.")); 45342418abaSMehdi Amini 45442418abaSMehdi Amini static void diagnosticHandler(const DiagnosticInfo &DI) { 45542418abaSMehdi Amini raw_ostream &OS = errs(); 45642418abaSMehdi Amini DiagnosticPrinterRawOStream DP(OS); 45742418abaSMehdi Amini DI.print(DP); 45842418abaSMehdi Amini OS << '\n'; 45942418abaSMehdi Amini } 46042418abaSMehdi Amini 46126ab5772STeresa Johnson /// Parse the summary index out of an IR file and return the summary 46242418abaSMehdi Amini /// index object if found, or nullptr if not. 46326ab5772STeresa Johnson static std::unique_ptr<ModuleSummaryIndex> 46426ab5772STeresa Johnson getModuleSummaryIndexForFile(StringRef Path, std::string &Error, 46542418abaSMehdi Amini DiagnosticHandlerFunction DiagnosticHandler) { 46642418abaSMehdi Amini std::unique_ptr<MemoryBuffer> Buffer; 46742418abaSMehdi Amini ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr = 46842418abaSMehdi Amini MemoryBuffer::getFile(Path); 46942418abaSMehdi Amini if (std::error_code EC = BufferOrErr.getError()) { 47042418abaSMehdi Amini Error = EC.message(); 47142418abaSMehdi Amini return nullptr; 47242418abaSMehdi Amini } 47342418abaSMehdi Amini Buffer = std::move(BufferOrErr.get()); 47426ab5772STeresa Johnson ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr = 47526ab5772STeresa Johnson object::ModuleSummaryIndexObjectFile::create(Buffer->getMemBufferRef(), 47642418abaSMehdi Amini DiagnosticHandler); 47742418abaSMehdi Amini if (std::error_code EC = ObjOrErr.getError()) { 47842418abaSMehdi Amini Error = EC.message(); 47942418abaSMehdi Amini return nullptr; 48042418abaSMehdi Amini } 48142418abaSMehdi Amini return (*ObjOrErr)->takeIndex(); 48242418abaSMehdi Amini } 48342418abaSMehdi Amini 484fe2b5415SBenjamin Kramer namespace { 48542418abaSMehdi Amini /// Pass that performs cross-module function import provided a summary file. 48642418abaSMehdi Amini class FunctionImportPass : public ModulePass { 48726ab5772STeresa Johnson /// Optional module summary index to use for importing, otherwise 4885fcbdb71STeresa Johnson /// the summary-file option must be specified. 48926ab5772STeresa Johnson const ModuleSummaryIndex *Index; 49042418abaSMehdi Amini 49142418abaSMehdi Amini public: 49242418abaSMehdi Amini /// Pass identification, replacement for typeid 49342418abaSMehdi Amini static char ID; 49442418abaSMehdi Amini 4955fcbdb71STeresa Johnson /// Specify pass name for debug output 4962d28f7aaSMehdi Amini const char *getPassName() const override { return "Function Importing"; } 4975fcbdb71STeresa Johnson 49826ab5772STeresa Johnson explicit FunctionImportPass(const ModuleSummaryIndex *Index = nullptr) 4995fcbdb71STeresa Johnson : ModulePass(ID), Index(Index) {} 50042418abaSMehdi Amini 50142418abaSMehdi Amini bool runOnModule(Module &M) override { 5025fcbdb71STeresa Johnson if (SummaryFile.empty() && !Index) 5035fcbdb71STeresa Johnson report_fatal_error("error: -function-import requires -summary-file or " 5045fcbdb71STeresa Johnson "file from frontend\n"); 50526ab5772STeresa Johnson std::unique_ptr<ModuleSummaryIndex> IndexPtr; 5065fcbdb71STeresa Johnson if (!SummaryFile.empty()) { 5075fcbdb71STeresa Johnson if (Index) 5085fcbdb71STeresa Johnson report_fatal_error("error: -summary-file and index from frontend\n"); 50942418abaSMehdi Amini std::string Error; 51026ab5772STeresa Johnson IndexPtr = 51126ab5772STeresa Johnson getModuleSummaryIndexForFile(SummaryFile, Error, diagnosticHandler); 5125fcbdb71STeresa Johnson if (!IndexPtr) { 5135fcbdb71STeresa Johnson errs() << "Error loading file '" << SummaryFile << "': " << Error 5145fcbdb71STeresa Johnson << "\n"; 51542418abaSMehdi Amini return false; 51642418abaSMehdi Amini } 5175fcbdb71STeresa Johnson Index = IndexPtr.get(); 5185fcbdb71STeresa Johnson } 51942418abaSMehdi Amini 520c86af334STeresa Johnson // First step is collecting the import list. 521c86af334STeresa Johnson FunctionImporter::ImportMapTy ImportList; 522c86af334STeresa Johnson ComputeCrossModuleImportForModule(M.getModuleIdentifier(), *Index, 523c86af334STeresa Johnson ImportList); 52401e32130SMehdi Amini 52501e32130SMehdi Amini // Next we need to promote to global scope and rename any local values that 5261b00f2d9STeresa Johnson // are potentially exported to other modules. 52701e32130SMehdi Amini if (renameModuleForThinLTO(M, *Index, nullptr)) { 5281b00f2d9STeresa Johnson errs() << "Error renaming module\n"; 5291b00f2d9STeresa Johnson return false; 5301b00f2d9STeresa Johnson } 5311b00f2d9STeresa Johnson 53242418abaSMehdi Amini // Perform the import now. 533d16c8065SMehdi Amini auto ModuleLoader = [&M](StringRef Identifier) { 534d16c8065SMehdi Amini return loadFile(Identifier, M.getContext()); 535d16c8065SMehdi Amini }; 5369d2bfc48SRafael Espindola FunctionImporter Importer(*Index, ModuleLoader); 537*bda3c97cSMehdi Amini return Importer.importFunctions( 538*bda3c97cSMehdi Amini M, ImportList, !DontForceImportReferencedDiscardableSymbols); 53942418abaSMehdi Amini } 54042418abaSMehdi Amini }; 541fe2b5415SBenjamin Kramer } // anonymous namespace 54242418abaSMehdi Amini 54342418abaSMehdi Amini char FunctionImportPass::ID = 0; 54442418abaSMehdi Amini INITIALIZE_PASS_BEGIN(FunctionImportPass, "function-import", 54542418abaSMehdi Amini "Summary Based Function Import", false, false) 54642418abaSMehdi Amini INITIALIZE_PASS_END(FunctionImportPass, "function-import", 54742418abaSMehdi Amini "Summary Based Function Import", false, false) 54842418abaSMehdi Amini 54942418abaSMehdi Amini namespace llvm { 55026ab5772STeresa Johnson Pass *createFunctionImportPass(const ModuleSummaryIndex *Index = nullptr) { 5515fcbdb71STeresa Johnson return new FunctionImportPass(Index); 5525fcbdb71STeresa Johnson } 55342418abaSMehdi Amini } 554