blob: 2ab70a9fee86e66aa1a3a71c5b704cd30f6eb91e [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 {
181 std::unique_ptr<object::ObjectFile> Obj;
182 std::unique_ptr<MemoryBuffer> Buf;
183 std::tie(Obj, Buf) = O.takeBinary();
184 std::vector<std::unique_ptr<object::ObjectFile>> Objs;
185 Objs.push_back(std::move(Obj));
Lang Hamesf7c4f182015-10-28 22:10:27 +0000186 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000187 }
188
189 void addArchive(object::OwningBinary<object::Archive> A) override {
190 Archives.push_back(std::move(A));
191 }
192
193 uint64_t getSymbolAddress(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000194 return findSymbol(Name).getAddress();
195 }
196
197 RuntimeDyld::SymbolInfo findSymbol(StringRef Name) {
198 return findMangledSymbol(Mangle(Name));
Lang Hames93de2a12015-01-23 21:25:00 +0000199 }
200
201 void finalizeObject() override {
202 // This is deprecated - Aim to remove in ExecutionEngine.
203 // REMOVE IF POSSIBLE - Doesn't make sense for New JIT.
204 }
205
206 void mapSectionAddress(const void *LocalAddress,
207 uint64_t TargetAddress) override {
208 for (auto &P : UnfinalizedSections)
209 if (P.second.count(LocalAddress))
210 ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress);
211 }
212
213 uint64_t getGlobalValueAddress(const std::string &Name) override {
214 return getSymbolAddress(Name);
215 }
216
217 uint64_t getFunctionAddress(const std::string &Name) override {
218 return getSymbolAddress(Name);
219 }
220
221 void *getPointerToFunction(Function *F) override {
222 uint64_t FAddr = getSymbolAddress(F->getName());
223 return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr));
224 }
225
226 void *getPointerToNamedFunction(StringRef Name,
227 bool AbortOnFailure = true) override {
228 uint64_t Addr = getSymbolAddress(Name);
229 if (!Addr && AbortOnFailure)
230 llvm_unreachable("Missing symbol!");
231 return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr));
232 }
233
234 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000235 ArrayRef<GenericValue> ArgValues) override;
Lang Hames93de2a12015-01-23 21:25:00 +0000236
237 void setObjectCache(ObjectCache *NewCache) override {
238 CompileLayer.setObjectCache(NewCache);
239 }
240
Lang Hames645a22a2015-10-29 03:52:58 +0000241 void setProcessAllSections(bool ProcessAllSections) override {
242 ObjectLayer.setProcessAllSections(ProcessAllSections);
243 }
244
Lang Hames93de2a12015-01-23 21:25:00 +0000245private:
Lang Hames93de2a12015-01-23 21:25:00 +0000246
Lang Hames633fe142015-03-30 03:37:06 +0000247 RuntimeDyld::SymbolInfo findMangledSymbol(StringRef Name) {
248 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
249 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
250 if (auto Sym = ClientResolver->findSymbol(Name))
251 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
252 if (auto Sym = scanArchives(Name))
253 return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags());
254
255 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000256 }
257
Lang Hames633fe142015-03-30 03:37:06 +0000258 JITSymbol scanArchives(StringRef Name) {
Lang Hames93de2a12015-01-23 21:25:00 +0000259 for (object::OwningBinary<object::Archive> &OB : Archives) {
260 object::Archive *A = OB.getBinary();
261 // Look for our symbols in each Archive
262 object::Archive::child_iterator ChildIt = A->findSym(Name);
Kevin Enderby7a969422015-11-05 19:24:56 +0000263 if (std::error_code EC = ChildIt->getError())
264 report_fatal_error(EC.message());
Kevin Enderbyda9dd052015-10-21 17:13:20 +0000265 if (ChildIt != A->child_end()) {
Lang Hames93de2a12015-01-23 21:25:00 +0000266 // FIXME: Support nested archives?
267 ErrorOr<std::unique_ptr<object::Binary>> ChildBinOrErr =
Kevin Enderby7a969422015-11-05 19:24:56 +0000268 (*ChildIt)->getAsBinary();
Lang Hames93de2a12015-01-23 21:25:00 +0000269 if (ChildBinOrErr.getError())
270 continue;
271 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
272 if (ChildBin->isObject()) {
273 std::vector<std::unique_ptr<object::ObjectFile>> ObjSet;
274 ObjSet.push_back(std::unique_ptr<object::ObjectFile>(
275 static_cast<object::ObjectFile *>(ChildBin.release())));
Lang Hames633fe142015-03-30 03:37:06 +0000276 ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver);
277 if (auto Sym = ObjectLayer.findSymbol(Name, true))
278 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000279 }
280 }
281 }
Lang Hames633fe142015-03-30 03:37:06 +0000282 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000283 }
284
285 class NotifyObjectLoadedT {
286 public:
287 typedef std::vector<std::unique_ptr<object::ObjectFile>> ObjListT;
288 typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>
289 LoadedObjInfoListT;
290
291 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
292
293 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H,
294 const ObjListT &Objects,
295 const LoadedObjInfoListT &Infos) const {
296 M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000297 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames93de2a12015-01-23 21:25:00 +0000298 assert(Objects.size() == Infos.size() &&
299 "Incorrect number of Infos for Objects.");
300 for (unsigned I = 0; I < Objects.size(); ++I)
Lang Hames633fe142015-03-30 03:37:06 +0000301 M.MemMgr.notifyObjectLoaded(&M, *Objects[I]);
Hans Wennborg13958b72015-07-22 20:46:11 +0000302 }
Lang Hames93de2a12015-01-23 21:25:00 +0000303
304 private:
305 OrcMCJITReplacement &M;
306 };
307
308 class NotifyFinalizedT {
309 public:
310 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
311 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H) {
312 M.UnfinalizedSections.erase(H);
313 }
314
315 private:
316 OrcMCJITReplacement &M;
317 };
318
319 std::string Mangle(StringRef Name) {
320 std::string MangledName;
321 {
322 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000323 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000324 }
325 return MangledName;
326 }
327
328 typedef ObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT;
329 typedef IRCompileLayer<ObjectLayerT> CompileLayerT;
330 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
331
332 std::unique_ptr<TargetMachine> TM;
Lang Hames633fe142015-03-30 03:37:06 +0000333 MCJITReplacementMemMgr MemMgr;
334 LinkingResolver Resolver;
335 std::shared_ptr<RuntimeDyld::SymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000336 Mangler Mang;
337
338 NotifyObjectLoadedT NotifyObjectLoaded;
339 NotifyFinalizedT NotifyFinalized;
340
341 ObjectLayerT ObjectLayer;
342 CompileLayerT CompileLayer;
343 LazyEmitLayerT LazyEmitLayer;
344
Lang Hames93de2a12015-01-23 21:25:00 +0000345 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
346 // that have been emitted but not yet finalized so that we can forward the
347 // mapSectionAddress calls appropriately.
348 typedef std::set<const void *> SectionAddrSet;
349 struct ObjSetHandleCompare {
350 bool operator()(ObjectLayerT::ObjSetHandleT H1,
351 ObjectLayerT::ObjSetHandleT H2) const {
352 return &*H1 < &*H2;
353 }
354 };
355 SectionAddrSet SectionsAllocatedSinceLastLoad;
356 std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare>
357 UnfinalizedSections;
358
359 std::vector<object::OwningBinary<object::Archive>> Archives;
360};
Lang Hamese7380612015-02-21 20:44:36 +0000361
362} // End namespace orc.
363} // End namespace llvm.
Lang Hames93de2a12015-01-23 21:25:00 +0000364
365#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H