blob: 29d18b6e4d7b3c32eb37c46bffb765d17353085d [file] [log] [blame]
Lang Hames68c9b8d2018-06-18 18:01:43 +00001//===----- CompileOnDemandLayer.cpp - Lazily emit IR on first call --------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Lang Hames68c9b8d2018-06-18 18:01:43 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/CompileOnDemandLayer.h"
10#include "llvm/IR/Mangler.h"
11#include "llvm/IR/Module.h"
Lang Hames68c9b8d2018-06-18 18:01:43 +000012
13using namespace llvm;
14using namespace llvm::orc;
15
Lang Hames98440292018-09-29 23:49:57 +000016static ThreadSafeModule extractSubModule(ThreadSafeModule &TSM,
17 StringRef Suffix,
18 GVPredicate ShouldExtract) {
Lang Hames6a941342018-06-26 21:35:48 +000019
Lang Hames98440292018-09-29 23:49:57 +000020 auto DeleteExtractedDefs = [](GlobalValue &GV) {
21 // Bump the linkage: this global will be provided by the external module.
22 GV.setLinkage(GlobalValue::ExternalLinkage);
Lang Hames6a941342018-06-26 21:35:48 +000023
Lang Hames98440292018-09-29 23:49:57 +000024 // Delete the definition in the source module.
Lang Hames8d76c712018-09-26 01:24:12 +000025 if (isa<Function>(GV)) {
26 auto &F = cast<Function>(GV);
27 F.deleteBody();
28 F.setPersonalityFn(nullptr);
29 } else if (isa<GlobalVariable>(GV)) {
30 cast<GlobalVariable>(GV).setInitializer(nullptr);
Lang Hames98440292018-09-29 23:49:57 +000031 } else if (isa<GlobalAlias>(GV)) {
32 // We need to turn deleted aliases into function or variable decls based
33 // on the type of their aliasee.
34 auto &A = cast<GlobalAlias>(GV);
35 Constant *Aliasee = A.getAliasee();
36 assert(A.hasName() && "Anonymous alias?");
37 assert(Aliasee->hasName() && "Anonymous aliasee");
Benjamin Krameradcd0262020-01-28 20:23:46 +010038 std::string AliasName = std::string(A.getName());
Lang Hames98440292018-09-29 23:49:57 +000039
40 if (isa<Function>(Aliasee)) {
41 auto *F = cloneFunctionDecl(*A.getParent(), *cast<Function>(Aliasee));
42 A.replaceAllUsesWith(F);
43 A.eraseFromParent();
44 F->setName(AliasName);
45 } else if (isa<GlobalVariable>(Aliasee)) {
46 auto *G = cloneGlobalVariableDecl(*A.getParent(),
47 *cast<GlobalVariable>(Aliasee));
48 A.replaceAllUsesWith(G);
49 A.eraseFromParent();
50 G->setName(AliasName);
51 } else
52 llvm_unreachable("Alias to unsupported type");
Lang Hames8d76c712018-09-26 01:24:12 +000053 } else
54 llvm_unreachable("Unsupported global type");
Lang Hames8d76c712018-09-26 01:24:12 +000055 };
Lang Hames68c9b8d2018-06-18 18:01:43 +000056
Lang Hames809e9d12019-08-02 15:21:37 +000057 auto NewTSM = cloneToNewContext(TSM, ShouldExtract, DeleteExtractedDefs);
58 NewTSM.withModuleDo([&](Module &M) {
59 M.setModuleIdentifier((M.getModuleIdentifier() + Suffix).str());
60 });
Lang Hames68c9b8d2018-06-18 18:01:43 +000061
Lang Hames809e9d12019-08-02 15:21:37 +000062 return NewTSM;
Lang Hames7bd89702018-07-05 19:01:27 +000063}
64
Lang Hames68c9b8d2018-06-18 18:01:43 +000065namespace llvm {
66namespace orc {
67
Lang Hames98440292018-09-29 23:49:57 +000068class PartitioningIRMaterializationUnit : public IRMaterializationUnit {
Lang Hames68c9b8d2018-06-18 18:01:43 +000069public:
Lang Hamesce2207a2020-01-21 16:28:30 -080070 PartitioningIRMaterializationUnit(ExecutionSession &ES,
71 const ManglingOptions &MO,
72 ThreadSafeModule TSM, VModuleKey K,
73 CompileOnDemandLayer &Parent)
74 : IRMaterializationUnit(ES, MO, std::move(TSM), std::move(K)),
Lang Hames8b942742018-10-16 20:13:06 +000075 Parent(Parent) {}
Lang Hames68c9b8d2018-06-18 18:01:43 +000076
Lang Hames98440292018-09-29 23:49:57 +000077 PartitioningIRMaterializationUnit(
78 ThreadSafeModule TSM, SymbolFlagsMap SymbolFlags,
79 SymbolNameToDefinitionMap SymbolToDefinition,
Lang Hames079df9a2018-10-15 22:56:10 +000080 CompileOnDemandLayer &Parent)
Lang Hames8b942742018-10-16 20:13:06 +000081 : IRMaterializationUnit(std::move(TSM), std::move(K),
82 std::move(SymbolFlags),
Lang Hames68c9b8d2018-06-18 18:01:43 +000083 std::move(SymbolToDefinition)),
Lang Hamesfd0c1e712018-07-20 18:31:50 +000084 Parent(Parent) {}
Lang Hames68c9b8d2018-06-18 18:01:43 +000085
86private:
87 void materialize(MaterializationResponsibility R) override {
Lang Hames98440292018-09-29 23:49:57 +000088 Parent.emitPartition(std::move(R), std::move(TSM),
89 std::move(SymbolToDefinition));
Lang Hames68c9b8d2018-06-18 18:01:43 +000090 }
91
Lang Hamescb5702c32018-10-06 23:02:06 +000092 void discard(const JITDylib &V, const SymbolStringPtr &Name) override {
Lang Hames68c9b8d2018-06-18 18:01:43 +000093 // All original symbols were materialized by the CODLayer and should be
94 // final. The function bodies provided by M should never be overridden.
95 llvm_unreachable("Discard should never be called on an "
96 "ExtractingIRMaterializationUnit");
97 }
98
Lang Hames7bd89702018-07-05 19:01:27 +000099 mutable std::mutex SourceModuleMutex;
Lang Hames079df9a2018-10-15 22:56:10 +0000100 CompileOnDemandLayer &Parent;
Lang Hames68c9b8d2018-06-18 18:01:43 +0000101};
102
Lang Hames079df9a2018-10-15 22:56:10 +0000103Optional<CompileOnDemandLayer::GlobalValueSet>
104CompileOnDemandLayer::compileRequested(GlobalValueSet Requested) {
Lang Hames98440292018-09-29 23:49:57 +0000105 return std::move(Requested);
106}
107
Lang Hames079df9a2018-10-15 22:56:10 +0000108Optional<CompileOnDemandLayer::GlobalValueSet>
109CompileOnDemandLayer::compileWholeModule(GlobalValueSet Requested) {
Lang Hames98440292018-09-29 23:49:57 +0000110 return None;
111}
112
Lang Hames079df9a2018-10-15 22:56:10 +0000113CompileOnDemandLayer::CompileOnDemandLayer(
Lang Hamesd8048672018-09-26 05:08:29 +0000114 ExecutionSession &ES, IRLayer &BaseLayer, LazyCallThroughManager &LCTMgr,
Lang Hames8d76c712018-09-26 01:24:12 +0000115 IndirectStubsManagerBuilder BuildIndirectStubsManager)
Lang Hamesce2207a2020-01-21 16:28:30 -0800116 : IRLayer(ES, BaseLayer.getManglingOptions()), BaseLayer(BaseLayer),
117 LCTMgr(LCTMgr),
Lang Hames8d76c712018-09-26 01:24:12 +0000118 BuildIndirectStubsManager(std::move(BuildIndirectStubsManager)) {}
Lang Hames68c9b8d2018-06-18 18:01:43 +0000119
Lang Hames079df9a2018-10-15 22:56:10 +0000120void CompileOnDemandLayer::setPartitionFunction(PartitionFunction Partition) {
Lang Hames98440292018-09-29 23:49:57 +0000121 this->Partition = std::move(Partition);
Lang Hames68c9b8d2018-06-18 18:01:43 +0000122}
123
Praveen Velliengirif5c40cb2019-08-03 14:42:13 +0000124void CompileOnDemandLayer::setImplMap(ImplSymbolMap *Imp) {
125 this->AliaseeImpls = Imp;
126}
Lang Hames8b942742018-10-16 20:13:06 +0000127void CompileOnDemandLayer::emit(MaterializationResponsibility R,
128 ThreadSafeModule TSM) {
Lang Hames809e9d12019-08-02 15:21:37 +0000129 assert(TSM && "Null module");
Lang Hames98440292018-09-29 23:49:57 +0000130
Lang Hames68c9b8d2018-06-18 18:01:43 +0000131 auto &ES = getExecutionSession();
Lang Hames68c9b8d2018-06-18 18:01:43 +0000132
Lang Hames809e9d12019-08-02 15:21:37 +0000133 // Sort the callables and non-callables, build re-exports and lodge the
Lang Hames98440292018-09-29 23:49:57 +0000134 // actual module with the implementation dylib.
135 auto &PDR = getPerDylibResources(R.getTargetJITDylib());
Lang Hames68c9b8d2018-06-18 18:01:43 +0000136
Lang Hames98440292018-09-29 23:49:57 +0000137 SymbolAliasMap NonCallables;
138 SymbolAliasMap Callables;
Lang Hames809e9d12019-08-02 15:21:37 +0000139 TSM.withModuleDo([&](Module &M) {
140 // First, do some cleanup on the module:
141 cleanUpModule(M);
Lang Hames809e9d12019-08-02 15:21:37 +0000142 });
Lang Hames68c9b8d2018-06-18 18:01:43 +0000143
Lang Hamesce2207a2020-01-21 16:28:30 -0800144 for (auto &KV : R.getSymbols()) {
145 auto &Name = KV.first;
146 auto &Flags = KV.second;
147 if (Flags.isCallable())
148 Callables[Name] = SymbolAliasMapEntry(Name, Flags);
149 else
150 NonCallables[Name] = SymbolAliasMapEntry(Name, Flags);
151 }
152
Lang Hames98440292018-09-29 23:49:57 +0000153 // Create a partitioning materialization unit and lodge it with the
154 // implementation dylib.
155 if (auto Err = PDR.getImplDylib().define(
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000156 std::make_unique<PartitioningIRMaterializationUnit>(
Lang Hamesce2207a2020-01-21 16:28:30 -0800157 ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(),
158 *this))) {
Lang Hames68c9b8d2018-06-18 18:01:43 +0000159 ES.reportError(std::move(Err));
160 R.failMaterialization();
161 return;
162 }
163
Lang Hames674df132019-11-25 21:57:27 -0800164 R.replace(reexports(PDR.getImplDylib(), std::move(NonCallables),
165 JITDylibLookupFlags::MatchAllSymbols));
Lang Hames98440292018-09-29 23:49:57 +0000166 R.replace(lazyReexports(LCTMgr, PDR.getISManager(), PDR.getImplDylib(),
Praveen Velliengirif5c40cb2019-08-03 14:42:13 +0000167 std::move(Callables), AliaseeImpls));
Lang Hames68c9b8d2018-06-18 18:01:43 +0000168}
169
Lang Hames079df9a2018-10-15 22:56:10 +0000170CompileOnDemandLayer::PerDylibResources &
171CompileOnDemandLayer::getPerDylibResources(JITDylib &TargetD) {
Lang Hamesd8048672018-09-26 05:08:29 +0000172 auto I = DylibResources.find(&TargetD);
173 if (I == DylibResources.end()) {
Lang Hames4fc68b92019-12-04 22:45:38 -0800174 auto &ImplD =
175 getExecutionSession().createJITDylib(TargetD.getName() + ".impl");
Lang Hames674df132019-11-25 21:57:27 -0800176 TargetD.withSearchOrderDo(
177 [&](const JITDylibSearchOrder &TargetSearchOrder) {
178 auto NewSearchOrder = TargetSearchOrder;
179 assert(
180 !NewSearchOrder.empty() &&
181 NewSearchOrder.front().first == &TargetD &&
182 NewSearchOrder.front().second ==
183 JITDylibLookupFlags::MatchAllSymbols &&
184 "TargetD must be at the front of its own search order and match "
185 "non-exported symbol");
186 NewSearchOrder.insert(std::next(NewSearchOrder.begin()),
187 {&ImplD, JITDylibLookupFlags::MatchAllSymbols});
188 ImplD.setSearchOrder(std::move(NewSearchOrder), false);
189 });
Lang Hamesd8048672018-09-26 05:08:29 +0000190 PerDylibResources PDR(ImplD, BuildIndirectStubsManager());
191 I = DylibResources.insert(std::make_pair(&TargetD, std::move(PDR))).first;
192 }
193
194 return I->second;
Lang Hames68c9b8d2018-06-18 18:01:43 +0000195}
196
Lang Hames079df9a2018-10-15 22:56:10 +0000197void CompileOnDemandLayer::cleanUpModule(Module &M) {
Lang Hames98440292018-09-29 23:49:57 +0000198 for (auto &F : M.functions()) {
199 if (F.isDeclaration())
200 continue;
201
202 if (F.hasAvailableExternallyLinkage()) {
203 F.deleteBody();
204 F.setPersonalityFn(nullptr);
205 continue;
206 }
207 }
208}
209
Lang Hames079df9a2018-10-15 22:56:10 +0000210void CompileOnDemandLayer::expandPartition(GlobalValueSet &Partition) {
Lang Hames98440292018-09-29 23:49:57 +0000211 // Expands the partition to ensure the following rules hold:
212 // (1) If any alias is in the partition, its aliasee is also in the partition.
213 // (2) If any aliasee is in the partition, its aliases are also in the
214 // partiton.
215 // (3) If any global variable is in the partition then all global variables
216 // are in the partition.
217 assert(!Partition.empty() && "Unexpected empty partition");
218
219 const Module &M = *(*Partition.begin())->getParent();
220 bool ContainsGlobalVariables = false;
221 std::vector<const GlobalValue *> GVsToAdd;
222
223 for (auto *GV : Partition)
224 if (isa<GlobalAlias>(GV))
225 GVsToAdd.push_back(
226 cast<GlobalValue>(cast<GlobalAlias>(GV)->getAliasee()));
227 else if (isa<GlobalVariable>(GV))
228 ContainsGlobalVariables = true;
229
230 for (auto &A : M.aliases())
231 if (Partition.count(cast<GlobalValue>(A.getAliasee())))
232 GVsToAdd.push_back(&A);
233
234 if (ContainsGlobalVariables)
235 for (auto &G : M.globals())
236 GVsToAdd.push_back(&G);
237
238 for (auto *GV : GVsToAdd)
239 Partition.insert(GV);
240}
241
Lang Hames079df9a2018-10-15 22:56:10 +0000242void CompileOnDemandLayer::emitPartition(
Lang Hames98440292018-09-29 23:49:57 +0000243 MaterializationResponsibility R, ThreadSafeModule TSM,
244 IRMaterializationUnit::SymbolNameToDefinitionMap Defs) {
245
246 // FIXME: Need a 'notify lazy-extracting/emitting' callback to tie the
247 // extracted module key, extracted module, and source module key
248 // together. This could be used, for example, to provide a specific
249 // memory manager instance to the linking layer.
250
251 auto &ES = getExecutionSession();
Lang Hames98440292018-09-29 23:49:57 +0000252 GlobalValueSet RequestedGVs;
253 for (auto &Name : R.getRequestedSymbols()) {
254 assert(Defs.count(Name) && "No definition for symbol");
255 RequestedGVs.insert(Defs[Name]);
256 }
257
Lang Hames809e9d12019-08-02 15:21:37 +0000258 /// Perform partitioning with the context lock held, since the partition
259 /// function is allowed to access the globals to compute the partition.
260 auto GVsToExtract =
261 TSM.withModuleDo([&](Module &M) { return Partition(RequestedGVs); });
Lang Hames98440292018-09-29 23:49:57 +0000262
263 // Take a 'None' partition to mean the whole module (as opposed to an empty
264 // partition, which means "materialize nothing"). Emit the whole module
265 // unmodified to the base layer.
266 if (GVsToExtract == None) {
267 Defs.clear();
Lang Hames8b942742018-10-16 20:13:06 +0000268 BaseLayer.emit(std::move(R), std::move(TSM));
Lang Hames98440292018-09-29 23:49:57 +0000269 return;
270 }
271
272 // If the partition is empty, return the whole module to the symbol table.
273 if (GVsToExtract->empty()) {
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000274 R.replace(std::make_unique<PartitioningIRMaterializationUnit>(
Lang Hames98440292018-09-29 23:49:57 +0000275 std::move(TSM), R.getSymbols(), std::move(Defs), *this));
276 return;
277 }
278
Lang Hamesbf6603e2018-10-09 20:44:32 +0000279 // Ok -- we actually need to partition the symbols. Promote the symbol
Lang Hames809e9d12019-08-02 15:21:37 +0000280 // linkages/names, expand the partition to include any required symbols
281 // (i.e. symbols that can't be separated from our partition), and
282 // then extract the partition.
283 //
284 // FIXME: We apply this promotion once per partitioning. It's safe, but
285 // overkill.
286
287 auto ExtractedTSM =
288 TSM.withModuleDo([&](Module &M) -> Expected<ThreadSafeModule> {
289 auto PromotedGlobals = PromoteSymbols(M);
290 if (!PromotedGlobals.empty()) {
291 MangleAndInterner Mangle(ES, M.getDataLayout());
292 SymbolFlagsMap SymbolFlags;
293 for (auto &GV : PromotedGlobals)
294 SymbolFlags[Mangle(GV->getName())] =
295 JITSymbolFlags::fromGlobalValue(*GV);
296 if (auto Err = R.defineMaterializing(SymbolFlags))
297 return std::move(Err);
298 }
299
300 expandPartition(*GVsToExtract);
301
302 // Extract the requested partiton (plus any necessary aliases) and
303 // put the rest back into the impl dylib.
304 auto ShouldExtract = [&](const GlobalValue &GV) -> bool {
305 return GVsToExtract->count(&GV);
306 };
307
308 return extractSubModule(TSM, ".submodule", ShouldExtract);
309 });
310
311 if (!ExtractedTSM) {
312 ES.reportError(ExtractedTSM.takeError());
313 R.failMaterialization();
314 return;
Lang Hamesbf6603e2018-10-09 20:44:32 +0000315 }
316
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000317 R.replace(std::make_unique<PartitioningIRMaterializationUnit>(
Lang Hamesce2207a2020-01-21 16:28:30 -0800318 ES, *getManglingOptions(), std::move(TSM), R.getVModuleKey(), *this));
Lang Hames809e9d12019-08-02 15:21:37 +0000319 BaseLayer.emit(std::move(R), std::move(*ExtractedTSM));
Lang Hames68c9b8d2018-06-18 18:01:43 +0000320}
321
322} // end namespace orc
323} // end namespace llvm