1373f4628SLang Hames //===-- RTDyldObjectLinkingLayer.cpp - RuntimeDyld backed ORC ObjectLayer -===//
2373f4628SLang Hames //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6373f4628SLang Hames //
7373f4628SLang Hames //===----------------------------------------------------------------------===//
8373f4628SLang Hames
9373f4628SLang Hames #include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
1084217ad6SLang Hames #include "llvm/Object/COFF.h"
11373f4628SLang Hames
12fd0c1e71SLang Hames namespace {
13fd0c1e71SLang Hames
14fd0c1e71SLang Hames using namespace llvm;
15fd0c1e71SLang Hames using namespace llvm::orc;
16fd0c1e71SLang Hames
17d5f56c59SLang Hames class JITDylibSearchOrderResolver : public JITSymbolResolver {
18fd0c1e71SLang Hames public:
JITDylibSearchOrderResolver(MaterializationResponsibility & MR)19d5f56c59SLang Hames JITDylibSearchOrderResolver(MaterializationResponsibility &MR) : MR(MR) {}
20fd0c1e71SLang Hames
lookup(const LookupSet & Symbols,OnResolvedFunction OnResolved)213ee7fe4cSLogan Smith void lookup(const LookupSet &Symbols, OnResolvedFunction OnResolved) override {
22d5f56c59SLang Hames auto &ES = MR.getTargetJITDylib().getExecutionSession();
23674df13bSLang Hames SymbolLookupSet InternedSymbols;
24fd0c1e71SLang Hames
25adde5ba4SLang Hames // Intern the requested symbols: lookup takes interned strings.
26fd0c1e71SLang Hames for (auto &S : Symbols)
27674df13bSLang Hames InternedSymbols.add(ES.intern(S));
28fd0c1e71SLang Hames
29adde5ba4SLang Hames // Build an OnResolve callback to unwrap the interned strings and pass them
30adde5ba4SLang Hames // to the OnResolved callback.
31adde5ba4SLang Hames auto OnResolvedWithUnwrap =
32ce74c3b1SBenjamin Kramer [OnResolved = std::move(OnResolved)](
33ce74c3b1SBenjamin Kramer Expected<SymbolMap> InternedResult) mutable {
34adde5ba4SLang Hames if (!InternedResult) {
35adde5ba4SLang Hames OnResolved(InternedResult.takeError());
36adde5ba4SLang Hames return;
37adde5ba4SLang Hames }
3899bfa95aSLang Hames
3999bfa95aSLang Hames LookupResult Result;
4099bfa95aSLang Hames for (auto &KV : *InternedResult)
4199bfa95aSLang Hames Result[*KV.first] = std::move(KV.second);
42adde5ba4SLang Hames OnResolved(Result);
43adde5ba4SLang Hames };
4499bfa95aSLang Hames
45adde5ba4SLang Hames // Register dependencies for all symbols contained in this set.
46adde5ba4SLang Hames auto RegisterDependencies = [&](const SymbolDependenceMap &Deps) {
47adde5ba4SLang Hames MR.addDependenciesForAll(Deps);
48adde5ba4SLang Hames };
49adde5ba4SLang Hames
50c66f8900SLang Hames JITDylibSearchOrder LinkOrder;
51c66f8900SLang Hames MR.getTargetJITDylib().withLinkOrderDo(
52c66f8900SLang Hames [&](const JITDylibSearchOrder &LO) { LinkOrder = LO; });
53c66f8900SLang Hames ES.lookup(LookupKind::Static, LinkOrder, InternedSymbols,
54674df13bSLang Hames SymbolState::Resolved, std::move(OnResolvedWithUnwrap),
55674df13bSLang Hames RegisterDependencies);
56fd0c1e71SLang Hames }
57fd0c1e71SLang Hames
getResponsibilitySet(const LookupSet & Symbols)583ee7fe4cSLogan Smith Expected<LookupSet> getResponsibilitySet(const LookupSet &Symbols) override {
596cadc7c0SLang Hames LookupSet Result;
60a48d1083SLang Hames
616cadc7c0SLang Hames for (auto &KV : MR.getSymbols()) {
626cadc7c0SLang Hames if (Symbols.count(*KV.first))
636cadc7c0SLang Hames Result.insert(*KV.first);
646cadc7c0SLang Hames }
65fd0c1e71SLang Hames
66fd0c1e71SLang Hames return Result;
67fd0c1e71SLang Hames }
68fd0c1e71SLang Hames
69fd0c1e71SLang Hames private:
70fd0c1e71SLang Hames MaterializationResponsibility &MR;
71fd0c1e71SLang Hames };
72fd0c1e71SLang Hames
73fd0c1e71SLang Hames } // end anonymous namespace
74fd0c1e71SLang Hames
75373f4628SLang Hames namespace llvm {
76373f4628SLang Hames namespace orc {
77373f4628SLang Hames
78*406ef36bSStefan Gränitz char RTDyldObjectLinkingLayer::ID;
79*406ef36bSStefan Gränitz
80*406ef36bSStefan Gränitz using BaseT = RTTIExtends<RTDyldObjectLinkingLayer, ObjectLayer>;
81*406ef36bSStefan Gränitz
RTDyldObjectLinkingLayer(ExecutionSession & ES,GetMemoryManagerFunction GetMemoryManager)82079df9abSLang Hames RTDyldObjectLinkingLayer::RTDyldObjectLinkingLayer(
8342a3b4ffSLang Hames ExecutionSession &ES, GetMemoryManagerFunction GetMemoryManager)
84*406ef36bSStefan Gränitz : BaseT(ES), GetMemoryManager(GetMemoryManager) {
850aec49c8SLang Hames ES.registerResourceManager(*this);
860aec49c8SLang Hames }
87373f4628SLang Hames
~RTDyldObjectLinkingLayer()889f4f237eSLang Hames RTDyldObjectLinkingLayer::~RTDyldObjectLinkingLayer() {
890aec49c8SLang Hames assert(MemMgrs.empty() && "Layer destroyed with resources still attached");
9039253a50SLang Hames }
919f4f237eSLang Hames
emit(std::unique_ptr<MaterializationResponsibility> R,std::unique_ptr<MemoryBuffer> O)927dcd0042SLang Hames void RTDyldObjectLinkingLayer::emit(
937dcd0042SLang Hames std::unique_ptr<MaterializationResponsibility> R,
94373f4628SLang Hames std::unique_ptr<MemoryBuffer> O) {
954caa2f70SLang Hames assert(O && "Object must not be null");
968c893cacSBenjamin Kramer
97373f4628SLang Hames auto &ES = getExecutionSession();
98373f4628SLang Hames
9939253a50SLang Hames auto Obj = object::ObjectFile::createObjectFile(*O);
100abeedf18SLang Hames
101abeedf18SLang Hames if (!Obj) {
102abeedf18SLang Hames getExecutionSession().reportError(Obj.takeError());
1037dcd0042SLang Hames R->failMaterialization();
104abeedf18SLang Hames return;
105abeedf18SLang Hames }
106abeedf18SLang Hames
107abeedf18SLang Hames // Collect the internal symbols from the object file: We will need to
108abeedf18SLang Hames // filter these later.
109abeedf18SLang Hames auto InternalSymbols = std::make_shared<std::set<StringRef>>();
110abeedf18SLang Hames {
111abeedf18SLang Hames for (auto &Sym : (*Obj)->symbols()) {
11231e03317SLang Hames
11331e03317SLang Hames // Skip file symbols.
11431e03317SLang Hames if (auto SymType = Sym.getType()) {
11531e03317SLang Hames if (*SymType == object::SymbolRef::ST_File)
11631e03317SLang Hames continue;
11731e03317SLang Hames } else {
11831e03317SLang Hames ES.reportError(SymType.takeError());
1197dcd0042SLang Hames R->failMaterialization();
12031e03317SLang Hames return;
12131e03317SLang Hames }
12231e03317SLang Hames
123ac00376aSvgxbj Expected<uint32_t> SymFlagsOrErr = Sym.getFlags();
124ac00376aSvgxbj if (!SymFlagsOrErr) {
125ac00376aSvgxbj // TODO: Test this error.
126ac00376aSvgxbj ES.reportError(SymFlagsOrErr.takeError());
1277dcd0042SLang Hames R->failMaterialization();
128ac00376aSvgxbj return;
129ac00376aSvgxbj }
130ac00376aSvgxbj
13131e03317SLang Hames // Don't include symbols that aren't global.
132ac00376aSvgxbj if (!(*SymFlagsOrErr & object::BasicSymbolRef::SF_Global)) {
133abeedf18SLang Hames if (auto SymName = Sym.getName())
134abeedf18SLang Hames InternalSymbols->insert(*SymName);
135abeedf18SLang Hames else {
136abeedf18SLang Hames ES.reportError(SymName.takeError());
1377dcd0042SLang Hames R->failMaterialization();
138abeedf18SLang Hames return;
139abeedf18SLang Hames }
140abeedf18SLang Hames }
141abeedf18SLang Hames }
142373f4628SLang Hames }
143373f4628SLang Hames
1440aec49c8SLang Hames auto MemMgr = GetMemoryManager();
1450aec49c8SLang Hames auto &MemMgrRef = *MemMgr;
146373f4628SLang Hames
1477dcd0042SLang Hames // Switch to shared ownership of MR so that it can be captured by both
1487dcd0042SLang Hames // lambdas below.
1497dcd0042SLang Hames std::shared_ptr<MaterializationResponsibility> SharedR(std::move(R));
1507dcd0042SLang Hames
151abeedf18SLang Hames JITDylibSearchOrderResolver Resolver(*SharedR);
152373f4628SLang Hames
153abeedf18SLang Hames jitLinkForORC(
15439253a50SLang Hames object::OwningBinary<object::ObjectFile>(std::move(*Obj), std::move(O)),
1550aec49c8SLang Hames MemMgrRef, Resolver, ProcessAllSections,
1560aec49c8SLang Hames [this, SharedR, &MemMgrRef, InternalSymbols](
15739253a50SLang Hames const object::ObjectFile &Obj,
1580aec49c8SLang Hames RuntimeDyld::LoadedObjectInfo &LoadedObjInfo,
159abeedf18SLang Hames std::map<StringRef, JITEvaluatedSymbol> ResolvedSymbols) {
1600aec49c8SLang Hames return onObjLoad(*SharedR, Obj, MemMgrRef, LoadedObjInfo,
161abeedf18SLang Hames ResolvedSymbols, *InternalSymbols);
162abeedf18SLang Hames },
1630aec49c8SLang Hames [this, SharedR, MemMgr = std::move(MemMgr)](
1640aec49c8SLang Hames object::OwningBinary<object::ObjectFile> Obj,
1650aec49c8SLang Hames std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,
16639253a50SLang Hames Error Err) mutable {
1670aec49c8SLang Hames onObjEmit(*SharedR, std::move(Obj), std::move(MemMgr),
1680aec49c8SLang Hames std::move(LoadedObjInfo), std::move(Err));
169abeedf18SLang Hames });
17068c9b8d6SLang Hames }
17168c9b8d6SLang Hames
registerJITEventListener(JITEventListener & L)17239253a50SLang Hames void RTDyldObjectLinkingLayer::registerJITEventListener(JITEventListener &L) {
17339253a50SLang Hames std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
174ce94e7d8SKazu Hirata assert(!llvm::is_contained(EventListeners, &L) &&
17539253a50SLang Hames "Listener has already been registered");
17639253a50SLang Hames EventListeners.push_back(&L);
17739253a50SLang Hames }
17839253a50SLang Hames
unregisterJITEventListener(JITEventListener & L)17939253a50SLang Hames void RTDyldObjectLinkingLayer::unregisterJITEventListener(JITEventListener &L) {
18039253a50SLang Hames std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
18139253a50SLang Hames auto I = llvm::find(EventListeners, &L);
18239253a50SLang Hames assert(I != EventListeners.end() && "Listener not registered");
18339253a50SLang Hames EventListeners.erase(I);
18439253a50SLang Hames }
18539253a50SLang Hames
onObjLoad(MaterializationResponsibility & R,const object::ObjectFile & Obj,RuntimeDyld::MemoryManager & MemMgr,RuntimeDyld::LoadedObjectInfo & LoadedObjInfo,std::map<StringRef,JITEvaluatedSymbol> Resolved,std::set<StringRef> & InternalSymbols)186079df9abSLang Hames Error RTDyldObjectLinkingLayer::onObjLoad(
1870aec49c8SLang Hames MaterializationResponsibility &R, const object::ObjectFile &Obj,
1880aec49c8SLang Hames RuntimeDyld::MemoryManager &MemMgr,
1890aec49c8SLang Hames RuntimeDyld::LoadedObjectInfo &LoadedObjInfo,
190abeedf18SLang Hames std::map<StringRef, JITEvaluatedSymbol> Resolved,
191abeedf18SLang Hames std::set<StringRef> &InternalSymbols) {
1926d32002eSLang Hames SymbolFlagsMap ExtraSymbolsToClaim;
193373f4628SLang Hames SymbolMap Symbols;
19484217ad6SLang Hames
19584217ad6SLang Hames // Hack to support COFF constant pool comdats introduced during compilation:
19684217ad6SLang Hames // (See http://llvm.org/PR40074)
19784217ad6SLang Hames if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(&Obj)) {
19884217ad6SLang Hames auto &ES = getExecutionSession();
19984217ad6SLang Hames
20084217ad6SLang Hames // For all resolved symbols that are not already in the responsibilty set:
20184217ad6SLang Hames // check whether the symbol is in a comdat section and if so mark it as
20284217ad6SLang Hames // weak.
20384217ad6SLang Hames for (auto &Sym : COFFObj->symbols()) {
204ac00376aSvgxbj // getFlags() on COFF symbols can't fail.
205ac00376aSvgxbj uint32_t SymFlags = cantFail(Sym.getFlags());
206ac00376aSvgxbj if (SymFlags & object::BasicSymbolRef::SF_Undefined)
20784217ad6SLang Hames continue;
20884217ad6SLang Hames auto Name = Sym.getName();
20984217ad6SLang Hames if (!Name)
21084217ad6SLang Hames return Name.takeError();
21184217ad6SLang Hames auto I = Resolved.find(*Name);
21284217ad6SLang Hames
21384217ad6SLang Hames // Skip unresolved symbols, internal symbols, and symbols that are
21484217ad6SLang Hames // already in the responsibility set.
21584217ad6SLang Hames if (I == Resolved.end() || InternalSymbols.count(*Name) ||
21684217ad6SLang Hames R.getSymbols().count(ES.intern(*Name)))
21784217ad6SLang Hames continue;
21884217ad6SLang Hames auto Sec = Sym.getSection();
21984217ad6SLang Hames if (!Sec)
22084217ad6SLang Hames return Sec.takeError();
22184217ad6SLang Hames if (*Sec == COFFObj->section_end())
22284217ad6SLang Hames continue;
22384217ad6SLang Hames auto &COFFSec = *COFFObj->getCOFFSection(**Sec);
22484217ad6SLang Hames if (COFFSec.Characteristics & COFF::IMAGE_SCN_LNK_COMDAT)
22584217ad6SLang Hames I->second.setFlags(I->second.getFlags() | JITSymbolFlags::Weak);
22684217ad6SLang Hames }
22784217ad6SLang Hames }
22884217ad6SLang Hames
229abeedf18SLang Hames for (auto &KV : Resolved) {
2306d32002eSLang Hames // Scan the symbols and add them to the Symbols map for resolution.
2316d32002eSLang Hames
2326d32002eSLang Hames // We never claim internal symbols.
2336d32002eSLang Hames if (InternalSymbols.count(KV.first))
2346d32002eSLang Hames continue;
2356d32002eSLang Hames
23671d781c4SLang Hames auto InternedName = getExecutionSession().intern(KV.first);
2376d32002eSLang Hames auto Flags = KV.second.getFlags();
2386d32002eSLang Hames
2396d32002eSLang Hames // Override object flags and claim responsibility for symbols if
2406d32002eSLang Hames // requested.
2416d32002eSLang Hames if (OverrideObjectFlags || AutoClaimObjectSymbols) {
2426d32002eSLang Hames auto I = R.getSymbols().find(InternedName);
2436d32002eSLang Hames
2446d32002eSLang Hames if (OverrideObjectFlags && I != R.getSymbols().end())
245eb5ee300SLang Hames Flags = I->second;
2466d32002eSLang Hames else if (AutoClaimObjectSymbols && I == R.getSymbols().end())
2476d32002eSLang Hames ExtraSymbolsToClaim[InternedName] = Flags;
2486d32002eSLang Hames }
2496d32002eSLang Hames
2506d32002eSLang Hames Symbols[InternedName] = JITEvaluatedSymbol(KV.second.getAddress(), Flags);
2516d32002eSLang Hames }
2526d32002eSLang Hames
25384217ad6SLang Hames if (!ExtraSymbolsToClaim.empty()) {
254abeedf18SLang Hames if (auto Err = R.defineMaterializing(ExtraSymbolsToClaim))
255abeedf18SLang Hames return Err;
25668c9b8d6SLang Hames
25784217ad6SLang Hames // If we claimed responsibility for any weak symbols but were rejected then
25884217ad6SLang Hames // we need to remove them from the resolved set.
25984217ad6SLang Hames for (auto &KV : ExtraSymbolsToClaim)
26084217ad6SLang Hames if (KV.second.isWeak() && !R.getSymbols().count(KV.first))
26184217ad6SLang Hames Symbols.erase(KV.first);
26284217ad6SLang Hames }
26384217ad6SLang Hames
264e00585c7SLang Hames if (auto Err = R.notifyResolved(Symbols)) {
265e00585c7SLang Hames R.failMaterialization();
266e00585c7SLang Hames return Err;
267e00585c7SLang Hames }
268373f4628SLang Hames
269373f4628SLang Hames if (NotifyLoaded)
2700aec49c8SLang Hames NotifyLoaded(R, Obj, LoadedObjInfo);
27139253a50SLang Hames
272abeedf18SLang Hames return Error::success();
273abeedf18SLang Hames }
274373f4628SLang Hames
onObjEmit(MaterializationResponsibility & R,object::OwningBinary<object::ObjectFile> O,std::unique_ptr<RuntimeDyld::MemoryManager> MemMgr,std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo,Error Err)27542a3b4ffSLang Hames void RTDyldObjectLinkingLayer::onObjEmit(
2760aec49c8SLang Hames MaterializationResponsibility &R,
27739253a50SLang Hames object::OwningBinary<object::ObjectFile> O,
2780aec49c8SLang Hames std::unique_ptr<RuntimeDyld::MemoryManager> MemMgr,
2790aec49c8SLang Hames std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObjInfo, Error Err) {
280abeedf18SLang Hames if (Err) {
281abeedf18SLang Hames getExecutionSession().reportError(std::move(Err));
282373f4628SLang Hames R.failMaterialization();
28368c9b8d6SLang Hames return;
284373f4628SLang Hames }
285373f4628SLang Hames
286e00585c7SLang Hames if (auto Err = R.notifyEmitted()) {
287e00585c7SLang Hames getExecutionSession().reportError(std::move(Err));
288e00585c7SLang Hames R.failMaterialization();
289e00585c7SLang Hames return;
290e00585c7SLang Hames }
291373f4628SLang Hames
29239253a50SLang Hames std::unique_ptr<object::ObjectFile> Obj;
29339253a50SLang Hames std::unique_ptr<MemoryBuffer> ObjBuffer;
29439253a50SLang Hames std::tie(Obj, ObjBuffer) = O.takeBinary();
29539253a50SLang Hames
29639253a50SLang Hames // Run EventListener notifyLoaded callbacks.
29739253a50SLang Hames {
29839253a50SLang Hames std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
29939253a50SLang Hames for (auto *L : EventListeners)
3000aec49c8SLang Hames L->notifyObjectLoaded(pointerToJITTargetAddress(MemMgr.get()), *Obj,
3010aec49c8SLang Hames *LoadedObjInfo);
30239253a50SLang Hames }
30339253a50SLang Hames
30476e21c97SLang Hames if (NotifyEmitted)
3050aec49c8SLang Hames NotifyEmitted(R, std::move(ObjBuffer));
3060aec49c8SLang Hames
3070aec49c8SLang Hames if (auto Err = R.withResourceKeyDo(
3080aec49c8SLang Hames [&](ResourceKey K) { MemMgrs[K].push_back(std::move(MemMgr)); })) {
3090aec49c8SLang Hames getExecutionSession().reportError(std::move(Err));
3100aec49c8SLang Hames R.failMaterialization();
3110aec49c8SLang Hames }
3120aec49c8SLang Hames }
3130aec49c8SLang Hames
handleRemoveResources(ResourceKey K)3140aec49c8SLang Hames Error RTDyldObjectLinkingLayer::handleRemoveResources(ResourceKey K) {
3150aec49c8SLang Hames
3160aec49c8SLang Hames std::vector<MemoryManagerUP> MemMgrsToRemove;
3170aec49c8SLang Hames
3180aec49c8SLang Hames getExecutionSession().runSessionLocked([&] {
3190aec49c8SLang Hames auto I = MemMgrs.find(K);
3200aec49c8SLang Hames if (I != MemMgrs.end()) {
3210aec49c8SLang Hames std::swap(MemMgrsToRemove, I->second);
3220aec49c8SLang Hames MemMgrs.erase(I);
3230aec49c8SLang Hames }
3240aec49c8SLang Hames });
3250aec49c8SLang Hames
3260aec49c8SLang Hames {
3270aec49c8SLang Hames std::lock_guard<std::mutex> Lock(RTDyldLayerMutex);
3280aec49c8SLang Hames for (auto &MemMgr : MemMgrsToRemove) {
3290aec49c8SLang Hames for (auto *L : EventListeners)
3300aec49c8SLang Hames L->notifyFreeingObject(pointerToJITTargetAddress(MemMgr.get()));
3310aec49c8SLang Hames MemMgr->deregisterEHFrames();
3320aec49c8SLang Hames }
3330aec49c8SLang Hames }
3340aec49c8SLang Hames
3350aec49c8SLang Hames return Error::success();
3360aec49c8SLang Hames }
3370aec49c8SLang Hames
handleTransferResources(ResourceKey DstKey,ResourceKey SrcKey)3380aec49c8SLang Hames void RTDyldObjectLinkingLayer::handleTransferResources(ResourceKey DstKey,
3390aec49c8SLang Hames ResourceKey SrcKey) {
3400aec49c8SLang Hames auto I = MemMgrs.find(SrcKey);
3410aec49c8SLang Hames if (I != MemMgrs.end()) {
3420aec49c8SLang Hames auto &SrcMemMgrs = I->second;
3430aec49c8SLang Hames auto &DstMemMgrs = MemMgrs[DstKey];
3440aec49c8SLang Hames DstMemMgrs.reserve(DstMemMgrs.size() + SrcMemMgrs.size());
3450aec49c8SLang Hames for (auto &MemMgr : SrcMemMgrs)
3460aec49c8SLang Hames DstMemMgrs.push_back(std::move(MemMgr));
3470aec49c8SLang Hames
3480aec49c8SLang Hames // Erase SrcKey entry using value rather than iterator I: I may have been
3490aec49c8SLang Hames // invalidated when we looked up DstKey.
3500aec49c8SLang Hames MemMgrs.erase(SrcKey);
3510aec49c8SLang Hames }
352373f4628SLang Hames }
353373f4628SLang Hames
354373f4628SLang Hames } // End namespace orc.
355373f4628SLang Hames } // End namespace llvm.
356