blob: db9c519b8261f4cb1497ccdae4e2e61039144d2d [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 Hames33c0b6b2016-08-08 22:53:37 +0000119 return M.ClientResolver->findSymbol(Name);
Lang Hames633fe142015-03-30 03:37:06 +0000120 }
121
Lang Hamesad4a9112016-08-01 20:49:11 +0000122 JITSymbol findSymbolInLogicalDylib(const std::string &Name) override {
Lang Hames33c0b6b2016-08-08 22:53:37 +0000123 if (auto Sym = M.findMangledSymbol(Name))
124 return Sym;
125 return M.ClientResolver->findSymbolInLogicalDylib(Name);
Lang Hames633fe142015-03-30 03:37:06 +0000126 }
127
128 private:
129 OrcMCJITReplacement &M;
Lang Hames93de2a12015-01-23 21:25:00 +0000130 };
131
132private:
Lang Hamese7380612015-02-21 20:44:36 +0000133
Lang Hames93de2a12015-01-23 21:25:00 +0000134 static ExecutionEngine *
135 createOrcMCJITReplacement(std::string *ErrorMsg,
Lang Hames633fe142015-03-30 03:37:06 +0000136 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000137 std::shared_ptr<JITSymbolResolver> Resolver,
Lang Hamese7380612015-02-21 20:44:36 +0000138 std::unique_ptr<TargetMachine> TM) {
Lang Hames633fe142015-03-30 03:37:06 +0000139 return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver),
140 std::move(TM));
Lang Hames93de2a12015-01-23 21:25:00 +0000141 }
142
143public:
144 static void Register() {
145 OrcMCJITReplacementCtor = createOrcMCJITReplacement;
146 }
147
Lang Hames633fe142015-03-30 03:37:06 +0000148 OrcMCJITReplacement(
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000149 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000150 std::shared_ptr<JITSymbolResolver> ClientResolver,
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000151 std::unique_ptr<TargetMachine> TM)
Mehdi Amini26d48132015-07-24 16:04:22 +0000152 : ExecutionEngine(TM->createDataLayout()), TM(std::move(TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000153 MemMgr(*this, std::move(MemMgr)), Resolver(*this),
154 ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this),
155 NotifyFinalized(*this),
Lang Hames633fe142015-03-30 03:37:06 +0000156 ObjectLayer(NotifyObjectLoaded, NotifyFinalized),
Lang Hames93de2a12015-01-23 21:25:00 +0000157 CompileLayer(ObjectLayer, SimpleCompiler(*this->TM)),
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000158 LazyEmitLayer(CompileLayer) {}
Lang Hames93de2a12015-01-23 21:25:00 +0000159
Reid Kleckner7b23b432015-01-23 22:25:47 +0000160 void addModule(std::unique_ptr<Module> M) override {
Lang Hames93de2a12015-01-23 21:25:00 +0000161
162 // If this module doesn't have a DataLayout attached then attach the
163 // default.
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000164 if (M->getDataLayout().isDefault()) {
165 M->setDataLayout(getDataLayout());
166 } else {
167 assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch");
168 }
Lang Hamesa3e710d2015-02-02 04:34:02 +0000169 Modules.push_back(std::move(M));
Lang Hames93de2a12015-01-23 21:25:00 +0000170 std::vector<Module *> Ms;
Lang Hamesa3e710d2015-02-02 04:34:02 +0000171 Ms.push_back(&*Modules.back());
Lang Hames633fe142015-03-30 03:37:06 +0000172 LazyEmitLayer.addModuleSet(std::move(Ms), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000173 }
174
175 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override {
176 std::vector<std::unique_ptr<object::ObjectFile>> Objs;
177 Objs.push_back(std::move(O));
Lang Hames633fe142015-03-30 03:37:06 +0000178 ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver);
Lang Hames93de2a12015-01-23 21:25:00 +0000179 }
180
181 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override {
Lang Hames2fe7acb2016-01-19 21:06:38 +0000182 std::vector<std::unique_ptr<object::OwningBinary<object::ObjectFile>>> Objs;
183 Objs.push_back(
184 llvm::make_unique<object::OwningBinary<object::ObjectFile>>(
185 std::move(O)));
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
Lang Hamesad4a9112016-08-01 20:49:11 +0000197 JITSymbol findSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000198 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 Hamesad4a9112016-08-01 20:49:11 +0000247 JITSymbol findMangledSymbol(StringRef Name) {
Lang Hames633fe142015-03-30 03:37:06 +0000248 if (auto Sym = LazyEmitLayer.findSymbol(Name, false))
Lang Hamesad4a9112016-08-01 20:49:11 +0000249 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000250 if (auto Sym = ClientResolver->findSymbol(Name))
Lang Hames65653202016-05-31 23:14:26 +0000251 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000252 if (auto Sym = scanArchives(Name))
Lang Hamesad4a9112016-08-01 20:49:11 +0000253 return Sym;
Lang Hames633fe142015-03-30 03:37:06 +0000254
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
Lang Hames69f49022016-07-14 20:44:27 +0000262 auto OptionalChildOrErr = A->findSym(Name);
263 if (!OptionalChildOrErr)
264 report_fatal_error(OptionalChildOrErr.takeError());
265 auto &OptionalChild = *OptionalChildOrErr;
266 if (OptionalChild) {
Lang Hames93de2a12015-01-23 21:25:00 +0000267 // FIXME: Support nested archives?
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000268 Expected<std::unique_ptr<object::Binary>> ChildBinOrErr =
Lang Hames69f49022016-07-14 20:44:27 +0000269 OptionalChild->getAsBinary();
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000270 if (!ChildBinOrErr) {
271 // TODO: Actually report errors helpfully.
272 consumeError(ChildBinOrErr.takeError());
Lang Hames93de2a12015-01-23 21:25:00 +0000273 continue;
Kevin Enderbyac9e1552016-05-17 17:10:12 +0000274 }
Lang Hames93de2a12015-01-23 21:25:00 +0000275 std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get();
276 if (ChildBin->isObject()) {
277 std::vector<std::unique_ptr<object::ObjectFile>> ObjSet;
278 ObjSet.push_back(std::unique_ptr<object::ObjectFile>(
279 static_cast<object::ObjectFile *>(ChildBin.release())));
Lang Hames633fe142015-03-30 03:37:06 +0000280 ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver);
281 if (auto Sym = ObjectLayer.findSymbol(Name, true))
282 return Sym;
Lang Hames93de2a12015-01-23 21:25:00 +0000283 }
284 }
285 }
Lang Hames633fe142015-03-30 03:37:06 +0000286 return nullptr;
Lang Hames93de2a12015-01-23 21:25:00 +0000287 }
288
289 class NotifyObjectLoadedT {
290 public:
Lang Hames93de2a12015-01-23 21:25:00 +0000291 typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>
292 LoadedObjInfoListT;
293
294 NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {}
295
Lang Hames2fe7acb2016-01-19 21:06:38 +0000296 template <typename ObjListT>
Lang Hames93de2a12015-01-23 21:25:00 +0000297 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H,
298 const ObjListT &Objects,
299 const LoadedObjInfoListT &Infos) const {
300 M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad);
NAKAMURA Takumi2fb9a5232015-01-25 11:41:49 +0000301 M.SectionsAllocatedSinceLastLoad = SectionAddrSet();
Lang Hames93de2a12015-01-23 21:25:00 +0000302 assert(Objects.size() == Infos.size() &&
303 "Incorrect number of Infos for Objects.");
304 for (unsigned I = 0; I < Objects.size(); ++I)
Lang Hames2fe7acb2016-01-19 21:06:38 +0000305 M.MemMgr.notifyObjectLoaded(&M, getObject(*Objects[I]));
Hans Wennborg13958b72015-07-22 20:46:11 +0000306 }
Lang Hames93de2a12015-01-23 21:25:00 +0000307
308 private:
Lang Hames2fe7acb2016-01-19 21:06:38 +0000309
310 static const object::ObjectFile& getObject(const object::ObjectFile &Obj) {
311 return Obj;
312 }
313
314 template <typename ObjT>
315 static const object::ObjectFile&
316 getObject(const object::OwningBinary<ObjT> &Obj) {
317 return *Obj.getBinary();
318 }
319
Lang Hames93de2a12015-01-23 21:25:00 +0000320 OrcMCJITReplacement &M;
321 };
322
323 class NotifyFinalizedT {
324 public:
325 NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {}
326 void operator()(ObjectLinkingLayerBase::ObjSetHandleT H) {
327 M.UnfinalizedSections.erase(H);
328 }
329
330 private:
331 OrcMCJITReplacement &M;
332 };
333
334 std::string Mangle(StringRef Name) {
335 std::string MangledName;
336 {
337 raw_string_ostream MangledNameStream(MangledName);
Mehdi Aminia3fcefb2015-07-16 16:34:23 +0000338 Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout());
Lang Hames93de2a12015-01-23 21:25:00 +0000339 }
340 return MangledName;
341 }
342
343 typedef ObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT;
344 typedef IRCompileLayer<ObjectLayerT> CompileLayerT;
345 typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT;
346
347 std::unique_ptr<TargetMachine> TM;
Lang Hames633fe142015-03-30 03:37:06 +0000348 MCJITReplacementMemMgr MemMgr;
349 LinkingResolver Resolver;
Lang Hamesad4a9112016-08-01 20:49:11 +0000350 std::shared_ptr<JITSymbolResolver> ClientResolver;
Lang Hames93de2a12015-01-23 21:25:00 +0000351 Mangler Mang;
352
353 NotifyObjectLoadedT NotifyObjectLoaded;
354 NotifyFinalizedT NotifyFinalized;
355
356 ObjectLayerT ObjectLayer;
357 CompileLayerT CompileLayer;
358 LazyEmitLayerT LazyEmitLayer;
359
Lang Hames93de2a12015-01-23 21:25:00 +0000360 // We need to store ObjLayerT::ObjSetHandles for each of the object sets
361 // that have been emitted but not yet finalized so that we can forward the
362 // mapSectionAddress calls appropriately.
363 typedef std::set<const void *> SectionAddrSet;
364 struct ObjSetHandleCompare {
365 bool operator()(ObjectLayerT::ObjSetHandleT H1,
366 ObjectLayerT::ObjSetHandleT H2) const {
367 return &*H1 < &*H2;
368 }
369 };
370 SectionAddrSet SectionsAllocatedSinceLastLoad;
371 std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare>
372 UnfinalizedSections;
373
374 std::vector<object::OwningBinary<object::Archive>> Archives;
375};
Lang Hamese7380612015-02-21 20:44:36 +0000376
377} // End namespace orc.
378} // End namespace llvm.
Lang Hames93de2a12015-01-23 21:25:00 +0000379
380#endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H