| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 1 | //===--- OrcCBindingsStack.h - Orc JIT stack for C bindings ---*- 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 | #ifndef LLVM_LIB_EXECUTIONENGINE_ORC_ORCCBINDINGSSTACK_H |
| 11 | #define LLVM_LIB_EXECUTIONENGINE_ORC_ORCCBINDINGSSTACK_H |
| 12 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 13 | #include "llvm-c/OrcBindings.h" |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 14 | #include "llvm/ADT/Triple.h" |
| 15 | #include "llvm/ExecutionEngine/Orc/CompileOnDemandLayer.h" |
| 16 | #include "llvm/ExecutionEngine/Orc/CompileUtils.h" |
| 17 | #include "llvm/ExecutionEngine/Orc/ExecutionUtils.h" |
| 18 | #include "llvm/ExecutionEngine/Orc/IRCompileLayer.h" |
| 19 | #include "llvm/ExecutionEngine/Orc/ObjectLinkingLayer.h" |
| 20 | #include "llvm/IR/LLVMContext.h" |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Error.h" |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 22 | |
| 23 | namespace llvm { |
| 24 | |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 25 | class OrcCBindingsStack; |
| 26 | |
| 27 | DEFINE_SIMPLE_CONVERSION_FUNCTIONS(OrcCBindingsStack, LLVMOrcJITStackRef) |
| 28 | DEFINE_SIMPLE_CONVERSION_FUNCTIONS(TargetMachine, LLVMTargetMachineRef) |
| 29 | |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 30 | class OrcCBindingsStack { |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 31 | public: |
| Lang Hames | f0f4b4c | 2015-12-04 02:15:39 +0000 | [diff] [blame] | 32 | typedef orc::JITCompileCallbackManager CompileCallbackMgr; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 33 | typedef orc::ObjectLinkingLayer<> ObjLayerT; |
| 34 | typedef orc::IRCompileLayer<ObjLayerT> CompileLayerT; |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 35 | typedef orc::CompileOnDemandLayer<CompileLayerT, CompileCallbackMgr> |
| 36 | CODLayerT; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 37 | |
| Rafael Espindola | e63e018 | 2015-11-03 16:40:37 +0000 | [diff] [blame] | 38 | typedef std::function<std::unique_ptr<CompileCallbackMgr>()> |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 39 | CallbackManagerBuilder; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 40 | |
| 41 | typedef CODLayerT::IndirectStubsManagerBuilderT IndirectStubsManagerBuilder; |
| 42 | |
| 43 | private: |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 44 | class GenericHandle { |
| 45 | public: |
| 46 | virtual ~GenericHandle() {} |
| 47 | virtual orc::JITSymbol findSymbolIn(const std::string &Name, |
| 48 | bool ExportedSymbolsOnly) = 0; |
| 49 | virtual void removeModule() = 0; |
| 50 | }; |
| 51 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 52 | template <typename LayerT> class GenericHandleImpl : public GenericHandle { |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 53 | public: |
| 54 | GenericHandleImpl(LayerT &Layer, typename LayerT::ModuleSetHandleT Handle) |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 55 | : Layer(Layer), Handle(std::move(Handle)) {} |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 56 | |
| 57 | orc::JITSymbol findSymbolIn(const std::string &Name, |
| 58 | bool ExportedSymbolsOnly) override { |
| 59 | return Layer.findSymbolIn(Handle, Name, ExportedSymbolsOnly); |
| 60 | } |
| 61 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 62 | void removeModule() override { return Layer.removeModuleSet(Handle); } |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 63 | |
| 64 | private: |
| 65 | LayerT &Layer; |
| 66 | typename LayerT::ModuleSetHandleT Handle; |
| 67 | }; |
| 68 | |
| 69 | template <typename LayerT> |
| 70 | std::unique_ptr<GenericHandleImpl<LayerT>> |
| 71 | createGenericHandle(LayerT &Layer, typename LayerT::ModuleSetHandleT Handle) { |
| 72 | return llvm::make_unique<GenericHandleImpl<LayerT>>(Layer, |
| 73 | std::move(Handle)); |
| 74 | } |
| 75 | |
| 76 | public: |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 77 | // We need a 'ModuleSetHandleT' to conform to the layer concept. |
| 78 | typedef unsigned ModuleSetHandleT; |
| 79 | |
| 80 | typedef unsigned ModuleHandleT; |
| 81 | |
| Rafael Espindola | e63e018 | 2015-11-03 16:40:37 +0000 | [diff] [blame] | 82 | static std::unique_ptr<CompileCallbackMgr> createCompileCallbackMgr(Triple T); |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 83 | static IndirectStubsManagerBuilder createIndirectStubsMgrBuilder(Triple T); |
| 84 | |
| Rafael Espindola | e63e018 | 2015-11-03 16:40:37 +0000 | [diff] [blame] | 85 | OrcCBindingsStack(TargetMachine &TM, |
| David Blaikie | 8ecf993 | 2016-01-20 22:24:26 +0000 | [diff] [blame] | 86 | std::unique_ptr<CompileCallbackMgr> CCMgr, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 87 | IndirectStubsManagerBuilder IndirectStubsMgrBuilder) |
| David Blaikie | 8ecf993 | 2016-01-20 22:24:26 +0000 | [diff] [blame] | 88 | : DL(TM.createDataLayout()), IndirectStubsMgr(IndirectStubsMgrBuilder()), |
| 89 | CCMgr(std::move(CCMgr)), ObjectLayer(), |
| 90 | CompileLayer(ObjectLayer, orc::SimpleCompiler(TM)), |
| 91 | CODLayer(CompileLayer, |
| 92 | [](Function &F) { return std::set<Function *>({&F}); }, |
| 93 | *this->CCMgr, std::move(IndirectStubsMgrBuilder), false), |
| 94 | CXXRuntimeOverrides( |
| 95 | [this](const std::string &S) { return mangle(S); }) {} |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 96 | |
| 97 | ~OrcCBindingsStack() { |
| 98 | // Run any destructors registered with __cxa_atexit. |
| 99 | CXXRuntimeOverrides.runDestructors(); |
| 100 | // Run any IR destructors. |
| 101 | for (auto &DtorRunner : IRStaticDestructorRunners) |
| 102 | DtorRunner.runViaLayer(*this); |
| 103 | } |
| 104 | |
| 105 | std::string mangle(StringRef Name) { |
| 106 | std::string MangledName; |
| 107 | { |
| 108 | raw_string_ostream MangledNameStream(MangledName); |
| 109 | Mangler::getNameWithPrefix(MangledNameStream, Name, DL); |
| 110 | } |
| 111 | return MangledName; |
| 112 | } |
| 113 | |
| 114 | template <typename PtrTy> |
| 115 | static PtrTy fromTargetAddress(orc::TargetAddress Addr) { |
| 116 | return reinterpret_cast<PtrTy>(static_cast<uintptr_t>(Addr)); |
| 117 | } |
| 118 | |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 119 | orc::TargetAddress |
| 120 | createLazyCompileCallback(LLVMOrcLazyCompileCallbackFn Callback, |
| 121 | void *CallbackCtx) { |
| Rafael Espindola | e63e018 | 2015-11-03 16:40:37 +0000 | [diff] [blame] | 122 | auto CCInfo = CCMgr->getCompileCallback(); |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 123 | CCInfo.setCompileAction([=]() -> orc::TargetAddress { |
| 124 | return Callback(wrap(this), CallbackCtx); |
| 125 | }); |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 126 | return CCInfo.getAddress(); |
| 127 | } |
| 128 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 129 | LLVMOrcErrorCode createIndirectStub(StringRef StubName, |
| 130 | orc::TargetAddress Addr) { |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 131 | return mapError( |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 132 | IndirectStubsMgr->createStub(StubName, Addr, JITSymbolFlags::Exported)); |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 133 | } |
| 134 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 135 | LLVMOrcErrorCode setIndirectStubPointer(StringRef Name, |
| 136 | orc::TargetAddress Addr) { |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 137 | return mapError(IndirectStubsMgr->updatePointer(Name, Addr)); |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 138 | } |
| 139 | |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 140 | std::shared_ptr<RuntimeDyld::SymbolResolver> |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 141 | createResolver(LLVMOrcSymbolResolverFn ExternalResolver, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 142 | void *ExternalResolverCtx) { |
| 143 | auto Resolver = orc::createLambdaResolver( |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 144 | [this, ExternalResolver, ExternalResolverCtx](const std::string &Name) { |
| 145 | // Search order: |
| 146 | // 1. JIT'd symbols. |
| 147 | // 2. Runtime overrides. |
| 148 | // 3. External resolver (if present). |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 149 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 150 | if (auto Sym = CODLayer.findSymbol(Name, true)) |
| 151 | return RuntimeDyld::SymbolInfo(Sym.getAddress(), Sym.getFlags()); |
| 152 | if (auto Sym = CXXRuntimeOverrides.searchOverrides(Name)) |
| 153 | return Sym; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 154 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 155 | if (ExternalResolver) |
| 156 | return RuntimeDyld::SymbolInfo( |
| 157 | ExternalResolver(Name.c_str(), ExternalResolverCtx), |
| 158 | llvm::JITSymbolFlags::Exported); |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 159 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 160 | return RuntimeDyld::SymbolInfo(nullptr); |
| 161 | }, |
| 162 | [](const std::string &Name) { |
| 163 | return RuntimeDyld::SymbolInfo(nullptr); |
| 164 | }); |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 165 | |
| 166 | return std::shared_ptr<RuntimeDyld::SymbolResolver>(std::move(Resolver)); |
| 167 | } |
| 168 | |
| 169 | template <typename LayerT> |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 170 | ModuleHandleT addIRModule(LayerT &Layer, Module *M, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 171 | std::unique_ptr<RuntimeDyld::MemoryManager> MemMgr, |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 172 | LLVMOrcSymbolResolverFn ExternalResolver, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 173 | void *ExternalResolverCtx) { |
| 174 | |
| 175 | // Attach a data-layout if one isn't already present. |
| 176 | if (M->getDataLayout().isDefault()) |
| 177 | M->setDataLayout(DL); |
| 178 | |
| 179 | // Record the static constructors and destructors. We have to do this before |
| 180 | // we hand over ownership of the module to the JIT. |
| 181 | std::vector<std::string> CtorNames, DtorNames; |
| 182 | for (auto Ctor : orc::getConstructors(*M)) |
| 183 | CtorNames.push_back(mangle(Ctor.Func->getName())); |
| 184 | for (auto Dtor : orc::getDestructors(*M)) |
| 185 | DtorNames.push_back(mangle(Dtor.Func->getName())); |
| 186 | |
| 187 | // Create the resolver. |
| 188 | auto Resolver = createResolver(ExternalResolver, ExternalResolverCtx); |
| 189 | |
| 190 | // Add the module to the JIT. |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 191 | std::vector<Module *> S; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 192 | S.push_back(std::move(M)); |
| 193 | |
| 194 | auto LH = Layer.addModuleSet(std::move(S), std::move(MemMgr), |
| 195 | std::move(Resolver)); |
| 196 | ModuleHandleT H = createHandle(Layer, LH); |
| 197 | |
| 198 | // Run the static constructors, and save the static destructor runner for |
| 199 | // execution when the JIT is torn down. |
| 200 | orc::CtorDtorRunner<OrcCBindingsStack> CtorRunner(std::move(CtorNames), H); |
| 201 | CtorRunner.runViaLayer(*this); |
| 202 | |
| 203 | IRStaticDestructorRunners.emplace_back(std::move(DtorNames), H); |
| 204 | |
| 205 | return H; |
| 206 | } |
| 207 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 208 | ModuleHandleT addIRModuleEager(Module *M, |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 209 | LLVMOrcSymbolResolverFn ExternalResolver, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 210 | void *ExternalResolverCtx) { |
| 211 | return addIRModule(CompileLayer, std::move(M), |
| 212 | llvm::make_unique<SectionMemoryManager>(), |
| 213 | std::move(ExternalResolver), ExternalResolverCtx); |
| 214 | } |
| 215 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 216 | ModuleHandleT addIRModuleLazy(Module *M, |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 217 | LLVMOrcSymbolResolverFn ExternalResolver, |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 218 | void *ExternalResolverCtx) { |
| Lang Hames | 829826b | 2016-01-09 20:55:18 +0000 | [diff] [blame] | 219 | return addIRModule(CODLayer, std::move(M), |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 220 | llvm::make_unique<SectionMemoryManager>(), |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 221 | std::move(ExternalResolver), ExternalResolverCtx); |
| 222 | } |
| 223 | |
| 224 | void removeModule(ModuleHandleT H) { |
| 225 | GenericHandles[H]->removeModule(); |
| 226 | GenericHandles[H] = nullptr; |
| 227 | FreeHandleIndexes.push_back(H); |
| 228 | } |
| 229 | |
| 230 | orc::JITSymbol findSymbol(const std::string &Name, bool ExportedSymbolsOnly) { |
| Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 231 | if (auto Sym = IndirectStubsMgr->findStub(Name, ExportedSymbolsOnly)) |
| 232 | return Sym; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 233 | return CODLayer.findSymbol(mangle(Name), ExportedSymbolsOnly); |
| 234 | } |
| 235 | |
| 236 | orc::JITSymbol findSymbolIn(ModuleHandleT H, const std::string &Name, |
| 237 | bool ExportedSymbolsOnly) { |
| 238 | return GenericHandles[H]->findSymbolIn(Name, ExportedSymbolsOnly); |
| 239 | } |
| 240 | |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 241 | const std::string &getErrorMessage() const { return ErrMsg; } |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 242 | |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 243 | private: |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 244 | template <typename LayerT> |
| 245 | unsigned createHandle(LayerT &Layer, |
| 246 | typename LayerT::ModuleSetHandleT Handle) { |
| 247 | unsigned NewHandle; |
| 248 | if (!FreeHandleIndexes.empty()) { |
| 249 | NewHandle = FreeHandleIndexes.back(); |
| 250 | FreeHandleIndexes.pop_back(); |
| 251 | GenericHandles[NewHandle] = createGenericHandle(Layer, std::move(Handle)); |
| 252 | return NewHandle; |
| 253 | } else { |
| 254 | NewHandle = GenericHandles.size(); |
| 255 | GenericHandles.push_back(createGenericHandle(Layer, std::move(Handle))); |
| 256 | } |
| 257 | return NewHandle; |
| 258 | } |
| 259 | |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 260 | LLVMOrcErrorCode mapError(Error Err) { |
| 261 | LLVMOrcErrorCode Result = LLVMOrcErrSuccess; |
| Lang Hames | 1fa0e0e | 2016-04-25 21:21:20 +0000 | [diff] [blame] | 262 | handleAllErrors(std::move(Err), [&](ErrorInfoBase &EIB) { |
| 263 | // Handler of last resort. |
| 264 | Result = LLVMOrcErrGeneric; |
| 265 | ErrMsg = ""; |
| 266 | raw_string_ostream ErrStream(ErrMsg); |
| 267 | EIB.log(ErrStream); |
| 268 | }); |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 269 | return Result; |
| 270 | } |
| 271 | |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 272 | DataLayout DL; |
| 273 | SectionMemoryManager CCMgrMemMgr; |
| 274 | |
| Lang Hames | 6c3e790 | 2016-01-20 17:39:52 +0000 | [diff] [blame] | 275 | std::unique_ptr<orc::IndirectStubsManager> IndirectStubsMgr; |
| 276 | |
| Rafael Espindola | e63e018 | 2015-11-03 16:40:37 +0000 | [diff] [blame] | 277 | std::unique_ptr<CompileCallbackMgr> CCMgr; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 278 | ObjLayerT ObjectLayer; |
| 279 | CompileLayerT CompileLayer; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 280 | CODLayerT CODLayer; |
| 281 | |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 282 | std::vector<std::unique_ptr<GenericHandle>> GenericHandles; |
| 283 | std::vector<unsigned> FreeHandleIndexes; |
| 284 | |
| 285 | orc::LocalCXXRuntimeOverrides CXXRuntimeOverrides; |
| 286 | std::vector<orc::CtorDtorRunner<OrcCBindingsStack>> IRStaticDestructorRunners; |
| Lang Hames | ef5a0ee | 2016-04-25 19:56:45 +0000 | [diff] [blame] | 287 | std::string ErrMsg; |
| Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 288 | }; |
| 289 | |
| 290 | } // end namespace llvm |
| 291 | |
| 292 | #endif // LLVM_LIB_EXECUTIONENGINE_ORC_ORCCBINDINGSSTACK_H |