blob: 5ded369f3bd39b11914e681e87ace475ee934a6e [file] [log] [blame]
Lang Hames373f4622018-05-21 23:45:40 +00001//===-- RTDyldObjectLinkingLayer.cpp - RuntimeDyld backed ORC ObjectLayer -===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Lang Hames373f4622018-05-21 23:45:40 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
Lang Hames84217ad2020-01-17 14:48:48 -080010#include "llvm/Object/COFF.h"
Lang Hames373f4622018-05-21 23:45:40 +000011
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 Hames674df132019-11-25 21:57:27 -080023 SymbolLookupSet InternedSymbols;
Lang Hamesfd0c1e712018-07-20 18:31:50 +000024
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 Hames674df132019-11-25 21:57:27 -080027 InternedSymbols.add(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.
Lang Hamesadde5ba2018-09-25 19:48:46 +000031 auto OnResolvedWithUnwrap =
Benjamin Kramerce74c3b2019-09-13 11:35:33 +000032 [OnResolved = std::move(OnResolved)](
33 Expected<SymbolMap> InternedResult) mutable {
Lang Hamesadde5ba2018-09-25 19:48:46 +000034 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
Lang Hamesadde5ba2018-09-25 19:48:46 +000045 // Register dependencies for all symbols contained in this set.
Lang Hamesa48d1082018-07-20 22:22:19 +000046 auto RegisterDependencies = [&](const SymbolDependenceMap &Deps) {
Lang Hames960246d2018-07-21 00:12:05 +000047 MR.addDependenciesForAll(Deps);
Lang Hamesfd0c1e712018-07-20 18:31:50 +000048 };
49
Lang Hames674df132019-11-25 21:57:27 -080050 JITDylibSearchOrder SearchOrder;
Lang Hames23cb2e72018-10-23 23:01:39 +000051 MR.getTargetJITDylib().withSearchOrderDo(
Lang Hames674df132019-11-25 21:57:27 -080052 [&](const JITDylibSearchOrder &JDs) { SearchOrder = JDs; });
53 ES.lookup(LookupKind::Static, SearchOrder, InternedSymbols,
54 SymbolState::Resolved, std::move(OnResolvedWithUnwrap),
55 RegisterDependencies);
Lang Hamesfd0c1e712018-07-20 18:31:50 +000056 }
57
Lang Hames6cadc7c2018-08-28 21:18:05 +000058 Expected<LookupSet> getResponsibilitySet(const LookupSet &Symbols) {
59 LookupSet Result;
Lang Hamesa48d1082018-07-20 22:22:19 +000060
Lang Hames6cadc7c2018-08-28 21:18:05 +000061 for (auto &KV : MR.getSymbols()) {
62 if (Symbols.count(*KV.first))
63 Result.insert(*KV.first);
64 }
Lang Hamesfd0c1e712018-07-20 18:31:50 +000065
66 return Result;
67 }
68
69private:
Lang Hamesfd0c1e712018-07-20 18:31:50 +000070 MaterializationResponsibility &MR;
71};
72
73} // end anonymous namespace
74
Lang Hames373f4622018-05-21 23:45:40 +000075namespace llvm {
76namespace orc {
77
Lang Hames079df9a2018-10-15 22:56:10 +000078RTDyldObjectLinkingLayer::RTDyldObjectLinkingLayer(
Lang Hames42a3b4f2019-05-01 22:40:23 +000079 ExecutionSession &ES, GetMemoryManagerFunction GetMemoryManager)
80 : ObjectLayer(ES), GetMemoryManager(GetMemoryManager) {}
Lang Hames373f4622018-05-21 23:45:40 +000081
Lang Hames9f4f2372019-12-20 21:08:35 -080082RTDyldObjectLinkingLayer::~RTDyldObjectLinkingLayer() {
83 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
Lang Hames39253a52020-03-19 16:14:18 -070084 for (auto &MemMgr : MemMgrs) {
85 for (auto *L : EventListeners)
86 L->notifyFreeingObject(
87 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(MemMgr.get())));
Lang Hames9f4f2372019-12-20 21:08:35 -080088 MemMgr->deregisterEHFrames();
Lang Hames39253a52020-03-19 16:14:18 -070089 }
Lang Hames9f4f2372019-12-20 21:08:35 -080090}
91
Lang Hames079df9a2018-10-15 22:56:10 +000092void RTDyldObjectLinkingLayer::emit(MaterializationResponsibility R,
Lang Hames8b942742018-10-16 20:13:06 +000093 std::unique_ptr<MemoryBuffer> O) {
Lang Hames4caa2f72018-05-23 21:27:01 +000094 assert(O && "Object must not be null");
Benjamin Kramer8c893ca2020-02-24 12:10:13 +010095
Lang Hamesabeedf12018-09-25 22:57:44 +000096 // This method launches an asynchronous link step that will fulfill our
97 // materialization responsibility. We need to switch R to be heap
98 // allocated before that happens so it can live as long as the asynchronous
99 // link needs it to (i.e. it must be able to outlive this method).
100 auto SharedR = std::make_shared<MaterializationResponsibility>(std::move(R));
101
Lang Hames373f4622018-05-21 23:45:40 +0000102 auto &ES = getExecutionSession();
103
Lang Hames39253a52020-03-19 16:14:18 -0700104 auto Obj = object::ObjectFile::createObjectFile(*O);
Lang Hamesabeedf12018-09-25 22:57:44 +0000105
106 if (!Obj) {
107 getExecutionSession().reportError(Obj.takeError());
108 SharedR->failMaterialization();
109 return;
110 }
111
112 // Collect the internal symbols from the object file: We will need to
113 // filter these later.
114 auto InternalSymbols = std::make_shared<std::set<StringRef>>();
115 {
116 for (auto &Sym : (*Obj)->symbols()) {
Lang Hames31e03312020-03-03 16:02:46 -0800117
118 // Skip file symbols.
119 if (auto SymType = Sym.getType()) {
120 if (*SymType == object::SymbolRef::ST_File)
121 continue;
122 } else {
123 ES.reportError(SymType.takeError());
124 R.failMaterialization();
125 return;
126 }
127
vgxbjac003762020-04-10 20:24:21 +0800128 Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
129 if (!SymFlagsOrErr) {
130 // TODO: Test this error.
131 ES.reportError(SymFlagsOrErr.takeError());
132 R.failMaterialization();
133 return;
134 }
135
Lang Hames31e03312020-03-03 16:02:46 -0800136 // Don't include symbols that aren't global.
vgxbjac003762020-04-10 20:24:21 +0800137 if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global)) {
Lang Hamesabeedf12018-09-25 22:57:44 +0000138 if (auto SymName = Sym.getName())
139 InternalSymbols->insert(*SymName);
140 else {
141 ES.reportError(SymName.takeError());
142 R.failMaterialization();
143 return;
144 }
145 }
146 }
Lang Hames373f4622018-05-21 23:45:40 +0000147 }
148
Lang Hames8b942742018-10-16 20:13:06 +0000149 auto K = R.getVModuleKey();
Lang Hames95abade2018-10-22 21:17:56 +0000150 RuntimeDyld::MemoryManager *MemMgr = nullptr;
151
152 // Create a record a memory manager for this object.
153 {
154 auto Tmp = GetMemoryManager();
155 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
156 MemMgrs.push_back(std::move(Tmp));
157 MemMgr = MemMgrs.back().get();
158 }
Lang Hames373f4622018-05-21 23:45:40 +0000159
Lang Hamesabeedf12018-09-25 22:57:44 +0000160 JITDylibSearchOrderResolver Resolver(*SharedR);
Lang Hames373f4622018-05-21 23:45:40 +0000161
Lang Hamesabeedf12018-09-25 22:57:44 +0000162 jitLinkForORC(
Lang Hames39253a52020-03-19 16:14:18 -0700163 object::OwningBinary<object::ObjectFile>(std::move(*Obj), std::move(O)),
164 *MemMgr, Resolver, ProcessAllSections,
165 [this, K, SharedR, MemMgr, InternalSymbols](
166 const object::ObjectFile &Obj,
Lang Hamesabeedf12018-09-25 22:57:44 +0000167 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,
168 std::map<StringRef, JITEvaluatedSymbol> ResolvedSymbols) {
Lang Hames39253a52020-03-19 16:14:18 -0700169 return onObjLoad(K, *SharedR, Obj, MemMgr, std::move(LoadedObjInfo),
Lang Hamesabeedf12018-09-25 22:57:44 +0000170 ResolvedSymbols, *InternalSymbols);
171 },
Lang Hames39253a52020-03-19 16:14:18 -0700172 [this, K, SharedR, MemMgr](object::OwningBinary<object::ObjectFile> Obj,
173 Error Err) mutable {
174 onObjEmit(K, *SharedR, std::move(Obj), MemMgr, std::move(Err));
Lang Hamesabeedf12018-09-25 22:57:44 +0000175 });
176}
177
Lang Hames39253a52020-03-19 16:14:18 -0700178void RTDyldObjectLinkingLayer::registerJITEventListener(JITEventListener &L) {
179 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
180 assert(llvm::none_of(EventListeners,
181 [&](JITEventListener *O) { return O == &L; }) &&
182 "Listener has already been registered");
183 EventListeners.push_back(&L);
184}
185
186void RTDyldObjectLinkingLayer::unregisterJITEventListener(JITEventListener &L) {
187 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
188 auto I = llvm::find(EventListeners, &L);
189 assert(I != EventListeners.end() && "Listener not registered");
190 EventListeners.erase(I);
191}
192
Lang Hames079df9a2018-10-15 22:56:10 +0000193Error RTDyldObjectLinkingLayer::onObjLoad(
Lang Hames39253a52020-03-19 16:14:18 -0700194 VModuleKey K, MaterializationResponsibility &R,
195 const object::ObjectFile &Obj, RuntimeDyld::MemoryManager *MemMgr,
Lang Hamesabeedf12018-09-25 22:57:44 +0000196 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,
197 std::map<StringRef, JITEvaluatedSymbol> Resolved,
198 std::set<StringRef> &InternalSymbols) {
199 SymbolFlagsMap ExtraSymbolsToClaim;
200 SymbolMap Symbols;
Lang Hames84217ad2020-01-17 14:48:48 -0800201
202 // Hack to support COFF constant pool comdats introduced during compilation:
203 // (See http://llvm.org/PR40074)
204 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(&Obj)) {
205 auto &ES = getExecutionSession();
206
207 // For all resolved symbols that are not already in the responsibilty set:
208 // check whether the symbol is in a comdat section and if so mark it as
209 // weak.
210 for (auto &Sym : COFFObj->symbols()) {
vgxbjac003762020-04-10 20:24:21 +0800211 // getFlags() on COFF symbols can't fail.
212 uint32_t SymFlags = cantFail(Sym.getFlags());
213 if (SymFlags & object::BasicSymbolRef::SF_Undefined)
Lang Hames84217ad2020-01-17 14:48:48 -0800214 continue;
215 auto Name = Sym.getName();
216 if (!Name)
217 return Name.takeError();
218 auto I = Resolved.find(*Name);
219
220 // Skip unresolved symbols, internal symbols, and symbols that are
221 // already in the responsibility set.
222 if (I == Resolved.end() || InternalSymbols.count(*Name) ||
223 R.getSymbols().count(ES.intern(*Name)))
224 continue;
225 auto Sec = Sym.getSection();
226 if (!Sec)
227 return Sec.takeError();
228 if (*Sec == COFFObj->section_end())
229 continue;
230 auto &COFFSec = *COFFObj->getCOFFSection(**Sec);
231 if (COFFSec.Characteristics & COFF::IMAGE_SCN_LNK_COMDAT)
232 I->second.setFlags(I->second.getFlags() | JITSymbolFlags::Weak);
233 }
234 }
235
Lang Hamesabeedf12018-09-25 22:57:44 +0000236 for (auto &KV : Resolved) {
237 // Scan the symbols and add them to the Symbols map for resolution.
238
239 // We never claim internal symbols.
240 if (InternalSymbols.count(KV.first))
241 continue;
242
Lang Hames71d781c2018-09-30 23:18:24 +0000243 auto InternedName = getExecutionSession().intern(KV.first);
Lang Hamesabeedf12018-09-25 22:57:44 +0000244 auto Flags = KV.second.getFlags();
245
246 // Override object flags and claim responsibility for symbols if
247 // requested.
248 if (OverrideObjectFlags || AutoClaimObjectSymbols) {
249 auto I = R.getSymbols().find(InternedName);
250
251 if (OverrideObjectFlags && I != R.getSymbols().end())
Lang Hameseb5ee302019-05-28 23:35:44 +0000252 Flags = I->second;
Lang Hamesabeedf12018-09-25 22:57:44 +0000253 else if (AutoClaimObjectSymbols && I == R.getSymbols().end())
254 ExtraSymbolsToClaim[InternedName] = Flags;
Lang Hames68c9b8d2018-06-18 18:01:43 +0000255 }
256
Lang Hamesabeedf12018-09-25 22:57:44 +0000257 Symbols[InternedName] = JITEvaluatedSymbol(KV.second.getAddress(), Flags);
Lang Hames373f4622018-05-21 23:45:40 +0000258 }
259
Lang Hames84217ad2020-01-17 14:48:48 -0800260 if (!ExtraSymbolsToClaim.empty()) {
Lang Hamesabeedf12018-09-25 22:57:44 +0000261 if (auto Err = R.defineMaterializing(ExtraSymbolsToClaim))
262 return Err;
263
Lang Hames84217ad2020-01-17 14:48:48 -0800264 // If we claimed responsibility for any weak symbols but were rejected then
265 // we need to remove them from the resolved set.
266 for (auto &KV : ExtraSymbolsToClaim)
267 if (KV.second.isWeak() && !R.getSymbols().count(KV.first))
268 Symbols.erase(KV.first);
269 }
270
Lang Hamese00585c2019-08-23 20:37:31 +0000271 if (auto Err = R.notifyResolved(Symbols)) {
272 R.failMaterialization();
273 return Err;
274 }
Lang Hamesabeedf12018-09-25 22:57:44 +0000275
Lang Hames373f4622018-05-21 23:45:40 +0000276 if (NotifyLoaded)
Lang Hamesabeedf12018-09-25 22:57:44 +0000277 NotifyLoaded(K, Obj, *LoadedObjInfo);
Lang Hames373f4622018-05-21 23:45:40 +0000278
Lang Hames39253a52020-03-19 16:14:18 -0700279 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
280 assert(!LoadedObjInfos.count(MemMgr) && "Duplicate loaded info for MemMgr");
281 LoadedObjInfos[MemMgr] = std::move(LoadedObjInfo);
282
Lang Hamesabeedf12018-09-25 22:57:44 +0000283 return Error::success();
284}
Lang Hames373f4622018-05-21 23:45:40 +0000285
Lang Hames42a3b4f2019-05-01 22:40:23 +0000286void RTDyldObjectLinkingLayer::onObjEmit(
Lang Hames39253a52020-03-19 16:14:18 -0700287 VModuleKey K, MaterializationResponsibility &R,
288 object::OwningBinary<object::ObjectFile> O,
289 RuntimeDyld::MemoryManager *MemMgr, Error Err) {
Lang Hamesabeedf12018-09-25 22:57:44 +0000290 if (Err) {
291 getExecutionSession().reportError(std::move(Err));
Lang Hames373f4622018-05-21 23:45:40 +0000292 R.failMaterialization();
Lang Hames68c9b8d2018-06-18 18:01:43 +0000293 return;
Lang Hames373f4622018-05-21 23:45:40 +0000294 }
295
Lang Hamese00585c2019-08-23 20:37:31 +0000296 if (auto Err = R.notifyEmitted()) {
297 getExecutionSession().reportError(std::move(Err));
298 R.failMaterialization();
299 return;
300 }
Lang Hames373f4622018-05-21 23:45:40 +0000301
Lang Hames39253a52020-03-19 16:14:18 -0700302 std::unique_ptr<object::ObjectFile> Obj;
303 std::unique_ptr<MemoryBuffer> ObjBuffer;
304 std::tie(Obj, ObjBuffer) = O.takeBinary();
305
306 // Run EventListener notifyLoaded callbacks.
307 {
308 std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
309 auto LOIItr = LoadedObjInfos.find(MemMgr);
310 assert(LOIItr != LoadedObjInfos.end() && "LoadedObjInfo missing");
311 for (auto *L : EventListeners)
312 L->notifyObjectLoaded(
313 static_cast<uint64_t>(reinterpret_cast<uintptr_t>(MemMgr)), *Obj,
314 *LOIItr->second);
315 LoadedObjInfos.erase(MemMgr);
316 }
317
Lang Hames76e21c92018-08-18 02:06:18 +0000318 if (NotifyEmitted)
Lang Hames42a3b4f2019-05-01 22:40:23 +0000319 NotifyEmitted(K, std::move(ObjBuffer));
Lang Hames373f4622018-05-21 23:45:40 +0000320}
321
Lang Hames17164542019-07-17 16:40:52 +0000322LegacyRTDyldObjectLinkingLayer::LegacyRTDyldObjectLinkingLayer(
323 ExecutionSession &ES, ResourcesGetter GetResources,
324 NotifyLoadedFtor NotifyLoaded, NotifyFinalizedFtor NotifyFinalized,
325 NotifyFreedFtor NotifyFreed)
326 : ES(ES), GetResources(std::move(GetResources)),
327 NotifyLoaded(std::move(NotifyLoaded)),
328 NotifyFinalized(std::move(NotifyFinalized)),
329 NotifyFreed(std::move(NotifyFreed)), ProcessAllSections(false) {}
330
Lang Hames373f4622018-05-21 23:45:40 +0000331} // End namespace orc.
332} // End namespace llvm.