blob: 83d3f676dc4952f306db5ecbbadccd61fbcc1559 [file] [log] [blame]
Lang Hames11c8dfa52019-04-20 17:10:34 +00001//===------- ObjectLinkingLayer.cpp - JITLink backed ORC ObjectLayer ------===//
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/ObjectLinkingLayer.h"
10
11#include "llvm/ADT/Optional.h"
Lang Hames1233c152019-04-22 03:03:09 +000012#include "llvm/ExecutionEngine/JITLink/EHFrameSupport.h"
Lang Hames11c8dfa52019-04-20 17:10:34 +000013
14#include <vector>
15
16#define DEBUG_TYPE "orc"
17
18using namespace llvm;
19using namespace llvm::jitlink;
20using namespace llvm::orc;
21
22namespace llvm {
23namespace orc {
24
25class ObjectLinkingLayerJITLinkContext final : public JITLinkContext {
26public:
27 ObjectLinkingLayerJITLinkContext(ObjectLinkingLayer &Layer,
28 MaterializationResponsibility MR,
29 std::unique_ptr<MemoryBuffer> ObjBuffer)
30 : Layer(Layer), MR(std::move(MR)), ObjBuffer(std::move(ObjBuffer)) {}
31
Lang Hamesa98546eb2019-10-15 21:41:12 +000032 ~ObjectLinkingLayerJITLinkContext() {
33 // If there is an object buffer return function then use it to
34 // return ownership of the buffer.
35 if (Layer.ReturnObjectBuffer)
36 Layer.ReturnObjectBuffer(std::move(ObjBuffer));
37 }
38
Lang Hamesc0143f32019-12-15 17:23:36 -080039 JITLinkMemoryManager &getMemoryManager() override { return *Layer.MemMgr; }
Lang Hames11c8dfa52019-04-20 17:10:34 +000040
41 MemoryBufferRef getObjectBuffer() const override {
42 return ObjBuffer->getMemBufferRef();
43 }
44
45 void notifyFailed(Error Err) override {
46 Layer.getExecutionSession().reportError(std::move(Err));
47 MR.failMaterialization();
48 }
49
Lang Hames674df132019-11-25 21:57:27 -080050 void lookup(const LookupMap &Symbols,
Lang Hames4e920e52019-10-04 03:55:26 +000051 std::unique_ptr<JITLinkAsyncLookupContinuation> LC) override {
Lang Hames11c8dfa52019-04-20 17:10:34 +000052
Lang Hames674df132019-11-25 21:57:27 -080053 JITDylibSearchOrder SearchOrder;
Lang Hames11c8dfa52019-04-20 17:10:34 +000054 MR.getTargetJITDylib().withSearchOrderDo(
Lang Hames674df132019-11-25 21:57:27 -080055 [&](const JITDylibSearchOrder &O) { SearchOrder = O; });
Lang Hames11c8dfa52019-04-20 17:10:34 +000056
57 auto &ES = Layer.getExecutionSession();
58
Lang Hames674df132019-11-25 21:57:27 -080059 SymbolLookupSet LookupSet;
60 for (auto &KV : Symbols) {
61 orc::SymbolLookupFlags LookupFlags;
62 switch (KV.second) {
63 case jitlink::SymbolLookupFlags::RequiredSymbol:
64 LookupFlags = orc::SymbolLookupFlags::RequiredSymbol;
65 break;
66 case jitlink::SymbolLookupFlags::WeaklyReferencedSymbol:
67 LookupFlags = orc::SymbolLookupFlags::WeaklyReferencedSymbol;
68 break;
69 }
70 LookupSet.add(ES.intern(KV.first), LookupFlags);
71 }
Lang Hames11c8dfa52019-04-20 17:10:34 +000072
73 // OnResolve -- De-intern the symbols and pass the result to the linker.
Lang Hames4e920e52019-10-04 03:55:26 +000074 auto OnResolve = [this, LookupContinuation = std::move(LC)](
75 Expected<SymbolMap> Result) mutable {
Lang Hamesc48f1f62019-08-27 15:50:32 +000076 auto Main = Layer.getExecutionSession().intern("_main");
Lang Hames11c8dfa52019-04-20 17:10:34 +000077 if (!Result)
Lang Hames4e920e52019-10-04 03:55:26 +000078 LookupContinuation->run(Result.takeError());
Lang Hames11c8dfa52019-04-20 17:10:34 +000079 else {
80 AsyncLookupResult LR;
81 for (auto &KV : *Result)
82 LR[*KV.first] = KV.second;
Lang Hames4e920e52019-10-04 03:55:26 +000083 LookupContinuation->run(std::move(LR));
Lang Hames11c8dfa52019-04-20 17:10:34 +000084 }
85 };
86
Lang Hamesca6f5842020-02-11 09:02:22 -080087 for (auto &KV : InternalNamedSymbolDeps) {
88 SymbolDependenceMap InternalDeps;
89 InternalDeps[&MR.getTargetJITDylib()] = std::move(KV.second);
90 MR.addDependencies(KV.first, InternalDeps);
91 }
92
Lang Hames674df132019-11-25 21:57:27 -080093 ES.lookup(LookupKind::Static, SearchOrder, std::move(LookupSet),
94 SymbolState::Resolved, std::move(OnResolve),
95 [this](const SymbolDependenceMap &Deps) {
Lang Hamesd4a80892019-06-07 19:33:51 +000096 registerDependencies(Deps);
97 });
Lang Hames11c8dfa52019-04-20 17:10:34 +000098 }
99
Lang Hames4e920e52019-10-04 03:55:26 +0000100 void notifyResolved(LinkGraph &G) override {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000101 auto &ES = Layer.getExecutionSession();
102
103 SymbolFlagsMap ExtraSymbolsToClaim;
104 bool AutoClaim = Layer.AutoClaimObjectSymbols;
105
106 SymbolMap InternedResult;
Lang Hames4e920e52019-10-04 03:55:26 +0000107 for (auto *Sym : G.defined_symbols())
108 if (Sym->hasName() && Sym->getScope() != Scope::Local) {
109 auto InternedName = ES.intern(Sym->getName());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000110 JITSymbolFlags Flags;
111
Lang Hames4e920e52019-10-04 03:55:26 +0000112 if (Sym->isCallable())
Lang Hames11c8dfa52019-04-20 17:10:34 +0000113 Flags |= JITSymbolFlags::Callable;
Lang Hames4e920e52019-10-04 03:55:26 +0000114 if (Sym->getScope() == Scope::Default)
115 Flags |= JITSymbolFlags::Exported;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000116
117 InternedResult[InternedName] =
Lang Hames4e920e52019-10-04 03:55:26 +0000118 JITEvaluatedSymbol(Sym->getAddress(), Flags);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000119 if (AutoClaim && !MR.getSymbols().count(InternedName)) {
120 assert(!ExtraSymbolsToClaim.count(InternedName) &&
121 "Duplicate symbol to claim?");
122 ExtraSymbolsToClaim[InternedName] = Flags;
123 }
124 }
125
Lang Hames4e920e52019-10-04 03:55:26 +0000126 for (auto *Sym : G.absolute_symbols())
127 if (Sym->hasName()) {
128 auto InternedName = ES.intern(Sym->getName());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000129 JITSymbolFlags Flags;
130 Flags |= JITSymbolFlags::Absolute;
Lang Hames4e920e52019-10-04 03:55:26 +0000131 if (Sym->isCallable())
Lang Hames11c8dfa52019-04-20 17:10:34 +0000132 Flags |= JITSymbolFlags::Callable;
Lang Hames4e920e52019-10-04 03:55:26 +0000133 if (Sym->getLinkage() == Linkage::Weak)
134 Flags |= JITSymbolFlags::Weak;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000135 InternedResult[InternedName] =
Lang Hames4e920e52019-10-04 03:55:26 +0000136 JITEvaluatedSymbol(Sym->getAddress(), Flags);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000137 if (AutoClaim && !MR.getSymbols().count(InternedName)) {
138 assert(!ExtraSymbolsToClaim.count(InternedName) &&
139 "Duplicate symbol to claim?");
140 ExtraSymbolsToClaim[InternedName] = Flags;
141 }
142 }
143
144 if (!ExtraSymbolsToClaim.empty())
145 if (auto Err = MR.defineMaterializing(ExtraSymbolsToClaim))
146 return notifyFailed(std::move(Err));
Lang Hames85fb9972019-12-16 02:50:40 -0800147
Lang Hames81726892020-02-21 17:38:42 -0800148 {
Lang Hamescb84e482020-03-25 13:07:00 -0700149
Lang Hames81726892020-02-21 17:38:42 -0800150 // Check that InternedResult matches up with MR.getSymbols().
151 // This guards against faulty transformations / compilers / object caches.
152
Lang Hamescb84e482020-03-25 13:07:00 -0700153 // First check that there aren't any missing symbols.
154 size_t NumMaterializationSideEffectsOnlySymbols = 0;
155 SymbolNameVector ExtraSymbols;
156 SymbolNameVector MissingSymbols;
157 for (auto &KV : MR.getSymbols()) {
158
159 // If this is a materialization-side-effects only symbol then bump
160 // the counter and make sure it's *not* defined, otherwise make
161 // sure that it is defined.
162 if (KV.second.hasMaterializationSideEffectsOnly()) {
163 ++NumMaterializationSideEffectsOnlySymbols;
164 if (InternedResult.count(KV.first))
Lang Hames81726892020-02-21 17:38:42 -0800165 ExtraSymbols.push_back(KV.first);
Lang Hamescb84e482020-03-25 13:07:00 -0700166 continue;
167 } else if (!InternedResult.count(KV.first))
168 MissingSymbols.push_back(KV.first);
169 }
170
171 // If there were missing symbols then report the error.
172 if (!MissingSymbols.empty()) {
173 ES.reportError(make_error<MissingSymbolDefinitions>(
174 G.getName(), std::move(MissingSymbols)));
Lang Hames81726892020-02-21 17:38:42 -0800175 MR.failMaterialization();
176 return;
177 }
178
Lang Hamescb84e482020-03-25 13:07:00 -0700179 // If there are more definitions than expected, add them to the
180 // ExtraSymbols vector.
181 if (InternedResult.size() >
182 MR.getSymbols().size() - NumMaterializationSideEffectsOnlySymbols) {
183 for (auto &KV : InternedResult)
184 if (!MR.getSymbols().count(KV.first))
185 ExtraSymbols.push_back(KV.first);
186 }
Lang Hames81726892020-02-21 17:38:42 -0800187
Lang Hamescb84e482020-03-25 13:07:00 -0700188 // If there were extra definitions then report the error.
189 if (!ExtraSymbols.empty()) {
190 ES.reportError(make_error<UnexpectedSymbolDefinitions>(
191 G.getName(), std::move(ExtraSymbols)));
Lang Hames81726892020-02-21 17:38:42 -0800192 MR.failMaterialization();
193 return;
194 }
195 }
196
Lang Hamese00585c2019-08-23 20:37:31 +0000197 if (auto Err = MR.notifyResolved(InternedResult)) {
198 Layer.getExecutionSession().reportError(std::move(Err));
199 MR.failMaterialization();
200 return;
201 }
Lang Hamesa9fdf372019-04-26 22:58:39 +0000202 Layer.notifyLoaded(MR);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000203 }
204
205 void notifyFinalized(
206 std::unique_ptr<JITLinkMemoryManager::Allocation> A) override {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000207 if (auto Err = Layer.notifyEmitted(MR, std::move(A))) {
208 Layer.getExecutionSession().reportError(std::move(Err));
209 MR.failMaterialization();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000210 return;
211 }
Lang Hamese00585c2019-08-23 20:37:31 +0000212 if (auto Err = MR.notifyEmitted()) {
213 Layer.getExecutionSession().reportError(std::move(Err));
214 MR.failMaterialization();
215 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000216 }
217
Lang Hames4e920e52019-10-04 03:55:26 +0000218 LinkGraphPassFunction getMarkLivePass(const Triple &TT) const override {
219 return [this](LinkGraph &G) { return markResponsibilitySymbolsLive(G); };
Lang Hames11c8dfa52019-04-20 17:10:34 +0000220 }
221
222 Error modifyPassConfig(const Triple &TT, PassConfiguration &Config) override {
223 // Add passes to mark duplicate defs as should-discard, and to walk the
Lang Hames4e920e52019-10-04 03:55:26 +0000224 // link graph to build the symbol dependence graph.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000225 Config.PrePrunePasses.push_back(
Lang Hames4e920e52019-10-04 03:55:26 +0000226 [this](LinkGraph &G) { return externalizeWeakAndCommonSymbols(G); });
Lang Hames11c8dfa52019-04-20 17:10:34 +0000227
Lang Hamesa9fdf372019-04-26 22:58:39 +0000228 Layer.modifyPassConfig(MR, TT, Config);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000229
Lang Hamesca6f5842020-02-11 09:02:22 -0800230 Config.PostPrunePasses.push_back(
231 [this](LinkGraph &G) { return computeNamedSymbolDependencies(G); });
232
Lang Hames11c8dfa52019-04-20 17:10:34 +0000233 return Error::success();
234 }
235
236private:
Lang Hames85fb9972019-12-16 02:50:40 -0800237 struct LocalSymbolNamedDependencies {
238 SymbolNameSet Internal, External;
239 };
240
241 using LocalSymbolNamedDependenciesMap =
242 DenseMap<const Symbol *, LocalSymbolNamedDependencies>;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000243
Lang Hames4e920e52019-10-04 03:55:26 +0000244 Error externalizeWeakAndCommonSymbols(LinkGraph &G) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000245 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000246 for (auto *Sym : G.defined_symbols())
247 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
248 if (!MR.getSymbols().count(ES.intern(Sym->getName())))
249 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000250 }
251
Lang Hames4e920e52019-10-04 03:55:26 +0000252 for (auto *Sym : G.absolute_symbols())
253 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
254 if (!MR.getSymbols().count(ES.intern(Sym->getName())))
255 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000256 }
257
258 return Error::success();
259 }
260
Lang Hames4e920e52019-10-04 03:55:26 +0000261 Error markResponsibilitySymbolsLive(LinkGraph &G) const {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000262 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000263 for (auto *Sym : G.defined_symbols())
264 if (Sym->hasName() && MR.getSymbols().count(ES.intern(Sym->getName())))
265 Sym->setLive(true);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000266 return Error::success();
267 }
268
Lang Hames4e920e52019-10-04 03:55:26 +0000269 Error computeNamedSymbolDependencies(LinkGraph &G) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000270 auto &ES = MR.getTargetJITDylib().getExecutionSession();
Lang Hamesca6f5842020-02-11 09:02:22 -0800271 auto LocalDeps = computeLocalDeps(G);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000272
Lang Hames85fb9972019-12-16 02:50:40 -0800273 // Compute dependencies for symbols defined in the JITLink graph.
Lang Hames4e920e52019-10-04 03:55:26 +0000274 for (auto *Sym : G.defined_symbols()) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000275
Lang Hamesca6f5842020-02-11 09:02:22 -0800276 // Skip local symbols: we do not track dependencies for these.
Lang Hames4e920e52019-10-04 03:55:26 +0000277 if (Sym->getScope() == Scope::Local)
Lang Hames11c8dfa52019-04-20 17:10:34 +0000278 continue;
Lang Hamesca6f5842020-02-11 09:02:22 -0800279 assert(Sym->hasName() &&
280 "Defined non-local jitlink::Symbol should have a name");
Lang Hames11c8dfa52019-04-20 17:10:34 +0000281
Lang Hamesca6f5842020-02-11 09:02:22 -0800282 SymbolNameSet ExternalSymDeps, InternalSymDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000283
Lang Hamesca6f5842020-02-11 09:02:22 -0800284 // Find internal and external named symbol dependencies.
Lang Hames4e920e52019-10-04 03:55:26 +0000285 for (auto &E : Sym->getBlock().edges()) {
286 auto &TargetSym = E.getTarget();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000287
Lang Hamesca6f5842020-02-11 09:02:22 -0800288 if (TargetSym.getScope() != Scope::Local) {
289 if (TargetSym.isExternal())
290 ExternalSymDeps.insert(ES.intern(TargetSym.getName()));
291 else if (&TargetSym != Sym)
292 InternalSymDeps.insert(ES.intern(TargetSym.getName()));
293 } else {
Lang Hames4e920e52019-10-04 03:55:26 +0000294 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800295 "local symbols must be defined");
296 auto I = LocalDeps.find(&TargetSym);
Lang Hames85fb9972019-12-16 02:50:40 -0800297 if (I != LocalDeps.end()) {
298 for (auto &S : I->second.External)
299 ExternalSymDeps.insert(S);
300 for (auto &S : I->second.Internal)
301 InternalSymDeps.insert(S);
302 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000303 }
304 }
Lang Hamesca6f5842020-02-11 09:02:22 -0800305
306 if (ExternalSymDeps.empty() && InternalSymDeps.empty())
307 continue;
308
309 auto SymName = ES.intern(Sym->getName());
310 if (!ExternalSymDeps.empty())
311 ExternalNamedSymbolDeps[SymName] = std::move(ExternalSymDeps);
312 if (!InternalSymDeps.empty())
313 InternalNamedSymbolDeps[SymName] = std::move(InternalSymDeps);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000314 }
315
Lang Hames85fb9972019-12-16 02:50:40 -0800316 for (auto &P : Layer.Plugins) {
317 auto SyntheticLocalDeps = P->getSyntheticSymbolLocalDependencies(MR);
318 if (SyntheticLocalDeps.empty())
319 continue;
320
321 for (auto &KV : SyntheticLocalDeps) {
322 auto &Name = KV.first;
323 auto &LocalDepsForName = KV.second;
324 for (auto *Local : LocalDepsForName) {
325 assert(Local->getScope() == Scope::Local &&
326 "Dependence on non-local symbol");
327 auto LocalNamedDepsItr = LocalDeps.find(Local);
328 if (LocalNamedDepsItr == LocalDeps.end())
329 continue;
330 for (auto &S : LocalNamedDepsItr->second.Internal)
331 InternalNamedSymbolDeps[Name].insert(S);
332 for (auto &S : LocalNamedDepsItr->second.External)
333 ExternalNamedSymbolDeps[Name].insert(S);
334 }
335 }
336 }
337
Lang Hames11c8dfa52019-04-20 17:10:34 +0000338 return Error::success();
339 }
340
Lang Hames85fb9972019-12-16 02:50:40 -0800341 LocalSymbolNamedDependenciesMap computeLocalDeps(LinkGraph &G) {
342 DenseMap<jitlink::Symbol *, DenseSet<jitlink::Symbol *>> DepMap;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000343
Lang Hamesca6f5842020-02-11 09:02:22 -0800344 // For all local symbols:
Lang Hames11c8dfa52019-04-20 17:10:34 +0000345 // (1) Add their named dependencies.
346 // (2) Add them to the worklist for further iteration if they have any
Lang Hamesca6f5842020-02-11 09:02:22 -0800347 // depend on any other local symbols.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000348 struct WorklistEntry {
Lang Hamesca6f5842020-02-11 09:02:22 -0800349 WorklistEntry(Symbol *Sym, DenseSet<Symbol *> LocalDeps)
350 : Sym(Sym), LocalDeps(std::move(LocalDeps)) {}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000351
Lang Hames4e920e52019-10-04 03:55:26 +0000352 Symbol *Sym = nullptr;
Lang Hamesca6f5842020-02-11 09:02:22 -0800353 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000354 };
355 std::vector<WorklistEntry> Worklist;
Lang Hames4e920e52019-10-04 03:55:26 +0000356 for (auto *Sym : G.defined_symbols())
Lang Hamesca6f5842020-02-11 09:02:22 -0800357 if (Sym->getScope() == Scope::Local) {
Lang Hames4e920e52019-10-04 03:55:26 +0000358 auto &SymNamedDeps = DepMap[Sym];
Lang Hamesca6f5842020-02-11 09:02:22 -0800359 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000360
Lang Hames4e920e52019-10-04 03:55:26 +0000361 for (auto &E : Sym->getBlock().edges()) {
362 auto &TargetSym = E.getTarget();
Lang Hamesca6f5842020-02-11 09:02:22 -0800363 if (TargetSym.getScope() != Scope::Local)
364 SymNamedDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000365 else {
Lang Hames4e920e52019-10-04 03:55:26 +0000366 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800367 "local symbols must be defined");
368 LocalDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000369 }
370 }
371
Lang Hamesca6f5842020-02-11 09:02:22 -0800372 if (!LocalDeps.empty())
373 Worklist.push_back(WorklistEntry(Sym, std::move(LocalDeps)));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000374 }
375
Lang Hamesca6f5842020-02-11 09:02:22 -0800376 // Loop over all local symbols with local dependencies, propagating
377 // their respective non-local dependencies. Iterate until we hit a stable
Lang Hames11c8dfa52019-04-20 17:10:34 +0000378 // state.
379 bool Changed;
380 do {
381 Changed = false;
382 for (auto &WLEntry : Worklist) {
Lang Hames4e920e52019-10-04 03:55:26 +0000383 auto *Sym = WLEntry.Sym;
Lang Hamesca6f5842020-02-11 09:02:22 -0800384 auto &NamedDeps = DepMap[Sym];
385 auto &LocalDeps = WLEntry.LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000386
Lang Hamesca6f5842020-02-11 09:02:22 -0800387 for (auto *TargetSym : LocalDeps) {
Lang Hames4e920e52019-10-04 03:55:26 +0000388 auto I = DepMap.find(TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000389 if (I != DepMap.end())
390 for (const auto &S : I->second)
Lang Hamesca6f5842020-02-11 09:02:22 -0800391 Changed |= NamedDeps.insert(S).second;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000392 }
393 }
394 } while (Changed);
395
Lang Hames85fb9972019-12-16 02:50:40 -0800396 // Intern the results to produce a mapping of jitlink::Symbol* to internal
397 // and external symbol names.
398 auto &ES = Layer.getExecutionSession();
399 LocalSymbolNamedDependenciesMap Result;
400 for (auto &KV : DepMap) {
401 auto *Local = KV.first;
402 assert(Local->getScope() == Scope::Local &&
403 "DepMap keys should all be local symbols");
404 auto &LocalNamedDeps = Result[Local];
405 for (auto *Named : KV.second) {
406 assert(Named->getScope() != Scope::Local &&
407 "DepMap values should all be non-local symbol sets");
408 if (Named->isExternal())
409 LocalNamedDeps.External.insert(ES.intern(Named->getName()));
410 else
411 LocalNamedDeps.Internal.insert(ES.intern(Named->getName()));
412 }
413 }
414
415 return Result;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000416 }
417
418 void registerDependencies(const SymbolDependenceMap &QueryDeps) {
Lang Hamesca6f5842020-02-11 09:02:22 -0800419 for (auto &NamedDepsEntry : ExternalNamedSymbolDeps) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000420 auto &Name = NamedDepsEntry.first;
421 auto &NameDeps = NamedDepsEntry.second;
422 SymbolDependenceMap SymbolDeps;
423
424 for (const auto &QueryDepsEntry : QueryDeps) {
425 JITDylib &SourceJD = *QueryDepsEntry.first;
426 const SymbolNameSet &Symbols = QueryDepsEntry.second;
427 auto &DepsForJD = SymbolDeps[&SourceJD];
428
429 for (const auto &S : Symbols)
430 if (NameDeps.count(S))
431 DepsForJD.insert(S);
432
433 if (DepsForJD.empty())
434 SymbolDeps.erase(&SourceJD);
435 }
436
437 MR.addDependencies(Name, SymbolDeps);
438 }
439 }
440
441 ObjectLinkingLayer &Layer;
442 MaterializationResponsibility MR;
443 std::unique_ptr<MemoryBuffer> ObjBuffer;
Lang Hamesca6f5842020-02-11 09:02:22 -0800444 DenseMap<SymbolStringPtr, SymbolNameSet> ExternalNamedSymbolDeps;
445 DenseMap<SymbolStringPtr, SymbolNameSet> InternalNamedSymbolDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000446};
447
Lang Hamesa9fdf372019-04-26 22:58:39 +0000448ObjectLinkingLayer::Plugin::~Plugin() {}
449
Lang Hamesc0143f32019-12-15 17:23:36 -0800450ObjectLinkingLayer::ObjectLinkingLayer(
451 ExecutionSession &ES, std::unique_ptr<JITLinkMemoryManager> MemMgr)
452 : ObjectLayer(ES), MemMgr(std::move(MemMgr)) {}
Lang Hamesa9fdf372019-04-26 22:58:39 +0000453
454ObjectLinkingLayer::~ObjectLinkingLayer() {
455 if (auto Err = removeAllModules())
456 getExecutionSession().reportError(std::move(Err));
457}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000458
459void ObjectLinkingLayer::emit(MaterializationResponsibility R,
460 std::unique_ptr<MemoryBuffer> O) {
461 assert(O && "Object must not be null");
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000462 jitLink(std::make_unique<ObjectLinkingLayerJITLinkContext>(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000463 *this, std::move(R), std::move(O)));
464}
465
Lang Hamesa9fdf372019-04-26 22:58:39 +0000466void ObjectLinkingLayer::modifyPassConfig(MaterializationResponsibility &MR,
467 const Triple &TT,
468 PassConfiguration &PassConfig) {
469 for (auto &P : Plugins)
470 P->modifyPassConfig(MR, TT, PassConfig);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000471}
472
Lang Hamesa9fdf372019-04-26 22:58:39 +0000473void ObjectLinkingLayer::notifyLoaded(MaterializationResponsibility &MR) {
474 for (auto &P : Plugins)
475 P->notifyLoaded(MR);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000476}
477
Lang Hamesa9fdf372019-04-26 22:58:39 +0000478Error ObjectLinkingLayer::notifyEmitted(MaterializationResponsibility &MR,
479 AllocPtr Alloc) {
480 Error Err = Error::success();
481 for (auto &P : Plugins)
482 Err = joinErrors(std::move(Err), P->notifyEmitted(MR));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000483
Lang Hamesa9fdf372019-04-26 22:58:39 +0000484 if (Err)
485 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000486
Lang Hamesa9fdf372019-04-26 22:58:39 +0000487 {
488 std::lock_guard<std::mutex> Lock(LayerMutex);
489 UntrackedAllocs.push_back(std::move(Alloc));
490 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000491
Lang Hamesa9fdf372019-04-26 22:58:39 +0000492 return Error::success();
493}
494
495Error ObjectLinkingLayer::removeModule(VModuleKey K) {
496 Error Err = Error::success();
497
498 for (auto &P : Plugins)
499 Err = joinErrors(std::move(Err), P->notifyRemovingModule(K));
500
501 AllocPtr Alloc;
502
503 {
504 std::lock_guard<std::mutex> Lock(LayerMutex);
505 auto AllocItr = TrackedAllocs.find(K);
506 Alloc = std::move(AllocItr->second);
507 TrackedAllocs.erase(AllocItr);
508 }
509
510 assert(Alloc && "No allocation for key K");
511
512 return joinErrors(std::move(Err), Alloc->deallocate());
513}
514
515Error ObjectLinkingLayer::removeAllModules() {
516
517 Error Err = Error::success();
518
519 for (auto &P : Plugins)
520 Err = joinErrors(std::move(Err), P->notifyRemovingAllModules());
521
522 std::vector<AllocPtr> Allocs;
523 {
524 std::lock_guard<std::mutex> Lock(LayerMutex);
525 Allocs = std::move(UntrackedAllocs);
526
527 for (auto &KV : TrackedAllocs)
528 Allocs.push_back(std::move(KV.second));
529
530 TrackedAllocs.clear();
531 }
532
533 while (!Allocs.empty()) {
534 Err = joinErrors(std::move(Err), Allocs.back()->deallocate());
535 Allocs.pop_back();
536 }
537
538 return Err;
539}
540
Lang Hamesf5a885f2019-07-04 00:05:12 +0000541EHFrameRegistrationPlugin::EHFrameRegistrationPlugin(
Lang Hames4e920e52019-10-04 03:55:26 +0000542 EHFrameRegistrar &Registrar)
Lang Hamesf5a885f2019-07-04 00:05:12 +0000543 : Registrar(Registrar) {}
544
545void EHFrameRegistrationPlugin::modifyPassConfig(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000546 MaterializationResponsibility &MR, const Triple &TT,
547 PassConfiguration &PassConfig) {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000548
Lang Hames214a9f02020-03-12 15:08:30 -0700549 PassConfig.PostFixupPasses.push_back(createEHFrameRecorderPass(
550 TT, [this, &MR](JITTargetAddress Addr, size_t Size) {
551 if (Addr) {
552 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
553 assert(!InProcessLinks.count(&MR) &&
554 "Link for MR already being tracked?");
555 InProcessLinks[&MR] = {Addr, Size};
556 }
Lang Hamesa9fdf372019-04-26 22:58:39 +0000557 }));
558}
559
Lang Hamesf5a885f2019-07-04 00:05:12 +0000560Error EHFrameRegistrationPlugin::notifyEmitted(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000561 MaterializationResponsibility &MR) {
Lang Hames214a9f02020-03-12 15:08:30 -0700562 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000563
Lang Hamesc48f1f62019-08-27 15:50:32 +0000564 auto EHFrameRangeItr = InProcessLinks.find(&MR);
565 if (EHFrameRangeItr == InProcessLinks.end())
Lang Hamesa9fdf372019-04-26 22:58:39 +0000566 return Error::success();
567
Lang Hamesc48f1f62019-08-27 15:50:32 +0000568 auto EHFrameRange = EHFrameRangeItr->second;
569 assert(EHFrameRange.Addr &&
570 "eh-frame addr to register can not be null");
Lang Hamesa9fdf372019-04-26 22:58:39 +0000571
Lang Hamesc48f1f62019-08-27 15:50:32 +0000572 InProcessLinks.erase(EHFrameRangeItr);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000573 if (auto Key = MR.getVModuleKey())
Lang Hamesc48f1f62019-08-27 15:50:32 +0000574 TrackedEHFrameRanges[Key] = EHFrameRange;
Lang Hamesa9fdf372019-04-26 22:58:39 +0000575 else
Lang Hamesc48f1f62019-08-27 15:50:32 +0000576 UntrackedEHFrameRanges.push_back(EHFrameRange);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000577
Lang Hamesc48f1f62019-08-27 15:50:32 +0000578 return Registrar.registerEHFrames(EHFrameRange.Addr, EHFrameRange.Size);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000579}
580
Lang Hamesf5a885f2019-07-04 00:05:12 +0000581Error EHFrameRegistrationPlugin::notifyRemovingModule(VModuleKey K) {
Lang Hames214a9f02020-03-12 15:08:30 -0700582 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
583
Lang Hamesc48f1f62019-08-27 15:50:32 +0000584 auto EHFrameRangeItr = TrackedEHFrameRanges.find(K);
585 if (EHFrameRangeItr == TrackedEHFrameRanges.end())
Lang Hamesa9fdf372019-04-26 22:58:39 +0000586 return Error::success();
587
Lang Hamesc48f1f62019-08-27 15:50:32 +0000588 auto EHFrameRange = EHFrameRangeItr->second;
589 assert(EHFrameRange.Addr && "Tracked eh-frame range must not be null");
Lang Hamesa9fdf372019-04-26 22:58:39 +0000590
Lang Hamesc48f1f62019-08-27 15:50:32 +0000591 TrackedEHFrameRanges.erase(EHFrameRangeItr);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000592
Lang Hamesc48f1f62019-08-27 15:50:32 +0000593 return Registrar.deregisterEHFrames(EHFrameRange.Addr, EHFrameRange.Size);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000594}
595
Lang Hamesf5a885f2019-07-04 00:05:12 +0000596Error EHFrameRegistrationPlugin::notifyRemovingAllModules() {
Lang Hames214a9f02020-03-12 15:08:30 -0700597 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000598
Lang Hamesc48f1f62019-08-27 15:50:32 +0000599 std::vector<EHFrameRange> EHFrameRanges =
600 std::move(UntrackedEHFrameRanges);
601 EHFrameRanges.reserve(EHFrameRanges.size() + TrackedEHFrameRanges.size());
Lang Hamesa9fdf372019-04-26 22:58:39 +0000602
Lang Hamesc48f1f62019-08-27 15:50:32 +0000603 for (auto &KV : TrackedEHFrameRanges)
604 EHFrameRanges.push_back(KV.second);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000605
Lang Hamesc48f1f62019-08-27 15:50:32 +0000606 TrackedEHFrameRanges.clear();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000607
608 Error Err = Error::success();
609
Lang Hamesc48f1f62019-08-27 15:50:32 +0000610 while (!EHFrameRanges.empty()) {
611 auto EHFrameRange = EHFrameRanges.back();
612 assert(EHFrameRange.Addr && "Untracked eh-frame range must not be null");
613 EHFrameRanges.pop_back();
614 Err = joinErrors(std::move(Err),
615 Registrar.deregisterEHFrames(EHFrameRange.Addr,
616 EHFrameRange.Size));
Lang Hamesa9fdf372019-04-26 22:58:39 +0000617 }
618
619 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000620}
621
622} // End namespace orc.
623} // End namespace llvm.