Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 1 | //===---- 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 23 | |
| 24 | namespace llvm { |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 25 | namespace orc { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 26 | |
| 27 | class OrcMCJITReplacement : public ExecutionEngine { |
| 28 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 29 | // 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 33 | public: |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 34 | MCJITReplacementMemMgr(OrcMCJITReplacement &M, |
| 35 | std::shared_ptr<MCJITMemoryManager> ClientMM) |
| 36 | : M(M), ClientMM(std::move(ClientMM)) {} |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 37 | |
| 38 | uint8_t *allocateCodeSection(uintptr_t Size, unsigned Alignment, |
| 39 | unsigned SectionID, |
| 40 | StringRef SectionName) override { |
| 41 | uint8_t *Addr = |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 42 | ClientMM->allocateCodeSection(Size, Alignment, SectionID, |
| 43 | SectionName); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 44 | 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 Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 51 | uint8_t *Addr = ClientMM->allocateDataSection(Size, Alignment, SectionID, |
| 52 | SectionName, IsReadOnly); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 53 | M.SectionsAllocatedSinceLastLoad.insert(Addr); |
| 54 | return Addr; |
| 55 | } |
| 56 | |
Lang Hames | b2b7a3c | 2016-01-10 18:51:50 +0000 | [diff] [blame] | 57 | 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 Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 64 | } |
| 65 | |
| 66 | bool needsToReserveAllocationSpace() override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 67 | return ClientMM->needsToReserveAllocationSpace(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | void registerEHFrames(uint8_t *Addr, uint64_t LoadAddr, |
| 71 | size_t Size) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 72 | return ClientMM->registerEHFrames(Addr, LoadAddr, Size); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| 75 | void deregisterEHFrames(uint8_t *Addr, uint64_t LoadAddr, |
| 76 | size_t Size) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 77 | return ClientMM->deregisterEHFrames(Addr, LoadAddr, Size); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 78 | } |
| 79 | |
Lang Hames | 9d7a269 | 2016-01-11 16:35:55 +0000 | [diff] [blame] | 80 | void notifyObjectLoaded(RuntimeDyld &RTDyld, |
| 81 | const object::ObjectFile &O) override { |
| 82 | return ClientMM->notifyObjectLoaded(RTDyld, O); |
| 83 | } |
| 84 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 85 | void notifyObjectLoaded(ExecutionEngine *EE, |
| 86 | const object::ObjectFile &O) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 87 | return ClientMM->notifyObjectLoaded(EE, O); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 88 | } |
| 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 Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 105 | return ClientMM->finalizeMemory(ErrMsg); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 106 | return false; |
| 107 | } |
| 108 | |
| 109 | private: |
| 110 | OrcMCJITReplacement &M; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 111 | std::shared_ptr<MCJITMemoryManager> ClientMM; |
| 112 | }; |
| 113 | |
| 114 | class LinkingResolver : public RuntimeDyld::SymbolResolver { |
| 115 | public: |
| 116 | LinkingResolver(OrcMCJITReplacement &M) : M(M) {} |
| 117 | |
Alexander Kornienko | f817c1c | 2015-04-11 02:11:45 +0000 | [diff] [blame] | 118 | RuntimeDyld::SymbolInfo findSymbol(const std::string &Name) override { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 119 | return M.findMangledSymbol(Name); |
| 120 | } |
| 121 | |
Alexander Kornienko | f817c1c | 2015-04-11 02:11:45 +0000 | [diff] [blame] | 122 | RuntimeDyld::SymbolInfo |
| 123 | findSymbolInLogicalDylib(const std::string &Name) override { |
Lang Hames | bf9d1aa | 2016-05-25 16:23:59 +0000 | [diff] [blame] | 124 | return M.ClientResolver->findSymbol(Name); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | private: |
| 128 | OrcMCJITReplacement &M; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 129 | }; |
| 130 | |
| 131 | private: |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 132 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 133 | static ExecutionEngine * |
| 134 | createOrcMCJITReplacement(std::string *ErrorMsg, |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 135 | std::shared_ptr<MCJITMemoryManager> MemMgr, |
| 136 | std::shared_ptr<RuntimeDyld::SymbolResolver> Resolver, |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 137 | std::unique_ptr<TargetMachine> TM) { |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 138 | return new OrcMCJITReplacement(std::move(MemMgr), std::move(Resolver), |
| 139 | std::move(TM)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 140 | } |
| 141 | |
| 142 | public: |
| 143 | static void Register() { |
| 144 | OrcMCJITReplacementCtor = createOrcMCJITReplacement; |
| 145 | } |
| 146 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 147 | OrcMCJITReplacement( |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 148 | std::shared_ptr<MCJITMemoryManager> MemMgr, |
| 149 | std::shared_ptr<RuntimeDyld::SymbolResolver> ClientResolver, |
| 150 | std::unique_ptr<TargetMachine> TM) |
Mehdi Amini | 26d4813 | 2015-07-24 16:04:22 +0000 | [diff] [blame] | 151 | : ExecutionEngine(TM->createDataLayout()), TM(std::move(TM)), |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 152 | MemMgr(*this, std::move(MemMgr)), Resolver(*this), |
| 153 | ClientResolver(std::move(ClientResolver)), NotifyObjectLoaded(*this), |
| 154 | NotifyFinalized(*this), |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 155 | ObjectLayer(NotifyObjectLoaded, NotifyFinalized), |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 156 | CompileLayer(ObjectLayer, SimpleCompiler(*this->TM)), |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 157 | LazyEmitLayer(CompileLayer) {} |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 158 | |
Reid Kleckner | 7b23b43 | 2015-01-23 22:25:47 +0000 | [diff] [blame] | 159 | void addModule(std::unique_ptr<Module> M) override { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 160 | |
| 161 | // If this module doesn't have a DataLayout attached then attach the |
| 162 | // default. |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 163 | if (M->getDataLayout().isDefault()) { |
| 164 | M->setDataLayout(getDataLayout()); |
| 165 | } else { |
| 166 | assert(M->getDataLayout() == getDataLayout() && "DataLayout Mismatch"); |
| 167 | } |
Lang Hames | a3e710d | 2015-02-02 04:34:02 +0000 | [diff] [blame] | 168 | Modules.push_back(std::move(M)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 169 | std::vector<Module *> Ms; |
Lang Hames | a3e710d | 2015-02-02 04:34:02 +0000 | [diff] [blame] | 170 | Ms.push_back(&*Modules.back()); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 171 | LazyEmitLayer.addModuleSet(std::move(Ms), &MemMgr, &Resolver); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 172 | } |
| 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 Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 177 | ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 178 | } |
| 179 | |
| 180 | void addObjectFile(object::OwningBinary<object::ObjectFile> O) override { |
Lang Hames | 2fe7acb | 2016-01-19 21:06:38 +0000 | [diff] [blame] | 181 | 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 Hames | f7c4f18 | 2015-10-28 22:10:27 +0000 | [diff] [blame] | 185 | ObjectLayer.addObjectSet(std::move(Objs), &MemMgr, &Resolver); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 186 | } |
| 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 Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 193 | return findSymbol(Name).getAddress(); |
| 194 | } |
| 195 | |
| 196 | RuntimeDyld::SymbolInfo findSymbol(StringRef Name) { |
| 197 | return findMangledSymbol(Mangle(Name)); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 198 | } |
| 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 Kramer | bd7b1c8 | 2015-06-13 19:50:29 +0000 | [diff] [blame] | 234 | ArrayRef<GenericValue> ArgValues) override; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 235 | |
| 236 | void setObjectCache(ObjectCache *NewCache) override { |
| 237 | CompileLayer.setObjectCache(NewCache); |
| 238 | } |
| 239 | |
Lang Hames | 645a22a | 2015-10-29 03:52:58 +0000 | [diff] [blame] | 240 | void setProcessAllSections(bool ProcessAllSections) override { |
| 241 | ObjectLayer.setProcessAllSections(ProcessAllSections); |
| 242 | } |
| 243 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 244 | private: |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 245 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 246 | RuntimeDyld::SymbolInfo findMangledSymbol(StringRef Name) { |
| 247 | if (auto Sym = LazyEmitLayer.findSymbol(Name, false)) |
Lang Hames | 6565320 | 2016-05-31 23:14:26 +0000 | [diff] [blame^] | 248 | return Sym.toRuntimeDyldSymbol(); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 249 | if (auto Sym = ClientResolver->findSymbol(Name)) |
Lang Hames | 6565320 | 2016-05-31 23:14:26 +0000 | [diff] [blame^] | 250 | return Sym; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 251 | if (auto Sym = scanArchives(Name)) |
Lang Hames | 6565320 | 2016-05-31 23:14:26 +0000 | [diff] [blame^] | 252 | return Sym.toRuntimeDyldSymbol(); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 253 | |
| 254 | return nullptr; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 255 | } |
| 256 | |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 257 | JITSymbol scanArchives(StringRef Name) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 258 | 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 Enderby | 7a96942 | 2015-11-05 19:24:56 +0000 | [diff] [blame] | 262 | if (std::error_code EC = ChildIt->getError()) |
| 263 | report_fatal_error(EC.message()); |
Kevin Enderby | da9dd05 | 2015-10-21 17:13:20 +0000 | [diff] [blame] | 264 | if (ChildIt != A->child_end()) { |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 265 | // FIXME: Support nested archives? |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 266 | Expected<std::unique_ptr<object::Binary>> ChildBinOrErr = |
Kevin Enderby | 7a96942 | 2015-11-05 19:24:56 +0000 | [diff] [blame] | 267 | (*ChildIt)->getAsBinary(); |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 268 | if (!ChildBinOrErr) { |
| 269 | // TODO: Actually report errors helpfully. |
| 270 | consumeError(ChildBinOrErr.takeError()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 271 | continue; |
Kevin Enderby | ac9e155 | 2016-05-17 17:10:12 +0000 | [diff] [blame] | 272 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 273 | std::unique_ptr<object::Binary> &ChildBin = ChildBinOrErr.get(); |
| 274 | if (ChildBin->isObject()) { |
| 275 | std::vector<std::unique_ptr<object::ObjectFile>> ObjSet; |
| 276 | ObjSet.push_back(std::unique_ptr<object::ObjectFile>( |
| 277 | static_cast<object::ObjectFile *>(ChildBin.release()))); |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 278 | ObjectLayer.addObjectSet(std::move(ObjSet), &MemMgr, &Resolver); |
| 279 | if (auto Sym = ObjectLayer.findSymbol(Name, true)) |
| 280 | return Sym; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 281 | } |
| 282 | } |
| 283 | } |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 284 | return nullptr; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 285 | } |
| 286 | |
| 287 | class NotifyObjectLoadedT { |
| 288 | public: |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 289 | typedef std::vector<std::unique_ptr<RuntimeDyld::LoadedObjectInfo>> |
| 290 | LoadedObjInfoListT; |
| 291 | |
| 292 | NotifyObjectLoadedT(OrcMCJITReplacement &M) : M(M) {} |
| 293 | |
Lang Hames | 2fe7acb | 2016-01-19 21:06:38 +0000 | [diff] [blame] | 294 | template <typename ObjListT> |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 295 | void operator()(ObjectLinkingLayerBase::ObjSetHandleT H, |
| 296 | const ObjListT &Objects, |
| 297 | const LoadedObjInfoListT &Infos) const { |
| 298 | M.UnfinalizedSections[H] = std::move(M.SectionsAllocatedSinceLastLoad); |
NAKAMURA Takumi | 2fb9a523 | 2015-01-25 11:41:49 +0000 | [diff] [blame] | 299 | M.SectionsAllocatedSinceLastLoad = SectionAddrSet(); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 300 | assert(Objects.size() == Infos.size() && |
| 301 | "Incorrect number of Infos for Objects."); |
| 302 | for (unsigned I = 0; I < Objects.size(); ++I) |
Lang Hames | 2fe7acb | 2016-01-19 21:06:38 +0000 | [diff] [blame] | 303 | M.MemMgr.notifyObjectLoaded(&M, getObject(*Objects[I])); |
Hans Wennborg | 13958b7 | 2015-07-22 20:46:11 +0000 | [diff] [blame] | 304 | } |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 305 | |
| 306 | private: |
Lang Hames | 2fe7acb | 2016-01-19 21:06:38 +0000 | [diff] [blame] | 307 | |
| 308 | static const object::ObjectFile& getObject(const object::ObjectFile &Obj) { |
| 309 | return Obj; |
| 310 | } |
| 311 | |
| 312 | template <typename ObjT> |
| 313 | static const object::ObjectFile& |
| 314 | getObject(const object::OwningBinary<ObjT> &Obj) { |
| 315 | return *Obj.getBinary(); |
| 316 | } |
| 317 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 318 | OrcMCJITReplacement &M; |
| 319 | }; |
| 320 | |
| 321 | class NotifyFinalizedT { |
| 322 | public: |
| 323 | NotifyFinalizedT(OrcMCJITReplacement &M) : M(M) {} |
| 324 | void operator()(ObjectLinkingLayerBase::ObjSetHandleT H) { |
| 325 | M.UnfinalizedSections.erase(H); |
| 326 | } |
| 327 | |
| 328 | private: |
| 329 | OrcMCJITReplacement &M; |
| 330 | }; |
| 331 | |
| 332 | std::string Mangle(StringRef Name) { |
| 333 | std::string MangledName; |
| 334 | { |
| 335 | raw_string_ostream MangledNameStream(MangledName); |
Mehdi Amini | a3fcefb | 2015-07-16 16:34:23 +0000 | [diff] [blame] | 336 | Mang.getNameWithPrefix(MangledNameStream, Name, getDataLayout()); |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 337 | } |
| 338 | return MangledName; |
| 339 | } |
| 340 | |
| 341 | typedef ObjectLinkingLayer<NotifyObjectLoadedT> ObjectLayerT; |
| 342 | typedef IRCompileLayer<ObjectLayerT> CompileLayerT; |
| 343 | typedef LazyEmittingLayer<CompileLayerT> LazyEmitLayerT; |
| 344 | |
| 345 | std::unique_ptr<TargetMachine> TM; |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 346 | MCJITReplacementMemMgr MemMgr; |
| 347 | LinkingResolver Resolver; |
| 348 | std::shared_ptr<RuntimeDyld::SymbolResolver> ClientResolver; |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 349 | Mangler Mang; |
| 350 | |
| 351 | NotifyObjectLoadedT NotifyObjectLoaded; |
| 352 | NotifyFinalizedT NotifyFinalized; |
| 353 | |
| 354 | ObjectLayerT ObjectLayer; |
| 355 | CompileLayerT CompileLayer; |
| 356 | LazyEmitLayerT LazyEmitLayer; |
| 357 | |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 358 | // We need to store ObjLayerT::ObjSetHandles for each of the object sets |
| 359 | // that have been emitted but not yet finalized so that we can forward the |
| 360 | // mapSectionAddress calls appropriately. |
| 361 | typedef std::set<const void *> SectionAddrSet; |
| 362 | struct ObjSetHandleCompare { |
| 363 | bool operator()(ObjectLayerT::ObjSetHandleT H1, |
| 364 | ObjectLayerT::ObjSetHandleT H2) const { |
| 365 | return &*H1 < &*H2; |
| 366 | } |
| 367 | }; |
| 368 | SectionAddrSet SectionsAllocatedSinceLastLoad; |
| 369 | std::map<ObjectLayerT::ObjSetHandleT, SectionAddrSet, ObjSetHandleCompare> |
| 370 | UnfinalizedSections; |
| 371 | |
| 372 | std::vector<object::OwningBinary<object::Archive>> Archives; |
| 373 | }; |
Lang Hames | e738061 | 2015-02-21 20:44:36 +0000 | [diff] [blame] | 374 | |
| 375 | } // End namespace orc. |
| 376 | } // End namespace llvm. |
Lang Hames | 93de2a1 | 2015-01-23 21:25:00 +0000 | [diff] [blame] | 377 | |
| 378 | #endif // LLVM_LIB_EXECUTIONENGINE_ORC_MCJITREPLACEMENT_H |