blob: 4cb9bebde5558e5df67b335f8374057af7a4d858 [file] [log] [blame]
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +00001//===-- MCJIT.h - Class definition for the MCJIT ----------------*- 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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000010#ifndef LLVM_LIB_EXECUTIONENGINE_MCJIT_MCJIT_H
11#define LLVM_LIB_EXECUTIONENGINE_MCJIT_MCJIT_H
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +000012
Andrew Kaylorc89fc822013-10-24 00:19:14 +000013#include "llvm/ADT/SmallPtrSet.h"
Andrew Kaylord8ffd9c2012-11-06 18:51:59 +000014#include "llvm/ADT/SmallVector.h"
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +000015#include "llvm/ExecutionEngine/ExecutionEngine.h"
Andrew Kaylorced4e8f2013-04-25 21:02:36 +000016#include "llvm/ExecutionEngine/ObjectCache.h"
Lang Hames93de2a12015-01-23 21:25:00 +000017#include "llvm/ExecutionEngine/ObjectMemoryBuffer.h"
Lang Hames633fe142015-03-30 03:37:06 +000018#include "llvm/ExecutionEngine/RTDyldMemoryManager.h"
Jim Grosbach348a5482011-03-22 01:06:42 +000019#include "llvm/ExecutionEngine/RuntimeDyld.h"
Andrew Kaylorc89fc822013-10-24 00:19:14 +000020#include "llvm/IR/Module.h"
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +000021
22namespace llvm {
Andrew Kaylorea395922013-10-01 01:47:35 +000023class MCJIT;
24
25// This is a helper class that the MCJIT execution engine uses for linking
26// functions across modules that it owns. It aggregates the memory manager
27// that is passed in to the MCJIT constructor and defers most functionality
28// to that object.
Lang Hamesad4a9112016-08-01 20:49:11 +000029class LinkingSymbolResolver : public JITSymbolResolver {
Andrew Kaylorea395922013-10-01 01:47:35 +000030public:
Lang Hames633fe142015-03-30 03:37:06 +000031 LinkingSymbolResolver(MCJIT &Parent,
Lang Hamesad4a9112016-08-01 20:49:11 +000032 std::shared_ptr<JITSymbolResolver> Resolver)
Lang Hames633fe142015-03-30 03:37:06 +000033 : ParentEngine(Parent), ClientResolver(std::move(Resolver)) {}
Andrew Kaylorea395922013-10-01 01:47:35 +000034
Lang Hamesad4a9112016-08-01 20:49:11 +000035 JITSymbol findSymbol(const std::string &Name) override;
Andrew Kaylorea395922013-10-01 01:47:35 +000036
Lang Hames633fe142015-03-30 03:37:06 +000037 // MCJIT doesn't support logical dylibs.
Lang Hamesad4a9112016-08-01 20:49:11 +000038 JITSymbol findSymbolInLogicalDylib(const std::string &Name) override {
Lang Hames633fe142015-03-30 03:37:06 +000039 return nullptr;
Andrew Kaylorea395922013-10-01 01:47:35 +000040 }
41
42private:
Lang Hames633fe142015-03-30 03:37:06 +000043 MCJIT &ParentEngine;
Lang Hamesad4a9112016-08-01 20:49:11 +000044 std::shared_ptr<JITSymbolResolver> ClientResolver;
Andrew Kaylorea395922013-10-01 01:47:35 +000045};
Andrew Kayloradc70562012-10-02 21:18:39 +000046
Andrew Kaylorc89fc822013-10-24 00:19:14 +000047// About Module states: added->loaded->finalized.
Yaron Kerenfb955822013-10-19 09:03:20 +000048//
49// The purpose of the "added" state is having modules in standby. (added=known
50// but not compiled). The idea is that you can add a module to provide function
51// definitions but if nothing in that module is referenced by a module in which
Yaron Keren1ec9df32013-10-24 10:04:47 +000052// a function is executed (note the wording here because it's not exactly the
Yaron Kerenfb955822013-10-19 09:03:20 +000053// ideal case) then the module never gets compiled. This is sort of lazy
54// compilation.
55//
56// The purpose of the "loaded" state (loaded=compiled and required sections
57// copied into local memory but not yet ready for execution) is to have an
58// intermediate state wherein clients can remap the addresses of sections, using
59// MCJIT::mapSectionAddress, (in preparation for later copying to a new location
60// or an external process) before relocations and page permissions are applied.
61//
62// It might not be obvious at first glance, but the "remote-mcjit" case in the
63// lli tool does this. In that case, the intermediate action is taken by the
64// RemoteMemoryManager in response to the notifyObjectLoaded function being
65// called.
66
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +000067class MCJIT : public ExecutionEngine {
David Blaikie196e3232014-09-02 22:41:07 +000068 MCJIT(std::unique_ptr<Module> M, std::unique_ptr<TargetMachine> tm,
Lang Hames633fe142015-03-30 03:37:06 +000069 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +000070 std::shared_ptr<JITSymbolResolver> Resolver);
Jim Grosbach7b162492011-03-18 22:48:41 +000071
Andrew Kaylorc89fc822013-10-24 00:19:14 +000072 typedef llvm::SmallPtrSet<Module *, 4> ModulePtrSet;
Andrew Kaylorea395922013-10-01 01:47:35 +000073
Andrew Kaylorc89fc822013-10-24 00:19:14 +000074 class OwningModuleContainer {
Andrew Kaylorea395922013-10-01 01:47:35 +000075 public:
Andrew Kaylorc89fc822013-10-24 00:19:14 +000076 OwningModuleContainer() {
77 }
78 ~OwningModuleContainer() {
79 freeModulePtrSet(AddedModules);
80 freeModulePtrSet(LoadedModules);
81 freeModulePtrSet(FinalizedModules);
82 }
Andrew Kaylorea395922013-10-01 01:47:35 +000083
Andrew Kaylorc89fc822013-10-24 00:19:14 +000084 ModulePtrSet::iterator begin_added() { return AddedModules.begin(); }
85 ModulePtrSet::iterator end_added() { return AddedModules.end(); }
Lang Hames018452e2014-09-05 23:38:35 +000086 iterator_range<ModulePtrSet::iterator> added() {
Craig Topper15576e12015-12-06 05:08:07 +000087 return make_range(begin_added(), end_added());
Lang Hames018452e2014-09-05 23:38:35 +000088 }
Andrew Kaylorc89fc822013-10-24 00:19:14 +000089
90 ModulePtrSet::iterator begin_loaded() { return LoadedModules.begin(); }
91 ModulePtrSet::iterator end_loaded() { return LoadedModules.end(); }
92
93 ModulePtrSet::iterator begin_finalized() { return FinalizedModules.begin(); }
94 ModulePtrSet::iterator end_finalized() { return FinalizedModules.end(); }
95
Rafael Espindola2a8a2792014-08-19 04:04:25 +000096 void addModule(std::unique_ptr<Module> M) {
97 AddedModules.insert(M.release());
Andrew Kaylorc89fc822013-10-24 00:19:14 +000098 }
99
100 bool removeModule(Module *M) {
101 return AddedModules.erase(M) || LoadedModules.erase(M) ||
102 FinalizedModules.erase(M);
103 }
104
105 bool hasModuleBeenAddedButNotLoaded(Module *M) {
106 return AddedModules.count(M) != 0;
107 }
108
109 bool hasModuleBeenLoaded(Module *M) {
110 // If the module is in either the "loaded" or "finalized" sections it
111 // has been loaded.
112 return (LoadedModules.count(M) != 0 ) || (FinalizedModules.count(M) != 0);
113 }
114
115 bool hasModuleBeenFinalized(Module *M) {
116 return FinalizedModules.count(M) != 0;
117 }
118
119 bool ownsModule(Module* M) {
120 return (AddedModules.count(M) != 0) || (LoadedModules.count(M) != 0) ||
121 (FinalizedModules.count(M) != 0);
122 }
123
124 void markModuleAsLoaded(Module *M) {
125 // This checks against logic errors in the MCJIT implementation.
126 // This function should never be called with either a Module that MCJIT
127 // does not own or a Module that has already been loaded and/or finalized.
128 assert(AddedModules.count(M) &&
129 "markModuleAsLoaded: Module not found in AddedModules");
130
131 // Remove the module from the "Added" set.
132 AddedModules.erase(M);
133
134 // Add the Module to the "Loaded" set.
135 LoadedModules.insert(M);
136 }
137
138 void markModuleAsFinalized(Module *M) {
139 // This checks against logic errors in the MCJIT implementation.
140 // This function should never be called with either a Module that MCJIT
141 // does not own, a Module that has not been loaded or a Module that has
142 // already been finalized.
143 assert(LoadedModules.count(M) &&
144 "markModuleAsFinalized: Module not found in LoadedModules");
145
146 // Remove the module from the "Loaded" section of the list.
147 LoadedModules.erase(M);
148
149 // Add the Module to the "Finalized" section of the list by inserting it
150 // before the 'end' iterator.
151 FinalizedModules.insert(M);
152 }
153
154 void markAllLoadedModulesAsFinalized() {
155 for (ModulePtrSet::iterator I = LoadedModules.begin(),
156 E = LoadedModules.end();
157 I != E; ++I) {
158 Module *M = *I;
159 FinalizedModules.insert(M);
160 }
161 LoadedModules.clear();
162 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000163
164 private:
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000165 ModulePtrSet AddedModules;
166 ModulePtrSet LoadedModules;
167 ModulePtrSet FinalizedModules;
168
169 void freeModulePtrSet(ModulePtrSet& MPS) {
170 // Go through the module set and delete everything.
171 for (ModulePtrSet::iterator I = MPS.begin(), E = MPS.end(); I != E; ++I) {
172 Module *M = *I;
173 delete M;
174 }
175 MPS.clear();
176 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000177 };
178
David Blaikie196e3232014-09-02 22:41:07 +0000179 std::unique_ptr<TargetMachine> TM;
Jim Grosbach7b162492011-03-18 22:48:41 +0000180 MCContext *Ctx;
Lang Hames633fe142015-03-30 03:37:06 +0000181 std::shared_ptr<MCJITMemoryManager> MemMgr;
182 LinkingSymbolResolver Resolver;
Andrew Kaylor1a568c32012-08-07 18:33:00 +0000183 RuntimeDyld Dyld;
Eric Christopher79cc1e32014-09-02 22:28:02 +0000184 std::vector<JITEventListener*> EventListeners;
Jim Grosbach7b162492011-03-18 22:48:41 +0000185
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000186 OwningModuleContainer OwnedModules;
Andrew Kaylorea395922013-10-01 01:47:35 +0000187
Rafael Espindola48af1c22014-08-19 18:44:46 +0000188 SmallVector<object::OwningBinary<object::Archive>, 2> Archives;
Rafael Espindola7271c192014-08-26 21:04:04 +0000189 SmallVector<std::unique_ptr<MemoryBuffer>, 2> Buffers;
Lang Hames173c69f2014-01-08 04:09:09 +0000190
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000191 SmallVector<std::unique_ptr<object::ObjectFile>, 2> LoadedObjects;
Jim Grosbach7b162492011-03-18 22:48:41 +0000192
Andrew Kaylorced4e8f2013-04-25 21:02:36 +0000193 // An optional ObjectCache to be notified of compiled objects and used to
194 // perform lookup of pre-compiled code to avoid re-compilation.
195 ObjectCache *ObjCache;
196
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000197 Function *FindFunctionNamedInModulePtrSet(const char *FnName,
198 ModulePtrSet::iterator I,
199 ModulePtrSet::iterator E);
200
Keno Fischer73378eb2015-06-20 00:55:58 +0000201 GlobalVariable *FindGlobalVariableNamedInModulePtrSet(const char *Name,
202 bool AllowInternal,
203 ModulePtrSet::iterator I,
204 ModulePtrSet::iterator E);
205
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000206 void runStaticConstructorsDestructorsInModulePtrSet(bool isDtors,
207 ModulePtrSet::iterator I,
208 ModulePtrSet::iterator E);
209
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000210public:
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000211 ~MCJIT() override;
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000212
213 /// @name ExecutionEngine interface implementation
214 /// @{
Rafael Espindola2a8a2792014-08-19 04:04:25 +0000215 void addModule(std::unique_ptr<Module> M) override;
David Blaikie7a1e7752014-04-29 21:52:46 +0000216 void addObjectFile(std::unique_ptr<object::ObjectFile> O) override;
Rafael Espindola7271c192014-08-26 21:04:04 +0000217 void addObjectFile(object::OwningBinary<object::ObjectFile> O) override;
Rafael Espindola48af1c22014-08-19 18:44:46 +0000218 void addArchive(object::OwningBinary<object::Archive> O) override;
Craig Topperb51ff602014-03-08 07:51:20 +0000219 bool removeModule(Module *M) override;
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000220
Keno Fischer73378eb2015-06-20 00:55:58 +0000221 /// FindFunctionNamed - Search all of the active modules to find the function that
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000222 /// defines FnName. This is very slow operation and shouldn't be used for
223 /// general code.
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000224 Function *FindFunctionNamed(const char *FnName) override;
Keno Fischer73378eb2015-06-20 00:55:58 +0000225
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000226 /// FindGlobalVariableNamed - Search all of the active modules to find the
227 /// global variable that defines Name. This is very slow operation and
228 /// shouldn't be used for general code.
229 GlobalVariable *FindGlobalVariableNamed(const char *Name,
230 bool AllowInternal = false) override;
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000231
Andrew Kaylorced4e8f2013-04-25 21:02:36 +0000232 /// Sets the object manager that MCJIT should use to avoid compilation.
Craig Topperb51ff602014-03-08 07:51:20 +0000233 void setObjectCache(ObjectCache *manager) override;
Andrew Kaylorced4e8f2013-04-25 21:02:36 +0000234
Lang Hames868d4b32014-03-20 21:06:46 +0000235 void setProcessAllSections(bool ProcessAllSections) override {
236 Dyld.setProcessAllSections(ProcessAllSections);
237 }
238
Craig Topperb51ff602014-03-08 07:51:20 +0000239 void generateCodeForModule(Module *M) override;
Andrew Kaylorea395922013-10-01 01:47:35 +0000240
David Tweed2e7efed2013-05-17 10:01:46 +0000241 /// finalizeObject - ensure the module is fully processed and is usable.
242 ///
243 /// It is the user-level function for completing the process of making the
244 /// object usable for execution. It should be called after sections within an
245 /// object have been relocated using mapSectionAddress. When this method is
246 /// called the MCJIT execution engine will reapply relocations for a loaded
247 /// object.
Yaron Kerenfb955822013-10-19 09:03:20 +0000248 /// Is it OK to finalize a set of modules, add modules and finalize again.
Andrew Kaylor2fb40ce2013-10-21 23:27:02 +0000249 // FIXME: Do we really need both of these?
Craig Topperb51ff602014-03-08 07:51:20 +0000250 void finalizeObject() override;
Andrew Kaylorea395922013-10-01 01:47:35 +0000251 virtual void finalizeModule(Module *);
252 void finalizeLoadedModules();
Andrew Kaylora714efc2012-11-05 20:57:16 +0000253
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000254 /// runStaticConstructorsDestructors - This method is used to execute all of
255 /// the static constructors or destructors for a program.
256 ///
257 /// \param isDtors - Run the destructors instead of constructors.
Craig Topperb51ff602014-03-08 07:51:20 +0000258 void runStaticConstructorsDestructors(bool isDtors) override;
Andrew Kaylorc89fc822013-10-24 00:19:14 +0000259
Craig Topperb51ff602014-03-08 07:51:20 +0000260 void *getPointerToFunction(Function *F) override;
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000261
Craig Topperb51ff602014-03-08 07:51:20 +0000262 GenericValue runFunction(Function *F,
Benjamin Kramerbd7b1c82015-06-13 19:50:29 +0000263 ArrayRef<GenericValue> ArgValues) override;
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000264
Jim Grosbachd5274402011-03-22 18:05:27 +0000265 /// getPointerToNamedFunction - This method returns the address of the
266 /// specified function by using the dlsym function call. As such it is only
267 /// useful for resolving library symbols, not code generated symbols.
268 ///
269 /// If AbortOnFailure is false and no function with the given name is
270 /// found, this function silently returns a null pointer. Otherwise,
271 /// it prints a message to stderr and aborts.
272 ///
Lang Hames9a783342014-09-15 17:50:22 +0000273 void *getPointerToNamedFunction(StringRef Name,
Craig Topperb51ff602014-03-08 07:51:20 +0000274 bool AbortOnFailure = true) override;
Danil Malyshevbfee5422012-03-28 21:46:36 +0000275
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000276 /// mapSectionAddress - map a section to its target address space value.
277 /// Map the address of a JIT section as returned from the memory manager
278 /// to the address in the target process as the running code will see it.
279 /// This is the address which will be used for relocation resolution.
Craig Topperb51ff602014-03-08 07:51:20 +0000280 void mapSectionAddress(const void *LocalAddress,
281 uint64_t TargetAddress) override {
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000282 Dyld.mapSectionAddress(LocalAddress, TargetAddress);
283 }
Craig Topperb51ff602014-03-08 07:51:20 +0000284 void RegisterJITEventListener(JITEventListener *L) override;
285 void UnregisterJITEventListener(JITEventListener *L) override;
Andrew Kaylord8ffd9c2012-11-06 18:51:59 +0000286
Andrew Kaylorea395922013-10-01 01:47:35 +0000287 // If successful, these function will implicitly finalize all loaded objects.
288 // To get a function address within MCJIT without causing a finalize, use
289 // getSymbolAddress.
Craig Topperb51ff602014-03-08 07:51:20 +0000290 uint64_t getGlobalValueAddress(const std::string &Name) override;
291 uint64_t getFunctionAddress(const std::string &Name) override;
Andrew Kaylorea395922013-10-01 01:47:35 +0000292
David Blaikie196e3232014-09-02 22:41:07 +0000293 TargetMachine *getTargetMachine() override { return TM.get(); }
Juergen Ributzka5fe955c2014-01-23 19:23:28 +0000294
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000295 /// @}
296 /// @name (Private) Registration Interfaces
297 /// @{
298
299 static void Register() {
300 MCJITCtor = createJIT;
301 }
302
Lang Hames633fe142015-03-30 03:37:06 +0000303 static ExecutionEngine*
304 createJIT(std::unique_ptr<Module> M,
305 std::string *ErrorStr,
306 std::shared_ptr<MCJITMemoryManager> MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000307 std::shared_ptr<JITSymbolResolver> Resolver,
Lang Hames633fe142015-03-30 03:37:06 +0000308 std::unique_ptr<TargetMachine> TM);
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000309
310 // @}
Andrew Kaylor1a568c32012-08-07 18:33:00 +0000311
Lang Hamesad4a9112016-08-01 20:49:11 +0000312 JITSymbol findSymbol(const std::string &Name, bool CheckFunctionsOnly);
Lang Hames633fe142015-03-30 03:37:06 +0000313 // DEPRECATED - Please use findSymbol instead.
Andrew Kaylorea395922013-10-01 01:47:35 +0000314 // This is not directly exposed via the ExecutionEngine API, but it is
315 // used by the LinkingMemoryManager.
316 uint64_t getSymbolAddress(const std::string &Name,
Lang Hames633fe142015-03-30 03:37:06 +0000317 bool CheckFunctionsOnly);
Andrew Kaylorea395922013-10-01 01:47:35 +0000318
Andrew Kaylor1a568c32012-08-07 18:33:00 +0000319protected:
320 /// emitObject -- Generate a JITed object in memory from the specified module
321 /// Currently, MCJIT only supports a single module and the module passed to
322 /// this function call is expected to be the contained module. The module
NAKAMURA Takumi87e08802013-12-07 11:21:42 +0000323 /// is passed as a parameter here to prepare for multiple module support in
Andrew Kaylor1a568c32012-08-07 18:33:00 +0000324 /// the future.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000325 std::unique_ptr<MemoryBuffer> emitObject(Module *M);
Andrew Kaylorced4e8f2013-04-25 21:02:36 +0000326
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000327 void NotifyObjectEmitted(const object::ObjectFile& Obj,
328 const RuntimeDyld::LoadedObjectInfo &L);
329 void NotifyFreeingObject(const object::ObjectFile& Obj);
Andrew Kaylorea395922013-10-01 01:47:35 +0000330
Lang Hamesad4a9112016-08-01 20:49:11 +0000331 JITSymbol findExistingSymbol(const std::string &Name);
332 Module *findModuleForSymbol(const std::string &Name, bool CheckFunctionsOnly);
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000333};
334
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000335} // end llvm namespace
Daniel Dunbar7e5d8a72010-11-17 16:06:43 +0000336
Hans Wennborgaa15bff2015-09-10 16:49:58 +0000337#endif // LLVM_LIB_EXECUTIONENGINE_MCJIT_MCJIT_H