Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 1 | //===------ OrcTestCommon.h - Utilities for Orc Unit Tests ------*- 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 | // Common utilities for the Orc unit tests. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | |
| 15 | #ifndef LLVM_UNITTESTS_EXECUTIONENGINE_ORC_ORCTESTCOMMON_H |
| 16 | #define LLVM_UNITTESTS_EXECUTIONENGINE_ORC_ORCTESTCOMMON_H |
| 17 | |
Chandler Carruth | 9a67b07 | 2017-06-06 11:06:56 +0000 | [diff] [blame] | 18 | #include "llvm/ExecutionEngine/ExecutionEngine.h" |
| 19 | #include "llvm/ExecutionEngine/JITSymbol.h" |
Lang Hames | a95b0df | 2018-03-28 03:41:45 +0000 | [diff] [blame] | 20 | #include "llvm/ExecutionEngine/Orc/IndirectionUtils.h" |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Function.h" |
| 22 | #include "llvm/IR/IRBuilder.h" |
| 23 | #include "llvm/IR/LLVMContext.h" |
| 24 | #include "llvm/IR/Module.h" |
| 25 | #include "llvm/IR/TypeBuilder.h" |
Lang Hames | 859d73c | 2016-01-09 19:50:40 +0000 | [diff] [blame] | 26 | #include "llvm/Object/ObjectFile.h" |
Lang Hames | a95b0df | 2018-03-28 03:41:45 +0000 | [diff] [blame] | 27 | #include "llvm/Support/TargetRegistry.h" |
Lang Hames | fd0c1e71 | 2018-07-20 18:31:50 +0000 | [diff] [blame] | 28 | #include "llvm/Support/TargetSelect.h" |
| 29 | #include "gtest/gtest.h" |
| 30 | |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 31 | #include <memory> |
| 32 | |
| 33 | namespace llvm { |
| 34 | |
Lang Hames | fd0c1e71 | 2018-07-20 18:31:50 +0000 | [diff] [blame] | 35 | namespace orc { |
| 36 | // CoreAPIsStandardTest that saves a bunch of boilerplate by providing the |
| 37 | // following: |
| 38 | // |
| 39 | // (1) ES -- An ExecutionSession |
| 40 | // (2) Foo, Bar, Baz, Qux -- SymbolStringPtrs for strings "foo", "bar", "baz", |
| 41 | // and "qux" respectively. |
| 42 | // (3) FooAddr, BarAddr, BazAddr, QuxAddr -- Dummy addresses. Guaranteed |
| 43 | // distinct and non-null. |
| 44 | // (4) FooSym, BarSym, BazSym, QuxSym -- JITEvaluatedSymbols with FooAddr, |
| 45 | // BarAddr, BazAddr, and QuxAddr respectively. All with default strong, |
| 46 | // linkage and non-hidden visibility. |
Lang Hames | d5f56c5 | 2018-08-17 21:18:18 +0000 | [diff] [blame] | 47 | // (5) V -- A JITDylib associated with ES. |
Lang Hames | fd0c1e71 | 2018-07-20 18:31:50 +0000 | [diff] [blame] | 48 | class CoreAPIsBasedStandardTest : public testing::Test { |
Lang Hames | fd0c1e71 | 2018-07-20 18:31:50 +0000 | [diff] [blame] | 49 | protected: |
Lang Hames | 13014d3 | 2018-09-12 21:48:59 +0000 | [diff] [blame] | 50 | std::shared_ptr<SymbolStringPool> SSP = std::make_shared<SymbolStringPool>(); |
| 51 | ExecutionSession ES{SSP}; |
Lang Hames | d5f56c5 | 2018-08-17 21:18:18 +0000 | [diff] [blame] | 52 | JITDylib &JD = ES.createJITDylib("JD"); |
Lang Hames | 71d781c | 2018-09-30 23:18:24 +0000 | [diff] [blame] | 53 | SymbolStringPtr Foo = ES.intern("foo"); |
| 54 | SymbolStringPtr Bar = ES.intern("bar"); |
| 55 | SymbolStringPtr Baz = ES.intern("baz"); |
| 56 | SymbolStringPtr Qux = ES.intern("qux"); |
Lang Hames | fd0c1e71 | 2018-07-20 18:31:50 +0000 | [diff] [blame] | 57 | static const JITTargetAddress FooAddr = 1U; |
| 58 | static const JITTargetAddress BarAddr = 2U; |
| 59 | static const JITTargetAddress BazAddr = 3U; |
| 60 | static const JITTargetAddress QuxAddr = 4U; |
| 61 | JITEvaluatedSymbol FooSym = |
| 62 | JITEvaluatedSymbol(FooAddr, JITSymbolFlags::Exported); |
| 63 | JITEvaluatedSymbol BarSym = |
| 64 | JITEvaluatedSymbol(BarAddr, JITSymbolFlags::Exported); |
| 65 | JITEvaluatedSymbol BazSym = |
| 66 | JITEvaluatedSymbol(BazAddr, JITSymbolFlags::Exported); |
| 67 | JITEvaluatedSymbol QuxSym = |
| 68 | JITEvaluatedSymbol(QuxAddr, JITSymbolFlags::Exported); |
| 69 | }; |
| 70 | |
| 71 | } // end namespace orc |
| 72 | |
Lang Hames | d22bade | 2017-04-04 17:03:49 +0000 | [diff] [blame] | 73 | class OrcNativeTarget { |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 74 | public: |
Lang Hames | d22bade | 2017-04-04 17:03:49 +0000 | [diff] [blame] | 75 | static void initialize() { |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 76 | if (!NativeTargetInitialized) { |
| 77 | InitializeNativeTarget(); |
| 78 | InitializeNativeTargetAsmParser(); |
| 79 | InitializeNativeTargetAsmPrinter(); |
| 80 | NativeTargetInitialized = true; |
| 81 | } |
Lang Hames | d22bade | 2017-04-04 17:03:49 +0000 | [diff] [blame] | 82 | } |
| 83 | |
| 84 | private: |
| 85 | static bool NativeTargetInitialized; |
| 86 | }; |
| 87 | |
Lang Hames | c1275e7 | 2018-09-26 04:18:30 +0000 | [diff] [blame] | 88 | class SimpleMaterializationUnit : public orc::MaterializationUnit { |
| 89 | public: |
| 90 | using MaterializeFunction = |
| 91 | std::function<void(orc::MaterializationResponsibility)>; |
| 92 | using DiscardFunction = |
| 93 | std::function<void(const orc::JITDylib &, orc::SymbolStringPtr)>; |
| 94 | using DestructorFunction = std::function<void()>; |
| 95 | |
| 96 | SimpleMaterializationUnit( |
| 97 | orc::SymbolFlagsMap SymbolFlags, MaterializeFunction Materialize, |
| 98 | DiscardFunction Discard = DiscardFunction(), |
| 99 | DestructorFunction Destructor = DestructorFunction()) |
| 100 | : MaterializationUnit(std::move(SymbolFlags)), |
| 101 | Materialize(std::move(Materialize)), Discard(std::move(Discard)), |
| 102 | Destructor(std::move(Destructor)) {} |
| 103 | |
| 104 | ~SimpleMaterializationUnit() override { |
| 105 | if (Destructor) |
| 106 | Destructor(); |
| 107 | } |
| 108 | |
Lang Hames | 53e0df1 | 2018-09-28 15:09:14 +0000 | [diff] [blame] | 109 | StringRef getName() const override { return "<Simple>"; } |
| 110 | |
Lang Hames | c1275e7 | 2018-09-26 04:18:30 +0000 | [diff] [blame] | 111 | void materialize(orc::MaterializationResponsibility R) override { |
| 112 | Materialize(std::move(R)); |
| 113 | } |
| 114 | |
Lang Hames | cb5702c3 | 2018-10-06 23:02:06 +0000 | [diff] [blame^] | 115 | void discard(const orc::JITDylib &JD, |
| 116 | const orc::SymbolStringPtr &Name) override { |
Lang Hames | c1275e7 | 2018-09-26 04:18:30 +0000 | [diff] [blame] | 117 | if (Discard) |
| 118 | Discard(JD, std::move(Name)); |
| 119 | else |
| 120 | llvm_unreachable("Discard not supported"); |
| 121 | } |
| 122 | |
| 123 | private: |
| 124 | MaterializeFunction Materialize; |
| 125 | DiscardFunction Discard; |
| 126 | DestructorFunction Destructor; |
| 127 | }; |
| 128 | |
Lang Hames | d22bade | 2017-04-04 17:03:49 +0000 | [diff] [blame] | 129 | // Base class for Orc tests that will execute code. |
| 130 | class OrcExecutionTest { |
| 131 | public: |
| 132 | |
| 133 | OrcExecutionTest() { |
| 134 | |
| 135 | // Initialize the native target if it hasn't been done already. |
| 136 | OrcNativeTarget::initialize(); |
Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 137 | |
| 138 | // Try to select a TargetMachine for the host. |
| 139 | TM.reset(EngineBuilder().selectTarget()); |
| 140 | |
| 141 | if (TM) { |
| 142 | // If we found a TargetMachine, check that it's one that Orc supports. |
| 143 | const Triple& TT = TM->getTargetTriple(); |
Lang Hames | 4f8194e | 2016-02-10 01:02:33 +0000 | [diff] [blame] | 144 | |
Lang Hames | ec978e2 | 2018-03-28 14:47:11 +0000 | [diff] [blame] | 145 | // Bail out for windows platforms. We do not support these yet. |
Lang Hames | da5c6ac | 2018-03-28 15:58:14 +0000 | [diff] [blame] | 146 | if ((TT.getArch() != Triple::x86_64 && TT.getArch() != Triple::x86) || |
| 147 | TT.isOSWindows()) |
Lang Hames | ec978e2 | 2018-03-28 14:47:11 +0000 | [diff] [blame] | 148 | return; |
| 149 | |
Lang Hames | a95b0df | 2018-03-28 03:41:45 +0000 | [diff] [blame] | 150 | // Target can JIT? |
| 151 | SupportsJIT = TM->getTarget().hasJIT(); |
| 152 | // Use ability to create callback manager to detect whether Orc |
| 153 | // has indirection support on this platform. This way the test |
| 154 | // and Orc code do not get out of sync. |
Lang Hames | bd0cb78 | 2018-05-30 01:57:45 +0000 | [diff] [blame] | 155 | SupportsIndirection = !!orc::createLocalCompileCallbackManager(TT, ES, 0); |
Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 156 | } |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 157 | }; |
| 158 | |
Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 159 | protected: |
Lang Hames | bd0cb78 | 2018-05-30 01:57:45 +0000 | [diff] [blame] | 160 | orc::ExecutionSession ES; |
Mehdi Amini | 03b42e4 | 2016-04-14 21:59:01 +0000 | [diff] [blame] | 161 | LLVMContext Context; |
Lang Hames | fd6e8dc | 2015-10-30 03:20:21 +0000 | [diff] [blame] | 162 | std::unique_ptr<TargetMachine> TM; |
Lang Hames | a95b0df | 2018-03-28 03:41:45 +0000 | [diff] [blame] | 163 | bool SupportsJIT = false; |
| 164 | bool SupportsIndirection = false; |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 165 | }; |
| 166 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 167 | class ModuleBuilder { |
| 168 | public: |
| 169 | ModuleBuilder(LLVMContext &Context, StringRef Triple, |
| 170 | StringRef Name); |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 171 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 172 | template <typename FuncType> |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 173 | Function* createFunctionDecl(StringRef Name) { |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 174 | return Function::Create( |
| 175 | TypeBuilder<FuncType, false>::get(M->getContext()), |
Lang Hames | 130a7c4 | 2015-10-28 02:40:04 +0000 | [diff] [blame] | 176 | GlobalValue::ExternalLinkage, Name, M.get()); |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 177 | } |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 178 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 179 | Module* getModule() { return M.get(); } |
| 180 | const Module* getModule() const { return M.get(); } |
| 181 | std::unique_ptr<Module> takeModule() { return std::move(M); } |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 182 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 183 | private: |
| 184 | std::unique_ptr<Module> M; |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 185 | }; |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 186 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 187 | // Dummy struct type. |
| 188 | struct DummyStruct { |
| 189 | int X[256]; |
| 190 | }; |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 191 | |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 192 | // TypeBuilder specialization for DummyStruct. |
| 193 | template <bool XCompile> |
| 194 | class TypeBuilder<DummyStruct, XCompile> { |
| 195 | public: |
| 196 | static StructType *get(LLVMContext &Context) { |
| 197 | return StructType::get( |
Serge Guelton | e38003f | 2017-05-09 19:31:13 +0000 | [diff] [blame] | 198 | TypeBuilder<types::i<32>[256], XCompile>::get(Context)); |
Lang Hames | 4a51e5d | 2015-10-27 17:45:48 +0000 | [diff] [blame] | 199 | } |
| 200 | }; |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 201 | |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 202 | template <typename HandleT, typename ModuleT> |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 203 | class MockBaseLayer { |
| 204 | public: |
| 205 | |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 206 | using ModuleHandleT = HandleT; |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 207 | |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 208 | using AddModuleSignature = |
| 209 | Expected<ModuleHandleT>(ModuleT M, |
| 210 | std::shared_ptr<JITSymbolResolver> R); |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 211 | |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 212 | using RemoveModuleSignature = Error(ModuleHandleT H); |
| 213 | using FindSymbolSignature = JITSymbol(const std::string &Name, |
| 214 | bool ExportedSymbolsOnly); |
| 215 | using FindSymbolInSignature = JITSymbol(ModuleHandleT H, |
| 216 | const std::string &Name, |
| 217 | bool ExportedSymbolsONly); |
| 218 | using EmitAndFinalizeSignature = Error(ModuleHandleT H); |
| 219 | |
| 220 | std::function<AddModuleSignature> addModuleImpl; |
| 221 | std::function<RemoveModuleSignature> removeModuleImpl; |
| 222 | std::function<FindSymbolSignature> findSymbolImpl; |
| 223 | std::function<FindSymbolInSignature> findSymbolInImpl; |
| 224 | std::function<EmitAndFinalizeSignature> emitAndFinalizeImpl; |
| 225 | |
| 226 | Expected<ModuleHandleT> addModule(ModuleT M, |
| 227 | std::shared_ptr<JITSymbolResolver> R) { |
| 228 | assert(addModuleImpl && |
| 229 | "addModule called, but no mock implementation was provided"); |
| 230 | return addModuleImpl(std::move(M), std::move(R)); |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 231 | } |
| 232 | |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 233 | Error removeModule(ModuleHandleT H) { |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 234 | assert(removeModuleImpl && |
| 235 | "removeModule called, but no mock implementation was provided"); |
| 236 | return removeModuleImpl(H); |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 237 | } |
| 238 | |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 239 | JITSymbol findSymbol(const std::string &Name, bool ExportedSymbolsOnly) { |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 240 | assert(findSymbolImpl && |
| 241 | "findSymbol called, but no mock implementation was provided"); |
| 242 | return findSymbolImpl(Name, ExportedSymbolsOnly); |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Lang Hames | cd9d49b | 2017-06-23 23:25:28 +0000 | [diff] [blame] | 245 | JITSymbol findSymbolIn(ModuleHandleT H, const std::string &Name, |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 246 | bool ExportedSymbolsOnly) { |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 247 | assert(findSymbolInImpl && |
| 248 | "findSymbolIn called, but no mock implementation was provided"); |
| 249 | return findSymbolInImpl(H, Name, ExportedSymbolsOnly); |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 250 | } |
| 251 | |
Lang Hames | cf771ad | 2017-09-28 02:17:35 +0000 | [diff] [blame] | 252 | Error emitAndFinaliez(ModuleHandleT H) { |
| 253 | assert(emitAndFinalizeImpl && |
| 254 | "emitAndFinalize called, but no mock implementation was provided"); |
| 255 | return emitAndFinalizeImpl(H); |
| 256 | } |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 257 | }; |
| 258 | |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 259 | class ReturnNullJITSymbol { |
| 260 | public: |
| 261 | template <typename... Args> |
| 262 | JITSymbol operator()(Args...) const { |
| 263 | return nullptr; |
| 264 | } |
| 265 | }; |
| 266 | |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 267 | template <typename ReturnT> |
| 268 | class DoNothingAndReturn { |
| 269 | public: |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 270 | DoNothingAndReturn(ReturnT Ret) : Ret(std::move(Ret)) {} |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 271 | |
| 272 | template <typename... Args> |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 273 | void operator()(Args...) const { return Ret; } |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 274 | private: |
Lang Hames | 4ce9866 | 2017-07-07 02:59:13 +0000 | [diff] [blame] | 275 | ReturnT Ret; |
Lang Hames | c005656 | 2015-10-20 04:35:02 +0000 | [diff] [blame] | 276 | }; |
| 277 | |
| 278 | template <> |
| 279 | class DoNothingAndReturn<void> { |
| 280 | public: |
| 281 | template <typename... Args> |
| 282 | void operator()(Args...) const { } |
| 283 | }; |
Lang Hames | dc4260d | 2015-04-20 20:41:45 +0000 | [diff] [blame] | 284 | |
| 285 | } // namespace llvm |
| 286 | |
| 287 | #endif |