blob: 6575b0a6ccb282152b2de308e02f26bb6f150e10 [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 Hamese00585c2019-08-23 20:37:31 +0000147 if (auto Err = MR.notifyResolved(InternedResult)) {
148 Layer.getExecutionSession().reportError(std::move(Err));
149 MR.failMaterialization();
150 return;
151 }
Lang Hamesa9fdf372019-04-26 22:58:39 +0000152 Layer.notifyLoaded(MR);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000153 }
154
155 void notifyFinalized(
156 std::unique_ptr<JITLinkMemoryManager::Allocation> A) override {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000157 if (auto Err = Layer.notifyEmitted(MR, std::move(A))) {
158 Layer.getExecutionSession().reportError(std::move(Err));
159 MR.failMaterialization();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000160 return;
161 }
Lang Hamese00585c2019-08-23 20:37:31 +0000162 if (auto Err = MR.notifyEmitted()) {
163 Layer.getExecutionSession().reportError(std::move(Err));
164 MR.failMaterialization();
165 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000166 }
167
Lang Hames4e920e52019-10-04 03:55:26 +0000168 LinkGraphPassFunction getMarkLivePass(const Triple &TT) const override {
169 return [this](LinkGraph &G) { return markResponsibilitySymbolsLive(G); };
Lang Hames11c8dfa52019-04-20 17:10:34 +0000170 }
171
172 Error modifyPassConfig(const Triple &TT, PassConfiguration &Config) override {
173 // Add passes to mark duplicate defs as should-discard, and to walk the
Lang Hames4e920e52019-10-04 03:55:26 +0000174 // link graph to build the symbol dependence graph.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000175 Config.PrePrunePasses.push_back(
Lang Hames4e920e52019-10-04 03:55:26 +0000176 [this](LinkGraph &G) { return externalizeWeakAndCommonSymbols(G); });
Lang Hames11c8dfa52019-04-20 17:10:34 +0000177
Lang Hamesa9fdf372019-04-26 22:58:39 +0000178 Layer.modifyPassConfig(MR, TT, Config);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000179
Lang Hamesca6f5842020-02-11 09:02:22 -0800180 Config.PostPrunePasses.push_back(
181 [this](LinkGraph &G) { return computeNamedSymbolDependencies(G); });
182
Lang Hames11c8dfa52019-04-20 17:10:34 +0000183 return Error::success();
184 }
185
186private:
Lang Hamesca6f5842020-02-11 09:02:22 -0800187 using JITLinkSymbolSet = DenseSet<const Symbol *>;
188 using LocalToNamedDependenciesMap = DenseMap<const Symbol *, JITLinkSymbolSet>;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000189
Lang Hames4e920e52019-10-04 03:55:26 +0000190 Error externalizeWeakAndCommonSymbols(LinkGraph &G) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000191 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000192 for (auto *Sym : G.defined_symbols())
193 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
194 if (!MR.getSymbols().count(ES.intern(Sym->getName())))
195 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000196 }
197
Lang Hames4e920e52019-10-04 03:55:26 +0000198 for (auto *Sym : G.absolute_symbols())
199 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
200 if (!MR.getSymbols().count(ES.intern(Sym->getName())))
201 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000202 }
203
204 return Error::success();
205 }
206
Lang Hames4e920e52019-10-04 03:55:26 +0000207 Error markResponsibilitySymbolsLive(LinkGraph &G) const {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000208 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000209 for (auto *Sym : G.defined_symbols())
210 if (Sym->hasName() && MR.getSymbols().count(ES.intern(Sym->getName())))
211 Sym->setLive(true);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000212 return Error::success();
213 }
214
Lang Hames4e920e52019-10-04 03:55:26 +0000215 Error computeNamedSymbolDependencies(LinkGraph &G) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000216 auto &ES = MR.getTargetJITDylib().getExecutionSession();
Lang Hamesca6f5842020-02-11 09:02:22 -0800217 auto LocalDeps = computeLocalDeps(G);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000218
Lang Hames4e920e52019-10-04 03:55:26 +0000219 for (auto *Sym : G.defined_symbols()) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000220
Lang Hamesca6f5842020-02-11 09:02:22 -0800221 // Skip local symbols: we do not track dependencies for these.
Lang Hames4e920e52019-10-04 03:55:26 +0000222 if (Sym->getScope() == Scope::Local)
Lang Hames11c8dfa52019-04-20 17:10:34 +0000223 continue;
Lang Hamesca6f5842020-02-11 09:02:22 -0800224 assert(Sym->hasName() &&
225 "Defined non-local jitlink::Symbol should have a name");
Lang Hames11c8dfa52019-04-20 17:10:34 +0000226
Lang Hamesca6f5842020-02-11 09:02:22 -0800227 SymbolNameSet ExternalSymDeps, InternalSymDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000228
Lang Hamesca6f5842020-02-11 09:02:22 -0800229 // Find internal and external named symbol dependencies.
Lang Hames4e920e52019-10-04 03:55:26 +0000230 for (auto &E : Sym->getBlock().edges()) {
231 auto &TargetSym = E.getTarget();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000232
Lang Hamesca6f5842020-02-11 09:02:22 -0800233 if (TargetSym.getScope() != Scope::Local) {
234 if (TargetSym.isExternal())
235 ExternalSymDeps.insert(ES.intern(TargetSym.getName()));
236 else if (&TargetSym != Sym)
237 InternalSymDeps.insert(ES.intern(TargetSym.getName()));
238 } else {
Lang Hames4e920e52019-10-04 03:55:26 +0000239 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800240 "local symbols must be defined");
241 auto I = LocalDeps.find(&TargetSym);
242 if (I != LocalDeps.end())
243 for (auto &S : I->second) {
244 assert(S->hasName() &&
245 "LocalDeps should only contain named values");
246 if (S->isExternal())
247 ExternalSymDeps.insert(ES.intern(S->getName()));
248 else if (S != Sym)
249 InternalSymDeps.insert(ES.intern(S->getName()));
250 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000251 }
252 }
Lang Hamesca6f5842020-02-11 09:02:22 -0800253
254 if (ExternalSymDeps.empty() && InternalSymDeps.empty())
255 continue;
256
257 auto SymName = ES.intern(Sym->getName());
258 if (!ExternalSymDeps.empty())
259 ExternalNamedSymbolDeps[SymName] = std::move(ExternalSymDeps);
260 if (!InternalSymDeps.empty())
261 InternalNamedSymbolDeps[SymName] = std::move(InternalSymDeps);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000262 }
263
264 return Error::success();
265 }
266
Lang Hamesca6f5842020-02-11 09:02:22 -0800267 LocalToNamedDependenciesMap computeLocalDeps(LinkGraph &G) {
268 LocalToNamedDependenciesMap DepMap;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000269
Lang Hamesca6f5842020-02-11 09:02:22 -0800270 // For all local symbols:
Lang Hames11c8dfa52019-04-20 17:10:34 +0000271 // (1) Add their named dependencies.
272 // (2) Add them to the worklist for further iteration if they have any
Lang Hamesca6f5842020-02-11 09:02:22 -0800273 // depend on any other local symbols.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000274 struct WorklistEntry {
Lang Hamesca6f5842020-02-11 09:02:22 -0800275 WorklistEntry(Symbol *Sym, DenseSet<Symbol *> LocalDeps)
276 : Sym(Sym), LocalDeps(std::move(LocalDeps)) {}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000277
Lang Hames4e920e52019-10-04 03:55:26 +0000278 Symbol *Sym = nullptr;
Lang Hamesca6f5842020-02-11 09:02:22 -0800279 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000280 };
281 std::vector<WorklistEntry> Worklist;
Lang Hames4e920e52019-10-04 03:55:26 +0000282 for (auto *Sym : G.defined_symbols())
Lang Hamesca6f5842020-02-11 09:02:22 -0800283 if (Sym->getScope() == Scope::Local) {
Lang Hames4e920e52019-10-04 03:55:26 +0000284 auto &SymNamedDeps = DepMap[Sym];
Lang Hamesca6f5842020-02-11 09:02:22 -0800285 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000286
Lang Hames4e920e52019-10-04 03:55:26 +0000287 for (auto &E : Sym->getBlock().edges()) {
288 auto &TargetSym = E.getTarget();
Lang Hamesca6f5842020-02-11 09:02:22 -0800289 if (TargetSym.getScope() != Scope::Local)
290 SymNamedDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000291 else {
Lang Hames4e920e52019-10-04 03:55:26 +0000292 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800293 "local symbols must be defined");
294 LocalDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000295 }
296 }
297
Lang Hamesca6f5842020-02-11 09:02:22 -0800298 if (!LocalDeps.empty())
299 Worklist.push_back(WorklistEntry(Sym, std::move(LocalDeps)));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000300 }
301
Lang Hamesca6f5842020-02-11 09:02:22 -0800302 // Loop over all local symbols with local dependencies, propagating
303 // their respective non-local dependencies. Iterate until we hit a stable
Lang Hames11c8dfa52019-04-20 17:10:34 +0000304 // state.
305 bool Changed;
306 do {
307 Changed = false;
308 for (auto &WLEntry : Worklist) {
Lang Hames4e920e52019-10-04 03:55:26 +0000309 auto *Sym = WLEntry.Sym;
Lang Hamesca6f5842020-02-11 09:02:22 -0800310 auto &NamedDeps = DepMap[Sym];
311 auto &LocalDeps = WLEntry.LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000312
Lang Hamesca6f5842020-02-11 09:02:22 -0800313 for (auto *TargetSym : LocalDeps) {
Lang Hames4e920e52019-10-04 03:55:26 +0000314 auto I = DepMap.find(TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000315 if (I != DepMap.end())
316 for (const auto &S : I->second)
Lang Hamesca6f5842020-02-11 09:02:22 -0800317 Changed |= NamedDeps.insert(S).second;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000318 }
319 }
320 } while (Changed);
321
322 return DepMap;
323 }
324
325 void registerDependencies(const SymbolDependenceMap &QueryDeps) {
Lang Hamesca6f5842020-02-11 09:02:22 -0800326 for (auto &NamedDepsEntry : ExternalNamedSymbolDeps) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000327 auto &Name = NamedDepsEntry.first;
328 auto &NameDeps = NamedDepsEntry.second;
329 SymbolDependenceMap SymbolDeps;
330
331 for (const auto &QueryDepsEntry : QueryDeps) {
332 JITDylib &SourceJD = *QueryDepsEntry.first;
333 const SymbolNameSet &Symbols = QueryDepsEntry.second;
334 auto &DepsForJD = SymbolDeps[&SourceJD];
335
336 for (const auto &S : Symbols)
337 if (NameDeps.count(S))
338 DepsForJD.insert(S);
339
340 if (DepsForJD.empty())
341 SymbolDeps.erase(&SourceJD);
342 }
343
344 MR.addDependencies(Name, SymbolDeps);
345 }
346 }
347
348 ObjectLinkingLayer &Layer;
349 MaterializationResponsibility MR;
350 std::unique_ptr<MemoryBuffer> ObjBuffer;
Lang Hamesca6f5842020-02-11 09:02:22 -0800351 DenseMap<SymbolStringPtr, SymbolNameSet> ExternalNamedSymbolDeps;
352 DenseMap<SymbolStringPtr, SymbolNameSet> InternalNamedSymbolDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000353};
354
Lang Hamesa9fdf372019-04-26 22:58:39 +0000355ObjectLinkingLayer::Plugin::~Plugin() {}
356
Lang Hamesc0143f32019-12-15 17:23:36 -0800357ObjectLinkingLayer::ObjectLinkingLayer(
358 ExecutionSession &ES, std::unique_ptr<JITLinkMemoryManager> MemMgr)
359 : ObjectLayer(ES), MemMgr(std::move(MemMgr)) {}
Lang Hamesa9fdf372019-04-26 22:58:39 +0000360
361ObjectLinkingLayer::~ObjectLinkingLayer() {
362 if (auto Err = removeAllModules())
363 getExecutionSession().reportError(std::move(Err));
364}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000365
366void ObjectLinkingLayer::emit(MaterializationResponsibility R,
367 std::unique_ptr<MemoryBuffer> O) {
368 assert(O && "Object must not be null");
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000369 jitLink(std::make_unique<ObjectLinkingLayerJITLinkContext>(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000370 *this, std::move(R), std::move(O)));
371}
372
Lang Hamesa9fdf372019-04-26 22:58:39 +0000373void ObjectLinkingLayer::modifyPassConfig(MaterializationResponsibility &MR,
374 const Triple &TT,
375 PassConfiguration &PassConfig) {
376 for (auto &P : Plugins)
377 P->modifyPassConfig(MR, TT, PassConfig);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000378}
379
Lang Hamesa9fdf372019-04-26 22:58:39 +0000380void ObjectLinkingLayer::notifyLoaded(MaterializationResponsibility &MR) {
381 for (auto &P : Plugins)
382 P->notifyLoaded(MR);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000383}
384
Lang Hamesa9fdf372019-04-26 22:58:39 +0000385Error ObjectLinkingLayer::notifyEmitted(MaterializationResponsibility &MR,
386 AllocPtr Alloc) {
387 Error Err = Error::success();
388 for (auto &P : Plugins)
389 Err = joinErrors(std::move(Err), P->notifyEmitted(MR));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000390
Lang Hamesa9fdf372019-04-26 22:58:39 +0000391 if (Err)
392 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000393
Lang Hamesa9fdf372019-04-26 22:58:39 +0000394 {
395 std::lock_guard<std::mutex> Lock(LayerMutex);
396 UntrackedAllocs.push_back(std::move(Alloc));
397 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000398
Lang Hamesa9fdf372019-04-26 22:58:39 +0000399 return Error::success();
400}
401
402Error ObjectLinkingLayer::removeModule(VModuleKey K) {
403 Error Err = Error::success();
404
405 for (auto &P : Plugins)
406 Err = joinErrors(std::move(Err), P->notifyRemovingModule(K));
407
408 AllocPtr Alloc;
409
410 {
411 std::lock_guard<std::mutex> Lock(LayerMutex);
412 auto AllocItr = TrackedAllocs.find(K);
413 Alloc = std::move(AllocItr->second);
414 TrackedAllocs.erase(AllocItr);
415 }
416
417 assert(Alloc && "No allocation for key K");
418
419 return joinErrors(std::move(Err), Alloc->deallocate());
420}
421
422Error ObjectLinkingLayer::removeAllModules() {
423
424 Error Err = Error::success();
425
426 for (auto &P : Plugins)
427 Err = joinErrors(std::move(Err), P->notifyRemovingAllModules());
428
429 std::vector<AllocPtr> Allocs;
430 {
431 std::lock_guard<std::mutex> Lock(LayerMutex);
432 Allocs = std::move(UntrackedAllocs);
433
434 for (auto &KV : TrackedAllocs)
435 Allocs.push_back(std::move(KV.second));
436
437 TrackedAllocs.clear();
438 }
439
440 while (!Allocs.empty()) {
441 Err = joinErrors(std::move(Err), Allocs.back()->deallocate());
442 Allocs.pop_back();
443 }
444
445 return Err;
446}
447
Lang Hamesf5a885f2019-07-04 00:05:12 +0000448EHFrameRegistrationPlugin::EHFrameRegistrationPlugin(
Lang Hames4e920e52019-10-04 03:55:26 +0000449 EHFrameRegistrar &Registrar)
Lang Hamesf5a885f2019-07-04 00:05:12 +0000450 : Registrar(Registrar) {}
451
452void EHFrameRegistrationPlugin::modifyPassConfig(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000453 MaterializationResponsibility &MR, const Triple &TT,
454 PassConfiguration &PassConfig) {
455 assert(!InProcessLinks.count(&MR) && "Link for MR already being tracked?");
456
457 PassConfig.PostFixupPasses.push_back(
Lang Hamesc48f1f62019-08-27 15:50:32 +0000458 createEHFrameRecorderPass(TT, [this, &MR](JITTargetAddress Addr,
459 size_t Size) {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000460 if (Addr)
Lang Hamesc48f1f62019-08-27 15:50:32 +0000461 InProcessLinks[&MR] = { Addr, Size };
Lang Hamesa9fdf372019-04-26 22:58:39 +0000462 }));
463}
464
Lang Hamesf5a885f2019-07-04 00:05:12 +0000465Error EHFrameRegistrationPlugin::notifyEmitted(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000466 MaterializationResponsibility &MR) {
467
Lang Hamesc48f1f62019-08-27 15:50:32 +0000468 auto EHFrameRangeItr = InProcessLinks.find(&MR);
469 if (EHFrameRangeItr == InProcessLinks.end())
Lang Hamesa9fdf372019-04-26 22:58:39 +0000470 return Error::success();
471
Lang Hamesc48f1f62019-08-27 15:50:32 +0000472 auto EHFrameRange = EHFrameRangeItr->second;
473 assert(EHFrameRange.Addr &&
474 "eh-frame addr to register can not be null");
Lang Hamesa9fdf372019-04-26 22:58:39 +0000475
Lang Hamesc48f1f62019-08-27 15:50:32 +0000476 InProcessLinks.erase(EHFrameRangeItr);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000477 if (auto Key = MR.getVModuleKey())
Lang Hamesc48f1f62019-08-27 15:50:32 +0000478 TrackedEHFrameRanges[Key] = EHFrameRange;
Lang Hamesa9fdf372019-04-26 22:58:39 +0000479 else
Lang Hamesc48f1f62019-08-27 15:50:32 +0000480 UntrackedEHFrameRanges.push_back(EHFrameRange);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000481
Lang Hamesc48f1f62019-08-27 15:50:32 +0000482 return Registrar.registerEHFrames(EHFrameRange.Addr, EHFrameRange.Size);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000483}
484
Lang Hamesf5a885f2019-07-04 00:05:12 +0000485Error EHFrameRegistrationPlugin::notifyRemovingModule(VModuleKey K) {
Lang Hamesc48f1f62019-08-27 15:50:32 +0000486 auto EHFrameRangeItr = TrackedEHFrameRanges.find(K);
487 if (EHFrameRangeItr == TrackedEHFrameRanges.end())
Lang Hamesa9fdf372019-04-26 22:58:39 +0000488 return Error::success();
489
Lang Hamesc48f1f62019-08-27 15:50:32 +0000490 auto EHFrameRange = EHFrameRangeItr->second;
491 assert(EHFrameRange.Addr && "Tracked eh-frame range must not be null");
Lang Hamesa9fdf372019-04-26 22:58:39 +0000492
Lang Hamesc48f1f62019-08-27 15:50:32 +0000493 TrackedEHFrameRanges.erase(EHFrameRangeItr);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000494
Lang Hamesc48f1f62019-08-27 15:50:32 +0000495 return Registrar.deregisterEHFrames(EHFrameRange.Addr, EHFrameRange.Size);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000496}
497
Lang Hamesf5a885f2019-07-04 00:05:12 +0000498Error EHFrameRegistrationPlugin::notifyRemovingAllModules() {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000499
Lang Hamesc48f1f62019-08-27 15:50:32 +0000500 std::vector<EHFrameRange> EHFrameRanges =
501 std::move(UntrackedEHFrameRanges);
502 EHFrameRanges.reserve(EHFrameRanges.size() + TrackedEHFrameRanges.size());
Lang Hamesa9fdf372019-04-26 22:58:39 +0000503
Lang Hamesc48f1f62019-08-27 15:50:32 +0000504 for (auto &KV : TrackedEHFrameRanges)
505 EHFrameRanges.push_back(KV.second);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000506
Lang Hamesc48f1f62019-08-27 15:50:32 +0000507 TrackedEHFrameRanges.clear();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000508
509 Error Err = Error::success();
510
Lang Hamesc48f1f62019-08-27 15:50:32 +0000511 while (!EHFrameRanges.empty()) {
512 auto EHFrameRange = EHFrameRanges.back();
513 assert(EHFrameRange.Addr && "Untracked eh-frame range must not be null");
514 EHFrameRanges.pop_back();
515 Err = joinErrors(std::move(Err),
516 Registrar.deregisterEHFrames(EHFrameRange.Addr,
517 EHFrameRange.Size));
Lang Hamesa9fdf372019-04-26 22:58:39 +0000518 }
519
520 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000521}
522
523} // End namespace orc.
524} // End namespace llvm.