blob: 616251c7e008f6d50a269f2f31a697a015cde485 [file] [log] [blame]
Lang Hames373f4622018-05-21 23:45:40 +00001//===-- RTDyldObjectLinkingLayer.cpp - RuntimeDyld backed ORC ObjectLayer -===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
11
Lang Hamesfd0c1e712018-07-20 18:31:50 +000012namespace {
13
14using namespace llvm;
15using namespace llvm::orc;
16
Lang Hamesd5f56c52018-08-17 21:18:18 +000017class JITDylibSearchOrderResolver : public JITSymbolResolver {
Lang Hamesfd0c1e712018-07-20 18:31:50 +000018public:
Lang Hamesd5f56c52018-08-17 21:18:18 +000019 JITDylibSearchOrderResolver(MaterializationResponsibility &MR) : MR(MR) {}
Lang Hamesfd0c1e712018-07-20 18:31:50 +000020
Lang Hamesadde5ba2018-09-25 19:48:46 +000021 void lookup(const LookupSet &Symbols, OnResolvedFunction OnResolved) {
Lang Hamesd5f56c52018-08-17 21:18:18 +000022 auto &ES = MR.getTargetJITDylib().getExecutionSession();
Lang Hamesfd0c1e712018-07-20 18:31:50 +000023 SymbolNameSet InternedSymbols;
24
Lang Hamesadde5ba2018-09-25 19:48:46 +000025 // Intern the requested symbols: lookup takes interned strings.
Lang Hamesfd0c1e712018-07-20 18:31:50 +000026 for (auto &S : Symbols)
Lang Hames71d781c2018-09-30 23:18:24 +000027 InternedSymbols.insert(ES.intern(S));
Lang Hamesfd0c1e712018-07-20 18:31:50 +000028
Lang Hamesadde5ba2018-09-25 19:48:46 +000029 // Build an OnResolve callback to unwrap the interned strings and pass them
30 // to the OnResolved callback.
31 // FIXME: Switch to move capture of OnResolved once we have c++14.
32 auto OnResolvedWithUnwrap =
33 [OnResolved](Expected<SymbolMap> InternedResult) {
34 if (!InternedResult) {
35 OnResolved(InternedResult.takeError());
36 return;
37 }
38
39 LookupResult Result;
40 for (auto &KV : *InternedResult)
41 Result[*KV.first] = std::move(KV.second);
42 OnResolved(Result);
43 };
44
45 // We're not waiting for symbols to be ready. Just log any errors.
46 auto OnReady = [&ES](Error Err) { ES.reportError(std::move(Err)); };
47
48 // Register dependencies for all symbols contained in this set.
Lang Hamesa48d1082018-07-20 22:22:19 +000049 auto RegisterDependencies = [&](const SymbolDependenceMap &Deps) {
Lang Hames960246d2018-07-21 00:12:05 +000050 MR.addDependenciesForAll(Deps);
Lang Hamesfd0c1e712018-07-20 18:31:50 +000051 };
52
Lang Hamesadde5ba2018-09-25 19:48:46 +000053 MR.getTargetJITDylib().withSearchOrderDo([&](const JITDylibList &JDs) {
54 ES.lookup(JDs, InternedSymbols, OnResolvedWithUnwrap, OnReady,
Lang Hames7899ccb2018-10-13 21:53:40 +000055 RegisterDependencies, &MR.getTargetJITDylib());
Lang Hamesadde5ba2018-09-25 19:48:46 +000056 });
Lang Hamesfd0c1e712018-07-20 18:31:50 +000057 }
58
Lang Hames6cadc7c2018-08-28 21:18:05 +000059 Expected<LookupSet> getResponsibilitySet(const LookupSet &Symbols) {
60 LookupSet Result;
Lang Hamesa48d1082018-07-20 22:22:19 +000061
Lang Hames6cadc7c2018-08-28 21:18:05 +000062 for (auto &KV : MR.getSymbols()) {
63 if (Symbols.count(*KV.first))
64 Result.insert(*KV.first);
65 }
Lang Hamesfd0c1e712018-07-20 18:31:50 +000066
67 return Result;
68 }
69
70private:
Lang Hamesfd0c1e712018-07-20 18:31:50 +000071 MaterializationResponsibility &MR;
72};
73
74} // end anonymous namespace
75
Lang Hames373f4622018-05-21 23:45:40 +000076namespace llvm {
77namespace orc {
78
Lang Hames079df9a2018-10-15 22:56:10 +000079RTDyldObjectLinkingLayer::RTDyldObjectLinkingLayer(
Lang Hamesfd0c1e712018-07-20 18:31:50 +000080 ExecutionSession &ES, GetMemoryManagerFunction GetMemoryManager,
Lang Hames76e21c92018-08-18 02:06:18 +000081 NotifyLoadedFunction NotifyLoaded, NotifyEmittedFunction NotifyEmitted)
Lang Hamesfd0c1e712018-07-20 18:31:50 +000082 : ObjectLayer(ES), GetMemoryManager(GetMemoryManager),
Lang Hames373f4622018-05-21 23:45:40 +000083 NotifyLoaded(std::move(NotifyLoaded)),
Lang Hames6d320022018-08-31 00:53:17 +000084 NotifyEmitted(std::move(NotifyEmitted)) {}
Lang Hames373f4622018-05-21 23:45:40 +000085
Lang Hames079df9a2018-10-15 22:56:10 +000086void RTDyldObjectLinkingLayer::emit(MaterializationResponsibility R,
Lang Hames8b942742018-10-16 20:13:06 +000087 std::unique_ptr<MemoryBuffer> O) {
Lang Hames4caa2f72018-05-23 21:27:01 +000088 assert(O && "Object must not be null");
Lang Hames373f4622018-05-21 23:45:40 +000089
Lang Hamesabeedf12018-09-25 22:57:44 +000090 // This method launches an asynchronous link step that will fulfill our
91 // materialization responsibility. We need to switch R to be heap
92 // allocated before that happens so it can live as long as the asynchronous
93 // link needs it to (i.e. it must be able to outlive this method).
94 auto SharedR = std::make_shared<MaterializationResponsibility>(std::move(R));
95
Lang Hames373f4622018-05-21 23:45:40 +000096 auto &ES = getExecutionSession();
97
Lang Hamesabeedf12018-09-25 22:57:44 +000098 auto Obj = object::ObjectFile::createObjectFile(*O);
99
100 if (!Obj) {
101 getExecutionSession().reportError(Obj.takeError());
102 SharedR->failMaterialization();
103 return;
104 }
105
106 // Collect the internal symbols from the object file: We will need to
107 // filter these later.
108 auto InternalSymbols = std::make_shared<std::set<StringRef>>();
109 {
110 for (auto &Sym : (*Obj)->symbols()) {
111 if (!(Sym.getFlags() & object::BasicSymbolRef::SF_Global)) {
112 if (auto SymName = Sym.getName())
113 InternalSymbols->insert(*SymName);
114 else {
115 ES.reportError(SymName.takeError());
116 R.failMaterialization();
117 return;
118 }
119 }
120 }
Lang Hames373f4622018-05-21 23:45:40 +0000121 }
122
Lang Hames8b942742018-10-16 20:13:06 +0000123 auto K = R.getVModuleKey();
Lang Hames95abade2018-10-22 21:17:56 +0000124 RuntimeDyld::MemoryManager *MemMgr = nullptr;
125
126 // Create a record a memory manager for this object.
127 {
128 auto Tmp = GetMemoryManager();
129 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
130 MemMgrs.push_back(std::move(Tmp));
131 MemMgr = MemMgrs.back().get();
132 }
Lang Hames373f4622018-05-21 23:45:40 +0000133
Lang Hamesabeedf12018-09-25 22:57:44 +0000134 JITDylibSearchOrderResolver Resolver(*SharedR);
Lang Hames373f4622018-05-21 23:45:40 +0000135
Lang Hamesabeedf12018-09-25 22:57:44 +0000136 /* Thoughts on proper cross-dylib weak symbol handling:
137 *
138 * Change selection of canonical defs to be a manually triggered process, and
139 * add a 'canonical' bit to symbol definitions. When canonical def selection
140 * is triggered, sweep the JITDylibs to mark defs as canonical, discard
141 * duplicate defs.
142 */
143 jitLinkForORC(
Lang Hames95abade2018-10-22 21:17:56 +0000144 **Obj, std::move(O), *MemMgr, Resolver, ProcessAllSections,
Lang Hamesabeedf12018-09-25 22:57:44 +0000145 [this, K, SharedR, &Obj, InternalSymbols](
146 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,
147 std::map<StringRef, JITEvaluatedSymbol> ResolvedSymbols) {
148 return onObjLoad(K, *SharedR, **Obj, std::move(LoadedObjInfo),
149 ResolvedSymbols, *InternalSymbols);
150 },
151 [this, K, SharedR](Error Err) {
152 onObjEmit(K, *SharedR, std::move(Err));
153 });
154}
155
Lang Hames079df9a2018-10-15 22:56:10 +0000156Error RTDyldObjectLinkingLayer::onObjLoad(
Lang Hamesabeedf12018-09-25 22:57:44 +0000157 VModuleKey K, MaterializationResponsibility &R, object::ObjectFile &Obj,
158 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,
159 std::map<StringRef, JITEvaluatedSymbol> Resolved,
160 std::set<StringRef> &InternalSymbols) {
161 SymbolFlagsMap ExtraSymbolsToClaim;
162 SymbolMap Symbols;
163 for (auto &KV : Resolved) {
164 // Scan the symbols and add them to the Symbols map for resolution.
165
166 // We never claim internal symbols.
167 if (InternalSymbols.count(KV.first))
168 continue;
169
Lang Hames71d781c2018-09-30 23:18:24 +0000170 auto InternedName = getExecutionSession().intern(KV.first);
Lang Hamesabeedf12018-09-25 22:57:44 +0000171 auto Flags = KV.second.getFlags();
172
173 // Override object flags and claim responsibility for symbols if
174 // requested.
175 if (OverrideObjectFlags || AutoClaimObjectSymbols) {
176 auto I = R.getSymbols().find(InternedName);
177
178 if (OverrideObjectFlags && I != R.getSymbols().end())
179 Flags = JITSymbolFlags::stripTransientFlags(I->second);
180 else if (AutoClaimObjectSymbols && I == R.getSymbols().end())
181 ExtraSymbolsToClaim[InternedName] = Flags;
Lang Hames68c9b8d2018-06-18 18:01:43 +0000182 }
183
Lang Hamesabeedf12018-09-25 22:57:44 +0000184 Symbols[InternedName] = JITEvaluatedSymbol(KV.second.getAddress(), Flags);
Lang Hames373f4622018-05-21 23:45:40 +0000185 }
186
Lang Hamesabeedf12018-09-25 22:57:44 +0000187 if (!ExtraSymbolsToClaim.empty())
188 if (auto Err = R.defineMaterializing(ExtraSymbolsToClaim))
189 return Err;
190
191 R.resolve(Symbols);
192
Lang Hames373f4622018-05-21 23:45:40 +0000193 if (NotifyLoaded)
Lang Hamesabeedf12018-09-25 22:57:44 +0000194 NotifyLoaded(K, Obj, *LoadedObjInfo);
Lang Hames373f4622018-05-21 23:45:40 +0000195
Lang Hamesabeedf12018-09-25 22:57:44 +0000196 return Error::success();
197}
Lang Hames373f4622018-05-21 23:45:40 +0000198
Lang Hames079df9a2018-10-15 22:56:10 +0000199void RTDyldObjectLinkingLayer::onObjEmit(VModuleKey K,
Lang Hamesabeedf12018-09-25 22:57:44 +0000200 MaterializationResponsibility &R,
201 Error Err) {
202 if (Err) {
203 getExecutionSession().reportError(std::move(Err));
Lang Hames373f4622018-05-21 23:45:40 +0000204 R.failMaterialization();
Lang Hames68c9b8d2018-06-18 18:01:43 +0000205 return;
Lang Hames373f4622018-05-21 23:45:40 +0000206 }
207
Lang Hames76e21c92018-08-18 02:06:18 +0000208 R.emit();
Lang Hames373f4622018-05-21 23:45:40 +0000209
Lang Hames76e21c92018-08-18 02:06:18 +0000210 if (NotifyEmitted)
211 NotifyEmitted(K);
Lang Hames373f4622018-05-21 23:45:40 +0000212}
213
Lang Hames373f4622018-05-21 23:45:40 +0000214} // End namespace orc.
215} // End namespace llvm.