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 | |
| 14 | #ifndef LLVM_RUNTIME_DYLD_IMPL_H |
| 15 | #define LLVM_RUNTIME_DYLD_IMPL_H |
| 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" |
Chandler Carruth | 802d755 | 2012-12-04 07:12:27 +0000 | [diff] [blame] | 21 | #include "llvm/ExecutionEngine/ObjectImage.h" |
| 22 | #include "llvm/ExecutionEngine/RuntimeDyld.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 23 | #include "llvm/Object/ObjectFile.h" |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 24 | #include "llvm/Support/Debug.h" |
| 25 | #include "llvm/Support/ErrorHandling.h" |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 26 | #include "llvm/Support/Format.h" |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 27 | #include "llvm/Support/Host.h" |
| 28 | #include "llvm/Support/SwapByteOrder.h" |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 29 | #include "llvm/Support/raw_ostream.h" |
| 30 | #include "llvm/Support/system_error.h" |
| 31 | #include <map> |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 32 | |
| 33 | using namespace llvm; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 34 | using namespace llvm::object; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 35 | |
| 36 | namespace llvm { |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 37 | |
Andrew Kaylor | adc7056 | 2012-10-02 21:18:39 +0000 | [diff] [blame] | 38 | class ObjectBuffer; |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 39 | class Twine; |
| 40 | |
| 41 | |
| 42 | /// SectionEntry - represents a section emitted into memory by the dynamic |
| 43 | /// linker. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 44 | class SectionEntry { |
| 45 | public: |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 46 | /// Name - section name. |
| 47 | StringRef Name; |
| 48 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 49 | /// Address - address in the linker's memory where the section resides. |
| 50 | uint8_t *Address; |
| 51 | |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 52 | /// Size - section size. Doesn't include the stubs. |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 53 | size_t Size; |
| 54 | |
| 55 | /// LoadAddress - the address of the section in the target process's memory. |
| 56 | /// Used for situations in which JIT-ed code is being executed in the address |
| 57 | /// space of a separate process. If the code executes in the same address |
| 58 | /// space where it was JIT-ed, this just equals Address. |
| 59 | uint64_t LoadAddress; |
| 60 | |
| 61 | /// StubOffset - used for architectures with stub functions for far |
| 62 | /// relocations (like ARM). |
| 63 | uintptr_t StubOffset; |
| 64 | |
| 65 | /// ObjAddress - address of the section in the in-memory object file. Used |
| 66 | /// for calculating relocations in some object formats (like MachO). |
| 67 | uintptr_t ObjAddress; |
| 68 | |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 69 | SectionEntry(StringRef name, uint8_t *address, size_t size, |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 70 | uintptr_t objAddress) |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 71 | : Name(name), Address(address), Size(size), LoadAddress((uintptr_t)address), |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 72 | StubOffset(size), ObjAddress(objAddress) {} |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 73 | }; |
| 74 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 75 | /// RelocationEntry - used to represent relocations internally in the dynamic |
| 76 | /// linker. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 77 | class RelocationEntry { |
| 78 | public: |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 79 | /// SectionID - the section this relocation points to. |
| 80 | unsigned SectionID; |
| 81 | |
| 82 | /// Offset - offset into the section. |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 83 | uint64_t Offset; |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 84 | |
| 85 | /// RelType - relocation type. |
| 86 | uint32_t RelType; |
| 87 | |
| 88 | /// Addend - the relocation addend encoded in the instruction itself. Also |
| 89 | /// used to make a relocation section relative instead of symbol relative. |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 90 | int64_t Addend; |
| 91 | |
| 92 | /// SymOffset - Section offset of the relocation entry's symbol (used for GOT |
| 93 | /// lookup). |
| 94 | uint64_t SymOffset; |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 95 | |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 96 | /// True if this is a PCRel relocation (MachO specific). |
| 97 | bool IsPCRel; |
| 98 | |
| 99 | /// The size of this relocation (MachO specific). |
| 100 | unsigned Size; |
| 101 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 102 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend) |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 103 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 104 | SymOffset(0), IsPCRel(false), Size(0) {} |
| 105 | |
| 106 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend, |
| 107 | uint64_t symoffset) |
| 108 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
| 109 | SymOffset(symoffset), IsPCRel(false), Size(0) {} |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 110 | |
| 111 | RelocationEntry(unsigned id, uint64_t offset, uint32_t type, int64_t addend, |
| 112 | bool IsPCRel, unsigned Size) |
| 113 | : SectionID(id), Offset(offset), RelType(type), Addend(addend), |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 114 | SymOffset(0), IsPCRel(IsPCRel), Size(Size) {} |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 115 | }; |
| 116 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 117 | class RelocationValueRef { |
| 118 | public: |
| 119 | unsigned SectionID; |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 120 | uint64_t Offset; |
| 121 | int64_t Addend; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 122 | const char *SymbolName; |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 123 | RelocationValueRef(): SectionID(0), Offset(0), Addend(0), SymbolName(0) {} |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 124 | |
| 125 | inline bool operator==(const RelocationValueRef &Other) const { |
Benjamin Kramer | 5a71250 | 2013-08-20 09:27:31 +0000 | [diff] [blame] | 126 | return SectionID == Other.SectionID && Offset == Other.Offset && |
| 127 | Addend == Other.Addend && SymbolName == Other.SymbolName; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 128 | } |
| 129 | inline bool operator <(const RelocationValueRef &Other) const { |
Benjamin Kramer | 5a71250 | 2013-08-20 09:27:31 +0000 | [diff] [blame] | 130 | if (SectionID != Other.SectionID) |
| 131 | return SectionID < Other.SectionID; |
| 132 | if (Offset != Other.Offset) |
| 133 | return Offset < Other.Offset; |
| 134 | if (Addend != Other.Addend) |
| 135 | return Addend < Other.Addend; |
| 136 | return SymbolName < Other.SymbolName; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 137 | } |
| 138 | }; |
| 139 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 140 | class RuntimeDyldImpl { |
| 141 | protected: |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 142 | // The MemoryManager to load objects into. |
| 143 | RTDyldMemoryManager *MemMgr; |
| 144 | |
Eli Bendersky | 32d5488 | 2012-04-30 10:06:27 +0000 | [diff] [blame] | 145 | // A list of all sections emitted by the dynamic linker. These sections are |
| 146 | // 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] | 147 | typedef SmallVector<SectionEntry, 64> SectionList; |
| 148 | SectionList Sections; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 149 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 150 | // Keep a map of sections from object file to the SectionID which |
| 151 | // references it. |
| 152 | typedef std::map<SectionRef, unsigned> ObjSectionToIDMap; |
Jim Grosbach | 0ddb3a4 | 2012-01-16 23:50:55 +0000 | [diff] [blame] | 153 | |
Eli Bendersky | fc07908 | 2012-05-01 06:58:59 +0000 | [diff] [blame] | 154 | // A global symbol table for symbols from all loaded modules. Maps the |
| 155 | // symbol name to a (SectionID, offset in section) pair. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 156 | typedef std::pair<unsigned, uintptr_t> SymbolLoc; |
Eli Bendersky | fc07908 | 2012-05-01 06:58:59 +0000 | [diff] [blame] | 157 | typedef StringMap<SymbolLoc> SymbolTableMap; |
| 158 | SymbolTableMap GlobalSymbolTable; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 159 | |
Tim Northover | 94bc73d | 2012-10-29 10:47:04 +0000 | [diff] [blame] | 160 | // Pair representing the size and alignment requirement for a common symbol. |
| 161 | typedef std::pair<unsigned, unsigned> CommonSymbolInfo; |
| 162 | // Keep a map of common symbols to their info pairs |
| 163 | typedef std::map<SymbolRef, CommonSymbolInfo> CommonSymbolMap; |
Preston Gurd | 2138ef6 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 164 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 165 | // For each symbol, keep a list of relocations based on it. Anytime |
| 166 | // its address is reassigned (the JIT re-compiled the function, e.g.), |
| 167 | // the relocations get re-resolved. |
| 168 | // The symbol (or section) the relocation is sourced from is the Key |
| 169 | // in the relocation list where it's stored. |
| 170 | typedef SmallVector<RelocationEntry, 64> RelocationList; |
| 171 | // Relocations to sections already loaded. Indexed by SectionID which is the |
Benjamin Kramer | bde9176 | 2012-06-02 10:20:22 +0000 | [diff] [blame] | 172 | // 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] | 173 | // SectionID/Offset in the relocation itself. |
| 174 | DenseMap<unsigned, RelocationList> Relocations; |
Eli Bendersky | b92e1cf | 2012-04-30 12:15:58 +0000 | [diff] [blame] | 175 | |
| 176 | // Relocations to external symbols that are not yet resolved. Symbols are |
| 177 | // external when they aren't found in the global symbol table of all loaded |
| 178 | // modules. This map is indexed by symbol name. |
| 179 | StringMap<RelocationList> ExternalSymbolRelocations; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 180 | |
| 181 | typedef std::map<RelocationValueRef, uintptr_t> StubMap; |
| 182 | |
| 183 | Triple::ArchType Arch; |
| 184 | |
| 185 | inline unsigned getMaxStubSize() { |
Tim Northover | 37cde97 | 2013-05-04 20:14:09 +0000 | [diff] [blame] | 186 | if (Arch == Triple::aarch64) |
| 187 | return 20; // movz; movk; movk; movk; br |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 188 | if (Arch == Triple::arm || Arch == Triple::thumb) |
| 189 | return 8; // 32-bit instruction and 32-bit address |
NAKAMURA Takumi | f97efd9 | 2012-12-04 00:08:14 +0000 | [diff] [blame] | 190 | else if (Arch == Triple::mipsel || Arch == Triple::mips) |
Akira Hatanaka | 111174b | 2012-08-17 21:28:04 +0000 | [diff] [blame] | 191 | return 16; |
Bill Schmidt | 0a9170d | 2013-07-26 01:35:43 +0000 | [diff] [blame] | 192 | else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 193 | return 44; |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 194 | else if (Arch == Triple::x86_64) |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 195 | return 6; // 2-byte jmp instruction + 32-bit relative address |
Richard Sandiford | ca04408 | 2013-05-03 14:15:35 +0000 | [diff] [blame] | 196 | else if (Arch == Triple::systemz) |
| 197 | return 16; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 198 | else |
| 199 | return 0; |
| 200 | } |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 201 | |
Richard Sandiford | ca04408 | 2013-05-03 14:15:35 +0000 | [diff] [blame] | 202 | inline unsigned getStubAlignment() { |
| 203 | if (Arch == Triple::systemz) |
| 204 | return 8; |
| 205 | else |
| 206 | return 1; |
| 207 | } |
| 208 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 209 | bool HasError; |
| 210 | std::string ErrorStr; |
| 211 | |
| 212 | // Set the error state and record an error string. |
| 213 | bool Error(const Twine &Msg) { |
| 214 | ErrorStr = Msg.str(); |
| 215 | HasError = true; |
| 216 | return true; |
| 217 | } |
| 218 | |
Jim Grosbach | dc1123f | 2012-09-05 16:50:40 +0000 | [diff] [blame] | 219 | uint64_t getSectionLoadAddress(unsigned SectionID) { |
| 220 | return Sections[SectionID].LoadAddress; |
| 221 | } |
| 222 | |
Jim Grosbach | eff0a40 | 2012-01-16 22:26:39 +0000 | [diff] [blame] | 223 | uint8_t *getSectionAddress(unsigned SectionID) { |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 224 | return (uint8_t*)Sections[SectionID].Address; |
Jim Grosbach | eff0a40 | 2012-01-16 22:26:39 +0000 | [diff] [blame] | 225 | } |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 226 | |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 227 | void writeInt16BE(uint8_t *Addr, uint16_t Value) { |
Rafael Espindola | 41cb64f | 2013-04-15 14:44:24 +0000 | [diff] [blame] | 228 | if (sys::IsLittleEndianHost) |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 229 | Value = sys::SwapByteOrder(Value); |
| 230 | *Addr = (Value >> 8) & 0xFF; |
| 231 | *(Addr+1) = Value & 0xFF; |
| 232 | } |
| 233 | |
| 234 | void writeInt32BE(uint8_t *Addr, uint32_t Value) { |
Rafael Espindola | 41cb64f | 2013-04-15 14:44:24 +0000 | [diff] [blame] | 235 | if (sys::IsLittleEndianHost) |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 236 | Value = sys::SwapByteOrder(Value); |
| 237 | *Addr = (Value >> 24) & 0xFF; |
| 238 | *(Addr+1) = (Value >> 16) & 0xFF; |
| 239 | *(Addr+2) = (Value >> 8) & 0xFF; |
| 240 | *(Addr+3) = Value & 0xFF; |
| 241 | } |
| 242 | |
| 243 | void writeInt64BE(uint8_t *Addr, uint64_t Value) { |
Rafael Espindola | 41cb64f | 2013-04-15 14:44:24 +0000 | [diff] [blame] | 244 | if (sys::IsLittleEndianHost) |
Adhemerval Zanella | 5fc11b3 | 2012-10-25 13:13:48 +0000 | [diff] [blame] | 245 | Value = sys::SwapByteOrder(Value); |
| 246 | *Addr = (Value >> 56) & 0xFF; |
| 247 | *(Addr+1) = (Value >> 48) & 0xFF; |
| 248 | *(Addr+2) = (Value >> 40) & 0xFF; |
| 249 | *(Addr+3) = (Value >> 32) & 0xFF; |
| 250 | *(Addr+4) = (Value >> 24) & 0xFF; |
| 251 | *(Addr+5) = (Value >> 16) & 0xFF; |
| 252 | *(Addr+6) = (Value >> 8) & 0xFF; |
| 253 | *(Addr+7) = Value & 0xFF; |
| 254 | } |
| 255 | |
Eli Bendersky | 667b879 | 2012-05-01 10:41:12 +0000 | [diff] [blame] | 256 | /// \brief Given the common symbols discovered in the object file, emit a |
| 257 | /// new section for them and update the symbol mappings in the object and |
| 258 | /// symbol table. |
| 259 | void emitCommonSymbols(ObjectImage &Obj, |
| 260 | const CommonSymbolMap &CommonSymbols, |
| 261 | uint64_t TotalSize, |
| 262 | SymbolTableMap &SymbolTable); |
Preston Gurd | 2138ef6 | 2012-04-12 20:13:57 +0000 | [diff] [blame] | 263 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 264 | /// \brief Emits section data from the object file to the MemoryManager. |
| 265 | /// \param IsCode if it's true then allocateCodeSection() will be |
Eli Bendersky | 0e2ac5b | 2012-04-29 12:40:47 +0000 | [diff] [blame] | 266 | /// used for emits, else allocateDataSection() will be used. |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 267 | /// \return SectionID. |
Preston Gurd | cc31af9 | 2012-04-16 22:12:58 +0000 | [diff] [blame] | 268 | unsigned emitSection(ObjectImage &Obj, |
| 269 | const SectionRef &Section, |
| 270 | bool IsCode); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 271 | |
| 272 | /// \brief Find Section in LocalSections. If the secton is not found - emit |
| 273 | /// it and store in LocalSections. |
| 274 | /// \param IsCode if it's true then allocateCodeSection() will be |
| 275 | /// used for emmits, else allocateDataSection() will be used. |
| 276 | /// \return SectionID. |
Preston Gurd | cc31af9 | 2012-04-16 22:12:58 +0000 | [diff] [blame] | 277 | unsigned findOrEmitSection(ObjectImage &Obj, |
| 278 | const SectionRef &Section, |
| 279 | bool IsCode, |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 280 | ObjSectionToIDMap &LocalSections); |
| 281 | |
Eli Bendersky | 667b879 | 2012-05-01 10:41:12 +0000 | [diff] [blame] | 282 | // \brief Add a relocation entry that uses the given section. |
| 283 | void addRelocationForSection(const RelocationEntry &RE, unsigned SectionID); |
| 284 | |
| 285 | // \brief Add a relocation entry that uses the given symbol. This symbol may |
| 286 | // be found in the global symbol table, or it may be external. |
| 287 | void addRelocationForSymbol(const RelocationEntry &RE, StringRef SymbolName); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 288 | |
| 289 | /// \brief Emits long jump instruction to Addr. |
| 290 | /// \return Pointer to the memory area for emitting target address. |
| 291 | uint8_t* createStubFunction(uint8_t *Addr); |
| 292 | |
| 293 | /// \brief Resolves relocations from Relocs list with address from Value. |
| 294 | void resolveRelocationList(const RelocationList &Relocs, uint64_t Value); |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 295 | |
| 296 | /// \brief A object file specific relocation resolver |
Rafael Espindola | b39478e | 2013-04-29 19:33:51 +0000 | [diff] [blame] | 297 | /// \param RE The relocation to be resolved |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 298 | /// \param Value Target symbol address to apply the relocation action |
Rafael Espindola | f1f1c62 | 2013-04-29 17:24:34 +0000 | [diff] [blame] | 299 | virtual void resolveRelocation(const RelocationEntry &RE, uint64_t Value) = 0; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 300 | |
Eli Bendersky | 0e2ac5b | 2012-04-29 12:40:47 +0000 | [diff] [blame] | 301 | /// \brief Parses the object file relocation and stores it to Relocations |
| 302 | /// or SymbolRelocations (this depends on the object file type). |
Rafael Espindola | 4d4a48d | 2013-04-29 14:44:23 +0000 | [diff] [blame] | 303 | virtual void processRelocationRef(unsigned SectionID, |
Rafael Espindola | 3700894 | 2013-04-29 19:03:21 +0000 | [diff] [blame] | 304 | RelocationRef RelI, |
Preston Gurd | cc31af9 | 2012-04-16 22:12:58 +0000 | [diff] [blame] | 305 | ObjectImage &Obj, |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 306 | ObjSectionToIDMap &ObjSectionToID, |
Eli Bendersky | fc07908 | 2012-05-01 06:58:59 +0000 | [diff] [blame] | 307 | const SymbolTableMap &Symbols, |
Eli Bendersky | 0e2ac5b | 2012-04-29 12:40:47 +0000 | [diff] [blame] | 308 | StubMap &Stubs) = 0; |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 309 | |
Eli Bendersky | b92e1cf | 2012-04-30 12:15:58 +0000 | [diff] [blame] | 310 | /// \brief Resolve relocations to external symbols. |
| 311 | void resolveExternalSymbols(); |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 312 | |
| 313 | /// \brief Update GOT entries for external symbols. |
| 314 | // The base class does nothing. ELF overrides this. |
| 315 | virtual void updateGOTEntries(StringRef Name, uint64_t Addr) {} |
| 316 | |
Andrew Kaylor | adc7056 | 2012-10-02 21:18:39 +0000 | [diff] [blame] | 317 | virtual ObjectImage *createObjectImage(ObjectBuffer *InputBuffer); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 318 | public: |
| 319 | RuntimeDyldImpl(RTDyldMemoryManager *mm) : MemMgr(mm), HasError(false) {} |
| 320 | |
| 321 | virtual ~RuntimeDyldImpl(); |
| 322 | |
Andrew Kaylor | adc7056 | 2012-10-02 21:18:39 +0000 | [diff] [blame] | 323 | ObjectImage *loadObject(ObjectBuffer *InputBuffer); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 324 | |
| 325 | void *getSymbolAddress(StringRef Name) { |
| 326 | // FIXME: Just look up as a function for now. Overly simple of course. |
| 327 | // Work in progress. |
Eli Bendersky | fc07908 | 2012-05-01 06:58:59 +0000 | [diff] [blame] | 328 | if (GlobalSymbolTable.find(Name) == GlobalSymbolTable.end()) |
Jim Grosbach | eff0a40 | 2012-01-16 22:26:39 +0000 | [diff] [blame] | 329 | return 0; |
Eli Bendersky | fc07908 | 2012-05-01 06:58:59 +0000 | [diff] [blame] | 330 | SymbolLoc Loc = GlobalSymbolTable.lookup(Name); |
Jim Grosbach | eff0a40 | 2012-01-16 22:26:39 +0000 | [diff] [blame] | 331 | return getSectionAddress(Loc.first) + Loc.second; |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 332 | } |
| 333 | |
Jim Grosbach | dc1123f | 2012-09-05 16:50:40 +0000 | [diff] [blame] | 334 | uint64_t getSymbolLoadAddress(StringRef Name) { |
| 335 | // FIXME: Just look up as a function for now. Overly simple of course. |
| 336 | // Work in progress. |
| 337 | if (GlobalSymbolTable.find(Name) == GlobalSymbolTable.end()) |
| 338 | return 0; |
| 339 | SymbolLoc Loc = GlobalSymbolTable.lookup(Name); |
| 340 | return getSectionLoadAddress(Loc.first) + Loc.second; |
| 341 | } |
| 342 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 343 | void resolveRelocations(); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 344 | |
Danil Malyshev | 70d22cc | 2012-03-30 16:45:19 +0000 | [diff] [blame] | 345 | void reassignSectionAddress(unsigned SectionID, uint64_t Addr); |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 346 | |
Jim Grosbach | 6d61397 | 2012-09-13 21:50:06 +0000 | [diff] [blame] | 347 | void mapSectionAddress(const void *LocalAddress, uint64_t TargetAddress); |
Jim Grosbach | 0ddb3a4 | 2012-01-16 23:50:55 +0000 | [diff] [blame] | 348 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 349 | // Is the linker in an error state? |
| 350 | bool hasError() { return HasError; } |
| 351 | |
| 352 | // Mark the error condition as handled and continue. |
| 353 | void clearError() { HasError = false; } |
| 354 | |
| 355 | // Get the error message. |
| 356 | StringRef getErrorString() { return ErrorStr; } |
| 357 | |
Andrew Kaylor | adc7056 | 2012-10-02 21:18:39 +0000 | [diff] [blame] | 358 | virtual bool isCompatibleFormat(const ObjectBuffer *Buffer) const = 0; |
Rafael Espindola | fa5942b | 2013-05-05 20:43:10 +0000 | [diff] [blame] | 359 | |
| 360 | virtual StringRef getEHFrameSection(); |
Andrew Kaylor | 4612fed | 2013-08-19 23:27:43 +0000 | [diff] [blame] | 361 | |
| 362 | virtual void finalizeLoad() {} |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 363 | }; |
| 364 | |
Danil Malyshev | 72510f2 | 2011-07-13 07:57:58 +0000 | [diff] [blame] | 365 | } // end namespace llvm |
| 366 | |
| 367 | |
| 368 | #endif |