Jim Grosbach | 06594e1 | 2012-01-16 23:50:58 +0000 | [diff] [blame] | 1 | //===-- RuntimeDyldImpl.h - Run-time dynamic linker for MC-JIT --*- C++ -*-===// |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 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 | // Interface for the implementations of runtime dynamic linker facilities. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 14 | #ifndef LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDIMPL_H |
| 15 | #define LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDIMPL_H |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 16 | |
Jim Grosbach | 0ddb3a4 | 2012-01-16 23:50:55 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/DenseMap.h" |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/SmallVector.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/StringMap.h" |
| 20 | #include "llvm/ADT/Triple.h" |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 21 | #include "llvm/ExecutionEngine/RTDyldMemoryManager.h" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 22 | #include "llvm/ExecutionEngine/RuntimeDyld.h" |
Lang Hames | e1c1138 | 2014-06-27 20:20:57 +0000 | [diff] [blame] | 23 | #include "llvm/ExecutionEngine/RuntimeDyldChecker.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 24 | #include "llvm/Object/ObjectFile.h" |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 25 | #include "llvm/Support/Debug.h" |
| 26 | #include "llvm/Support/ErrorHandling.h" |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Format.h" |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 28 | #include "llvm/Support/Host.h" |
Andrew Kaylor | 4fba049 | 2013-10-21 17:42:06 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Mutex.h" |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 30 | #include "llvm/Support/SwapByteOrder.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 31 | #include "llvm/Support/raw_ostream.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 32 | #include <map> |
Rafael Espindola | a6e9c3e | 2014-06-12 17:38:55 +0000 | [diff] [blame] | 33 | #include <system_error> |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 34 | |
| 35 | using namespace llvm; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 36 | using namespace llvm::object; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 37 | |
| 38 | namespace llvm { |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 39 | |
David Majnemer | 1a666e0 | 2015-03-07 20:21:27 +0000 | [diff] [blame] | 40 | // Helper for extensive error checking in debug builds. |
David Majnemer | b654b55 | 2015-03-07 20:56:50 +0000 | [diff] [blame] | 41 | inline std::error_code Check(std::error_code Err) { |
| 42 | if (Err) { |
| 43 | report_fatal_error(Err.message()); |
David Majnemer | 1a666e0 | 2015-03-07 20:21:27 +0000 | [diff] [blame] | 44 | } |
David Majnemer | b654b55 | 2015-03-07 20:56:50 +0000 | [diff] [blame] | 45 | return Err; |
| 46 | } |
David Majnemer | 1a666e0 | 2015-03-07 20:21:27 +0000 | [diff] [blame] | 47 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 48 | class Twine; |
| 49 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 50 | /// SectionEntry - represents a section emitted into memory by the dynamic |
| 51 | /// linker. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 52 | class SectionEntry { |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 53 | /// Name - section name. |
Lang Hames | ccc588e | 2015-04-14 17:13:10 +0000 | [diff] [blame] | 54 | std::string Name; |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 55 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 56 | /// Address - address in the linker's memory where the section resides. |
| 57 | uint8_t *Address; |
| 58 | |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 59 | /// Size - section size. Doesn't include the stubs. |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 60 | size_t Size; |
| 61 | |
| 62 | /// LoadAddress - the address of the section in the target process's memory. |
| 63 | /// Used for situations in which JIT-ed code is being executed in the address |
| 64 | /// space of a separate process. If the code executes in the same address |
| 65 | /// space where it was JIT-ed, this just equals Address. |
| 66 | uint64_t LoadAddress; |
| 67 | |
| 68 | /// StubOffset - used for architectures with stub functions for far |
| 69 | /// relocations (like ARM). |
| 70 | uintptr_t StubOffset; |
| 71 | |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 72 | /// The total amount of space allocated for this section. This includes the |
| 73 | /// section size and the maximum amount of space that the stubs can occupy. |
| 74 | size_t AllocationSize; |
| 75 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 76 | /// ObjAddress - address of the section in the in-memory object file. Used |
| 77 | /// for calculating relocations in some object formats (like MachO). |
| 78 | uintptr_t ObjAddress; |
| 79 | |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 80 | public: |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 81 | SectionEntry(StringRef name, uint8_t *address, size_t size, |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 82 | size_t allocationSize, uintptr_t objAddress) |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 83 | : Name(name), Address(address), Size(size), |
Lang Hames | 0717c3de | 2014-08-27 17:48:07 +0000 | [diff] [blame] | 84 | LoadAddress(reinterpret_cast<uintptr_t>(address)), StubOffset(size), |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 85 | AllocationSize(allocationSize), ObjAddress(objAddress) {} |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 86 | |
| 87 | StringRef getName() const { return Name; } |
| 88 | |
| 89 | uint8_t *getAddress() const { return Address; } |
| 90 | |
| 91 | /// \brief Return the address of this section with an offset. |
| 92 | uint8_t *getAddressWithOffset(unsigned OffsetBytes) const { |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 93 | assert(OffsetBytes <= AllocationSize && "Offset out of bounds!"); |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 94 | return Address + OffsetBytes; |
| 95 | } |
| 96 | |
| 97 | size_t getSize() const { return Size; } |
| 98 | |
| 99 | uint64_t getLoadAddress() const { return LoadAddress; } |
| 100 | void setLoadAddress(uint64_t LA) { LoadAddress = LA; } |
| 101 | |
| 102 | /// \brief Return the load address of this section with an offset. |
| 103 | uint64_t getLoadAddressWithOffset(unsigned OffsetBytes) const { |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 104 | assert(OffsetBytes <= AllocationSize && "Offset out of bounds!"); |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 105 | return LoadAddress + OffsetBytes; |
| 106 | } |
| 107 | |
| 108 | uintptr_t getStubOffset() const { return StubOffset; } |
| 109 | |
Sanjoy Das | 8082592 | 2015-11-23 21:47:46 +0000 | [diff] [blame] | 110 | void advanceStubOffset(unsigned StubSize) { |
| 111 | StubOffset += StubSize; |
| 112 | assert(StubOffset <= AllocationSize && "Not enough space allocated!"); |
| 113 | } |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 114 | |
| 115 | uintptr_t getObjAddress() const { return ObjAddress; } |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 116 | }; |
| 117 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 118 | /// RelocationEntry - used to represent relocations internally in the dynamic |
| 119 | /// linker. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 120 | class RelocationEntry { |
| 121 | public: |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 122 | /// SectionID - the section this relocation points to. |
| 123 | unsigned SectionID; |
| 124 | |
| 125 | /// Offset - offset into the section. |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 126 | uint64_t Offset; |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 127 | |
| 128 | /// RelType - relocation type. |
| 129 | uint32_t RelType; |
| 130 | |
| 131 | /// Addend - the relocation addend encoded in the instruction itself. Also |
| 132 | /// used to make a relocation section relative instead of symbol relative. |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 133 | int64_t Addend; |
| 134 | |
Lang Hames | 36072da | 2014-05-12 21:39:59 +0000 | [diff] [blame] | 135 | struct SectionPair { |
| 136 | uint32_t SectionA; |
| 137 | uint32_t SectionB; |
| 138 | }; |
| 139 | |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 140 | /// SymOffset - Section offset of the relocation entry's symbol (used for GOT |
| 141 | /// lookup). |
Lang Hames | 36072da | 2014-05-12 21:39:59 +0000 | [diff] [blame] | 142 | union { |
| 143 | uint64_t SymOffset; |
| 144 | SectionPair Sections; |
| 145 | }; |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 146 | |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 147 | /// True if this is a PCRel relocation (MachO specific). |
| 148 | bool IsPCRel; |
| 149 | |
| 150 | /// The size of this relocation (MachO specific). |
| 151 | unsigned Size; |
| 152 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 153 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend) |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 154 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
| 155 | SymOffset(0), IsPCRel(false), Size(0) {} |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 156 | |
| 157 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend, |
| 158 | uint64_t symoffset) |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 159 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
| 160 | SymOffset(symoffset), IsPCRel(false), Size(0) {} |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 161 | |
| 162 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend, |
| 163 | bool IsPCRel, unsigned Size) |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 164 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
| 165 | SymOffset(0), IsPCRel(IsPCRel), Size(Size) {} |
Lang Hames | 36072da | 2014-05-12 21:39:59 +0000 | [diff] [blame] | 166 | |
| 167 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend, |
| 168 | unsigned SectionA, uint64_t SectionAOffset, unsigned SectionB, |
| 169 | uint64_t SectionBOffset, bool IsPCRel, unsigned Size) |
| 170 | : SectionID(id), Offset(offset), RelType(type), |
| 171 | Addend(SectionAOffset - SectionBOffset + addend), IsPCRel(IsPCRel), |
| 172 | Size(Size) { |
| 173 | Sections.SectionA = SectionA; |
| 174 | Sections.SectionB = SectionB; |
| 175 | } |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 176 | }; |
| 177 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 178 | class RelocationValueRef { |
| 179 | public: |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 180 | unsigned SectionID; |
| 181 | uint64_t Offset; |
| 182 | int64_t Addend; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 183 | const char *SymbolName; |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 184 | RelocationValueRef() : SectionID(0), Offset(0), Addend(0), |
| 185 | SymbolName(nullptr) {} |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 186 | |
| 187 | inline bool operator==(const RelocationValueRef &Other) const { |
Benjamin Kramer | 5a71250 | 2013-08-20 09:27:31 +0000 | [diff] [blame] | 188 | return SectionID == Other.SectionID && Offset == Other.Offset && |
| 189 | Addend == Other.Addend && SymbolName == Other.SymbolName; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 190 | } |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 191 | inline bool operator<(const RelocationValueRef &Other) const { |
Benjamin Kramer | 5a71250 | 2013-08-20 09:27:31 +0000 | [diff] [blame] | 192 | if (SectionID != Other.SectionID) |
| 193 | return SectionID < Other.SectionID; |
| 194 | if (Offset != Other.Offset) |
| 195 | return Offset < Other.Offset; |
| 196 | if (Addend != Other.Addend) |
| 197 | return Addend < Other.Addend; |
| 198 | return SymbolName < Other.SymbolName; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 199 | } |
| 200 | }; |
| 201 | |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 202 | /// @brief Symbol info for RuntimeDyld. |
| 203 | class SymbolTableEntry : public JITSymbolBase { |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 204 | public: |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 205 | SymbolTableEntry() |
| 206 | : JITSymbolBase(JITSymbolFlags::None), Offset(0), SectionID(0) {} |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 207 | |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 208 | SymbolTableEntry(unsigned SectionID, uint64_t Offset, JITSymbolFlags Flags) |
| 209 | : JITSymbolBase(Flags), Offset(Offset), SectionID(SectionID) {} |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 210 | |
| 211 | unsigned getSectionID() const { return SectionID; } |
| 212 | uint64_t getOffset() const { return Offset; } |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 213 | |
| 214 | private: |
| 215 | uint64_t Offset; |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 216 | unsigned SectionID; |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 217 | }; |
| 218 | |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 219 | typedef StringMap<SymbolTableEntry> RTDyldSymbolTable; |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 220 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 221 | class RuntimeDyldImpl { |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 222 | friend class RuntimeDyld::LoadedObjectInfo; |
Lang Hames | f7acddd | 2014-07-22 22:47:39 +0000 | [diff] [blame] | 223 | friend class RuntimeDyldCheckerImpl; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 224 | protected: |
Lang Hames | a32d71b | 2015-10-18 01:41:37 +0000 | [diff] [blame] | 225 | static const unsigned AbsoluteSymbolSection = ~0U; |
| 226 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 227 | // The MemoryManager to load objects into. |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 228 | RuntimeDyld::MemoryManager &MemMgr; |
| 229 | |
| 230 | // The symbol resolver to use for external symbols. |
| 231 | RuntimeDyld::SymbolResolver &Resolver; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 232 | |
Lang Hames | f7acddd | 2014-07-22 22:47:39 +0000 | [diff] [blame] | 233 | // Attached RuntimeDyldChecker instance. Null if no instance attached. |
| 234 | RuntimeDyldCheckerImpl *Checker; |
| 235 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 236 | // A list of all sections emitted by the dynamic linker. These sections are |
| 237 | // referenced in the code by means of their index in this list - SectionID. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 238 | typedef SmallVector<SectionEntry, 64> SectionList; |
| 239 | SectionList Sections; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 240 | |
Andrew Kaylor | 7bb1344 | 2013-10-11 21:25:48 +0000 | [diff] [blame] | 241 | typedef unsigned SID; // Type for SectionIDs |
Keno Fischer | c780e8e | 2015-05-21 21:24:32 +0000 | [diff] [blame] | 242 | #define RTDYLD_INVALID_SECTION_ID ((RuntimeDyldImpl::SID)(-1)) |
Andrew Kaylor | 7bb1344 | 2013-10-11 21:25:48 +0000 | [diff] [blame] | 243 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 244 | // Keep a map of sections from object file to the SectionID which |
| 245 | // references it. |
| 246 | typedef std::map<SectionRef, unsigned> ObjSectionToIDMap; |
Jim Grosbach | 0ddb3a4 | 2012-01-16 23:50:55 +0000 | [diff] [blame] | 247 | |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 248 | // A global symbol table for symbols from all loaded modules. |
| 249 | RTDyldSymbolTable GlobalSymbolTable; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 250 | |
Tim Northover | 94bc73d | 2012-10-29 10:47:04 +0000 | [diff] [blame] | 251 | // Keep a map of common symbols to their info pairs |
Lang Hames | 2996895 | 2015-01-17 00:55:05 +0000 | [diff] [blame] | 252 | typedef std::vector<SymbolRef> CommonSymbolList; |
Preston Gurd | 2138ef6 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 253 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 254 | // For each symbol, keep a list of relocations based on it. Anytime |
| 255 | // its address is reassigned (the JIT re-compiled the function, e.g.), |
| 256 | // the relocations get re-resolved. |
| 257 | // The symbol (or section) the relocation is sourced from is the Key |
| 258 | // in the relocation list where it's stored. |
| 259 | typedef SmallVector<RelocationEntry, 64> RelocationList; |
| 260 | // Relocations to sections already loaded. Indexed by SectionID which is the |
Benjamin Kramer | bde9176 | 2012-06-02 10:20:22 +0000 | [diff] [blame] | 261 | // source of the address. The target where the address will be written is |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 262 | // SectionID/Offset in the relocation itself. |
| 263 | DenseMap<unsigned, RelocationList> Relocations; |
Eli Bendersky | b92e1cf | 2012-04-30 12:15:58 +0000 | [diff] [blame] | 264 | |
| 265 | // Relocations to external symbols that are not yet resolved. Symbols are |
| 266 | // external when they aren't found in the global symbol table of all loaded |
| 267 | // modules. This map is indexed by symbol name. |
| 268 | StringMap<RelocationList> ExternalSymbolRelocations; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 269 | |
Lang Hames | f7acddd | 2014-07-22 22:47:39 +0000 | [diff] [blame] | 270 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 271 | typedef std::map<RelocationValueRef, uintptr_t> StubMap; |
| 272 | |
| 273 | Triple::ArchType Arch; |
Andrew Kaylor | 33c5b1b | 2013-10-15 20:44:55 +0000 | [diff] [blame] | 274 | bool IsTargetLittleEndian; |
Petar Jovanovic | 9720283 | 2015-05-28 13:48:41 +0000 | [diff] [blame] | 275 | bool IsMipsO32ABI; |
| 276 | bool IsMipsN64ABI; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 277 | |
Lang Hames | 868d4b3 | 2014-03-20 21:06:46 +0000 | [diff] [blame] | 278 | // True if all sections should be passed to the memory manager, false if only |
| 279 | // sections containing relocations should be. Defaults to 'false'. |
| 280 | bool ProcessAllSections; |
| 281 | |
Andrew Kaylor | 4fba049 | 2013-10-21 17:42:06 +0000 | [diff] [blame] | 282 | // This mutex prevents simultaneously loading objects from two different |
| 283 | // threads. This keeps us from having to protect individual data structures |
| 284 | // and guarantees that section allocation requests to the memory manager |
| 285 | // won't be interleaved between modules. It is also used in mapSectionAddress |
| 286 | // and resolveRelocations to protect write access to internal data structures. |
| 287 | // |
| 288 | // loadObject may be called on the same thread during the handling of of |
| 289 | // processRelocations, and that's OK. The handling of the relocation lists |
| 290 | // is written in such a way as to work correctly if new elements are added to |
| 291 | // the end of the list while the list is being processed. |
| 292 | sys::Mutex lock; |
| 293 | |
Andrew Kaylor | 2ba21c5 | 2013-10-15 21:32:56 +0000 | [diff] [blame] | 294 | virtual unsigned getMaxStubSize() = 0; |
| 295 | virtual unsigned getStubAlignment() = 0; |
Richard Sandiford | ca04408 | 2013-05-03 14:15:35 +0000 | [diff] [blame] | 296 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 297 | bool HasError; |
| 298 | std::string ErrorStr; |
| 299 | |
| 300 | // Set the error state and record an error string. |
| 301 | bool Error(const Twine &Msg) { |
| 302 | ErrorStr = Msg.str(); |
| 303 | HasError = true; |
| 304 | return true; |
| 305 | } |
| 306 | |
Lang Hames | 3e930a3 | 2014-09-05 18:00:16 +0000 | [diff] [blame] | 307 | uint64_t getSectionLoadAddress(unsigned SectionID) const { |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 308 | return Sections[SectionID].getLoadAddress(); |
Jim Grosbach | dc1123f | 2012-09-05 16:50:40 +0000 | [diff] [blame] | 309 | } |
| 310 | |
Lang Hames | 3e930a3 | 2014-09-05 18:00:16 +0000 | [diff] [blame] | 311 | uint8_t *getSectionAddress(unsigned SectionID) const { |
Sanjoy Das | 277776a | 2015-11-23 21:47:41 +0000 | [diff] [blame] | 312 | return Sections[SectionID].getAddress(); |
Jim Grosbach | eff0a40 | 2012-01-16 22:26:39 +0000 | [diff] [blame] | 313 | } |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 314 | |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 315 | void writeInt16BE(uint8_t *Addr, uint16_t Value) { |
Andrew Kaylor | 33c5b1b | 2013-10-15 20:44:55 +0000 | [diff] [blame] | 316 | if (IsTargetLittleEndian) |
Artyom Skrobov | 9aea843 | 2014-06-14 13:18:07 +0000 | [diff] [blame] | 317 | sys::swapByteOrder(Value); |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 318 | *Addr = (Value >> 8) & 0xFF; |
| 319 | *(Addr + 1) = Value & 0xFF; |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 320 | } |
| 321 | |
| 322 | void writeInt32BE(uint8_t *Addr, uint32_t Value) { |
Andrew Kaylor | 33c5b1b | 2013-10-15 20:44:55 +0000 | [diff] [blame] | 323 | if (IsTargetLittleEndian) |
Artyom Skrobov | 9aea843 | 2014-06-14 13:18:07 +0000 | [diff] [blame] | 324 | sys::swapByteOrder(Value); |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 325 | *Addr = (Value >> 24) & 0xFF; |
| 326 | *(Addr + 1) = (Value >> 16) & 0xFF; |
| 327 | *(Addr + 2) = (Value >> 8) & 0xFF; |
| 328 | *(Addr + 3) = Value & 0xFF; |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 329 | } |
| 330 | |
| 331 | void writeInt64BE(uint8_t *Addr, uint64_t Value) { |
Andrew Kaylor | 33c5b1b | 2013-10-15 20:44:55 +0000 | [diff] [blame] | 332 | if (IsTargetLittleEndian) |
Artyom Skrobov | 9aea843 | 2014-06-14 13:18:07 +0000 | [diff] [blame] | 333 | sys::swapByteOrder(Value); |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 334 | *Addr = (Value >> 56) & 0xFF; |
| 335 | *(Addr + 1) = (Value >> 48) & 0xFF; |
| 336 | *(Addr + 2) = (Value >> 40) & 0xFF; |
| 337 | *(Addr + 3) = (Value >> 32) & 0xFF; |
| 338 | *(Addr + 4) = (Value >> 24) & 0xFF; |
| 339 | *(Addr + 5) = (Value >> 16) & 0xFF; |
| 340 | *(Addr + 6) = (Value >> 8) & 0xFF; |
| 341 | *(Addr + 7) = Value & 0xFF; |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 342 | } |
| 343 | |
Petar Jovanovic | 9720283 | 2015-05-28 13:48:41 +0000 | [diff] [blame] | 344 | virtual void setMipsABI(const ObjectFile &Obj) { |
| 345 | IsMipsO32ABI = false; |
| 346 | IsMipsN64ABI = false; |
| 347 | } |
| 348 | |
Lang Hames | e1287c0 | 2014-08-29 23:17:47 +0000 | [diff] [blame] | 349 | /// Endian-aware read Read the least significant Size bytes from Src. |
| 350 | uint64_t readBytesUnaligned(uint8_t *Src, unsigned Size) const; |
| 351 | |
| 352 | /// Endian-aware write. Write the least significant Size bytes from Value to |
| 353 | /// Dst. |
| 354 | void writeBytesUnaligned(uint64_t Value, uint8_t *Dst, unsigned Size) const; |
| 355 | |
Eli Bendersky | 667b879 | 2012-05-01 10:41:12 +0000 | [diff] [blame] | 356 | /// \brief Given the common symbols discovered in the object file, emit a |
| 357 | /// new section for them and update the symbol mappings in the object and |
| 358 | /// symbol table. |
Lang Hames | 2996895 | 2015-01-17 00:55:05 +0000 | [diff] [blame] | 359 | void emitCommonSymbols(const ObjectFile &Obj, CommonSymbolList &CommonSymbols); |
Preston Gurd | 2138ef6 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 360 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 361 | /// \brief Emits section data from the object file to the MemoryManager. |
| 362 | /// \param IsCode if it's true then allocateCodeSection() will be |
Eli Bendersky | 0e2ac5b | 2012-04-29 12:40:47 +0000 | [diff] [blame] | 363 | /// used for emits, else allocateDataSection() will be used. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 364 | /// \return SectionID. |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 365 | unsigned emitSection(const ObjectFile &Obj, const SectionRef &Section, |
Preston Gurd | cc31af9 | 2012-04-16 22:12:58 +0000 | [diff] [blame] | 366 | bool IsCode); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 367 | |
| 368 | /// \brief Find Section in LocalSections. If the secton is not found - emit |
| 369 | /// it and store in LocalSections. |
| 370 | /// \param IsCode if it's true then allocateCodeSection() will be |
| 371 | /// used for emmits, else allocateDataSection() will be used. |
| 372 | /// \return SectionID. |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 373 | unsigned findOrEmitSection(const ObjectFile &Obj, const SectionRef &Section, |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 374 | bool IsCode, ObjSectionToIDMap &LocalSections); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 375 | |
Eli Bendersky | 667b879 | 2012-05-01 10:41:12 +0000 | [diff] [blame] | 376 | // \brief Add a relocation entry that uses the given section. |
| 377 | void addRelocationForSection(const RelocationEntry &RE, unsigned SectionID); |
| 378 | |
| 379 | // \brief Add a relocation entry that uses the given symbol. This symbol may |
| 380 | // be found in the global symbol table, or it may be external. |
| 381 | void addRelocationForSymbol(const RelocationEntry &RE, StringRef SymbolName); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 382 | |
| 383 | /// \brief Emits long jump instruction to Addr. |
| 384 | /// \return Pointer to the memory area for emitting target address. |
Ulrich Weigand | 752b5c9 | 2014-07-20 23:53:14 +0000 | [diff] [blame] | 385 | uint8_t *createStubFunction(uint8_t *Addr, unsigned AbiVariant = 0); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 386 | |
| 387 | /// \brief Resolves relocations from Relocs list with address from Value. |
| 388 | void resolveRelocationList(const RelocationList &Relocs, uint64_t Value); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 389 | |
| 390 | /// \brief A object file specific relocation resolver |
Rafael Espindola | b39478e | 2013-04-29 19:33:51 +0000 | [diff] [blame] | 391 | /// \param RE The relocation to be resolved |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 392 | /// \param Value Target symbol address to apply the relocation action |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 393 | virtual void resolveRelocation(const RelocationEntry &RE, uint64_t Value) = 0; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 394 | |
Juergen Ributzka | 838282e | 2014-03-21 20:38:46 +0000 | [diff] [blame] | 395 | /// \brief Parses one or more object file relocations (some object files use |
| 396 | /// relocation pairs) and stores it to Relocations or SymbolRelocations |
| 397 | /// (this depends on the object file type). |
| 398 | /// \return Iterator to the next relocation that needs to be parsed. |
Juergen Ributzka | 046709f | 2014-03-21 07:26:41 +0000 | [diff] [blame] | 399 | virtual relocation_iterator |
| 400 | processRelocationRef(unsigned SectionID, relocation_iterator RelI, |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 401 | const ObjectFile &Obj, ObjSectionToIDMap &ObjSectionToID, |
Lang Hames | a5cd950 | 2014-11-27 05:40:13 +0000 | [diff] [blame] | 402 | StubMap &Stubs) = 0; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 403 | |
Eli Bendersky | b92e1cf | 2012-04-30 12:15:58 +0000 | [diff] [blame] | 404 | /// \brief Resolve relocations to external symbols. |
| 405 | void resolveExternalSymbols(); |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 406 | |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 407 | // \brief Compute an upper bound of the memory that is required to load all |
| 408 | // sections |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 409 | void computeTotalAllocSize(const ObjectFile &Obj, uint64_t &CodeSize, |
Juergen Ributzka | 7608dc0 | 2014-03-21 20:28:42 +0000 | [diff] [blame] | 410 | uint64_t &DataSizeRO, uint64_t &DataSizeRW); |
| 411 | |
Lang Hames | 937ec54 | 2014-02-12 21:30:07 +0000 | [diff] [blame] | 412 | // \brief Compute the stub buffer size required for a section |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 413 | unsigned computeSectionStubBufSize(const ObjectFile &Obj, |
Juergen Ributzka | 046709f | 2014-03-21 07:26:41 +0000 | [diff] [blame] | 414 | const SectionRef &Section); |
Lang Hames | 937ec54 | 2014-02-12 21:30:07 +0000 | [diff] [blame] | 415 | |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 416 | // \brief Implementation of the generic part of the loadObject algorithm. |
Lang Hames | 2e88f4f | 2015-07-28 17:52:11 +0000 | [diff] [blame] | 417 | ObjSectionToIDMap loadObjectImpl(const object::ObjectFile &Obj); |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 418 | |
Sanjoy Das | d5658b0 | 2015-11-23 21:47:51 +0000 | [diff] [blame^] | 419 | // \brief Return true if the relocation R may require allocating a stub. |
| 420 | virtual bool relocationNeedsStub(const RelocationRef &R) const { |
| 421 | return true; // Conservative answer |
| 422 | } |
| 423 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 424 | public: |
Lang Hames | 633fe14 | 2015-03-30 03:37:06 +0000 | [diff] [blame] | 425 | RuntimeDyldImpl(RuntimeDyld::MemoryManager &MemMgr, |
| 426 | RuntimeDyld::SymbolResolver &Resolver) |
| 427 | : MemMgr(MemMgr), Resolver(Resolver), Checker(nullptr), |
| 428 | ProcessAllSections(false), HasError(false) { |
Lang Hames | e1c1138 | 2014-06-27 20:20:57 +0000 | [diff] [blame] | 429 | } |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 430 | |
| 431 | virtual ~RuntimeDyldImpl(); |
| 432 | |
Lang Hames | 868d4b3 | 2014-03-20 21:06:46 +0000 | [diff] [blame] | 433 | void setProcessAllSections(bool ProcessAllSections) { |
| 434 | this->ProcessAllSections = ProcessAllSections; |
| 435 | } |
| 436 | |
Lang Hames | f7acddd | 2014-07-22 22:47:39 +0000 | [diff] [blame] | 437 | void setRuntimeDyldChecker(RuntimeDyldCheckerImpl *Checker) { |
| 438 | this->Checker = Checker; |
| 439 | } |
| 440 | |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 441 | virtual std::unique_ptr<RuntimeDyld::LoadedObjectInfo> |
| 442 | loadObject(const object::ObjectFile &Obj) = 0; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 443 | |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 444 | uint8_t* getSymbolLocalAddress(StringRef Name) const { |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 445 | // FIXME: Just look up as a function for now. Overly simple of course. |
| 446 | // Work in progress. |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 447 | RTDyldSymbolTable::const_iterator pos = GlobalSymbolTable.find(Name); |
Yaron Keren | c980288 | 2013-10-19 09:04:26 +0000 | [diff] [blame] | 448 | if (pos == GlobalSymbolTable.end()) |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 449 | return nullptr; |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 450 | const auto &SymInfo = pos->second; |
Lang Hames | a32d71b | 2015-10-18 01:41:37 +0000 | [diff] [blame] | 451 | // Absolute symbols do not have a local address. |
| 452 | if (SymInfo.getSectionID() == AbsoluteSymbolSection) |
| 453 | return nullptr; |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 454 | return getSectionAddress(SymInfo.getSectionID()) + SymInfo.getOffset(); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 455 | } |
| 456 | |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 457 | RuntimeDyld::SymbolInfo getSymbol(StringRef Name) const { |
Jim Grosbach | dc1123f | 2012-09-05 16:50:40 +0000 | [diff] [blame] | 458 | // FIXME: Just look up as a function for now. Overly simple of course. |
| 459 | // Work in progress. |
Lang Hames | 6bfd398 | 2015-01-16 23:13:56 +0000 | [diff] [blame] | 460 | RTDyldSymbolTable::const_iterator pos = GlobalSymbolTable.find(Name); |
Yaron Keren | c980288 | 2013-10-19 09:04:26 +0000 | [diff] [blame] | 461 | if (pos == GlobalSymbolTable.end()) |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 462 | return nullptr; |
| 463 | const auto &SymEntry = pos->second; |
Lang Hames | a32d71b | 2015-10-18 01:41:37 +0000 | [diff] [blame] | 464 | uint64_t SectionAddr = 0; |
| 465 | if (SymEntry.getSectionID() != AbsoluteSymbolSection) |
| 466 | SectionAddr = getSectionLoadAddress(SymEntry.getSectionID()); |
| 467 | uint64_t TargetAddr = SectionAddr + SymEntry.getOffset(); |
Lang Hames | b118603 | 2015-03-11 00:43:26 +0000 | [diff] [blame] | 468 | return RuntimeDyld::SymbolInfo(TargetAddr, SymEntry.getFlags()); |
Jim Grosbach | dc1123f | 2012-09-05 16:50:40 +0000 | [diff] [blame] | 469 | } |
| 470 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 471 | void resolveRelocations(); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 472 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 473 | void reassignSectionAddress(unsigned SectionID, uint64_t Addr); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 474 | |
Jim Grosbach | 6d61397 | 2012-09-13 21:50:06 +0000 | [diff] [blame] | 475 | void mapSectionAddress(const void *LocalAddress, uint64_t TargetAddress); |
Jim Grosbach | 0ddb3a4 | 2012-01-16 23:50:55 +0000 | [diff] [blame] | 476 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 477 | // Is the linker in an error state? |
| 478 | bool hasError() { return HasError; } |
| 479 | |
| 480 | // Mark the error condition as handled and continue. |
| 481 | void clearError() { HasError = false; } |
| 482 | |
| 483 | // Get the error message. |
| 484 | StringRef getErrorString() { return ErrorStr; } |
| 485 | |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 486 | virtual bool isCompatibleFile(const ObjectFile &Obj) const = 0; |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 487 | |
Andrew Kaylor | 7bb1344 | 2013-10-11 21:25:48 +0000 | [diff] [blame] | 488 | virtual void registerEHFrames(); |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 489 | |
Andrew Kaylor | c442a76 | 2013-10-16 00:14:21 +0000 | [diff] [blame] | 490 | virtual void deregisterEHFrames(); |
| 491 | |
Lang Hames | b5c7b1f | 2014-11-26 16:54:40 +0000 | [diff] [blame] | 492 | virtual void finalizeLoad(const ObjectFile &ObjImg, |
| 493 | ObjSectionToIDMap &SectionMap) {} |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 494 | }; |
| 495 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 496 | } // end namespace llvm |
| 497 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 498 | #endif |