blob: f0bd4e34a866cb3dea7f8c0b43f8035b155913e9 [file] [log] [blame]
Jim Grosbache0934be2012-01-16 23:50:58 +00001//===-- RuntimeDyld.cpp - Run-time dynamic linker for MC-JIT ----*- C++ -*-===//
Jim Grosbach6e563312011-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 Grosbach8b54dca2011-03-23 19:52:00 +000014#define DEBUG_TYPE "dyld"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000015#include "llvm/ExecutionEngine/RuntimeDyld.h"
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000016#include "ObjectImageCommon.h"
Eli Bendersky76463fd2012-01-22 07:05:02 +000017#include "RuntimeDyldELF.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000018#include "RuntimeDyldImpl.h"
Eli Bendersky76463fd2012-01-22 07:05:02 +000019#include "RuntimeDyldMachO.h"
Rafael Espindola3ecfcc22013-06-11 18:01:14 +000020#include "llvm/Support/FileSystem.h"
Tim Northoverf00677d2012-10-29 10:47:04 +000021#include "llvm/Support/MathExtras.h"
Rafael Espindola7486d922013-05-30 03:05:14 +000022#include "llvm/Object/ELF.h"
Eli Bendersky76463fd2012-01-22 07:05:02 +000023
Jim Grosbach6e563312011-03-21 22:15:52 +000024using namespace llvm;
25using namespace llvm::object;
26
Chandler Carruth53c5e7b2011-04-05 23:54:31 +000027// Empty out-of-line virtual destructor as the key function.
Danil Malyshevcf852dc2011-07-13 07:57:58 +000028RuntimeDyldImpl::~RuntimeDyldImpl() {}
Chandler Carruth53c5e7b2011-04-05 23:54:31 +000029
Jim Grosbach6e563312011-03-21 22:15:52 +000030namespace llvm {
Jim Grosbach6e563312011-03-21 22:15:52 +000031
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000032StringRef RuntimeDyldImpl::getEHFrameSection() {
33 return StringRef();
34}
35
Jim Grosbachf8c1c842011-04-12 21:20:41 +000036// Resolve the relocations for all symbols we currently know about.
37void RuntimeDyldImpl::resolveRelocations() {
Preston Gurdc68dda82012-04-12 20:13:57 +000038 // First, resolve relocations associated with external symbols.
Eli Bendersky37bc5a22012-04-30 12:15:58 +000039 resolveExternalSymbols();
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +000040
Jim Grosbach61425c02012-01-16 22:26:39 +000041 // Just iterate over the sections we have and resolve all the relocations
42 // in them. Gross overkill, but it gets the job done.
43 for (int i = 0, e = Sections.size(); i != e; ++i) {
Andrew Kaylor28989882012-11-05 20:57:16 +000044 uint64_t Addr = Sections[i].LoadAddress;
45 DEBUG(dbgs() << "Resolving relocations Section #" << i
46 << "\t" << format("%p", (uint8_t *)Addr)
47 << "\n");
48 resolveRelocationList(Relocations[i], Addr);
Jim Grosbach61425c02012-01-16 22:26:39 +000049 }
Jim Grosbachf8c1c842011-04-12 21:20:41 +000050}
51
Jim Grosbache940c1b2012-09-13 21:50:06 +000052void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach020f4e82012-01-16 23:50:55 +000053 uint64_t TargetAddress) {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +000054 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
55 if (Sections[i].Address == LocalAddress) {
56 reassignSectionAddress(i, TargetAddress);
57 return;
58 }
59 }
60 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach020f4e82012-01-16 23:50:55 +000061}
62
Eli Bendersky5fe01982012-04-29 12:40:47 +000063// Subclasses can implement this method to create specialized image instances.
Sylvestre Ledruc8e41c52012-07-23 08:51:15 +000064// The caller owns the pointer that is returned.
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000065ObjectImage *RuntimeDyldImpl::createObjectImage(ObjectBuffer *InputBuffer) {
66 return new ObjectImageCommon(InputBuffer);
Preston Gurd689ff9c2012-04-16 22:12:58 +000067}
68
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000069ObjectImage *RuntimeDyldImpl::loadObject(ObjectBuffer *InputBuffer) {
Preston Gurd689ff9c2012-04-16 22:12:58 +000070 OwningPtr<ObjectImage> obj(createObjectImage(InputBuffer));
Preston Gurdc68dda82012-04-12 20:13:57 +000071 if (!obj)
72 report_fatal_error("Unable to create object image from memory buffer!");
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +000073
74 Arch = (Triple::ArchType)obj->getArch();
75
Eli Benderskyd98c9e92012-05-01 06:58:59 +000076 // Symbols found in this object
77 StringMap<SymbolLoc> LocalSymbols;
78 // Used sections from the object file
79 ObjSectionToIDMap LocalSections;
80
Tim Northoverf00677d2012-10-29 10:47:04 +000081 // Common symbols requiring allocation, with their sizes and alignments
Eli Benderskyd98c9e92012-05-01 06:58:59 +000082 CommonSymbolMap CommonSymbols;
Tim Northoverf00677d2012-10-29 10:47:04 +000083 // Maximum required total memory to allocate all common symbols
Eli Benderskyd98c9e92012-05-01 06:58:59 +000084 uint64_t CommonSize = 0;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +000085
86 error_code err;
87 // Parse symbols
88 DEBUG(dbgs() << "Parse symbols:\n");
89 for (symbol_iterator i = obj->begin_symbols(), e = obj->end_symbols();
90 i != e; i.increment(err)) {
91 Check(err);
92 object::SymbolRef::Type SymType;
93 StringRef Name;
94 Check(i->getType(SymType));
95 Check(i->getName(Name));
96
Preston Gurdc68dda82012-04-12 20:13:57 +000097 uint32_t flags;
98 Check(i->getFlags(flags));
99
100 bool isCommon = flags & SymbolRef::SF_Common;
101 if (isCommon) {
102 // Add the common symbols to a list. We'll allocate them all below.
Rafael Espindola59a0e792013-04-29 22:24:22 +0000103 uint32_t Align;
104 Check(i->getAlignment(Align));
Preston Gurdc68dda82012-04-12 20:13:57 +0000105 uint64_t Size = 0;
106 Check(i->getSize(Size));
Tim Northoverf00677d2012-10-29 10:47:04 +0000107 CommonSize += Size + Align;
108 CommonSymbols[*i] = CommonSymbolInfo(Size, Align);
Preston Gurdc68dda82012-04-12 20:13:57 +0000109 } else {
110 if (SymType == object::SymbolRef::ST_Function ||
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000111 SymType == object::SymbolRef::ST_Data ||
112 SymType == object::SymbolRef::ST_Unknown) {
Preston Gurdc68dda82012-04-12 20:13:57 +0000113 uint64_t FileOffset;
Eli Bendersky5fe01982012-04-29 12:40:47 +0000114 StringRef SectionData;
Tim Northover78822132012-12-17 17:59:35 +0000115 bool IsCode;
Preston Gurdc68dda82012-04-12 20:13:57 +0000116 section_iterator si = obj->end_sections();
117 Check(i->getFileOffset(FileOffset));
118 Check(i->getSection(si));
119 if (si == obj->end_sections()) continue;
Eli Bendersky5fe01982012-04-29 12:40:47 +0000120 Check(si->getContents(SectionData));
Tim Northover78822132012-12-17 17:59:35 +0000121 Check(si->isText(IsCode));
Preston Gurdc68dda82012-04-12 20:13:57 +0000122 const uint8_t* SymPtr = (const uint8_t*)InputBuffer->getBufferStart() +
123 (uintptr_t)FileOffset;
Eli Bendersky5fe01982012-04-29 12:40:47 +0000124 uintptr_t SectOffset = (uintptr_t)(SymPtr -
125 (const uint8_t*)SectionData.begin());
Tim Northover78822132012-12-17 17:59:35 +0000126 unsigned SectionID = findOrEmitSection(*obj, *si, IsCode, LocalSections);
Preston Gurdc68dda82012-04-12 20:13:57 +0000127 LocalSymbols[Name.data()] = SymbolLoc(SectionID, SectOffset);
128 DEBUG(dbgs() << "\tFileOffset: " << format("%p", (uintptr_t)FileOffset)
129 << " flags: " << flags
130 << " SID: " << SectionID
131 << " Offset: " << format("%p", SectOffset));
Amara Emerson098d6d52012-11-16 11:11:59 +0000132 GlobalSymbolTable[Name] = SymbolLoc(SectionID, SectOffset);
Preston Gurdc68dda82012-04-12 20:13:57 +0000133 }
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000134 }
135 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name << "\n");
136 }
137
Preston Gurdc68dda82012-04-12 20:13:57 +0000138 // Allocate common symbols
139 if (CommonSize != 0)
Preston Gurd689ff9c2012-04-16 22:12:58 +0000140 emitCommonSymbols(*obj, CommonSymbols, CommonSize, LocalSymbols);
Preston Gurdc68dda82012-04-12 20:13:57 +0000141
Eli Bendersky5fe01982012-04-29 12:40:47 +0000142 // Parse and process relocations
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000143 DEBUG(dbgs() << "Parse relocations:\n");
144 for (section_iterator si = obj->begin_sections(),
145 se = obj->end_sections(); si != se; si.increment(err)) {
146 Check(err);
147 bool isFirstRelocation = true;
148 unsigned SectionID = 0;
149 StubMap Stubs;
Rafael Espindola7486d922013-05-30 03:05:14 +0000150 section_iterator RelocatedSection = si->getRelocatedSection();
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000151
152 for (relocation_iterator i = si->begin_relocations(),
153 e = si->end_relocations(); i != e; i.increment(err)) {
154 Check(err);
155
Eli Bendersky5fe01982012-04-29 12:40:47 +0000156 // If it's the first relocation in this section, find its SectionID
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000157 if (isFirstRelocation) {
Rafael Espindola7486d922013-05-30 03:05:14 +0000158 SectionID =
159 findOrEmitSection(*obj, *RelocatedSection, true, LocalSections);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000160 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
161 isFirstRelocation = false;
162 }
163
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000164 processRelocationRef(SectionID, *i, *obj, LocalSections, LocalSymbols,
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000165 Stubs);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000166 }
167 }
Preston Gurd689ff9c2012-04-16 22:12:58 +0000168
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000169 return obj.take();
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000170}
171
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000172void RuntimeDyldImpl::emitCommonSymbols(ObjectImage &Obj,
173 const CommonSymbolMap &CommonSymbols,
174 uint64_t TotalSize,
175 SymbolTableMap &SymbolTable) {
Preston Gurdc68dda82012-04-12 20:13:57 +0000176 // Allocate memory for the section
177 unsigned SectionID = Sections.size();
178 uint8_t *Addr = MemMgr->allocateDataSection(TotalSize, sizeof(void*),
Andrew Kaylor53608a32012-11-15 23:50:01 +0000179 SectionID, false);
Preston Gurdc68dda82012-04-12 20:13:57 +0000180 if (!Addr)
181 report_fatal_error("Unable to allocate memory for common symbols!");
182 uint64_t Offset = 0;
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000183 Sections.push_back(SectionEntry(StringRef(), Addr, TotalSize, 0));
Preston Gurdc68dda82012-04-12 20:13:57 +0000184 memset(Addr, 0, TotalSize);
185
186 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID
187 << " new addr: " << format("%p", Addr)
188 << " DataSize: " << TotalSize
189 << "\n");
190
191 // Assign the address of each symbol
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000192 for (CommonSymbolMap::const_iterator it = CommonSymbols.begin(),
193 itEnd = CommonSymbols.end(); it != itEnd; it++) {
Tim Northoverf00677d2012-10-29 10:47:04 +0000194 uint64_t Size = it->second.first;
195 uint64_t Align = it->second.second;
Preston Gurdc68dda82012-04-12 20:13:57 +0000196 StringRef Name;
197 it->first.getName(Name);
Tim Northoverf00677d2012-10-29 10:47:04 +0000198 if (Align) {
199 // This symbol has an alignment requirement.
200 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
201 Addr += AlignOffset;
202 Offset += AlignOffset;
203 DEBUG(dbgs() << "Allocating common symbol " << Name << " address " <<
Andrew Kaylor5fc8c7c2012-11-01 19:49:21 +0000204 format("%p\n", Addr));
Tim Northoverf00677d2012-10-29 10:47:04 +0000205 }
Preston Gurd689ff9c2012-04-16 22:12:58 +0000206 Obj.updateSymbolAddress(it->first, (uint64_t)Addr);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000207 SymbolTable[Name.data()] = SymbolLoc(SectionID, Offset);
Preston Gurdc68dda82012-04-12 20:13:57 +0000208 Offset += Size;
209 Addr += Size;
210 }
Preston Gurdc68dda82012-04-12 20:13:57 +0000211}
212
Preston Gurd689ff9c2012-04-16 22:12:58 +0000213unsigned RuntimeDyldImpl::emitSection(ObjectImage &Obj,
214 const SectionRef &Section,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000215 bool IsCode) {
216
217 unsigned StubBufSize = 0,
218 StubSize = getMaxStubSize();
219 error_code err;
Rafael Espindola7486d922013-05-30 03:05:14 +0000220 const ObjectFile *ObjFile = Obj.getObjectFile();
221 // FIXME: this is an inefficient way to handle this. We should computed the
222 // necessary section allocation size in loadObject by walking all the sections
223 // once.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000224 if (StubSize > 0) {
Rafael Espindola7486d922013-05-30 03:05:14 +0000225 for (section_iterator SI = ObjFile->begin_sections(),
226 SE = ObjFile->end_sections();
227 SI != SE; SI.increment(err), Check(err)) {
228 section_iterator RelSecI = SI->getRelocatedSection();
229 if (!(RelSecI == Section))
230 continue;
231
232 for (relocation_iterator I = SI->begin_relocations(),
233 E = SI->end_relocations(); I != E; I.increment(err), Check(err)) {
234 StubBufSize += StubSize;
235 }
236 }
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000237 }
Rafael Espindola7486d922013-05-30 03:05:14 +0000238
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000239 StringRef data;
240 uint64_t Alignment64;
241 Check(Section.getContents(data));
242 Check(Section.getAlignment(Alignment64));
243
244 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Preston Gurdc68dda82012-04-12 20:13:57 +0000245 bool IsRequired;
246 bool IsVirtual;
247 bool IsZeroInit;
Andrew Kaylor53608a32012-11-15 23:50:01 +0000248 bool IsReadOnly;
Preston Gurdc68dda82012-04-12 20:13:57 +0000249 uint64_t DataSize;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000250 StringRef Name;
Preston Gurdc68dda82012-04-12 20:13:57 +0000251 Check(Section.isRequiredForExecution(IsRequired));
252 Check(Section.isVirtual(IsVirtual));
253 Check(Section.isZeroInit(IsZeroInit));
Andrew Kaylor53608a32012-11-15 23:50:01 +0000254 Check(Section.isReadOnlyData(IsReadOnly));
Preston Gurdc68dda82012-04-12 20:13:57 +0000255 Check(Section.getSize(DataSize));
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000256 Check(Section.getName(Name));
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000257 if (StubSize > 0) {
258 unsigned StubAlignment = getStubAlignment();
259 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
260 if (StubAlignment > EndAlignment)
261 StubBufSize += StubAlignment - EndAlignment;
262 }
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000263
Preston Gurdc68dda82012-04-12 20:13:57 +0000264 unsigned Allocate;
265 unsigned SectionID = Sections.size();
266 uint8_t *Addr;
267 const char *pData = 0;
268
269 // Some sections, such as debug info, don't need to be loaded for execution.
270 // Leave those where they are.
271 if (IsRequired) {
272 Allocate = DataSize + StubBufSize;
273 Addr = IsCode
274 ? MemMgr->allocateCodeSection(Allocate, Alignment, SectionID)
Andrew Kaylor53608a32012-11-15 23:50:01 +0000275 : MemMgr->allocateDataSection(Allocate, Alignment, SectionID, IsReadOnly);
Preston Gurdc68dda82012-04-12 20:13:57 +0000276 if (!Addr)
277 report_fatal_error("Unable to allocate section memory!");
278
279 // Virtual sections have no data in the object image, so leave pData = 0
280 if (!IsVirtual)
281 pData = data.data();
282
283 // Zero-initialize or copy the data from the image
284 if (IsZeroInit || IsVirtual)
285 memset(Addr, 0, DataSize);
286 else
287 memcpy(Addr, pData, DataSize);
288
289 DEBUG(dbgs() << "emitSection SectionID: " << SectionID
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000290 << " Name: " << Name
Preston Gurdc68dda82012-04-12 20:13:57 +0000291 << " obj addr: " << format("%p", pData)
292 << " new addr: " << format("%p", Addr)
293 << " DataSize: " << DataSize
294 << " StubBufSize: " << StubBufSize
295 << " Allocate: " << Allocate
296 << "\n");
Preston Gurd689ff9c2012-04-16 22:12:58 +0000297 Obj.updateSectionAddress(Section, (uint64_t)Addr);
Preston Gurdc68dda82012-04-12 20:13:57 +0000298 }
299 else {
300 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky5fe01982012-04-29 12:40:47 +0000301 // to handle later processing (and by 'handle' I mean don't do anything
302 // with these sections).
Preston Gurdc68dda82012-04-12 20:13:57 +0000303 Allocate = 0;
304 Addr = 0;
305 DEBUG(dbgs() << "emitSection SectionID: " << SectionID
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000306 << " Name: " << Name
Preston Gurdc68dda82012-04-12 20:13:57 +0000307 << " obj addr: " << format("%p", data.data())
308 << " new addr: 0"
309 << " DataSize: " << DataSize
310 << " StubBufSize: " << StubBufSize
311 << " Allocate: " << Allocate
312 << "\n");
313 }
314
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000315 Sections.push_back(SectionEntry(Name, Addr, DataSize, (uintptr_t)pData));
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000316 return SectionID;
317}
318
Preston Gurd689ff9c2012-04-16 22:12:58 +0000319unsigned RuntimeDyldImpl::findOrEmitSection(ObjectImage &Obj,
320 const SectionRef &Section,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000321 bool IsCode,
322 ObjSectionToIDMap &LocalSections) {
323
324 unsigned SectionID = 0;
325 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
326 if (i != LocalSections.end())
327 SectionID = i->second;
328 else {
Preston Gurd689ff9c2012-04-16 22:12:58 +0000329 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000330 LocalSections[Section] = SectionID;
331 }
332 return SectionID;
333}
334
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000335void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
336 unsigned SectionID) {
337 Relocations[SectionID].push_back(RE);
338}
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000339
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000340void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
341 StringRef SymbolName) {
342 // Relocation by symbol. If the symbol is found in the global symbol table,
343 // create an appropriate section relocation. Otherwise, add it to
344 // ExternalSymbolRelocations.
345 SymbolTableMap::const_iterator Loc =
346 GlobalSymbolTable.find(SymbolName);
347 if (Loc == GlobalSymbolTable.end()) {
348 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Bendersky37bc5a22012-04-30 12:15:58 +0000349 } else {
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000350 // Copy the RE since we want to modify its addend.
351 RelocationEntry RECopy = RE;
352 RECopy.Addend += Loc->second.second;
353 Relocations[Loc->second.first].push_back(RECopy);
Eli Bendersky37bc5a22012-04-30 12:15:58 +0000354 }
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000355}
356
357uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr) {
Tim Northover4a9b6b72013-05-04 20:14:09 +0000358 if (Arch == Triple::aarch64) {
359 // This stub has to be able to access the full address space,
360 // since symbol lookup won't necessarily find a handy, in-range,
361 // PLT stub for functions which could be anywhere.
362 uint32_t *StubAddr = (uint32_t*)Addr;
363
364 // Stub can use ip0 (== x16) to calculate address
365 *StubAddr = 0xd2e00010; // movz ip0, #:abs_g3:<addr>
366 StubAddr++;
367 *StubAddr = 0xf2c00010; // movk ip0, #:abs_g2_nc:<addr>
368 StubAddr++;
369 *StubAddr = 0xf2a00010; // movk ip0, #:abs_g1_nc:<addr>
370 StubAddr++;
371 *StubAddr = 0xf2800010; // movk ip0, #:abs_g0_nc:<addr>
372 StubAddr++;
373 *StubAddr = 0xd61f0200; // br ip0
374
375 return Addr;
376 } else if (Arch == Triple::arm) {
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000377 // TODO: There is only ARM far stub now. We should add the Thumb stub,
378 // and stubs for branches Thumb - ARM and ARM - Thumb.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000379 uint32_t *StubAddr = (uint32_t*)Addr;
380 *StubAddr = 0xe51ff004; // ldr pc,<label>
381 return (uint8_t*)++StubAddr;
NAKAMURA Takumi4af1ca52012-12-04 00:08:14 +0000382 } else if (Arch == Triple::mipsel || Arch == Triple::mips) {
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000383 uint32_t *StubAddr = (uint32_t*)Addr;
384 // 0: 3c190000 lui t9,%hi(addr).
385 // 4: 27390000 addiu t9,t9,%lo(addr).
386 // 8: 03200008 jr t9.
387 // c: 00000000 nop.
388 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
389 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
390
391 *StubAddr = LuiT9Instr;
392 StubAddr++;
393 *StubAddr = AdduiT9Instr;
394 StubAddr++;
395 *StubAddr = JrT9Instr;
396 StubAddr++;
397 *StubAddr = NopInstr;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000398 return Addr;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000399 } else if (Arch == Triple::ppc64) {
400 // PowerPC64 stub: the address points to a function descriptor
401 // instead of the function itself. Load the function address
402 // on r11 and sets it to control register. Also loads the function
403 // TOC in r2 and environment pointer to r11.
404 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
405 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
406 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
407 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
408 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
409 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
410 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
411 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
412 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
413 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
414 writeInt32BE(Addr+40, 0x4E800420); // bctr
Andrew Kaylor5fc8c7c2012-11-01 19:49:21 +0000415
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000416 return Addr;
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000417 } else if (Arch == Triple::systemz) {
418 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
419 writeInt16BE(Addr+2, 0x0000);
420 writeInt16BE(Addr+4, 0x0004);
421 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
422 // 8-byte address stored at Addr + 8
423 return Addr;
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000424 }
425 return Addr;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000426}
427
428// Assign an address to a symbol name and resolve all the relocations
429// associated with it.
430void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
431 uint64_t Addr) {
432 // The address to use for relocation resolution is not
433 // the address of the local section buffer. We must be doing
Andrew Kaylor28989882012-11-05 20:57:16 +0000434 // a remote execution environment of some sort. Relocations can't
435 // be applied until all the sections have been moved. The client must
436 // trigger this with a call to MCJIT::finalize() or
437 // RuntimeDyld::resolveRelocations().
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000438 //
439 // Addr is a uint64_t because we can't assume the pointer width
440 // of the target is the same as that of the host. Just use a generic
441 // "big enough" type.
442 Sections[SectionID].LoadAddress = Addr;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000443}
444
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000445void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
446 uint64_t Value) {
447 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindola87b50172013-04-29 17:24:34 +0000448 const RelocationEntry &RE = Relocs[i];
449 // Ignore relocations for sections that were not loaded
450 if (Sections[RE.SectionID].Address == 0)
451 continue;
452 resolveRelocation(RE, Value);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000453 }
454}
455
Eli Bendersky37bc5a22012-04-30 12:15:58 +0000456void RuntimeDyldImpl::resolveExternalSymbols() {
457 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin(),
458 e = ExternalSymbolRelocations.end();
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000459 for (; i != e; i++) {
460 StringRef Name = i->first();
461 RelocationList &Relocs = i->second;
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000462 SymbolTableMap::const_iterator Loc = GlobalSymbolTable.find(Name);
463 if (Loc == GlobalSymbolTable.end()) {
Andrew Kaylor7b170502013-02-20 18:09:21 +0000464 if (Name.size() == 0) {
465 // This is an absolute symbol, use an address of zero.
466 DEBUG(dbgs() << "Resolving absolute relocations." << "\n");
467 resolveRelocationList(Relocs, 0);
Andrew Kaylor29fe1502013-02-20 18:24:34 +0000468 } else {
469 // This is an external symbol, try to get its address from
Andrew Kaylor7b170502013-02-20 18:09:21 +0000470 // MemoryManager.
471 uint8_t *Addr = (uint8_t*) MemMgr->getPointerToNamedFunction(Name.data(),
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000472 true);
Andrew Kaylor7b170502013-02-20 18:09:21 +0000473 DEBUG(dbgs() << "Resolving relocations Name: " << Name
474 << "\t" << format("%p", Addr)
475 << "\n");
476 resolveRelocationList(Relocs, (uintptr_t)Addr);
477 }
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000478 } else {
Eli Bendersky37bc5a22012-04-30 12:15:58 +0000479 report_fatal_error("Expected external symbol");
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000480 }
481 }
482}
483
484
Jim Grosbach6e563312011-03-21 22:15:52 +0000485//===----------------------------------------------------------------------===//
486// RuntimeDyld class implementation
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000487RuntimeDyld::RuntimeDyld(RTDyldMemoryManager *mm) {
Andrew Kaylor53608a32012-11-15 23:50:01 +0000488 // FIXME: There's a potential issue lurking here if a single instance of
489 // RuntimeDyld is used to load multiple objects. The current implementation
490 // associates a single memory manager with a RuntimeDyld instance. Even
491 // though the public class spawns a new 'impl' instance for each load,
492 // they share a single memory manager. This can become a problem when page
493 // permissions are applied.
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000494 Dyld = 0;
495 MM = mm;
Jim Grosbach6e563312011-03-21 22:15:52 +0000496}
497
498RuntimeDyld::~RuntimeDyld() {
499 delete Dyld;
500}
501
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000502ObjectImage *RuntimeDyld::loadObject(ObjectBuffer *InputBuffer) {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000503 if (!Dyld) {
Rafael Espindola3ecfcc22013-06-11 18:01:14 +0000504 sys::fs::file_magic Type =
505 sys::fs::identify_magic(InputBuffer->getBuffer());
506 switch (Type) {
507 case sys::fs::file_magic::elf_relocatable:
508 case sys::fs::file_magic::elf_executable:
509 case sys::fs::file_magic::elf_shared_object:
510 case sys::fs::file_magic::elf_core:
511 Dyld = new RuntimeDyldELF(MM);
512 break;
513 case sys::fs::file_magic::macho_object:
514 case sys::fs::file_magic::macho_executable:
515 case sys::fs::file_magic::macho_fixed_virtual_memory_shared_lib:
516 case sys::fs::file_magic::macho_core:
517 case sys::fs::file_magic::macho_preload_executable:
518 case sys::fs::file_magic::macho_dynamically_linked_shared_lib:
519 case sys::fs::file_magic::macho_dynamic_linker:
520 case sys::fs::file_magic::macho_bundle:
521 case sys::fs::file_magic::macho_dynamically_linked_shared_lib_stub:
522 case sys::fs::file_magic::macho_dsym_companion:
523 Dyld = new RuntimeDyldMachO(MM);
524 break;
525 case sys::fs::file_magic::unknown:
526 case sys::fs::file_magic::bitcode:
527 case sys::fs::file_magic::archive:
528 case sys::fs::file_magic::coff_object:
529 case sys::fs::file_magic::pecoff_executable:
530 report_fatal_error("Incompatible object format!");
Eli Benderskya66a1852012-01-16 08:56:09 +0000531 }
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000532 } else {
Eli Benderskya66a1852012-01-16 08:56:09 +0000533 if (!Dyld->isCompatibleFormat(InputBuffer))
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000534 report_fatal_error("Incompatible object format!");
535 }
536
Jim Grosbach6e563312011-03-21 22:15:52 +0000537 return Dyld->loadObject(InputBuffer);
538}
539
Jim Grosbachb0271052011-04-08 17:31:24 +0000540void *RuntimeDyld::getSymbolAddress(StringRef Name) {
Jim Grosbach6e563312011-03-21 22:15:52 +0000541 return Dyld->getSymbolAddress(Name);
542}
543
Jim Grosbach35ed8422012-09-05 16:50:40 +0000544uint64_t RuntimeDyld::getSymbolLoadAddress(StringRef Name) {
545 return Dyld->getSymbolLoadAddress(Name);
546}
547
Jim Grosbachf8c1c842011-04-12 21:20:41 +0000548void RuntimeDyld::resolveRelocations() {
549 Dyld->resolveRelocations();
550}
551
Jim Grosbach61425c02012-01-16 22:26:39 +0000552void RuntimeDyld::reassignSectionAddress(unsigned SectionID,
553 uint64_t Addr) {
554 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbachf8c1c842011-04-12 21:20:41 +0000555}
556
Jim Grosbache940c1b2012-09-13 21:50:06 +0000557void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach020f4e82012-01-16 23:50:55 +0000558 uint64_t TargetAddress) {
559 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
560}
561
Jim Grosbach91dde152011-03-22 18:22:27 +0000562StringRef RuntimeDyld::getErrorString() {
Jim Grosbachb3eecaf2011-03-22 18:19:42 +0000563 return Dyld->getErrorString();
564}
565
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000566StringRef RuntimeDyld::getEHFrameSection() {
567 return Dyld->getEHFrameSection();
568}
569
Jim Grosbach6e563312011-03-21 22:15:52 +0000570} // end namespace llvm