blob: 304014edb2471ddbb8ad23d17a3fc0927a4a7c70 [file] [log] [blame]
Jim Grosbach06594e12012-01-16 23:50:58 +00001//===-- RuntimeDyld.cpp - Run-time dynamic linker for MC-JIT ----*- C++ -*-===//
Jim Grosbachf016b0a2011-03-21 22:15:52 +00002//
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// Implementation of the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/ExecutionEngine/RuntimeDyld.h"
Lang Hamesf7acddd2014-07-22 22:47:39 +000015#include "RuntimeDyldCheckerImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000016#include "RuntimeDyldELF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "RuntimeDyldImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000018#include "RuntimeDyldMachO.h"
Rafael Espindola0e77a942014-12-10 20:46:55 +000019#include "llvm/Object/ELFObjectFile.h"
Tim Northover94bc73d2012-10-29 10:47:04 +000020#include "llvm/Support/MathExtras.h"
Andrew Kaylor4fba0492013-10-21 17:42:06 +000021#include "llvm/Support/MutexGuard.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000022
Jim Grosbachf016b0a2011-03-21 22:15:52 +000023using namespace llvm;
24using namespace llvm::object;
25
Chandler Carruthf58e3762014-04-22 03:04:17 +000026#define DEBUG_TYPE "dyld"
27
Chandler Carruth086f7082011-04-05 23:54:31 +000028// Empty out-of-line virtual destructor as the key function.
Danil Malyshev72510f22011-07-13 07:57:58 +000029RuntimeDyldImpl::~RuntimeDyldImpl() {}
Chandler Carruth086f7082011-04-05 23:54:31 +000030
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000031// Pin LoadedObjectInfo's vtables to this file.
32void RuntimeDyld::LoadedObjectInfo::anchor() {}
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000033
Jim Grosbachf016b0a2011-03-21 22:15:52 +000034namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000035
Juergen Ributzka7608dc02014-03-21 20:28:42 +000036void RuntimeDyldImpl::registerEHFrames() {}
Rafael Espindolafa5942b2013-05-05 20:43:10 +000037
Juergen Ributzka7608dc02014-03-21 20:28:42 +000038void RuntimeDyldImpl::deregisterEHFrames() {}
Andrew Kaylorc442a762013-10-16 00:14:21 +000039
Benjamin Kramer01e17892014-08-26 14:22:05 +000040#ifndef NDEBUG
Lang Hamesf4b3b672014-08-25 22:19:14 +000041static void dumpSectionMemory(const SectionEntry &S, StringRef State) {
42 dbgs() << "----- Contents of section " << S.Name << " " << State << " -----";
43
Lang Hames24f0c242014-10-01 21:57:47 +000044 if (S.Address == nullptr) {
45 dbgs() << "\n <section not emitted>\n";
46 return;
47 }
48
Lang Hamesf4b3b672014-08-25 22:19:14 +000049 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000050
51 uint8_t *DataAddr = S.Address;
52 uint64_t LoadAddr = S.LoadAddress;
53
Lang Hames8d4d0262014-09-18 16:43:24 +000054 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Lang Hames86b08f02014-08-25 18:37:38 +000055 unsigned BytesRemaining = S.Size;
56
57 if (StartPadding) {
Lang Hamesda016022014-09-23 19:20:57 +000058 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr & ~(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000059 while (StartPadding--)
60 dbgs() << " ";
61 }
62
63 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +000064 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +000065 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000066
67 dbgs() << " " << format("%02x", *DataAddr);
68
69 ++DataAddr;
70 ++LoadAddr;
71 --BytesRemaining;
72 }
73
74 dbgs() << "\n";
75}
Benjamin Kramer01e17892014-08-26 14:22:05 +000076#endif
Lang Hames86b08f02014-08-25 18:37:38 +000077
Jim Grosbach733d3052011-04-12 21:20:41 +000078// Resolve the relocations for all symbols we currently know about.
79void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000080 MutexGuard locked(lock);
81
Preston Gurd2138ef62012-04-12 20:13:57 +000082 // First, resolve relocations associated with external symbols.
Eli Benderskyb92e1cf2012-04-30 12:15:58 +000083 resolveExternalSymbols();
Danil Malyshev70d22cc2012-03-30 16:45:19 +000084
Jim Grosbacheff0a402012-01-16 22:26:39 +000085 // Just iterate over the sections we have and resolve all the relocations
86 // in them. Gross overkill, but it gets the job done.
87 for (int i = 0, e = Sections.size(); i != e; ++i) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +000088 // The Section here (Sections[i]) refers to the section in which the
89 // symbol for the relocation is located. The SectionID in the relocation
90 // entry provides the section to which the relocation will be applied.
Andrew Kaylora714efc2012-11-05 20:57:16 +000091 uint64_t Addr = Sections[i].LoadAddress;
Jim Grosbach36f025e2014-04-21 19:23:59 +000092 DEBUG(dbgs() << "Resolving relocations Section #" << i << "\t"
Lang Hames86b08f02014-08-25 18:37:38 +000093 << format("0x%x", Addr) << "\n");
Lang Hamesf4b3b672014-08-25 22:19:14 +000094 DEBUG(dumpSectionMemory(Sections[i], "before relocations"));
Andrew Kaylora714efc2012-11-05 20:57:16 +000095 resolveRelocationList(Relocations[i], Addr);
Lang Hamesf4b3b672014-08-25 22:19:14 +000096 DEBUG(dumpSectionMemory(Sections[i], "after relocations"));
Andrew Kaylorea395922013-10-01 01:47:35 +000097 Relocations.erase(i);
Jim Grosbacheff0a402012-01-16 22:26:39 +000098 }
Jim Grosbach733d3052011-04-12 21:20:41 +000099}
100
Jim Grosbach6d613972012-09-13 21:50:06 +0000101void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000102 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000103 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000104 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
105 if (Sections[i].Address == LocalAddress) {
106 reassignSectionAddress(i, TargetAddress);
107 return;
108 }
109 }
110 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000111}
112
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000113static std::error_code getOffset(const SymbolRef &Sym, uint64_t &Result) {
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000114 uint64_t Address;
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000115 if (std::error_code EC = Sym.getAddress(Address))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000116 return EC;
117
118 if (Address == UnknownAddressOrSize) {
119 Result = UnknownAddressOrSize;
120 return object_error::success;
121 }
122
123 const ObjectFile *Obj = Sym.getObject();
124 section_iterator SecI(Obj->section_begin());
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000125 if (std::error_code EC = Sym.getSection(SecI))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000126 return EC;
127
Rafael Espindolafdf5f7a2014-10-08 15:12:20 +0000128 if (SecI == Obj->section_end()) {
129 Result = UnknownAddressOrSize;
130 return object_error::success;
131 }
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000132
Rafael Espindola80291272014-10-08 15:28:58 +0000133 uint64_t SectionAddress = SecI->getAddress();
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000134 Result = Address - SectionAddress;
135 return object_error::success;
136}
137
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000138std::pair<unsigned, unsigned>
139RuntimeDyldImpl::loadObjectImpl(const object::ObjectFile &Obj) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000140 MutexGuard locked(lock);
141
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000142 // Grab the first Section ID. We'll use this later to construct the underlying
143 // range for the returned LoadedObjectInfo.
144 unsigned SectionsAddedBeginIdx = Sections.size();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000145
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000146 // Save information about our target
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000147 Arch = (Triple::ArchType)Obj.getArch();
148 IsTargetLittleEndian = Obj.isLittleEndian();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000149
Lang Hames937ec542014-02-12 21:30:07 +0000150 // Compute the memory size required to load all sections to be loaded
151 // and pass this information to the memory manager
152 if (MemMgr->needsToReserveAllocationSpace()) {
153 uint64_t CodeSize = 0, DataSizeRO = 0, DataSizeRW = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000154 computeTotalAllocSize(Obj, CodeSize, DataSizeRO, DataSizeRW);
Lang Hames937ec542014-02-12 21:30:07 +0000155 MemMgr->reserveAllocationSpace(CodeSize, DataSizeRO, DataSizeRW);
156 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000157
Eli Benderskyfc079082012-05-01 06:58:59 +0000158 // Used sections from the object file
159 ObjSectionToIDMap LocalSections;
160
Tim Northover94bc73d2012-10-29 10:47:04 +0000161 // Common symbols requiring allocation, with their sizes and alignments
Eli Benderskyfc079082012-05-01 06:58:59 +0000162 CommonSymbolMap CommonSymbols;
Tim Northover94bc73d2012-10-29 10:47:04 +0000163 // Maximum required total memory to allocate all common symbols
Eli Benderskyfc079082012-05-01 06:58:59 +0000164 uint64_t CommonSize = 0;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000165
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000166 // Parse symbols
167 DEBUG(dbgs() << "Parse symbols:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000168 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000169 ++I) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000170 object::SymbolRef::Type SymType;
171 StringRef Name;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000172 Check(I->getType(SymType));
173 Check(I->getName(Name));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000174
Jim Grosbach36f025e2014-04-21 19:23:59 +0000175 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000176
Lang Hames937ec542014-02-12 21:30:07 +0000177 bool IsCommon = Flags & SymbolRef::SF_Common;
178 if (IsCommon) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000179 // Add the common symbols to a list. We'll allocate them all below.
Lang Hames36072da2014-05-12 21:39:59 +0000180 if (!GlobalSymbolTable.count(Name)) {
181 uint32_t Align;
182 Check(I->getAlignment(Align));
183 uint64_t Size = 0;
184 Check(I->getSize(Size));
185 CommonSize += Size + Align;
186 CommonSymbols[*I] = CommonSymbolInfo(Size, Align);
187 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000188 } else {
189 if (SymType == object::SymbolRef::ST_Function ||
Akira Hatanaka111174b2012-08-17 21:28:04 +0000190 SymType == object::SymbolRef::ST_Data ||
191 SymType == object::SymbolRef::ST_Unknown) {
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000192 uint64_t SectOffset;
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000193 StringRef SectionData;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000194 section_iterator SI = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000195 Check(getOffset(*I, SectOffset));
196 Check(I->getSection(SI));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000197 if (SI == Obj.section_end())
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000198 continue;
Lang Hames937ec542014-02-12 21:30:07 +0000199 Check(SI->getContents(SectionData));
Rafael Espindola80291272014-10-08 15:28:58 +0000200 bool IsCode = SI->isText();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000201 unsigned SectionID =
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000202 findOrEmitSection(Obj, *SI, IsCode, LocalSections);
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000203 DEBUG(dbgs() << "\tOffset: " << format("%p", (uintptr_t)SectOffset)
204 << " flags: " << Flags << " SID: " << SectionID);
Lang Hames2d0d0962014-10-21 00:24:02 +0000205 GlobalSymbolTable[Name] = SymbolLoc(SectionID, SectOffset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000206 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000207 }
208 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name << "\n");
209 }
210
Preston Gurd2138ef62012-04-12 20:13:57 +0000211 // Allocate common symbols
212 if (CommonSize != 0)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000213 emitCommonSymbols(Obj, CommonSymbols, CommonSize, GlobalSymbolTable);
Preston Gurd2138ef62012-04-12 20:13:57 +0000214
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000215 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000216 DEBUG(dbgs() << "Parse relocations:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000217 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000218 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000219 unsigned SectionID = 0;
220 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000221 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000222
Jim Grosbach36f025e2014-04-21 19:23:59 +0000223 relocation_iterator I = SI->relocation_begin();
224 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000225
226 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000227 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000228
Rafael Espindola80291272014-10-08 15:28:58 +0000229 bool IsCode = RelocatedSection->isText();
Juergen Ributzka046709f2014-03-21 07:26:41 +0000230 SectionID =
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000231 findOrEmitSection(Obj, *RelocatedSection, IsCode, LocalSections);
Juergen Ributzka046709f2014-03-21 07:26:41 +0000232 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
233
Rafael Espindola77314aa2014-04-03 22:42:22 +0000234 for (; I != E;)
Lang Hamesa5cd9502014-11-27 05:40:13 +0000235 I = processRelocationRef(SectionID, I, Obj, LocalSections, Stubs);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000236
Lang Hamesf7acddd2014-07-22 22:47:39 +0000237 // If there is an attached checker, notify it about the stubs for this
238 // section so that they can be verified.
239 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000240 Checker->registerStubMap(Obj.getFileName(), SectionID, Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000241 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000242
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000243 // Give the subclasses a chance to tie-up any loose ends.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000244 finalizeLoad(Obj, LocalSections);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000245
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000246 unsigned SectionsAddedEndIdx = Sections.size();
247
248 return std::make_pair(SectionsAddedBeginIdx, SectionsAddedEndIdx);
Lang Hames937ec542014-02-12 21:30:07 +0000249}
250
251// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000252// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000253// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000254static uint64_t
255computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
256 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000257 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000258 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
259 uint64_t AlignedSize =
260 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000261 TotalSize += AlignedSize;
262 }
263 return TotalSize;
264}
265
Rafael Espindola0e77a942014-12-10 20:46:55 +0000266static bool isRequiredForExecution(const SectionRef &Section) {
267 const ObjectFile *Obj = Section.getObject();
268 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
269 return ELFObj->getSectionFlags(Section) & ELF::SHF_ALLOC;
270 assert(isa<MachOObjectFile>(Obj));
271 return true;
272 }
273
274static bool isReadOnlyData(const SectionRef &Section) {
275 const ObjectFile *Obj = Section.getObject();
276 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
277 return !(ELFObj->getSectionFlags(Section) &
278 (ELF::SHF_WRITE | ELF::SHF_EXECINSTR));
279 assert(isa<MachOObjectFile>(Obj));
280 return false;
281}
282
283static bool isZeroInit(const SectionRef &Section) {
284 const ObjectFile *Obj = Section.getObject();
285 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
286 return ELFObj->getSectionType(Section) == ELF::SHT_NOBITS;
287
288 auto *MachO = cast<MachOObjectFile>(Obj);
289 unsigned SectionType = MachO->getSectionType(Section);
290 return SectionType == MachO::S_ZEROFILL ||
291 SectionType == MachO::S_GB_ZEROFILL;
292}
293
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000294// Compute an upper bound of the memory size that is required to load all
295// sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000296void RuntimeDyldImpl::computeTotalAllocSize(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000297 uint64_t &CodeSize,
298 uint64_t &DataSizeRO,
299 uint64_t &DataSizeRW) {
Lang Hames937ec542014-02-12 21:30:07 +0000300 // Compute the size of all sections required for execution
301 std::vector<uint64_t> CodeSectionSizes;
302 std::vector<uint64_t> ROSectionSizes;
303 std::vector<uint64_t> RWSectionSizes;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000304 uint64_t MaxAlignment = sizeof(void *);
Lang Hames937ec542014-02-12 21:30:07 +0000305
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000306 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000307 // also determine the max alignment of all sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000308 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000309 SI != SE; ++SI) {
310 const SectionRef &Section = *SI;
311
Rafael Espindola0e77a942014-12-10 20:46:55 +0000312 bool IsRequired = isRequiredForExecution(Section);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000313
Lang Hames937ec542014-02-12 21:30:07 +0000314 // Consider only the sections that are required to be loaded for execution
315 if (IsRequired) {
Lang Hames937ec542014-02-12 21:30:07 +0000316 StringRef Name;
Rafael Espindola80291272014-10-08 15:28:58 +0000317 uint64_t DataSize = Section.getSize();
318 uint64_t Alignment64 = Section.getAlignment();
319 bool IsCode = Section.isText();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000320 bool IsReadOnly = isReadOnlyData(Section);
Lang Hames937ec542014-02-12 21:30:07 +0000321 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000322 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
323
Lang Hames937ec542014-02-12 21:30:07 +0000324 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
325 uint64_t SectionSize = DataSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000326
327 // The .eh_frame section (at least on Linux) needs an extra four bytes
328 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000329 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000330 // slightly different name, so this won't have any effect for MachO
331 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000332 if (Name == ".eh_frame")
333 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000334
Lang Hames937ec542014-02-12 21:30:07 +0000335 if (SectionSize > 0) {
336 // save the total size of the section
337 if (IsCode) {
338 CodeSectionSizes.push_back(SectionSize);
339 } else if (IsReadOnly) {
340 ROSectionSizes.push_back(SectionSize);
341 } else {
342 RWSectionSizes.push_back(SectionSize);
343 }
344 // update the max alignment
345 if (Alignment > MaxAlignment) {
346 MaxAlignment = Alignment;
347 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000348 }
Lang Hames937ec542014-02-12 21:30:07 +0000349 }
350 }
351
352 // Compute the size of all common symbols
353 uint64_t CommonSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000354 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000355 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000356 uint32_t Flags = I->getFlags();
357 if (Flags & SymbolRef::SF_Common) {
358 // Add the common symbols to a list. We'll allocate them all below.
359 uint64_t Size = 0;
360 Check(I->getSize(Size));
361 CommonSize += Size;
362 }
363 }
364 if (CommonSize != 0) {
365 RWSectionSizes.push_back(CommonSize);
366 }
367
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000368 // Compute the required allocation space for each different type of sections
369 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000370 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000371 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000372 // depends on the order, in which the sections are allocated.
373 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, MaxAlignment);
374 DataSizeRO = computeAllocationSizeForSections(ROSectionSizes, MaxAlignment);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000375 DataSizeRW = computeAllocationSizeForSections(RWSectionSizes, MaxAlignment);
Lang Hames937ec542014-02-12 21:30:07 +0000376}
377
378// compute stub buffer size for the given section
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000379unsigned RuntimeDyldImpl::computeSectionStubBufSize(const ObjectFile &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000380 const SectionRef &Section) {
381 unsigned StubSize = getMaxStubSize();
382 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000383 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000384 }
385 // FIXME: this is an inefficient way to handle this. We should computed the
386 // necessary section allocation size in loadObject by walking all the sections
387 // once.
388 unsigned StubBufSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000389 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000390 SI != SE; ++SI) {
391 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000392 if (!(RelSecI == Section))
393 continue;
394
Jim Grosbach36f025e2014-04-21 19:23:59 +0000395 for (const RelocationRef &Reloc : SI->relocations()) {
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000396 (void)Reloc;
Lang Hames937ec542014-02-12 21:30:07 +0000397 StubBufSize += StubSize;
398 }
399 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000400
Lang Hames937ec542014-02-12 21:30:07 +0000401 // Get section data size and alignment
Rafael Espindola80291272014-10-08 15:28:58 +0000402 uint64_t DataSize = Section.getSize();
403 uint64_t Alignment64 = Section.getAlignment();
Lang Hames937ec542014-02-12 21:30:07 +0000404
405 // Add stubbuf size alignment
406 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
407 unsigned StubAlignment = getStubAlignment();
408 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
409 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000410 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000411 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000412}
413
Lang Hamese1287c02014-08-29 23:17:47 +0000414uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
415 unsigned Size) const {
416 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000417 if (IsTargetLittleEndian) {
418 Src += Size - 1;
419 while (Size--)
420 Result = (Result << 8) | *Src--;
421 } else
422 while (Size--)
423 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000424
425 return Result;
426}
427
428void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
429 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000430 if (IsTargetLittleEndian) {
431 while (Size--) {
432 *Dst++ = Value & 0xFF;
433 Value >>= 8;
434 }
Lang Hamese1287c02014-08-29 23:17:47 +0000435 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000436 Dst += Size - 1;
437 while (Size--) {
438 *Dst-- = Value & 0xFF;
439 Value >>= 8;
440 }
Lang Hamese1287c02014-08-29 23:17:47 +0000441 }
442}
443
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000444void RuntimeDyldImpl::emitCommonSymbols(const ObjectFile &Obj,
Eli Bendersky667b8792012-05-01 10:41:12 +0000445 const CommonSymbolMap &CommonSymbols,
446 uint64_t TotalSize,
447 SymbolTableMap &SymbolTable) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000448 // Allocate memory for the section
449 unsigned SectionID = Sections.size();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000450 uint8_t *Addr = MemMgr->allocateDataSection(TotalSize, sizeof(void *),
451 SectionID, StringRef(), false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000452 if (!Addr)
453 report_fatal_error("Unable to allocate memory for common symbols!");
454 uint64_t Offset = 0;
Lang Hames86b08f02014-08-25 18:37:38 +0000455 Sections.push_back(SectionEntry("<common symbols>", Addr, TotalSize, 0));
Preston Gurd2138ef62012-04-12 20:13:57 +0000456 memset(Addr, 0, TotalSize);
457
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000458 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID << " new addr: "
459 << format("%p", Addr) << " DataSize: " << TotalSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000460
461 // Assign the address of each symbol
Jim Grosbach36f025e2014-04-21 19:23:59 +0000462 for (CommonSymbolMap::const_iterator it = CommonSymbols.begin(),
463 itEnd = CommonSymbols.end(); it != itEnd; ++it) {
464 uint64_t Size = it->second.first;
465 uint64_t Align = it->second.second;
Preston Gurd2138ef62012-04-12 20:13:57 +0000466 StringRef Name;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000467 it->first.getName(Name);
Tim Northover94bc73d2012-10-29 10:47:04 +0000468 if (Align) {
469 // This symbol has an alignment requirement.
470 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
471 Addr += AlignOffset;
472 Offset += AlignOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000473 DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
474 << format("%p\n", Addr));
Tim Northover94bc73d2012-10-29 10:47:04 +0000475 }
Eli Bendersky667b8792012-05-01 10:41:12 +0000476 SymbolTable[Name.data()] = SymbolLoc(SectionID, Offset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000477 Offset += Size;
478 Addr += Size;
479 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000480}
481
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000482unsigned RuntimeDyldImpl::emitSection(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000483 const SectionRef &Section, bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000484
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000485 StringRef data;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000486 Check(Section.getContents(data));
Rafael Espindola80291272014-10-08 15:28:58 +0000487 uint64_t Alignment64 = Section.getAlignment();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000488
489 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000490 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000491 unsigned StubBufSize = 0;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000492 StringRef Name;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000493 bool IsRequired = isRequiredForExecution(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000494 bool IsVirtual = Section.isVirtual();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000495 bool IsZeroInit = isZeroInit(Section);
496 bool IsReadOnly = isReadOnlyData(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000497 uint64_t DataSize = Section.getSize();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000498 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000499
500 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000501
Andrew Kaylor877b9312013-10-16 00:32:24 +0000502 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
503 // with zeroes added at the end. For MachO objects, this section has a
504 // slightly different name, so this won't have any effect for MachO objects.
505 if (Name == ".eh_frame")
506 PaddingSize = 4;
507
Lang Hamesd4100172014-02-11 05:28:24 +0000508 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000509 unsigned SectionID = Sections.size();
510 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000511 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000512
513 // Some sections, such as debug info, don't need to be loaded for execution.
514 // Leave those where they are.
515 if (IsRequired) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000516 Allocate = DataSize + PaddingSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000517 Addr = IsCode ? MemMgr->allocateCodeSection(Allocate, Alignment, SectionID,
518 Name)
519 : MemMgr->allocateDataSection(Allocate, Alignment, SectionID,
520 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000521 if (!Addr)
522 report_fatal_error("Unable to allocate section memory!");
523
524 // Virtual sections have no data in the object image, so leave pData = 0
525 if (!IsVirtual)
526 pData = data.data();
527
528 // Zero-initialize or copy the data from the image
529 if (IsZeroInit || IsVirtual)
530 memset(Addr, 0, DataSize);
531 else
532 memcpy(Addr, pData, DataSize);
533
Andrew Kaylor877b9312013-10-16 00:32:24 +0000534 // Fill in any extra bytes we allocated for padding
535 if (PaddingSize != 0) {
536 memset(Addr + DataSize, 0, PaddingSize);
537 // Update the DataSize variable so that the stub offset is set correctly.
538 DataSize += PaddingSize;
539 }
540
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000541 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000542 << " obj addr: " << format("%p", pData)
543 << " new addr: " << format("%p", Addr)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000544 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
545 << " Allocate: " << Allocate << "\n");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000546 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000547 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000548 // to handle later processing (and by 'handle' I mean don't do anything
549 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000550 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000551 Addr = nullptr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000552 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
553 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
554 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
555 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000556 }
557
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000558 Sections.push_back(SectionEntry(Name, Addr, DataSize, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000559
560 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000561 Checker->registerSection(Obj.getFileName(), SectionID);
Lang Hames587ee6a2014-09-03 05:01:46 +0000562
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000563 return SectionID;
564}
565
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000566unsigned RuntimeDyldImpl::findOrEmitSection(const ObjectFile &Obj,
Preston Gurdcc31af92012-04-16 22:12:58 +0000567 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000568 bool IsCode,
569 ObjSectionToIDMap &LocalSections) {
570
571 unsigned SectionID = 0;
572 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
573 if (i != LocalSections.end())
574 SectionID = i->second;
575 else {
Preston Gurdcc31af92012-04-16 22:12:58 +0000576 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000577 LocalSections[Section] = SectionID;
578 }
579 return SectionID;
580}
581
Eli Bendersky667b8792012-05-01 10:41:12 +0000582void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
583 unsigned SectionID) {
584 Relocations[SectionID].push_back(RE);
585}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000586
Eli Bendersky667b8792012-05-01 10:41:12 +0000587void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
588 StringRef SymbolName) {
589 // Relocation by symbol. If the symbol is found in the global symbol table,
590 // create an appropriate section relocation. Otherwise, add it to
591 // ExternalSymbolRelocations.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000592 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000593 if (Loc == GlobalSymbolTable.end()) {
594 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000595 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000596 // Copy the RE since we want to modify its addend.
597 RelocationEntry RECopy = RE;
598 RECopy.Addend += Loc->second.second;
599 Relocations[Loc->second.first].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000600 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000601}
602
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000603uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
604 unsigned AbiVariant) {
Tim Northovere19bed72014-07-23 12:32:47 +0000605 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be) {
Tim Northover37cde972013-05-04 20:14:09 +0000606 // This stub has to be able to access the full address space,
607 // since symbol lookup won't necessarily find a handy, in-range,
608 // PLT stub for functions which could be anywhere.
Tim Northover37cde972013-05-04 20:14:09 +0000609 // Stub can use ip0 (== x16) to calculate address
Daniel Sanders66e799f2014-11-06 09:53:05 +0000610 writeBytesUnaligned(0xd2e00010, Addr, 4); // movz ip0, #:abs_g3:<addr>
611 writeBytesUnaligned(0xf2c00010, Addr+4, 4); // movk ip0, #:abs_g2_nc:<addr>
612 writeBytesUnaligned(0xf2a00010, Addr+8, 4); // movk ip0, #:abs_g1_nc:<addr>
613 writeBytesUnaligned(0xf2800010, Addr+12, 4); // movk ip0, #:abs_g0_nc:<addr>
614 writeBytesUnaligned(0xd61f0200, Addr+16, 4); // br ip0
Tim Northover37cde972013-05-04 20:14:09 +0000615
616 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000617 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000618 // TODO: There is only ARM far stub now. We should add the Thumb stub,
619 // and stubs for branches Thumb - ARM and ARM - Thumb.
Daniel Sanders66e799f2014-11-06 09:53:05 +0000620 writeBytesUnaligned(0xe51ff004, Addr, 4); // ldr pc,<label>
621 return Addr + 4;
NAKAMURA Takumif97efd92012-12-04 00:08:14 +0000622 } else if (Arch == Triple::mipsel || Arch == Triple::mips) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000623 // 0: 3c190000 lui t9,%hi(addr).
624 // 4: 27390000 addiu t9,t9,%lo(addr).
625 // 8: 03200008 jr t9.
626 // c: 00000000 nop.
627 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
628 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
629
Daniel Sanders66e799f2014-11-06 09:53:05 +0000630 writeBytesUnaligned(LuiT9Instr, Addr, 4);
631 writeBytesUnaligned(AdduiT9Instr, Addr+4, 4);
632 writeBytesUnaligned(JrT9Instr, Addr+8, 4);
633 writeBytesUnaligned(NopInstr, Addr+12, 4);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000634 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000635 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000636 // Depending on which version of the ELF ABI is in use, we need to
637 // generate one of two variants of the stub. They both start with
638 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000639 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
640 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
641 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
642 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
643 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000644 if (AbiVariant == 2) {
645 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
646 // The address is already in r12 as required by the ABI. Branch to it.
647 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
648 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
649 writeInt32BE(Addr+28, 0x4E800420); // bctr
650 } else {
651 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
652 // Load the function address on r11 and sets it to control register. Also
653 // loads the function TOC in r2 and environment pointer to r11.
654 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
655 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
656 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
657 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
658 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
659 writeInt32BE(Addr+40, 0x4E800420); // bctr
660 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000661 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000662 } else if (Arch == Triple::systemz) {
663 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
664 writeInt16BE(Addr+2, 0x0000);
665 writeInt16BE(Addr+4, 0x0004);
666 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
667 // 8-byte address stored at Addr + 8
668 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000669 } else if (Arch == Triple::x86_64) {
670 *Addr = 0xFF; // jmp
671 *(Addr+1) = 0x25; // rip
672 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +0000673 } else if (Arch == Triple::x86) {
674 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000675 }
676 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000677}
678
679// Assign an address to a symbol name and resolve all the relocations
680// associated with it.
681void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
682 uint64_t Addr) {
683 // The address to use for relocation resolution is not
684 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000685 // a remote execution environment of some sort. Relocations can't
686 // be applied until all the sections have been moved. The client must
687 // trigger this with a call to MCJIT::finalize() or
688 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000689 //
690 // Addr is a uint64_t because we can't assume the pointer width
691 // of the target is the same as that of the host. Just use a generic
692 // "big enough" type.
Lang Hames778ef5b2014-09-04 04:19:54 +0000693 DEBUG(dbgs() << "Reassigning address for section "
694 << SectionID << " (" << Sections[SectionID].Name << "): "
Lang Hamesda016022014-09-23 19:20:57 +0000695 << format("0x%016" PRIx64, Sections[SectionID].LoadAddress) << " -> "
696 << format("0x%016" PRIx64, Addr) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000697 Sections[SectionID].LoadAddress = Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000698}
699
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000700void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
701 uint64_t Value) {
702 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000703 const RelocationEntry &RE = Relocs[i];
704 // Ignore relocations for sections that were not loaded
Craig Topper353eda42014-04-24 06:44:33 +0000705 if (Sections[RE.SectionID].Address == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000706 continue;
707 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000708 }
709}
710
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000711void RuntimeDyldImpl::resolveExternalSymbols() {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000712 while (!ExternalSymbolRelocations.empty()) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000713 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
714
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000715 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +0000716 if (Name.size() == 0) {
717 // This is an absolute symbol, use an address of zero.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000718 DEBUG(dbgs() << "Resolving absolute relocations."
719 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000720 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000721 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000722 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +0000723 uint64_t Addr = 0;
724 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(Name);
725 if (Loc == GlobalSymbolTable.end()) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000726 // This is an external symbol, try to get its address from
727 // MemoryManager.
728 Addr = MemMgr->getSymbolAddress(Name.data());
729 // The call to getSymbolAddress may have caused additional modules to
730 // be loaded, which may have added new entries to the
731 // ExternalSymbolRelocations map. Consquently, we need to update our
732 // iterator. This is also why retrieval of the relocation list
733 // associated with this symbol is deferred until below this point.
734 // New entries may have been added to the relocation list.
735 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000736 } else {
737 // We found the symbol in our global table. It was probably in a
738 // Module that we loaded previously.
Yaron Kerenc9802882013-10-19 09:04:26 +0000739 SymbolLoc SymLoc = Loc->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000740 Addr = getSectionLoadAddress(SymLoc.first) + SymLoc.second;
741 }
742
743 // FIXME: Implement error handling that doesn't kill the host program!
744 if (!Addr)
745 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000746 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +0000747
748 updateGOTEntries(Name, Addr);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000749 DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
750 << format("0x%lx", Addr) << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000751 // This list may have been updated when we called getSymbolAddress, so
752 // don't change this code to get the list earlier.
753 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000754 resolveRelocationList(Relocs, Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000755 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000756
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000757 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000758 }
759}
760
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000761//===----------------------------------------------------------------------===//
762// RuntimeDyld class implementation
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000763
764uint64_t RuntimeDyld::LoadedObjectInfo::getSectionLoadAddress(
765 StringRef SectionName) const {
766 for (unsigned I = BeginIdx; I != EndIdx; ++I)
767 if (RTDyld.Sections[I].Name == SectionName)
768 return RTDyld.Sections[I].LoadAddress;
769
770 return 0;
771}
772
Danil Malyshev72510f22011-07-13 07:57:58 +0000773RuntimeDyld::RuntimeDyld(RTDyldMemoryManager *mm) {
Andrew Kaylora342cb92012-11-15 23:50:01 +0000774 // FIXME: There's a potential issue lurking here if a single instance of
775 // RuntimeDyld is used to load multiple objects. The current implementation
776 // associates a single memory manager with a RuntimeDyld instance. Even
777 // though the public class spawns a new 'impl' instance for each load,
778 // they share a single memory manager. This can become a problem when page
779 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +0000780 Dyld = nullptr;
Danil Malyshev72510f22011-07-13 07:57:58 +0000781 MM = mm;
Lang Hames868d4b32014-03-20 21:06:46 +0000782 ProcessAllSections = false;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000783 Checker = nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000784}
785
David Blaikie847d2a02014-09-04 18:37:29 +0000786RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000787
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000788static std::unique_ptr<RuntimeDyldELF>
Lang Hamesf7acddd2014-07-22 22:47:39 +0000789createRuntimeDyldELF(RTDyldMemoryManager *MM, bool ProcessAllSections,
790 RuntimeDyldCheckerImpl *Checker) {
Lang Hames868d4b32014-03-20 21:06:46 +0000791 std::unique_ptr<RuntimeDyldELF> Dyld(new RuntimeDyldELF(MM));
792 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000793 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000794 return Dyld;
795}
796
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000797static std::unique_ptr<RuntimeDyldMachO>
Lang Hamesa5216882014-07-17 18:54:50 +0000798createRuntimeDyldMachO(Triple::ArchType Arch, RTDyldMemoryManager *MM,
Lang Hamesf7acddd2014-07-22 22:47:39 +0000799 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
Lang Hamesa5216882014-07-17 18:54:50 +0000800 std::unique_ptr<RuntimeDyldMachO> Dyld(RuntimeDyldMachO::create(Arch, MM));
Lang Hames868d4b32014-03-20 21:06:46 +0000801 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000802 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000803 return Dyld;
804}
805
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000806std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
807RuntimeDyld::loadObject(const ObjectFile &Obj) {
808 if (!Dyld) {
809 if (Obj.isELF())
Aaron Ballman9fb41142014-11-26 15:27:39 +0000810 Dyld = createRuntimeDyldELF(MM, ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000811 else if (Obj.isMachO())
Aaron Ballman9fb41142014-11-26 15:27:39 +0000812 Dyld = createRuntimeDyldMachO(
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000813 static_cast<Triple::ArchType>(Obj.getArch()), MM,
814 ProcessAllSections, Checker);
815 else
816 report_fatal_error("Incompatible object format!");
Aaron Ballman9fb41142014-11-26 15:27:39 +0000817 }
818
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000819 if (!Dyld->isCompatibleFile(Obj))
Aaron Ballman9fb41142014-11-26 15:27:39 +0000820 report_fatal_error("Incompatible object format!");
821
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000822 return Dyld->loadObject(Obj);
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000823}
824
Lang Hames3e930a32014-09-05 18:00:16 +0000825void *RuntimeDyld::getSymbolAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000826 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +0000827 return nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000828 return Dyld->getSymbolAddress(Name);
829}
830
Lang Hames3e930a32014-09-05 18:00:16 +0000831uint64_t RuntimeDyld::getSymbolLoadAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000832 if (!Dyld)
833 return 0;
Jim Grosbachdc1123f2012-09-05 16:50:40 +0000834 return Dyld->getSymbolLoadAddress(Name);
835}
836
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000837void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +0000838
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000839void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +0000840 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +0000841}
842
Jim Grosbach6d613972012-09-13 21:50:06 +0000843void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000844 uint64_t TargetAddress) {
845 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
846}
847
Juergen Ributzka6ff29a72014-03-26 18:19:27 +0000848bool RuntimeDyld::hasError() { return Dyld->hasError(); }
849
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000850StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +0000851
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000852void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000853 if (Dyld)
854 Dyld->registerEHFrames();
855}
856
857void RuntimeDyld::deregisterEHFrames() {
858 if (Dyld)
859 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000860}
861
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000862} // end namespace llvm