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