blob: 5d6a2c0f1235955a69087d52dfdac308a3dfd53b [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
Jim Grosbach6a85a052011-03-23 19:52:00 +000014#define DEBUG_TYPE "dyld"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/ExecutionEngine/RuntimeDyld.h"
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000016#include "JITRegistrar.h"
Andrew Kayloradc70562012-10-02 21:18:39 +000017#include "ObjectImageCommon.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 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
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000031// Pin the JITRegistrar's and ObjectImage*'s vtables to this file.
32void JITRegistrar::anchor() {}
33void ObjectImage::anchor() {}
34void ObjectImageCommon::anchor() {}
35
Jim Grosbachf016b0a2011-03-21 22:15:52 +000036namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000037
Andrew Kaylor7bb13442013-10-11 21:25:48 +000038void RuntimeDyldImpl::registerEHFrames() {
Rafael Espindolafa5942b2013-05-05 20:43:10 +000039}
40
Andrew Kaylorc442a762013-10-16 00:14:21 +000041void RuntimeDyldImpl::deregisterEHFrames() {
42}
43
Jim Grosbach733d3052011-04-12 21:20:41 +000044// Resolve the relocations for all symbols we currently know about.
45void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000046 MutexGuard locked(lock);
47
Preston Gurd2138ef62012-04-12 20:13:57 +000048 // First, resolve relocations associated with external symbols.
Eli Benderskyb92e1cf2012-04-30 12:15:58 +000049 resolveExternalSymbols();
Danil Malyshev70d22cc2012-03-30 16:45:19 +000050
Jim Grosbacheff0a402012-01-16 22:26:39 +000051 // Just iterate over the sections we have and resolve all the relocations
52 // in them. Gross overkill, but it gets the job done.
53 for (int i = 0, e = Sections.size(); i != e; ++i) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +000054 // The Section here (Sections[i]) refers to the section in which the
55 // symbol for the relocation is located. The SectionID in the relocation
56 // entry provides the section to which the relocation will be applied.
Andrew Kaylora714efc2012-11-05 20:57:16 +000057 uint64_t Addr = Sections[i].LoadAddress;
58 DEBUG(dbgs() << "Resolving relocations Section #" << i
59 << "\t" << format("%p", (uint8_t *)Addr)
60 << "\n");
61 resolveRelocationList(Relocations[i], Addr);
Andrew Kaylorea395922013-10-01 01:47:35 +000062 Relocations.erase(i);
Jim Grosbacheff0a402012-01-16 22:26:39 +000063 }
Jim Grosbach733d3052011-04-12 21:20:41 +000064}
65
Jim Grosbach6d613972012-09-13 21:50:06 +000066void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +000067 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000068 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +000069 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
70 if (Sections[i].Address == LocalAddress) {
71 reassignSectionAddress(i, TargetAddress);
72 return;
73 }
74 }
75 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +000076}
77
Lang Hames951b2352014-03-08 18:45:12 +000078ObjectImage* RuntimeDyldImpl::loadObject(ObjectImage *InputObject) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000079 MutexGuard locked(lock);
80
Ahmed Charles56440fd2014-03-06 05:51:42 +000081 std::unique_ptr<ObjectImage> Obj(InputObject);
Lang Hames937ec542014-02-12 21:30:07 +000082 if (!Obj)
Lang Hames173c69f2014-01-08 04:09:09 +000083 return NULL;
Danil Malyshev70d22cc2012-03-30 16:45:19 +000084
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +000085 // Save information about our target
Lang Hames937ec542014-02-12 21:30:07 +000086 Arch = (Triple::ArchType)Obj->getArch();
87 IsTargetLittleEndian = Obj->getObjectFile()->isLittleEndian();
88
89 // Compute the memory size required to load all sections to be loaded
90 // and pass this information to the memory manager
91 if (MemMgr->needsToReserveAllocationSpace()) {
92 uint64_t CodeSize = 0, DataSizeRO = 0, DataSizeRW = 0;
93 computeTotalAllocSize(*Obj, CodeSize, DataSizeRO, DataSizeRW);
94 MemMgr->reserveAllocationSpace(CodeSize, DataSizeRO, DataSizeRW);
95 }
96
Eli Benderskyfc079082012-05-01 06:58:59 +000097 // Symbols found in this object
98 StringMap<SymbolLoc> LocalSymbols;
99 // Used sections from the object file
100 ObjSectionToIDMap LocalSections;
101
Tim Northover94bc73d2012-10-29 10:47:04 +0000102 // Common symbols requiring allocation, with their sizes and alignments
Eli Benderskyfc079082012-05-01 06:58:59 +0000103 CommonSymbolMap CommonSymbols;
Tim Northover94bc73d2012-10-29 10:47:04 +0000104 // Maximum required total memory to allocate all common symbols
Eli Benderskyfc079082012-05-01 06:58:59 +0000105 uint64_t CommonSize = 0;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000106
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000107 // Parse symbols
108 DEBUG(dbgs() << "Parse symbols:\n");
Lang Hames937ec542014-02-12 21:30:07 +0000109 for (symbol_iterator I = Obj->begin_symbols(), E = Obj->end_symbols(); I != E;
110 ++I) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000111 object::SymbolRef::Type SymType;
112 StringRef Name;
Lang Hames937ec542014-02-12 21:30:07 +0000113 Check(I->getType(SymType));
114 Check(I->getName(Name));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000115
Lang Hames937ec542014-02-12 21:30:07 +0000116 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000117
Lang Hames937ec542014-02-12 21:30:07 +0000118 bool IsCommon = Flags & SymbolRef::SF_Common;
119 if (IsCommon) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000120 // Add the common symbols to a list. We'll allocate them all below.
Rafael Espindolae4dd2e02013-04-29 22:24:22 +0000121 uint32_t Align;
Lang Hames937ec542014-02-12 21:30:07 +0000122 Check(I->getAlignment(Align));
Preston Gurd2138ef62012-04-12 20:13:57 +0000123 uint64_t Size = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000124 Check(I->getSize(Size));
Tim Northover94bc73d2012-10-29 10:47:04 +0000125 CommonSize += Size + Align;
Lang Hames937ec542014-02-12 21:30:07 +0000126 CommonSymbols[*I] = CommonSymbolInfo(Size, Align);
Preston Gurd2138ef62012-04-12 20:13:57 +0000127 } else {
128 if (SymType == object::SymbolRef::ST_Function ||
Akira Hatanaka111174b2012-08-17 21:28:04 +0000129 SymType == object::SymbolRef::ST_Data ||
130 SymType == object::SymbolRef::ST_Unknown) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000131 uint64_t FileOffset;
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000132 StringRef SectionData;
Tim Northoverd05e6b52012-12-17 17:59:35 +0000133 bool IsCode;
Lang Hames937ec542014-02-12 21:30:07 +0000134 section_iterator SI = Obj->end_sections();
135 Check(I->getFileOffset(FileOffset));
136 Check(I->getSection(SI));
137 if (SI == Obj->end_sections()) continue;
138 Check(SI->getContents(SectionData));
139 Check(SI->isText(IsCode));
Lang Hames951b2352014-03-08 18:45:12 +0000140 const uint8_t* SymPtr = (const uint8_t*)Obj->getData().data() +
Preston Gurd2138ef62012-04-12 20:13:57 +0000141 (uintptr_t)FileOffset;
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000142 uintptr_t SectOffset = (uintptr_t)(SymPtr -
143 (const uint8_t*)SectionData.begin());
Lang Hames937ec542014-02-12 21:30:07 +0000144 unsigned SectionID = findOrEmitSection(*Obj, *SI, IsCode, LocalSections);
Preston Gurd2138ef62012-04-12 20:13:57 +0000145 LocalSymbols[Name.data()] = SymbolLoc(SectionID, SectOffset);
146 DEBUG(dbgs() << "\tFileOffset: " << format("%p", (uintptr_t)FileOffset)
Lang Hames937ec542014-02-12 21:30:07 +0000147 << " flags: " << Flags
Preston Gurd2138ef62012-04-12 20:13:57 +0000148 << " SID: " << SectionID
149 << " Offset: " << format("%p", SectOffset));
Amara Emersonc958bf32012-11-16 11:11:59 +0000150 GlobalSymbolTable[Name] = SymbolLoc(SectionID, SectOffset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000151 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000152 }
153 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name << "\n");
154 }
155
Preston Gurd2138ef62012-04-12 20:13:57 +0000156 // Allocate common symbols
157 if (CommonSize != 0)
Lang Hames937ec542014-02-12 21:30:07 +0000158 emitCommonSymbols(*Obj, CommonSymbols, CommonSize, LocalSymbols);
Preston Gurd2138ef62012-04-12 20:13:57 +0000159
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000160 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000161 DEBUG(dbgs() << "Parse relocations:\n");
Lang Hames937ec542014-02-12 21:30:07 +0000162 for (section_iterator SI = Obj->begin_sections(), SE = Obj->end_sections();
163 SI != SE; ++SI) {
164 bool IsFirstRelocation = true;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000165 unsigned SectionID = 0;
166 StubMap Stubs;
Lang Hames937ec542014-02-12 21:30:07 +0000167 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000168
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000169 for (const RelocationRef &Reloc : SI->relocations()) {
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000170 // If it's the first relocation in this section, find its SectionID
Lang Hames937ec542014-02-12 21:30:07 +0000171 if (IsFirstRelocation) {
172 bool IsCode = false;
173 Check(RelocatedSection->isText(IsCode));
Rafael Espindola4f60a382013-05-30 03:05:14 +0000174 SectionID =
Lang Hames937ec542014-02-12 21:30:07 +0000175 findOrEmitSection(*Obj, *RelocatedSection, IsCode, LocalSections);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000176 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
Lang Hames937ec542014-02-12 21:30:07 +0000177 IsFirstRelocation = false;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000178 }
179
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000180 processRelocationRef(SectionID, Reloc, *Obj, LocalSections, LocalSymbols,
NAKAMURA Takumi87e08802013-12-07 11:21:42 +0000181 Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000182 }
183 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000184
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000185 // Give the subclasses a chance to tie-up any loose ends.
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000186 finalizeLoad(LocalSections);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000187
Ahmed Charles96c9d952014-03-05 10:19:29 +0000188 return Obj.release();
Lang Hames937ec542014-02-12 21:30:07 +0000189}
190
191// A helper method for computeTotalAllocSize.
192// Computes the memory size required to allocate sections with the given sizes,
193// assuming that all sections are allocated with the given alignment
194static uint64_t computeAllocationSizeForSections(std::vector<uint64_t>& SectionSizes,
195 uint64_t Alignment) {
196 uint64_t TotalSize = 0;
197 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
198 uint64_t AlignedSize = (SectionSizes[Idx] + Alignment - 1) /
199 Alignment * Alignment;
200 TotalSize += AlignedSize;
201 }
202 return TotalSize;
203}
204
205// Compute an upper bound of the memory size that is required to load all sections
206void RuntimeDyldImpl::computeTotalAllocSize(ObjectImage &Obj,
207 uint64_t& CodeSize, uint64_t& DataSizeRO, uint64_t& DataSizeRW) {
208 // Compute the size of all sections required for execution
209 std::vector<uint64_t> CodeSectionSizes;
210 std::vector<uint64_t> ROSectionSizes;
211 std::vector<uint64_t> RWSectionSizes;
212 uint64_t MaxAlignment = sizeof(void*);
213
214 // Collect sizes of all sections to be loaded;
215 // also determine the max alignment of all sections
216 for (section_iterator SI = Obj.begin_sections(), SE = Obj.end_sections();
217 SI != SE; ++SI) {
218 const SectionRef &Section = *SI;
219
220 bool IsRequired;
221 Check(Section.isRequiredForExecution(IsRequired));
222
223 // Consider only the sections that are required to be loaded for execution
224 if (IsRequired) {
225 uint64_t DataSize = 0;
226 uint64_t Alignment64 = 0;
227 bool IsCode = false;
228 bool IsReadOnly = false;
229 StringRef Name;
230 Check(Section.getSize(DataSize));
231 Check(Section.getAlignment(Alignment64));
232 Check(Section.isText(IsCode));
233 Check(Section.isReadOnlyData(IsReadOnly));
234 Check(Section.getName(Name));
235 unsigned Alignment = (unsigned) Alignment64 & 0xffffffffL;
236
237 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
238 uint64_t SectionSize = DataSize + StubBufSize;
239
240 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
241 // with zeroes added at the end. For MachO objects, this section has a
242 // slightly different name, so this won't have any effect for MachO objects.
243 if (Name == ".eh_frame")
244 SectionSize += 4;
245
246 if (SectionSize > 0) {
247 // save the total size of the section
248 if (IsCode) {
249 CodeSectionSizes.push_back(SectionSize);
250 } else if (IsReadOnly) {
251 ROSectionSizes.push_back(SectionSize);
252 } else {
253 RWSectionSizes.push_back(SectionSize);
254 }
255 // update the max alignment
256 if (Alignment > MaxAlignment) {
257 MaxAlignment = Alignment;
258 }
259 }
260 }
261 }
262
263 // Compute the size of all common symbols
264 uint64_t CommonSize = 0;
265 for (symbol_iterator I = Obj.begin_symbols(), E = Obj.end_symbols();
266 I != E; ++I) {
267 uint32_t Flags = I->getFlags();
268 if (Flags & SymbolRef::SF_Common) {
269 // Add the common symbols to a list. We'll allocate them all below.
270 uint64_t Size = 0;
271 Check(I->getSize(Size));
272 CommonSize += Size;
273 }
274 }
275 if (CommonSize != 0) {
276 RWSectionSizes.push_back(CommonSize);
277 }
278
279 // Compute the required allocation space for each different type of sections
280 // (code, read-only data, read-write data) assuming that all sections are
281 // allocated with the max alignment. Note that we cannot compute with the
282 // individual alignments of the sections, because then the required size
283 // depends on the order, in which the sections are allocated.
284 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, MaxAlignment);
285 DataSizeRO = computeAllocationSizeForSections(ROSectionSizes, MaxAlignment);
286 DataSizeRW = computeAllocationSizeForSections(RWSectionSizes, MaxAlignment);
287}
288
289// compute stub buffer size for the given section
290unsigned RuntimeDyldImpl::computeSectionStubBufSize(ObjectImage &Obj,
291 const SectionRef &Section) {
292 unsigned StubSize = getMaxStubSize();
293 if (StubSize == 0) {
294 return 0;
295 }
296 // FIXME: this is an inefficient way to handle this. We should computed the
297 // necessary section allocation size in loadObject by walking all the sections
298 // once.
299 unsigned StubBufSize = 0;
300 for (section_iterator SI = Obj.begin_sections(),
301 SE = Obj.end_sections();
302 SI != SE; ++SI) {
303 section_iterator RelSecI = SI->getRelocatedSection();
304 if (!(RelSecI == Section))
305 continue;
306
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000307 for (const RelocationRef &Reloc : SI->relocations()) {
308 (void)Reloc;
Lang Hames937ec542014-02-12 21:30:07 +0000309 StubBufSize += StubSize;
310 }
311 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000312
Lang Hames937ec542014-02-12 21:30:07 +0000313 // Get section data size and alignment
314 uint64_t Alignment64;
315 uint64_t DataSize;
316 Check(Section.getSize(DataSize));
317 Check(Section.getAlignment(Alignment64));
318
319 // Add stubbuf size alignment
320 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
321 unsigned StubAlignment = getStubAlignment();
322 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
323 if (StubAlignment > EndAlignment)
324 StubBufSize += StubAlignment - EndAlignment;
325 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000326}
327
Eli Bendersky667b8792012-05-01 10:41:12 +0000328void RuntimeDyldImpl::emitCommonSymbols(ObjectImage &Obj,
329 const CommonSymbolMap &CommonSymbols,
330 uint64_t TotalSize,
331 SymbolTableMap &SymbolTable) {
Preston Gurd2138ef62012-04-12 20:13:57 +0000332 // Allocate memory for the section
333 unsigned SectionID = Sections.size();
Filip Pizlo7aa695e02013-10-02 00:59:25 +0000334 uint8_t *Addr = MemMgr->allocateDataSection(
335 TotalSize, sizeof(void*), SectionID, StringRef(), false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000336 if (!Addr)
337 report_fatal_error("Unable to allocate memory for common symbols!");
338 uint64_t Offset = 0;
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000339 Sections.push_back(SectionEntry(StringRef(), Addr, TotalSize, 0));
Preston Gurd2138ef62012-04-12 20:13:57 +0000340 memset(Addr, 0, TotalSize);
341
342 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID
343 << " new addr: " << format("%p", Addr)
344 << " DataSize: " << TotalSize
345 << "\n");
346
347 // Assign the address of each symbol
Eli Bendersky667b8792012-05-01 10:41:12 +0000348 for (CommonSymbolMap::const_iterator it = CommonSymbols.begin(),
349 itEnd = CommonSymbols.end(); it != itEnd; it++) {
Tim Northover94bc73d2012-10-29 10:47:04 +0000350 uint64_t Size = it->second.first;
351 uint64_t Align = it->second.second;
Preston Gurd2138ef62012-04-12 20:13:57 +0000352 StringRef Name;
353 it->first.getName(Name);
Tim Northover94bc73d2012-10-29 10:47:04 +0000354 if (Align) {
355 // This symbol has an alignment requirement.
356 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
357 Addr += AlignOffset;
358 Offset += AlignOffset;
359 DEBUG(dbgs() << "Allocating common symbol " << Name << " address " <<
Andrew Kaylor0eece8d2012-11-01 19:49:21 +0000360 format("%p\n", Addr));
Tim Northover94bc73d2012-10-29 10:47:04 +0000361 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000362 Obj.updateSymbolAddress(it->first, (uint64_t)Addr);
Eli Bendersky667b8792012-05-01 10:41:12 +0000363 SymbolTable[Name.data()] = SymbolLoc(SectionID, Offset);
Preston Gurd2138ef62012-04-12 20:13:57 +0000364 Offset += Size;
365 Addr += Size;
366 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000367}
368
Preston Gurdcc31af92012-04-16 22:12:58 +0000369unsigned RuntimeDyldImpl::emitSection(ObjectImage &Obj,
370 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000371 bool IsCode) {
372
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000373 StringRef data;
374 uint64_t Alignment64;
375 Check(Section.getContents(data));
376 Check(Section.getAlignment(Alignment64));
377
378 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Preston Gurd2138ef62012-04-12 20:13:57 +0000379 bool IsRequired;
380 bool IsVirtual;
381 bool IsZeroInit;
Andrew Kaylora342cb92012-11-15 23:50:01 +0000382 bool IsReadOnly;
Preston Gurd2138ef62012-04-12 20:13:57 +0000383 uint64_t DataSize;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000384 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000385 unsigned StubBufSize = 0;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000386 StringRef Name;
Preston Gurd2138ef62012-04-12 20:13:57 +0000387 Check(Section.isRequiredForExecution(IsRequired));
388 Check(Section.isVirtual(IsVirtual));
389 Check(Section.isZeroInit(IsZeroInit));
Andrew Kaylora342cb92012-11-15 23:50:01 +0000390 Check(Section.isReadOnlyData(IsReadOnly));
Preston Gurd2138ef62012-04-12 20:13:57 +0000391 Check(Section.getSize(DataSize));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000392 Check(Section.getName(Name));
Lang Hames937ec542014-02-12 21:30:07 +0000393
394 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000395
Andrew Kaylor877b9312013-10-16 00:32:24 +0000396 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
397 // with zeroes added at the end. For MachO objects, this section has a
398 // slightly different name, so this won't have any effect for MachO objects.
399 if (Name == ".eh_frame")
400 PaddingSize = 4;
401
Lang Hamesd4100172014-02-11 05:28:24 +0000402 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000403 unsigned SectionID = Sections.size();
404 uint8_t *Addr;
405 const char *pData = 0;
406
407 // Some sections, such as debug info, don't need to be loaded for execution.
408 // Leave those where they are.
409 if (IsRequired) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000410 Allocate = DataSize + PaddingSize + StubBufSize;
Preston Gurd2138ef62012-04-12 20:13:57 +0000411 Addr = IsCode
Filip Pizlo7aa695e02013-10-02 00:59:25 +0000412 ? MemMgr->allocateCodeSection(Allocate, Alignment, SectionID, Name)
413 : MemMgr->allocateDataSection(Allocate, Alignment, SectionID, Name,
414 IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000415 if (!Addr)
416 report_fatal_error("Unable to allocate section memory!");
417
418 // Virtual sections have no data in the object image, so leave pData = 0
419 if (!IsVirtual)
420 pData = data.data();
421
422 // Zero-initialize or copy the data from the image
423 if (IsZeroInit || IsVirtual)
424 memset(Addr, 0, DataSize);
425 else
426 memcpy(Addr, pData, DataSize);
427
Andrew Kaylor877b9312013-10-16 00:32:24 +0000428 // Fill in any extra bytes we allocated for padding
429 if (PaddingSize != 0) {
430 memset(Addr + DataSize, 0, PaddingSize);
431 // Update the DataSize variable so that the stub offset is set correctly.
432 DataSize += PaddingSize;
433 }
434
Preston Gurd2138ef62012-04-12 20:13:57 +0000435 DEBUG(dbgs() << "emitSection SectionID: " << SectionID
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000436 << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000437 << " obj addr: " << format("%p", pData)
438 << " new addr: " << format("%p", Addr)
439 << " DataSize: " << DataSize
440 << " StubBufSize: " << StubBufSize
441 << " Allocate: " << Allocate
442 << "\n");
Preston Gurdcc31af92012-04-16 22:12:58 +0000443 Obj.updateSectionAddress(Section, (uint64_t)Addr);
Preston Gurd2138ef62012-04-12 20:13:57 +0000444 }
445 else {
446 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000447 // to handle later processing (and by 'handle' I mean don't do anything
448 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000449 Allocate = 0;
450 Addr = 0;
451 DEBUG(dbgs() << "emitSection SectionID: " << SectionID
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000452 << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000453 << " obj addr: " << format("%p", data.data())
454 << " new addr: 0"
455 << " DataSize: " << DataSize
456 << " StubBufSize: " << StubBufSize
457 << " Allocate: " << Allocate
458 << "\n");
459 }
460
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000461 Sections.push_back(SectionEntry(Name, Addr, DataSize, (uintptr_t)pData));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000462 return SectionID;
463}
464
Preston Gurdcc31af92012-04-16 22:12:58 +0000465unsigned RuntimeDyldImpl::findOrEmitSection(ObjectImage &Obj,
466 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000467 bool IsCode,
468 ObjSectionToIDMap &LocalSections) {
469
470 unsigned SectionID = 0;
471 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
472 if (i != LocalSections.end())
473 SectionID = i->second;
474 else {
Preston Gurdcc31af92012-04-16 22:12:58 +0000475 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000476 LocalSections[Section] = SectionID;
477 }
478 return SectionID;
479}
480
Eli Bendersky667b8792012-05-01 10:41:12 +0000481void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
482 unsigned SectionID) {
483 Relocations[SectionID].push_back(RE);
484}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000485
Eli Bendersky667b8792012-05-01 10:41:12 +0000486void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
487 StringRef SymbolName) {
488 // Relocation by symbol. If the symbol is found in the global symbol table,
489 // create an appropriate section relocation. Otherwise, add it to
490 // ExternalSymbolRelocations.
491 SymbolTableMap::const_iterator Loc =
492 GlobalSymbolTable.find(SymbolName);
493 if (Loc == GlobalSymbolTable.end()) {
494 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000495 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000496 // Copy the RE since we want to modify its addend.
497 RelocationEntry RECopy = RE;
498 RECopy.Addend += Loc->second.second;
499 Relocations[Loc->second.first].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000500 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000501}
502
503uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr) {
Tim Northover37cde972013-05-04 20:14:09 +0000504 if (Arch == Triple::aarch64) {
505 // This stub has to be able to access the full address space,
506 // since symbol lookup won't necessarily find a handy, in-range,
507 // PLT stub for functions which could be anywhere.
508 uint32_t *StubAddr = (uint32_t*)Addr;
509
510 // Stub can use ip0 (== x16) to calculate address
511 *StubAddr = 0xd2e00010; // movz ip0, #:abs_g3:<addr>
512 StubAddr++;
513 *StubAddr = 0xf2c00010; // movk ip0, #:abs_g2_nc:<addr>
514 StubAddr++;
515 *StubAddr = 0xf2a00010; // movk ip0, #:abs_g1_nc:<addr>
516 StubAddr++;
517 *StubAddr = 0xf2800010; // movk ip0, #:abs_g0_nc:<addr>
518 StubAddr++;
519 *StubAddr = 0xd61f0200; // br ip0
520
521 return Addr;
522 } else if (Arch == Triple::arm) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000523 // TODO: There is only ARM far stub now. We should add the Thumb stub,
524 // and stubs for branches Thumb - ARM and ARM - Thumb.
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000525 uint32_t *StubAddr = (uint32_t*)Addr;
526 *StubAddr = 0xe51ff004; // ldr pc,<label>
527 return (uint8_t*)++StubAddr;
NAKAMURA Takumif97efd92012-12-04 00:08:14 +0000528 } else if (Arch == Triple::mipsel || Arch == Triple::mips) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000529 uint32_t *StubAddr = (uint32_t*)Addr;
530 // 0: 3c190000 lui t9,%hi(addr).
531 // 4: 27390000 addiu t9,t9,%lo(addr).
532 // 8: 03200008 jr t9.
533 // c: 00000000 nop.
534 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
535 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
536
537 *StubAddr = LuiT9Instr;
538 StubAddr++;
539 *StubAddr = AdduiT9Instr;
540 StubAddr++;
541 *StubAddr = JrT9Instr;
542 StubAddr++;
543 *StubAddr = NopInstr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000544 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000545 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000546 // PowerPC64 stub: the address points to a function descriptor
547 // instead of the function itself. Load the function address
548 // on r11 and sets it to control register. Also loads the function
549 // TOC in r2 and environment pointer to r11.
550 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
551 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
552 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
553 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
554 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
555 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
556 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
557 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
558 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
559 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
560 writeInt32BE(Addr+40, 0x4E800420); // bctr
Andrew Kaylor0eece8d2012-11-01 19:49:21 +0000561
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000562 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000563 } else if (Arch == Triple::systemz) {
564 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
565 writeInt16BE(Addr+2, 0x0000);
566 writeInt16BE(Addr+4, 0x0004);
567 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
568 // 8-byte address stored at Addr + 8
569 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000570 } else if (Arch == Triple::x86_64) {
571 *Addr = 0xFF; // jmp
572 *(Addr+1) = 0x25; // rip
573 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Akira Hatanaka111174b2012-08-17 21:28:04 +0000574 }
575 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000576}
577
578// Assign an address to a symbol name and resolve all the relocations
579// associated with it.
580void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
581 uint64_t Addr) {
582 // The address to use for relocation resolution is not
583 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000584 // a remote execution environment of some sort. Relocations can't
585 // be applied until all the sections have been moved. The client must
586 // trigger this with a call to MCJIT::finalize() or
587 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000588 //
589 // Addr is a uint64_t because we can't assume the pointer width
590 // of the target is the same as that of the host. Just use a generic
591 // "big enough" type.
592 Sections[SectionID].LoadAddress = Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000593}
594
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000595void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
596 uint64_t Value) {
597 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000598 const RelocationEntry &RE = Relocs[i];
599 // Ignore relocations for sections that were not loaded
600 if (Sections[RE.SectionID].Address == 0)
601 continue;
602 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000603 }
604}
605
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000606void RuntimeDyldImpl::resolveExternalSymbols() {
Andrew Kaylorea395922013-10-01 01:47:35 +0000607 while(!ExternalSymbolRelocations.empty()) {
608 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
609
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000610 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +0000611 if (Name.size() == 0) {
612 // This is an absolute symbol, use an address of zero.
613 DEBUG(dbgs() << "Resolving absolute relocations." << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000614 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000615 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000616 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +0000617 uint64_t Addr = 0;
618 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(Name);
619 if (Loc == GlobalSymbolTable.end()) {
620 // This is an external symbol, try to get its address from
621 // MemoryManager.
622 Addr = MemMgr->getSymbolAddress(Name.data());
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000623 // The call to getSymbolAddress may have caused additional modules to
624 // be loaded, which may have added new entries to the
625 // ExternalSymbolRelocations map. Consquently, we need to update our
626 // iterator. This is also why retrieval of the relocation list
627 // associated with this symbol is deferred until below this point.
628 // New entries may have been added to the relocation list.
629 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000630 } else {
631 // We found the symbol in our global table. It was probably in a
632 // Module that we loaded previously.
Yaron Kerenc9802882013-10-19 09:04:26 +0000633 SymbolLoc SymLoc = Loc->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000634 Addr = getSectionLoadAddress(SymLoc.first) + SymLoc.second;
635 }
636
637 // FIXME: Implement error handling that doesn't kill the host program!
638 if (!Addr)
639 report_fatal_error("Program used external function '" + Name +
640 "' which could not be resolved!");
641
642 updateGOTEntries(Name, Addr);
643 DEBUG(dbgs() << "Resolving relocations Name: " << Name
644 << "\t" << format("0x%lx", Addr)
645 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000646 // This list may have been updated when we called getSymbolAddress, so
647 // don't change this code to get the list earlier.
648 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000649 resolveRelocationList(Relocs, Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000650 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000651
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000652 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000653 }
654}
655
656
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000657//===----------------------------------------------------------------------===//
658// RuntimeDyld class implementation
Danil Malyshev72510f22011-07-13 07:57:58 +0000659RuntimeDyld::RuntimeDyld(RTDyldMemoryManager *mm) {
Andrew Kaylora342cb92012-11-15 23:50:01 +0000660 // FIXME: There's a potential issue lurking here if a single instance of
661 // RuntimeDyld is used to load multiple objects. The current implementation
662 // associates a single memory manager with a RuntimeDyld instance. Even
663 // though the public class spawns a new 'impl' instance for each load,
664 // they share a single memory manager. This can become a problem when page
665 // permissions are applied.
Danil Malyshev72510f22011-07-13 07:57:58 +0000666 Dyld = 0;
667 MM = mm;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000668}
669
670RuntimeDyld::~RuntimeDyld() {
671 delete Dyld;
672}
673
Lang Hames173c69f2014-01-08 04:09:09 +0000674ObjectImage *RuntimeDyld::loadObject(ObjectFile *InputObject) {
Lang Hames951b2352014-03-08 18:45:12 +0000675 std::unique_ptr<ObjectImage> InputImage;
Lang Hames173c69f2014-01-08 04:09:09 +0000676
Lang Hames951b2352014-03-08 18:45:12 +0000677 if (InputObject->isELF()) {
678 InputImage.reset(RuntimeDyldELF::createObjectImageFromFile(InputObject));
679 if (!Dyld)
680 Dyld = new RuntimeDyldELF(MM);
681 } else if (InputObject->isMachO()) {
682 InputImage.reset(RuntimeDyldMachO::createObjectImageFromFile(InputObject));
683 if (!Dyld)
684 Dyld = new RuntimeDyldMachO(MM);
685 } else
686 report_fatal_error("Incompatible object format!");
687
688 if (!Dyld->isCompatibleFile(InputObject))
689 report_fatal_error("Incompatible object format!");
690
691 Dyld->loadObject(InputImage.get());
692 return InputImage.release();
Lang Hames173c69f2014-01-08 04:09:09 +0000693}
694
Andrew Kayloradc70562012-10-02 21:18:39 +0000695ObjectImage *RuntimeDyld::loadObject(ObjectBuffer *InputBuffer) {
Lang Hames951b2352014-03-08 18:45:12 +0000696 std::unique_ptr<ObjectImage> InputImage;
697 sys::fs::file_magic Type =
698 sys::fs::identify_magic(InputBuffer->getBuffer());
699
700 switch (Type) {
701 case sys::fs::file_magic::elf_relocatable:
702 case sys::fs::file_magic::elf_executable:
703 case sys::fs::file_magic::elf_shared_object:
704 case sys::fs::file_magic::elf_core:
705 InputImage.reset(RuntimeDyldELF::createObjectImage(InputBuffer));
706 if (!Dyld)
Rafael Espindola8de86072013-06-11 18:01:14 +0000707 Dyld = new RuntimeDyldELF(MM);
Lang Hames951b2352014-03-08 18:45:12 +0000708 break;
709 case sys::fs::file_magic::macho_object:
710 case sys::fs::file_magic::macho_executable:
711 case sys::fs::file_magic::macho_fixed_virtual_memory_shared_lib:
712 case sys::fs::file_magic::macho_core:
713 case sys::fs::file_magic::macho_preload_executable:
714 case sys::fs::file_magic::macho_dynamically_linked_shared_lib:
715 case sys::fs::file_magic::macho_dynamic_linker:
716 case sys::fs::file_magic::macho_bundle:
717 case sys::fs::file_magic::macho_dynamically_linked_shared_lib_stub:
718 case sys::fs::file_magic::macho_dsym_companion:
719 InputImage.reset(RuntimeDyldMachO::createObjectImage(InputBuffer));
720 if (!Dyld)
Rafael Espindola8de86072013-06-11 18:01:14 +0000721 Dyld = new RuntimeDyldMachO(MM);
Lang Hames951b2352014-03-08 18:45:12 +0000722 break;
723 case sys::fs::file_magic::unknown:
724 case sys::fs::file_magic::bitcode:
725 case sys::fs::file_magic::archive:
726 case sys::fs::file_magic::coff_object:
727 case sys::fs::file_magic::coff_import_library:
728 case sys::fs::file_magic::pecoff_executable:
729 case sys::fs::file_magic::macho_universal_binary:
730 case sys::fs::file_magic::windows_resource:
731 report_fatal_error("Incompatible object format!");
Danil Malyshev72510f22011-07-13 07:57:58 +0000732 }
733
Lang Hames951b2352014-03-08 18:45:12 +0000734 if (!Dyld->isCompatibleFormat(InputBuffer))
735 report_fatal_error("Incompatible object format!");
736
737 Dyld->loadObject(InputImage.get());
738 return InputImage.release();
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000739}
740
Jim Grosbach18b81c52011-04-08 17:31:24 +0000741void *RuntimeDyld::getSymbolAddress(StringRef Name) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000742 if (!Dyld)
743 return NULL;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000744 return Dyld->getSymbolAddress(Name);
745}
746
Jim Grosbachdc1123f2012-09-05 16:50:40 +0000747uint64_t RuntimeDyld::getSymbolLoadAddress(StringRef Name) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000748 if (!Dyld)
749 return 0;
Jim Grosbachdc1123f2012-09-05 16:50:40 +0000750 return Dyld->getSymbolLoadAddress(Name);
751}
752
Jim Grosbach733d3052011-04-12 21:20:41 +0000753void RuntimeDyld::resolveRelocations() {
754 Dyld->resolveRelocations();
755}
756
Jim Grosbacheff0a402012-01-16 22:26:39 +0000757void RuntimeDyld::reassignSectionAddress(unsigned SectionID,
758 uint64_t Addr) {
759 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +0000760}
761
Jim Grosbach6d613972012-09-13 21:50:06 +0000762void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000763 uint64_t TargetAddress) {
764 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
765}
766
Jim Grosbach5cc5eef2011-03-22 18:22:27 +0000767StringRef RuntimeDyld::getErrorString() {
Jim Grosbach40411cc2011-03-22 18:19:42 +0000768 return Dyld->getErrorString();
769}
770
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000771void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000772 if (Dyld)
773 Dyld->registerEHFrames();
774}
775
776void RuntimeDyld::deregisterEHFrames() {
777 if (Dyld)
778 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000779}
780
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000781} // end namespace llvm