1 //===----- CompileOnDemandLayer.cpp - Lazily emit IR on first call --------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "llvm/ExecutionEngine/Orc/CompileOnDemandLayer.h"
10 #include "llvm/ExecutionEngine/Orc/ExecutionUtils.h"
11 #include "llvm/IR/Mangler.h"
12 #include "llvm/IR/Module.h"
13 
14 using namespace llvm;
15 using namespace llvm::orc;
16 
17 static ThreadSafeModule extractSubModule(ThreadSafeModule &TSM,
18                                          StringRef Suffix,
19                                          GVPredicate ShouldExtract) {
20 
21   auto DeleteExtractedDefs = [](GlobalValue &GV) {
22     // Bump the linkage: this global will be provided by the external module.
23     GV.setLinkage(GlobalValue::ExternalLinkage);
24 
25     // Delete the definition in the source module.
26     if (isa<Function>(GV)) {
27       auto &F = cast<Function>(GV);
28       F.deleteBody();
29       F.setPersonalityFn(nullptr);
30     } else if (isa<GlobalVariable>(GV)) {
31       cast<GlobalVariable>(GV).setInitializer(nullptr);
32     } else if (isa<GlobalAlias>(GV)) {
33       // We need to turn deleted aliases into function or variable decls based
34       // on the type of their aliasee.
35       auto &A = cast<GlobalAlias>(GV);
36       Constant *Aliasee = A.getAliasee();
37       assert(A.hasName() && "Anonymous alias?");
38       assert(Aliasee->hasName() && "Anonymous aliasee");
39       std::string AliasName = std::string(A.getName());
40 
41       if (isa<Function>(Aliasee)) {
42         auto *F = cloneFunctionDecl(*A.getParent(), *cast<Function>(Aliasee));
43         A.replaceAllUsesWith(F);
44         A.eraseFromParent();
45         F->setName(AliasName);
46       } else if (isa<GlobalVariable>(Aliasee)) {
47         auto *G = cloneGlobalVariableDecl(*A.getParent(),
48                                           *cast<GlobalVariable>(Aliasee));
49         A.replaceAllUsesWith(G);
50         A.eraseFromParent();
51         G->setName(AliasName);
52       } else
53         llvm_unreachable("Alias to unsupported type");
54     } else
55       llvm_unreachable("Unsupported global type");
56   };
57 
58   auto NewTSM = cloneToNewContext(TSM, ShouldExtract, DeleteExtractedDefs);
59   NewTSM.withModuleDo([&](Module &M) {
60     M.setModuleIdentifier((M.getModuleIdentifier() + Suffix).str());
61   });
62 
63   return NewTSM;
64 }
65 
66 namespace llvm {
67 namespace orc {
68 
69 class PartitioningIRMaterializationUnit : public IRMaterializationUnit {
70 public:
71   PartitioningIRMaterializationUnit(ExecutionSession &ES,
72                                     const IRSymbolMapper::ManglingOptions &MO,
73                                     ThreadSafeModule TSM, VModuleKey K,
74                                     CompileOnDemandLayer &Parent)
75       : IRMaterializationUnit(ES, MO, std::move(TSM), std::move(K)),
76         Parent(Parent) {}
77 
78   PartitioningIRMaterializationUnit(
79       ThreadSafeModule TSM, VModuleKey K, SymbolFlagsMap SymbolFlags,
80       SymbolStringPtr InitSymbol, SymbolNameToDefinitionMap SymbolToDefinition,
81       CompileOnDemandLayer &Parent)
82       : IRMaterializationUnit(std::move(TSM), std::move(K),
83                               std::move(SymbolFlags), std::move(InitSymbol),
84                               std::move(SymbolToDefinition)),
85         Parent(Parent) {}
86 
87 private:
88   void materialize(MaterializationResponsibility R) override {
89     Parent.emitPartition(std::move(R), std::move(TSM),
90                          std::move(SymbolToDefinition));
91   }
92 
93   void discard(const JITDylib &V, const SymbolStringPtr &Name) override {
94     // All original symbols were materialized by the CODLayer and should be
95     // final. The function bodies provided by M should never be overridden.
96     llvm_unreachable("Discard should never be called on an "
97                      "ExtractingIRMaterializationUnit");
98   }
99 
100   mutable std::mutex SourceModuleMutex;
101   CompileOnDemandLayer &Parent;
102 };
103 
104 Optional<CompileOnDemandLayer::GlobalValueSet>
105 CompileOnDemandLayer::compileRequested(GlobalValueSet Requested) {
106   return std::move(Requested);
107 }
108 
109 Optional<CompileOnDemandLayer::GlobalValueSet>
110 CompileOnDemandLayer::compileWholeModule(GlobalValueSet Requested) {
111   return None;
112 }
113 
114 CompileOnDemandLayer::CompileOnDemandLayer(
115     ExecutionSession &ES, IRLayer &BaseLayer, LazyCallThroughManager &LCTMgr,
116     IndirectStubsManagerBuilder BuildIndirectStubsManager)
117     : IRLayer(ES, BaseLayer.getManglingOptions()), BaseLayer(BaseLayer),
118       LCTMgr(LCTMgr),
119       BuildIndirectStubsManager(std::move(BuildIndirectStubsManager)) {}
120 
121 void CompileOnDemandLayer::setPartitionFunction(PartitionFunction Partition) {
122   this->Partition = std::move(Partition);
123 }
124 
125 void CompileOnDemandLayer::setImplMap(ImplSymbolMap *Imp) {
126   this->AliaseeImpls = Imp;
127 }
128 void CompileOnDemandLayer::emit(MaterializationResponsibility R,
129                                 ThreadSafeModule TSM) {
130   assert(TSM && "Null module");
131 
132   auto &ES = getExecutionSession();
133 
134   // Sort the callables and non-callables, build re-exports and lodge the
135   // actual module with the implementation dylib.
136   auto &PDR = getPerDylibResources(R.getTargetJITDylib());
137 
138   SymbolAliasMap NonCallables;
139   SymbolAliasMap Callables;
140   TSM.withModuleDo([&](Module &M) {
141     // First, do some cleanup on the module:
142     cleanUpModule(M);
143   });
144 
145   for (auto &KV : R.getSymbols()) {
146     auto &Name = KV.first;
147     auto &Flags = KV.second;
148     if (Flags.isCallable())
149       Callables[Name] = SymbolAliasMapEntry(Name, Flags);
150     else
151       NonCallables[Name] = SymbolAliasMapEntry(Name, Flags);
152   }
153 
154   // Create a partitioning materialization unit and lodge it with the
155   // implementation dylib.
156   if (auto Err = PDR.getImplDylib().define(
157           std::make_unique<PartitioningIRMaterializationUnit>(
158               ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(),
159               *this))) {
160     ES.reportError(std::move(Err));
161     R.failMaterialization();
162     return;
163   }
164 
165   R.replace(reexports(PDR.getImplDylib(), std::move(NonCallables),
166                       JITDylibLookupFlags::MatchAllSymbols));
167   R.replace(lazyReexports(LCTMgr, PDR.getISManager(), PDR.getImplDylib(),
168                           std::move(Callables), AliaseeImpls));
169 }
170 
171 CompileOnDemandLayer::PerDylibResources &
172 CompileOnDemandLayer::getPerDylibResources(JITDylib &TargetD) {
173   auto I = DylibResources.find(&TargetD);
174   if (I == DylibResources.end()) {
175     auto &ImplD =
176         getExecutionSession().createBareJITDylib(TargetD.getName() + ".impl");
177     JITDylibSearchOrder NewSearchOrder;
178     TargetD.withSearchOrderDo(
179         [&](const JITDylibSearchOrder &TargetSearchOrder) {
180           NewSearchOrder = TargetSearchOrder;
181         });
182 
183     assert(
184         !NewSearchOrder.empty() && NewSearchOrder.front().first == &TargetD &&
185         NewSearchOrder.front().second == JITDylibLookupFlags::MatchAllSymbols &&
186         "TargetD must be at the front of its own search order and match "
187         "non-exported symbol");
188     NewSearchOrder.insert(std::next(NewSearchOrder.begin()),
189                           {&ImplD, JITDylibLookupFlags::MatchAllSymbols});
190     ImplD.setSearchOrder(NewSearchOrder, false);
191     TargetD.setSearchOrder(std::move(NewSearchOrder), false);
192 
193     PerDylibResources PDR(ImplD, BuildIndirectStubsManager());
194     I = DylibResources.insert(std::make_pair(&TargetD, std::move(PDR))).first;
195   }
196 
197   return I->second;
198 }
199 
200 void CompileOnDemandLayer::cleanUpModule(Module &M) {
201   for (auto &F : M.functions()) {
202     if (F.isDeclaration())
203       continue;
204 
205     if (F.hasAvailableExternallyLinkage()) {
206       F.deleteBody();
207       F.setPersonalityFn(nullptr);
208       continue;
209     }
210   }
211 }
212 
213 void CompileOnDemandLayer::expandPartition(GlobalValueSet &Partition) {
214   // Expands the partition to ensure the following rules hold:
215   // (1) If any alias is in the partition, its aliasee is also in the partition.
216   // (2) If any aliasee is in the partition, its aliases are also in the
217   //     partiton.
218   // (3) If any global variable is in the partition then all global variables
219   //     are in the partition.
220   assert(!Partition.empty() && "Unexpected empty partition");
221 
222   const Module &M = *(*Partition.begin())->getParent();
223   bool ContainsGlobalVariables = false;
224   std::vector<const GlobalValue *> GVsToAdd;
225 
226   for (auto *GV : Partition)
227     if (isa<GlobalAlias>(GV))
228       GVsToAdd.push_back(
229           cast<GlobalValue>(cast<GlobalAlias>(GV)->getAliasee()));
230     else if (isa<GlobalVariable>(GV))
231       ContainsGlobalVariables = true;
232 
233   for (auto &A : M.aliases())
234     if (Partition.count(cast<GlobalValue>(A.getAliasee())))
235       GVsToAdd.push_back(&A);
236 
237   if (ContainsGlobalVariables)
238     for (auto &G : M.globals())
239       GVsToAdd.push_back(&G);
240 
241   for (auto *GV : GVsToAdd)
242     Partition.insert(GV);
243 }
244 
245 void CompileOnDemandLayer::emitPartition(
246     MaterializationResponsibility R, ThreadSafeModule TSM,
247     IRMaterializationUnit::SymbolNameToDefinitionMap Defs) {
248 
249   // FIXME: Need a 'notify lazy-extracting/emitting' callback to tie the
250   //        extracted module key, extracted module, and source module key
251   //        together. This could be used, for example, to provide a specific
252   //        memory manager instance to the linking layer.
253 
254   auto &ES = getExecutionSession();
255   GlobalValueSet RequestedGVs;
256   for (auto &Name : R.getRequestedSymbols()) {
257     if (Name == R.getInitializerSymbol())
258       TSM.withModuleDo([&](Module &M) {
259         for (auto &GV : getStaticInitGVs(M))
260           RequestedGVs.insert(&GV);
261       });
262     else {
263       assert(Defs.count(Name) && "No definition for symbol");
264       RequestedGVs.insert(Defs[Name]);
265     }
266   }
267 
268   /// Perform partitioning with the context lock held, since the partition
269   /// function is allowed to access the globals to compute the partition.
270   auto GVsToExtract =
271       TSM.withModuleDo([&](Module &M) { return Partition(RequestedGVs); });
272 
273   // Take a 'None' partition to mean the whole module (as opposed to an empty
274   // partition, which means "materialize nothing"). Emit the whole module
275   // unmodified to the base layer.
276   if (GVsToExtract == None) {
277     Defs.clear();
278     BaseLayer.emit(std::move(R), std::move(TSM));
279     return;
280   }
281 
282   // If the partition is empty, return the whole module to the symbol table.
283   if (GVsToExtract->empty()) {
284     R.replace(std::make_unique<PartitioningIRMaterializationUnit>(
285         std::move(TSM), R.getVModuleKey(), R.getSymbols(),
286         R.getInitializerSymbol(), std::move(Defs), *this));
287     return;
288   }
289 
290   // Ok -- we actually need to partition the symbols. Promote the symbol
291   // linkages/names, expand the partition to include any required symbols
292   // (i.e. symbols that can't be separated from our partition), and
293   // then extract the partition.
294   //
295   // FIXME: We apply this promotion once per partitioning. It's safe, but
296   // overkill.
297 
298   auto ExtractedTSM =
299       TSM.withModuleDo([&](Module &M) -> Expected<ThreadSafeModule> {
300         auto PromotedGlobals = PromoteSymbols(M);
301         if (!PromotedGlobals.empty()) {
302           MangleAndInterner Mangle(ES, M.getDataLayout());
303           SymbolFlagsMap SymbolFlags;
304           for (auto &GV : PromotedGlobals)
305             SymbolFlags[Mangle(GV->getName())] =
306                 JITSymbolFlags::fromGlobalValue(*GV);
307           if (auto Err = R.defineMaterializing(SymbolFlags))
308             return std::move(Err);
309         }
310 
311         expandPartition(*GVsToExtract);
312 
313         // Extract the requested partiton (plus any necessary aliases) and
314         // put the rest back into the impl dylib.
315         auto ShouldExtract = [&](const GlobalValue &GV) -> bool {
316           return GVsToExtract->count(&GV);
317         };
318 
319         return extractSubModule(TSM, ".submodule", ShouldExtract);
320       });
321 
322   if (!ExtractedTSM) {
323     ES.reportError(ExtractedTSM.takeError());
324     R.failMaterialization();
325     return;
326   }
327 
328   R.replace(std::make_unique<PartitioningIRMaterializationUnit>(
329       ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(), *this));
330   BaseLayer.emit(std::move(R), std::move(*ExtractedTSM));
331 }
332 
333 } // end namespace orc
334 } // end namespace llvm
335