blob: 896c184d44009aaa83b4c616708eea39f113f9f9 [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
114 class LinkingResolver : public RuntimeDyld::SymbolResolver {
115 public:
116 LinkingResolver(OrcMCJITReplacement &M) : M(M) {}
117
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000118 RuntimeDyld::SymbolInfo findSymbol(const std::string &Name) override {
Lang Hames633fe142015-03-30 03:37:06 +0000119 return M.findMangledSymbol(Name);
120 }
121
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000122 RuntimeDyld::SymbolInfo
123 findSymbolInLogicalDylib(const std::string &Name) override {
Lang Hames633fe142015-03-30 03:37:06 +0000124 return M.ClientResolver->findSymbolInLogicalDylib(Name);
125 }
126
127 private:
128 OrcMCJITReplacement &M;
Lang Hames93de2a12015-01-23 21:25:00 +0000129 };
130
131private:
Lang Hamese7380612015-02-21 20:44:36 +0000132
Lang Hames93de2a12015-01-23 21:25:00 +0000133 static ExecutionEngine *
134 createOrcMCJITReplacement(std::string *ErrorMsg,
Lang Hames633fe142015-03-30 03:37:06 +0000135 std::shared_ptr<MCJITMemoryManager> MemMgr,
136 std::shared_ptr<RuntimeDyld::SymbolResolver> Resolver,
Lang Hamese7380612015-02-21 20:44:36 +0000137 std::unique_ptr<TargetMachine> TM) {
Lang Hames633fe142015-03-30 03:37:06 +0000138 return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver),
139 std::move(TM));
Lang Hames93de2a12015-01-23 21:25:00 +0000140 }
141
142public:
143 static void Register() {
144 OrcMCJITReplacementCtor = createOrcMCJITReplacement;
145 }
146
Lang Hames633fe142015-03-30 03:37:06 +0000147 OrcMCJITReplacement(
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000148 std::shared_ptr<MCJITMemoryManager> MemMgr,
149 std::shared_ptr<RuntimeDyld::SymbolResolver> ClientResolver,
150 std::unique_ptr<TargetMachine> TM)
Mehdi Amini26d48132015-07-24 16:04:22 +0000151 : ExecutionEngine(TM->createDataLayout()), TM(std::move(TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000152 MemMgr(*this, std::move(MemMgr)), Resolver(*this),
153 ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this),
154 NotifyFinalized(*this),
Lang Hames633fe142015-03-30 03:37:06 +0000155 ObjectLayer(NotifyObjectLoaded, NotifyFinalized),
Lang Hames93de2a12015-01-23 21:25:00 +0000156 CompileLayer(ObjectLayer, SimpleCompiler(*this->TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000157 LazyEmitLayer(CompileLayer) {}
Lang Hames93de2a12015-01-23 21:25:00 +0000158
Reid Kleckner7b23b432015-01-23 22:25:47 +0000159 void addModule(std::unique_ptr<Module> M) override {
Lang Hames93de2a12015-01-23 21:25:00 +0000160
161 // If this module doesn't have a DataLayout attached then attach the
162 // default.
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000163 if (M->getDataLayout().isDefault()) {
164 M->setDataLayout(getDataLayout());
165 } else {
166 assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch");
167 }
Lang Hamesa3e710d2015-02-02 04:34:02 +0000168 Modules.push_back(std::move(M));
Lang Hames93de2a12015-01-23 21:25:00 +0000169 std::vector<Module *> Ms;
Lang Hamesa3e710d2015-02-02 04:34:02 +0000170 Ms.push_back(&*Modules.back());
Lang Hames633fe142015-03-30 03:37:06 +0000171 LazyEmitLayer.addModuleSet(std::move(Ms), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000172 }
173
174 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override {
175 std::vector<std::unique_ptr<object::ObjectFile>> Objs;
176 Objs.push_back(std::move(O));
Lang Hames633fe142015-03-30 03:37:06 +0000177 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000178 }
179
180 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override {
Lang Hames2fe7acb2016-01-19 21:06:38 +0000181 std::vector<std::unique_ptr<object::OwningBinary<object::ObjectFile>>> Objs;
182 Objs.push_back(
183 llvm::make_unique<object::OwningBinary<object::ObjectFile>>(
184 std::move(O)));
Lang Hamesf7c4f182015-10-28 22:10:27 +0000185 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000186 }
187
188 void addArchive(object::OwningBinary<object::Archive> A) override {
189 Archives.push_back(std::move(A));
190 }
191
192 uint64_t getSymbolAddress(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000193 return findSymbol(Name).getAddress();
194 }
195
196 RuntimeDyld::SymbolInfo findSymbol(StringRef Name) {
197 return findMangledSymbol(Mangle(Name));
Lang Hames93de2a12015-01-23 21:25:00 +0000198 }
199
200 void finalizeObject() override {
201 // This is deprecated - Aim to remove in ExecutionEngine.
202 // REMOVE IF POSSIBLE - Doesn't make sense for New JIT.
203 }
204
205 void mapSectionAddress(const void *LocalAddress,
206 uint64_t TargetAddress) override {
207 for (auto &P : UnfinalizedSections)
208 if (P.second.count(LocalAddress))
209 ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress);
210 }
211
212 uint64_t getGlobalValueAddress(const std::string &Name) override {
213 return getSymbolAddress(Name);
214 }
215
216 uint64_t getFunctionAddress(const std::string &Name) override {
217 return getSymbolAddress(Name);
218 }
219
220 void *getPointerToFunction(Function *F) override {
221 uint64_t FAddr = getSymbolAddress(F->getName());
222 return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr));
223 }
224
225 void *getPointerToNamedFunction(StringRef Name,
226 bool AbortOnFailure = true) override {
227 uint64_t Addr = getSymbolAddress(Name);
228 if (!Addr && AbortOnFailure)
229 llvm_unreachable("Missing symbol!");
230 return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr));
231 }
232
233 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000234 ArrayRef<GenericValue> ArgValues) override;
Lang Hames93de2a12015-01-23 21:25:00 +0000235
236 void setObjectCache(ObjectCache *NewCache) override {
237 CompileLayer.setObjectCache(NewCache);
238 }
239
Lang Hames645a22a2015-10-29 03:52:58 +0000240 void setProcessAllSections(bool ProcessAllSections) override {
241 ObjectLayer.setProcessAllSections(ProcessAllSections);
242 }
243
Lang Hames93de2a12015-01-23 21:25:00 +0000244private:
Lang Hames93de2a12015-01-23 21:25:00 +0000245
Lang Hames633fe142015-03-30 03:37:06 +0000246 RuntimeDyld::SymbolInfo findMangledSymbol(StringRef Name) {
247 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
248 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
249 if (auto Sym = ClientResolver->findSymbol(Name))
250 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
251 if (auto Sym = scanArchives(Name))
252 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
253
254 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000255 }
256
Lang Hames633fe142015-03-30 03:37:06 +0000257 JITSymbol scanArchives(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000258 for (object::OwningBinary<object::Archive> &OB : Archives) {
259 object::Archive *A = OB.getBinary();
260 // Look for our symbols in each Archive
261 object::Archive::child_iterator ChildIt = A->findSym(Name);
Kevin Enderby7a969422015-11-05 19:24:56 +0000262 if (std::error_code EC = ChildIt->getError())
263 report_fatal_error(EC.message());
Kevin Enderbyda9dd052015-10-21 17:13:20 +0000264 if (ChildIt != A->child_end()) {
Lang Hames93de2a12015-01-23 21:25:00 +0000265 // FIXME: Support nested archives?
266 ErrorOr<std::unique_ptr<object::Binary>> ChildBinOrErr =
Kevin Enderby7a969422015-11-05 19:24:56 +0000267 (*ChildIt)->getAsBinary();
Lang Hames93de2a12015-01-23 21:25:00 +0000268 if (ChildBinOrErr.getError())
269 continue;
270 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
271 if (ChildBin->isObject()) {
272 std::vector<std::unique_ptr<object::ObjectFile>> ObjSet;
273 ObjSet.push_back(std::unique_ptr<object::ObjectFile>(
274 static_cast<object::ObjectFile *>(ChildBin.release())));
Lang Hames633fe142015-03-30 03:37:06 +0000275 ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver);
276 if (auto Sym = ObjectLayer.findSymbol(Name, true))
277 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000278 }
279 }
280 }
Lang Hames633fe142015-03-30 03:37:06 +0000281 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000282 }
283
284 class NotifyObjectLoadedT {
285 public:
Lang Hames93de2a12015-01-23 21:25:00 +0000286 typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>
287 LoadedObjInfoListT;
288
289 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
290
Lang Hames2fe7acb2016-01-19 21:06:38 +0000291 template <typename ObjListT>
Lang Hames93de2a12015-01-23 21:25:00 +0000292 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H,
293 const ObjListT &Objects,
294 const LoadedObjInfoListT &Infos) const {
295 M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000296 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames93de2a12015-01-23 21:25:00 +0000297 assert(Objects.size() == Infos.size() &&
298 "Incorrect number of Infos for Objects.");
299 for (unsigned I = 0; I < Objects.size(); ++I)
Lang Hames2fe7acb2016-01-19 21:06:38 +0000300 M.MemMgr.notifyObjectLoaded(&M, getObject(*Objects[I]));
Hans Wennborg13958b72015-07-22 20:46:11 +0000301 }
Lang Hames93de2a12015-01-23 21:25:00 +0000302
303 private:
Lang Hames2fe7acb2016-01-19 21:06:38 +0000304
305 static const object::ObjectFile& getObject(const object::ObjectFile &Obj) {
306 return Obj;
307 }
308
309 template <typename ObjT>
310 static const object::ObjectFile&
311 getObject(const object::OwningBinary<ObjT> &Obj) {
312 return *Obj.getBinary();
313 }
314
Lang Hames93de2a12015-01-23 21:25:00 +0000315 OrcMCJITReplacement &M;
316 };
317
318 class NotifyFinalizedT {
319 public:
320 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
321 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H) {
322 M.UnfinalizedSections.erase(H);
323 }
324
325 private:
326 OrcMCJITReplacement &M;
327 };
328
329 std::string Mangle(StringRef Name) {
330 std::string MangledName;
331 {
332 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000333 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000334 }
335 return MangledName;
336 }
337
338 typedef ObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT;
339 typedef IRCompileLayer<ObjectLayerT> CompileLayerT;
340 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
341
342 std::unique_ptr<TargetMachine> TM;
Lang Hames633fe142015-03-30 03:37:06 +0000343 MCJITReplacementMemMgr MemMgr;
344 LinkingResolver Resolver;
345 std::shared_ptr<RuntimeDyld::SymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000346 Mangler Mang;
347
348 NotifyObjectLoadedT NotifyObjectLoaded;
349 NotifyFinalizedT NotifyFinalized;
350
351 ObjectLayerT ObjectLayer;
352 CompileLayerT CompileLayer;
353 LazyEmitLayerT LazyEmitLayer;
354
Lang Hames93de2a12015-01-23 21:25:00 +0000355 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
356 // that have been emitted but not yet finalized so that we can forward the
357 // mapSectionAddress calls appropriately.
358 typedef std::set<const void *> SectionAddrSet;
359 struct ObjSetHandleCompare {
360 bool operator()(ObjectLayerT::ObjSetHandleT H1,
361 ObjectLayerT::ObjSetHandleT H2) const {
362 return &*H1 < &*H2;
363 }
364 };
365 SectionAddrSet SectionsAllocatedSinceLastLoad;
366 std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare>
367 UnfinalizedSections;
368
369 std::vector<object::OwningBinary<object::Archive>> Archives;
370};
Lang Hamese7380612015-02-21 20:44:36 +0000371
372} // End namespace orc.
373} // End namespace llvm.
Lang Hames93de2a12015-01-23 21:25:00 +0000374
375#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H