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