blob: bdb4d07b132943f756ad5e9e53340a8534e06e62 [file] [log] [blame]
Eugene Zelenkof292a2f2017-06-19 23:37:52 +00001//===- OrcMCJITReplacement.h - Orc based MCJIT replacement ------*- C++ -*-===//
Lang Hames93de2a12015-01-23 21:25:00 +00002//
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// Orc based MCJIT replacement.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
15#define LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
16
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000017#include "llvm/ADT/ArrayRef.h"
18#include "llvm/ADT/STLExtras.h"
19#include "llvm/ADT/StringRef.h"
Lang Hames93de2a12015-01-23 21:25:00 +000020#include "llvm/ExecutionEngine/ExecutionEngine.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000021#include "llvm/ExecutionEngine/GenericValue.h"
22#include "llvm/ExecutionEngine/JITSymbol.h"
Lang Hames93de2a12015-01-23 21:25:00 +000023#include "llvm/ExecutionEngine/Orc/CompileUtils.h"
Lang Hames5721ee42018-03-15 00:30:14 +000024#include "llvm/ExecutionEngine/Orc/ExecutionUtils.h"
Lang Hames93de2a12015-01-23 21:25:00 +000025#include "llvm/ExecutionEngine/Orc/IRCompileLayer.h"
26#include "llvm/ExecutionEngine/Orc/LazyEmittingLayer.h"
Lang Hames67de5d22017-02-20 05:45:14 +000027#include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h"
Eugene Zelenkof292a2f2017-06-19 23:37:52 +000028#include "llvm/ExecutionEngine/RTDyldMemoryManager.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000029#include "llvm/ExecutionEngine/RuntimeDyld.h"
Eugene Zelenkof292a2f2017-06-19 23:37:52 +000030#include "llvm/IR/DataLayout.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000031#include "llvm/IR/Function.h"
32#include "llvm/IR/Mangler.h"
Eugene Zelenkof292a2f2017-06-19 23:37:52 +000033#include "llvm/IR/Module.h"
Lang Hames93de2a12015-01-23 21:25:00 +000034#include "llvm/Object/Archive.h"
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000035#include "llvm/Object/Binary.h"
36#include "llvm/Object/ObjectFile.h"
37#include "llvm/Support/Error.h"
38#include "llvm/Support/ErrorHandling.h"
39#include "llvm/Support/raw_ostream.h"
40#include "llvm/Target/TargetMachine.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000041#include <algorithm>
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000042#include <cassert>
43#include <cstddef>
44#include <cstdint>
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +000045#include <map>
46#include <memory>
47#include <set>
48#include <string>
49#include <vector>
Lang Hames93de2a12015-01-23 21:25:00 +000050
51namespace llvm {
Eugene Zelenkof292a2f2017-06-19 23:37:52 +000052
53class ObjectCache;
54
Lang Hamese7380612015-02-21 20:44:36 +000055namespace orc {
Lang Hames93de2a12015-01-23 21:25:00 +000056
57class OrcMCJITReplacement : public ExecutionEngine {
Lang Hames5721ee42018-03-15 00:30:14 +000058
Lang Hames633fe142015-03-30 03:37:06 +000059 // OrcMCJITReplacement needs to do a little extra book-keeping to ensure that
60 // Orc's automatic finalization doesn't kick in earlier than MCJIT clients are
61 // expecting - see finalizeMemory.
62 class MCJITReplacementMemMgr : public MCJITMemoryManager {
Lang Hames93de2a12015-01-23 21:25:00 +000063 public:
Lang Hames633fe142015-03-30 03:37:06 +000064 MCJITReplacementMemMgr(OrcMCJITReplacement &M,
65 std::shared_ptr<MCJITMemoryManager> ClientMM)
66 : M(M), ClientMM(std::move(ClientMM)) {}
Lang Hames93de2a12015-01-23 21:25:00 +000067
68 uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment,
69 unsigned SectionID,
70 StringRef SectionName) override {
71 uint8_t *Addr =
Lang Hames633fe142015-03-30 03:37:06 +000072 ClientMM->allocateCodeSection(Size, Alignment, SectionID,
73 SectionName);
Lang Hames93de2a12015-01-23 21:25:00 +000074 M.SectionsAllocatedSinceLastLoad.insert(Addr);
75 return Addr;
76 }
77
78 uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
79 unsigned SectionID, StringRef SectionName,
80 bool IsReadOnly) override {
Lang Hames633fe142015-03-30 03:37:06 +000081 uint8_t *Addr = ClientMM->allocateDataSection(Size, Alignment, SectionID,
82 SectionName, IsReadOnly);
Lang Hames93de2a12015-01-23 21:25:00 +000083 M.SectionsAllocatedSinceLastLoad.insert(Addr);
84 return Addr;
85 }
86
Lang Hamesb2b7a3c2016-01-10 18:51:50 +000087 void reserveAllocationSpace(uintptr_t CodeSize, uint32_t CodeAlign,
88 uintptr_t RODataSize, uint32_t RODataAlign,
89 uintptr_t RWDataSize,
90 uint32_t RWDataAlign) override {
91 return ClientMM->reserveAllocationSpace(CodeSize, CodeAlign,
92 RODataSize, RODataAlign,
93 RWDataSize, RWDataAlign);
Lang Hames93de2a12015-01-23 21:25:00 +000094 }
95
96 bool needsToReserveAllocationSpace() override {
Lang Hames633fe142015-03-30 03:37:06 +000097 return ClientMM->needsToReserveAllocationSpace();
Lang Hames93de2a12015-01-23 21:25:00 +000098 }
99
100 void registerEHFrames(uint8_t *Addr, uint64_t LoadAddr,
101 size_t Size) override {
Lang Hames633fe142015-03-30 03:37:06 +0000102 return ClientMM->registerEHFrames(Addr, LoadAddr, Size);
Lang Hames93de2a12015-01-23 21:25:00 +0000103 }
104
Lang Hamesc936ac72017-05-09 21:32:18 +0000105 void deregisterEHFrames() override {
106 return ClientMM->deregisterEHFrames();
Lang Hames93de2a12015-01-23 21:25:00 +0000107 }
108
Lang Hames9d7a2692016-01-11 16:35:55 +0000109 void notifyObjectLoaded(RuntimeDyld &RTDyld,
110 const object::ObjectFile &O) override {
111 return ClientMM->notifyObjectLoaded(RTDyld, O);
112 }
113
Lang Hames93de2a12015-01-23 21:25:00 +0000114 void notifyObjectLoaded(ExecutionEngine *EE,
115 const object::ObjectFile &O) override {
Lang Hames633fe142015-03-30 03:37:06 +0000116 return ClientMM->notifyObjectLoaded(EE, O);
Lang Hames93de2a12015-01-23 21:25:00 +0000117 }
118
119 bool finalizeMemory(std::string *ErrMsg = nullptr) override {
120 // Each set of objects loaded will be finalized exactly once, but since
121 // symbol lookup during relocation may recursively trigger the
122 // loading/relocation of other modules, and since we're forwarding all
123 // finalizeMemory calls to a single underlying memory manager, we need to
124 // defer forwarding the call on until all necessary objects have been
125 // loaded. Otherwise, during the relocation of a leaf object, we will end
126 // up finalizing memory, causing a crash further up the stack when we
127 // attempt to apply relocations to finalized memory.
128 // To avoid finalizing too early, look at how many objects have been
129 // loaded but not yet finalized. This is a bit of a hack that relies on
130 // the fact that we're lazily emitting object files: The only way you can
131 // get more than one set of objects loaded but not yet finalized is if
132 // they were loaded during relocation of another set.
133 if (M.UnfinalizedSections.size() == 1)
Lang Hames633fe142015-03-30 03:37:06 +0000134 return ClientMM->finalizeMemory(ErrMsg);
Lang Hames93de2a12015-01-23 21:25:00 +0000135 return false;
136 }
137
138 private:
139 OrcMCJITReplacement &M;
Lang Hames633fe142015-03-30 03:37:06 +0000140 std::shared_ptr<MCJITMemoryManager> ClientMM;
141 };
142
Lang Hames4b546c92018-02-06 21:25:11 +0000143 class LinkingORCResolver : public orc::SymbolResolver {
Lang Hames633fe142015-03-30 03:37:06 +0000144 public:
Lang Hames4b546c92018-02-06 21:25:11 +0000145 LinkingORCResolver(OrcMCJITReplacement &M) : M(M) {}
Lang Hames633fe142015-03-30 03:37:06 +0000146
Lang Hames4b546c92018-02-06 21:25:11 +0000147 SymbolNameSet lookupFlags(SymbolFlagsMap &SymbolFlags,
148 const SymbolNameSet &Symbols) override {
149 SymbolNameSet UnresolvedSymbols;
150
151 for (auto &S : Symbols) {
152 if (auto Sym = M.findMangledSymbol(*S)) {
153 SymbolFlags[S] = Sym.getFlags();
154 } else if (auto Err = Sym.takeError()) {
155 M.reportError(std::move(Err));
156 return SymbolNameSet();
157 } else {
158 if (auto Sym2 = M.ClientResolver->findSymbolInLogicalDylib(*S)) {
159 SymbolFlags[S] = Sym2.getFlags();
160 } else if (auto Err = Sym2.takeError()) {
161 M.reportError(std::move(Err));
162 return SymbolNameSet();
163 } else
164 UnresolvedSymbols.insert(S);
165 }
166 }
167
168 return UnresolvedSymbols;
Lang Hames633fe142015-03-30 03:37:06 +0000169 }
170
Lang Hamese833fe82018-02-14 22:12:56 +0000171 SymbolNameSet lookup(std::shared_ptr<AsynchronousSymbolQuery> Query,
Lang Hames4b546c92018-02-06 21:25:11 +0000172 SymbolNameSet Symbols) override {
173 SymbolNameSet UnresolvedSymbols;
174
175 for (auto &S : Symbols) {
176 if (auto Sym = M.findMangledSymbol(*S)) {
177 if (auto Addr = Sym.getAddress())
Lang Hamese833fe82018-02-14 22:12:56 +0000178 Query->setDefinition(S, JITEvaluatedSymbol(*Addr, Sym.getFlags()));
Lang Hames4b546c92018-02-06 21:25:11 +0000179 else {
Lang Hamese833fe82018-02-14 22:12:56 +0000180 Query->setFailed(Addr.takeError());
Lang Hames4b546c92018-02-06 21:25:11 +0000181 return SymbolNameSet();
182 }
183 } else if (auto Err = Sym.takeError()) {
Lang Hamese833fe82018-02-14 22:12:56 +0000184 Query->setFailed(std::move(Err));
Lang Hames4b546c92018-02-06 21:25:11 +0000185 return SymbolNameSet();
186 } else {
187 if (auto Sym2 = M.ClientResolver->findSymbol(*S)) {
188 if (auto Addr = Sym2.getAddress())
Lang Hamese833fe82018-02-14 22:12:56 +0000189 Query->setDefinition(S,
190 JITEvaluatedSymbol(*Addr, Sym2.getFlags()));
Lang Hames4b546c92018-02-06 21:25:11 +0000191 else {
Lang Hamese833fe82018-02-14 22:12:56 +0000192 Query->setFailed(Addr.takeError());
Lang Hames4b546c92018-02-06 21:25:11 +0000193 return SymbolNameSet();
194 }
195 } else if (auto Err = Sym2.takeError()) {
Lang Hamese833fe82018-02-14 22:12:56 +0000196 Query->setFailed(std::move(Err));
Lang Hames4b546c92018-02-06 21:25:11 +0000197 return SymbolNameSet();
198 } else
199 UnresolvedSymbols.insert(S);
200 }
201 }
202
203 return UnresolvedSymbols;
Lang Hames633fe142015-03-30 03:37:06 +0000204 }
205
206 private:
207 OrcMCJITReplacement &M;
Lang Hames93de2a12015-01-23 21:25:00 +0000208 };
209
210private:
211 static ExecutionEngine *
212 createOrcMCJITReplacement(std::string *ErrorMsg,
Lang Hames633fe142015-03-30 03:37:06 +0000213 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesb72f4842018-01-19 22:24:13 +0000214 std::shared_ptr<LegacyJITSymbolResolver> Resolver,
Lang Hamese7380612015-02-21 20:44:36 +0000215 std::unique_ptr<TargetMachine> TM) {
Lang Hames633fe142015-03-30 03:37:06 +0000216 return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver),
217 std::move(TM));
Lang Hames93de2a12015-01-23 21:25:00 +0000218 }
219
Lang Hames4b546c92018-02-06 21:25:11 +0000220 void reportError(Error Err) {
221 logAllUnhandledErrors(std::move(Err), errs(), "MCJIT error: ");
222 }
223
Lang Hames93de2a12015-01-23 21:25:00 +0000224public:
Lang Hamesb72f4842018-01-19 22:24:13 +0000225 OrcMCJITReplacement(std::shared_ptr<MCJITMemoryManager> MemMgr,
226 std::shared_ptr<LegacyJITSymbolResolver> ClientResolver,
227 std::unique_ptr<TargetMachine> TM)
Lang Hames4b546c92018-02-06 21:25:11 +0000228 : ExecutionEngine(TM->createDataLayout()), ES(SSP), TM(std::move(TM)),
Lang Hamesb72f4842018-01-19 22:24:13 +0000229 MemMgr(
230 std::make_shared<MCJITReplacementMemMgr>(*this, std::move(MemMgr))),
Lang Hames4b546c92018-02-06 21:25:11 +0000231 Resolver(std::make_shared<LinkingORCResolver>(*this)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000232 ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this),
233 NotifyFinalized(*this),
Lang Hames1cd3dd02018-02-14 22:13:02 +0000234 ObjectLayer(
235 ES,
236 [this](VModuleKey K) {
237 return ObjectLayerT::Resources{this->MemMgr, this->Resolver};
238 },
239 NotifyObjectLoaded, NotifyFinalized),
Lang Hames5721ee42018-03-15 00:30:14 +0000240 CompileLayer(ObjectLayer, SimpleCompiler(*this->TM),
241 [this](VModuleKey K, std::unique_ptr<Module> M) {
242 Modules.push_back(std::move(M));
243 }),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000244 LazyEmitLayer(CompileLayer) {}
Lang Hames93de2a12015-01-23 21:25:00 +0000245
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000246 static void Register() {
247 OrcMCJITReplacementCtor = createOrcMCJITReplacement;
248 }
Lang Hames93de2a12015-01-23 21:25:00 +0000249
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000250 void addModule(std::unique_ptr<Module> M) override {
Lang Hames93de2a12015-01-23 21:25:00 +0000251 // If this module doesn't have a DataLayout attached then attach the
252 // default.
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000253 if (M->getDataLayout().isDefault()) {
254 M->setDataLayout(getDataLayout());
255 } else {
256 assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch");
257 }
Lang Hames5721ee42018-03-15 00:30:14 +0000258
259 // Rename, bump linkage and record static constructors and destructors.
260 // We have to do this before we hand over ownership of the module to the
261 // JIT.
262 std::vector<std::string> CtorNames, DtorNames;
263 {
264 unsigned CtorId = 0, DtorId = 0;
265 for (auto Ctor : orc::getConstructors(*M)) {
266 std::string NewCtorName = ("$static_ctor." + Twine(CtorId++)).str();
267 Ctor.Func->setName(NewCtorName);
268 Ctor.Func->setLinkage(GlobalValue::ExternalLinkage);
269 Ctor.Func->setVisibility(GlobalValue::HiddenVisibility);
270 CtorNames.push_back(mangle(NewCtorName));
271 }
272 for (auto Dtor : orc::getDestructors(*M)) {
273 std::string NewDtorName = ("$static_dtor." + Twine(DtorId++)).str();
274 dbgs() << "Found dtor: " << NewDtorName << "\n";
275 Dtor.Func->setName(NewDtorName);
276 Dtor.Func->setLinkage(GlobalValue::ExternalLinkage);
277 Dtor.Func->setVisibility(GlobalValue::HiddenVisibility);
278 DtorNames.push_back(mangle(NewDtorName));
279 }
280 }
281
282 auto K = ES.allocateVModule();
283
284 UnexecutedConstructors[K] = std::move(CtorNames);
285 UnexecutedDestructors[K] = std::move(DtorNames);
286
287 cantFail(LazyEmitLayer.addModule(K, std::move(M)));
Lang Hames93de2a12015-01-23 21:25:00 +0000288 }
289
290 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override {
Lang Hames589eece2018-02-21 21:55:49 +0000291 cantFail(ObjectLayer.addObject(
292 ES.allocateVModule(), MemoryBuffer::getMemBufferCopy(O->getData())));
Lang Hames93de2a12015-01-23 21:25:00 +0000293 }
294
295 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override {
Lang Hames589eece2018-02-21 21:55:49 +0000296 std::unique_ptr<object::ObjectFile> Obj;
297 std::unique_ptr<MemoryBuffer> ObjBuffer;
298 std::tie(Obj, ObjBuffer) = O.takeBinary();
299 cantFail(ObjectLayer.addObject(ES.allocateVModule(), std::move(ObjBuffer)));
Lang Hames93de2a12015-01-23 21:25:00 +0000300 }
301
302 void addArchive(object::OwningBinary<object::Archive> A) override {
303 Archives.push_back(std::move(A));
304 }
Lang Hames5721ee42018-03-15 00:30:14 +0000305
Lang Hamescd9d49b2017-06-23 23:25:28 +0000306 bool removeModule(Module *M) override {
Lang Hames5721ee42018-03-15 00:30:14 +0000307 auto I = Modules.begin();
308 for (auto E = Modules.end(); I != E; ++I)
309 if (I->get() == M)
310 break;
311 if (I == Modules.end())
312 return false;
313 Modules.erase(I);
314 return true;
Lang Hamescd9d49b2017-06-23 23:25:28 +0000315 }
Lang Hames93de2a12015-01-23 21:25:00 +0000316
317 uint64_t getSymbolAddress(StringRef Name) {
Lang Hames4ce98662017-07-07 02:59:13 +0000318 return cantFail(findSymbol(Name).getAddress());
Lang Hames633fe142015-03-30 03:37:06 +0000319 }
320
Lang Hamesad4a9112016-08-01 20:49:11 +0000321 JITSymbol findSymbol(StringRef Name) {
Lang Hames5721ee42018-03-15 00:30:14 +0000322 return findMangledSymbol(mangle(Name));
Lang Hames93de2a12015-01-23 21:25:00 +0000323 }
324
325 void finalizeObject() override {
326 // This is deprecated - Aim to remove in ExecutionEngine.
327 // REMOVE IF POSSIBLE - Doesn't make sense for New JIT.
328 }
329
330 void mapSectionAddress(const void *LocalAddress,
331 uint64_t TargetAddress) override {
332 for (auto &P : UnfinalizedSections)
333 if (P.second.count(LocalAddress))
334 ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress);
335 }
336
337 uint64_t getGlobalValueAddress(const std::string &Name) override {
338 return getSymbolAddress(Name);
339 }
340
341 uint64_t getFunctionAddress(const std::string &Name) override {
342 return getSymbolAddress(Name);
343 }
344
345 void *getPointerToFunction(Function *F) override {
346 uint64_t FAddr = getSymbolAddress(F->getName());
347 return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr));
348 }
349
350 void *getPointerToNamedFunction(StringRef Name,
351 bool AbortOnFailure = true) override {
352 uint64_t Addr = getSymbolAddress(Name);
353 if (!Addr && AbortOnFailure)
354 llvm_unreachable("Missing symbol!");
355 return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr));
356 }
357
358 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000359 ArrayRef<GenericValue> ArgValues) override;
Lang Hames93de2a12015-01-23 21:25:00 +0000360
361 void setObjectCache(ObjectCache *NewCache) override {
Lang Hames26620222017-06-22 21:06:54 +0000362 CompileLayer.getCompiler().setObjectCache(NewCache);
Lang Hames93de2a12015-01-23 21:25:00 +0000363 }
364
Lang Hames645a22a2015-10-29 03:52:58 +0000365 void setProcessAllSections(bool ProcessAllSections) override {
366 ObjectLayer.setProcessAllSections(ProcessAllSections);
367 }
368
Lang Hamescd9d49b2017-06-23 23:25:28 +0000369 void runStaticConstructorsDestructors(bool isDtors) override;
370
Lang Hames93de2a12015-01-23 21:25:00 +0000371private:
Lang Hamesad4a9112016-08-01 20:49:11 +0000372 JITSymbol findMangledSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000373 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
Lang Hamesad4a9112016-08-01 20:49:11 +0000374 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000375 if (auto Sym = ClientResolver->findSymbol(Name))
Lang Hames65653202016-05-31 23:14:26 +0000376 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000377 if (auto Sym = scanArchives(Name))
Lang Hamesad4a9112016-08-01 20:49:11 +0000378 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000379
380 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000381 }
382
Lang Hames633fe142015-03-30 03:37:06 +0000383 JITSymbol scanArchives(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000384 for (object::OwningBinary<object::Archive> &OB : Archives) {
385 object::Archive *A = OB.getBinary();
386 // Look for our symbols in each Archive
Lang Hames69f49022016-07-14 20:44:27 +0000387 auto OptionalChildOrErr = A->findSym(Name);
388 if (!OptionalChildOrErr)
389 report_fatal_error(OptionalChildOrErr.takeError());
390 auto &OptionalChild = *OptionalChildOrErr;
391 if (OptionalChild) {
Lang Hames93de2a12015-01-23 21:25:00 +0000392 // FIXME: Support nested archives?
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000393 Expected<std::unique_ptr<object::Binary>> ChildBinOrErr =
Lang Hames69f49022016-07-14 20:44:27 +0000394 OptionalChild->getAsBinary();
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000395 if (!ChildBinOrErr) {
396 // TODO: Actually report errors helpfully.
397 consumeError(ChildBinOrErr.takeError());
Lang Hames93de2a12015-01-23 21:25:00 +0000398 continue;
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000399 }
Lang Hames93de2a12015-01-23 21:25:00 +0000400 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
401 if (ChildBin->isObject()) {
Lang Hames589eece2018-02-21 21:55:49 +0000402 cantFail(ObjectLayer.addObject(
403 ES.allocateVModule(),
404 MemoryBuffer::getMemBufferCopy(ChildBin->getData())));
Lang Hames633fe142015-03-30 03:37:06 +0000405 if (auto Sym = ObjectLayer.findSymbol(Name, true))
406 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000407 }
408 }
409 }
Lang Hames633fe142015-03-30 03:37:06 +0000410 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000411 }
412
413 class NotifyObjectLoadedT {
414 public:
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000415 using LoadedObjInfoListT =
416 std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>;
Lang Hames93de2a12015-01-23 21:25:00 +0000417
418 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
419
Lang Hames589eece2018-02-21 21:55:49 +0000420 void operator()(VModuleKey K, const object::ObjectFile &Obj,
Lang Hames705db632017-09-28 17:43:07 +0000421 const RuntimeDyld::LoadedObjectInfo &Info) const {
Lang Hames0976cee2018-02-09 02:30:40 +0000422 M.UnfinalizedSections[K] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000423 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames589eece2018-02-21 21:55:49 +0000424 M.MemMgr->notifyObjectLoaded(&M, Obj);
Hans Wennborg13958b72015-07-22 20:46:11 +0000425 }
Lang Hames93de2a12015-01-23 21:25:00 +0000426 private:
427 OrcMCJITReplacement &M;
428 };
429
430 class NotifyFinalizedT {
431 public:
432 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +0000433
Lang Hames0976cee2018-02-09 02:30:40 +0000434 void operator()(VModuleKey K) { M.UnfinalizedSections.erase(K); }
Lang Hames93de2a12015-01-23 21:25:00 +0000435
436 private:
437 OrcMCJITReplacement &M;
438 };
439
Lang Hames5721ee42018-03-15 00:30:14 +0000440 std::string mangle(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000441 std::string MangledName;
442 {
443 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000444 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000445 }
446 return MangledName;
447 }
448
Lang Hames26620222017-06-22 21:06:54 +0000449 using ObjectLayerT = RTDyldObjectLinkingLayer;
450 using CompileLayerT = IRCompileLayer<ObjectLayerT, orc::SimpleCompiler>;
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000451 using LazyEmitLayerT = LazyEmittingLayer<CompileLayerT>;
Lang Hames93de2a12015-01-23 21:25:00 +0000452
Lang Hames4b546c92018-02-06 21:25:11 +0000453 SymbolStringPool SSP;
454 ExecutionSession ES;
455
Lang Hames93de2a12015-01-23 21:25:00 +0000456 std::unique_ptr<TargetMachine> TM;
Lang Hames5b518162017-07-04 04:42:30 +0000457 std::shared_ptr<MCJITReplacementMemMgr> MemMgr;
Lang Hames4b546c92018-02-06 21:25:11 +0000458 std::shared_ptr<LinkingORCResolver> Resolver;
Lang Hamesb72f4842018-01-19 22:24:13 +0000459 std::shared_ptr<LegacyJITSymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000460 Mangler Mang;
461
Lang Hames1aad27e2017-08-31 01:09:56 +0000462 // IMPORTANT: ShouldDelete *must* come before LocalModules: The shared_ptr
463 // delete blocks in LocalModules refer to the ShouldDelete map, so
464 // LocalModules needs to be destructed before ShouldDelete.
Lang Hames5409d952017-08-30 00:47:42 +0000465 std::map<Module*, bool> ShouldDelete;
Lang Hames5409d952017-08-30 00:47:42 +0000466
Lang Hames93de2a12015-01-23 21:25:00 +0000467 NotifyObjectLoadedT NotifyObjectLoaded;
468 NotifyFinalizedT NotifyFinalized;
469
470 ObjectLayerT ObjectLayer;
471 CompileLayerT CompileLayer;
472 LazyEmitLayerT LazyEmitLayer;
473
Lang Hames5721ee42018-03-15 00:30:14 +0000474 std::map<VModuleKey, std::vector<std::string>> UnexecutedConstructors;
475 std::map<VModuleKey, std::vector<std::string>> UnexecutedDestructors;
476
Lang Hames93de2a12015-01-23 21:25:00 +0000477 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
478 // that have been emitted but not yet finalized so that we can forward the
479 // mapSectionAddress calls appropriately.
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000480 using SectionAddrSet = std::set<const void *>;
Lang Hames93de2a12015-01-23 21:25:00 +0000481 SectionAddrSet SectionsAllocatedSinceLastLoad;
Lang Hames0976cee2018-02-09 02:30:40 +0000482 std::map<VModuleKey, SectionAddrSet> UnfinalizedSections;
Lang Hames93de2a12015-01-23 21:25:00 +0000483
484 std::vector<object::OwningBinary<object::Archive>> Archives;
485};
Lang Hamese7380612015-02-21 20:44:36 +0000486
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +0000487} // end namespace orc
Eugene Zelenkof292a2f2017-06-19 23:37:52 +0000488
Eugene Zelenkoa3fe70d2016-11-30 17:48:10 +0000489} // end namespace llvm
Lang Hames93de2a12015-01-23 21:25:00 +0000490
491#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H