blob: 24a3ec19aed40c3c2da3b9bea21843103b6510b3 [file] [log] [blame]
Jim Grosbach06594e12012-01-16 23:50:58 +00001//===-- RuntimeDyld.cpp - Run-time dynamic linker for MC-JIT ----*- C++ -*-===//
Jim Grosbachf016b0a2011-03-21 22:15:52 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Implementation of the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/ExecutionEngine/RuntimeDyld.h"
Lang Hamesf7acddd2014-07-22 22:47:39 +000015#include "RuntimeDyldCheckerImpl.h"
David Majnemer1a666e02015-03-07 20:21:27 +000016#include "RuntimeDyldCOFF.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000017#include "RuntimeDyldELF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "RuntimeDyldImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000019#include "RuntimeDyldMachO.h"
Rafael Espindola0e77a942014-12-10 20:46:55 +000020#include "llvm/Object/ELFObjectFile.h"
David Majnemer1a666e02015-03-07 20:21:27 +000021#include "llvm/Object/COFF.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
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000033// Pin LoadedObjectInfo's vtables to this file.
34void RuntimeDyld::LoadedObjectInfo::anchor() {}
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000035
Jim Grosbachf016b0a2011-03-21 22:15:52 +000036namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000037
Juergen Ributzka7608dc02014-03-21 20:28:42 +000038void RuntimeDyldImpl::registerEHFrames() {}
Rafael Espindolafa5942b2013-05-05 20:43:10 +000039
Juergen Ributzka7608dc02014-03-21 20:28:42 +000040void RuntimeDyldImpl::deregisterEHFrames() {}
Andrew Kaylorc442a762013-10-16 00:14:21 +000041
Benjamin Kramer01e17892014-08-26 14:22:05 +000042#ifndef NDEBUG
Lang Hamesf4b3b672014-08-25 22:19:14 +000043static void dumpSectionMemory(const SectionEntry &S, StringRef State) {
44 dbgs() << "----- Contents of section " << S.Name << " " << State << " -----";
45
Lang Hames24f0c242014-10-01 21:57:47 +000046 if (S.Address == nullptr) {
47 dbgs() << "\n <section not emitted>\n";
48 return;
49 }
50
Lang Hamesf4b3b672014-08-25 22:19:14 +000051 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000052
53 uint8_t *DataAddr = S.Address;
54 uint64_t LoadAddr = S.LoadAddress;
55
Lang Hames8d4d0262014-09-18 16:43:24 +000056 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Lang Hames86b08f02014-08-25 18:37:38 +000057 unsigned BytesRemaining = S.Size;
58
59 if (StartPadding) {
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +000060 dbgs() << "\n" << format("0x%016" PRIx64,
61 LoadAddr & ~(uint64_t)(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000062 while (StartPadding--)
63 dbgs() << " ";
64 }
65
66 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +000067 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +000068 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000069
70 dbgs() << " " << format("%02x", *DataAddr);
71
72 ++DataAddr;
73 ++LoadAddr;
74 --BytesRemaining;
75 }
76
77 dbgs() << "\n";
78}
Benjamin Kramer01e17892014-08-26 14:22:05 +000079#endif
Lang Hames86b08f02014-08-25 18:37:38 +000080
Jim Grosbach733d3052011-04-12 21:20:41 +000081// Resolve the relocations for all symbols we currently know about.
82void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000083 MutexGuard locked(lock);
84
Preston Gurd2138ef62012-04-12 20:13:57 +000085 // First, resolve relocations associated with external symbols.
Eli Benderskyb92e1cf2012-04-30 12:15:58 +000086 resolveExternalSymbols();
Danil Malyshev70d22cc2012-03-30 16:45:19 +000087
Jim Grosbacheff0a402012-01-16 22:26:39 +000088 // Just iterate over the sections we have and resolve all the relocations
89 // in them. Gross overkill, but it gets the job done.
90 for (int i = 0, e = Sections.size(); i != e; ++i) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +000091 // The Section here (Sections[i]) refers to the section in which the
92 // symbol for the relocation is located. The SectionID in the relocation
93 // entry provides the section to which the relocation will be applied.
Andrew Kaylora714efc2012-11-05 20:57:16 +000094 uint64_t Addr = Sections[i].LoadAddress;
Jim Grosbach36f025e2014-04-21 19:23:59 +000095 DEBUG(dbgs() << "Resolving relocations Section #" << i << "\t"
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +000096 << format("%p", (uintptr_t)Addr) << "\n");
Lang Hamesf4b3b672014-08-25 22:19:14 +000097 DEBUG(dumpSectionMemory(Sections[i], "before relocations"));
Andrew Kaylora714efc2012-11-05 20:57:16 +000098 resolveRelocationList(Relocations[i], Addr);
Lang Hamesf4b3b672014-08-25 22:19:14 +000099 DEBUG(dumpSectionMemory(Sections[i], "after relocations"));
Andrew Kaylorea395922013-10-01 01:47:35 +0000100 Relocations.erase(i);
Jim Grosbacheff0a402012-01-16 22:26:39 +0000101 }
Jim Grosbach733d3052011-04-12 21:20:41 +0000102}
103
Jim Grosbach6d613972012-09-13 21:50:06 +0000104void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000105 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000106 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000107 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
108 if (Sections[i].Address == LocalAddress) {
109 reassignSectionAddress(i, TargetAddress);
110 return;
111 }
112 }
113 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000114}
115
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000116static std::error_code getOffset(const SymbolRef &Sym, uint64_t &Result) {
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000117 uint64_t Address;
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000118 if (std::error_code EC = Sym.getAddress(Address))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000119 return EC;
120
121 if (Address == UnknownAddressOrSize) {
122 Result = UnknownAddressOrSize;
123 return object_error::success;
124 }
125
126 const ObjectFile *Obj = Sym.getObject();
127 section_iterator SecI(Obj->section_begin());
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +0000128 if (std::error_code EC = Sym.getSection(SecI))
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000129 return EC;
130
Rafael Espindolafdf5f7a2014-10-08 15:12:20 +0000131 if (SecI == Obj->section_end()) {
132 Result = UnknownAddressOrSize;
133 return object_error::success;
134 }
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000135
Rafael Espindola80291272014-10-08 15:28:58 +0000136 uint64_t SectionAddress = SecI->getAddress();
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000137 Result = Address - SectionAddress;
138 return object_error::success;
139}
140
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000141std::pair<unsigned, unsigned>
142RuntimeDyldImpl::loadObjectImpl(const object::ObjectFile &Obj) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000143 MutexGuard locked(lock);
144
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000145 // Grab the first Section ID. We'll use this later to construct the underlying
146 // range for the returned LoadedObjectInfo.
147 unsigned SectionsAddedBeginIdx = Sections.size();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000148
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000149 // Save information about our target
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000150 Arch = (Triple::ArchType)Obj.getArch();
151 IsTargetLittleEndian = Obj.isLittleEndian();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000152
Lang Hames937ec542014-02-12 21:30:07 +0000153 // Compute the memory size required to load all sections to be loaded
154 // and pass this information to the memory manager
Lang Hames633fe142015-03-30 03:37:06 +0000155 if (MemMgr.needsToReserveAllocationSpace()) {
Lang Hames937ec542014-02-12 21:30:07 +0000156 uint64_t CodeSize = 0, DataSizeRO = 0, DataSizeRW = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000157 computeTotalAllocSize(Obj, CodeSize, DataSizeRO, DataSizeRW);
Lang Hames633fe142015-03-30 03:37:06 +0000158 MemMgr.reserveAllocationSpace(CodeSize, DataSizeRO, DataSizeRW);
Lang Hames937ec542014-02-12 21:30:07 +0000159 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000160
Eli Benderskyfc079082012-05-01 06:58:59 +0000161 // Used sections from the object file
162 ObjSectionToIDMap LocalSections;
163
Tim Northover94bc73d2012-10-29 10:47:04 +0000164 // Common symbols requiring allocation, with their sizes and alignments
Lang Hames29968952015-01-17 00:55:05 +0000165 CommonSymbolList CommonSymbols;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000166
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000167 // Parse symbols
168 DEBUG(dbgs() << "Parse symbols:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000169 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000170 ++I) {
Jim Grosbach36f025e2014-04-21 19:23:59 +0000171 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000172
Lang Hames937ec542014-02-12 21:30:07 +0000173 bool IsCommon = Flags & SymbolRef::SF_Common;
Lang Hames29968952015-01-17 00:55:05 +0000174 if (IsCommon)
175 CommonSymbols.push_back(*I);
176 else {
177 object::SymbolRef::Type SymType;
178 Check(I->getType(SymType));
179
Preston Gurd2138ef62012-04-12 20:13:57 +0000180 if (SymType == object::SymbolRef::ST_Function ||
Akira Hatanaka111174b2012-08-17 21:28:04 +0000181 SymType == object::SymbolRef::ST_Data ||
182 SymType == object::SymbolRef::ST_Unknown) {
Lang Hames29968952015-01-17 00:55:05 +0000183
184 StringRef Name;
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000185 uint64_t SectOffset;
Lang Hames29968952015-01-17 00:55:05 +0000186 Check(I->getName(Name));
Jim Grosbach36f025e2014-04-21 19:23:59 +0000187 Check(getOffset(*I, SectOffset));
Lang Hames29968952015-01-17 00:55:05 +0000188 section_iterator SI = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000189 Check(I->getSection(SI));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000190 if (SI == Obj.section_end())
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000191 continue;
Lang Hames29968952015-01-17 00:55:05 +0000192 StringRef SectionData;
Lang Hames937ec542014-02-12 21:30:07 +0000193 Check(SI->getContents(SectionData));
Rafael Espindola80291272014-10-08 15:28:58 +0000194 bool IsCode = SI->isText();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000195 unsigned SectionID =
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000196 findOrEmitSection(Obj, *SI, IsCode, LocalSections);
Lang Hames6bfd3982015-01-16 23:13:56 +0000197 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name
198 << " SID: " << SectionID << " Offset: "
199 << format("%p", (uintptr_t)SectOffset)
200 << " flags: " << Flags << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000201 JITSymbolFlags RTDyldSymFlags = JITSymbolFlags::None;
202 if (Flags & SymbolRef::SF_Weak)
203 RTDyldSymFlags |= JITSymbolFlags::Weak;
204 if (Flags & SymbolRef::SF_Exported)
205 RTDyldSymFlags |= JITSymbolFlags::Exported;
206 GlobalSymbolTable[Name] =
207 SymbolTableEntry(SectionID, SectOffset, RTDyldSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000208 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000209 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000210 }
211
Preston Gurd2138ef62012-04-12 20:13:57 +0000212 // Allocate common symbols
Lang Hames29968952015-01-17 00:55:05 +0000213 emitCommonSymbols(Obj, CommonSymbols);
Preston Gurd2138ef62012-04-12 20:13:57 +0000214
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000215 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000216 DEBUG(dbgs() << "Parse relocations:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000217 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000218 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000219 unsigned SectionID = 0;
220 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000221 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000222
Rafael Espindola127b6c32015-02-17 20:07:28 +0000223 if (RelocatedSection == SE)
224 continue;
225
Jim Grosbach36f025e2014-04-21 19:23:59 +0000226 relocation_iterator I = SI->relocation_begin();
227 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000228
229 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000230 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000231
Rafael Espindola80291272014-10-08 15:28:58 +0000232 bool IsCode = RelocatedSection->isText();
Juergen Ributzka046709f2014-03-21 07:26:41 +0000233 SectionID =
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000234 findOrEmitSection(Obj, *RelocatedSection, IsCode, LocalSections);
Juergen Ributzka046709f2014-03-21 07:26:41 +0000235 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
236
Rafael Espindola77314aa2014-04-03 22:42:22 +0000237 for (; I != E;)
Lang Hamesa5cd9502014-11-27 05:40:13 +0000238 I = processRelocationRef(SectionID, I, Obj, LocalSections, Stubs);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000239
Lang Hamesf7acddd2014-07-22 22:47:39 +0000240 // If there is an attached checker, notify it about the stubs for this
241 // section so that they can be verified.
242 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000243 Checker->registerStubMap(Obj.getFileName(), SectionID, Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000244 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000245
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000246 // Give the subclasses a chance to tie-up any loose ends.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000247 finalizeLoad(Obj, LocalSections);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000248
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000249 unsigned SectionsAddedEndIdx = Sections.size();
250
251 return std::make_pair(SectionsAddedBeginIdx, SectionsAddedEndIdx);
Lang Hames937ec542014-02-12 21:30:07 +0000252}
253
254// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000255// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000256// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000257static uint64_t
258computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
259 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000260 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000261 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
262 uint64_t AlignedSize =
263 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000264 TotalSize += AlignedSize;
265 }
266 return TotalSize;
267}
268
Rafael Espindola0e77a942014-12-10 20:46:55 +0000269static bool isRequiredForExecution(const SectionRef &Section) {
270 const ObjectFile *Obj = Section.getObject();
271 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
272 return ELFObj->getSectionFlags(Section) & ELF::SHF_ALLOC;
David Majnemer1a666e02015-03-07 20:21:27 +0000273 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj)) {
274 const coff_section *CoffSection = COFFObj->getCOFFSection(Section);
275 // Avoid loading zero-sized COFF sections.
276 // In PE files, VirtualSize gives the section size, and SizeOfRawData
277 // may be zero for sections with content. In Obj files, SizeOfRawData
278 // gives the section size, and VirtualSize is always zero. Hence
279 // the need to check for both cases below.
280 bool HasContent = (CoffSection->VirtualSize > 0)
281 || (CoffSection->SizeOfRawData > 0);
282 bool IsDiscardable = CoffSection->Characteristics &
283 (COFF::IMAGE_SCN_MEM_DISCARDABLE | COFF::IMAGE_SCN_LNK_INFO);
284 return HasContent && !IsDiscardable;
285 }
286
Rafael Espindola0e77a942014-12-10 20:46:55 +0000287 assert(isa<MachOObjectFile>(Obj));
288 return true;
289 }
290
291static bool isReadOnlyData(const SectionRef &Section) {
292 const ObjectFile *Obj = Section.getObject();
293 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
294 return !(ELFObj->getSectionFlags(Section) &
295 (ELF::SHF_WRITE | ELF::SHF_EXECINSTR));
David Majnemer1a666e02015-03-07 20:21:27 +0000296 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
297 return ((COFFObj->getCOFFSection(Section)->Characteristics &
298 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
299 | COFF::IMAGE_SCN_MEM_READ
300 | COFF::IMAGE_SCN_MEM_WRITE))
301 ==
302 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
303 | COFF::IMAGE_SCN_MEM_READ));
304
Rafael Espindola0e77a942014-12-10 20:46:55 +0000305 assert(isa<MachOObjectFile>(Obj));
306 return false;
307}
308
309static bool isZeroInit(const SectionRef &Section) {
310 const ObjectFile *Obj = Section.getObject();
311 if (auto *ELFObj = dyn_cast<object::ELFObjectFileBase>(Obj))
312 return ELFObj->getSectionType(Section) == ELF::SHT_NOBITS;
David Majnemer1a666e02015-03-07 20:21:27 +0000313 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
314 return COFFObj->getCOFFSection(Section)->Characteristics &
315 COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000316
317 auto *MachO = cast<MachOObjectFile>(Obj);
318 unsigned SectionType = MachO->getSectionType(Section);
319 return SectionType == MachO::S_ZEROFILL ||
320 SectionType == MachO::S_GB_ZEROFILL;
321}
322
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000323// Compute an upper bound of the memory size that is required to load all
324// sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000325void RuntimeDyldImpl::computeTotalAllocSize(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000326 uint64_t &CodeSize,
327 uint64_t &DataSizeRO,
328 uint64_t &DataSizeRW) {
Lang Hames937ec542014-02-12 21:30:07 +0000329 // Compute the size of all sections required for execution
330 std::vector<uint64_t> CodeSectionSizes;
331 std::vector<uint64_t> ROSectionSizes;
332 std::vector<uint64_t> RWSectionSizes;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000333 uint64_t MaxAlignment = sizeof(void *);
Lang Hames937ec542014-02-12 21:30:07 +0000334
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000335 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000336 // also determine the max alignment of all sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000337 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000338 SI != SE; ++SI) {
339 const SectionRef &Section = *SI;
340
Rafael Espindola0e77a942014-12-10 20:46:55 +0000341 bool IsRequired = isRequiredForExecution(Section);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000342
Lang Hames937ec542014-02-12 21:30:07 +0000343 // Consider only the sections that are required to be loaded for execution
344 if (IsRequired) {
Lang Hames937ec542014-02-12 21:30:07 +0000345 StringRef Name;
Rafael Espindola80291272014-10-08 15:28:58 +0000346 uint64_t DataSize = Section.getSize();
347 uint64_t Alignment64 = Section.getAlignment();
348 bool IsCode = Section.isText();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000349 bool IsReadOnly = isReadOnlyData(Section);
Lang Hames937ec542014-02-12 21:30:07 +0000350 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000351 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
352
Lang Hames937ec542014-02-12 21:30:07 +0000353 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
354 uint64_t SectionSize = DataSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000355
356 // The .eh_frame section (at least on Linux) needs an extra four bytes
357 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000358 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000359 // slightly different name, so this won't have any effect for MachO
360 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000361 if (Name == ".eh_frame")
362 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000363
Lang Hames2be1bbe2015-04-07 06:27:56 +0000364 if (!SectionSize)
365 SectionSize = 1;
366
367 if (IsCode) {
368 CodeSectionSizes.push_back(SectionSize);
369 } else if (IsReadOnly) {
370 ROSectionSizes.push_back(SectionSize);
371 } else {
372 RWSectionSizes.push_back(SectionSize);
373 }
374
375 // update the max alignment
376 if (Alignment > MaxAlignment) {
377 MaxAlignment = Alignment;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000378 }
Lang Hames937ec542014-02-12 21:30:07 +0000379 }
380 }
381
382 // Compute the size of all common symbols
383 uint64_t CommonSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000384 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000385 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000386 uint32_t Flags = I->getFlags();
387 if (Flags & SymbolRef::SF_Common) {
388 // Add the common symbols to a list. We'll allocate them all below.
389 uint64_t Size = 0;
390 Check(I->getSize(Size));
391 CommonSize += Size;
392 }
393 }
394 if (CommonSize != 0) {
395 RWSectionSizes.push_back(CommonSize);
396 }
397
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000398 // Compute the required allocation space for each different type of sections
399 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000400 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000401 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000402 // depends on the order, in which the sections are allocated.
403 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, MaxAlignment);
404 DataSizeRO = computeAllocationSizeForSections(ROSectionSizes, MaxAlignment);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000405 DataSizeRW = computeAllocationSizeForSections(RWSectionSizes, MaxAlignment);
Lang Hames937ec542014-02-12 21:30:07 +0000406}
407
408// compute stub buffer size for the given section
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000409unsigned RuntimeDyldImpl::computeSectionStubBufSize(const ObjectFile &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000410 const SectionRef &Section) {
411 unsigned StubSize = getMaxStubSize();
412 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000413 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000414 }
415 // FIXME: this is an inefficient way to handle this. We should computed the
416 // necessary section allocation size in loadObject by walking all the sections
417 // once.
418 unsigned StubBufSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000419 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000420 SI != SE; ++SI) {
421 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000422 if (!(RelSecI == Section))
423 continue;
424
Jim Grosbach36f025e2014-04-21 19:23:59 +0000425 for (const RelocationRef &Reloc : SI->relocations()) {
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000426 (void)Reloc;
Lang Hames937ec542014-02-12 21:30:07 +0000427 StubBufSize += StubSize;
428 }
429 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000430
Lang Hames937ec542014-02-12 21:30:07 +0000431 // Get section data size and alignment
Rafael Espindola80291272014-10-08 15:28:58 +0000432 uint64_t DataSize = Section.getSize();
433 uint64_t Alignment64 = Section.getAlignment();
Lang Hames937ec542014-02-12 21:30:07 +0000434
435 // Add stubbuf size alignment
436 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
437 unsigned StubAlignment = getStubAlignment();
438 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
439 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000440 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000441 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000442}
443
Lang Hamese1287c02014-08-29 23:17:47 +0000444uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
445 unsigned Size) const {
446 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000447 if (IsTargetLittleEndian) {
448 Src += Size - 1;
449 while (Size--)
450 Result = (Result << 8) | *Src--;
451 } else
452 while (Size--)
453 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000454
455 return Result;
456}
457
458void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
459 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000460 if (IsTargetLittleEndian) {
461 while (Size--) {
462 *Dst++ = Value & 0xFF;
463 Value >>= 8;
464 }
Lang Hamese1287c02014-08-29 23:17:47 +0000465 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000466 Dst += Size - 1;
467 while (Size--) {
468 *Dst-- = Value & 0xFF;
469 Value >>= 8;
470 }
Lang Hamese1287c02014-08-29 23:17:47 +0000471 }
472}
473
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000474void RuntimeDyldImpl::emitCommonSymbols(const ObjectFile &Obj,
Lang Hames29968952015-01-17 00:55:05 +0000475 CommonSymbolList &CommonSymbols) {
476 if (CommonSymbols.empty())
477 return;
478
479 uint64_t CommonSize = 0;
480 CommonSymbolList SymbolsToAllocate;
481
482 DEBUG(dbgs() << "Processing common symbols...\n");
483
484 for (const auto &Sym : CommonSymbols) {
485 StringRef Name;
486 Check(Sym.getName(Name));
487
Lang Hames29968952015-01-17 00:55:05 +0000488 // Skip common symbols already elsewhere.
Lang Hames93de2a12015-01-23 21:25:00 +0000489 if (GlobalSymbolTable.count(Name) ||
Lang Hames633fe142015-03-30 03:37:06 +0000490 Resolver.findSymbolInLogicalDylib(Name)) {
Lang Hames29968952015-01-17 00:55:05 +0000491 DEBUG(dbgs() << "\tSkipping already emitted common symbol '" << Name
492 << "'\n");
493 continue;
494 }
495
496 uint32_t Align = 0;
497 uint64_t Size = 0;
498 Check(Sym.getAlignment(Align));
499 Check(Sym.getSize(Size));
500
501 CommonSize += Align + Size;
502 SymbolsToAllocate.push_back(Sym);
503 }
504
Preston Gurd2138ef62012-04-12 20:13:57 +0000505 // Allocate memory for the section
506 unsigned SectionID = Sections.size();
Lang Hames633fe142015-03-30 03:37:06 +0000507 uint8_t *Addr = MemMgr.allocateDataSection(CommonSize, sizeof(void *),
508 SectionID, StringRef(), false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000509 if (!Addr)
510 report_fatal_error("Unable to allocate memory for common symbols!");
511 uint64_t Offset = 0;
Lang Hames29968952015-01-17 00:55:05 +0000512 Sections.push_back(SectionEntry("<common symbols>", Addr, CommonSize, 0));
513 memset(Addr, 0, CommonSize);
Preston Gurd2138ef62012-04-12 20:13:57 +0000514
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000515 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID << " new addr: "
Lang Hames29968952015-01-17 00:55:05 +0000516 << format("%p", Addr) << " DataSize: " << CommonSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000517
518 // Assign the address of each symbol
Lang Hames29968952015-01-17 00:55:05 +0000519 for (auto &Sym : SymbolsToAllocate) {
520 uint32_t Align;
521 uint64_t Size;
Preston Gurd2138ef62012-04-12 20:13:57 +0000522 StringRef Name;
Lang Hames29968952015-01-17 00:55:05 +0000523 Check(Sym.getAlignment(Align));
524 Check(Sym.getSize(Size));
525 Check(Sym.getName(Name));
Tim Northover94bc73d2012-10-29 10:47:04 +0000526 if (Align) {
527 // This symbol has an alignment requirement.
528 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
529 Addr += AlignOffset;
530 Offset += AlignOffset;
Tim Northover94bc73d2012-10-29 10:47:04 +0000531 }
Lang Hames29968952015-01-17 00:55:05 +0000532 uint32_t Flags = Sym.getFlags();
Lang Hamesb1186032015-03-11 00:43:26 +0000533 JITSymbolFlags RTDyldSymFlags = JITSymbolFlags::None;
534 if (Flags & SymbolRef::SF_Weak)
535 RTDyldSymFlags |= JITSymbolFlags::Weak;
536 if (Flags & SymbolRef::SF_Exported)
537 RTDyldSymFlags |= JITSymbolFlags::Exported;
Lang Hames29968952015-01-17 00:55:05 +0000538 DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
539 << format("%p", Addr) << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000540 GlobalSymbolTable[Name] =
541 SymbolTableEntry(SectionID, Offset, RTDyldSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000542 Offset += Size;
543 Addr += Size;
544 }
Preston Gurd2138ef62012-04-12 20:13:57 +0000545}
546
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000547unsigned RuntimeDyldImpl::emitSection(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000548 const SectionRef &Section, bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000549
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000550 StringRef data;
Rafael Espindola80291272014-10-08 15:28:58 +0000551 uint64_t Alignment64 = Section.getAlignment();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000552
553 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000554 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000555 unsigned StubBufSize = 0;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000556 StringRef Name;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000557 bool IsRequired = isRequiredForExecution(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000558 bool IsVirtual = Section.isVirtual();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000559 bool IsZeroInit = isZeroInit(Section);
560 bool IsReadOnly = isReadOnlyData(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000561 uint64_t DataSize = Section.getSize();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000562 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000563
564 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000565
Andrew Kaylor877b9312013-10-16 00:32:24 +0000566 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
567 // with zeroes added at the end. For MachO objects, this section has a
568 // slightly different name, so this won't have any effect for MachO objects.
569 if (Name == ".eh_frame")
570 PaddingSize = 4;
571
Lang Hamesd4100172014-02-11 05:28:24 +0000572 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000573 unsigned SectionID = Sections.size();
574 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000575 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000576
Keno Fischere6892c82015-05-01 20:21:45 +0000577 // In either case, set the location of the unrelocated section in memory,
578 // since we still process relocations for it even if we're not applying them.
579 Check(Section.getContents(data));
580 // Virtual sections have no data in the object image, so leave pData = 0
581 if (!IsVirtual)
582 pData = data.data();
583
Preston Gurd2138ef62012-04-12 20:13:57 +0000584 // Some sections, such as debug info, don't need to be loaded for execution.
585 // Leave those where they are.
586 if (IsRequired) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000587 Allocate = DataSize + PaddingSize + StubBufSize;
Lang Hames2be1bbe2015-04-07 06:27:56 +0000588 if (!Allocate)
589 Allocate = 1;
Lang Hames633fe142015-03-30 03:37:06 +0000590 Addr = IsCode ? MemMgr.allocateCodeSection(Allocate, Alignment, SectionID,
591 Name)
592 : MemMgr.allocateDataSection(Allocate, Alignment, SectionID,
593 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000594 if (!Addr)
595 report_fatal_error("Unable to allocate section memory!");
596
Preston Gurd2138ef62012-04-12 20:13:57 +0000597 // Zero-initialize or copy the data from the image
598 if (IsZeroInit || IsVirtual)
599 memset(Addr, 0, DataSize);
600 else
601 memcpy(Addr, pData, DataSize);
602
Andrew Kaylor877b9312013-10-16 00:32:24 +0000603 // Fill in any extra bytes we allocated for padding
604 if (PaddingSize != 0) {
605 memset(Addr + DataSize, 0, PaddingSize);
606 // Update the DataSize variable so that the stub offset is set correctly.
607 DataSize += PaddingSize;
608 }
609
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000610 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000611 << " obj addr: " << format("%p", pData)
612 << " new addr: " << format("%p", Addr)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000613 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
614 << " Allocate: " << Allocate << "\n");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000615 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000616 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000617 // to handle later processing (and by 'handle' I mean don't do anything
618 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000619 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000620 Addr = nullptr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000621 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
622 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
623 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
624 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000625 }
626
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000627 Sections.push_back(SectionEntry(Name, Addr, DataSize, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000628
629 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000630 Checker->registerSection(Obj.getFileName(), SectionID);
Lang Hames587ee6a2014-09-03 05:01:46 +0000631
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000632 return SectionID;
633}
634
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000635unsigned RuntimeDyldImpl::findOrEmitSection(const ObjectFile &Obj,
Preston Gurdcc31af92012-04-16 22:12:58 +0000636 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000637 bool IsCode,
638 ObjSectionToIDMap &LocalSections) {
639
640 unsigned SectionID = 0;
641 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
642 if (i != LocalSections.end())
643 SectionID = i->second;
644 else {
Preston Gurdcc31af92012-04-16 22:12:58 +0000645 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000646 LocalSections[Section] = SectionID;
647 }
648 return SectionID;
649}
650
Eli Bendersky667b8792012-05-01 10:41:12 +0000651void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
652 unsigned SectionID) {
653 Relocations[SectionID].push_back(RE);
654}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000655
Eli Bendersky667b8792012-05-01 10:41:12 +0000656void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
657 StringRef SymbolName) {
658 // Relocation by symbol. If the symbol is found in the global symbol table,
659 // create an appropriate section relocation. Otherwise, add it to
660 // ExternalSymbolRelocations.
Lang Hames6bfd3982015-01-16 23:13:56 +0000661 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000662 if (Loc == GlobalSymbolTable.end()) {
663 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000664 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000665 // Copy the RE since we want to modify its addend.
666 RelocationEntry RECopy = RE;
Lang Hames6bfd3982015-01-16 23:13:56 +0000667 const auto &SymInfo = Loc->second;
668 RECopy.Addend += SymInfo.getOffset();
669 Relocations[SymInfo.getSectionID()].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000670 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000671}
672
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000673uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
674 unsigned AbiVariant) {
Tim Northovere19bed72014-07-23 12:32:47 +0000675 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be) {
Tim Northover37cde972013-05-04 20:14:09 +0000676 // This stub has to be able to access the full address space,
677 // since symbol lookup won't necessarily find a handy, in-range,
678 // PLT stub for functions which could be anywhere.
Tim Northover37cde972013-05-04 20:14:09 +0000679 // Stub can use ip0 (== x16) to calculate address
Daniel Sanders66e799f2014-11-06 09:53:05 +0000680 writeBytesUnaligned(0xd2e00010, Addr, 4); // movz ip0, #:abs_g3:<addr>
681 writeBytesUnaligned(0xf2c00010, Addr+4, 4); // movk ip0, #:abs_g2_nc:<addr>
682 writeBytesUnaligned(0xf2a00010, Addr+8, 4); // movk ip0, #:abs_g1_nc:<addr>
683 writeBytesUnaligned(0xf2800010, Addr+12, 4); // movk ip0, #:abs_g0_nc:<addr>
684 writeBytesUnaligned(0xd61f0200, Addr+16, 4); // br ip0
Tim Northover37cde972013-05-04 20:14:09 +0000685
686 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000687 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000688 // TODO: There is only ARM far stub now. We should add the Thumb stub,
689 // and stubs for branches Thumb - ARM and ARM - Thumb.
Daniel Sanders66e799f2014-11-06 09:53:05 +0000690 writeBytesUnaligned(0xe51ff004, Addr, 4); // ldr pc,<label>
691 return Addr + 4;
NAKAMURA Takumif97efd92012-12-04 00:08:14 +0000692 } else if (Arch == Triple::mipsel || Arch == Triple::mips) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000693 // 0: 3c190000 lui t9,%hi(addr).
694 // 4: 27390000 addiu t9,t9,%lo(addr).
695 // 8: 03200008 jr t9.
696 // c: 00000000 nop.
697 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
698 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
699
Daniel Sanders66e799f2014-11-06 09:53:05 +0000700 writeBytesUnaligned(LuiT9Instr, Addr, 4);
701 writeBytesUnaligned(AdduiT9Instr, Addr+4, 4);
702 writeBytesUnaligned(JrT9Instr, Addr+8, 4);
703 writeBytesUnaligned(NopInstr, Addr+12, 4);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000704 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000705 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000706 // Depending on which version of the ELF ABI is in use, we need to
707 // generate one of two variants of the stub. They both start with
708 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000709 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
710 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
711 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
712 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
713 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000714 if (AbiVariant == 2) {
715 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
716 // The address is already in r12 as required by the ABI. Branch to it.
717 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
718 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
719 writeInt32BE(Addr+28, 0x4E800420); // bctr
720 } else {
721 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
722 // Load the function address on r11 and sets it to control register. Also
723 // loads the function TOC in r2 and environment pointer to r11.
724 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
725 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
726 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
727 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
728 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
729 writeInt32BE(Addr+40, 0x4E800420); // bctr
730 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000731 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000732 } else if (Arch == Triple::systemz) {
733 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
734 writeInt16BE(Addr+2, 0x0000);
735 writeInt16BE(Addr+4, 0x0004);
736 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
737 // 8-byte address stored at Addr + 8
738 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000739 } else if (Arch == Triple::x86_64) {
740 *Addr = 0xFF; // jmp
741 *(Addr+1) = 0x25; // rip
742 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +0000743 } else if (Arch == Triple::x86) {
744 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000745 }
746 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000747}
748
749// Assign an address to a symbol name and resolve all the relocations
750// associated with it.
751void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
752 uint64_t Addr) {
753 // The address to use for relocation resolution is not
754 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000755 // a remote execution environment of some sort. Relocations can't
756 // be applied until all the sections have been moved. The client must
757 // trigger this with a call to MCJIT::finalize() or
758 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000759 //
760 // Addr is a uint64_t because we can't assume the pointer width
761 // of the target is the same as that of the host. Just use a generic
762 // "big enough" type.
Lang Hames778ef5b2014-09-04 04:19:54 +0000763 DEBUG(dbgs() << "Reassigning address for section "
764 << SectionID << " (" << Sections[SectionID].Name << "): "
Lang Hamesda016022014-09-23 19:20:57 +0000765 << format("0x%016" PRIx64, Sections[SectionID].LoadAddress) << " -> "
766 << format("0x%016" PRIx64, Addr) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000767 Sections[SectionID].LoadAddress = Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000768}
769
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000770void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
771 uint64_t Value) {
772 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000773 const RelocationEntry &RE = Relocs[i];
774 // Ignore relocations for sections that were not loaded
Craig Topper353eda42014-04-24 06:44:33 +0000775 if (Sections[RE.SectionID].Address == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000776 continue;
777 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000778 }
779}
780
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000781void RuntimeDyldImpl::resolveExternalSymbols() {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000782 while (!ExternalSymbolRelocations.empty()) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000783 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
784
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000785 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +0000786 if (Name.size() == 0) {
787 // This is an absolute symbol, use an address of zero.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000788 DEBUG(dbgs() << "Resolving absolute relocations."
789 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000790 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000791 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000792 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +0000793 uint64_t Addr = 0;
Lang Hames6bfd3982015-01-16 23:13:56 +0000794 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000795 if (Loc == GlobalSymbolTable.end()) {
Lang Hames633fe142015-03-30 03:37:06 +0000796 // This is an external symbol, try to get its address from the symbol
797 // resolver.
798 Addr = Resolver.findSymbol(Name.data()).getAddress();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000799 // The call to getSymbolAddress may have caused additional modules to
800 // be loaded, which may have added new entries to the
801 // ExternalSymbolRelocations map. Consquently, we need to update our
802 // iterator. This is also why retrieval of the relocation list
803 // associated with this symbol is deferred until below this point.
804 // New entries may have been added to the relocation list.
805 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000806 } else {
807 // We found the symbol in our global table. It was probably in a
808 // Module that we loaded previously.
Lang Hames6bfd3982015-01-16 23:13:56 +0000809 const auto &SymInfo = Loc->second;
810 Addr = getSectionLoadAddress(SymInfo.getSectionID()) +
811 SymInfo.getOffset();
Andrew Kaylorea395922013-10-01 01:47:35 +0000812 }
813
814 // FIXME: Implement error handling that doesn't kill the host program!
815 if (!Addr)
816 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000817 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +0000818
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000819 DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
820 << format("0x%lx", Addr) << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000821 // This list may have been updated when we called getSymbolAddress, so
822 // don't change this code to get the list earlier.
823 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000824 resolveRelocationList(Relocs, Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000825 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000826
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000827 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000828 }
829}
830
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000831//===----------------------------------------------------------------------===//
832// RuntimeDyld class implementation
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000833
834uint64_t RuntimeDyld::LoadedObjectInfo::getSectionLoadAddress(
835 StringRef SectionName) const {
836 for (unsigned I = BeginIdx; I != EndIdx; ++I)
837 if (RTDyld.Sections[I].Name == SectionName)
838 return RTDyld.Sections[I].LoadAddress;
839
840 return 0;
841}
842
Lang Hames633fe142015-03-30 03:37:06 +0000843void RuntimeDyld::MemoryManager::anchor() {}
844void RuntimeDyld::SymbolResolver::anchor() {}
845
846RuntimeDyld::RuntimeDyld(RuntimeDyld::MemoryManager &MemMgr,
847 RuntimeDyld::SymbolResolver &Resolver)
848 : MemMgr(MemMgr), Resolver(Resolver) {
Andrew Kaylora342cb92012-11-15 23:50:01 +0000849 // FIXME: There's a potential issue lurking here if a single instance of
850 // RuntimeDyld is used to load multiple objects. The current implementation
851 // associates a single memory manager with a RuntimeDyld instance. Even
852 // though the public class spawns a new 'impl' instance for each load,
853 // they share a single memory manager. This can become a problem when page
854 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +0000855 Dyld = nullptr;
Lang Hames868d4b32014-03-20 21:06:46 +0000856 ProcessAllSections = false;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000857 Checker = nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000858}
859
David Blaikie847d2a02014-09-04 18:37:29 +0000860RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000861
David Majnemer1a666e02015-03-07 20:21:27 +0000862static std::unique_ptr<RuntimeDyldCOFF>
Lang Hames633fe142015-03-30 03:37:06 +0000863createRuntimeDyldCOFF(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
864 RuntimeDyld::SymbolResolver &Resolver,
David Majnemer1a666e02015-03-07 20:21:27 +0000865 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
Lang Hames633fe142015-03-30 03:37:06 +0000866 std::unique_ptr<RuntimeDyldCOFF> Dyld =
867 RuntimeDyldCOFF::create(Arch, MM, Resolver);
David Majnemer1a666e02015-03-07 20:21:27 +0000868 Dyld->setProcessAllSections(ProcessAllSections);
869 Dyld->setRuntimeDyldChecker(Checker);
870 return Dyld;
871}
872
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000873static std::unique_ptr<RuntimeDyldELF>
Lang Hames633fe142015-03-30 03:37:06 +0000874createRuntimeDyldELF(RuntimeDyld::MemoryManager &MM,
875 RuntimeDyld::SymbolResolver &Resolver,
876 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
877 std::unique_ptr<RuntimeDyldELF> Dyld(new RuntimeDyldELF(MM, Resolver));
Lang Hames868d4b32014-03-20 21:06:46 +0000878 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000879 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000880 return Dyld;
881}
882
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000883static std::unique_ptr<RuntimeDyldMachO>
Lang Hames633fe142015-03-30 03:37:06 +0000884createRuntimeDyldMachO(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
885 RuntimeDyld::SymbolResolver &Resolver,
886 bool ProcessAllSections,
887 RuntimeDyldCheckerImpl *Checker) {
888 std::unique_ptr<RuntimeDyldMachO> Dyld =
889 RuntimeDyldMachO::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +0000890 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000891 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000892 return Dyld;
893}
894
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000895std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
896RuntimeDyld::loadObject(const ObjectFile &Obj) {
897 if (!Dyld) {
898 if (Obj.isELF())
Lang Hames633fe142015-03-30 03:37:06 +0000899 Dyld = createRuntimeDyldELF(MemMgr, Resolver, ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000900 else if (Obj.isMachO())
Aaron Ballman9fb41142014-11-26 15:27:39 +0000901 Dyld = createRuntimeDyldMachO(
Lang Hames633fe142015-03-30 03:37:06 +0000902 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000903 ProcessAllSections, Checker);
David Majnemer1a666e02015-03-07 20:21:27 +0000904 else if (Obj.isCOFF())
905 Dyld = createRuntimeDyldCOFF(
Lang Hames633fe142015-03-30 03:37:06 +0000906 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
David Majnemer1a666e02015-03-07 20:21:27 +0000907 ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000908 else
909 report_fatal_error("Incompatible object format!");
Aaron Ballman9fb41142014-11-26 15:27:39 +0000910 }
911
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000912 if (!Dyld->isCompatibleFile(Obj))
Aaron Ballman9fb41142014-11-26 15:27:39 +0000913 report_fatal_error("Incompatible object format!");
914
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000915 return Dyld->loadObject(Obj);
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000916}
917
Lang Hamesb1186032015-03-11 00:43:26 +0000918void *RuntimeDyld::getSymbolLocalAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000919 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +0000920 return nullptr;
Lang Hamesb1186032015-03-11 00:43:26 +0000921 return Dyld->getSymbolLocalAddress(Name);
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000922}
923
Lang Hamesb1186032015-03-11 00:43:26 +0000924RuntimeDyld::SymbolInfo RuntimeDyld::getSymbol(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000925 if (!Dyld)
Lang Hamesb1186032015-03-11 00:43:26 +0000926 return nullptr;
927 return Dyld->getSymbol(Name);
Lang Hames6bfd3982015-01-16 23:13:56 +0000928}
929
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000930void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +0000931
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000932void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +0000933 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +0000934}
935
Jim Grosbach6d613972012-09-13 21:50:06 +0000936void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000937 uint64_t TargetAddress) {
938 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
939}
940
Juergen Ributzka6ff29a72014-03-26 18:19:27 +0000941bool RuntimeDyld::hasError() { return Dyld->hasError(); }
942
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000943StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +0000944
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000945void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000946 if (Dyld)
947 Dyld->registerEHFrames();
948}
949
950void RuntimeDyld::deregisterEHFrames() {
951 if (Dyld)
952 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000953}
954
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000955} // end namespace llvm