Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 1 | //===- ObjectTransformLayerTest.cpp - Unit tests for ObjectTransformLayer -===// |
| 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 | |
Chandler Carruth | 9a67b07 | 2017-06-06 11:06:56 +0000 | [diff] [blame] | 10 | #include "llvm/ExecutionEngine/Orc/ObjectTransformLayer.h" |
Benjamin Kramer | 3bdcc8c | 2015-06-25 13:47:36 +0000 | [diff] [blame] | 11 | #include "llvm/ADT/STLExtras.h" |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 12 | #include "llvm/ADT/SmallVector.h" |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 13 | #include "llvm/ExecutionEngine/Orc/CompileUtils.h" |
| 14 | #include "llvm/ExecutionEngine/Orc/IRCompileLayer.h" |
| 15 | #include "llvm/ExecutionEngine/Orc/NullResolver.h" |
Lang Hames | 67de5d2 | 2017-02-20 05:45:14 +0000 | [diff] [blame] | 16 | #include "llvm/ExecutionEngine/Orc/RTDyldObjectLinkingLayer.h" |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 17 | #include "llvm/Object/ObjectFile.h" |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 18 | #include "gtest/gtest.h" |
| 19 | |
| 20 | using namespace llvm::orc; |
| 21 | |
| 22 | namespace { |
| 23 | |
| 24 | // Stand-in for RuntimeDyld::MemoryManager |
| 25 | typedef int MockMemoryManager; |
| 26 | |
| 27 | // Stand-in for RuntimeDyld::SymbolResolver |
| 28 | typedef int MockSymbolResolver; |
| 29 | |
| 30 | // stand-in for object::ObjectFile |
| 31 | typedef int MockObjectFile; |
| 32 | |
| 33 | // stand-in for llvm::MemoryBuffer set |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 34 | typedef int MockMemoryBuffer; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 35 | |
| 36 | // Mock transform that operates on unique pointers to object files, and |
| 37 | // allocates new object files rather than mutating the given ones. |
| 38 | struct AllocatingTransform { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 39 | std::shared_ptr<MockObjectFile> |
| 40 | operator()(std::shared_ptr<MockObjectFile> Obj) const { |
| 41 | return std::make_shared<MockObjectFile>(*Obj + 1); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 42 | } |
| 43 | }; |
| 44 | |
| 45 | // Mock base layer for verifying behavior of transform layer. |
| 46 | // Each method "T foo(args)" is accompanied by two auxiliary methods: |
| 47 | // - "void expectFoo(args)", to be called before calling foo on the transform |
| 48 | // layer; saves values of args, which mock layer foo then verifies against. |
| 49 | // - "void verifyFoo(T)", to be called after foo, which verifies that the |
| 50 | // transform layer called the base layer and forwarded any return value. |
| 51 | class MockBaseLayer { |
| 52 | public: |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 53 | typedef int ObjHandleT; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 54 | |
| 55 | MockBaseLayer() : MockSymbol(nullptr) { resetExpectations(); } |
| 56 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 57 | template <typename ObjPtrT, typename MemoryManagerPtrT, |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 58 | typename SymbolResolverPtrT> |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 59 | ObjHandleT addObject(ObjPtrT Obj, MemoryManagerPtrT MemMgr, |
| 60 | SymbolResolverPtrT Resolver) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 61 | EXPECT_EQ(MockManager, *MemMgr) << "MM should pass through"; |
| 62 | EXPECT_EQ(MockResolver, *Resolver) << "Resolver should pass through"; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 63 | EXPECT_EQ(MockObject + 1, *Obj) << "Transform should be applied"; |
| 64 | LastCalled = "addObject"; |
| 65 | MockObjHandle = 111; |
| 66 | return MockObjHandle; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 67 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 68 | template <typename ObjPtrT> |
| 69 | void expectAddObject(ObjPtrT Obj, MockMemoryManager *MemMgr, |
| 70 | MockSymbolResolver *Resolver) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 71 | MockManager = *MemMgr; |
| 72 | MockResolver = *Resolver; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 73 | MockObject = *Obj; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 74 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 75 | void verifyAddObject(ObjHandleT Returned) { |
| 76 | EXPECT_EQ("addObject", LastCalled); |
| 77 | EXPECT_EQ(MockObjHandle, Returned) << "Return should pass through"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 78 | resetExpectations(); |
| 79 | } |
| 80 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 81 | void removeObject(ObjHandleT H) { |
| 82 | EXPECT_EQ(MockObjHandle, H); |
| 83 | LastCalled = "removeObject"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 84 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 85 | void expectRemoveObject(ObjHandleT H) { MockObjHandle = H; } |
| 86 | void verifyRemoveObject() { |
| 87 | EXPECT_EQ("removeObject", LastCalled); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 88 | resetExpectations(); |
| 89 | } |
| 90 | |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 91 | llvm::JITSymbol findSymbol(const std::string &Name, |
| 92 | bool ExportedSymbolsOnly) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 93 | EXPECT_EQ(MockName, Name) << "Name should pass through"; |
| 94 | EXPECT_EQ(MockBool, ExportedSymbolsOnly) << "Flag should pass through"; |
| 95 | LastCalled = "findSymbol"; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 96 | MockSymbol = llvm::JITSymbol(122, llvm::JITSymbolFlags::None); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 97 | return MockSymbol; |
| 98 | } |
| 99 | void expectFindSymbol(const std::string &Name, bool ExportedSymbolsOnly) { |
| 100 | MockName = Name; |
| 101 | MockBool = ExportedSymbolsOnly; |
| 102 | } |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 103 | void verifyFindSymbol(llvm::JITSymbol Returned) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 104 | EXPECT_EQ("findSymbol", LastCalled); |
| 105 | EXPECT_EQ(MockSymbol.getAddress(), Returned.getAddress()) |
| 106 | << "Return should pass through"; |
| 107 | resetExpectations(); |
| 108 | } |
| 109 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 110 | llvm::JITSymbol findSymbolIn(ObjHandleT H, const std::string &Name, |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 111 | bool ExportedSymbolsOnly) { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 112 | EXPECT_EQ(MockObjHandle, H) << "Handle should pass through"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 113 | EXPECT_EQ(MockName, Name) << "Name should pass through"; |
| 114 | EXPECT_EQ(MockBool, ExportedSymbolsOnly) << "Flag should pass through"; |
| 115 | LastCalled = "findSymbolIn"; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 116 | MockSymbol = llvm::JITSymbol(122, llvm::JITSymbolFlags::None); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 117 | return MockSymbol; |
| 118 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 119 | void expectFindSymbolIn(ObjHandleT H, const std::string &Name, |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 120 | bool ExportedSymbolsOnly) { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 121 | MockObjHandle = H; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 122 | MockName = Name; |
| 123 | MockBool = ExportedSymbolsOnly; |
| 124 | } |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 125 | void verifyFindSymbolIn(llvm::JITSymbol Returned) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 126 | EXPECT_EQ("findSymbolIn", LastCalled); |
| 127 | EXPECT_EQ(MockSymbol.getAddress(), Returned.getAddress()) |
| 128 | << "Return should pass through"; |
| 129 | resetExpectations(); |
| 130 | } |
| 131 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 132 | void emitAndFinalize(ObjHandleT H) { |
| 133 | EXPECT_EQ(MockObjHandle, H) << "Handle should pass through"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 134 | LastCalled = "emitAndFinalize"; |
| 135 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 136 | void expectEmitAndFinalize(ObjHandleT H) { MockObjHandle = H; } |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 137 | void verifyEmitAndFinalize() { |
| 138 | EXPECT_EQ("emitAndFinalize", LastCalled); |
| 139 | resetExpectations(); |
| 140 | } |
| 141 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 142 | void mapSectionAddress(ObjHandleT H, const void *LocalAddress, |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 143 | llvm::JITTargetAddress TargetAddr) { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 144 | EXPECT_EQ(MockObjHandle, H); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 145 | EXPECT_EQ(MockLocalAddress, LocalAddress); |
| 146 | EXPECT_EQ(MockTargetAddress, TargetAddr); |
| 147 | LastCalled = "mapSectionAddress"; |
| 148 | } |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 149 | void expectMapSectionAddress(ObjHandleT H, const void *LocalAddress, |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 150 | llvm::JITTargetAddress TargetAddr) { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 151 | MockObjHandle = H; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 152 | MockLocalAddress = LocalAddress; |
| 153 | MockTargetAddress = TargetAddr; |
| 154 | } |
| 155 | void verifyMapSectionAddress() { |
| 156 | EXPECT_EQ("mapSectionAddress", LastCalled); |
| 157 | resetExpectations(); |
| 158 | } |
| 159 | |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 160 | private: |
| 161 | // Backing fields for remembering parameter/return values |
| 162 | std::string LastCalled; |
| 163 | MockMemoryManager MockManager; |
| 164 | MockSymbolResolver MockResolver; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 165 | MockObjectFile MockObject; |
| 166 | ObjHandleT MockObjHandle; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 167 | std::string MockName; |
| 168 | bool MockBool; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 169 | llvm::JITSymbol MockSymbol; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 170 | const void *MockLocalAddress; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 171 | llvm::JITTargetAddress MockTargetAddress; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 172 | MockMemoryBuffer MockBuffer; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 173 | |
| 174 | // Clear remembered parameters between calls |
| 175 | void resetExpectations() { |
| 176 | LastCalled = "nothing"; |
| 177 | MockManager = 0; |
| 178 | MockResolver = 0; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 179 | MockObject = 0; |
| 180 | MockObjHandle = 0; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 181 | MockName = "bogus"; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 182 | MockSymbol = llvm::JITSymbol(nullptr); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 183 | MockLocalAddress = nullptr; |
| 184 | MockTargetAddress = 0; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 185 | MockBuffer = 0; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 186 | } |
| 187 | }; |
| 188 | |
| 189 | // Test each operation on ObjectTransformLayer. |
| 190 | TEST(ObjectTransformLayerTest, Main) { |
| 191 | MockBaseLayer M; |
| 192 | |
| 193 | // Create one object transform layer using a transform (as a functor) |
| 194 | // that allocates new objects, and deals in unique pointers. |
| 195 | ObjectTransformLayer<MockBaseLayer, AllocatingTransform> T1(M); |
| 196 | |
| 197 | // Create a second object transform layer using a transform (as a lambda) |
| 198 | // that mutates objects in place, and deals in naked pointers |
| 199 | ObjectTransformLayer<MockBaseLayer, |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 200 | std::function<std::shared_ptr<MockObjectFile>( |
| 201 | std::shared_ptr<MockObjectFile>)>> |
| 202 | T2(M, [](std::shared_ptr<MockObjectFile> Obj) { |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 203 | ++(*Obj); |
| 204 | return Obj; |
| 205 | }); |
| 206 | |
| 207 | // Instantiate some mock objects to use below |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 208 | MockMemoryManager MockManager = 233; |
| 209 | MockSymbolResolver MockResolver = 244; |
| 210 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 211 | // Test addObject with T1 (allocating) |
| 212 | auto Obj1 = std::make_shared<MockObjectFile>(211); |
Benjamin Kramer | 3bdcc8c | 2015-06-25 13:47:36 +0000 | [diff] [blame] | 213 | auto MM = llvm::make_unique<MockMemoryManager>(MockManager); |
| 214 | auto SR = llvm::make_unique<MockSymbolResolver>(MockResolver); |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 215 | M.expectAddObject(Obj1, MM.get(), SR.get()); |
| 216 | auto H = T1.addObject(std::move(Obj1), std::move(MM), std::move(SR)); |
| 217 | M.verifyAddObject(H); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 218 | |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 219 | // Test addObjectSet with T2 (mutating) |
| 220 | auto Obj2 = std::make_shared<MockObjectFile>(222); |
| 221 | M.expectAddObject(Obj2, &MockManager, &MockResolver); |
| 222 | H = T2.addObject(Obj2, &MockManager, &MockResolver); |
| 223 | M.verifyAddObject(H); |
| 224 | EXPECT_EQ(223, *Obj2) << "Expected mutation"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 225 | |
| 226 | // Test removeObjectSet |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 227 | M.expectRemoveObject(H); |
| 228 | T1.removeObject(H); |
| 229 | M.verifyRemoveObject(); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 230 | |
| 231 | // Test findSymbol |
| 232 | std::string Name = "foo"; |
| 233 | bool ExportedOnly = true; |
| 234 | M.expectFindSymbol(Name, ExportedOnly); |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 235 | llvm::JITSymbol Symbol = T2.findSymbol(Name, ExportedOnly); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 236 | M.verifyFindSymbol(Symbol); |
| 237 | |
| 238 | // Test findSymbolIn |
| 239 | Name = "bar"; |
| 240 | ExportedOnly = false; |
| 241 | M.expectFindSymbolIn(H, Name, ExportedOnly); |
| 242 | Symbol = T1.findSymbolIn(H, Name, ExportedOnly); |
| 243 | M.verifyFindSymbolIn(Symbol); |
| 244 | |
| 245 | // Test emitAndFinalize |
| 246 | M.expectEmitAndFinalize(H); |
| 247 | T2.emitAndFinalize(H); |
| 248 | M.verifyEmitAndFinalize(); |
| 249 | |
| 250 | // Test mapSectionAddress |
| 251 | char Buffer[24]; |
Lang Hames | ad4a911 | 2016-08-01 20:49:11 +0000 | [diff] [blame] | 252 | llvm::JITTargetAddress MockAddress = 255; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 253 | M.expectMapSectionAddress(H, Buffer, MockAddress); |
| 254 | T1.mapSectionAddress(H, Buffer, MockAddress); |
| 255 | M.verifyMapSectionAddress(); |
| 256 | |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 257 | // Verify transform getter (non-const) |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 258 | auto Mutatee = std::make_shared<MockObjectFile>(277); |
| 259 | auto Out = T2.getTransform()(Mutatee); |
| 260 | EXPECT_EQ(*Mutatee, *Out) << "Expected in-place transform"; |
| 261 | EXPECT_EQ(278, *Mutatee) << "Expected incrementing transform"; |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 262 | |
| 263 | // Verify transform getter (const) |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 264 | auto OwnedObj = std::make_shared<MockObjectFile>(288); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 265 | const auto &T1C = T1; |
| 266 | OwnedObj = T1C.getTransform()(std::move(OwnedObj)); |
| 267 | EXPECT_EQ(289, *OwnedObj) << "Expected incrementing transform"; |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 268 | |
| 269 | volatile bool RunStaticChecks = false; |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 270 | if (!RunStaticChecks) |
| 271 | return; |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 272 | |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 273 | // Make sure that ObjectTransformLayer implements the object layer concept |
| 274 | // correctly by sandwitching one between an ObjectLinkingLayer and an |
| 275 | // IRCompileLayer, verifying that it compiles if we have a call to the |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 276 | // IRComileLayer's addModule that should call the transform layer's |
| 277 | // addObject, and also calling the other public transform layer methods |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 278 | // directly to make sure the methods they intend to forward to exist on |
| 279 | // the ObjectLinkingLayer. |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 280 | |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 281 | // We'll need a concrete MemoryManager class. |
| 282 | class NullManager : public llvm::RuntimeDyld::MemoryManager { |
| 283 | public: |
| 284 | uint8_t *allocateCodeSection(uintptr_t, unsigned, unsigned, |
| 285 | llvm::StringRef) override { |
| 286 | return nullptr; |
| 287 | } |
| 288 | uint8_t *allocateDataSection(uintptr_t, unsigned, unsigned, llvm::StringRef, |
| 289 | bool) override { |
| 290 | return nullptr; |
| 291 | } |
| 292 | void registerEHFrames(uint8_t *, uint64_t, size_t) override {} |
Lang Hames | c936ac7 | 2017-05-09 21:32:18 +0000 | [diff] [blame] | 293 | void deregisterEHFrames() override {} |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 294 | bool finalizeMemory(std::string *) override { return false; } |
| 295 | }; |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 296 | |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 297 | // Construct the jit layers. |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 298 | RTDyldObjectLinkingLayer BaseLayer; |
| 299 | auto IdentityTransform = |
| 300 | [](std::shared_ptr<llvm::object::OwningBinary<llvm::object::ObjectFile>> |
| 301 | Obj) { |
| 302 | return Obj; |
| 303 | }; |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 304 | ObjectTransformLayer<decltype(BaseLayer), decltype(IdentityTransform)> |
| 305 | TransformLayer(BaseLayer, IdentityTransform); |
| 306 | auto NullCompiler = [](llvm::Module &) { |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 307 | return llvm::object::OwningBinary<llvm::object::ObjectFile>(nullptr, |
| 308 | nullptr); |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 309 | }; |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 310 | IRCompileLayer<decltype(TransformLayer), decltype(NullCompiler)> |
| 311 | CompileLayer(TransformLayer, NullCompiler); |
Joseph Tremoulet | 23d02f6 | 2016-01-23 18:36:01 +0000 | [diff] [blame] | 312 | |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 313 | // Make sure that the calls from IRCompileLayer to ObjectTransformLayer |
| 314 | // compile. |
| 315 | NullResolver Resolver; |
| 316 | NullManager Manager; |
Lang Hames | 2c19c1b | 2017-06-23 21:45:29 +0000 | [diff] [blame] | 317 | CompileLayer.addModule(std::shared_ptr<llvm::Module>(), &Manager, &Resolver); |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 318 | |
| 319 | // Make sure that the calls from ObjectTransformLayer to ObjectLinkingLayer |
| 320 | // compile. |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 321 | decltype(TransformLayer)::ObjHandleT H2; |
| 322 | TransformLayer.emitAndFinalize(H2); |
| 323 | TransformLayer.findSymbolIn(H2, Name, false); |
Joseph Tremoulet | e1014a3 | 2016-02-03 17:11:24 +0000 | [diff] [blame] | 324 | TransformLayer.findSymbol(Name, true); |
Lang Hames | 2662022 | 2017-06-22 21:06:54 +0000 | [diff] [blame] | 325 | TransformLayer.mapSectionAddress(H2, nullptr, 0); |
| 326 | TransformLayer.removeObject(H2); |
Joseph Tremoulet | 7ff086c | 2015-06-25 13:35:22 +0000 | [diff] [blame] | 327 | } |
| 328 | } |