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