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