blob: 5dd32fbc224e61aaf2225cc5795df81e4268be35 [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:
Lang Hames7dcd0042020-09-11 09:23:14 -070027 ObjectLinkingLayerJITLinkContext(
28 ObjectLinkingLayer &Layer,
29 std::unique_ptr<MaterializationResponsibility> MR,
30 std::unique_ptr<MemoryBuffer> ObjBuffer)
Lang Hames11c8dfa52019-04-20 17:10:34 +000031 : Layer(Layer), MR(std::move(MR)), ObjBuffer(std::move(ObjBuffer)) {}
32
Lang Hamesa98546eb2019-10-15 21:41:12 +000033 ~ObjectLinkingLayerJITLinkContext() {
34 // If there is an object buffer return function then use it to
35 // return ownership of the buffer.
36 if (Layer.ReturnObjectBuffer)
37 Layer.ReturnObjectBuffer(std::move(ObjBuffer));
38 }
39
Lang Hames69091eb2020-07-23 16:03:45 -070040 JITLinkMemoryManager &getMemoryManager() override { return Layer.MemMgr; }
Lang Hames11c8dfa52019-04-20 17:10:34 +000041
42 MemoryBufferRef getObjectBuffer() const override {
43 return ObjBuffer->getMemBufferRef();
44 }
45
46 void notifyFailed(Error Err) override {
Lang Hames0aec49c2020-09-11 09:50:41 -070047 for (auto &P : Layer.Plugins)
48 Err = joinErrors(std::move(Err), P->notifyFailed(*MR));
Lang Hames11c8dfa52019-04-20 17:10:34 +000049 Layer.getExecutionSession().reportError(std::move(Err));
Lang Hames7dcd0042020-09-11 09:23:14 -070050 MR->failMaterialization();
Lang Hames11c8dfa52019-04-20 17:10:34 +000051 }
52
Lang Hames674df132019-11-25 21:57:27 -080053 void lookup(const LookupMap &Symbols,
Lang Hames4e920e52019-10-04 03:55:26 +000054 std::unique_ptr<JITLinkAsyncLookupContinuation> LC) override {
Lang Hames11c8dfa52019-04-20 17:10:34 +000055
Lang Hamesc66f8902020-05-04 16:43:42 -070056 JITDylibSearchOrder LinkOrder;
Lang Hames7dcd0042020-09-11 09:23:14 -070057 MR->getTargetJITDylib().withLinkOrderDo(
Lang Hamesc66f8902020-05-04 16:43:42 -070058 [&](const JITDylibSearchOrder &LO) { LinkOrder = LO; });
Lang Hames11c8dfa52019-04-20 17:10:34 +000059
60 auto &ES = Layer.getExecutionSession();
61
Lang Hames674df132019-11-25 21:57:27 -080062 SymbolLookupSet LookupSet;
63 for (auto &KV : Symbols) {
64 orc::SymbolLookupFlags LookupFlags;
65 switch (KV.second) {
66 case jitlink::SymbolLookupFlags::RequiredSymbol:
67 LookupFlags = orc::SymbolLookupFlags::RequiredSymbol;
68 break;
69 case jitlink::SymbolLookupFlags::WeaklyReferencedSymbol:
70 LookupFlags = orc::SymbolLookupFlags::WeaklyReferencedSymbol;
71 break;
72 }
73 LookupSet.add(ES.intern(KV.first), LookupFlags);
74 }
Lang Hames11c8dfa52019-04-20 17:10:34 +000075
76 // OnResolve -- De-intern the symbols and pass the result to the linker.
Lang Hamesb79e19e2020-08-31 15:16:03 -070077 auto OnResolve = [LookupContinuation =
78 std::move(LC)](Expected<SymbolMap> Result) mutable {
Lang Hames11c8dfa52019-04-20 17:10:34 +000079 if (!Result)
Lang Hames4e920e52019-10-04 03:55:26 +000080 LookupContinuation->run(Result.takeError());
Lang Hames11c8dfa52019-04-20 17:10:34 +000081 else {
82 AsyncLookupResult LR;
83 for (auto &KV : *Result)
84 LR[*KV.first] = KV.second;
Lang Hames4e920e52019-10-04 03:55:26 +000085 LookupContinuation->run(std::move(LR));
Lang Hames11c8dfa52019-04-20 17:10:34 +000086 }
87 };
88
Lang Hamesca6f5842020-02-11 09:02:22 -080089 for (auto &KV : InternalNamedSymbolDeps) {
90 SymbolDependenceMap InternalDeps;
Lang Hames7dcd0042020-09-11 09:23:14 -070091 InternalDeps[&MR->getTargetJITDylib()] = std::move(KV.second);
92 MR->addDependencies(KV.first, InternalDeps);
Lang Hamesca6f5842020-02-11 09:02:22 -080093 }
94
Lang Hamesc66f8902020-05-04 16:43:42 -070095 ES.lookup(LookupKind::Static, LinkOrder, std::move(LookupSet),
Lang Hames674df132019-11-25 21:57:27 -080096 SymbolState::Resolved, std::move(OnResolve),
97 [this](const SymbolDependenceMap &Deps) {
Lang Hamesd4a80892019-06-07 19:33:51 +000098 registerDependencies(Deps);
99 });
Lang Hames11c8dfa52019-04-20 17:10:34 +0000100 }
101
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700102 Error notifyResolved(LinkGraph &G) override {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000103 auto &ES = Layer.getExecutionSession();
104
105 SymbolFlagsMap ExtraSymbolsToClaim;
106 bool AutoClaim = Layer.AutoClaimObjectSymbols;
107
108 SymbolMap InternedResult;
Lang Hames4e920e52019-10-04 03:55:26 +0000109 for (auto *Sym : G.defined_symbols())
110 if (Sym->hasName() && Sym->getScope() != Scope::Local) {
111 auto InternedName = ES.intern(Sym->getName());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000112 JITSymbolFlags Flags;
113
Lang Hames4e920e52019-10-04 03:55:26 +0000114 if (Sym->isCallable())
Lang Hames11c8dfa52019-04-20 17:10:34 +0000115 Flags |= JITSymbolFlags::Callable;
Lang Hames4e920e52019-10-04 03:55:26 +0000116 if (Sym->getScope() == Scope::Default)
117 Flags |= JITSymbolFlags::Exported;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000118
119 InternedResult[InternedName] =
Lang Hames4e920e52019-10-04 03:55:26 +0000120 JITEvaluatedSymbol(Sym->getAddress(), Flags);
Lang Hames7dcd0042020-09-11 09:23:14 -0700121 if (AutoClaim && !MR->getSymbols().count(InternedName)) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000122 assert(!ExtraSymbolsToClaim.count(InternedName) &&
123 "Duplicate symbol to claim?");
124 ExtraSymbolsToClaim[InternedName] = Flags;
125 }
126 }
127
Lang Hames4e920e52019-10-04 03:55:26 +0000128 for (auto *Sym : G.absolute_symbols())
129 if (Sym->hasName()) {
130 auto InternedName = ES.intern(Sym->getName());
Lang Hames11c8dfa52019-04-20 17:10:34 +0000131 JITSymbolFlags Flags;
132 Flags |= JITSymbolFlags::Absolute;
Lang Hames4e920e52019-10-04 03:55:26 +0000133 if (Sym->isCallable())
Lang Hames11c8dfa52019-04-20 17:10:34 +0000134 Flags |= JITSymbolFlags::Callable;
Lang Hames4e920e52019-10-04 03:55:26 +0000135 if (Sym->getLinkage() == Linkage::Weak)
136 Flags |= JITSymbolFlags::Weak;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000137 InternedResult[InternedName] =
Lang Hames4e920e52019-10-04 03:55:26 +0000138 JITEvaluatedSymbol(Sym->getAddress(), Flags);
Lang Hames7dcd0042020-09-11 09:23:14 -0700139 if (AutoClaim && !MR->getSymbols().count(InternedName)) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000140 assert(!ExtraSymbolsToClaim.count(InternedName) &&
141 "Duplicate symbol to claim?");
142 ExtraSymbolsToClaim[InternedName] = Flags;
143 }
144 }
145
146 if (!ExtraSymbolsToClaim.empty())
Lang Hames7dcd0042020-09-11 09:23:14 -0700147 if (auto Err = MR->defineMaterializing(ExtraSymbolsToClaim))
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700148 return Err;
Lang Hames85fb9972019-12-16 02:50:40 -0800149
Lang Hames81726892020-02-21 17:38:42 -0800150 {
Lang Hamescb84e482020-03-25 13:07:00 -0700151
Lang Hames7dcd0042020-09-11 09:23:14 -0700152 // Check that InternedResult matches up with MR->getSymbols().
Lang Hames81726892020-02-21 17:38:42 -0800153 // This guards against faulty transformations / compilers / object caches.
154
Lang Hamescb84e482020-03-25 13:07:00 -0700155 // First check that there aren't any missing symbols.
156 size_t NumMaterializationSideEffectsOnlySymbols = 0;
157 SymbolNameVector ExtraSymbols;
158 SymbolNameVector MissingSymbols;
Lang Hames7dcd0042020-09-11 09:23:14 -0700159 for (auto &KV : MR->getSymbols()) {
Lang Hamescb84e482020-03-25 13:07:00 -0700160
161 // If this is a materialization-side-effects only symbol then bump
162 // the counter and make sure it's *not* defined, otherwise make
163 // sure that it is defined.
164 if (KV.second.hasMaterializationSideEffectsOnly()) {
165 ++NumMaterializationSideEffectsOnlySymbols;
166 if (InternedResult.count(KV.first))
Lang Hames81726892020-02-21 17:38:42 -0800167 ExtraSymbols.push_back(KV.first);
Lang Hamescb84e482020-03-25 13:07:00 -0700168 continue;
169 } else if (!InternedResult.count(KV.first))
170 MissingSymbols.push_back(KV.first);
171 }
172
173 // If there were missing symbols then report the error.
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700174 if (!MissingSymbols.empty())
175 return make_error<MissingSymbolDefinitions>(G.getName(),
176 std::move(MissingSymbols));
Lang Hames81726892020-02-21 17:38:42 -0800177
Lang Hamescb84e482020-03-25 13:07:00 -0700178 // If there are more definitions than expected, add them to the
179 // ExtraSymbols vector.
180 if (InternedResult.size() >
Lang Hames7dcd0042020-09-11 09:23:14 -0700181 MR->getSymbols().size() - NumMaterializationSideEffectsOnlySymbols) {
Lang Hamescb84e482020-03-25 13:07:00 -0700182 for (auto &KV : InternedResult)
Lang Hames7dcd0042020-09-11 09:23:14 -0700183 if (!MR->getSymbols().count(KV.first))
Lang Hamescb84e482020-03-25 13:07:00 -0700184 ExtraSymbols.push_back(KV.first);
185 }
Lang Hames81726892020-02-21 17:38:42 -0800186
Lang Hamescb84e482020-03-25 13:07:00 -0700187 // If there were extra definitions then report the error.
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700188 if (!ExtraSymbols.empty())
189 return make_error<UnexpectedSymbolDefinitions>(G.getName(),
190 std::move(ExtraSymbols));
Lang Hames81726892020-02-21 17:38:42 -0800191 }
192
Lang Hames7dcd0042020-09-11 09:23:14 -0700193 if (auto Err = MR->notifyResolved(InternedResult))
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700194 return Err;
195
Lang Hames7dcd0042020-09-11 09:23:14 -0700196 Layer.notifyLoaded(*MR);
Lang Hames9f1dcdc2020-07-29 20:46:56 -0700197 return Error::success();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000198 }
199
200 void notifyFinalized(
201 std::unique_ptr<JITLinkMemoryManager::Allocation> A) override {
Lang Hames7dcd0042020-09-11 09:23:14 -0700202 if (auto Err = Layer.notifyEmitted(*MR, std::move(A))) {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000203 Layer.getExecutionSession().reportError(std::move(Err));
Lang Hames7dcd0042020-09-11 09:23:14 -0700204 MR->failMaterialization();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000205 return;
206 }
Lang Hames7dcd0042020-09-11 09:23:14 -0700207 if (auto Err = MR->notifyEmitted()) {
Lang Hamese00585c2019-08-23 20:37:31 +0000208 Layer.getExecutionSession().reportError(std::move(Err));
Lang Hames7dcd0042020-09-11 09:23:14 -0700209 MR->failMaterialization();
Lang Hamese00585c2019-08-23 20:37:31 +0000210 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000211 }
212
Lang Hames4e920e52019-10-04 03:55:26 +0000213 LinkGraphPassFunction getMarkLivePass(const Triple &TT) const override {
214 return [this](LinkGraph &G) { return markResponsibilitySymbolsLive(G); };
Lang Hames11c8dfa52019-04-20 17:10:34 +0000215 }
216
217 Error modifyPassConfig(const Triple &TT, PassConfiguration &Config) override {
218 // Add passes to mark duplicate defs as should-discard, and to walk the
Lang Hames4e920e52019-10-04 03:55:26 +0000219 // link graph to build the symbol dependence graph.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000220 Config.PrePrunePasses.push_back(
Lang Hames4e920e52019-10-04 03:55:26 +0000221 [this](LinkGraph &G) { return externalizeWeakAndCommonSymbols(G); });
Lang Hames11c8dfa52019-04-20 17:10:34 +0000222
Lang Hames7dcd0042020-09-11 09:23:14 -0700223 Layer.modifyPassConfig(*MR, TT, Config);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000224
Lang Hamesca6f5842020-02-11 09:02:22 -0800225 Config.PostPrunePasses.push_back(
226 [this](LinkGraph &G) { return computeNamedSymbolDependencies(G); });
227
Lang Hames11c8dfa52019-04-20 17:10:34 +0000228 return Error::success();
229 }
230
231private:
Lang Hames85fb9972019-12-16 02:50:40 -0800232 struct LocalSymbolNamedDependencies {
233 SymbolNameSet Internal, External;
234 };
235
236 using LocalSymbolNamedDependenciesMap =
237 DenseMap<const Symbol *, LocalSymbolNamedDependencies>;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000238
Lang Hames4e920e52019-10-04 03:55:26 +0000239 Error externalizeWeakAndCommonSymbols(LinkGraph &G) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000240 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000241 for (auto *Sym : G.defined_symbols())
242 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
Lang Hames7dcd0042020-09-11 09:23:14 -0700243 if (!MR->getSymbols().count(ES.intern(Sym->getName())))
Lang Hames4e920e52019-10-04 03:55:26 +0000244 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000245 }
246
Lang Hames4e920e52019-10-04 03:55:26 +0000247 for (auto *Sym : G.absolute_symbols())
248 if (Sym->hasName() && Sym->getLinkage() == Linkage::Weak) {
Lang Hames7dcd0042020-09-11 09:23:14 -0700249 if (!MR->getSymbols().count(ES.intern(Sym->getName())))
Lang Hames4e920e52019-10-04 03:55:26 +0000250 G.makeExternal(*Sym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000251 }
252
253 return Error::success();
254 }
255
Lang Hames4e920e52019-10-04 03:55:26 +0000256 Error markResponsibilitySymbolsLive(LinkGraph &G) const {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000257 auto &ES = Layer.getExecutionSession();
Lang Hames4e920e52019-10-04 03:55:26 +0000258 for (auto *Sym : G.defined_symbols())
Lang Hames7dcd0042020-09-11 09:23:14 -0700259 if (Sym->hasName() && MR->getSymbols().count(ES.intern(Sym->getName())))
Lang Hames4e920e52019-10-04 03:55:26 +0000260 Sym->setLive(true);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000261 return Error::success();
262 }
263
Lang Hames4e920e52019-10-04 03:55:26 +0000264 Error computeNamedSymbolDependencies(LinkGraph &G) {
Lang Hames7dcd0042020-09-11 09:23:14 -0700265 auto &ES = MR->getTargetJITDylib().getExecutionSession();
Lang Hamesca6f5842020-02-11 09:02:22 -0800266 auto LocalDeps = computeLocalDeps(G);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000267
Lang Hames85fb9972019-12-16 02:50:40 -0800268 // Compute dependencies for symbols defined in the JITLink graph.
Lang Hames4e920e52019-10-04 03:55:26 +0000269 for (auto *Sym : G.defined_symbols()) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000270
Lang Hamesca6f5842020-02-11 09:02:22 -0800271 // Skip local symbols: we do not track dependencies for these.
Lang Hames4e920e52019-10-04 03:55:26 +0000272 if (Sym->getScope() == Scope::Local)
Lang Hames11c8dfa52019-04-20 17:10:34 +0000273 continue;
Lang Hamesca6f5842020-02-11 09:02:22 -0800274 assert(Sym->hasName() &&
275 "Defined non-local jitlink::Symbol should have a name");
Lang Hames11c8dfa52019-04-20 17:10:34 +0000276
Lang Hamesca6f5842020-02-11 09:02:22 -0800277 SymbolNameSet ExternalSymDeps, InternalSymDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000278
Lang Hamesca6f5842020-02-11 09:02:22 -0800279 // Find internal and external named symbol dependencies.
Lang Hames4e920e52019-10-04 03:55:26 +0000280 for (auto &E : Sym->getBlock().edges()) {
281 auto &TargetSym = E.getTarget();
Lang Hames11c8dfa52019-04-20 17:10:34 +0000282
Lang Hamesca6f5842020-02-11 09:02:22 -0800283 if (TargetSym.getScope() != Scope::Local) {
284 if (TargetSym.isExternal())
285 ExternalSymDeps.insert(ES.intern(TargetSym.getName()));
286 else if (&TargetSym != Sym)
287 InternalSymDeps.insert(ES.intern(TargetSym.getName()));
288 } else {
Lang Hames4e920e52019-10-04 03:55:26 +0000289 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800290 "local symbols must be defined");
291 auto I = LocalDeps.find(&TargetSym);
Lang Hames85fb9972019-12-16 02:50:40 -0800292 if (I != LocalDeps.end()) {
293 for (auto &S : I->second.External)
294 ExternalSymDeps.insert(S);
295 for (auto &S : I->second.Internal)
296 InternalSymDeps.insert(S);
297 }
Lang Hames11c8dfa52019-04-20 17:10:34 +0000298 }
299 }
Lang Hamesca6f5842020-02-11 09:02:22 -0800300
301 if (ExternalSymDeps.empty() && InternalSymDeps.empty())
302 continue;
303
304 auto SymName = ES.intern(Sym->getName());
305 if (!ExternalSymDeps.empty())
306 ExternalNamedSymbolDeps[SymName] = std::move(ExternalSymDeps);
307 if (!InternalSymDeps.empty())
308 InternalNamedSymbolDeps[SymName] = std::move(InternalSymDeps);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000309 }
310
Lang Hames85fb9972019-12-16 02:50:40 -0800311 for (auto &P : Layer.Plugins) {
Lang Hames7dcd0042020-09-11 09:23:14 -0700312 auto SyntheticLocalDeps = P->getSyntheticSymbolLocalDependencies(*MR);
Lang Hames85fb9972019-12-16 02:50:40 -0800313 if (SyntheticLocalDeps.empty())
314 continue;
315
316 for (auto &KV : SyntheticLocalDeps) {
317 auto &Name = KV.first;
318 auto &LocalDepsForName = KV.second;
319 for (auto *Local : LocalDepsForName) {
320 assert(Local->getScope() == Scope::Local &&
321 "Dependence on non-local symbol");
322 auto LocalNamedDepsItr = LocalDeps.find(Local);
323 if (LocalNamedDepsItr == LocalDeps.end())
324 continue;
325 for (auto &S : LocalNamedDepsItr->second.Internal)
326 InternalNamedSymbolDeps[Name].insert(S);
327 for (auto &S : LocalNamedDepsItr->second.External)
328 ExternalNamedSymbolDeps[Name].insert(S);
329 }
330 }
331 }
332
Lang Hames11c8dfa52019-04-20 17:10:34 +0000333 return Error::success();
334 }
335
Lang Hames85fb9972019-12-16 02:50:40 -0800336 LocalSymbolNamedDependenciesMap computeLocalDeps(LinkGraph &G) {
337 DenseMap<jitlink::Symbol *, DenseSet<jitlink::Symbol *>> DepMap;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000338
Lang Hamesca6f5842020-02-11 09:02:22 -0800339 // For all local symbols:
Lang Hames11c8dfa52019-04-20 17:10:34 +0000340 // (1) Add their named dependencies.
341 // (2) Add them to the worklist for further iteration if they have any
Lang Hamesca6f5842020-02-11 09:02:22 -0800342 // depend on any other local symbols.
Lang Hames11c8dfa52019-04-20 17:10:34 +0000343 struct WorklistEntry {
Lang Hamesca6f5842020-02-11 09:02:22 -0800344 WorklistEntry(Symbol *Sym, DenseSet<Symbol *> LocalDeps)
345 : Sym(Sym), LocalDeps(std::move(LocalDeps)) {}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000346
Lang Hames4e920e52019-10-04 03:55:26 +0000347 Symbol *Sym = nullptr;
Lang Hamesca6f5842020-02-11 09:02:22 -0800348 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000349 };
350 std::vector<WorklistEntry> Worklist;
Lang Hames4e920e52019-10-04 03:55:26 +0000351 for (auto *Sym : G.defined_symbols())
Lang Hamesca6f5842020-02-11 09:02:22 -0800352 if (Sym->getScope() == Scope::Local) {
Lang Hames4e920e52019-10-04 03:55:26 +0000353 auto &SymNamedDeps = DepMap[Sym];
Lang Hamesca6f5842020-02-11 09:02:22 -0800354 DenseSet<Symbol *> LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000355
Lang Hames4e920e52019-10-04 03:55:26 +0000356 for (auto &E : Sym->getBlock().edges()) {
357 auto &TargetSym = E.getTarget();
Lang Hamesca6f5842020-02-11 09:02:22 -0800358 if (TargetSym.getScope() != Scope::Local)
359 SymNamedDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000360 else {
Lang Hames4e920e52019-10-04 03:55:26 +0000361 assert(TargetSym.isDefined() &&
Lang Hamesca6f5842020-02-11 09:02:22 -0800362 "local symbols must be defined");
363 LocalDeps.insert(&TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000364 }
365 }
366
Lang Hamesca6f5842020-02-11 09:02:22 -0800367 if (!LocalDeps.empty())
368 Worklist.push_back(WorklistEntry(Sym, std::move(LocalDeps)));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000369 }
370
Lang Hamesca6f5842020-02-11 09:02:22 -0800371 // Loop over all local symbols with local dependencies, propagating
372 // their respective non-local dependencies. Iterate until we hit a stable
Lang Hames11c8dfa52019-04-20 17:10:34 +0000373 // state.
374 bool Changed;
375 do {
376 Changed = false;
377 for (auto &WLEntry : Worklist) {
Lang Hames4e920e52019-10-04 03:55:26 +0000378 auto *Sym = WLEntry.Sym;
Lang Hamesca6f5842020-02-11 09:02:22 -0800379 auto &NamedDeps = DepMap[Sym];
380 auto &LocalDeps = WLEntry.LocalDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000381
Lang Hamesca6f5842020-02-11 09:02:22 -0800382 for (auto *TargetSym : LocalDeps) {
Lang Hames4e920e52019-10-04 03:55:26 +0000383 auto I = DepMap.find(TargetSym);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000384 if (I != DepMap.end())
385 for (const auto &S : I->second)
Lang Hamesca6f5842020-02-11 09:02:22 -0800386 Changed |= NamedDeps.insert(S).second;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000387 }
388 }
389 } while (Changed);
390
Lang Hames85fb9972019-12-16 02:50:40 -0800391 // Intern the results to produce a mapping of jitlink::Symbol* to internal
392 // and external symbol names.
393 auto &ES = Layer.getExecutionSession();
394 LocalSymbolNamedDependenciesMap Result;
395 for (auto &KV : DepMap) {
396 auto *Local = KV.first;
397 assert(Local->getScope() == Scope::Local &&
398 "DepMap keys should all be local symbols");
399 auto &LocalNamedDeps = Result[Local];
400 for (auto *Named : KV.second) {
401 assert(Named->getScope() != Scope::Local &&
402 "DepMap values should all be non-local symbol sets");
403 if (Named->isExternal())
404 LocalNamedDeps.External.insert(ES.intern(Named->getName()));
405 else
406 LocalNamedDeps.Internal.insert(ES.intern(Named->getName()));
407 }
408 }
409
410 return Result;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000411 }
412
413 void registerDependencies(const SymbolDependenceMap &QueryDeps) {
Lang Hamesca6f5842020-02-11 09:02:22 -0800414 for (auto &NamedDepsEntry : ExternalNamedSymbolDeps) {
Lang Hames11c8dfa52019-04-20 17:10:34 +0000415 auto &Name = NamedDepsEntry.first;
416 auto &NameDeps = NamedDepsEntry.second;
417 SymbolDependenceMap SymbolDeps;
418
419 for (const auto &QueryDepsEntry : QueryDeps) {
420 JITDylib &SourceJD = *QueryDepsEntry.first;
421 const SymbolNameSet &Symbols = QueryDepsEntry.second;
422 auto &DepsForJD = SymbolDeps[&SourceJD];
423
424 for (const auto &S : Symbols)
425 if (NameDeps.count(S))
426 DepsForJD.insert(S);
427
428 if (DepsForJD.empty())
429 SymbolDeps.erase(&SourceJD);
430 }
431
Lang Hames7dcd0042020-09-11 09:23:14 -0700432 MR->addDependencies(Name, SymbolDeps);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000433 }
434 }
435
436 ObjectLinkingLayer &Layer;
Lang Hames7dcd0042020-09-11 09:23:14 -0700437 std::unique_ptr<MaterializationResponsibility> MR;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000438 std::unique_ptr<MemoryBuffer> ObjBuffer;
Lang Hamesca6f5842020-02-11 09:02:22 -0800439 DenseMap<SymbolStringPtr, SymbolNameSet> ExternalNamedSymbolDeps;
440 DenseMap<SymbolStringPtr, SymbolNameSet> InternalNamedSymbolDeps;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000441};
442
Lang Hamesa9fdf372019-04-26 22:58:39 +0000443ObjectLinkingLayer::Plugin::~Plugin() {}
444
Lang Hames69091eb2020-07-23 16:03:45 -0700445ObjectLinkingLayer::ObjectLinkingLayer(ExecutionSession &ES,
446 JITLinkMemoryManager &MemMgr)
Lang Hames0aec49c2020-09-11 09:50:41 -0700447 : ObjectLayer(ES), MemMgr(MemMgr) {
448 ES.registerResourceManager(*this);
449}
Lang Hames69091eb2020-07-23 16:03:45 -0700450
Lang Hamesc0143f32019-12-15 17:23:36 -0800451ObjectLinkingLayer::ObjectLinkingLayer(
452 ExecutionSession &ES, std::unique_ptr<JITLinkMemoryManager> MemMgr)
Lang Hames0aec49c2020-09-11 09:50:41 -0700453 : ObjectLayer(ES), MemMgr(*MemMgr), MemMgrOwnership(std::move(MemMgr)) {
454 ES.registerResourceManager(*this);
455}
Lang Hamesa9fdf372019-04-26 22:58:39 +0000456
457ObjectLinkingLayer::~ObjectLinkingLayer() {
Lang Hames0aec49c2020-09-11 09:50:41 -0700458 assert(Allocs.empty() && "Layer destroyed with resources still attached");
459 getExecutionSession().deregisterResourceManager(*this);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000460}
Lang Hames11c8dfa52019-04-20 17:10:34 +0000461
Lang Hames7dcd0042020-09-11 09:23:14 -0700462void ObjectLinkingLayer::emit(std::unique_ptr<MaterializationResponsibility> R,
Lang Hames11c8dfa52019-04-20 17:10:34 +0000463 std::unique_ptr<MemoryBuffer> O) {
464 assert(O && "Object must not be null");
Jonas Devlieghere0eaee542019-08-15 15:54:37 +0000465 jitLink(std::make_unique<ObjectLinkingLayerJITLinkContext>(
Lang Hames11c8dfa52019-04-20 17:10:34 +0000466 *this, std::move(R), std::move(O)));
467}
468
Lang Hamesa9fdf372019-04-26 22:58:39 +0000469void ObjectLinkingLayer::modifyPassConfig(MaterializationResponsibility &MR,
470 const Triple &TT,
471 PassConfiguration &PassConfig) {
472 for (auto &P : Plugins)
473 P->modifyPassConfig(MR, TT, PassConfig);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000474}
475
Lang Hamesa9fdf372019-04-26 22:58:39 +0000476void ObjectLinkingLayer::notifyLoaded(MaterializationResponsibility &MR) {
477 for (auto &P : Plugins)
478 P->notifyLoaded(MR);
Lang Hames11c8dfa52019-04-20 17:10:34 +0000479}
480
Lang Hamesa9fdf372019-04-26 22:58:39 +0000481Error ObjectLinkingLayer::notifyEmitted(MaterializationResponsibility &MR,
482 AllocPtr Alloc) {
483 Error Err = Error::success();
484 for (auto &P : Plugins)
485 Err = joinErrors(std::move(Err), P->notifyEmitted(MR));
Lang Hames11c8dfa52019-04-20 17:10:34 +0000486
Lang Hamesa9fdf372019-04-26 22:58:39 +0000487 if (Err)
488 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000489
Lang Hames0aec49c2020-09-11 09:50:41 -0700490 return MR.withResourceKeyDo(
491 [&](ResourceKey K) { Allocs[K].push_back(std::move(Alloc)); });
Lang Hamesa9fdf372019-04-26 22:58:39 +0000492}
493
Lang Hames0aec49c2020-09-11 09:50:41 -0700494Error ObjectLinkingLayer::handleRemoveResources(ResourceKey K) {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000495
496 Error Err = Error::success();
497
498 for (auto &P : Plugins)
Lang Hames0aec49c2020-09-11 09:50:41 -0700499 Err = joinErrors(std::move(Err), P->notifyRemovingResources(K));
Lang Hamesa9fdf372019-04-26 22:58:39 +0000500
Lang Hames0aec49c2020-09-11 09:50:41 -0700501 std::vector<AllocPtr> AllocsToRemove;
502 getExecutionSession().runSessionLocked([&] {
503 auto I = Allocs.find(K);
504 if (I != Allocs.end()) {
505 std::swap(AllocsToRemove, I->second);
506 Allocs.erase(I);
507 }
508 });
Lang Hamesa9fdf372019-04-26 22:58:39 +0000509
Lang Hames0aec49c2020-09-11 09:50:41 -0700510 while (!AllocsToRemove.empty()) {
511 Err = joinErrors(std::move(Err), AllocsToRemove.back()->deallocate());
512 AllocsToRemove.pop_back();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000513 }
514
515 return Err;
516}
517
Lang Hames0aec49c2020-09-11 09:50:41 -0700518void ObjectLinkingLayer::handleTransferResources(ResourceKey DstKey,
519 ResourceKey SrcKey) {
520 auto I = Allocs.find(SrcKey);
521 if (I != Allocs.end()) {
522 auto &SrcAllocs = I->second;
523 auto &DstAllocs = Allocs[DstKey];
524 DstAllocs.reserve(DstAllocs.size() + SrcAllocs.size());
525 for (auto &Alloc : SrcAllocs)
526 DstAllocs.push_back(std::move(Alloc));
527
528 // Erase SrcKey entry using value rather than iterator I: I may have been
529 // invalidated when we looked up DstKey.
530 Allocs.erase(SrcKey);
531 }
532
533 for (auto &P : Plugins)
534 P->notifyTransferringResources(DstKey, SrcKey);
535}
536
Lang Hamesf5a885f2019-07-04 00:05:12 +0000537EHFrameRegistrationPlugin::EHFrameRegistrationPlugin(
Lang Hames0aec49c2020-09-11 09:50:41 -0700538 ExecutionSession &ES, std::unique_ptr<EHFrameRegistrar> Registrar)
539 : ES(ES), Registrar(std::move(Registrar)) {}
Lang Hamesf5a885f2019-07-04 00:05:12 +0000540
541void EHFrameRegistrationPlugin::modifyPassConfig(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000542 MaterializationResponsibility &MR, const Triple &TT,
543 PassConfiguration &PassConfig) {
Lang Hamesa9fdf372019-04-26 22:58:39 +0000544
Lang Hames214a9f02020-03-12 15:08:30 -0700545 PassConfig.PostFixupPasses.push_back(createEHFrameRecorderPass(
546 TT, [this, &MR](JITTargetAddress Addr, size_t Size) {
547 if (Addr) {
548 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
549 assert(!InProcessLinks.count(&MR) &&
550 "Link for MR already being tracked?");
551 InProcessLinks[&MR] = {Addr, Size};
552 }
Lang Hamesa9fdf372019-04-26 22:58:39 +0000553 }));
554}
555
Lang Hamesf5a885f2019-07-04 00:05:12 +0000556Error EHFrameRegistrationPlugin::notifyEmitted(
Lang Hamesa9fdf372019-04-26 22:58:39 +0000557 MaterializationResponsibility &MR) {
558
Lang Hames0aec49c2020-09-11 09:50:41 -0700559 EHFrameRange EmittedRange;
560 {
561 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000562
Lang Hames0aec49c2020-09-11 09:50:41 -0700563 auto EHFrameRangeItr = InProcessLinks.find(&MR);
564 if (EHFrameRangeItr == InProcessLinks.end())
565 return Error::success();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000566
Lang Hames0aec49c2020-09-11 09:50:41 -0700567 EmittedRange = EHFrameRangeItr->second;
568 assert(EmittedRange.Addr && "eh-frame addr to register can not be null");
569 InProcessLinks.erase(EHFrameRangeItr);
570 }
Lang Hamesa9fdf372019-04-26 22:58:39 +0000571
Lang Hames0aec49c2020-09-11 09:50:41 -0700572 if (auto Err = MR.withResourceKeyDo(
573 [&](ResourceKey K) { EHFrameRanges[K].push_back(EmittedRange); }))
574 return Err;
575
576 return Registrar->registerEHFrames(EmittedRange.Addr, EmittedRange.Size);
Lang Hamesa9fdf372019-04-26 22:58:39 +0000577}
578
Lang Hames0aec49c2020-09-11 09:50:41 -0700579Error EHFrameRegistrationPlugin::notifyFailed(
580 MaterializationResponsibility &MR) {
Lang Hames214a9f02020-03-12 15:08:30 -0700581 std::lock_guard<std::mutex> Lock(EHFramePluginMutex);
Lang Hames0aec49c2020-09-11 09:50:41 -0700582 InProcessLinks.erase(&MR);
583 return Error::success();
Lang Hamesa9fdf372019-04-26 22:58:39 +0000584}
585
Lang Hames0aec49c2020-09-11 09:50:41 -0700586Error EHFrameRegistrationPlugin::notifyRemovingResources(ResourceKey K) {
587 std::vector<EHFrameRange> RangesToRemove;
Lang Hamesa9fdf372019-04-26 22:58:39 +0000588
Lang Hames0aec49c2020-09-11 09:50:41 -0700589 ES.runSessionLocked([&] {
590 auto I = EHFrameRanges.find(K);
591 if (I != EHFrameRanges.end()) {
592 RangesToRemove = std::move(I->second);
593 EHFrameRanges.erase(I);
594 }
595 });
Lang Hamesa9fdf372019-04-26 22:58:39 +0000596
597 Error Err = Error::success();
Lang Hames0aec49c2020-09-11 09:50:41 -0700598 while (!RangesToRemove.empty()) {
599 auto RangeToRemove = RangesToRemove.back();
600 RangesToRemove.pop_back();
601 assert(RangeToRemove.Addr && "Untracked eh-frame range must not be null");
602 Err = joinErrors(
603 std::move(Err),
604 Registrar->deregisterEHFrames(RangeToRemove.Addr, RangeToRemove.Size));
Lang Hamesa9fdf372019-04-26 22:58:39 +0000605 }
606
607 return Err;
Lang Hames11c8dfa52019-04-20 17:10:34 +0000608}
609
Lang Hames0aec49c2020-09-11 09:50:41 -0700610void EHFrameRegistrationPlugin::notifyTransferringResources(
611 ResourceKey DstKey, ResourceKey SrcKey) {
612 auto SI = EHFrameRanges.find(SrcKey);
613 if (SI != EHFrameRanges.end()) {
614 auto &SrcRanges = SI->second;
615 auto &DstRanges = EHFrameRanges[DstKey];
616 DstRanges.reserve(DstRanges.size() + SrcRanges.size());
617 for (auto &SrcRange : SrcRanges)
618 DstRanges.push_back(std::move(SrcRange));
619 EHFrameRanges.erase(SI);
620 }
621}
622
Lang Hames11c8dfa52019-04-20 17:10:34 +0000623} // End namespace orc.
624} // End namespace llvm.