Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 1 | //===- OrcMCJITReplacement.h - Orc based MCJIT replacement ------*- C++ -*-===// |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 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 | |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/ArrayRef.h" |
| 18 | #include "llvm/ADT/STLExtras.h" |
| 19 | #include "llvm/ADT/StringRef.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 20 | #include "llvm/ExecutionEngine/ExecutionEngine.h" |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 21 | #include "llvm/ExecutionEngine/GenericValue.h" |
| 22 | #include "llvm/ExecutionEngine/JITSymbol.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 23 | #include "llvm/ExecutionEngine/Orc/CompileUtils.h" |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 24 | #include "llvm/ExecutionEngine/Orc/ExecutionUtils.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 25 | #include "llvm/ExecutionEngine/Orc/IRCompileLayer.h" |
| 26 | #include "llvm/ExecutionEngine/Orc/LazyEmittingLayer.h" |
Lang Hames | 67de5d2 | 2017-02-20 05:45:14 +0000 | [diff] [blame] | 27 | #include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h" |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 28 | #include "llvm/ExecutionEngine/RTDyldMemoryManager.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 29 | #include "llvm/ExecutionEngine/RuntimeDyld.h" |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 30 | #include "llvm/IR/DataLayout.h" |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 31 | #include "llvm/IR/Function.h" |
| 32 | #include "llvm/IR/Mangler.h" |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 33 | #include "llvm/IR/Module.h" |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 34 | #include "llvm/Object/Archive.h" |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 35 | #include "llvm/Object/Binary.h" |
| 36 | #include "llvm/Object/ObjectFile.h" |
| 37 | #include "llvm/Support/Error.h" |
| 38 | #include "llvm/Support/ErrorHandling.h" |
| 39 | #include "llvm/Support/raw_ostream.h" |
| 40 | #include "llvm/Target/TargetMachine.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 41 | #include <algorithm> |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 42 | #include <cassert> |
| 43 | #include <cstddef> |
| 44 | #include <cstdint> |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 45 | #include <map> |
| 46 | #include <memory> |
| 47 | #include <set> |
| 48 | #include <string> |
| 49 | #include <vector> |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 50 | |
| 51 | namespace llvm { |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 52 | |
| 53 | class ObjectCache; |
| 54 | |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 55 | namespace orc { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 56 | |
| 57 | class OrcMCJITReplacement : public ExecutionEngine { |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 58 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 59 | // OrcMCJITReplacement needs to do a little extra book-keeping to ensure that |
| 60 | // Orc's automatic finalization doesn't kick in earlier than MCJIT clients are |
| 61 | // expecting - see finalizeMemory. |
| 62 | class MCJITReplacementMemMgr : public MCJITMemoryManager { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 63 | public: |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 64 | MCJITReplacementMemMgr(OrcMCJITReplacement &M, |
| 65 | std::shared_ptr<MCJITMemoryManager> ClientMM) |
| 66 | : M(M), ClientMM(std::move(ClientMM)) {} |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 67 | |
| 68 | uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment, |
| 69 | unsigned SectionID, |
| 70 | StringRef SectionName) override { |
| 71 | uint8_t *Addr = |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 72 | ClientMM->allocateCodeSection(Size, Alignment, SectionID, |
| 73 | SectionName); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 74 | M.SectionsAllocatedSinceLastLoad.insert(Addr); |
| 75 | return Addr; |
| 76 | } |
| 77 | |
| 78 | uint8_t *allocateDataSection(uintptr_t Size, unsigned Alignment, |
| 79 | unsigned SectionID, StringRef SectionName, |
| 80 | bool IsReadOnly) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 81 | uint8_t *Addr = ClientMM->allocateDataSection(Size, Alignment, SectionID, |
| 82 | SectionName, IsReadOnly); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 83 | M.SectionsAllocatedSinceLastLoad.insert(Addr); |
| 84 | return Addr; |
| 85 | } |
| 86 | |
Lang Hames | b2b7a3c | 2016-01-10 18:51:50 +0000 | [diff] [blame] | 87 | void reserveAllocationSpace(uintptr_t CodeSize, uint32_t CodeAlign, |
| 88 | uintptr_t RODataSize, uint32_t RODataAlign, |
| 89 | uintptr_t RWDataSize, |
| 90 | uint32_t RWDataAlign) override { |
| 91 | return ClientMM->reserveAllocationSpace(CodeSize, CodeAlign, |
| 92 | RODataSize, RODataAlign, |
| 93 | RWDataSize, RWDataAlign); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | bool needsToReserveAllocationSpace() override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 97 | return ClientMM->needsToReserveAllocationSpace(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | void registerEHFrames(uint8_t *Addr, uint64_t LoadAddr, |
| 101 | size_t Size) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 102 | return ClientMM->registerEHFrames(Addr, LoadAddr, Size); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 103 | } |
| 104 | |
Lang Hames | c936ac7 | 2017-05-09 21:32:18 +0000 | [diff] [blame] | 105 | void deregisterEHFrames() override { |
| 106 | return ClientMM->deregisterEHFrames(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 107 | } |
| 108 | |
Lang Hames | 9d7a269 | 2016-01-11 16:35:55 +0000 | [diff] [blame] | 109 | void notifyObjectLoaded(RuntimeDyld &RTDyld, |
| 110 | const object::ObjectFile &O) override { |
| 111 | return ClientMM->notifyObjectLoaded(RTDyld, O); |
| 112 | } |
| 113 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 114 | void notifyObjectLoaded(ExecutionEngine *EE, |
| 115 | const object::ObjectFile &O) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 116 | return ClientMM->notifyObjectLoaded(EE, O); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 117 | } |
| 118 | |
| 119 | bool finalizeMemory(std::string *ErrMsg = nullptr) override { |
| 120 | // Each set of objects loaded will be finalized exactly once, but since |
| 121 | // symbol lookup during relocation may recursively trigger the |
| 122 | // loading/relocation of other modules, and since we're forwarding all |
| 123 | // finalizeMemory calls to a single underlying memory manager, we need to |
| 124 | // defer forwarding the call on until all necessary objects have been |
| 125 | // loaded. Otherwise, during the relocation of a leaf object, we will end |
| 126 | // up finalizing memory, causing a crash further up the stack when we |
| 127 | // attempt to apply relocations to finalized memory. |
| 128 | // To avoid finalizing too early, look at how many objects have been |
| 129 | // loaded but not yet finalized. This is a bit of a hack that relies on |
| 130 | // the fact that we're lazily emitting object files: The only way you can |
| 131 | // get more than one set of objects loaded but not yet finalized is if |
| 132 | // they were loaded during relocation of another set. |
| 133 | if (M.UnfinalizedSections.size() == 1) |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 134 | return ClientMM->finalizeMemory(ErrMsg); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 135 | return false; |
| 136 | } |
| 137 | |
| 138 | private: |
| 139 | OrcMCJITReplacement &M; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 140 | std::shared_ptr<MCJITMemoryManager> ClientMM; |
| 141 | }; |
| 142 | |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 143 | class LinkingORCResolver : public orc::SymbolResolver { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 144 | public: |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 145 | LinkingORCResolver(OrcMCJITReplacement &M) : M(M) {} |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 146 | |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 147 | SymbolNameSet lookupFlags(SymbolFlagsMap &SymbolFlags, |
| 148 | const SymbolNameSet &Symbols) override { |
| 149 | SymbolNameSet UnresolvedSymbols; |
| 150 | |
| 151 | for (auto &S : Symbols) { |
| 152 | if (auto Sym = M.findMangledSymbol(*S)) { |
| 153 | SymbolFlags[S] = Sym.getFlags(); |
| 154 | } else if (auto Err = Sym.takeError()) { |
| 155 | M.reportError(std::move(Err)); |
| 156 | return SymbolNameSet(); |
| 157 | } else { |
| 158 | if (auto Sym2 = M.ClientResolver->findSymbolInLogicalDylib(*S)) { |
| 159 | SymbolFlags[S] = Sym2.getFlags(); |
| 160 | } else if (auto Err = Sym2.takeError()) { |
| 161 | M.reportError(std::move(Err)); |
| 162 | return SymbolNameSet(); |
| 163 | } else |
| 164 | UnresolvedSymbols.insert(S); |
| 165 | } |
| 166 | } |
| 167 | |
| 168 | return UnresolvedSymbols; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 169 | } |
| 170 | |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 171 | SymbolNameSet lookup(std::shared_ptr<AsynchronousSymbolQuery> Query, |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 172 | SymbolNameSet Symbols) override { |
| 173 | SymbolNameSet UnresolvedSymbols; |
| 174 | |
| 175 | for (auto &S : Symbols) { |
| 176 | if (auto Sym = M.findMangledSymbol(*S)) { |
| 177 | if (auto Addr = Sym.getAddress()) |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 178 | Query->setDefinition(S, JITEvaluatedSymbol(*Addr, Sym.getFlags())); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 179 | else { |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 180 | Query->setFailed(Addr.takeError()); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 181 | return SymbolNameSet(); |
| 182 | } |
| 183 | } else if (auto Err = Sym.takeError()) { |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 184 | Query->setFailed(std::move(Err)); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 185 | return SymbolNameSet(); |
| 186 | } else { |
| 187 | if (auto Sym2 = M.ClientResolver->findSymbol(*S)) { |
| 188 | if (auto Addr = Sym2.getAddress()) |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 189 | Query->setDefinition(S, |
| 190 | JITEvaluatedSymbol(*Addr, Sym2.getFlags())); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 191 | else { |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 192 | Query->setFailed(Addr.takeError()); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 193 | return SymbolNameSet(); |
| 194 | } |
| 195 | } else if (auto Err = Sym2.takeError()) { |
Lang Hames | e833fe8 | 2018-02-14 22:12:56 +0000 | [diff] [blame] | 196 | Query->setFailed(std::move(Err)); |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 197 | return SymbolNameSet(); |
| 198 | } else |
| 199 | UnresolvedSymbols.insert(S); |
| 200 | } |
| 201 | } |
| 202 | |
| 203 | return UnresolvedSymbols; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 204 | } |
| 205 | |
| 206 | private: |
| 207 | OrcMCJITReplacement &M; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 208 | }; |
| 209 | |
| 210 | private: |
| 211 | static ExecutionEngine * |
| 212 | createOrcMCJITReplacement(std::string *ErrorMsg, |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 213 | std::shared_ptr<MCJITMemoryManager> MemMgr, |
Lang Hames | b72f484 | 2018-01-19 22:24:13 +0000 | [diff] [blame] | 214 | std::shared_ptr<LegacyJITSymbolResolver> Resolver, |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 215 | std::unique_ptr<TargetMachine> TM) { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 216 | return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver), |
| 217 | std::move(TM)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 218 | } |
| 219 | |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 220 | void reportError(Error Err) { |
| 221 | logAllUnhandledErrors(std::move(Err), errs(), "MCJIT error: "); |
| 222 | } |
| 223 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 224 | public: |
Lang Hames | b72f484 | 2018-01-19 22:24:13 +0000 | [diff] [blame] | 225 | OrcMCJITReplacement(std::shared_ptr<MCJITMemoryManager> MemMgr, |
| 226 | std::shared_ptr<LegacyJITSymbolResolver> ClientResolver, |
| 227 | std::unique_ptr<TargetMachine> TM) |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 228 | : ExecutionEngine(TM->createDataLayout()), ES(SSP), TM(std::move(TM)), |
Lang Hames | b72f484 | 2018-01-19 22:24:13 +0000 | [diff] [blame] | 229 | MemMgr( |
| 230 | std::make_shared<MCJITReplacementMemMgr>(*this, std::move(MemMgr))), |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 231 | Resolver(std::make_shared<LinkingORCResolver>(*this)), |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 232 | ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this), |
| 233 | NotifyFinalized(*this), |
Lang Hames | 1cd3dd0 | 2018-02-14 22:13:02 +0000 | [diff] [blame] | 234 | ObjectLayer( |
| 235 | ES, |
| 236 | [this](VModuleKey K) { |
| 237 | return ObjectLayerT::Resources{this->MemMgr, this->Resolver}; |
| 238 | }, |
| 239 | NotifyObjectLoaded, NotifyFinalized), |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 240 | CompileLayer(ObjectLayer, SimpleCompiler(*this->TM), |
| 241 | [this](VModuleKey K, std::unique_ptr<Module> M) { |
| 242 | Modules.push_back(std::move(M)); |
| 243 | }), |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 244 | LazyEmitLayer(CompileLayer) {} |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 245 | |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 246 | static void Register() { |
| 247 | OrcMCJITReplacementCtor = createOrcMCJITReplacement; |
| 248 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 249 | |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 250 | void addModule(std::unique_ptr<Module> M) override { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 251 | // If this module doesn't have a DataLayout attached then attach the |
| 252 | // default. |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 253 | if (M->getDataLayout().isDefault()) { |
| 254 | M->setDataLayout(getDataLayout()); |
| 255 | } else { |
| 256 | assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch"); |
| 257 | } |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 258 | |
| 259 | // Rename, bump linkage and record static constructors and destructors. |
| 260 | // We have to do this before we hand over ownership of the module to the |
| 261 | // JIT. |
| 262 | std::vector<std::string> CtorNames, DtorNames; |
| 263 | { |
| 264 | unsigned CtorId = 0, DtorId = 0; |
| 265 | for (auto Ctor : orc::getConstructors(*M)) { |
| 266 | std::string NewCtorName = ("$static_ctor." + Twine(CtorId++)).str(); |
| 267 | Ctor.Func->setName(NewCtorName); |
| 268 | Ctor.Func->setLinkage(GlobalValue::ExternalLinkage); |
| 269 | Ctor.Func->setVisibility(GlobalValue::HiddenVisibility); |
| 270 | CtorNames.push_back(mangle(NewCtorName)); |
| 271 | } |
| 272 | for (auto Dtor : orc::getDestructors(*M)) { |
| 273 | std::string NewDtorName = ("$static_dtor." + Twine(DtorId++)).str(); |
| 274 | dbgs() << "Found dtor: " << NewDtorName << "\n"; |
| 275 | Dtor.Func->setName(NewDtorName); |
| 276 | Dtor.Func->setLinkage(GlobalValue::ExternalLinkage); |
| 277 | Dtor.Func->setVisibility(GlobalValue::HiddenVisibility); |
| 278 | DtorNames.push_back(mangle(NewDtorName)); |
| 279 | } |
| 280 | } |
| 281 | |
| 282 | auto K = ES.allocateVModule(); |
| 283 | |
| 284 | UnexecutedConstructors[K] = std::move(CtorNames); |
| 285 | UnexecutedDestructors[K] = std::move(DtorNames); |
| 286 | |
| 287 | cantFail(LazyEmitLayer.addModule(K, std::move(M))); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 288 | } |
| 289 | |
| 290 | void addObjectFile(std::unique_ptr<object::ObjectFile> O) override { |
Lang Hames | 589eece | 2018-02-21 21:55:49 +0000 | [diff] [blame] | 291 | cantFail(ObjectLayer.addObject( |
| 292 | ES.allocateVModule(), MemoryBuffer::getMemBufferCopy(O->getData()))); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 293 | } |
| 294 | |
| 295 | void addObjectFile(object::OwningBinary<object::ObjectFile> O) override { |
Lang Hames | 589eece | 2018-02-21 21:55:49 +0000 | [diff] [blame] | 296 | std::unique_ptr<object::ObjectFile> Obj; |
| 297 | std::unique_ptr<MemoryBuffer> ObjBuffer; |
| 298 | std::tie(Obj, ObjBuffer) = O.takeBinary(); |
| 299 | cantFail(ObjectLayer.addObject(ES.allocateVModule(), std::move(ObjBuffer))); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 300 | } |
| 301 | |
| 302 | void addArchive(object::OwningBinary<object::Archive> A) override { |
| 303 | Archives.push_back(std::move(A)); |
| 304 | } |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 305 | |
Lang Hames | cd9d49b | 2017-06-23 23:25:28 +0000 | [diff] [blame] | 306 | bool removeModule(Module *M) override { |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 307 | auto I = Modules.begin(); |
| 308 | for (auto E = Modules.end(); I != E; ++I) |
| 309 | if (I->get() == M) |
| 310 | break; |
| 311 | if (I == Modules.end()) |
| 312 | return false; |
| 313 | Modules.erase(I); |
| 314 | return true; |
Lang Hames | cd9d49b | 2017-06-23 23:25:28 +0000 | [diff] [blame] | 315 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 316 | |
| 317 | uint64_t getSymbolAddress(StringRef Name) { |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 318 | return cantFail(findSymbol(Name).getAddress()); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 319 | } |
| 320 | |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 321 | JITSymbol findSymbol(StringRef Name) { |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 322 | return findMangledSymbol(mangle(Name)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 323 | } |
| 324 | |
| 325 | void finalizeObject() override { |
| 326 | // This is deprecated - Aim to remove in ExecutionEngine. |
| 327 | // REMOVE IF POSSIBLE - Doesn't make sense for New JIT. |
| 328 | } |
| 329 | |
| 330 | void mapSectionAddress(const void *LocalAddress, |
| 331 | uint64_t TargetAddress) override { |
| 332 | for (auto &P : UnfinalizedSections) |
| 333 | if (P.second.count(LocalAddress)) |
| 334 | ObjectLayer.mapSectionAddress(P.first, LocalAddress, TargetAddress); |
| 335 | } |
| 336 | |
| 337 | uint64_t getGlobalValueAddress(const std::string &Name) override { |
| 338 | return getSymbolAddress(Name); |
| 339 | } |
| 340 | |
| 341 | uint64_t getFunctionAddress(const std::string &Name) override { |
| 342 | return getSymbolAddress(Name); |
| 343 | } |
| 344 | |
| 345 | void *getPointerToFunction(Function *F) override { |
| 346 | uint64_t FAddr = getSymbolAddress(F->getName()); |
| 347 | return reinterpret_cast<void *>(static_cast<uintptr_t>(FAddr)); |
| 348 | } |
| 349 | |
| 350 | void *getPointerToNamedFunction(StringRef Name, |
| 351 | bool AbortOnFailure = true) override { |
| 352 | uint64_t Addr = getSymbolAddress(Name); |
| 353 | if (!Addr && AbortOnFailure) |
| 354 | llvm_unreachable("Missing symbol!"); |
| 355 | return reinterpret_cast<void *>(static_cast<uintptr_t>(Addr)); |
| 356 | } |
| 357 | |
| 358 | GenericValue runFunction(Function *F, |
Benjamin Kramer | bd7b1c8 | 2015-06-13 19:50:29 +0000 | [diff] [blame] | 359 | ArrayRef<GenericValue> ArgValues) override; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 360 | |
| 361 | void setObjectCache(ObjectCache *NewCache) override { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 362 | CompileLayer.getCompiler().setObjectCache(NewCache); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 363 | } |
| 364 | |
Lang Hames | 645a22a | 2015-10-29 03:52:58 +0000 | [diff] [blame] | 365 | void setProcessAllSections(bool ProcessAllSections) override { |
| 366 | ObjectLayer.setProcessAllSections(ProcessAllSections); |
| 367 | } |
| 368 | |
Lang Hames | cd9d49b | 2017-06-23 23:25:28 +0000 | [diff] [blame] | 369 | void runStaticConstructorsDestructors(bool isDtors) override; |
| 370 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 371 | private: |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 372 | JITSymbol findMangledSymbol(StringRef Name) { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 373 | if (auto Sym = LazyEmitLayer.findSymbol(Name, false)) |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 374 | return Sym; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 375 | if (auto Sym = ClientResolver->findSymbol(Name)) |
Lang Hames | 6565320 | 2016-05-31 23:14:26 +0000 | [diff] [blame] | 376 | return Sym; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 377 | if (auto Sym = scanArchives(Name)) |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 378 | return Sym; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 379 | |
| 380 | return nullptr; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 381 | } |
| 382 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 383 | JITSymbol scanArchives(StringRef Name) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 384 | for (object::OwningBinary<object::Archive> &OB : Archives) { |
| 385 | object::Archive *A = OB.getBinary(); |
| 386 | // Look for our symbols in each Archive |
Lang Hames | 69f4902 | 2016-07-14 20:44:27 +0000 | [diff] [blame] | 387 | auto OptionalChildOrErr = A->findSym(Name); |
| 388 | if (!OptionalChildOrErr) |
| 389 | report_fatal_error(OptionalChildOrErr.takeError()); |
| 390 | auto &OptionalChild = *OptionalChildOrErr; |
| 391 | if (OptionalChild) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 392 | // FIXME: Support nested archives? |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 393 | Expected<std::unique_ptr<object::Binary>> ChildBinOrErr = |
Lang Hames | 69f4902 | 2016-07-14 20:44:27 +0000 | [diff] [blame] | 394 | OptionalChild->getAsBinary(); |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 395 | if (!ChildBinOrErr) { |
| 396 | // TODO: Actually report errors helpfully. |
| 397 | consumeError(ChildBinOrErr.takeError()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 398 | continue; |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 399 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 400 | std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get(); |
| 401 | if (ChildBin->isObject()) { |
Lang Hames | 589eece | 2018-02-21 21:55:49 +0000 | [diff] [blame] | 402 | cantFail(ObjectLayer.addObject( |
| 403 | ES.allocateVModule(), |
| 404 | MemoryBuffer::getMemBufferCopy(ChildBin->getData()))); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 405 | if (auto Sym = ObjectLayer.findSymbol(Name, true)) |
| 406 | return Sym; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 407 | } |
| 408 | } |
| 409 | } |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 410 | return nullptr; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 411 | } |
| 412 | |
| 413 | class NotifyObjectLoadedT { |
| 414 | public: |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 415 | using LoadedObjInfoListT = |
| 416 | std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>>; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 417 | |
| 418 | NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {} |
| 419 | |
Lang Hames | 589eece | 2018-02-21 21:55:49 +0000 | [diff] [blame] | 420 | void operator()(VModuleKey K, const object::ObjectFile &Obj, |
Lang Hames | 705db63 | 2017-09-28 17:43:07 +0000 | [diff] [blame] | 421 | const RuntimeDyld::LoadedObjectInfo &Info) const { |
Lang Hames | 0976cee | 2018-02-09 02:30:40 +0000 | [diff] [blame] | 422 | M.UnfinalizedSections[K] = std::move(M.SectionsAllocatedSinceLastLoad); |
NAKAMURA Takumi | 2fb9a523 | 2015-01-25 11:41:49 +0000 | [diff] [blame] | 423 | M.SectionsAllocatedSinceLastLoad = SectionAddrSet(); |
Lang Hames | 589eece | 2018-02-21 21:55:49 +0000 | [diff] [blame] | 424 | M.MemMgr->notifyObjectLoaded(&M, Obj); |
Hans Wennborg | 13958b7 | 2015-07-22 20:46:11 +0000 | [diff] [blame] | 425 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 426 | private: |
| 427 | OrcMCJITReplacement &M; |
| 428 | }; |
| 429 | |
| 430 | class NotifyFinalizedT { |
| 431 | public: |
| 432 | NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {} |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 433 | |
Lang Hames | 0976cee | 2018-02-09 02:30:40 +0000 | [diff] [blame] | 434 | void operator()(VModuleKey K) { M.UnfinalizedSections.erase(K); } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 435 | |
| 436 | private: |
| 437 | OrcMCJITReplacement &M; |
| 438 | }; |
| 439 | |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 440 | std::string mangle(StringRef Name) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 441 | std::string MangledName; |
| 442 | { |
| 443 | raw_string_ostream MangledNameStream(MangledName); |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 444 | Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 445 | } |
| 446 | return MangledName; |
| 447 | } |
| 448 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 449 | using ObjectLayerT = RTDyldObjectLinkingLayer; |
| 450 | using CompileLayerT = IRCompileLayer<ObjectLayerT, orc::SimpleCompiler>; |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 451 | using LazyEmitLayerT = LazyEmittingLayer<CompileLayerT>; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 452 | |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 453 | SymbolStringPool SSP; |
| 454 | ExecutionSession ES; |
| 455 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 456 | std::unique_ptr<TargetMachine> TM; |
Lang Hames | 5b51816 | 2017-07-04 04:42:30 +0000 | [diff] [blame] | 457 | std::shared_ptr<MCJITReplacementMemMgr> MemMgr; |
Lang Hames | 4b546c9 | 2018-02-06 21:25:11 +0000 | [diff] [blame] | 458 | std::shared_ptr<LinkingORCResolver> Resolver; |
Lang Hames | b72f484 | 2018-01-19 22:24:13 +0000 | [diff] [blame] | 459 | std::shared_ptr<LegacyJITSymbolResolver> ClientResolver; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 460 | Mangler Mang; |
| 461 | |
Lang Hames | 1aad27e | 2017-08-31 01:09:56 +0000 | [diff] [blame] | 462 | // IMPORTANT: ShouldDelete *must* come before LocalModules: The shared_ptr |
| 463 | // delete blocks in LocalModules refer to the ShouldDelete map, so |
| 464 | // LocalModules needs to be destructed before ShouldDelete. |
Lang Hames | 5409d95 | 2017-08-30 00:47:42 +0000 | [diff] [blame] | 465 | std::map<Module*, bool> ShouldDelete; |
Lang Hames | 5409d95 | 2017-08-30 00:47:42 +0000 | [diff] [blame] | 466 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 467 | NotifyObjectLoadedT NotifyObjectLoaded; |
| 468 | NotifyFinalizedT NotifyFinalized; |
| 469 | |
| 470 | ObjectLayerT ObjectLayer; |
| 471 | CompileLayerT CompileLayer; |
| 472 | LazyEmitLayerT LazyEmitLayer; |
| 473 | |
Lang Hames | 5721ee4 | 2018-03-15 00:30:14 +0000 | [diff] [blame] | 474 | std::map<VModuleKey, std::vector<std::string>> UnexecutedConstructors; |
| 475 | std::map<VModuleKey, std::vector<std::string>> UnexecutedDestructors; |
| 476 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 477 | // We need to store ObjLayerT::ObjSetHandles for each of the object sets |
| 478 | // that have been emitted but not yet finalized so that we can forward the |
| 479 | // mapSectionAddress calls appropriately. |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 480 | using SectionAddrSet = std::set<const void *>; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 481 | SectionAddrSet SectionsAllocatedSinceLastLoad; |
Lang Hames | 0976cee | 2018-02-09 02:30:40 +0000 | [diff] [blame] | 482 | std::map<VModuleKey, SectionAddrSet> UnfinalizedSections; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 483 | |
| 484 | std::vector<object::OwningBinary<object::Archive>> Archives; |
| 485 | }; |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 486 | |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 487 | } // end namespace orc |
Eugene Zelenko | f292a2f | 2017-06-19 23:37:52 +0000 | [diff] [blame] | 488 | |
Eugene Zelenko | a3fe70d | 2016-11-30 17:48:10 +0000 | [diff] [blame] | 489 | } // end namespace llvm |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 490 | |
| 491 | #endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H |