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