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] 8201e32130SMehdi Amini static const FunctionSummary * 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"); 8801e32130SMehdi Amini auto *Summary = cast<FunctionSummary>(GlobInfo->summary()); 8940641748SMehdi Amini 9001e32130SMehdi Amini if (GlobalValue::isWeakAnyLinkage(Summary->linkage())) 9101e32130SMehdi Amini return false; 927e88d0daSMehdi Amini 9301e32130SMehdi Amini if (Summary->instCount() > Threshold) 9401e32130SMehdi Amini return false; 957e88d0daSMehdi Amini 9601e32130SMehdi Amini return true; 9701e32130SMehdi Amini }); 9801e32130SMehdi Amini if (It == CalleeInfoList.end()) 9901e32130SMehdi Amini return nullptr; 1007e88d0daSMehdi Amini 10101e32130SMehdi Amini return cast<FunctionSummary>((*It)->summary()); 102434e9561SRafael Espindola } 1037e88d0daSMehdi Amini 10401e32130SMehdi Amini /// Return the summary for the function \p GUID that fits the \p Threshold, or 10501e32130SMehdi Amini /// null if there's no match. 106ad5741b0SMehdi Amini static const FunctionSummary *selectCallee(GlobalValue::GUID GUID, 107ad5741b0SMehdi Amini unsigned Threshold, 10801e32130SMehdi Amini const ModuleSummaryIndex &Index) { 10901e32130SMehdi Amini auto CalleeInfoList = Index.findGlobalValueInfoList(GUID); 11001e32130SMehdi Amini if (CalleeInfoList == Index.end()) { 11101e32130SMehdi Amini return nullptr; // This function does not have a summary 1127e88d0daSMehdi Amini } 11301e32130SMehdi Amini return selectCallee(CalleeInfoList->second, Threshold); 11401e32130SMehdi Amini } 1157e88d0daSMehdi Amini 11601e32130SMehdi Amini /// Return true if the global \p GUID is exported by module \p ExportModulePath. 11701e32130SMehdi Amini static bool isGlobalExported(const ModuleSummaryIndex &Index, 118ad5741b0SMehdi Amini StringRef ExportModulePath, 119ad5741b0SMehdi Amini GlobalValue::GUID GUID) { 12001e32130SMehdi Amini auto CalleeInfoList = Index.findGlobalValueInfoList(GUID); 12101e32130SMehdi Amini if (CalleeInfoList == Index.end()) 12201e32130SMehdi Amini // This global does not have a summary, it is not part of the ThinLTO 12301e32130SMehdi Amini // process 12401e32130SMehdi Amini return false; 12501e32130SMehdi Amini auto DefinedInCalleeModule = llvm::find_if( 12601e32130SMehdi Amini CalleeInfoList->second, 12701e32130SMehdi Amini [&](const std::unique_ptr<GlobalValueInfo> &GlobInfo) { 12801e32130SMehdi Amini auto *Summary = GlobInfo->summary(); 12901e32130SMehdi Amini assert(Summary && "Unexpected GlobalValueInfo without summary"); 13001e32130SMehdi Amini return Summary->modulePath() == ExportModulePath; 13101e32130SMehdi Amini }); 13201e32130SMehdi Amini return (DefinedInCalleeModule != CalleeInfoList->second.end()); 13301e32130SMehdi Amini } 1347e88d0daSMehdi Amini 13501e32130SMehdi Amini using EdgeInfo = std::pair<const FunctionSummary *, unsigned /* Threshold */>; 13601e32130SMehdi Amini 13701e32130SMehdi Amini /// Compute the list of functions to import for a given caller. Mark these 13801e32130SMehdi Amini /// imported functions and the symbols they reference in their source module as 13901e32130SMehdi Amini /// exported from their source module. 14001e32130SMehdi Amini static void computeImportForFunction( 1413255eec1STeresa Johnson const FunctionSummary &Summary, const ModuleSummaryIndex &Index, 1423255eec1STeresa Johnson unsigned Threshold, 143ad5741b0SMehdi Amini const std::map<GlobalValue::GUID, FunctionSummary *> &DefinedFunctions, 14401e32130SMehdi Amini SmallVectorImpl<EdgeInfo> &Worklist, 14501e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 146c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 14701e32130SMehdi Amini for (auto &Edge : Summary.calls()) { 1482d5487cfSTeresa Johnson auto GUID = Edge.first.getGUID(); 14901e32130SMehdi Amini DEBUG(dbgs() << " edge -> " << GUID << " Threshold:" << Threshold << "\n"); 15001e32130SMehdi Amini 15101e32130SMehdi Amini if (DefinedFunctions.count(GUID)) { 15201e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target already in destination module.\n"); 1537e88d0daSMehdi Amini continue; 154d450da32STeresa Johnson } 15540641748SMehdi Amini 15601e32130SMehdi Amini auto *CalleeSummary = selectCallee(GUID, Threshold, Index); 15701e32130SMehdi Amini if (!CalleeSummary) { 15801e32130SMehdi Amini DEBUG(dbgs() << "ignored! No qualifying callee with summary found.\n"); 1597e88d0daSMehdi Amini continue; 1607e88d0daSMehdi Amini } 16101e32130SMehdi Amini assert(CalleeSummary->instCount() <= Threshold && 16201e32130SMehdi Amini "selectCallee() didn't honor the threshold"); 16301e32130SMehdi Amini 16401e32130SMehdi Amini auto &ProcessedThreshold = 16501e32130SMehdi Amini ImportsForModule[CalleeSummary->modulePath()][GUID]; 16601e32130SMehdi Amini /// Since the traversal of the call graph is DFS, we can revisit a function 16701e32130SMehdi Amini /// a second time with a higher threshold. In this case, it is added back to 16801e32130SMehdi Amini /// the worklist with the new threshold. 16901e32130SMehdi Amini if (ProcessedThreshold && ProcessedThreshold > Threshold) { 17001e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target was already seen with Threshold " 17101e32130SMehdi Amini << ProcessedThreshold << "\n"); 17201e32130SMehdi Amini continue; 17301e32130SMehdi Amini } 17401e32130SMehdi Amini // Mark this function as imported in this module, with the current Threshold 17501e32130SMehdi Amini ProcessedThreshold = Threshold; 17601e32130SMehdi Amini 17701e32130SMehdi Amini // Make exports in the source module. 17801e32130SMehdi Amini auto ExportModulePath = CalleeSummary->modulePath(); 179c86af334STeresa Johnson if (ExportLists) { 180*ef7555fbSMehdi Amini auto &ExportList = (*ExportLists)[ExportModulePath]; 18101e32130SMehdi Amini ExportList.insert(GUID); 182c86af334STeresa Johnson // Mark all functions and globals referenced by this function as exported 183c86af334STeresa Johnson // to the outside if they are defined in the same source module. 18401e32130SMehdi Amini for (auto &Edge : CalleeSummary->calls()) { 1852d5487cfSTeresa Johnson auto CalleeGUID = Edge.first.getGUID(); 18601e32130SMehdi Amini if (isGlobalExported(Index, ExportModulePath, CalleeGUID)) 18701e32130SMehdi Amini ExportList.insert(CalleeGUID); 18801e32130SMehdi Amini } 1892d5487cfSTeresa Johnson for (auto &Ref : CalleeSummary->refs()) { 1902d5487cfSTeresa Johnson auto GUID = Ref.getGUID(); 19101e32130SMehdi Amini if (isGlobalExported(Index, ExportModulePath, GUID)) 19201e32130SMehdi Amini ExportList.insert(GUID); 1937e88d0daSMehdi Amini } 194c86af334STeresa Johnson } 1957e88d0daSMehdi Amini 19601e32130SMehdi Amini // Insert the newly imported function to the worklist. 19701e32130SMehdi Amini Worklist.push_back(std::make_pair(CalleeSummary, Threshold)); 198d450da32STeresa Johnson } 199d450da32STeresa Johnson } 200d450da32STeresa Johnson 20101e32130SMehdi Amini /// Given the list of globals defined in a module, compute the list of imports 20201e32130SMehdi Amini /// as well as the list of "exports", i.e. the list of symbols referenced from 20301e32130SMehdi Amini /// another module (that may require promotion). 20401e32130SMehdi Amini static void ComputeImportForModule( 205ad5741b0SMehdi Amini const std::map<GlobalValue::GUID, FunctionSummary *> &DefinedFunctions, 20626ab5772STeresa Johnson const ModuleSummaryIndex &Index, 20701e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 208c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 20901e32130SMehdi Amini // Worklist contains the list of function imported in this module, for which 21001e32130SMehdi Amini // we will analyse the callees and may import further down the callgraph. 21101e32130SMehdi Amini SmallVector<EdgeInfo, 128> Worklist; 21201e32130SMehdi Amini 21301e32130SMehdi Amini // Populate the worklist with the import for the functions in the current 21401e32130SMehdi Amini // module 21501e32130SMehdi Amini for (auto &FuncInfo : DefinedFunctions) { 21601e32130SMehdi Amini auto *Summary = FuncInfo.second; 21701e32130SMehdi Amini DEBUG(dbgs() << "Initalize import for " << FuncInfo.first << "\n"); 2183255eec1STeresa Johnson computeImportForFunction(*Summary, Index, ImportInstrLimit, 21901e32130SMehdi Amini DefinedFunctions, Worklist, ImportsForModule, 22001e32130SMehdi Amini ExportLists); 22101e32130SMehdi Amini } 22201e32130SMehdi Amini 22342418abaSMehdi Amini while (!Worklist.empty()) { 22401e32130SMehdi Amini auto FuncInfo = Worklist.pop_back_val(); 22501e32130SMehdi Amini auto *Summary = FuncInfo.first; 22601e32130SMehdi Amini auto Threshold = FuncInfo.second; 22742418abaSMehdi Amini 2287e88d0daSMehdi Amini // Process the newly imported functions and add callees to the worklist. 22940641748SMehdi Amini // Adjust the threshold 23040641748SMehdi Amini Threshold = Threshold * ImportInstrFactor; 23101e32130SMehdi Amini 2323255eec1STeresa Johnson computeImportForFunction(*Summary, Index, Threshold, DefinedFunctions, 2333255eec1STeresa Johnson Worklist, ImportsForModule, ExportLists); 234c8c55170SMehdi Amini } 23542418abaSMehdi Amini } 236ffe2e4aaSMehdi Amini 23701e32130SMehdi Amini } // anonymous namespace 23801e32130SMehdi Amini 239c86af334STeresa Johnson /// Compute all the import and export for every module using the Index. 24001e32130SMehdi Amini void llvm::ComputeCrossModuleImport( 24101e32130SMehdi Amini const ModuleSummaryIndex &Index, 24201e32130SMehdi Amini StringMap<FunctionImporter::ImportMapTy> &ImportLists, 24301e32130SMehdi Amini StringMap<FunctionImporter::ExportSetTy> &ExportLists) { 24401e32130SMehdi Amini auto ModuleCount = Index.modulePaths().size(); 24501e32130SMehdi Amini 24601e32130SMehdi Amini // Collect for each module the list of function it defines. 24701e32130SMehdi Amini // GUID -> Summary 248ad5741b0SMehdi Amini StringMap<std::map<GlobalValue::GUID, FunctionSummary *>> 249ad5741b0SMehdi Amini Module2FunctionInfoMap(ModuleCount); 25001e32130SMehdi Amini 25101e32130SMehdi Amini for (auto &GlobalList : Index) { 25201e32130SMehdi Amini auto GUID = GlobalList.first; 25301e32130SMehdi Amini for (auto &GlobInfo : GlobalList.second) { 25401e32130SMehdi Amini auto *Summary = dyn_cast_or_null<FunctionSummary>(GlobInfo->summary()); 25501e32130SMehdi Amini if (!Summary) 25601e32130SMehdi Amini /// Ignore global variable, focus on functions 25701e32130SMehdi Amini continue; 25801e32130SMehdi Amini DEBUG(dbgs() << "Adding definition: Module '" << Summary->modulePath() 25901e32130SMehdi Amini << "' defines '" << GUID << "'\n"); 26001e32130SMehdi Amini Module2FunctionInfoMap[Summary->modulePath()][GUID] = Summary; 26101e32130SMehdi Amini } 26201e32130SMehdi Amini } 26301e32130SMehdi Amini 26401e32130SMehdi Amini // For each module that has function defined, compute the import/export lists. 26501e32130SMehdi Amini for (auto &DefinedFunctions : Module2FunctionInfoMap) { 26601e32130SMehdi Amini auto &ImportsForModule = ImportLists[DefinedFunctions.first()]; 26701e32130SMehdi Amini DEBUG(dbgs() << "Computing import for Module '" << DefinedFunctions.first() 26801e32130SMehdi Amini << "'\n"); 2693255eec1STeresa Johnson ComputeImportForModule(DefinedFunctions.second, Index, ImportsForModule, 270c86af334STeresa Johnson &ExportLists); 27101e32130SMehdi Amini } 27201e32130SMehdi Amini 27301e32130SMehdi Amini #ifndef NDEBUG 27401e32130SMehdi Amini DEBUG(dbgs() << "Import/Export lists for " << ImportLists.size() 27501e32130SMehdi Amini << " modules:\n"); 27601e32130SMehdi Amini for (auto &ModuleImports : ImportLists) { 27701e32130SMehdi Amini auto ModName = ModuleImports.first(); 27801e32130SMehdi Amini auto &Exports = ExportLists[ModName]; 27901e32130SMehdi Amini DEBUG(dbgs() << "* Module " << ModName << " exports " << Exports.size() 28001e32130SMehdi Amini << " functions. Imports from " << ModuleImports.second.size() 28101e32130SMehdi Amini << " modules.\n"); 28201e32130SMehdi Amini for (auto &Src : ModuleImports.second) { 28301e32130SMehdi Amini auto SrcModName = Src.first(); 28401e32130SMehdi Amini DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 28501e32130SMehdi Amini << SrcModName << "\n"); 28601e32130SMehdi Amini } 28701e32130SMehdi Amini } 28801e32130SMehdi Amini #endif 28901e32130SMehdi Amini } 29001e32130SMehdi Amini 291c86af334STeresa Johnson /// Compute all the imports for the given module in the Index. 292c86af334STeresa Johnson void llvm::ComputeCrossModuleImportForModule( 293c86af334STeresa Johnson StringRef ModulePath, const ModuleSummaryIndex &Index, 294c86af334STeresa Johnson FunctionImporter::ImportMapTy &ImportList) { 295c86af334STeresa Johnson 296c86af334STeresa Johnson // Collect the list of functions this module defines. 297c86af334STeresa Johnson // GUID -> Summary 298c86af334STeresa Johnson std::map<GlobalValue::GUID, FunctionSummary *> FunctionInfoMap; 299c86af334STeresa Johnson Index.collectDefinedFunctionsForModule(ModulePath, FunctionInfoMap); 300c86af334STeresa Johnson 301c86af334STeresa Johnson // Compute the import list for this module. 302c86af334STeresa Johnson DEBUG(dbgs() << "Computing import for Module '" << ModulePath << "'\n"); 303c86af334STeresa Johnson ComputeImportForModule(FunctionInfoMap, Index, ImportList); 304c86af334STeresa Johnson 305c86af334STeresa Johnson #ifndef NDEBUG 306c86af334STeresa Johnson DEBUG(dbgs() << "* Module " << ModulePath << " imports from " 307c86af334STeresa Johnson << ImportList.size() << " modules.\n"); 308c86af334STeresa Johnson for (auto &Src : ImportList) { 309c86af334STeresa Johnson auto SrcModName = Src.first(); 310c86af334STeresa Johnson DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 311c86af334STeresa Johnson << SrcModName << "\n"); 312c86af334STeresa Johnson } 313c86af334STeresa Johnson #endif 314c86af334STeresa Johnson } 315c86af334STeresa Johnson 316c8c55170SMehdi Amini // Automatically import functions in Module \p DestModule based on the summaries 317c8c55170SMehdi Amini // index. 318c8c55170SMehdi Amini // 31901e32130SMehdi Amini bool FunctionImporter::importFunctions( 32001e32130SMehdi Amini Module &DestModule, const FunctionImporter::ImportMapTy &ImportList) { 3215411d051SMehdi Amini DEBUG(dbgs() << "Starting import for Module " 322311fef6eSMehdi Amini << DestModule.getModuleIdentifier() << "\n"); 323c8c55170SMehdi Amini unsigned ImportedCount = 0; 324c8c55170SMehdi Amini 325c8c55170SMehdi Amini // Linker that will be used for importing function 3269d2bfc48SRafael Espindola Linker TheLinker(DestModule); 3277e88d0daSMehdi Amini // Do the actual import of functions now, one Module at a time 32801e32130SMehdi Amini std::set<StringRef> ModuleNameOrderedList; 32901e32130SMehdi Amini for (auto &FunctionsToImportPerModule : ImportList) { 33001e32130SMehdi Amini ModuleNameOrderedList.insert(FunctionsToImportPerModule.first()); 33101e32130SMehdi Amini } 33201e32130SMehdi Amini for (auto &Name : ModuleNameOrderedList) { 3337e88d0daSMehdi Amini // Get the module for the import 33401e32130SMehdi Amini const auto &FunctionsToImportPerModule = ImportList.find(Name); 33501e32130SMehdi Amini assert(FunctionsToImportPerModule != ImportList.end()); 33601e32130SMehdi Amini std::unique_ptr<Module> SrcModule = ModuleLoader(Name); 3377e88d0daSMehdi Amini assert(&DestModule.getContext() == &SrcModule->getContext() && 3387e88d0daSMehdi Amini "Context mismatch"); 3397e88d0daSMehdi Amini 3406cba37ceSTeresa Johnson // If modules were created with lazy metadata loading, materialize it 3416cba37ceSTeresa Johnson // now, before linking it (otherwise this will be a noop). 3426cba37ceSTeresa Johnson SrcModule->materializeMetadata(); 3436cba37ceSTeresa Johnson UpgradeDebugInfo(*SrcModule); 344e5a61917STeresa Johnson 34501e32130SMehdi Amini auto &ImportGUIDs = FunctionsToImportPerModule->second; 34601e32130SMehdi Amini // Find the globals to import 34701e32130SMehdi Amini DenseSet<const GlobalValue *> GlobalsToImport; 34801e32130SMehdi Amini for (auto &GV : *SrcModule) { 3490beb858eSTeresa Johnson if (!GV.hasName()) 3500beb858eSTeresa Johnson continue; 3510beb858eSTeresa Johnson auto GUID = GV.getGUID(); 3520beb858eSTeresa Johnson auto Import = ImportGUIDs.count(GUID); 3530beb858eSTeresa Johnson DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " " 3540beb858eSTeresa Johnson << GV.getName() << " from " << SrcModule->getSourceFileName() 3550beb858eSTeresa Johnson << "\n"); 3560beb858eSTeresa Johnson if (Import) { 35701e32130SMehdi Amini GV.materialize(); 35801e32130SMehdi Amini GlobalsToImport.insert(&GV); 35901e32130SMehdi Amini } 36001e32130SMehdi Amini } 36101e32130SMehdi Amini for (auto &GV : SrcModule->aliases()) { 36201e32130SMehdi Amini if (!GV.hasName()) 36301e32130SMehdi Amini continue; 36401e32130SMehdi Amini auto GUID = GV.getGUID(); 3650beb858eSTeresa Johnson auto Import = ImportGUIDs.count(GUID); 3660beb858eSTeresa Johnson DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " " 3670beb858eSTeresa Johnson << GV.getName() << " from " << SrcModule->getSourceFileName() 3680beb858eSTeresa Johnson << "\n"); 3690beb858eSTeresa Johnson if (Import) { 37001e32130SMehdi Amini // Alias can't point to "available_externally". However when we import 3719aae395fSTeresa Johnson // linkOnceODR the linkage does not change. So we import the alias 3729aae395fSTeresa Johnson // and aliasee only in this case. 37301e32130SMehdi Amini const GlobalObject *GO = GV.getBaseObject(); 37401e32130SMehdi Amini if (!GO->hasLinkOnceODRLinkage()) 37501e32130SMehdi Amini continue; 3769aae395fSTeresa Johnson GV.materialize(); 3779aae395fSTeresa Johnson GlobalsToImport.insert(&GV); 37801e32130SMehdi Amini GlobalsToImport.insert(GO); 37901e32130SMehdi Amini } 38001e32130SMehdi Amini } 38101e32130SMehdi Amini for (auto &GV : SrcModule->globals()) { 38201e32130SMehdi Amini if (!GV.hasName()) 38301e32130SMehdi Amini continue; 384efeae0e2STeresa Johnson auto GUID = GV.getGUID(); 3850beb858eSTeresa Johnson auto Import = ImportGUIDs.count(GUID); 3860beb858eSTeresa Johnson DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing " << GUID << " " 3870beb858eSTeresa Johnson << GV.getName() << " from " << SrcModule->getSourceFileName() 3880beb858eSTeresa Johnson << "\n"); 3890beb858eSTeresa Johnson if (Import) { 39001e32130SMehdi Amini GV.materialize(); 39101e32130SMehdi Amini GlobalsToImport.insert(&GV); 39201e32130SMehdi Amini } 39301e32130SMehdi Amini } 39401e32130SMehdi Amini 3957e88d0daSMehdi Amini // Link in the specified functions. 39601e32130SMehdi Amini if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport)) 3978d05185aSMehdi Amini return true; 3988d05185aSMehdi Amini 399d29478f7STeresa Johnson if (PrintImports) { 400d29478f7STeresa Johnson for (const auto *GV : GlobalsToImport) 401d29478f7STeresa Johnson dbgs() << DestModule.getSourceFileName() << ": Import " << GV->getName() 402d29478f7STeresa Johnson << " from " << SrcModule->getSourceFileName() << "\n"; 403d29478f7STeresa Johnson } 404d29478f7STeresa Johnson 405434e9561SRafael Espindola if (TheLinker.linkInModule(std::move(SrcModule), Linker::Flags::None, 40601e32130SMehdi Amini &GlobalsToImport)) 4077e88d0daSMehdi Amini report_fatal_error("Function Import: link error"); 4087e88d0daSMehdi Amini 40901e32130SMehdi Amini ImportedCount += GlobalsToImport.size(); 4107e88d0daSMehdi Amini } 411e5a61917STeresa Johnson 412d29478f7STeresa Johnson NumImported += ImportedCount; 413d29478f7STeresa Johnson 4147e88d0daSMehdi Amini DEBUG(dbgs() << "Imported " << ImportedCount << " functions for Module " 415c8c55170SMehdi Amini << DestModule.getModuleIdentifier() << "\n"); 416c8c55170SMehdi Amini return ImportedCount; 41742418abaSMehdi Amini } 41842418abaSMehdi Amini 41942418abaSMehdi Amini /// Summary file to use for function importing when using -function-import from 42042418abaSMehdi Amini /// the command line. 42142418abaSMehdi Amini static cl::opt<std::string> 42242418abaSMehdi Amini SummaryFile("summary-file", 42342418abaSMehdi Amini cl::desc("The summary file to use for function importing.")); 42442418abaSMehdi Amini 42542418abaSMehdi Amini static void diagnosticHandler(const DiagnosticInfo &DI) { 42642418abaSMehdi Amini raw_ostream &OS = errs(); 42742418abaSMehdi Amini DiagnosticPrinterRawOStream DP(OS); 42842418abaSMehdi Amini DI.print(DP); 42942418abaSMehdi Amini OS << '\n'; 43042418abaSMehdi Amini } 43142418abaSMehdi Amini 43226ab5772STeresa Johnson /// Parse the summary index out of an IR file and return the summary 43342418abaSMehdi Amini /// index object if found, or nullptr if not. 43426ab5772STeresa Johnson static std::unique_ptr<ModuleSummaryIndex> 43526ab5772STeresa Johnson getModuleSummaryIndexForFile(StringRef Path, std::string &Error, 43642418abaSMehdi Amini DiagnosticHandlerFunction DiagnosticHandler) { 43742418abaSMehdi Amini std::unique_ptr<MemoryBuffer> Buffer; 43842418abaSMehdi Amini ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr = 43942418abaSMehdi Amini MemoryBuffer::getFile(Path); 44042418abaSMehdi Amini if (std::error_code EC = BufferOrErr.getError()) { 44142418abaSMehdi Amini Error = EC.message(); 44242418abaSMehdi Amini return nullptr; 44342418abaSMehdi Amini } 44442418abaSMehdi Amini Buffer = std::move(BufferOrErr.get()); 44526ab5772STeresa Johnson ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr = 44626ab5772STeresa Johnson object::ModuleSummaryIndexObjectFile::create(Buffer->getMemBufferRef(), 44742418abaSMehdi Amini DiagnosticHandler); 44842418abaSMehdi Amini if (std::error_code EC = ObjOrErr.getError()) { 44942418abaSMehdi Amini Error = EC.message(); 45042418abaSMehdi Amini return nullptr; 45142418abaSMehdi Amini } 45242418abaSMehdi Amini return (*ObjOrErr)->takeIndex(); 45342418abaSMehdi Amini } 45442418abaSMehdi Amini 455fe2b5415SBenjamin Kramer namespace { 45642418abaSMehdi Amini /// Pass that performs cross-module function import provided a summary file. 45742418abaSMehdi Amini class FunctionImportPass : public ModulePass { 45826ab5772STeresa Johnson /// Optional module summary index to use for importing, otherwise 4595fcbdb71STeresa Johnson /// the summary-file option must be specified. 46026ab5772STeresa Johnson const ModuleSummaryIndex *Index; 46142418abaSMehdi Amini 46242418abaSMehdi Amini public: 46342418abaSMehdi Amini /// Pass identification, replacement for typeid 46442418abaSMehdi Amini static char ID; 46542418abaSMehdi Amini 4665fcbdb71STeresa Johnson /// Specify pass name for debug output 4675fcbdb71STeresa Johnson const char *getPassName() const override { 4685fcbdb71STeresa Johnson return "Function Importing"; 4695fcbdb71STeresa Johnson } 4705fcbdb71STeresa Johnson 47126ab5772STeresa Johnson explicit FunctionImportPass(const ModuleSummaryIndex *Index = nullptr) 4725fcbdb71STeresa Johnson : ModulePass(ID), Index(Index) {} 47342418abaSMehdi Amini 47442418abaSMehdi Amini bool runOnModule(Module &M) override { 4755fcbdb71STeresa Johnson if (SummaryFile.empty() && !Index) 4765fcbdb71STeresa Johnson report_fatal_error("error: -function-import requires -summary-file or " 4775fcbdb71STeresa Johnson "file from frontend\n"); 47826ab5772STeresa Johnson std::unique_ptr<ModuleSummaryIndex> IndexPtr; 4795fcbdb71STeresa Johnson if (!SummaryFile.empty()) { 4805fcbdb71STeresa Johnson if (Index) 4815fcbdb71STeresa Johnson report_fatal_error("error: -summary-file and index from frontend\n"); 48242418abaSMehdi Amini std::string Error; 48326ab5772STeresa Johnson IndexPtr = 48426ab5772STeresa Johnson getModuleSummaryIndexForFile(SummaryFile, Error, diagnosticHandler); 4855fcbdb71STeresa Johnson if (!IndexPtr) { 4865fcbdb71STeresa Johnson errs() << "Error loading file '" << SummaryFile << "': " << Error 4875fcbdb71STeresa Johnson << "\n"; 48842418abaSMehdi Amini return false; 48942418abaSMehdi Amini } 4905fcbdb71STeresa Johnson Index = IndexPtr.get(); 4915fcbdb71STeresa Johnson } 49242418abaSMehdi Amini 493c86af334STeresa Johnson // First step is collecting the import list. 494c86af334STeresa Johnson FunctionImporter::ImportMapTy ImportList; 495c86af334STeresa Johnson ComputeCrossModuleImportForModule(M.getModuleIdentifier(), *Index, 496c86af334STeresa Johnson ImportList); 49701e32130SMehdi Amini 49801e32130SMehdi Amini // Next we need to promote to global scope and rename any local values that 4991b00f2d9STeresa Johnson // are potentially exported to other modules. 50001e32130SMehdi Amini if (renameModuleForThinLTO(M, *Index, nullptr)) { 5011b00f2d9STeresa Johnson errs() << "Error renaming module\n"; 5021b00f2d9STeresa Johnson return false; 5031b00f2d9STeresa Johnson } 5041b00f2d9STeresa Johnson 50542418abaSMehdi Amini // Perform the import now. 506d16c8065SMehdi Amini auto ModuleLoader = [&M](StringRef Identifier) { 507d16c8065SMehdi Amini return loadFile(Identifier, M.getContext()); 508d16c8065SMehdi Amini }; 5099d2bfc48SRafael Espindola FunctionImporter Importer(*Index, ModuleLoader); 51001e32130SMehdi Amini return Importer.importFunctions(M, ImportList); 51142418abaSMehdi Amini } 51242418abaSMehdi Amini }; 513fe2b5415SBenjamin Kramer } // anonymous namespace 51442418abaSMehdi Amini 51542418abaSMehdi Amini char FunctionImportPass::ID = 0; 51642418abaSMehdi Amini INITIALIZE_PASS_BEGIN(FunctionImportPass, "function-import", 51742418abaSMehdi Amini "Summary Based Function Import", false, false) 51842418abaSMehdi Amini INITIALIZE_PASS_END(FunctionImportPass, "function-import", 51942418abaSMehdi Amini "Summary Based Function Import", false, false) 52042418abaSMehdi Amini 52142418abaSMehdi Amini namespace llvm { 52226ab5772STeresa Johnson Pass *createFunctionImportPass(const ModuleSummaryIndex *Index = nullptr) { 5235fcbdb71STeresa Johnson return new FunctionImportPass(Index); 5245fcbdb71STeresa Johnson } 52542418abaSMehdi Amini } 526