blob: b4f14d3dada53becf320b56b8bbe3cf57972f60b [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"
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000015#include "JITRegistrar.h"
Andrew Kayloradc70562012-10-02 21:18:39 +000016#include "ObjectImageCommon.h"
Lang Hamesf7acddd2014-07-22 22:47:39 +000017#include "RuntimeDyldCheckerImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000018#include "RuntimeDyldELF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "RuntimeDyldImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000020#include "RuntimeDyldMachO.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000021#include "llvm/Object/ELF.h"
Tim Northover94bc73d2012-10-29 10:47:04 +000022#include "llvm/Support/MathExtras.h"
Andrew Kaylor4fba0492013-10-21 17:42:06 +000023#include "llvm/Support/MutexGuard.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000024
Jim Grosbachf016b0a2011-03-21 22:15:52 +000025using namespace llvm;
26using namespace llvm::object;
27
Chandler Carruthf58e3762014-04-22 03:04:17 +000028#define DEBUG_TYPE "dyld"
29
Chandler Carruth086f7082011-04-05 23:54:31 +000030// Empty out-of-line virtual destructor as the key function.
Danil Malyshev72510f22011-07-13 07:57:58 +000031RuntimeDyldImpl::~RuntimeDyldImpl() {}
Chandler Carruth086f7082011-04-05 23:54:31 +000032
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000033// Pin the JITRegistrar's and ObjectImage*'s vtables to this file.
34void JITRegistrar::anchor() {}
35void ObjectImage::anchor() {}
36void ObjectImageCommon::anchor() {}
37
Jim Grosbachf016b0a2011-03-21 22:15:52 +000038namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000039
Juergen Ributzka7608dc02014-03-21 20:28:42 +000040void RuntimeDyldImpl::registerEHFrames() {}
Rafael Espindolafa5942b2013-05-05 20:43:10 +000041
Juergen Ributzka7608dc02014-03-21 20:28:42 +000042void RuntimeDyldImpl::deregisterEHFrames() {}
Andrew Kaylorc442a762013-10-16 00:14:21 +000043
Benjamin Kramer01e17892014-08-26 14:22:05 +000044#ifndef NDEBUG
Lang Hamesf4b3b672014-08-25 22:19:14 +000045static void dumpSectionMemory(const SectionEntry &S, StringRef State) {
46 dbgs() << "----- Contents of section " << S.Name << " " << State << " -----";
47
Lang Hames24f0c242014-10-01 21:57:47 +000048 if (S.Address == nullptr) {
49 dbgs() << "\n <section not emitted>\n";
50 return;
51 }
52
Lang Hamesf4b3b672014-08-25 22:19:14 +000053 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000054
55 uint8_t *DataAddr = S.Address;
56 uint64_t LoadAddr = S.LoadAddress;
57
Lang Hames8d4d0262014-09-18 16:43:24 +000058 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Lang Hames86b08f02014-08-25 18:37:38 +000059 unsigned BytesRemaining = S.Size;
60
61 if (StartPadding) {
Lang Hamesda016022014-09-23 19:20:57 +000062 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr & ~(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000063 while (StartPadding--)
64 dbgs() << " ";
65 }
66
67 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +000068 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +000069 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000070
71 dbgs() << " " << format("%02x", *DataAddr);
72
73 ++DataAddr;
74 ++LoadAddr;
75 --BytesRemaining;
76 }
77
78 dbgs() << "\n";
79}
Benjamin Kramer01e17892014-08-26 14:22:05 +000080#endif
Lang Hames86b08f02014-08-25 18:37:38 +000081
Jim Grosbach733d3052011-04-12 21:20:41 +000082// Resolve the relocations for all symbols we currently know about.
83void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000084 MutexGuard locked(lock);
85
Preston Gurd2138ef62012-04-12 20:13:57 +000086 // First, resolve relocations associated with external symbols.
Eli Benderskyb92e1cf2012-04-30 12:15:58 +000087 resolveExternalSymbols();
Danil Malyshev70d22cc2012-03-30 16:45:19 +000088
Jim Grosbacheff0a402012-01-16 22:26:39 +000089 // Just iterate over the sections we have and resolve all the relocations
90 // in them. Gross overkill, but it gets the job done.
91 for (int i = 0, e = Sections.size(); i != e; ++i) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +000092 // The Section here (Sections[i]) refers to the section in which the
93 // symbol for the relocation is located. The SectionID in the relocation
94 // entry provides the section to which the relocation will be applied.
Andrew Kaylora714efc2012-11-05 20:57:16 +000095 uint64_t Addr = Sections[i].LoadAddress;
Jim Grosbach36f025e2014-04-21 19:23:59 +000096 DEBUG(dbgs() << "Resolving relocations Section #" << i << "\t"
Lang Hames86b08f02014-08-25 18:37:38 +000097 << format("0x%x", Addr) << "\n");
Lang Hamesf4b3b672014-08-25 22:19:14 +000098 DEBUG(dumpSectionMemory(Sections[i], "before relocations"));
Andrew Kaylora714efc2012-11-05 20:57:16 +000099 resolveRelocationList(Relocations[i], Addr);
Lang Hamesf4b3b672014-08-25 22:19:14 +0000100 DEBUG(dumpSectionMemory(Sections[i], "after relocations"));
Andrew Kaylorea395922013-10-01 01:47:35 +0000101 Relocations.erase(i);
Jim Grosbacheff0a402012-01-16 22:26:39 +0000102 }
Jim Grosbach733d3052011-04-12 21:20:41 +0000103}
104
Jim Grosbach6d613972012-09-13 21:50:06 +0000105void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000106 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000107 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000108 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
109 if (Sections[i].Address == LocalAddress) {
110 reassignSectionAddress(i, TargetAddress);
111 return;
112 }
113 }
114 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000115}
116
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000117static std::error_code getOffset(const SymbolRef &Sym, uint64_t &Result) {
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000118 uint64_t Address;
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000119 if (std::error_code EC = Sym.getAddress(Address))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000120 return EC;
121
122 if (Address == UnknownAddressOrSize) {
123 Result = UnknownAddressOrSize;
124 return object_error::success;
125 }
126
127 const ObjectFile *Obj = Sym.getObject();
128 section_iterator SecI(Obj->section_begin());
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000129 if (std::error_code EC = Sym.getSection(SecI))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000130 return EC;
131
132 if (SecI == Obj->section_end()) {
133 Result = UnknownAddressOrSize;
134 return object_error::success;
135 }
136
137 uint64_t SectionAddress;
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000138 if (std::error_code EC = SecI->getAddress(SectionAddress))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000139 return EC;
140
141 Result = Address - SectionAddress;
142 return object_error::success;
143}
144
David Blaikiefba8b202014-09-03 21:34:34 +0000145std::unique_ptr<ObjectImage>
146RuntimeDyldImpl::loadObject(std::unique_ptr<ObjectImage> Obj) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000147 MutexGuard locked(lock);
148
Lang Hames937ec542014-02-12 21:30:07 +0000149 if (!Obj)
Craig Topper353eda42014-04-24 06:44:33 +0000150 return nullptr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000151
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000152 // Save information about our target
Lang Hames937ec542014-02-12 21:30:07 +0000153 Arch = (Triple::ArchType)Obj->getArch();
154 IsTargetLittleEndian = Obj->getObjectFile()->isLittleEndian();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000155
Lang Hames937ec542014-02-12 21:30:07 +0000156 // Compute the memory size required to load all sections to be loaded
157 // and pass this information to the memory manager
158 if (MemMgr->needsToReserveAllocationSpace()) {
159 uint64_t CodeSize = 0, DataSizeRO = 0, DataSizeRW = 0;
160 computeTotalAllocSize(*Obj, CodeSize, DataSizeRO, DataSizeRW);
161 MemMgr->reserveAllocationSpace(CodeSize, DataSizeRO, DataSizeRW);
162 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000163
Eli Benderskyfc079082012-05-01 06:58:59 +0000164 // Symbols found in this object
165 StringMap<SymbolLoc> LocalSymbols;
166 // Used sections from the object file
167 ObjSectionToIDMap LocalSections;
168
Tim Northover94bc73d2012-10-29 10:47:04 +0000169 // Common symbols requiring allocation, with their sizes and alignments
Eli Benderskyfc079082012-05-01 06:58:59 +0000170 CommonSymbolMap CommonSymbols;
Tim Northover94bc73d2012-10-29 10:47:04 +0000171 // Maximum required total memory to allocate all common symbols
Eli Benderskyfc079082012-05-01 06:58:59 +0000172 uint64_t CommonSize = 0;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000173
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000174 // Parse symbols
175 DEBUG(dbgs() << "Parse symbols:\n");
Jim Grosbach36f025e2014-04-21 19:23:59 +0000176 for (symbol_iterator I = Obj->begin_symbols(), E = Obj->end_symbols(); I != E;
177 ++I) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000178 object::SymbolRef::Type SymType;
179 StringRef Name;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000180 Check(I->getType(SymType));
181 Check(I->getName(Name));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000182
Jim Grosbach36f025e2014-04-21 19:23:59 +0000183 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000184
Lang Hames937ec542014-02-12 21:30:07 +0000185 bool IsCommon = Flags & SymbolRef::SF_Common;
186 if (IsCommon) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000187 // Add the common symbols to a list. We'll allocate them all below.
Lang Hames36072da2014-05-12 21:39:59 +0000188 if (!GlobalSymbolTable.count(Name)) {
189 uint32_t Align;
190 Check(I->getAlignment(Align));
191 uint64_t Size = 0;
192 Check(I->getSize(Size));
193 CommonSize += Size + Align;
194 CommonSymbols[*I] = CommonSymbolInfo(Size, Align);
195 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000196 } else {
197 if (SymType == object::SymbolRef::ST_Function ||
Akira Hatanaka111174b2012-08-17 21:28:04 +0000198 SymType == object::SymbolRef::ST_Data ||
199 SymType == object::SymbolRef::ST_Unknown) {
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000200 uint64_t SectOffset;
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000201 StringRef SectionData;
Tim Northoverd05e6b52012-12-17 17:59:35 +0000202 bool IsCode;
Lang Hames937ec542014-02-12 21:30:07 +0000203 section_iterator SI = Obj->end_sections();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000204 Check(getOffset(*I, SectOffset));
205 Check(I->getSection(SI));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000206 if (SI == Obj->end_sections())
207 continue;
Lang Hames937ec542014-02-12 21:30:07 +0000208 Check(SI->getContents(SectionData));
209 Check(SI->isText(IsCode));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000210 unsigned SectionID =
211 findOrEmitSection(*Obj, *SI, IsCode, LocalSections);
Preston Gurd2138ef62012-04-12 20:13:57 +0000212 LocalSymbols[Name.data()] = SymbolLoc(SectionID, SectOffset);
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000213 DEBUG(dbgs() << "\tOffset: " << format("%p", (uintptr_t)SectOffset)
214 << " flags: " << Flags << " SID: " << SectionID);
Amara Emersonc958bf32012-11-16 11:11:59 +0000215 GlobalSymbolTable[Name] = SymbolLoc(SectionID, SectOffset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000216 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000217 }
218 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name << "\n");
219 }
220
Preston Gurd2138ef62012-04-12 20:13:57 +0000221 // Allocate common symbols
222 if (CommonSize != 0)
Lang Hames36072da2014-05-12 21:39:59 +0000223 emitCommonSymbols(*Obj, CommonSymbols, CommonSize, GlobalSymbolTable);
Preston Gurd2138ef62012-04-12 20:13:57 +0000224
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000225 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000226 DEBUG(dbgs() << "Parse relocations:\n");
Jim Grosbach36f025e2014-04-21 19:23:59 +0000227 for (section_iterator SI = Obj->begin_sections(), SE = Obj->end_sections();
228 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000229 unsigned SectionID = 0;
230 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000231 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000232
Jim Grosbach36f025e2014-04-21 19:23:59 +0000233 relocation_iterator I = SI->relocation_begin();
234 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000235
236 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000237 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000238
Juergen Ributzka046709f2014-03-21 07:26:41 +0000239 bool IsCode = false;
240 Check(RelocatedSection->isText(IsCode));
241 SectionID =
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000242 findOrEmitSection(*Obj, *RelocatedSection, IsCode, LocalSections);
Juergen Ributzka046709f2014-03-21 07:26:41 +0000243 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
244
Rafael Espindola77314aa2014-04-03 22:42:22 +0000245 for (; I != E;)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000246 I = processRelocationRef(SectionID, I, *Obj, LocalSections, LocalSymbols,
247 Stubs);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000248
Lang Hamesf7acddd2014-07-22 22:47:39 +0000249 // If there is an attached checker, notify it about the stubs for this
250 // section so that they can be verified.
251 if (Checker)
252 Checker->registerStubMap(Obj->getImageName(), SectionID, Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000253 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000254
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000255 // Give the subclasses a chance to tie-up any loose ends.
Lang Hames36072da2014-05-12 21:39:59 +0000256 finalizeLoad(*Obj, LocalSections);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000257
David Blaikiefba8b202014-09-03 21:34:34 +0000258 return Obj;
Lang Hames937ec542014-02-12 21:30:07 +0000259}
260
261// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000262// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000263// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000264static uint64_t
265computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
266 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000267 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000268 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
269 uint64_t AlignedSize =
270 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000271 TotalSize += AlignedSize;
272 }
273 return TotalSize;
274}
275
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000276// Compute an upper bound of the memory size that is required to load all
277// sections
278void RuntimeDyldImpl::computeTotalAllocSize(ObjectImage &Obj,
279 uint64_t &CodeSize,
280 uint64_t &DataSizeRO,
281 uint64_t &DataSizeRW) {
Lang Hames937ec542014-02-12 21:30:07 +0000282 // Compute the size of all sections required for execution
283 std::vector<uint64_t> CodeSectionSizes;
284 std::vector<uint64_t> ROSectionSizes;
285 std::vector<uint64_t> RWSectionSizes;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000286 uint64_t MaxAlignment = sizeof(void *);
Lang Hames937ec542014-02-12 21:30:07 +0000287
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000288 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000289 // also determine the max alignment of all sections
Jim Grosbach36f025e2014-04-21 19:23:59 +0000290 for (section_iterator SI = Obj.begin_sections(), SE = Obj.end_sections();
291 SI != SE; ++SI) {
292 const SectionRef &Section = *SI;
293
Lang Hames937ec542014-02-12 21:30:07 +0000294 bool IsRequired;
295 Check(Section.isRequiredForExecution(IsRequired));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000296
Lang Hames937ec542014-02-12 21:30:07 +0000297 // Consider only the sections that are required to be loaded for execution
298 if (IsRequired) {
299 uint64_t DataSize = 0;
300 uint64_t Alignment64 = 0;
301 bool IsCode = false;
302 bool IsReadOnly = false;
303 StringRef Name;
304 Check(Section.getSize(DataSize));
305 Check(Section.getAlignment(Alignment64));
306 Check(Section.isText(IsCode));
307 Check(Section.isReadOnlyData(IsReadOnly));
308 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000309 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
310
Lang Hames937ec542014-02-12 21:30:07 +0000311 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
312 uint64_t SectionSize = DataSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000313
314 // The .eh_frame section (at least on Linux) needs an extra four bytes
315 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000316 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000317 // slightly different name, so this won't have any effect for MachO
318 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000319 if (Name == ".eh_frame")
320 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000321
Lang Hames937ec542014-02-12 21:30:07 +0000322 if (SectionSize > 0) {
323 // save the total size of the section
324 if (IsCode) {
325 CodeSectionSizes.push_back(SectionSize);
326 } else if (IsReadOnly) {
327 ROSectionSizes.push_back(SectionSize);
328 } else {
329 RWSectionSizes.push_back(SectionSize);
330 }
331 // update the max alignment
332 if (Alignment > MaxAlignment) {
333 MaxAlignment = Alignment;
334 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000335 }
Lang Hames937ec542014-02-12 21:30:07 +0000336 }
337 }
338
339 // Compute the size of all common symbols
340 uint64_t CommonSize = 0;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000341 for (symbol_iterator I = Obj.begin_symbols(), E = Obj.end_symbols(); I != E;
342 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000343 uint32_t Flags = I->getFlags();
344 if (Flags & SymbolRef::SF_Common) {
345 // Add the common symbols to a list. We'll allocate them all below.
346 uint64_t Size = 0;
347 Check(I->getSize(Size));
348 CommonSize += Size;
349 }
350 }
351 if (CommonSize != 0) {
352 RWSectionSizes.push_back(CommonSize);
353 }
354
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000355 // Compute the required allocation space for each different type of sections
356 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000357 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000358 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000359 // depends on the order, in which the sections are allocated.
360 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, MaxAlignment);
361 DataSizeRO = computeAllocationSizeForSections(ROSectionSizes, MaxAlignment);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000362 DataSizeRW = computeAllocationSizeForSections(RWSectionSizes, MaxAlignment);
Lang Hames937ec542014-02-12 21:30:07 +0000363}
364
365// compute stub buffer size for the given section
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000366unsigned RuntimeDyldImpl::computeSectionStubBufSize(ObjectImage &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000367 const SectionRef &Section) {
368 unsigned StubSize = getMaxStubSize();
369 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000370 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000371 }
372 // FIXME: this is an inefficient way to handle this. We should computed the
373 // necessary section allocation size in loadObject by walking all the sections
374 // once.
375 unsigned StubBufSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000376 for (section_iterator SI = Obj.begin_sections(), SE = Obj.end_sections();
377 SI != SE; ++SI) {
378 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000379 if (!(RelSecI == Section))
380 continue;
381
Jim Grosbach36f025e2014-04-21 19:23:59 +0000382 for (const RelocationRef &Reloc : SI->relocations()) {
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000383 (void)Reloc;
Lang Hames937ec542014-02-12 21:30:07 +0000384 StubBufSize += StubSize;
385 }
386 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000387
Lang Hames937ec542014-02-12 21:30:07 +0000388 // Get section data size and alignment
389 uint64_t Alignment64;
390 uint64_t DataSize;
391 Check(Section.getSize(DataSize));
392 Check(Section.getAlignment(Alignment64));
393
394 // Add stubbuf size alignment
395 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
396 unsigned StubAlignment = getStubAlignment();
397 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
398 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000399 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000400 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000401}
402
Lang Hamese1287c02014-08-29 23:17:47 +0000403uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
404 unsigned Size) const {
405 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000406 if (IsTargetLittleEndian) {
407 Src += Size - 1;
408 while (Size--)
409 Result = (Result << 8) | *Src--;
410 } else
411 while (Size--)
412 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000413
414 return Result;
415}
416
417void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
418 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000419 if (IsTargetLittleEndian) {
420 while (Size--) {
421 *Dst++ = Value & 0xFF;
422 Value >>= 8;
423 }
Lang Hamese1287c02014-08-29 23:17:47 +0000424 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000425 Dst += Size - 1;
426 while (Size--) {
427 *Dst-- = Value & 0xFF;
428 Value >>= 8;
429 }
Lang Hamese1287c02014-08-29 23:17:47 +0000430 }
431}
432
Eli Bendersky667b8792012-05-01 10:41:12 +0000433void RuntimeDyldImpl::emitCommonSymbols(ObjectImage &Obj,
434 const CommonSymbolMap &CommonSymbols,
435 uint64_t TotalSize,
436 SymbolTableMap &SymbolTable) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000437 // Allocate memory for the section
438 unsigned SectionID = Sections.size();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000439 uint8_t *Addr = MemMgr->allocateDataSection(TotalSize, sizeof(void *),
440 SectionID, StringRef(), false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000441 if (!Addr)
442 report_fatal_error("Unable to allocate memory for common symbols!");
443 uint64_t Offset = 0;
Lang Hames86b08f02014-08-25 18:37:38 +0000444 Sections.push_back(SectionEntry("<common symbols>", Addr, TotalSize, 0));
Preston Gurd2138ef62012-04-12 20:13:57 +0000445 memset(Addr, 0, TotalSize);
446
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000447 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID << " new addr: "
448 << format("%p", Addr) << " DataSize: " << TotalSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000449
450 // Assign the address of each symbol
Jim Grosbach36f025e2014-04-21 19:23:59 +0000451 for (CommonSymbolMap::const_iterator it = CommonSymbols.begin(),
452 itEnd = CommonSymbols.end(); it != itEnd; ++it) {
453 uint64_t Size = it->second.first;
454 uint64_t Align = it->second.second;
Preston Gurd2138ef62012-04-12 20:13:57 +0000455 StringRef Name;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000456 it->first.getName(Name);
Tim Northover94bc73d2012-10-29 10:47:04 +0000457 if (Align) {
458 // This symbol has an alignment requirement.
459 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
460 Addr += AlignOffset;
461 Offset += AlignOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000462 DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
463 << format("%p\n", Addr));
Tim Northover94bc73d2012-10-29 10:47:04 +0000464 }
Jim Grosbach36f025e2014-04-21 19:23:59 +0000465 Obj.updateSymbolAddress(it->first, (uint64_t)Addr);
Eli Bendersky667b8792012-05-01 10:41:12 +0000466 SymbolTable[Name.data()] = SymbolLoc(SectionID, Offset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000467 Offset += Size;
468 Addr += Size;
469 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000470}
471
Preston Gurdcc31af92012-04-16 22:12:58 +0000472unsigned RuntimeDyldImpl::emitSection(ObjectImage &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000473 const SectionRef &Section, bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000474
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000475 StringRef data;
476 uint64_t Alignment64;
477 Check(Section.getContents(data));
478 Check(Section.getAlignment(Alignment64));
479
480 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Preston Gurd2138ef62012-04-12 20:13:57 +0000481 bool IsRequired;
482 bool IsVirtual;
483 bool IsZeroInit;
Andrew Kaylora342cb92012-11-15 23:50:01 +0000484 bool IsReadOnly;
Preston Gurd2138ef62012-04-12 20:13:57 +0000485 uint64_t DataSize;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000486 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000487 unsigned StubBufSize = 0;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000488 StringRef Name;
Preston Gurd2138ef62012-04-12 20:13:57 +0000489 Check(Section.isRequiredForExecution(IsRequired));
490 Check(Section.isVirtual(IsVirtual));
491 Check(Section.isZeroInit(IsZeroInit));
Andrew Kaylora342cb92012-11-15 23:50:01 +0000492 Check(Section.isReadOnlyData(IsReadOnly));
Preston Gurd2138ef62012-04-12 20:13:57 +0000493 Check(Section.getSize(DataSize));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000494 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000495
496 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000497
Andrew Kaylor877b9312013-10-16 00:32:24 +0000498 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
499 // with zeroes added at the end. For MachO objects, this section has a
500 // slightly different name, so this won't have any effect for MachO objects.
501 if (Name == ".eh_frame")
502 PaddingSize = 4;
503
Lang Hamesd4100172014-02-11 05:28:24 +0000504 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000505 unsigned SectionID = Sections.size();
506 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000507 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000508
509 // Some sections, such as debug info, don't need to be loaded for execution.
510 // Leave those where they are.
511 if (IsRequired) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000512 Allocate = DataSize + PaddingSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000513 Addr = IsCode ? MemMgr->allocateCodeSection(Allocate, Alignment, SectionID,
514 Name)
515 : MemMgr->allocateDataSection(Allocate, Alignment, SectionID,
516 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000517 if (!Addr)
518 report_fatal_error("Unable to allocate section memory!");
519
520 // Virtual sections have no data in the object image, so leave pData = 0
521 if (!IsVirtual)
522 pData = data.data();
523
524 // Zero-initialize or copy the data from the image
525 if (IsZeroInit || IsVirtual)
526 memset(Addr, 0, DataSize);
527 else
528 memcpy(Addr, pData, DataSize);
529
Andrew Kaylor877b9312013-10-16 00:32:24 +0000530 // Fill in any extra bytes we allocated for padding
531 if (PaddingSize != 0) {
532 memset(Addr + DataSize, 0, PaddingSize);
533 // Update the DataSize variable so that the stub offset is set correctly.
534 DataSize += PaddingSize;
535 }
536
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000537 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000538 << " obj addr: " << format("%p", pData)
539 << " new addr: " << format("%p", Addr)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000540 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
541 << " Allocate: " << Allocate << "\n");
Preston Gurdcc31af92012-04-16 22:12:58 +0000542 Obj.updateSectionAddress(Section, (uint64_t)Addr);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000543 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000544 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000545 // to handle later processing (and by 'handle' I mean don't do anything
546 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000547 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000548 Addr = nullptr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000549 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
550 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
551 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
552 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000553 }
554
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000555 Sections.push_back(SectionEntry(Name, Addr, DataSize, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000556
557 if (Checker)
558 Checker->registerSection(Obj.getImageName(), SectionID);
559
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000560 return SectionID;
561}
562
Preston Gurdcc31af92012-04-16 22:12:58 +0000563unsigned RuntimeDyldImpl::findOrEmitSection(ObjectImage &Obj,
564 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000565 bool IsCode,
566 ObjSectionToIDMap &LocalSections) {
567
568 unsigned SectionID = 0;
569 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
570 if (i != LocalSections.end())
571 SectionID = i->second;
572 else {
Preston Gurdcc31af92012-04-16 22:12:58 +0000573 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000574 LocalSections[Section] = SectionID;
575 }
576 return SectionID;
577}
578
Eli Bendersky667b8792012-05-01 10:41:12 +0000579void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
580 unsigned SectionID) {
581 Relocations[SectionID].push_back(RE);
582}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000583
Eli Bendersky667b8792012-05-01 10:41:12 +0000584void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
585 StringRef SymbolName) {
586 // Relocation by symbol. If the symbol is found in the global symbol table,
587 // create an appropriate section relocation. Otherwise, add it to
588 // ExternalSymbolRelocations.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000589 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000590 if (Loc == GlobalSymbolTable.end()) {
591 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000592 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000593 // Copy the RE since we want to modify its addend.
594 RelocationEntry RECopy = RE;
595 RECopy.Addend += Loc->second.second;
596 Relocations[Loc->second.first].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000597 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000598}
599
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000600uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
601 unsigned AbiVariant) {
Tim Northovere19bed72014-07-23 12:32:47 +0000602 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be) {
Tim Northover37cde972013-05-04 20:14:09 +0000603 // This stub has to be able to access the full address space,
604 // since symbol lookup won't necessarily find a handy, in-range,
605 // PLT stub for functions which could be anywhere.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000606 uint32_t *StubAddr = (uint32_t *)Addr;
Tim Northover37cde972013-05-04 20:14:09 +0000607
608 // Stub can use ip0 (== x16) to calculate address
609 *StubAddr = 0xd2e00010; // movz ip0, #:abs_g3:<addr>
610 StubAddr++;
611 *StubAddr = 0xf2c00010; // movk ip0, #:abs_g2_nc:<addr>
612 StubAddr++;
613 *StubAddr = 0xf2a00010; // movk ip0, #:abs_g1_nc:<addr>
614 StubAddr++;
615 *StubAddr = 0xf2800010; // movk ip0, #:abs_g0_nc:<addr>
616 StubAddr++;
617 *StubAddr = 0xd61f0200; // br ip0
618
619 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000620 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000621 // TODO: There is only ARM far stub now. We should add the Thumb stub,
622 // and stubs for branches Thumb - ARM and ARM - Thumb.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000623 uint32_t *StubAddr = (uint32_t *)Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000624 *StubAddr = 0xe51ff004; // ldr pc,<label>
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000625 return (uint8_t *)++StubAddr;
NAKAMURA Takumif97efd92012-12-04 00:08:14 +0000626 } else if (Arch == Triple::mipsel || Arch == Triple::mips) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000627 uint32_t *StubAddr = (uint32_t *)Addr;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000628 // 0: 3c190000 lui t9,%hi(addr).
629 // 4: 27390000 addiu t9,t9,%lo(addr).
630 // 8: 03200008 jr t9.
631 // c: 00000000 nop.
632 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
633 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
634
635 *StubAddr = LuiT9Instr;
636 StubAddr++;
637 *StubAddr = AdduiT9Instr;
638 StubAddr++;
639 *StubAddr = JrT9Instr;
640 StubAddr++;
641 *StubAddr = NopInstr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000642 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000643 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000644 // Depending on which version of the ELF ABI is in use, we need to
645 // generate one of two variants of the stub. They both start with
646 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000647 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
648 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
649 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
650 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
651 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000652 if (AbiVariant == 2) {
653 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
654 // The address is already in r12 as required by the ABI. Branch to it.
655 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
656 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
657 writeInt32BE(Addr+28, 0x4E800420); // bctr
658 } else {
659 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
660 // Load the function address on r11 and sets it to control register. Also
661 // loads the function TOC in r2 and environment pointer to r11.
662 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
663 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
664 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
665 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
666 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
667 writeInt32BE(Addr+40, 0x4E800420); // bctr
668 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000669 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000670 } else if (Arch == Triple::systemz) {
671 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
672 writeInt16BE(Addr+2, 0x0000);
673 writeInt16BE(Addr+4, 0x0004);
674 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
675 // 8-byte address stored at Addr + 8
676 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000677 } else if (Arch == Triple::x86_64) {
678 *Addr = 0xFF; // jmp
679 *(Addr+1) = 0x25; // rip
680 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +0000681 } else if (Arch == Triple::x86) {
682 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000683 }
684 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000685}
686
687// Assign an address to a symbol name and resolve all the relocations
688// associated with it.
689void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
690 uint64_t Addr) {
691 // The address to use for relocation resolution is not
692 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000693 // a remote execution environment of some sort. Relocations can't
694 // be applied until all the sections have been moved. The client must
695 // trigger this with a call to MCJIT::finalize() or
696 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000697 //
698 // Addr is a uint64_t because we can't assume the pointer width
699 // of the target is the same as that of the host. Just use a generic
700 // "big enough" type.
Lang Hames778ef5b2014-09-04 04:19:54 +0000701 DEBUG(dbgs() << "Reassigning address for section "
702 << SectionID << " (" << Sections[SectionID].Name << "): "
Lang Hamesda016022014-09-23 19:20:57 +0000703 << format("0x%016" PRIx64, Sections[SectionID].LoadAddress) << " -> "
704 << format("0x%016" PRIx64, Addr) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000705 Sections[SectionID].LoadAddress = Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000706}
707
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000708void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
709 uint64_t Value) {
710 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000711 const RelocationEntry &RE = Relocs[i];
712 // Ignore relocations for sections that were not loaded
Craig Topper353eda42014-04-24 06:44:33 +0000713 if (Sections[RE.SectionID].Address == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000714 continue;
715 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000716 }
717}
718
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000719void RuntimeDyldImpl::resolveExternalSymbols() {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000720 while (!ExternalSymbolRelocations.empty()) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000721 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
722
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000723 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +0000724 if (Name.size() == 0) {
725 // This is an absolute symbol, use an address of zero.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000726 DEBUG(dbgs() << "Resolving absolute relocations."
727 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000728 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000729 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000730 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +0000731 uint64_t Addr = 0;
732 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(Name);
733 if (Loc == GlobalSymbolTable.end()) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000734 // This is an external symbol, try to get its address from
735 // MemoryManager.
736 Addr = MemMgr->getSymbolAddress(Name.data());
737 // The call to getSymbolAddress may have caused additional modules to
738 // be loaded, which may have added new entries to the
739 // ExternalSymbolRelocations map. Consquently, we need to update our
740 // iterator. This is also why retrieval of the relocation list
741 // associated with this symbol is deferred until below this point.
742 // New entries may have been added to the relocation list.
743 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000744 } else {
745 // We found the symbol in our global table. It was probably in a
746 // Module that we loaded previously.
Yaron Kerenc9802882013-10-19 09:04:26 +0000747 SymbolLoc SymLoc = Loc->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000748 Addr = getSectionLoadAddress(SymLoc.first) + SymLoc.second;
749 }
750
751 // FIXME: Implement error handling that doesn't kill the host program!
752 if (!Addr)
753 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000754 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +0000755
756 updateGOTEntries(Name, Addr);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000757 DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
758 << format("0x%lx", Addr) << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000759 // This list may have been updated when we called getSymbolAddress, so
760 // don't change this code to get the list earlier.
761 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000762 resolveRelocationList(Relocs, Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000763 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000764
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000765 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000766 }
767}
768
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000769//===----------------------------------------------------------------------===//
770// RuntimeDyld class implementation
Danil Malyshev72510f22011-07-13 07:57:58 +0000771RuntimeDyld::RuntimeDyld(RTDyldMemoryManager *mm) {
Andrew Kaylora342cb92012-11-15 23:50:01 +0000772 // FIXME: There's a potential issue lurking here if a single instance of
773 // RuntimeDyld is used to load multiple objects. The current implementation
774 // associates a single memory manager with a RuntimeDyld instance. Even
775 // though the public class spawns a new 'impl' instance for each load,
776 // they share a single memory manager. This can become a problem when page
777 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +0000778 Dyld = nullptr;
Danil Malyshev72510f22011-07-13 07:57:58 +0000779 MM = mm;
Lang Hames868d4b32014-03-20 21:06:46 +0000780 ProcessAllSections = false;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000781 Checker = nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000782}
783
David Blaikie847d2a02014-09-04 18:37:29 +0000784RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000785
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000786static std::unique_ptr<RuntimeDyldELF>
Lang Hamesf7acddd2014-07-22 22:47:39 +0000787createRuntimeDyldELF(RTDyldMemoryManager *MM, bool ProcessAllSections,
788 RuntimeDyldCheckerImpl *Checker) {
Lang Hames868d4b32014-03-20 21:06:46 +0000789 std::unique_ptr<RuntimeDyldELF> Dyld(new RuntimeDyldELF(MM));
790 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000791 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000792 return Dyld;
793}
794
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000795static std::unique_ptr<RuntimeDyldMachO>
Lang Hamesa5216882014-07-17 18:54:50 +0000796createRuntimeDyldMachO(Triple::ArchType Arch, RTDyldMemoryManager *MM,
Lang Hamesf7acddd2014-07-22 22:47:39 +0000797 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
Lang Hamesa5216882014-07-17 18:54:50 +0000798 std::unique_ptr<RuntimeDyldMachO> Dyld(RuntimeDyldMachO::create(Arch, MM));
Lang Hames868d4b32014-03-20 21:06:46 +0000799 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000800 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000801 return Dyld;
802}
803
David Blaikieed9709d2014-09-03 19:48:09 +0000804std::unique_ptr<ObjectImage>
805RuntimeDyld::loadObject(std::unique_ptr<ObjectFile> InputObject) {
Lang Hames951b2352014-03-08 18:45:12 +0000806 std::unique_ptr<ObjectImage> InputImage;
Lang Hames173c69f2014-01-08 04:09:09 +0000807
David Blaikie7a1e7752014-04-29 21:52:46 +0000808 ObjectFile &Obj = *InputObject;
809
Lang Hames951b2352014-03-08 18:45:12 +0000810 if (InputObject->isELF()) {
David Blaikie7a1e7752014-04-29 21:52:46 +0000811 InputImage.reset(RuntimeDyldELF::createObjectImageFromFile(std::move(InputObject)));
Lang Hames951b2352014-03-08 18:45:12 +0000812 if (!Dyld)
David Blaikie847d2a02014-09-04 18:37:29 +0000813 Dyld = createRuntimeDyldELF(MM, ProcessAllSections, Checker);
Lang Hames951b2352014-03-08 18:45:12 +0000814 } else if (InputObject->isMachO()) {
David Blaikie7a1e7752014-04-29 21:52:46 +0000815 InputImage.reset(RuntimeDyldMachO::createObjectImageFromFile(std::move(InputObject)));
Lang Hames951b2352014-03-08 18:45:12 +0000816 if (!Dyld)
Lang Hamesa5216882014-07-17 18:54:50 +0000817 Dyld = createRuntimeDyldMachO(
David Blaikie847d2a02014-09-04 18:37:29 +0000818 static_cast<Triple::ArchType>(InputImage->getArch()), MM,
819 ProcessAllSections, Checker);
Lang Hames951b2352014-03-08 18:45:12 +0000820 } else
821 report_fatal_error("Incompatible object format!");
822
David Blaikie7a1e7752014-04-29 21:52:46 +0000823 if (!Dyld->isCompatibleFile(&Obj))
Lang Hames951b2352014-03-08 18:45:12 +0000824 report_fatal_error("Incompatible object format!");
825
David Blaikiefba8b202014-09-03 21:34:34 +0000826 return Dyld->loadObject(std::move(InputImage));
Lang Hames173c69f2014-01-08 04:09:09 +0000827}
828
David Blaikieed9709d2014-09-03 19:48:09 +0000829std::unique_ptr<ObjectImage>
830RuntimeDyld::loadObject(std::unique_ptr<ObjectBuffer> InputBuffer) {
Lang Hames951b2352014-03-08 18:45:12 +0000831 std::unique_ptr<ObjectImage> InputImage;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000832 sys::fs::file_magic Type = sys::fs::identify_magic(InputBuffer->getBuffer());
David Blaikieed9709d2014-09-03 19:48:09 +0000833 auto *InputBufferPtr = InputBuffer.get();
Lang Hames951b2352014-03-08 18:45:12 +0000834
835 switch (Type) {
836 case sys::fs::file_magic::elf_relocatable:
837 case sys::fs::file_magic::elf_executable:
838 case sys::fs::file_magic::elf_shared_object:
839 case sys::fs::file_magic::elf_core:
David Blaikieed9709d2014-09-03 19:48:09 +0000840 InputImage = RuntimeDyldELF::createObjectImage(std::move(InputBuffer));
Lang Hames951b2352014-03-08 18:45:12 +0000841 if (!Dyld)
David Blaikie847d2a02014-09-04 18:37:29 +0000842 Dyld = createRuntimeDyldELF(MM, ProcessAllSections, Checker);
Lang Hames951b2352014-03-08 18:45:12 +0000843 break;
844 case sys::fs::file_magic::macho_object:
845 case sys::fs::file_magic::macho_executable:
846 case sys::fs::file_magic::macho_fixed_virtual_memory_shared_lib:
847 case sys::fs::file_magic::macho_core:
848 case sys::fs::file_magic::macho_preload_executable:
849 case sys::fs::file_magic::macho_dynamically_linked_shared_lib:
850 case sys::fs::file_magic::macho_dynamic_linker:
851 case sys::fs::file_magic::macho_bundle:
852 case sys::fs::file_magic::macho_dynamically_linked_shared_lib_stub:
853 case sys::fs::file_magic::macho_dsym_companion:
David Blaikieed9709d2014-09-03 19:48:09 +0000854 InputImage = RuntimeDyldMachO::createObjectImage(std::move(InputBuffer));
Lang Hames951b2352014-03-08 18:45:12 +0000855 if (!Dyld)
Lang Hamesa5216882014-07-17 18:54:50 +0000856 Dyld = createRuntimeDyldMachO(
David Blaikie847d2a02014-09-04 18:37:29 +0000857 static_cast<Triple::ArchType>(InputImage->getArch()), MM,
858 ProcessAllSections, Checker);
Lang Hames951b2352014-03-08 18:45:12 +0000859 break;
860 case sys::fs::file_magic::unknown:
861 case sys::fs::file_magic::bitcode:
862 case sys::fs::file_magic::archive:
863 case sys::fs::file_magic::coff_object:
864 case sys::fs::file_magic::coff_import_library:
865 case sys::fs::file_magic::pecoff_executable:
866 case sys::fs::file_magic::macho_universal_binary:
867 case sys::fs::file_magic::windows_resource:
868 report_fatal_error("Incompatible object format!");
Danil Malyshev72510f22011-07-13 07:57:58 +0000869 }
870
David Blaikieed9709d2014-09-03 19:48:09 +0000871 if (!Dyld->isCompatibleFormat(InputBufferPtr))
Lang Hames951b2352014-03-08 18:45:12 +0000872 report_fatal_error("Incompatible object format!");
873
David Blaikiefba8b202014-09-03 21:34:34 +0000874 return Dyld->loadObject(std::move(InputImage));
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000875}
876
Lang Hames3e930a32014-09-05 18:00:16 +0000877void *RuntimeDyld::getSymbolAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000878 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +0000879 return nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000880 return Dyld->getSymbolAddress(Name);
881}
882
Lang Hames3e930a32014-09-05 18:00:16 +0000883uint64_t RuntimeDyld::getSymbolLoadAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000884 if (!Dyld)
885 return 0;
Jim Grosbachdc1123f2012-09-05 16:50:40 +0000886 return Dyld->getSymbolLoadAddress(Name);
887}
888
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000889void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +0000890
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000891void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +0000892 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +0000893}
894
Jim Grosbach6d613972012-09-13 21:50:06 +0000895void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000896 uint64_t TargetAddress) {
897 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
898}
899
Juergen Ributzka6ff29a72014-03-26 18:19:27 +0000900bool RuntimeDyld::hasError() { return Dyld->hasError(); }
901
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000902StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +0000903
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000904void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000905 if (Dyld)
906 Dyld->registerEHFrames();
907}
908
909void RuntimeDyld::deregisterEHFrames() {
910 if (Dyld)
911 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000912}
913
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000914} // end namespace llvm