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" 1904c9a2d6STeresa Johnson #include "llvm/ADT/Triple.h" 2042418abaSMehdi Amini #include "llvm/IR/AutoUpgrade.h" 2142418abaSMehdi Amini #include "llvm/IR/DiagnosticPrinter.h" 2242418abaSMehdi Amini #include "llvm/IR/IntrinsicInst.h" 2342418abaSMehdi Amini #include "llvm/IR/Module.h" 2442418abaSMehdi Amini #include "llvm/IRReader/IRReader.h" 2542418abaSMehdi Amini #include "llvm/Linker/Linker.h" 2604c9a2d6STeresa Johnson #include "llvm/Object/IRObjectFile.h" 2726ab5772STeresa Johnson #include "llvm/Object/ModuleSummaryIndexObjectFile.h" 2842418abaSMehdi Amini #include "llvm/Support/CommandLine.h" 2942418abaSMehdi Amini #include "llvm/Support/Debug.h" 3042418abaSMehdi Amini #include "llvm/Support/SourceMgr.h" 3104c9a2d6STeresa Johnson #include "llvm/Transforms/IPO/Internalize.h" 32488a800aSTeresa Johnson #include "llvm/Transforms/Utils/FunctionImportUtils.h" 337e88d0daSMehdi Amini 3401e32130SMehdi Amini #define DEBUG_TYPE "function-import" 357e88d0daSMehdi Amini 3642418abaSMehdi Amini using namespace llvm; 3742418abaSMehdi Amini 38d29478f7STeresa Johnson STATISTIC(NumImported, "Number of functions imported"); 39d29478f7STeresa Johnson 4039303619STeresa Johnson /// Limit on instruction count of imported functions. 4139303619STeresa Johnson static cl::opt<unsigned> ImportInstrLimit( 4239303619STeresa Johnson "import-instr-limit", cl::init(100), cl::Hidden, cl::value_desc("N"), 4339303619STeresa Johnson cl::desc("Only import functions with less than N instructions")); 4439303619STeresa Johnson 4540641748SMehdi Amini static cl::opt<float> 4640641748SMehdi Amini ImportInstrFactor("import-instr-evolution-factor", cl::init(0.7), 4740641748SMehdi Amini cl::Hidden, cl::value_desc("x"), 4840641748SMehdi Amini cl::desc("As we import functions, multiply the " 4940641748SMehdi Amini "`import-instr-limit` threshold by this factor " 5040641748SMehdi Amini "before processing newly imported functions")); 5140641748SMehdi Amini 52d29478f7STeresa Johnson static cl::opt<bool> PrintImports("print-imports", cl::init(false), cl::Hidden, 53d29478f7STeresa Johnson cl::desc("Print imported functions")); 54d29478f7STeresa Johnson 55bda3c97cSMehdi Amini // Temporary allows the function import pass to disable always linking 56bda3c97cSMehdi Amini // referenced discardable symbols. 57bda3c97cSMehdi Amini static cl::opt<bool> 58bda3c97cSMehdi Amini DontForceImportReferencedDiscardableSymbols("disable-force-link-odr", 59bda3c97cSMehdi Amini cl::init(false), cl::Hidden); 60bda3c97cSMehdi Amini 613b776128SPiotr Padlewski static cl::opt<bool> EnableImportMetadata( 623b776128SPiotr Padlewski "enable-import-metadata", cl::init( 633b776128SPiotr Padlewski #if !defined(NDEBUG) 643b776128SPiotr Padlewski true /*Enabled with asserts.*/ 653b776128SPiotr Padlewski #else 663b776128SPiotr Padlewski false 673b776128SPiotr Padlewski #endif 683b776128SPiotr Padlewski ), 693b776128SPiotr Padlewski cl::Hidden, cl::desc("Enable import metadata like 'thinlto_src_module'")); 703b776128SPiotr Padlewski 7142418abaSMehdi Amini // Load lazily a module from \p FileName in \p Context. 7242418abaSMehdi Amini static std::unique_ptr<Module> loadFile(const std::string &FileName, 7342418abaSMehdi Amini LLVMContext &Context) { 7442418abaSMehdi Amini SMDiagnostic Err; 7542418abaSMehdi Amini DEBUG(dbgs() << "Loading '" << FileName << "'\n"); 766cba37ceSTeresa Johnson // Metadata isn't loaded until functions are imported, to minimize 776cba37ceSTeresa Johnson // the memory overhead. 78a1080ee6STeresa Johnson std::unique_ptr<Module> Result = 79a1080ee6STeresa Johnson getLazyIRFileModule(FileName, Err, Context, 80a1080ee6STeresa Johnson /* ShouldLazyLoadMetadata = */ true); 8142418abaSMehdi Amini if (!Result) { 8242418abaSMehdi Amini Err.print("function-import", errs()); 83d7ad221cSMehdi Amini report_fatal_error("Abort"); 8442418abaSMehdi Amini } 8542418abaSMehdi Amini 8642418abaSMehdi Amini return Result; 8742418abaSMehdi Amini } 8842418abaSMehdi Amini 897e88d0daSMehdi Amini namespace { 9040641748SMehdi Amini 91b4e1e829SMehdi Amini // Return true if the Summary describes a GlobalValue that can be externally 92b4e1e829SMehdi Amini // referenced, i.e. it does not need renaming (linkage is not local) or renaming 93b4e1e829SMehdi Amini // is possible (does not have a section for instance). 94b4e1e829SMehdi Amini static bool canBeExternallyReferenced(const GlobalValueSummary &Summary) { 95b4e1e829SMehdi Amini if (!Summary.needsRenaming()) 96b4e1e829SMehdi Amini return true; 97b4e1e829SMehdi Amini 98b4e1e829SMehdi Amini if (Summary.hasSection()) 99b4e1e829SMehdi Amini // Can't rename a global that needs renaming if has a section. 100b4e1e829SMehdi Amini return false; 101b4e1e829SMehdi Amini 102b4e1e829SMehdi Amini return true; 103b4e1e829SMehdi Amini } 104b4e1e829SMehdi Amini 105b4e1e829SMehdi Amini // Return true if \p GUID describes a GlobalValue that can be externally 106b4e1e829SMehdi Amini // referenced, i.e. it does not need renaming (linkage is not local) or 107b4e1e829SMehdi Amini // renaming is possible (does not have a section for instance). 108b4e1e829SMehdi Amini static bool canBeExternallyReferenced(const ModuleSummaryIndex &Index, 109b4e1e829SMehdi Amini GlobalValue::GUID GUID) { 110b4e1e829SMehdi Amini auto Summaries = Index.findGlobalValueSummaryList(GUID); 111b4e1e829SMehdi Amini if (Summaries == Index.end()) 112b4e1e829SMehdi Amini return true; 113b4e1e829SMehdi Amini if (Summaries->second.size() != 1) 114b4e1e829SMehdi Amini // If there are multiple globals with this GUID, then we know it is 115b4e1e829SMehdi Amini // not a local symbol, and it is necessarily externally referenced. 116b4e1e829SMehdi Amini return true; 117b4e1e829SMehdi Amini 118b4e1e829SMehdi Amini // We don't need to check for the module path, because if it can't be 119b4e1e829SMehdi Amini // externally referenced and we call it, it is necessarilly in the same 120b4e1e829SMehdi Amini // module 121b4e1e829SMehdi Amini return canBeExternallyReferenced(**Summaries->second.begin()); 122b4e1e829SMehdi Amini } 123b4e1e829SMehdi Amini 124b4e1e829SMehdi Amini // Return true if the global described by \p Summary can be imported in another 125b4e1e829SMehdi Amini // module. 126b4e1e829SMehdi Amini static bool eligibleForImport(const ModuleSummaryIndex &Index, 127b4e1e829SMehdi Amini const GlobalValueSummary &Summary) { 128b4e1e829SMehdi Amini if (!canBeExternallyReferenced(Summary)) 129b4e1e829SMehdi Amini // Can't import a global that needs renaming if has a section for instance. 130b4e1e829SMehdi Amini // FIXME: we may be able to import it by copying it without promotion. 131b4e1e829SMehdi Amini return false; 132b4e1e829SMehdi Amini 133332b3b22SPiotr Padlewski // Don't import functions that are not viable to inline. 134332b3b22SPiotr Padlewski if (Summary.isNotViableToInline()) 135332b3b22SPiotr Padlewski return false; 136332b3b22SPiotr Padlewski 137b4e1e829SMehdi Amini // Check references (and potential calls) in the same module. If the current 138b4e1e829SMehdi Amini // value references a global that can't be externally referenced it is not 139b4e1e829SMehdi Amini // eligible for import. 140b4e1e829SMehdi Amini bool AllRefsCanBeExternallyReferenced = 141b4e1e829SMehdi Amini llvm::all_of(Summary.refs(), [&](const ValueInfo &VI) { 142b4e1e829SMehdi Amini return canBeExternallyReferenced(Index, VI.getGUID()); 143b4e1e829SMehdi Amini }); 144b4e1e829SMehdi Amini if (!AllRefsCanBeExternallyReferenced) 145b4e1e829SMehdi Amini return false; 146b4e1e829SMehdi Amini 147b4e1e829SMehdi Amini if (auto *FuncSummary = dyn_cast<FunctionSummary>(&Summary)) { 148b4e1e829SMehdi Amini bool AllCallsCanBeExternallyReferenced = llvm::all_of( 149b4e1e829SMehdi Amini FuncSummary->calls(), [&](const FunctionSummary::EdgeTy &Edge) { 150b4e1e829SMehdi Amini return canBeExternallyReferenced(Index, Edge.first.getGUID()); 151b4e1e829SMehdi Amini }); 152b4e1e829SMehdi Amini if (!AllCallsCanBeExternallyReferenced) 153b4e1e829SMehdi Amini return false; 154b4e1e829SMehdi Amini } 155b4e1e829SMehdi Amini return true; 156b4e1e829SMehdi Amini } 157b4e1e829SMehdi Amini 15801e32130SMehdi Amini /// Given a list of possible callee implementation for a call site, select one 15901e32130SMehdi Amini /// that fits the \p Threshold. 16001e32130SMehdi Amini /// 16101e32130SMehdi Amini /// FIXME: select "best" instead of first that fits. But what is "best"? 16201e32130SMehdi Amini /// - The smallest: more likely to be inlined. 16301e32130SMehdi Amini /// - The one with the least outgoing edges (already well optimized). 16401e32130SMehdi Amini /// - One from a module already being imported from in order to reduce the 16501e32130SMehdi Amini /// number of source modules parsed/linked. 16601e32130SMehdi Amini /// - One that has PGO data attached. 16701e32130SMehdi Amini /// - [insert you fancy metric here] 1682d28f7aaSMehdi Amini static const GlobalValueSummary * 169b4e1e829SMehdi Amini selectCallee(const ModuleSummaryIndex &Index, 170b4e1e829SMehdi Amini const GlobalValueSummaryList &CalleeSummaryList, 17128e457bcSTeresa Johnson unsigned Threshold) { 17201e32130SMehdi Amini auto It = llvm::find_if( 17328e457bcSTeresa Johnson CalleeSummaryList, 17428e457bcSTeresa Johnson [&](const std::unique_ptr<GlobalValueSummary> &SummaryPtr) { 17528e457bcSTeresa Johnson auto *GVSummary = SummaryPtr.get(); 176f329be83SRafael Espindola if (GlobalValue::isInterposableLinkage(GVSummary->linkage())) 1775b85d8d6SMehdi Amini // There is no point in importing these, we can't inline them 17801e32130SMehdi Amini return false; 1792c719cc1SMehdi Amini if (auto *AS = dyn_cast<AliasSummary>(GVSummary)) { 1802c719cc1SMehdi Amini GVSummary = &AS->getAliasee(); 1812c719cc1SMehdi Amini // Alias can't point to "available_externally". However when we import 1822c719cc1SMehdi Amini // linkOnceODR the linkage does not change. So we import the alias 1832c719cc1SMehdi Amini // and aliasee only in this case. 1842c719cc1SMehdi Amini // FIXME: we should import alias as available_externally *function*, 1852c719cc1SMehdi Amini // the destination module does need to know it is an alias. 1862c719cc1SMehdi Amini if (!GlobalValue::isLinkOnceODRLinkage(GVSummary->linkage())) 1872c719cc1SMehdi Amini return false; 1882c719cc1SMehdi Amini } 1892c719cc1SMehdi Amini 1902c719cc1SMehdi Amini auto *Summary = cast<FunctionSummary>(GVSummary); 1917e88d0daSMehdi Amini 19201e32130SMehdi Amini if (Summary->instCount() > Threshold) 19301e32130SMehdi Amini return false; 1947e88d0daSMehdi Amini 195b4e1e829SMehdi Amini if (!eligibleForImport(Index, *Summary)) 196b4e1e829SMehdi Amini return false; 197b4e1e829SMehdi Amini 19801e32130SMehdi Amini return true; 19901e32130SMehdi Amini }); 20028e457bcSTeresa Johnson if (It == CalleeSummaryList.end()) 20101e32130SMehdi Amini return nullptr; 2027e88d0daSMehdi Amini 20328e457bcSTeresa Johnson return cast<GlobalValueSummary>(It->get()); 204434e9561SRafael Espindola } 2057e88d0daSMehdi Amini 20601e32130SMehdi Amini /// Return the summary for the function \p GUID that fits the \p Threshold, or 20701e32130SMehdi Amini /// null if there's no match. 2082d28f7aaSMehdi Amini static const GlobalValueSummary *selectCallee(GlobalValue::GUID GUID, 209ad5741b0SMehdi Amini unsigned Threshold, 21001e32130SMehdi Amini const ModuleSummaryIndex &Index) { 21128e457bcSTeresa Johnson auto CalleeSummaryList = Index.findGlobalValueSummaryList(GUID); 212b4e1e829SMehdi Amini if (CalleeSummaryList == Index.end()) 21301e32130SMehdi Amini return nullptr; // This function does not have a summary 214b4e1e829SMehdi Amini return selectCallee(Index, CalleeSummaryList->second, Threshold); 21501e32130SMehdi Amini } 2167e88d0daSMehdi Amini 217cb87494fSMehdi Amini /// Mark the global \p GUID as export by module \p ExportModulePath if found in 218cb87494fSMehdi Amini /// this module. If it is a GlobalVariable, we also mark any referenced global 219cb87494fSMehdi Amini /// in the current module as exported. 220cb87494fSMehdi Amini static void exportGlobalInModule(const ModuleSummaryIndex &Index, 221ad5741b0SMehdi Amini StringRef ExportModulePath, 222cb87494fSMehdi Amini GlobalValue::GUID GUID, 223cb87494fSMehdi Amini FunctionImporter::ExportSetTy &ExportList) { 22428e457bcSTeresa Johnson auto FindGlobalSummaryInModule = 22528e457bcSTeresa Johnson [&](GlobalValue::GUID GUID) -> GlobalValueSummary *{ 22628e457bcSTeresa Johnson auto SummaryList = Index.findGlobalValueSummaryList(GUID); 22728e457bcSTeresa Johnson if (SummaryList == Index.end()) 22801e32130SMehdi Amini // This global does not have a summary, it is not part of the ThinLTO 22901e32130SMehdi Amini // process 230cb87494fSMehdi Amini return nullptr; 23128e457bcSTeresa Johnson auto SummaryIter = llvm::find_if( 23228e457bcSTeresa Johnson SummaryList->second, 23328e457bcSTeresa Johnson [&](const std::unique_ptr<GlobalValueSummary> &Summary) { 23401e32130SMehdi Amini return Summary->modulePath() == ExportModulePath; 23501e32130SMehdi Amini }); 23628e457bcSTeresa Johnson if (SummaryIter == SummaryList->second.end()) 237cb87494fSMehdi Amini return nullptr; 23828e457bcSTeresa Johnson return SummaryIter->get(); 239cb87494fSMehdi Amini }; 240cb87494fSMehdi Amini 24128e457bcSTeresa Johnson auto *Summary = FindGlobalSummaryInModule(GUID); 24228e457bcSTeresa Johnson if (!Summary) 243cb87494fSMehdi Amini return; 244cb87494fSMehdi Amini // We found it in the current module, mark as exported 245cb87494fSMehdi Amini ExportList.insert(GUID); 246cb87494fSMehdi Amini 247cb87494fSMehdi Amini auto GVS = dyn_cast<GlobalVarSummary>(Summary); 248cb87494fSMehdi Amini if (!GVS) 249cb87494fSMehdi Amini return; 250cb87494fSMehdi Amini // FunctionImportGlobalProcessing::doPromoteLocalToGlobal() will always 251cb87494fSMehdi Amini // trigger importing the initializer for `constant unnamed addr` globals that 252cb87494fSMehdi Amini // are referenced. We conservatively export all the referenced symbols for 253cb87494fSMehdi Amini // every global to workaround this, so that the ExportList is accurate. 254cb87494fSMehdi Amini // FIXME: with a "isConstant" flag in the summary we could be more targetted. 255cb87494fSMehdi Amini for (auto &Ref : GVS->refs()) { 256cb87494fSMehdi Amini auto GUID = Ref.getGUID(); 25728e457bcSTeresa Johnson auto *RefSummary = FindGlobalSummaryInModule(GUID); 25828e457bcSTeresa Johnson if (RefSummary) 259cb87494fSMehdi Amini // Found a ref in the current module, mark it as exported 260cb87494fSMehdi Amini ExportList.insert(GUID); 261cb87494fSMehdi Amini } 26201e32130SMehdi Amini } 2637e88d0daSMehdi Amini 26401e32130SMehdi Amini using EdgeInfo = std::pair<const FunctionSummary *, unsigned /* Threshold */>; 26501e32130SMehdi Amini 26601e32130SMehdi Amini /// Compute the list of functions to import for a given caller. Mark these 26701e32130SMehdi Amini /// imported functions and the symbols they reference in their source module as 26801e32130SMehdi Amini /// exported from their source module. 26901e32130SMehdi Amini static void computeImportForFunction( 2703255eec1STeresa Johnson const FunctionSummary &Summary, const ModuleSummaryIndex &Index, 271c851d216STeresa Johnson unsigned Threshold, const GVSummaryMapTy &DefinedGVSummaries, 27201e32130SMehdi Amini SmallVectorImpl<EdgeInfo> &Worklist, 27301e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 274c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 27501e32130SMehdi Amini for (auto &Edge : Summary.calls()) { 2762d5487cfSTeresa Johnson auto GUID = Edge.first.getGUID(); 27701e32130SMehdi Amini DEBUG(dbgs() << " edge -> " << GUID << " Threshold:" << Threshold << "\n"); 27801e32130SMehdi Amini 2791aafabf7SMehdi Amini if (DefinedGVSummaries.count(GUID)) { 28001e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target already in destination module.\n"); 2817e88d0daSMehdi Amini continue; 282d450da32STeresa Johnson } 28340641748SMehdi Amini 28401e32130SMehdi Amini auto *CalleeSummary = selectCallee(GUID, Threshold, Index); 28501e32130SMehdi Amini if (!CalleeSummary) { 28601e32130SMehdi Amini DEBUG(dbgs() << "ignored! No qualifying callee with summary found.\n"); 2877e88d0daSMehdi Amini continue; 2887e88d0daSMehdi Amini } 2892d28f7aaSMehdi Amini // "Resolve" the summary, traversing alias, 2902d28f7aaSMehdi Amini const FunctionSummary *ResolvedCalleeSummary; 2916968ef77SMehdi Amini if (isa<AliasSummary>(CalleeSummary)) { 2922d28f7aaSMehdi Amini ResolvedCalleeSummary = cast<FunctionSummary>( 2932d28f7aaSMehdi Amini &cast<AliasSummary>(CalleeSummary)->getAliasee()); 2942c719cc1SMehdi Amini assert( 2952c719cc1SMehdi Amini GlobalValue::isLinkOnceODRLinkage(ResolvedCalleeSummary->linkage()) && 2962c719cc1SMehdi Amini "Unexpected alias to a non-linkonceODR in import list"); 2976968ef77SMehdi Amini } else 2982d28f7aaSMehdi Amini ResolvedCalleeSummary = cast<FunctionSummary>(CalleeSummary); 2992d28f7aaSMehdi Amini 3002d28f7aaSMehdi Amini assert(ResolvedCalleeSummary->instCount() <= Threshold && 30101e32130SMehdi Amini "selectCallee() didn't honor the threshold"); 30201e32130SMehdi Amini 3032d28f7aaSMehdi Amini auto ExportModulePath = ResolvedCalleeSummary->modulePath(); 3042d28f7aaSMehdi Amini auto &ProcessedThreshold = ImportsForModule[ExportModulePath][GUID]; 30501e32130SMehdi Amini /// Since the traversal of the call graph is DFS, we can revisit a function 30601e32130SMehdi Amini /// a second time with a higher threshold. In this case, it is added back to 30701e32130SMehdi Amini /// the worklist with the new threshold. 3082e03094dSTeresa Johnson if (ProcessedThreshold && ProcessedThreshold >= Threshold) { 30901e32130SMehdi Amini DEBUG(dbgs() << "ignored! Target was already seen with Threshold " 31001e32130SMehdi Amini << ProcessedThreshold << "\n"); 31101e32130SMehdi Amini continue; 31201e32130SMehdi Amini } 31301e32130SMehdi Amini // Mark this function as imported in this module, with the current Threshold 31401e32130SMehdi Amini ProcessedThreshold = Threshold; 31501e32130SMehdi Amini 31601e32130SMehdi Amini // Make exports in the source module. 317c86af334STeresa Johnson if (ExportLists) { 318ef7555fbSMehdi Amini auto &ExportList = (*ExportLists)[ExportModulePath]; 31901e32130SMehdi Amini ExportList.insert(GUID); 320c86af334STeresa Johnson // Mark all functions and globals referenced by this function as exported 321c86af334STeresa Johnson // to the outside if they are defined in the same source module. 3222d28f7aaSMehdi Amini for (auto &Edge : ResolvedCalleeSummary->calls()) { 3232d5487cfSTeresa Johnson auto CalleeGUID = Edge.first.getGUID(); 324cb87494fSMehdi Amini exportGlobalInModule(Index, ExportModulePath, CalleeGUID, ExportList); 32501e32130SMehdi Amini } 3262d28f7aaSMehdi Amini for (auto &Ref : ResolvedCalleeSummary->refs()) { 3272d5487cfSTeresa Johnson auto GUID = Ref.getGUID(); 328cb87494fSMehdi Amini exportGlobalInModule(Index, ExportModulePath, GUID, ExportList); 3297e88d0daSMehdi Amini } 330c86af334STeresa Johnson } 3317e88d0daSMehdi Amini 33201e32130SMehdi Amini // Insert the newly imported function to the worklist. 3332d28f7aaSMehdi Amini Worklist.push_back(std::make_pair(ResolvedCalleeSummary, Threshold)); 334d450da32STeresa Johnson } 335d450da32STeresa Johnson } 336d450da32STeresa Johnson 33701e32130SMehdi Amini /// Given the list of globals defined in a module, compute the list of imports 33801e32130SMehdi Amini /// as well as the list of "exports", i.e. the list of symbols referenced from 33901e32130SMehdi Amini /// another module (that may require promotion). 34001e32130SMehdi Amini static void ComputeImportForModule( 341c851d216STeresa Johnson const GVSummaryMapTy &DefinedGVSummaries, const ModuleSummaryIndex &Index, 34201e32130SMehdi Amini FunctionImporter::ImportMapTy &ImportsForModule, 343c86af334STeresa Johnson StringMap<FunctionImporter::ExportSetTy> *ExportLists = nullptr) { 34401e32130SMehdi Amini // Worklist contains the list of function imported in this module, for which 34501e32130SMehdi Amini // we will analyse the callees and may import further down the callgraph. 34601e32130SMehdi Amini SmallVector<EdgeInfo, 128> Worklist; 34701e32130SMehdi Amini 34801e32130SMehdi Amini // Populate the worklist with the import for the functions in the current 34901e32130SMehdi Amini // module 35028e457bcSTeresa Johnson for (auto &GVSummary : DefinedGVSummaries) { 35128e457bcSTeresa Johnson auto *Summary = GVSummary.second; 3522d28f7aaSMehdi Amini if (auto *AS = dyn_cast<AliasSummary>(Summary)) 3532d28f7aaSMehdi Amini Summary = &AS->getAliasee(); 3541aafabf7SMehdi Amini auto *FuncSummary = dyn_cast<FunctionSummary>(Summary); 3551aafabf7SMehdi Amini if (!FuncSummary) 3561aafabf7SMehdi Amini // Skip import for global variables 3571aafabf7SMehdi Amini continue; 35828e457bcSTeresa Johnson DEBUG(dbgs() << "Initalize import for " << GVSummary.first << "\n"); 3592d28f7aaSMehdi Amini computeImportForFunction(*FuncSummary, Index, ImportInstrLimit, 3601aafabf7SMehdi Amini DefinedGVSummaries, Worklist, ImportsForModule, 36101e32130SMehdi Amini ExportLists); 36201e32130SMehdi Amini } 36301e32130SMehdi Amini 36442418abaSMehdi Amini while (!Worklist.empty()) { 36501e32130SMehdi Amini auto FuncInfo = Worklist.pop_back_val(); 36601e32130SMehdi Amini auto *Summary = FuncInfo.first; 36701e32130SMehdi Amini auto Threshold = FuncInfo.second; 36842418abaSMehdi Amini 3697e88d0daSMehdi Amini // Process the newly imported functions and add callees to the worklist. 37040641748SMehdi Amini // Adjust the threshold 37140641748SMehdi Amini Threshold = Threshold * ImportInstrFactor; 37201e32130SMehdi Amini 3731aafabf7SMehdi Amini computeImportForFunction(*Summary, Index, Threshold, DefinedGVSummaries, 3743255eec1STeresa Johnson Worklist, ImportsForModule, ExportLists); 375c8c55170SMehdi Amini } 37642418abaSMehdi Amini } 377ffe2e4aaSMehdi Amini 37801e32130SMehdi Amini } // anonymous namespace 37901e32130SMehdi Amini 380c86af334STeresa Johnson /// Compute all the import and export for every module using the Index. 38101e32130SMehdi Amini void llvm::ComputeCrossModuleImport( 38201e32130SMehdi Amini const ModuleSummaryIndex &Index, 383c851d216STeresa Johnson const StringMap<GVSummaryMapTy> &ModuleToDefinedGVSummaries, 38401e32130SMehdi Amini StringMap<FunctionImporter::ImportMapTy> &ImportLists, 38501e32130SMehdi Amini StringMap<FunctionImporter::ExportSetTy> &ExportLists) { 38601e32130SMehdi Amini // For each module that has function defined, compute the import/export lists. 3871aafabf7SMehdi Amini for (auto &DefinedGVSummaries : ModuleToDefinedGVSummaries) { 3881aafabf7SMehdi Amini auto &ImportsForModule = ImportLists[DefinedGVSummaries.first()]; 3891aafabf7SMehdi Amini DEBUG(dbgs() << "Computing import for Module '" 3901aafabf7SMehdi Amini << DefinedGVSummaries.first() << "'\n"); 3911aafabf7SMehdi Amini ComputeImportForModule(DefinedGVSummaries.second, Index, ImportsForModule, 392c86af334STeresa Johnson &ExportLists); 39301e32130SMehdi Amini } 39401e32130SMehdi Amini 39501e32130SMehdi Amini #ifndef NDEBUG 39601e32130SMehdi Amini DEBUG(dbgs() << "Import/Export lists for " << ImportLists.size() 39701e32130SMehdi Amini << " modules:\n"); 39801e32130SMehdi Amini for (auto &ModuleImports : ImportLists) { 39901e32130SMehdi Amini auto ModName = ModuleImports.first(); 40001e32130SMehdi Amini auto &Exports = ExportLists[ModName]; 40101e32130SMehdi Amini DEBUG(dbgs() << "* Module " << ModName << " exports " << Exports.size() 40201e32130SMehdi Amini << " functions. Imports from " << ModuleImports.second.size() 40301e32130SMehdi Amini << " modules.\n"); 40401e32130SMehdi Amini for (auto &Src : ModuleImports.second) { 40501e32130SMehdi Amini auto SrcModName = Src.first(); 40601e32130SMehdi Amini DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 40701e32130SMehdi Amini << SrcModName << "\n"); 40801e32130SMehdi Amini } 40901e32130SMehdi Amini } 41001e32130SMehdi Amini #endif 41101e32130SMehdi Amini } 41201e32130SMehdi Amini 413c86af334STeresa Johnson /// Compute all the imports for the given module in the Index. 414c86af334STeresa Johnson void llvm::ComputeCrossModuleImportForModule( 415c86af334STeresa Johnson StringRef ModulePath, const ModuleSummaryIndex &Index, 416c86af334STeresa Johnson FunctionImporter::ImportMapTy &ImportList) { 417c86af334STeresa Johnson 418c86af334STeresa Johnson // Collect the list of functions this module defines. 419c86af334STeresa Johnson // GUID -> Summary 420c851d216STeresa Johnson GVSummaryMapTy FunctionSummaryMap; 42128e457bcSTeresa Johnson Index.collectDefinedFunctionsForModule(ModulePath, FunctionSummaryMap); 422c86af334STeresa Johnson 423c86af334STeresa Johnson // Compute the import list for this module. 424c86af334STeresa Johnson DEBUG(dbgs() << "Computing import for Module '" << ModulePath << "'\n"); 42528e457bcSTeresa Johnson ComputeImportForModule(FunctionSummaryMap, Index, ImportList); 426c86af334STeresa Johnson 427c86af334STeresa Johnson #ifndef NDEBUG 428c86af334STeresa Johnson DEBUG(dbgs() << "* Module " << ModulePath << " imports from " 429c86af334STeresa Johnson << ImportList.size() << " modules.\n"); 430c86af334STeresa Johnson for (auto &Src : ImportList) { 431c86af334STeresa Johnson auto SrcModName = Src.first(); 432c86af334STeresa Johnson DEBUG(dbgs() << " - " << Src.second.size() << " functions imported from " 433c86af334STeresa Johnson << SrcModName << "\n"); 434c86af334STeresa Johnson } 435c86af334STeresa Johnson #endif 436c86af334STeresa Johnson } 437c86af334STeresa Johnson 43884174c37STeresa Johnson /// Compute the set of summaries needed for a ThinLTO backend compilation of 43984174c37STeresa Johnson /// \p ModulePath. 44084174c37STeresa Johnson void llvm::gatherImportedSummariesForModule( 44184174c37STeresa Johnson StringRef ModulePath, 44284174c37STeresa Johnson const StringMap<GVSummaryMapTy> &ModuleToDefinedGVSummaries, 443*cdbcbf74SMehdi Amini const FunctionImporter::ImportMapTy &ImportList, 44484174c37STeresa Johnson std::map<std::string, GVSummaryMapTy> &ModuleToSummariesForIndex) { 44584174c37STeresa Johnson // Include all summaries from the importing module. 44684174c37STeresa Johnson ModuleToSummariesForIndex[ModulePath] = 44784174c37STeresa Johnson ModuleToDefinedGVSummaries.lookup(ModulePath); 44884174c37STeresa Johnson // Include summaries for imports. 449*cdbcbf74SMehdi Amini for (auto &ILI : ImportListForModule) { 45084174c37STeresa Johnson auto &SummariesForIndex = ModuleToSummariesForIndex[ILI.first()]; 45184174c37STeresa Johnson const auto &DefinedGVSummaries = 45284174c37STeresa Johnson ModuleToDefinedGVSummaries.lookup(ILI.first()); 45384174c37STeresa Johnson for (auto &GI : ILI.second) { 45484174c37STeresa Johnson const auto &DS = DefinedGVSummaries.find(GI.first); 45584174c37STeresa Johnson assert(DS != DefinedGVSummaries.end() && 45684174c37STeresa Johnson "Expected a defined summary for imported global value"); 45784174c37STeresa Johnson SummariesForIndex[GI.first] = DS->second; 45884174c37STeresa Johnson } 45984174c37STeresa Johnson } 46084174c37STeresa Johnson } 46184174c37STeresa Johnson 4628570fe47STeresa Johnson /// Emit the files \p ModulePath will import from into \p OutputFilename. 463*cdbcbf74SMehdi Amini std::error_code 464*cdbcbf74SMehdi Amini llvm::EmitImportsFiles(StringRef ModulePath, StringRef OutputFilename, 465*cdbcbf74SMehdi Amini const FunctionImporter::ImportMapTy &ModuleImports) { 4668570fe47STeresa Johnson std::error_code EC; 4678570fe47STeresa Johnson raw_fd_ostream ImportsOS(OutputFilename, EC, sys::fs::OpenFlags::F_None); 4688570fe47STeresa Johnson if (EC) 4698570fe47STeresa Johnson return EC; 470*cdbcbf74SMehdi Amini for (auto &ILI : ModuleImports) 4718570fe47STeresa Johnson ImportsOS << ILI.first() << "\n"; 4728570fe47STeresa Johnson return std::error_code(); 4738570fe47STeresa Johnson } 4748570fe47STeresa Johnson 47504c9a2d6STeresa Johnson /// Fixup WeakForLinker linkages in \p TheModule based on summary analysis. 47604c9a2d6STeresa Johnson void llvm::thinLTOResolveWeakForLinkerModule( 47704c9a2d6STeresa Johnson Module &TheModule, const GVSummaryMapTy &DefinedGlobals) { 47804c9a2d6STeresa Johnson auto updateLinkage = [&](GlobalValue &GV) { 47904c9a2d6STeresa Johnson if (!GlobalValue::isWeakForLinker(GV.getLinkage())) 48004c9a2d6STeresa Johnson return; 48104c9a2d6STeresa Johnson // See if the global summary analysis computed a new resolved linkage. 48204c9a2d6STeresa Johnson const auto &GS = DefinedGlobals.find(GV.getGUID()); 48304c9a2d6STeresa Johnson if (GS == DefinedGlobals.end()) 48404c9a2d6STeresa Johnson return; 48504c9a2d6STeresa Johnson auto NewLinkage = GS->second->linkage(); 48604c9a2d6STeresa Johnson if (NewLinkage == GV.getLinkage()) 48704c9a2d6STeresa Johnson return; 48804c9a2d6STeresa Johnson DEBUG(dbgs() << "ODR fixing up linkage for `" << GV.getName() << "` from " 48904c9a2d6STeresa Johnson << GV.getLinkage() << " to " << NewLinkage << "\n"); 49004c9a2d6STeresa Johnson GV.setLinkage(NewLinkage); 4916107a419STeresa Johnson // Remove functions converted to available_externally from comdats, 4926107a419STeresa Johnson // as this is a declaration for the linker, and will be dropped eventually. 4936107a419STeresa Johnson // It is illegal for comdats to contain declarations. 4946107a419STeresa Johnson auto *GO = dyn_cast_or_null<GlobalObject>(&GV); 4956107a419STeresa Johnson if (GO && GO->isDeclarationForLinker() && GO->hasComdat()) { 4966107a419STeresa Johnson assert(GO->hasAvailableExternallyLinkage() && 4976107a419STeresa Johnson "Expected comdat on definition (possibly available external)"); 4986107a419STeresa Johnson GO->setComdat(nullptr); 4996107a419STeresa Johnson } 50004c9a2d6STeresa Johnson }; 50104c9a2d6STeresa Johnson 50204c9a2d6STeresa Johnson // Process functions and global now 50304c9a2d6STeresa Johnson for (auto &GV : TheModule) 50404c9a2d6STeresa Johnson updateLinkage(GV); 50504c9a2d6STeresa Johnson for (auto &GV : TheModule.globals()) 50604c9a2d6STeresa Johnson updateLinkage(GV); 50704c9a2d6STeresa Johnson for (auto &GV : TheModule.aliases()) 50804c9a2d6STeresa Johnson updateLinkage(GV); 50904c9a2d6STeresa Johnson } 51004c9a2d6STeresa Johnson 51104c9a2d6STeresa Johnson /// Run internalization on \p TheModule based on symmary analysis. 51204c9a2d6STeresa Johnson void llvm::thinLTOInternalizeModule(Module &TheModule, 51304c9a2d6STeresa Johnson const GVSummaryMapTy &DefinedGlobals) { 51404c9a2d6STeresa Johnson // Parse inline ASM and collect the list of symbols that are not defined in 51504c9a2d6STeresa Johnson // the current module. 51604c9a2d6STeresa Johnson StringSet<> AsmUndefinedRefs; 51704c9a2d6STeresa Johnson object::IRObjectFile::CollectAsmUndefinedRefs( 51804c9a2d6STeresa Johnson Triple(TheModule.getTargetTriple()), TheModule.getModuleInlineAsm(), 51904c9a2d6STeresa Johnson [&AsmUndefinedRefs](StringRef Name, object::BasicSymbolRef::Flags Flags) { 52004c9a2d6STeresa Johnson if (Flags & object::BasicSymbolRef::SF_Undefined) 52104c9a2d6STeresa Johnson AsmUndefinedRefs.insert(Name); 52204c9a2d6STeresa Johnson }); 52304c9a2d6STeresa Johnson 52404c9a2d6STeresa Johnson // Declare a callback for the internalize pass that will ask for every 52504c9a2d6STeresa Johnson // candidate GlobalValue if it can be internalized or not. 52604c9a2d6STeresa Johnson auto MustPreserveGV = [&](const GlobalValue &GV) -> bool { 52704c9a2d6STeresa Johnson // Can't be internalized if referenced in inline asm. 52804c9a2d6STeresa Johnson if (AsmUndefinedRefs.count(GV.getName())) 52904c9a2d6STeresa Johnson return true; 53004c9a2d6STeresa Johnson 53104c9a2d6STeresa Johnson // Lookup the linkage recorded in the summaries during global analysis. 53204c9a2d6STeresa Johnson const auto &GS = DefinedGlobals.find(GV.getGUID()); 53304c9a2d6STeresa Johnson GlobalValue::LinkageTypes Linkage; 53404c9a2d6STeresa Johnson if (GS == DefinedGlobals.end()) { 53504c9a2d6STeresa Johnson // Must have been promoted (possibly conservatively). Find original 53604c9a2d6STeresa Johnson // name so that we can access the correct summary and see if it can 53704c9a2d6STeresa Johnson // be internalized again. 53804c9a2d6STeresa Johnson // FIXME: Eventually we should control promotion instead of promoting 53904c9a2d6STeresa Johnson // and internalizing again. 54004c9a2d6STeresa Johnson StringRef OrigName = 54104c9a2d6STeresa Johnson ModuleSummaryIndex::getOriginalNameBeforePromote(GV.getName()); 54204c9a2d6STeresa Johnson std::string OrigId = GlobalValue::getGlobalIdentifier( 54304c9a2d6STeresa Johnson OrigName, GlobalValue::InternalLinkage, 54404c9a2d6STeresa Johnson TheModule.getSourceFileName()); 54504c9a2d6STeresa Johnson const auto &GS = DefinedGlobals.find(GlobalValue::getGUID(OrigId)); 5467ab1f692STeresa Johnson if (GS == DefinedGlobals.end()) { 5477ab1f692STeresa Johnson // Also check the original non-promoted non-globalized name. In some 5487ab1f692STeresa Johnson // cases a preempted weak value is linked in as a local copy because 5497ab1f692STeresa Johnson // it is referenced by an alias (IRLinker::linkGlobalValueProto). 5507ab1f692STeresa Johnson // In that case, since it was originally not a local value, it was 5517ab1f692STeresa Johnson // recorded in the index using the original name. 5527ab1f692STeresa Johnson // FIXME: This may not be needed once PR27866 is fixed. 5537ab1f692STeresa Johnson const auto &GS = DefinedGlobals.find(GlobalValue::getGUID(OrigName)); 55404c9a2d6STeresa Johnson assert(GS != DefinedGlobals.end()); 55504c9a2d6STeresa Johnson Linkage = GS->second->linkage(); 5567ab1f692STeresa Johnson } else { 5577ab1f692STeresa Johnson Linkage = GS->second->linkage(); 5587ab1f692STeresa Johnson } 55904c9a2d6STeresa Johnson } else 56004c9a2d6STeresa Johnson Linkage = GS->second->linkage(); 56104c9a2d6STeresa Johnson return !GlobalValue::isLocalLinkage(Linkage); 56204c9a2d6STeresa Johnson }; 56304c9a2d6STeresa Johnson 56404c9a2d6STeresa Johnson // FIXME: See if we can just internalize directly here via linkage changes 56504c9a2d6STeresa Johnson // based on the index, rather than invoking internalizeModule. 56604c9a2d6STeresa Johnson llvm::internalizeModule(TheModule, MustPreserveGV); 56704c9a2d6STeresa Johnson } 56804c9a2d6STeresa Johnson 569c8c55170SMehdi Amini // Automatically import functions in Module \p DestModule based on the summaries 570c8c55170SMehdi Amini // index. 571c8c55170SMehdi Amini // 57201e32130SMehdi Amini bool FunctionImporter::importFunctions( 573bda3c97cSMehdi Amini Module &DestModule, const FunctionImporter::ImportMapTy &ImportList, 574bda3c97cSMehdi Amini bool ForceImportReferencedDiscardableSymbols) { 5755411d051SMehdi Amini DEBUG(dbgs() << "Starting import for Module " 576311fef6eSMehdi Amini << DestModule.getModuleIdentifier() << "\n"); 577c8c55170SMehdi Amini unsigned ImportedCount = 0; 578c8c55170SMehdi Amini 579c8c55170SMehdi Amini // Linker that will be used for importing function 5809d2bfc48SRafael Espindola Linker TheLinker(DestModule); 5817e88d0daSMehdi Amini // Do the actual import of functions now, one Module at a time 58201e32130SMehdi Amini std::set<StringRef> ModuleNameOrderedList; 58301e32130SMehdi Amini for (auto &FunctionsToImportPerModule : ImportList) { 58401e32130SMehdi Amini ModuleNameOrderedList.insert(FunctionsToImportPerModule.first()); 58501e32130SMehdi Amini } 58601e32130SMehdi Amini for (auto &Name : ModuleNameOrderedList) { 5877e88d0daSMehdi Amini // Get the module for the import 58801e32130SMehdi Amini const auto &FunctionsToImportPerModule = ImportList.find(Name); 58901e32130SMehdi Amini assert(FunctionsToImportPerModule != ImportList.end()); 59001e32130SMehdi Amini std::unique_ptr<Module> SrcModule = ModuleLoader(Name); 5917e88d0daSMehdi Amini assert(&DestModule.getContext() == &SrcModule->getContext() && 5927e88d0daSMehdi Amini "Context mismatch"); 5937e88d0daSMehdi Amini 5946cba37ceSTeresa Johnson // If modules were created with lazy metadata loading, materialize it 5956cba37ceSTeresa Johnson // now, before linking it (otherwise this will be a noop). 5966cba37ceSTeresa Johnson SrcModule->materializeMetadata(); 5976cba37ceSTeresa Johnson UpgradeDebugInfo(*SrcModule); 598e5a61917STeresa Johnson 59901e32130SMehdi Amini auto &ImportGUIDs = FunctionsToImportPerModule->second; 60001e32130SMehdi Amini // Find the globals to import 60101e32130SMehdi Amini DenseSet<const GlobalValue *> GlobalsToImport; 6021f685e01SPiotr Padlewski for (Function &F : *SrcModule) { 6031f685e01SPiotr Padlewski if (!F.hasName()) 6040beb858eSTeresa Johnson continue; 6051f685e01SPiotr Padlewski auto GUID = F.getGUID(); 6060beb858eSTeresa Johnson auto Import = ImportGUIDs.count(GUID); 607aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing function " << GUID 6081f685e01SPiotr Padlewski << " " << F.getName() << " from " 609aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 6100beb858eSTeresa Johnson if (Import) { 6111f685e01SPiotr Padlewski F.materialize(); 6123b776128SPiotr Padlewski if (EnableImportMetadata) { 6136deaa6afSPiotr Padlewski // Add 'thinlto_src_module' metadata for statistics and debugging. 6143b776128SPiotr Padlewski F.setMetadata( 6153b776128SPiotr Padlewski "thinlto_src_module", 6163b776128SPiotr Padlewski llvm::MDNode::get( 6176deaa6afSPiotr Padlewski DestModule.getContext(), 6183b776128SPiotr Padlewski {llvm::MDString::get(DestModule.getContext(), 6196deaa6afSPiotr Padlewski SrcModule->getSourceFileName())})); 6203b776128SPiotr Padlewski } 6211f685e01SPiotr Padlewski GlobalsToImport.insert(&F); 62201e32130SMehdi Amini } 62301e32130SMehdi Amini } 6241f685e01SPiotr Padlewski for (GlobalVariable &GV : SrcModule->globals()) { 6252d28f7aaSMehdi Amini if (!GV.hasName()) 6262d28f7aaSMehdi Amini continue; 6272d28f7aaSMehdi Amini auto GUID = GV.getGUID(); 6282d28f7aaSMehdi Amini auto Import = ImportGUIDs.count(GUID); 629aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing global " << GUID 630aeb1e59bSMehdi Amini << " " << GV.getName() << " from " 631aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 6322d28f7aaSMehdi Amini if (Import) { 6332d28f7aaSMehdi Amini GV.materialize(); 6342d28f7aaSMehdi Amini GlobalsToImport.insert(&GV); 6352d28f7aaSMehdi Amini } 6362d28f7aaSMehdi Amini } 6371f685e01SPiotr Padlewski for (GlobalAlias &GA : SrcModule->aliases()) { 6381f685e01SPiotr Padlewski if (!GA.hasName()) 63901e32130SMehdi Amini continue; 6401f685e01SPiotr Padlewski auto GUID = GA.getGUID(); 6410beb858eSTeresa Johnson auto Import = ImportGUIDs.count(GUID); 642aeb1e59bSMehdi Amini DEBUG(dbgs() << (Import ? "Is" : "Not") << " importing alias " << GUID 6431f685e01SPiotr Padlewski << " " << GA.getName() << " from " 644aeb1e59bSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 6450beb858eSTeresa Johnson if (Import) { 64601e32130SMehdi Amini // Alias can't point to "available_externally". However when we import 6479aae395fSTeresa Johnson // linkOnceODR the linkage does not change. So we import the alias 6486968ef77SMehdi Amini // and aliasee only in this case. This has been handled by 6496968ef77SMehdi Amini // computeImportForFunction() 6501f685e01SPiotr Padlewski GlobalObject *GO = GA.getBaseObject(); 6516968ef77SMehdi Amini assert(GO->hasLinkOnceODRLinkage() && 6526968ef77SMehdi Amini "Unexpected alias to a non-linkonceODR in import list"); 6532d28f7aaSMehdi Amini #ifndef NDEBUG 6542d28f7aaSMehdi Amini if (!GlobalsToImport.count(GO)) 6552d28f7aaSMehdi Amini DEBUG(dbgs() << " alias triggers importing aliasee " << GO->getGUID() 6562d28f7aaSMehdi Amini << " " << GO->getName() << " from " 6572d28f7aaSMehdi Amini << SrcModule->getSourceFileName() << "\n"); 6582d28f7aaSMehdi Amini #endif 6592d28f7aaSMehdi Amini GO->materialize(); 66001e32130SMehdi Amini GlobalsToImport.insert(GO); 6611f685e01SPiotr Padlewski GA.materialize(); 6621f685e01SPiotr Padlewski GlobalsToImport.insert(&GA); 66301e32130SMehdi Amini } 66401e32130SMehdi Amini } 66501e32130SMehdi Amini 6667e88d0daSMehdi Amini // Link in the specified functions. 66701e32130SMehdi Amini if (renameModuleForThinLTO(*SrcModule, Index, &GlobalsToImport)) 6688d05185aSMehdi Amini return true; 6698d05185aSMehdi Amini 670d29478f7STeresa Johnson if (PrintImports) { 671d29478f7STeresa Johnson for (const auto *GV : GlobalsToImport) 672d29478f7STeresa Johnson dbgs() << DestModule.getSourceFileName() << ": Import " << GV->getName() 673d29478f7STeresa Johnson << " from " << SrcModule->getSourceFileName() << "\n"; 674d29478f7STeresa Johnson } 675d29478f7STeresa Johnson 676bda3c97cSMehdi Amini // Instruct the linker that the client will take care of linkonce resolution 677bda3c97cSMehdi Amini unsigned Flags = Linker::Flags::None; 678bda3c97cSMehdi Amini if (!ForceImportReferencedDiscardableSymbols) 679bda3c97cSMehdi Amini Flags |= Linker::Flags::DontForceLinkLinkonceODR; 680bda3c97cSMehdi Amini 681bda3c97cSMehdi Amini if (TheLinker.linkInModule(std::move(SrcModule), Flags, &GlobalsToImport)) 6827e88d0daSMehdi Amini report_fatal_error("Function Import: link error"); 6837e88d0daSMehdi Amini 68401e32130SMehdi Amini ImportedCount += GlobalsToImport.size(); 6857e88d0daSMehdi Amini } 686e5a61917STeresa Johnson 687d29478f7STeresa Johnson NumImported += ImportedCount; 688d29478f7STeresa Johnson 6897e88d0daSMehdi Amini DEBUG(dbgs() << "Imported " << ImportedCount << " functions for Module " 690c8c55170SMehdi Amini << DestModule.getModuleIdentifier() << "\n"); 691c8c55170SMehdi Amini return ImportedCount; 69242418abaSMehdi Amini } 69342418abaSMehdi Amini 69442418abaSMehdi Amini /// Summary file to use for function importing when using -function-import from 69542418abaSMehdi Amini /// the command line. 69642418abaSMehdi Amini static cl::opt<std::string> 69742418abaSMehdi Amini SummaryFile("summary-file", 69842418abaSMehdi Amini cl::desc("The summary file to use for function importing.")); 69942418abaSMehdi Amini 70042418abaSMehdi Amini static void diagnosticHandler(const DiagnosticInfo &DI) { 70142418abaSMehdi Amini raw_ostream &OS = errs(); 70242418abaSMehdi Amini DiagnosticPrinterRawOStream DP(OS); 70342418abaSMehdi Amini DI.print(DP); 70442418abaSMehdi Amini OS << '\n'; 70542418abaSMehdi Amini } 70642418abaSMehdi Amini 70726ab5772STeresa Johnson /// Parse the summary index out of an IR file and return the summary 70842418abaSMehdi Amini /// index object if found, or nullptr if not. 7091afc1de4SBenjamin Kramer static std::unique_ptr<ModuleSummaryIndex> getModuleSummaryIndexForFile( 7101afc1de4SBenjamin Kramer StringRef Path, std::string &Error, 7111afc1de4SBenjamin Kramer const DiagnosticHandlerFunction &DiagnosticHandler) { 71242418abaSMehdi Amini std::unique_ptr<MemoryBuffer> Buffer; 71342418abaSMehdi Amini ErrorOr<std::unique_ptr<MemoryBuffer>> BufferOrErr = 71442418abaSMehdi Amini MemoryBuffer::getFile(Path); 71542418abaSMehdi Amini if (std::error_code EC = BufferOrErr.getError()) { 71642418abaSMehdi Amini Error = EC.message(); 71742418abaSMehdi Amini return nullptr; 71842418abaSMehdi Amini } 71942418abaSMehdi Amini Buffer = std::move(BufferOrErr.get()); 72026ab5772STeresa Johnson ErrorOr<std::unique_ptr<object::ModuleSummaryIndexObjectFile>> ObjOrErr = 72126ab5772STeresa Johnson object::ModuleSummaryIndexObjectFile::create(Buffer->getMemBufferRef(), 72242418abaSMehdi Amini DiagnosticHandler); 72342418abaSMehdi Amini if (std::error_code EC = ObjOrErr.getError()) { 72442418abaSMehdi Amini Error = EC.message(); 72542418abaSMehdi Amini return nullptr; 72642418abaSMehdi Amini } 72742418abaSMehdi Amini return (*ObjOrErr)->takeIndex(); 72842418abaSMehdi Amini } 72942418abaSMehdi Amini 73021241571STeresa Johnson static bool doImportingForModule(Module &M, const ModuleSummaryIndex *Index) { 7315fcbdb71STeresa Johnson if (SummaryFile.empty() && !Index) 7325fcbdb71STeresa Johnson report_fatal_error("error: -function-import requires -summary-file or " 7335fcbdb71STeresa Johnson "file from frontend\n"); 73426ab5772STeresa Johnson std::unique_ptr<ModuleSummaryIndex> IndexPtr; 7355fcbdb71STeresa Johnson if (!SummaryFile.empty()) { 7365fcbdb71STeresa Johnson if (Index) 7375fcbdb71STeresa Johnson report_fatal_error("error: -summary-file and index from frontend\n"); 73842418abaSMehdi Amini std::string Error; 73926ab5772STeresa Johnson IndexPtr = 74026ab5772STeresa Johnson getModuleSummaryIndexForFile(SummaryFile, Error, diagnosticHandler); 7415fcbdb71STeresa Johnson if (!IndexPtr) { 74221241571STeresa Johnson errs() << "Error loading file '" << SummaryFile << "': " << Error << "\n"; 74342418abaSMehdi Amini return false; 74442418abaSMehdi Amini } 7455fcbdb71STeresa Johnson Index = IndexPtr.get(); 7465fcbdb71STeresa Johnson } 74742418abaSMehdi Amini 748c86af334STeresa Johnson // First step is collecting the import list. 749c86af334STeresa Johnson FunctionImporter::ImportMapTy ImportList; 750c86af334STeresa Johnson ComputeCrossModuleImportForModule(M.getModuleIdentifier(), *Index, 751c86af334STeresa Johnson ImportList); 75201e32130SMehdi Amini 75301e32130SMehdi Amini // Next we need to promote to global scope and rename any local values that 7541b00f2d9STeresa Johnson // are potentially exported to other modules. 75501e32130SMehdi Amini if (renameModuleForThinLTO(M, *Index, nullptr)) { 7561b00f2d9STeresa Johnson errs() << "Error renaming module\n"; 7571b00f2d9STeresa Johnson return false; 7581b00f2d9STeresa Johnson } 7591b00f2d9STeresa Johnson 76042418abaSMehdi Amini // Perform the import now. 761d16c8065SMehdi Amini auto ModuleLoader = [&M](StringRef Identifier) { 762d16c8065SMehdi Amini return loadFile(Identifier, M.getContext()); 763d16c8065SMehdi Amini }; 7649d2bfc48SRafael Espindola FunctionImporter Importer(*Index, ModuleLoader); 76521241571STeresa Johnson return Importer.importFunctions(M, ImportList, 76621241571STeresa Johnson !DontForceImportReferencedDiscardableSymbols); 76721241571STeresa Johnson } 76821241571STeresa Johnson 76921241571STeresa Johnson namespace { 77021241571STeresa Johnson /// Pass that performs cross-module function import provided a summary file. 77121241571STeresa Johnson class FunctionImportLegacyPass : public ModulePass { 77221241571STeresa Johnson /// Optional module summary index to use for importing, otherwise 77321241571STeresa Johnson /// the summary-file option must be specified. 77421241571STeresa Johnson const ModuleSummaryIndex *Index; 77521241571STeresa Johnson 77621241571STeresa Johnson public: 77721241571STeresa Johnson /// Pass identification, replacement for typeid 77821241571STeresa Johnson static char ID; 77921241571STeresa Johnson 78021241571STeresa Johnson /// Specify pass name for debug output 78121241571STeresa Johnson const char *getPassName() const override { return "Function Importing"; } 78221241571STeresa Johnson 78321241571STeresa Johnson explicit FunctionImportLegacyPass(const ModuleSummaryIndex *Index = nullptr) 78421241571STeresa Johnson : ModulePass(ID), Index(Index) {} 78521241571STeresa Johnson 78621241571STeresa Johnson bool runOnModule(Module &M) override { 78721241571STeresa Johnson if (skipModule(M)) 78821241571STeresa Johnson return false; 78921241571STeresa Johnson 79021241571STeresa Johnson return doImportingForModule(M, Index); 79142418abaSMehdi Amini } 79242418abaSMehdi Amini }; 793fe2b5415SBenjamin Kramer } // anonymous namespace 79442418abaSMehdi Amini 79521241571STeresa Johnson PreservedAnalyses FunctionImportPass::run(Module &M, 796fd03ac6aSSean Silva ModuleAnalysisManager &AM) { 79721241571STeresa Johnson if (!doImportingForModule(M, Index)) 79821241571STeresa Johnson return PreservedAnalyses::all(); 79921241571STeresa Johnson 80021241571STeresa Johnson return PreservedAnalyses::none(); 80121241571STeresa Johnson } 80221241571STeresa Johnson 80321241571STeresa Johnson char FunctionImportLegacyPass::ID = 0; 80421241571STeresa Johnson INITIALIZE_PASS(FunctionImportLegacyPass, "function-import", 80542418abaSMehdi Amini "Summary Based Function Import", false, false) 80642418abaSMehdi Amini 80742418abaSMehdi Amini namespace llvm { 80826ab5772STeresa Johnson Pass *createFunctionImportPass(const ModuleSummaryIndex *Index = nullptr) { 80921241571STeresa Johnson return new FunctionImportLegacyPass(Index); 8105fcbdb71STeresa Johnson } 81142418abaSMehdi Amini } 812