blob: 805852b4887fb842149e7c14c853ea992ba56166 [file] [log] [blame]
Lang Hames93de2a12015-01-23 21:25:00 +00001//===---- OrcMCJITReplacement.h - Orc based MCJIT replacement ---*- C++ -*-===//
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// Orc based MCJIT replacement.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
15#define LLVM_LIB_EXECUTIONENGINE_ORC_ORCMCJITREPLACEMENT_H
16
17#include "llvm/ExecutionEngine/ExecutionEngine.h"
18#include "llvm/ExecutionEngine/Orc/CompileUtils.h"
19#include "llvm/ExecutionEngine/Orc/IRCompileLayer.h"
20#include "llvm/ExecutionEngine/Orc/LazyEmittingLayer.h"
21#include "llvm/ExecutionEngine/Orc/ObjectLinkingLayer.h"
22#include "llvm/Object/Archive.h"
Lang Hames93de2a12015-01-23 21:25:00 +000023
24namespace llvm {
Lang Hamese7380612015-02-21 20:44:36 +000025namespace orc {
Lang Hames93de2a12015-01-23 21:25:00 +000026
27class OrcMCJITReplacement : public ExecutionEngine {
28
Lang Hames633fe142015-03-30 03:37:06 +000029 // OrcMCJITReplacement needs to do a little extra book-keeping to ensure that
30 // Orc's automatic finalization doesn't kick in earlier than MCJIT clients are
31 // expecting - see finalizeMemory.
32 class MCJITReplacementMemMgr : public MCJITMemoryManager {
Lang Hames93de2a12015-01-23 21:25:00 +000033 public:
Lang Hames633fe142015-03-30 03:37:06 +000034 MCJITReplacementMemMgr(OrcMCJITReplacement &M,
35 std::shared_ptr<MCJITMemoryManager> ClientMM)
36 : M(M), ClientMM(std::move(ClientMM)) {}
Lang Hames93de2a12015-01-23 21:25:00 +000037
38 uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment,
39 unsigned SectionID,
40 StringRef SectionName) override {
41 uint8_t *Addr =
Lang Hames633fe142015-03-30 03:37:06 +000042 ClientMM->allocateCodeSection(Size, Alignment, SectionID,
43 SectionName);
Lang Hames93de2a12015-01-23 21:25:00 +000044 M.SectionsAllocatedSinceLastLoad.insert(Addr);
45 return Addr;
46 }
47
48 uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment,
49 unsigned SectionID, StringRef SectionName,
50 bool IsReadOnly) override {
Lang Hames633fe142015-03-30 03:37:06 +000051 uint8_t *Addr = ClientMM->allocateDataSection(Size, Alignment, SectionID,
52 SectionName, IsReadOnly);
Lang Hames93de2a12015-01-23 21:25:00 +000053 M.SectionsAllocatedSinceLastLoad.insert(Addr);
54 return Addr;
55 }
56
Lang Hamesb2b7a3c2016-01-10 18:51:50 +000057 void reserveAllocationSpace(uintptr_t CodeSize, uint32_t CodeAlign,
58 uintptr_t RODataSize, uint32_t RODataAlign,
59 uintptr_t RWDataSize,
60 uint32_t RWDataAlign) override {
61 return ClientMM->reserveAllocationSpace(CodeSize, CodeAlign,
62 RODataSize, RODataAlign,
63 RWDataSize, RWDataAlign);
Lang Hames93de2a12015-01-23 21:25:00 +000064 }
65
66 bool needsToReserveAllocationSpace() override {
Lang Hames633fe142015-03-30 03:37:06 +000067 return ClientMM->needsToReserveAllocationSpace();
Lang Hames93de2a12015-01-23 21:25:00 +000068 }
69
70 void registerEHFrames(uint8_t *Addr, uint64_t LoadAddr,
71 size_t Size) override {
Lang Hames633fe142015-03-30 03:37:06 +000072 return ClientMM->registerEHFrames(Addr, LoadAddr, Size);
Lang Hames93de2a12015-01-23 21:25:00 +000073 }
74
75 void deregisterEHFrames(uint8_t *Addr, uint64_t LoadAddr,
76 size_t Size) override {
Lang Hames633fe142015-03-30 03:37:06 +000077 return ClientMM->deregisterEHFrames(Addr, LoadAddr, Size);
Lang Hames93de2a12015-01-23 21:25:00 +000078 }
79
Lang Hames9d7a2692016-01-11 16:35:55 +000080 void notifyObjectLoaded(RuntimeDyld &RTDyld,
81 const object::ObjectFile &O) override {
82 return ClientMM->notifyObjectLoaded(RTDyld, O);
83 }
84
Lang Hames93de2a12015-01-23 21:25:00 +000085 void notifyObjectLoaded(ExecutionEngine *EE,
86 const object::ObjectFile &O) override {
Lang Hames633fe142015-03-30 03:37:06 +000087 return ClientMM->notifyObjectLoaded(EE, O);
Lang Hames93de2a12015-01-23 21:25:00 +000088 }
89
90 bool finalizeMemory(std::string *ErrMsg = nullptr) override {
91 // Each set of objects loaded will be finalized exactly once, but since
92 // symbol lookup during relocation may recursively trigger the
93 // loading/relocation of other modules, and since we're forwarding all
94 // finalizeMemory calls to a single underlying memory manager, we need to
95 // defer forwarding the call on until all necessary objects have been
96 // loaded. Otherwise, during the relocation of a leaf object, we will end
97 // up finalizing memory, causing a crash further up the stack when we
98 // attempt to apply relocations to finalized memory.
99 // To avoid finalizing too early, look at how many objects have been
100 // loaded but not yet finalized. This is a bit of a hack that relies on
101 // the fact that we're lazily emitting object files: The only way you can
102 // get more than one set of objects loaded but not yet finalized is if
103 // they were loaded during relocation of another set.
104 if (M.UnfinalizedSections.size() == 1)
Lang Hames633fe142015-03-30 03:37:06 +0000105 return ClientMM->finalizeMemory(ErrMsg);
Lang Hames93de2a12015-01-23 21:25:00 +0000106 return false;
107 }
108
109 private:
110 OrcMCJITReplacement &M;
Lang Hames633fe142015-03-30 03:37:06 +0000111 std::shared_ptr<MCJITMemoryManager> ClientMM;
112 };
113
Lang Hamesad4a9112016-08-01 20:49:11 +0000114 class LinkingResolver : public JITSymbolResolver {
Lang Hames633fe142015-03-30 03:37:06 +0000115 public:
116 LinkingResolver(OrcMCJITReplacement &M) : M(M) {}
117
Lang Hamesad4a9112016-08-01 20:49:11 +0000118 JITSymbol findSymbol(const std::string &Name) override {
Lang Hames633fe142015-03-30 03:37:06 +0000119 return M.findMangledSymbol(Name);
120 }
121
Lang Hamesad4a9112016-08-01 20:49:11 +0000122 JITSymbol findSymbolInLogicalDylib(const std::string &Name) override {
Lang Hamesbf9d1aa2016-05-25 16:23:59 +0000123 return M.ClientResolver->findSymbol(Name);
Lang Hames633fe142015-03-30 03:37:06 +0000124 }
125
126 private:
127 OrcMCJITReplacement &M;
Lang Hames93de2a12015-01-23 21:25:00 +0000128 };
129
130private:
Lang Hamese7380612015-02-21 20:44:36 +0000131
Lang Hames93de2a12015-01-23 21:25:00 +0000132 static ExecutionEngine *
133 createOrcMCJITReplacement(std::string *ErrorMsg,
Lang Hames633fe142015-03-30 03:37:06 +0000134 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000135 std::shared_ptr<JITSymbolResolver> Resolver,
Lang Hamese7380612015-02-21 20:44:36 +0000136 std::unique_ptr<TargetMachine> TM) {
Lang Hames633fe142015-03-30 03:37:06 +0000137 return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver),
138 std::move(TM));
Lang Hames93de2a12015-01-23 21:25:00 +0000139 }
140
141public:
142 static void Register() {
143 OrcMCJITReplacementCtor = createOrcMCJITReplacement;
144 }
145
Lang Hames633fe142015-03-30 03:37:06 +0000146 OrcMCJITReplacement(
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000147 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000148 std::shared_ptr<JITSymbolResolver> ClientResolver,
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000149 std::unique_ptr<TargetMachine> TM)
Mehdi Amini26d48132015-07-24 16:04:22 +0000150 : ExecutionEngine(TM->createDataLayout()), TM(std::move(TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000151 MemMgr(*this, std::move(MemMgr)), Resolver(*this),
152 ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this),
153 NotifyFinalized(*this),
Lang Hames633fe142015-03-30 03:37:06 +0000154 ObjectLayer(NotifyObjectLoaded, NotifyFinalized),
Lang Hames93de2a12015-01-23 21:25:00 +0000155 CompileLayer(ObjectLayer, SimpleCompiler(*this->TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000156 LazyEmitLayer(CompileLayer) {}
Lang Hames93de2a12015-01-23 21:25:00 +0000157
Reid Kleckner7b23b432015-01-23 22:25:47 +0000158 void addModule(std::unique_ptr<Module> M) override {
Lang Hames93de2a12015-01-23 21:25:00 +0000159
160 // If this module doesn't have a DataLayout attached then attach the
161 // default.
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000162 if (M->getDataLayout().isDefault()) {
163 M->setDataLayout(getDataLayout());
164 } else {
165 assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch");
166 }
Lang Hamesa3e710d2015-02-02 04:34:02 +0000167 Modules.push_back(std::move(M));
Lang Hames93de2a12015-01-23 21:25:00 +0000168 std::vector<Module *> Ms;
Lang Hamesa3e710d2015-02-02 04:34:02 +0000169 Ms.push_back(&*Modules.back());
Lang Hames633fe142015-03-30 03:37:06 +0000170 LazyEmitLayer.addModuleSet(std::move(Ms), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000171 }
172
173 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override {
174 std::vector<std::unique_ptr<object::ObjectFile>> Objs;
175 Objs.push_back(std::move(O));
Lang Hames633fe142015-03-30 03:37:06 +0000176 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000177 }
178
179 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override {
Lang Hames2fe7acb2016-01-19 21:06:38 +0000180 std::vector<std::unique_ptr<object::OwningBinary<object::ObjectFile>>> Objs;
181 Objs.push_back(
182 llvm::make_unique<object::OwningBinary<object::ObjectFile>>(
183 std::move(O)));
Lang Hamesf7c4f182015-10-28 22:10:27 +0000184 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000185 }
186
187 void addArchive(object::OwningBinary<object::Archive> A) override {
188 Archives.push_back(std::move(A));
189 }
190
191 uint64_t getSymbolAddress(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000192 return findSymbol(Name).getAddress();
193 }
194
Lang Hamesad4a9112016-08-01 20:49:11 +0000195 JITSymbol findSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000196 return findMangledSymbol(Mangle(Name));
Lang Hames93de2a12015-01-23 21:25:00 +0000197 }
198
199 void finalizeObject() override {
200 // This is deprecated - Aim to remove in ExecutionEngine.
201 // REMOVE IF POSSIBLE - Doesn't make sense for New JIT.
202 }
203
204 void mapSectionAddress(const void *LocalAddress,
205 uint64_t TargetAddress) override {
206 for (auto &P : UnfinalizedSections)
207 if (P.second.count(LocalAddress))
208 ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress);
209 }
210
211 uint64_t getGlobalValueAddress(const std::string &Name) override {
212 return getSymbolAddress(Name);
213 }
214
215 uint64_t getFunctionAddress(const std::string &Name) override {
216 return getSymbolAddress(Name);
217 }
218
219 void *getPointerToFunction(Function *F) override {
220 uint64_t FAddr = getSymbolAddress(F->getName());
221 return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr));
222 }
223
224 void *getPointerToNamedFunction(StringRef Name,
225 bool AbortOnFailure = true) override {
226 uint64_t Addr = getSymbolAddress(Name);
227 if (!Addr && AbortOnFailure)
228 llvm_unreachable("Missing symbol!");
229 return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr));
230 }
231
232 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000233 ArrayRef<GenericValue> ArgValues) override;
Lang Hames93de2a12015-01-23 21:25:00 +0000234
235 void setObjectCache(ObjectCache *NewCache) override {
236 CompileLayer.setObjectCache(NewCache);
237 }
238
Lang Hames645a22a2015-10-29 03:52:58 +0000239 void setProcessAllSections(bool ProcessAllSections) override {
240 ObjectLayer.setProcessAllSections(ProcessAllSections);
241 }
242
Lang Hames93de2a12015-01-23 21:25:00 +0000243private:
Lang Hames93de2a12015-01-23 21:25:00 +0000244
Lang Hamesad4a9112016-08-01 20:49:11 +0000245 JITSymbol findMangledSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000246 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
Lang Hamesad4a9112016-08-01 20:49:11 +0000247 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000248 if (auto Sym = ClientResolver->findSymbol(Name))
Lang Hames65653202016-05-31 23:14:26 +0000249 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000250 if (auto Sym = scanArchives(Name))
Lang Hamesad4a9112016-08-01 20:49:11 +0000251 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000252
253 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000254 }
255
Lang Hames633fe142015-03-30 03:37:06 +0000256 JITSymbol scanArchives(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000257 for (object::OwningBinary<object::Archive> &OB : Archives) {
258 object::Archive *A = OB.getBinary();
259 // Look for our symbols in each Archive
Lang Hames69f49022016-07-14 20:44:27 +0000260 auto OptionalChildOrErr = A->findSym(Name);
261 if (!OptionalChildOrErr)
262 report_fatal_error(OptionalChildOrErr.takeError());
263 auto &OptionalChild = *OptionalChildOrErr;
264 if (OptionalChild) {
Lang Hames93de2a12015-01-23 21:25:00 +0000265 // FIXME: Support nested archives?
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000266 Expected<std::unique_ptr<object::Binary>> ChildBinOrErr =
Lang Hames69f49022016-07-14 20:44:27 +0000267 OptionalChild->getAsBinary();
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000268 if (!ChildBinOrErr) {
269 // TODO: Actually report errors helpfully.
270 consumeError(ChildBinOrErr.takeError());
Lang Hames93de2a12015-01-23 21:25:00 +0000271 continue;
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000272 }
Lang Hames93de2a12015-01-23 21:25:00 +0000273 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
274 if (ChildBin->isObject()) {
275 std::vector<std::unique_ptr<object::ObjectFile>> ObjSet;
276 ObjSet.push_back(std::unique_ptr<object::ObjectFile>(
277 static_cast<object::ObjectFile *>(ChildBin.release())));
Lang Hames633fe142015-03-30 03:37:06 +0000278 ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver);
279 if (auto Sym = ObjectLayer.findSymbol(Name, true))
280 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000281 }
282 }
283 }
Lang Hames633fe142015-03-30 03:37:06 +0000284 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000285 }
286
287 class NotifyObjectLoadedT {
288 public:
Lang Hames93de2a12015-01-23 21:25:00 +0000289 typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>
290 LoadedObjInfoListT;
291
292 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
293
Lang Hames2fe7acb2016-01-19 21:06:38 +0000294 template <typename ObjListT>
Lang Hames93de2a12015-01-23 21:25:00 +0000295 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H,
296 const ObjListT &Objects,
297 const LoadedObjInfoListT &Infos) const {
298 M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000299 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames93de2a12015-01-23 21:25:00 +0000300 assert(Objects.size() == Infos.size() &&
301 "Incorrect number of Infos for Objects.");
302 for (unsigned I = 0; I < Objects.size(); ++I)
Lang Hames2fe7acb2016-01-19 21:06:38 +0000303 M.MemMgr.notifyObjectLoaded(&M, getObject(*Objects[I]));
Hans Wennborg13958b72015-07-22 20:46:11 +0000304 }
Lang Hames93de2a12015-01-23 21:25:00 +0000305
306 private:
Lang Hames2fe7acb2016-01-19 21:06:38 +0000307
308 static const object::ObjectFile& getObject(const object::ObjectFile &Obj) {
309 return Obj;
310 }
311
312 template <typename ObjT>
313 static const object::ObjectFile&
314 getObject(const object::OwningBinary<ObjT> &Obj) {
315 return *Obj.getBinary();
316 }
317
Lang Hames93de2a12015-01-23 21:25:00 +0000318 OrcMCJITReplacement &M;
319 };
320
321 class NotifyFinalizedT {
322 public:
323 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
324 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H) {
325 M.UnfinalizedSections.erase(H);
326 }
327
328 private:
329 OrcMCJITReplacement &M;
330 };
331
332 std::string Mangle(StringRef Name) {
333 std::string MangledName;
334 {
335 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000336 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000337 }
338 return MangledName;
339 }
340
341 typedef ObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT;
342 typedef IRCompileLayer<ObjectLayerT> CompileLayerT;
343 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
344
345 std::unique_ptr<TargetMachine> TM;
Lang Hames633fe142015-03-30 03:37:06 +0000346 MCJITReplacementMemMgr MemMgr;
347 LinkingResolver Resolver;
Lang Hamesad4a9112016-08-01 20:49:11 +0000348 std::shared_ptr<JITSymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000349 Mangler Mang;
350
351 NotifyObjectLoadedT NotifyObjectLoaded;
352 NotifyFinalizedT NotifyFinalized;
353
354 ObjectLayerT ObjectLayer;
355 CompileLayerT CompileLayer;
356 LazyEmitLayerT LazyEmitLayer;
357
Lang Hames93de2a12015-01-23 21:25:00 +0000358 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
359 // that have been emitted but not yet finalized so that we can forward the
360 // mapSectionAddress calls appropriately.
361 typedef std::set<const void *> SectionAddrSet;
362 struct ObjSetHandleCompare {
363 bool operator()(ObjectLayerT::ObjSetHandleT H1,
364 ObjectLayerT::ObjSetHandleT H2) const {
365 return &*H1 < &*H2;
366 }
367 };
368 SectionAddrSet SectionsAllocatedSinceLastLoad;
369 std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare>
370 UnfinalizedSections;
371
372 std::vector<object::OwningBinary<object::Archive>> Archives;
373};
Lang Hamese7380612015-02-21 20:44:36 +0000374
375} // End namespace orc.
376} // End namespace llvm.
Lang Hames93de2a12015-01-23 21:25:00 +0000377
378#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H