blob: c5e4dfa1e536d23e078e3bf76284a3192e87862c [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"
David Majnemer1a666e02015-03-07 20:21:27 +000015#include "RuntimeDyldCOFF.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000016#include "RuntimeDyldCheckerImpl.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"
David Majnemer1a666e02015-03-07 20:21:27 +000020#include "llvm/Object/COFF.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000021#include "llvm/Object/ELFObjectFile.h"
Lang Hames89595312016-04-27 20:24:48 +000022#include "llvm/Support/ManagedStatic.h"
Tim Northover94bc73d2012-10-29 10:47:04 +000023#include "llvm/Support/MathExtras.h"
Andrew Kaylor4fba0492013-10-21 17:42:06 +000024#include "llvm/Support/MutexGuard.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000025
Jim Grosbachf016b0a2011-03-21 22:15:52 +000026using namespace llvm;
27using namespace llvm::object;
28
Chandler Carruthf58e3762014-04-22 03:04:17 +000029#define DEBUG_TYPE "dyld"
30
Lang Hames89595312016-04-27 20:24:48 +000031namespace {
32
33enum RuntimeDyldErrorCode {
34 GenericRTDyldError = 1
35};
36
Peter Collingbourne4718f8b2016-05-24 20:13:46 +000037// FIXME: This class is only here to support the transition to llvm::Error. It
38// will be removed once this transition is complete. Clients should prefer to
39// deal with the Error value directly, rather than converting to error_code.
Lang Hames89595312016-04-27 20:24:48 +000040class RuntimeDyldErrorCategory : public std::error_category {
41public:
Reid Kleckner990504e2016-10-19 23:52:38 +000042 const char *name() const noexcept override { return "runtimedyld"; }
Lang Hames89595312016-04-27 20:24:48 +000043
44 std::string message(int Condition) const override {
45 switch (static_cast<RuntimeDyldErrorCode>(Condition)) {
46 case GenericRTDyldError: return "Generic RuntimeDyld error";
47 }
48 llvm_unreachable("Unrecognized RuntimeDyldErrorCode");
49 }
50};
51
52static ManagedStatic<RuntimeDyldErrorCategory> RTDyldErrorCategory;
53
54}
55
56char RuntimeDyldError::ID = 0;
57
58void RuntimeDyldError::log(raw_ostream &OS) const {
59 OS << ErrMsg << "\n";
60}
61
62std::error_code RuntimeDyldError::convertToErrorCode() const {
63 return std::error_code(GenericRTDyldError, *RTDyldErrorCategory);
64}
65
Chandler Carruth086f7082011-04-05 23:54:31 +000066// Empty out-of-line virtual destructor as the key function.
Danil Malyshev72510f22011-07-13 07:57:58 +000067RuntimeDyldImpl::~RuntimeDyldImpl() {}
Chandler Carruth086f7082011-04-05 23:54:31 +000068
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000069// Pin LoadedObjectInfo's vtables to this file.
70void RuntimeDyld::LoadedObjectInfo::anchor() {}
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000071
Jim Grosbachf016b0a2011-03-21 22:15:52 +000072namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000073
Juergen Ributzka7608dc02014-03-21 20:28:42 +000074void RuntimeDyldImpl::registerEHFrames() {}
Rafael Espindolafa5942b2013-05-05 20:43:10 +000075
Lang Hamesc936ac72017-05-09 21:32:18 +000076void RuntimeDyldImpl::deregisterEHFrames() {
77 MemMgr.deregisterEHFrames();
78}
Andrew Kaylorc442a762013-10-16 00:14:21 +000079
Benjamin Kramer01e17892014-08-26 14:22:05 +000080#ifndef NDEBUG
Lang Hamesf4b3b672014-08-25 22:19:14 +000081static void dumpSectionMemory(const SectionEntry &S, StringRef State) {
Sanjoy Das277776a2015-11-23 21:47:41 +000082 dbgs() << "----- Contents of section " << S.getName() << " " << State
83 << " -----";
Lang Hamesf4b3b672014-08-25 22:19:14 +000084
Sanjoy Das277776a2015-11-23 21:47:41 +000085 if (S.getAddress() == nullptr) {
Lang Hames24f0c242014-10-01 21:57:47 +000086 dbgs() << "\n <section not emitted>\n";
87 return;
88 }
89
Lang Hamesf4b3b672014-08-25 22:19:14 +000090 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000091
Sanjoy Das277776a2015-11-23 21:47:41 +000092 uint8_t *DataAddr = S.getAddress();
93 uint64_t LoadAddr = S.getLoadAddress();
Lang Hames86b08f02014-08-25 18:37:38 +000094
Lang Hames8d4d0262014-09-18 16:43:24 +000095 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Sanjoy Das277776a2015-11-23 21:47:41 +000096 unsigned BytesRemaining = S.getSize();
Lang Hames86b08f02014-08-25 18:37:38 +000097
98 if (StartPadding) {
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +000099 dbgs() << "\n" << format("0x%016" PRIx64,
100 LoadAddr & ~(uint64_t)(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +0000101 while (StartPadding--)
102 dbgs() << " ";
103 }
104
105 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +0000106 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +0000107 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +0000108
109 dbgs() << " " << format("%02x", *DataAddr);
110
111 ++DataAddr;
112 ++LoadAddr;
113 --BytesRemaining;
114 }
115
116 dbgs() << "\n";
117}
Benjamin Kramer01e17892014-08-26 14:22:05 +0000118#endif
Lang Hames86b08f02014-08-25 18:37:38 +0000119
Jim Grosbach733d3052011-04-12 21:20:41 +0000120// Resolve the relocations for all symbols we currently know about.
121void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000122 MutexGuard locked(lock);
123
Lang Hames79fce472015-09-10 20:44:36 +0000124 // Print out the sections prior to relocation.
125 DEBUG(
126 for (int i = 0, e = Sections.size(); i != e; ++i)
127 dumpSectionMemory(Sections[i], "before relocations");
128 );
129
Preston Gurd2138ef62012-04-12 20:13:57 +0000130 // First, resolve relocations associated with external symbols.
Lang Hames4ce98662017-07-07 02:59:13 +0000131 if (auto Err = resolveExternalSymbols()) {
132 HasError = true;
133 ErrorStr = toString(std::move(Err));
134 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000135
Keno Fischer2cd66e92015-10-10 05:37:02 +0000136 // Iterate over all outstanding relocations
137 for (auto it = Relocations.begin(), e = Relocations.end(); it != e; ++it) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000138 // The Section here (Sections[i]) refers to the section in which the
139 // symbol for the relocation is located. The SectionID in the relocation
140 // entry provides the section to which the relocation will be applied.
Keno Fischereb59d462015-12-03 21:27:59 +0000141 int Idx = it->first;
Sanjoy Das277776a2015-11-23 21:47:41 +0000142 uint64_t Addr = Sections[Idx].getLoadAddress();
Keno Fischer2cd66e92015-10-10 05:37:02 +0000143 DEBUG(dbgs() << "Resolving relocations Section #" << Idx << "\t"
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +0000144 << format("%p", (uintptr_t)Addr) << "\n");
Keno Fischereb59d462015-12-03 21:27:59 +0000145 resolveRelocationList(it->second, Addr);
Jim Grosbacheff0a402012-01-16 22:26:39 +0000146 }
Keno Fischer2cd66e92015-10-10 05:37:02 +0000147 Relocations.clear();
Lang Hames79fce472015-09-10 20:44:36 +0000148
149 // Print out sections after relocation.
150 DEBUG(
151 for (int i = 0, e = Sections.size(); i != e; ++i)
152 dumpSectionMemory(Sections[i], "after relocations");
153 );
154
Jim Grosbach733d3052011-04-12 21:20:41 +0000155}
156
Jim Grosbach6d613972012-09-13 21:50:06 +0000157void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000158 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000159 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000160 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000161 if (Sections[i].getAddress() == LocalAddress) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000162 reassignSectionAddress(i, TargetAddress);
163 return;
164 }
165 }
166 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000167}
168
Lang Hames89595312016-04-27 20:24:48 +0000169static Error getOffset(const SymbolRef &Sym, SectionRef Sec,
170 uint64_t &Result) {
Kevin Enderby931cb652016-06-24 18:24:42 +0000171 Expected<uint64_t> AddressOrErr = Sym.getAddress();
172 if (!AddressOrErr)
173 return AddressOrErr.takeError();
Rafael Espindolaef888a42015-07-07 16:45:55 +0000174 Result = *AddressOrErr - Sec.getAddress();
Lang Hames89595312016-04-27 20:24:48 +0000175 return Error::success();
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000176}
177
Lang Hames89595312016-04-27 20:24:48 +0000178Expected<RuntimeDyldImpl::ObjSectionToIDMap>
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000179RuntimeDyldImpl::loadObjectImpl(const object::ObjectFile &Obj) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000180 MutexGuard locked(lock);
181
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000182 // Save information about our target
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000183 Arch = (Triple::ArchType)Obj.getArch();
184 IsTargetLittleEndian = Obj.isLittleEndian();
Petar Jovanovic97202832015-05-28 13:48:41 +0000185 setMipsABI(Obj);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000186
Lang Hames937ec542014-02-12 21:30:07 +0000187 // Compute the memory size required to load all sections to be loaded
188 // and pass this information to the memory manager
Lang Hames633fe142015-03-30 03:37:06 +0000189 if (MemMgr.needsToReserveAllocationSpace()) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000190 uint64_t CodeSize = 0, RODataSize = 0, RWDataSize = 0;
191 uint32_t CodeAlign = 1, RODataAlign = 1, RWDataAlign = 1;
Lang Hames89595312016-04-27 20:24:48 +0000192 if (auto Err = computeTotalAllocSize(Obj,
193 CodeSize, CodeAlign,
194 RODataSize, RODataAlign,
195 RWDataSize, RWDataAlign))
196 return std::move(Err);
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000197 MemMgr.reserveAllocationSpace(CodeSize, CodeAlign, RODataSize, RODataAlign,
198 RWDataSize, RWDataAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000199 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000200
Eli Benderskyfc079082012-05-01 06:58:59 +0000201 // Used sections from the object file
202 ObjSectionToIDMap LocalSections;
203
Tim Northover94bc73d2012-10-29 10:47:04 +0000204 // Common symbols requiring allocation, with their sizes and alignments
Lang Hames29968952015-01-17 00:55:05 +0000205 CommonSymbolList CommonSymbols;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000206
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000207 // Parse symbols
208 DEBUG(dbgs() << "Parse symbols:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000209 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000210 ++I) {
Jim Grosbach36f025e2014-04-21 19:23:59 +0000211 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000212
Lang Hames90370702016-11-30 01:12:07 +0000213 // Skip undefined symbols.
214 if (Flags & SymbolRef::SF_Undefined)
215 continue;
216
Lang Hamesa32d71b2015-10-18 01:41:37 +0000217 if (Flags & SymbolRef::SF_Common)
Lang Hames29968952015-01-17 00:55:05 +0000218 CommonSymbols.push_back(*I);
219 else {
Lang Hames89595312016-04-27 20:24:48 +0000220
221 // Get the symbol type.
222 object::SymbolRef::Type SymType;
223 if (auto SymTypeOrErr = I->getType())
224 SymType = *SymTypeOrErr;
225 else
Kevin Enderby7bd8d992016-05-02 20:28:12 +0000226 return SymTypeOrErr.takeError();
Lang Hames29968952015-01-17 00:55:05 +0000227
Lang Hamesa32d71b2015-10-18 01:41:37 +0000228 // Get symbol name.
Lang Hames89595312016-04-27 20:24:48 +0000229 StringRef Name;
230 if (auto NameOrErr = I->getName())
231 Name = *NameOrErr;
232 else
233 return NameOrErr.takeError();
234
Lang Hamesa32d71b2015-10-18 01:41:37 +0000235 // Compute JIT symbol flags.
Lang Hames14a22a42017-08-09 20:19:27 +0000236 JITSymbolFlags JITSymFlags = getJITSymbolFlags(*I);
Lang Hames29968952015-01-17 00:55:05 +0000237
Lang Hamesbb9431a2016-08-09 19:27:17 +0000238 // If this is a weak definition, check to see if there's a strong one.
239 // If there is, skip this symbol (we won't be providing it: the strong
240 // definition will). If there's no strong definition, make this definition
241 // strong.
242 if (JITSymFlags.isWeak()) {
243 // First check whether there's already a definition in this instance.
244 // FIXME: Override existing weak definitions with strong ones.
245 if (GlobalSymbolTable.count(Name))
246 continue;
247 // Then check the symbol resolver to see if there's a definition
248 // elsewhere in this logical dylib.
Lang Hames4ce98662017-07-07 02:59:13 +0000249 if (auto Sym = Resolver.findSymbolInLogicalDylib(Name)) {
Lang Hamesbb9431a2016-08-09 19:27:17 +0000250 if (Sym.getFlags().isStrongDefinition())
251 continue;
Lang Hames4ce98662017-07-07 02:59:13 +0000252 } else if (auto Err = Sym.takeError())
253 return std::move(Err);
Lang Hamesbb9431a2016-08-09 19:27:17 +0000254 // else
255 JITSymFlags &= ~JITSymbolFlags::Weak;
256 }
257
Keno Fischerddad1872015-10-21 20:22:04 +0000258 if (Flags & SymbolRef::SF_Absolute &&
259 SymType != object::SymbolRef::ST_File) {
Lang Hames89595312016-04-27 20:24:48 +0000260 uint64_t Addr = 0;
261 if (auto AddrOrErr = I->getAddress())
262 Addr = *AddrOrErr;
263 else
Kevin Enderby931cb652016-06-24 18:24:42 +0000264 return AddrOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000265
Lang Hamesa32d71b2015-10-18 01:41:37 +0000266 unsigned SectionID = AbsoluteSymbolSection;
267
268 DEBUG(dbgs() << "\tType: " << SymType << " (absolute) Name: " << Name
269 << " SID: " << SectionID << " Offset: "
Lang Hames89595312016-04-27 20:24:48 +0000270 << format("%p", (uintptr_t)Addr)
Lang Hamesa32d71b2015-10-18 01:41:37 +0000271 << " flags: " << Flags << "\n");
272 GlobalSymbolTable[Name] =
Lang Hames00769a02016-08-07 00:18:14 +0000273 SymbolTableEntry(SectionID, Addr, JITSymFlags);
Lang Hamesa32d71b2015-10-18 01:41:37 +0000274 } else if (SymType == object::SymbolRef::ST_Function ||
275 SymType == object::SymbolRef::ST_Data ||
276 SymType == object::SymbolRef::ST_Unknown ||
277 SymType == object::SymbolRef::ST_Other) {
278
Lang Hames89595312016-04-27 20:24:48 +0000279 section_iterator SI = Obj.section_end();
280 if (auto SIOrErr = I->getSection())
281 SI = *SIOrErr;
282 else
Kevin Enderby7bd8d992016-05-02 20:28:12 +0000283 return SIOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000284
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000285 if (SI == Obj.section_end())
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000286 continue;
Lang Hames89595312016-04-27 20:24:48 +0000287
Lang Hamesa32d71b2015-10-18 01:41:37 +0000288 // Get symbol offset.
Rafael Espindolaef888a42015-07-07 16:45:55 +0000289 uint64_t SectOffset;
Lang Hames89595312016-04-27 20:24:48 +0000290 if (auto Err = getOffset(*I, *SI, SectOffset))
291 return std::move(Err);
292
Rafael Espindola80291272014-10-08 15:28:58 +0000293 bool IsCode = SI->isText();
Lang Hames89595312016-04-27 20:24:48 +0000294 unsigned SectionID;
295 if (auto SectionIDOrErr = findOrEmitSection(Obj, *SI, IsCode,
296 LocalSections))
297 SectionID = *SectionIDOrErr;
298 else
299 return SectionIDOrErr.takeError();
Lang Hamesa32d71b2015-10-18 01:41:37 +0000300
Lang Hames6bfd3982015-01-16 23:13:56 +0000301 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name
302 << " SID: " << SectionID << " Offset: "
303 << format("%p", (uintptr_t)SectOffset)
304 << " flags: " << Flags << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000305 GlobalSymbolTable[Name] =
Lang Hames00769a02016-08-07 00:18:14 +0000306 SymbolTableEntry(SectionID, SectOffset, JITSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000307 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000308 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000309 }
310
Preston Gurd2138ef62012-04-12 20:13:57 +0000311 // Allocate common symbols
Lang Hames89595312016-04-27 20:24:48 +0000312 if (auto Err = emitCommonSymbols(Obj, CommonSymbols))
313 return std::move(Err);
Preston Gurd2138ef62012-04-12 20:13:57 +0000314
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000315 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000316 DEBUG(dbgs() << "Parse relocations:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000317 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000318 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000319 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000320 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000321
Rafael Espindola127b6c32015-02-17 20:07:28 +0000322 if (RelocatedSection == SE)
323 continue;
324
Jim Grosbach36f025e2014-04-21 19:23:59 +0000325 relocation_iterator I = SI->relocation_begin();
326 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000327
328 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000329 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000330
Rafael Espindola80291272014-10-08 15:28:58 +0000331 bool IsCode = RelocatedSection->isText();
Lang Hames89595312016-04-27 20:24:48 +0000332 unsigned SectionID = 0;
333 if (auto SectionIDOrErr = findOrEmitSection(Obj, *RelocatedSection, IsCode,
334 LocalSections))
335 SectionID = *SectionIDOrErr;
336 else
337 return SectionIDOrErr.takeError();
338
Juergen Ributzka046709f2014-03-21 07:26:41 +0000339 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
340
Rafael Espindola77314aa2014-04-03 22:42:22 +0000341 for (; I != E;)
Lang Hames89595312016-04-27 20:24:48 +0000342 if (auto IOrErr = processRelocationRef(SectionID, I, Obj, LocalSections, Stubs))
343 I = *IOrErr;
344 else
345 return IOrErr.takeError();
Lang Hamesf7acddd2014-07-22 22:47:39 +0000346
Lang Hamesf7acddd2014-07-22 22:47:39 +0000347 // If there is an attached checker, notify it about the stubs for this
348 // section so that they can be verified.
349 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000350 Checker->registerStubMap(Obj.getFileName(), SectionID, Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000351 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000352
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000353 // Give the subclasses a chance to tie-up any loose ends.
Lang Hames89595312016-04-27 20:24:48 +0000354 if (auto Err = finalizeLoad(Obj, LocalSections))
355 return std::move(Err);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000356
Lang Hames2e88f4f2015-07-28 17:52:11 +0000357// for (auto E : LocalSections)
358// llvm::dbgs() << "Added: " << E.first.getRawDataRefImpl() << " -> " << E.second << "\n";
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000359
Lang Hames2e88f4f2015-07-28 17:52:11 +0000360 return LocalSections;
Lang Hames937ec542014-02-12 21:30:07 +0000361}
362
363// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000364// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000365// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000366static uint64_t
367computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
368 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000369 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000370 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
371 uint64_t AlignedSize =
372 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000373 TotalSize += AlignedSize;
374 }
375 return TotalSize;
376}
377
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000378static bool isRequiredForExecution(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000379 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000380 if (isa<object::ELFObjectFileBase>(Obj))
381 return ELFSectionRef(Section).getFlags() & ELF::SHF_ALLOC;
David Majnemer1a666e02015-03-07 20:21:27 +0000382 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj)) {
383 const coff_section *CoffSection = COFFObj->getCOFFSection(Section);
384 // Avoid loading zero-sized COFF sections.
385 // In PE files, VirtualSize gives the section size, and SizeOfRawData
NAKAMURA Takumif2529512016-07-04 01:26:27 +0000386 // may be zero for sections with content. In Obj files, SizeOfRawData
David Majnemer1a666e02015-03-07 20:21:27 +0000387 // gives the section size, and VirtualSize is always zero. Hence
388 // the need to check for both cases below.
NAKAMURA Takumif4c64412016-07-04 01:26:14 +0000389 bool HasContent =
390 (CoffSection->VirtualSize > 0) || (CoffSection->SizeOfRawData > 0);
391 bool IsDiscardable =
392 CoffSection->Characteristics &
393 (COFF::IMAGE_SCN_MEM_DISCARDABLE | COFF::IMAGE_SCN_LNK_INFO);
David Majnemer1a666e02015-03-07 20:21:27 +0000394 return HasContent && !IsDiscardable;
395 }
NAKAMURA Takumi4cb46e62016-07-04 01:26:33 +0000396
Rafael Espindola0e77a942014-12-10 20:46:55 +0000397 assert(isa<MachOObjectFile>(Obj));
398 return true;
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000399}
Rafael Espindola0e77a942014-12-10 20:46:55 +0000400
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000401static bool isReadOnlyData(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000402 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000403 if (isa<object::ELFObjectFileBase>(Obj))
404 return !(ELFSectionRef(Section).getFlags() &
Rafael Espindola0e77a942014-12-10 20:46:55 +0000405 (ELF::SHF_WRITE | ELF::SHF_EXECINSTR));
David Majnemer1a666e02015-03-07 20:21:27 +0000406 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
407 return ((COFFObj->getCOFFSection(Section)->Characteristics &
408 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
409 | COFF::IMAGE_SCN_MEM_READ
410 | COFF::IMAGE_SCN_MEM_WRITE))
411 ==
412 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
413 | COFF::IMAGE_SCN_MEM_READ));
414
Rafael Espindola0e77a942014-12-10 20:46:55 +0000415 assert(isa<MachOObjectFile>(Obj));
416 return false;
417}
418
Rafael Espindola41401e92015-06-26 12:33:37 +0000419static bool isZeroInit(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000420 const ObjectFile *Obj = Section.getObject();
Rafael Espindola41401e92015-06-26 12:33:37 +0000421 if (isa<object::ELFObjectFileBase>(Obj))
422 return ELFSectionRef(Section).getType() == ELF::SHT_NOBITS;
David Majnemer1a666e02015-03-07 20:21:27 +0000423 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
424 return COFFObj->getCOFFSection(Section)->Characteristics &
425 COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000426
427 auto *MachO = cast<MachOObjectFile>(Obj);
428 unsigned SectionType = MachO->getSectionType(Section);
429 return SectionType == MachO::S_ZEROFILL ||
430 SectionType == MachO::S_GB_ZEROFILL;
431}
432
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000433// Compute an upper bound of the memory size that is required to load all
434// sections
Lang Hames89595312016-04-27 20:24:48 +0000435Error RuntimeDyldImpl::computeTotalAllocSize(const ObjectFile &Obj,
436 uint64_t &CodeSize,
437 uint32_t &CodeAlign,
438 uint64_t &RODataSize,
439 uint32_t &RODataAlign,
440 uint64_t &RWDataSize,
441 uint32_t &RWDataAlign) {
Lang Hames937ec542014-02-12 21:30:07 +0000442 // Compute the size of all sections required for execution
443 std::vector<uint64_t> CodeSectionSizes;
444 std::vector<uint64_t> ROSectionSizes;
445 std::vector<uint64_t> RWSectionSizes;
Lang Hames937ec542014-02-12 21:30:07 +0000446
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000447 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000448 // also determine the max alignment of all sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000449 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000450 SI != SE; ++SI) {
451 const SectionRef &Section = *SI;
452
Lang Hamesd22bade2017-04-04 17:03:49 +0000453 bool IsRequired = isRequiredForExecution(Section) || ProcessAllSections;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000454
Lang Hames937ec542014-02-12 21:30:07 +0000455 // Consider only the sections that are required to be loaded for execution
456 if (IsRequired) {
Rafael Espindola80291272014-10-08 15:28:58 +0000457 uint64_t DataSize = Section.getSize();
458 uint64_t Alignment64 = Section.getAlignment();
Lang Hames89595312016-04-27 20:24:48 +0000459 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Rafael Espindola80291272014-10-08 15:28:58 +0000460 bool IsCode = Section.isText();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000461 bool IsReadOnly = isReadOnlyData(Section);
Lang Hames89595312016-04-27 20:24:48 +0000462
463 StringRef Name;
464 if (auto EC = Section.getName(Name))
465 return errorCodeToError(EC);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000466
Lang Hames937ec542014-02-12 21:30:07 +0000467 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
468 uint64_t SectionSize = DataSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000469
470 // The .eh_frame section (at least on Linux) needs an extra four bytes
471 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000472 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000473 // slightly different name, so this won't have any effect for MachO
474 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000475 if (Name == ".eh_frame")
476 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000477
Lang Hames2be1bbe2015-04-07 06:27:56 +0000478 if (!SectionSize)
479 SectionSize = 1;
480
481 if (IsCode) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000482 CodeAlign = std::max(CodeAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000483 CodeSectionSizes.push_back(SectionSize);
484 } else if (IsReadOnly) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000485 RODataAlign = std::max(RODataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000486 ROSectionSizes.push_back(SectionSize);
487 } else {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000488 RWDataAlign = std::max(RWDataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000489 RWSectionSizes.push_back(SectionSize);
490 }
Lang Hames937ec542014-02-12 21:30:07 +0000491 }
492 }
493
Eugene Leviant3e582c82017-02-06 15:31:28 +0000494 // Compute Global Offset Table size. If it is not zero we
495 // also update alignment, which is equal to a size of a
496 // single GOT entry.
497 if (unsigned GotSize = computeGOTSize(Obj)) {
498 RWSectionSizes.push_back(GotSize);
499 RWDataAlign = std::max<uint32_t>(RWDataAlign, getGOTEntrySize());
500 }
501
Lang Hames937ec542014-02-12 21:30:07 +0000502 // Compute the size of all common symbols
503 uint64_t CommonSize = 0;
Lang Hames543e0dc2016-04-21 20:08:06 +0000504 uint32_t CommonAlign = 1;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000505 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000506 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000507 uint32_t Flags = I->getFlags();
508 if (Flags & SymbolRef::SF_Common) {
509 // Add the common symbols to a list. We'll allocate them all below.
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000510 uint64_t Size = I->getCommonSize();
Lang Hames543e0dc2016-04-21 20:08:06 +0000511 uint32_t Align = I->getAlignment();
512 // If this is the first common symbol, use its alignment as the alignment
513 // for the common symbols section.
514 if (CommonSize == 0)
NAKAMURA Takumi940cd932016-07-04 01:26:21 +0000515 CommonAlign = Align;
Lang Hames543e0dc2016-04-21 20:08:06 +0000516 CommonSize = alignTo(CommonSize, Align) + Size;
Lang Hames937ec542014-02-12 21:30:07 +0000517 }
518 }
519 if (CommonSize != 0) {
520 RWSectionSizes.push_back(CommonSize);
Lang Hames543e0dc2016-04-21 20:08:06 +0000521 RWDataAlign = std::max(RWDataAlign, CommonAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000522 }
523
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000524 // Compute the required allocation space for each different type of sections
525 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000526 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000527 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000528 // depends on the order, in which the sections are allocated.
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000529 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, CodeAlign);
530 RODataSize = computeAllocationSizeForSections(ROSectionSizes, RODataAlign);
531 RWDataSize = computeAllocationSizeForSections(RWSectionSizes, RWDataAlign);
Lang Hames89595312016-04-27 20:24:48 +0000532
533 return Error::success();
Lang Hames937ec542014-02-12 21:30:07 +0000534}
535
Eugene Leviant3e582c82017-02-06 15:31:28 +0000536// compute GOT size
537unsigned RuntimeDyldImpl::computeGOTSize(const ObjectFile &Obj) {
538 size_t GotEntrySize = getGOTEntrySize();
539 if (!GotEntrySize)
540 return 0;
541
542 size_t GotSize = 0;
543 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
544 SI != SE; ++SI) {
545
546 for (const RelocationRef &Reloc : SI->relocations())
547 if (relocationNeedsGot(Reloc))
548 GotSize += GotEntrySize;
549 }
550
551 return GotSize;
552}
553
Lang Hames937ec542014-02-12 21:30:07 +0000554// compute stub buffer size for the given section
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000555unsigned RuntimeDyldImpl::computeSectionStubBufSize(const ObjectFile &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000556 const SectionRef &Section) {
557 unsigned StubSize = getMaxStubSize();
558 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000559 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000560 }
561 // FIXME: this is an inefficient way to handle this. We should computed the
562 // necessary section allocation size in loadObject by walking all the sections
563 // once.
564 unsigned StubBufSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000565 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000566 SI != SE; ++SI) {
567 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000568 if (!(RelSecI == Section))
569 continue;
570
Sanjoy Dasd5658b02015-11-23 21:47:51 +0000571 for (const RelocationRef &Reloc : SI->relocations())
572 if (relocationNeedsStub(Reloc))
573 StubBufSize += StubSize;
Lang Hames937ec542014-02-12 21:30:07 +0000574 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000575
Lang Hames937ec542014-02-12 21:30:07 +0000576 // Get section data size and alignment
Rafael Espindola80291272014-10-08 15:28:58 +0000577 uint64_t DataSize = Section.getSize();
578 uint64_t Alignment64 = Section.getAlignment();
Lang Hames937ec542014-02-12 21:30:07 +0000579
580 // Add stubbuf size alignment
581 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
582 unsigned StubAlignment = getStubAlignment();
583 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
584 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000585 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000586 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000587}
588
Lang Hamese1287c02014-08-29 23:17:47 +0000589uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
590 unsigned Size) const {
591 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000592 if (IsTargetLittleEndian) {
593 Src += Size - 1;
594 while (Size--)
595 Result = (Result << 8) | *Src--;
596 } else
597 while (Size--)
598 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000599
600 return Result;
601}
602
603void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
604 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000605 if (IsTargetLittleEndian) {
606 while (Size--) {
607 *Dst++ = Value & 0xFF;
608 Value >>= 8;
609 }
Lang Hamese1287c02014-08-29 23:17:47 +0000610 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000611 Dst += Size - 1;
612 while (Size--) {
613 *Dst-- = Value & 0xFF;
614 Value >>= 8;
615 }
Lang Hamese1287c02014-08-29 23:17:47 +0000616 }
617}
618
Lang Hames14a22a42017-08-09 20:19:27 +0000619JITSymbolFlags RuntimeDyldImpl::getJITSymbolFlags(const BasicSymbolRef &SR) {
620 return JITSymbolFlags::fromObjectSymbol(SR);
621}
622
Lang Hames89595312016-04-27 20:24:48 +0000623Error RuntimeDyldImpl::emitCommonSymbols(const ObjectFile &Obj,
624 CommonSymbolList &CommonSymbols) {
Lang Hames29968952015-01-17 00:55:05 +0000625 if (CommonSymbols.empty())
Lang Hames89595312016-04-27 20:24:48 +0000626 return Error::success();
Lang Hames29968952015-01-17 00:55:05 +0000627
628 uint64_t CommonSize = 0;
Lang Hames543e0dc2016-04-21 20:08:06 +0000629 uint32_t CommonAlign = CommonSymbols.begin()->getAlignment();
Lang Hames29968952015-01-17 00:55:05 +0000630 CommonSymbolList SymbolsToAllocate;
631
632 DEBUG(dbgs() << "Processing common symbols...\n");
633
634 for (const auto &Sym : CommonSymbols) {
Lang Hames89595312016-04-27 20:24:48 +0000635 StringRef Name;
636 if (auto NameOrErr = Sym.getName())
637 Name = *NameOrErr;
638 else
639 return NameOrErr.takeError();
Lang Hames29968952015-01-17 00:55:05 +0000640
Lang Hames29968952015-01-17 00:55:05 +0000641 // Skip common symbols already elsewhere.
Lang Hames7643d982016-08-01 22:23:24 +0000642 if (GlobalSymbolTable.count(Name)) {
Lang Hames29968952015-01-17 00:55:05 +0000643 DEBUG(dbgs() << "\tSkipping already emitted common symbol '" << Name
644 << "'\n");
645 continue;
646 }
647
Lang Hames7643d982016-08-01 22:23:24 +0000648 if (auto Sym = Resolver.findSymbolInLogicalDylib(Name)) {
Lang Hamesaac59a22016-08-04 20:32:37 +0000649 if (!Sym.getFlags().isCommon()) {
Lang Hames7643d982016-08-01 22:23:24 +0000650 DEBUG(dbgs() << "\tSkipping common symbol '" << Name
651 << "' in favor of stronger definition.\n");
652 continue;
653 }
654 }
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000655 uint32_t Align = Sym.getAlignment();
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000656 uint64_t Size = Sym.getCommonSize();
Lang Hames29968952015-01-17 00:55:05 +0000657
Lang Hames543e0dc2016-04-21 20:08:06 +0000658 CommonSize = alignTo(CommonSize, Align) + Size;
NAKAMURA Takumi4cb46e62016-07-04 01:26:33 +0000659
Lang Hames29968952015-01-17 00:55:05 +0000660 SymbolsToAllocate.push_back(Sym);
661 }
662
Preston Gurd2138ef62012-04-12 20:13:57 +0000663 // Allocate memory for the section
664 unsigned SectionID = Sections.size();
NAKAMURA Takumi940cd932016-07-04 01:26:21 +0000665 uint8_t *Addr = MemMgr.allocateDataSection(CommonSize, CommonAlign, SectionID,
666 "<common symbols>", false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000667 if (!Addr)
668 report_fatal_error("Unable to allocate memory for common symbols!");
669 uint64_t Offset = 0;
Sanjoy Das80825922015-11-23 21:47:46 +0000670 Sections.push_back(
671 SectionEntry("<common symbols>", Addr, CommonSize, CommonSize, 0));
Lang Hames29968952015-01-17 00:55:05 +0000672 memset(Addr, 0, CommonSize);
Preston Gurd2138ef62012-04-12 20:13:57 +0000673
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000674 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID << " new addr: "
Lang Hames29968952015-01-17 00:55:05 +0000675 << format("%p", Addr) << " DataSize: " << CommonSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000676
677 // Assign the address of each symbol
Lang Hames29968952015-01-17 00:55:05 +0000678 for (auto &Sym : SymbolsToAllocate) {
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000679 uint32_t Align = Sym.getAlignment();
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000680 uint64_t Size = Sym.getCommonSize();
Lang Hames89595312016-04-27 20:24:48 +0000681 StringRef Name;
682 if (auto NameOrErr = Sym.getName())
683 Name = *NameOrErr;
684 else
685 return NameOrErr.takeError();
Tim Northover94bc73d2012-10-29 10:47:04 +0000686 if (Align) {
687 // This symbol has an alignment requirement.
688 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
689 Addr += AlignOffset;
690 Offset += AlignOffset;
Tim Northover94bc73d2012-10-29 10:47:04 +0000691 }
Lang Hames14a22a42017-08-09 20:19:27 +0000692 JITSymbolFlags JITSymFlags = getJITSymbolFlags(Sym);
Lang Hames29968952015-01-17 00:55:05 +0000693 DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
694 << format("%p", Addr) << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000695 GlobalSymbolTable[Name] =
Lang Hames00769a02016-08-07 00:18:14 +0000696 SymbolTableEntry(SectionID, Offset, JITSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000697 Offset += Size;
698 Addr += Size;
699 }
Petar Jovanovicd22164d2015-08-13 15:12:49 +0000700
701 if (Checker)
702 Checker->registerSection(Obj.getFileName(), SectionID);
Lang Hames89595312016-04-27 20:24:48 +0000703
704 return Error::success();
Preston Gurd2138ef62012-04-12 20:13:57 +0000705}
706
Lang Hames89595312016-04-27 20:24:48 +0000707Expected<unsigned>
708RuntimeDyldImpl::emitSection(const ObjectFile &Obj,
709 const SectionRef &Section,
710 bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000711 StringRef data;
Rafael Espindola80291272014-10-08 15:28:58 +0000712 uint64_t Alignment64 = Section.getAlignment();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000713
714 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000715 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000716 unsigned StubBufSize = 0;
Pavel Labath859d3022017-05-17 08:47:28 +0000717 bool IsRequired = isRequiredForExecution(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000718 bool IsVirtual = Section.isVirtual();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000719 bool IsZeroInit = isZeroInit(Section);
720 bool IsReadOnly = isReadOnlyData(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000721 uint64_t DataSize = Section.getSize();
Lang Hames89595312016-04-27 20:24:48 +0000722
723 StringRef Name;
724 if (auto EC = Section.getName(Name))
725 return errorCodeToError(EC);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000726
727 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000728
Andrew Kaylor877b9312013-10-16 00:32:24 +0000729 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
730 // with zeroes added at the end. For MachO objects, this section has a
731 // slightly different name, so this won't have any effect for MachO objects.
732 if (Name == ".eh_frame")
733 PaddingSize = 4;
734
Lang Hamesd4100172014-02-11 05:28:24 +0000735 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000736 unsigned SectionID = Sections.size();
737 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000738 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000739
Lang Hames86a45932015-10-15 06:41:45 +0000740 // If this section contains any bits (i.e. isn't a virtual or bss section),
741 // grab a reference to them.
742 if (!IsVirtual && !IsZeroInit) {
743 // In either case, set the location of the unrelocated section in memory,
744 // since we still process relocations for it even if we're not applying them.
Lang Hames89595312016-04-27 20:24:48 +0000745 if (auto EC = Section.getContents(data))
746 return errorCodeToError(EC);
Keno Fischere6892c82015-05-01 20:21:45 +0000747 pData = data.data();
Lang Hames86a45932015-10-15 06:41:45 +0000748 }
Keno Fischere6892c82015-05-01 20:21:45 +0000749
Lang Hames7e66c6c2015-08-14 06:26:42 +0000750 // Code section alignment needs to be at least as high as stub alignment or
751 // padding calculations may by incorrect when the section is remapped to a
752 // higher alignment.
Lang Hames14a22a42017-08-09 20:19:27 +0000753 if (IsCode) {
Lang Hames7e66c6c2015-08-14 06:26:42 +0000754 Alignment = std::max(Alignment, getStubAlignment());
Lang Hames14a22a42017-08-09 20:19:27 +0000755 if (StubBufSize > 0)
756 PaddingSize += getStubAlignment() - 1;
757 }
Lang Hames7e66c6c2015-08-14 06:26:42 +0000758
Preston Gurd2138ef62012-04-12 20:13:57 +0000759 // Some sections, such as debug info, don't need to be loaded for execution.
Pavel Labath859d3022017-05-17 08:47:28 +0000760 // Process those only if explicitly requested.
761 if (IsRequired || ProcessAllSections) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000762 Allocate = DataSize + PaddingSize + StubBufSize;
Lang Hames2be1bbe2015-04-07 06:27:56 +0000763 if (!Allocate)
764 Allocate = 1;
Lang Hames633fe142015-03-30 03:37:06 +0000765 Addr = IsCode ? MemMgr.allocateCodeSection(Allocate, Alignment, SectionID,
766 Name)
767 : MemMgr.allocateDataSection(Allocate, Alignment, SectionID,
768 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000769 if (!Addr)
770 report_fatal_error("Unable to allocate section memory!");
771
Preston Gurd2138ef62012-04-12 20:13:57 +0000772 // Zero-initialize or copy the data from the image
773 if (IsZeroInit || IsVirtual)
774 memset(Addr, 0, DataSize);
775 else
776 memcpy(Addr, pData, DataSize);
777
Andrew Kaylor877b9312013-10-16 00:32:24 +0000778 // Fill in any extra bytes we allocated for padding
779 if (PaddingSize != 0) {
780 memset(Addr + DataSize, 0, PaddingSize);
Lang Hames14a22a42017-08-09 20:19:27 +0000781 // Update the DataSize variable to include padding.
Andrew Kaylor877b9312013-10-16 00:32:24 +0000782 DataSize += PaddingSize;
Lang Hames14a22a42017-08-09 20:19:27 +0000783
784 // Align DataSize to stub alignment if we have any stubs (PaddingSize will
785 // have been increased above to account for this).
786 if (StubBufSize > 0)
787 DataSize &= ~(getStubAlignment() - 1);
Andrew Kaylor877b9312013-10-16 00:32:24 +0000788 }
789
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000790 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000791 << " obj addr: " << format("%p", pData)
792 << " new addr: " << format("%p", Addr)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000793 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
794 << " Allocate: " << Allocate << "\n");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000795 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000796 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000797 // to handle later processing (and by 'handle' I mean don't do anything
798 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000799 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000800 Addr = nullptr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000801 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
802 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
803 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
804 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000805 }
806
Sanjoy Das80825922015-11-23 21:47:46 +0000807 Sections.push_back(
808 SectionEntry(Name, Addr, DataSize, Allocate, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000809
Pavel Labath859d3022017-05-17 08:47:28 +0000810 // Debug info sections are linked as if their load address was zero
811 if (!IsRequired)
812 Sections.back().setLoadAddress(0);
813
Lang Hames587ee6a2014-09-03 05:01:46 +0000814 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000815 Checker->registerSection(Obj.getFileName(), SectionID);
Lang Hames587ee6a2014-09-03 05:01:46 +0000816
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000817 return SectionID;
818}
819
Lang Hames89595312016-04-27 20:24:48 +0000820Expected<unsigned>
821RuntimeDyldImpl::findOrEmitSection(const ObjectFile &Obj,
822 const SectionRef &Section,
823 bool IsCode,
824 ObjSectionToIDMap &LocalSections) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000825
826 unsigned SectionID = 0;
827 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
828 if (i != LocalSections.end())
829 SectionID = i->second;
830 else {
Lang Hames89595312016-04-27 20:24:48 +0000831 if (auto SectionIDOrErr = emitSection(Obj, Section, IsCode))
832 SectionID = *SectionIDOrErr;
833 else
834 return SectionIDOrErr.takeError();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000835 LocalSections[Section] = SectionID;
836 }
837 return SectionID;
838}
839
Eli Bendersky667b8792012-05-01 10:41:12 +0000840void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
841 unsigned SectionID) {
842 Relocations[SectionID].push_back(RE);
843}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000844
Eli Bendersky667b8792012-05-01 10:41:12 +0000845void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
846 StringRef SymbolName) {
847 // Relocation by symbol. If the symbol is found in the global symbol table,
848 // create an appropriate section relocation. Otherwise, add it to
849 // ExternalSymbolRelocations.
Lang Hames6bfd3982015-01-16 23:13:56 +0000850 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000851 if (Loc == GlobalSymbolTable.end()) {
852 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000853 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000854 // Copy the RE since we want to modify its addend.
855 RelocationEntry RECopy = RE;
Lang Hames6bfd3982015-01-16 23:13:56 +0000856 const auto &SymInfo = Loc->second;
857 RECopy.Addend += SymInfo.getOffset();
858 Relocations[SymInfo.getSectionID()].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000859 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000860}
861
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000862uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
863 unsigned AbiVariant) {
Tim Northovere19bed72014-07-23 12:32:47 +0000864 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be) {
Tim Northover37cde972013-05-04 20:14:09 +0000865 // This stub has to be able to access the full address space,
866 // since symbol lookup won't necessarily find a handy, in-range,
867 // PLT stub for functions which could be anywhere.
Tim Northover37cde972013-05-04 20:14:09 +0000868 // Stub can use ip0 (== x16) to calculate address
Daniel Sanders66e799f2014-11-06 09:53:05 +0000869 writeBytesUnaligned(0xd2e00010, Addr, 4); // movz ip0, #:abs_g3:<addr>
870 writeBytesUnaligned(0xf2c00010, Addr+4, 4); // movk ip0, #:abs_g2_nc:<addr>
871 writeBytesUnaligned(0xf2a00010, Addr+8, 4); // movk ip0, #:abs_g1_nc:<addr>
872 writeBytesUnaligned(0xf2800010, Addr+12, 4); // movk ip0, #:abs_g0_nc:<addr>
873 writeBytesUnaligned(0xd61f0200, Addr+16, 4); // br ip0
Tim Northover37cde972013-05-04 20:14:09 +0000874
875 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000876 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000877 // TODO: There is only ARM far stub now. We should add the Thumb stub,
878 // and stubs for branches Thumb - ARM and ARM - Thumb.
Lang Hames14a22a42017-08-09 20:19:27 +0000879 writeBytesUnaligned(0xe51ff004, Addr, 4); // ldr pc, [pc, #-4]
Daniel Sanders66e799f2014-11-06 09:53:05 +0000880 return Addr + 4;
Nitesh Jain757f74c2017-10-22 09:47:41 +0000881 } else if (IsMipsO32ABI || IsMipsN32ABI) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000882 // 0: 3c190000 lui t9,%hi(addr).
883 // 4: 27390000 addiu t9,t9,%lo(addr).
884 // 8: 03200008 jr t9.
885 // c: 00000000 nop.
886 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
Nitesh Jain7481e402016-07-15 12:56:37 +0000887 const unsigned NopInstr = 0x0;
888 unsigned JrT9Instr = 0x03200008;
Nitesh Jain757f74c2017-10-22 09:47:41 +0000889 if ((AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_32R6 ||
890 (AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_64R6)
891 JrT9Instr = 0x03200009;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000892
Daniel Sanders66e799f2014-11-06 09:53:05 +0000893 writeBytesUnaligned(LuiT9Instr, Addr, 4);
Nitesh Jain757f74c2017-10-22 09:47:41 +0000894 writeBytesUnaligned(AdduiT9Instr, Addr + 4, 4);
895 writeBytesUnaligned(JrT9Instr, Addr + 8, 4);
896 writeBytesUnaligned(NopInstr, Addr + 12, 4);
897 return Addr;
898 } else if (IsMipsN64ABI) {
899 // 0: 3c190000 lui t9,%highest(addr).
900 // 4: 67390000 daddiu t9,t9,%higher(addr).
901 // 8: 0019CC38 dsll t9,t9,16.
902 // c: 67390000 daddiu t9,t9,%hi(addr).
903 // 10: 0019CC38 dsll t9,t9,16.
904 // 14: 67390000 daddiu t9,t9,%lo(addr).
905 // 18: 03200008 jr t9.
906 // 1c: 00000000 nop.
907 const unsigned LuiT9Instr = 0x3c190000, DaddiuT9Instr = 0x67390000,
908 DsllT9Instr = 0x19CC38;
909 const unsigned NopInstr = 0x0;
910 unsigned JrT9Instr = 0x03200008;
911 if ((AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_64R6)
912 JrT9Instr = 0x03200009;
913
914 writeBytesUnaligned(LuiT9Instr, Addr, 4);
915 writeBytesUnaligned(DaddiuT9Instr, Addr + 4, 4);
916 writeBytesUnaligned(DsllT9Instr, Addr + 8, 4);
917 writeBytesUnaligned(DaddiuT9Instr, Addr + 12, 4);
918 writeBytesUnaligned(DsllT9Instr, Addr + 16, 4);
919 writeBytesUnaligned(DaddiuT9Instr, Addr + 20, 4);
920 writeBytesUnaligned(JrT9Instr, Addr + 24, 4);
921 writeBytesUnaligned(NopInstr, Addr + 28, 4);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000922 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000923 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000924 // Depending on which version of the ELF ABI is in use, we need to
925 // generate one of two variants of the stub. They both start with
926 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000927 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
928 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
929 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
930 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
931 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000932 if (AbiVariant == 2) {
933 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
934 // The address is already in r12 as required by the ABI. Branch to it.
935 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
936 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
937 writeInt32BE(Addr+28, 0x4E800420); // bctr
938 } else {
939 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
940 // Load the function address on r11 and sets it to control register. Also
941 // loads the function TOC in r2 and environment pointer to r11.
942 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
943 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
944 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
945 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
946 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
947 writeInt32BE(Addr+40, 0x4E800420); // bctr
948 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000949 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000950 } else if (Arch == Triple::systemz) {
951 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
952 writeInt16BE(Addr+2, 0x0000);
953 writeInt16BE(Addr+4, 0x0004);
954 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
955 // 8-byte address stored at Addr + 8
956 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000957 } else if (Arch == Triple::x86_64) {
958 *Addr = 0xFF; // jmp
959 *(Addr+1) = 0x25; // rip
960 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +0000961 } else if (Arch == Triple::x86) {
962 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000963 }
964 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000965}
966
967// Assign an address to a symbol name and resolve all the relocations
968// associated with it.
969void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
970 uint64_t Addr) {
971 // The address to use for relocation resolution is not
972 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000973 // a remote execution environment of some sort. Relocations can't
974 // be applied until all the sections have been moved. The client must
975 // trigger this with a call to MCJIT::finalize() or
976 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000977 //
978 // Addr is a uint64_t because we can't assume the pointer width
979 // of the target is the same as that of the host. Just use a generic
980 // "big enough" type.
Sanjoy Das277776a2015-11-23 21:47:41 +0000981 DEBUG(dbgs() << "Reassigning address for section " << SectionID << " ("
982 << Sections[SectionID].getName() << "): "
983 << format("0x%016" PRIx64, Sections[SectionID].getLoadAddress())
984 << " -> " << format("0x%016" PRIx64, Addr) << "\n");
985 Sections[SectionID].setLoadAddress(Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000986}
987
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000988void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
989 uint64_t Value) {
990 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000991 const RelocationEntry &RE = Relocs[i];
992 // Ignore relocations for sections that were not loaded
Sanjoy Das277776a2015-11-23 21:47:41 +0000993 if (Sections[RE.SectionID].getAddress() == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000994 continue;
995 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000996 }
997}
998
Lang Hames4ce98662017-07-07 02:59:13 +0000999Error RuntimeDyldImpl::resolveExternalSymbols() {
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001000 while (!ExternalSymbolRelocations.empty()) {
Andrew Kaylorea395922013-10-01 01:47:35 +00001001 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
1002
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001003 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +00001004 if (Name.size() == 0) {
1005 // This is an absolute symbol, use an address of zero.
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001006 DEBUG(dbgs() << "Resolving absolute relocations."
1007 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +00001008 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +00001009 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001010 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +00001011 uint64_t Addr = 0;
Lang Hames14a22a42017-08-09 20:19:27 +00001012 JITSymbolFlags Flags;
Lang Hames6bfd3982015-01-16 23:13:56 +00001013 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +00001014 if (Loc == GlobalSymbolTable.end()) {
Lang Hames633fe142015-03-30 03:37:06 +00001015 // This is an external symbol, try to get its address from the symbol
1016 // resolver.
Lang Hamesbf9d1aa2016-05-25 16:23:59 +00001017 // First search for the symbol in this logical dylib.
Lang Hames4ce98662017-07-07 02:59:13 +00001018 if (auto Sym = Resolver.findSymbolInLogicalDylib(Name.data())) {
Lang Hames14a22a42017-08-09 20:19:27 +00001019 if (auto AddrOrErr = Sym.getAddress()) {
Lang Hames4ce98662017-07-07 02:59:13 +00001020 Addr = *AddrOrErr;
Lang Hames14a22a42017-08-09 20:19:27 +00001021 Flags = Sym.getFlags();
1022 } else
Lang Hames4ce98662017-07-07 02:59:13 +00001023 return AddrOrErr.takeError();
1024 } else if (auto Err = Sym.takeError())
1025 return Err;
1026
Lang Hamesbf9d1aa2016-05-25 16:23:59 +00001027 // If that fails, try searching for an external symbol.
Lang Hames4ce98662017-07-07 02:59:13 +00001028 if (!Addr) {
1029 if (auto Sym = Resolver.findSymbol(Name.data())) {
Lang Hames14a22a42017-08-09 20:19:27 +00001030 if (auto AddrOrErr = Sym.getAddress()) {
Lang Hames4ce98662017-07-07 02:59:13 +00001031 Addr = *AddrOrErr;
Lang Hames14a22a42017-08-09 20:19:27 +00001032 Flags = Sym.getFlags();
1033 } else
Lang Hames4ce98662017-07-07 02:59:13 +00001034 return AddrOrErr.takeError();
1035 } else if (auto Err = Sym.takeError())
1036 return Err;
1037 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001038 // The call to getSymbolAddress may have caused additional modules to
1039 // be loaded, which may have added new entries to the
1040 // ExternalSymbolRelocations map. Consquently, we need to update our
1041 // iterator. This is also why retrieval of the relocation list
1042 // associated with this symbol is deferred until below this point.
1043 // New entries may have been added to the relocation list.
1044 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +00001045 } else {
1046 // We found the symbol in our global table. It was probably in a
1047 // Module that we loaded previously.
Lang Hames6bfd3982015-01-16 23:13:56 +00001048 const auto &SymInfo = Loc->second;
1049 Addr = getSectionLoadAddress(SymInfo.getSectionID()) +
1050 SymInfo.getOffset();
Lang Hames14a22a42017-08-09 20:19:27 +00001051 Flags = SymInfo.getFlags();
Andrew Kaylorea395922013-10-01 01:47:35 +00001052 }
1053
1054 // FIXME: Implement error handling that doesn't kill the host program!
1055 if (!Addr)
1056 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001057 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +00001058
Lang Hames78937c22015-07-04 01:35:26 +00001059 // If Resolver returned UINT64_MAX, the client wants to handle this symbol
1060 // manually and we shouldn't resolve its relocations.
1061 if (Addr != UINT64_MAX) {
Lang Hames14a22a42017-08-09 20:19:27 +00001062
1063 // Tweak the address based on the symbol flags if necessary.
1064 // For example, this is used by RuntimeDyldMachOARM to toggle the low bit
1065 // if the target symbol is Thumb.
1066 Addr = modifyAddressBasedOnFlags(Addr, Flags);
1067
Lang Hames78937c22015-07-04 01:35:26 +00001068 DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
1069 << format("0x%lx", Addr) << "\n");
1070 // This list may have been updated when we called getSymbolAddress, so
1071 // don't change this code to get the list earlier.
1072 RelocationList &Relocs = i->second;
1073 resolveRelocationList(Relocs, Addr);
1074 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001075 }
Andrew Kaylorea395922013-10-01 01:47:35 +00001076
Andrew Kaylorcfb4a992013-11-11 19:55:10 +00001077 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001078 }
Lang Hames4ce98662017-07-07 02:59:13 +00001079
1080 return Error::success();
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001081}
1082
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001083//===----------------------------------------------------------------------===//
1084// RuntimeDyld class implementation
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001085
1086uint64_t RuntimeDyld::LoadedObjectInfo::getSectionLoadAddress(
Lang Hames2e88f4f2015-07-28 17:52:11 +00001087 const object::SectionRef &Sec) const {
1088
Lang Hames2e88f4f2015-07-28 17:52:11 +00001089 auto I = ObjSecToIDMap.find(Sec);
Sanjoy Das277776a2015-11-23 21:47:41 +00001090 if (I != ObjSecToIDMap.end())
1091 return RTDyld.Sections[I->second].getLoadAddress();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001092
1093 return 0;
1094}
1095
Lang Hames633fe142015-03-30 03:37:06 +00001096void RuntimeDyld::MemoryManager::anchor() {}
Lang Hamesad4a9112016-08-01 20:49:11 +00001097void JITSymbolResolver::anchor() {}
Lang Hames633fe142015-03-30 03:37:06 +00001098
1099RuntimeDyld::RuntimeDyld(RuntimeDyld::MemoryManager &MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +00001100 JITSymbolResolver &Resolver)
Lang Hames633fe142015-03-30 03:37:06 +00001101 : MemMgr(MemMgr), Resolver(Resolver) {
Andrew Kaylora342cb92012-11-15 23:50:01 +00001102 // FIXME: There's a potential issue lurking here if a single instance of
1103 // RuntimeDyld is used to load multiple objects. The current implementation
1104 // associates a single memory manager with a RuntimeDyld instance. Even
1105 // though the public class spawns a new 'impl' instance for each load,
1106 // they share a single memory manager. This can become a problem when page
1107 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +00001108 Dyld = nullptr;
Lang Hames868d4b32014-03-20 21:06:46 +00001109 ProcessAllSections = false;
Lang Hamesf7acddd2014-07-22 22:47:39 +00001110 Checker = nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001111}
1112
David Blaikie847d2a02014-09-04 18:37:29 +00001113RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001114
David Majnemer1a666e02015-03-07 20:21:27 +00001115static std::unique_ptr<RuntimeDyldCOFF>
Lang Hames633fe142015-03-30 03:37:06 +00001116createRuntimeDyldCOFF(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
Lang Hamesad4a9112016-08-01 20:49:11 +00001117 JITSymbolResolver &Resolver, bool ProcessAllSections,
1118 RuntimeDyldCheckerImpl *Checker) {
Lang Hames633fe142015-03-30 03:37:06 +00001119 std::unique_ptr<RuntimeDyldCOFF> Dyld =
1120 RuntimeDyldCOFF::create(Arch, MM, Resolver);
David Majnemer1a666e02015-03-07 20:21:27 +00001121 Dyld->setProcessAllSections(ProcessAllSections);
1122 Dyld->setRuntimeDyldChecker(Checker);
1123 return Dyld;
1124}
1125
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001126static std::unique_ptr<RuntimeDyldELF>
Simon Dardisc97cfb62016-12-13 11:39:18 +00001127createRuntimeDyldELF(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
Lang Hamesad4a9112016-08-01 20:49:11 +00001128 JITSymbolResolver &Resolver, bool ProcessAllSections,
1129 RuntimeDyldCheckerImpl *Checker) {
Simon Dardisc97cfb62016-12-13 11:39:18 +00001130 std::unique_ptr<RuntimeDyldELF> Dyld =
1131 RuntimeDyldELF::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +00001132 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +00001133 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +00001134 return Dyld;
1135}
1136
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001137static std::unique_ptr<RuntimeDyldMachO>
Lang Hames633fe142015-03-30 03:37:06 +00001138createRuntimeDyldMachO(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
Lang Hamesad4a9112016-08-01 20:49:11 +00001139 JITSymbolResolver &Resolver,
Lang Hames633fe142015-03-30 03:37:06 +00001140 bool ProcessAllSections,
1141 RuntimeDyldCheckerImpl *Checker) {
1142 std::unique_ptr<RuntimeDyldMachO> Dyld =
1143 RuntimeDyldMachO::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +00001144 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +00001145 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +00001146 return Dyld;
1147}
1148
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001149std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
1150RuntimeDyld::loadObject(const ObjectFile &Obj) {
1151 if (!Dyld) {
1152 if (Obj.isELF())
Simon Dardisc97cfb62016-12-13 11:39:18 +00001153 Dyld =
1154 createRuntimeDyldELF(static_cast<Triple::ArchType>(Obj.getArch()),
1155 MemMgr, Resolver, ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001156 else if (Obj.isMachO())
Aaron Ballman9fb41142014-11-26 15:27:39 +00001157 Dyld = createRuntimeDyldMachO(
Lang Hames633fe142015-03-30 03:37:06 +00001158 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001159 ProcessAllSections, Checker);
David Majnemer1a666e02015-03-07 20:21:27 +00001160 else if (Obj.isCOFF())
1161 Dyld = createRuntimeDyldCOFF(
Lang Hames633fe142015-03-30 03:37:06 +00001162 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
David Majnemer1a666e02015-03-07 20:21:27 +00001163 ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001164 else
1165 report_fatal_error("Incompatible object format!");
Aaron Ballman9fb41142014-11-26 15:27:39 +00001166 }
1167
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001168 if (!Dyld->isCompatibleFile(Obj))
Aaron Ballman9fb41142014-11-26 15:27:39 +00001169 report_fatal_error("Incompatible object format!");
1170
Lang Hamesb0934292016-01-10 23:59:41 +00001171 auto LoadedObjInfo = Dyld->loadObject(Obj);
1172 MemMgr.notifyObjectLoaded(*this, Obj);
1173 return LoadedObjInfo;
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001174}
1175
Lang Hamesb1186032015-03-11 00:43:26 +00001176void *RuntimeDyld::getSymbolLocalAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +00001177 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +00001178 return nullptr;
Lang Hamesb1186032015-03-11 00:43:26 +00001179 return Dyld->getSymbolLocalAddress(Name);
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001180}
1181
Lang Hamesad4a9112016-08-01 20:49:11 +00001182JITEvaluatedSymbol RuntimeDyld::getSymbol(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +00001183 if (!Dyld)
Lang Hamesb1186032015-03-11 00:43:26 +00001184 return nullptr;
1185 return Dyld->getSymbol(Name);
Lang Hames6bfd3982015-01-16 23:13:56 +00001186}
1187
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001188void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +00001189
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001190void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +00001191 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +00001192}
1193
Jim Grosbach6d613972012-09-13 21:50:06 +00001194void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +00001195 uint64_t TargetAddress) {
1196 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
1197}
1198
Juergen Ributzka6ff29a72014-03-26 18:19:27 +00001199bool RuntimeDyld::hasError() { return Dyld->hasError(); }
1200
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001201StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +00001202
Lang Hames859d73c2016-01-09 19:50:40 +00001203void RuntimeDyld::finalizeWithMemoryManagerLocking() {
1204 bool MemoryFinalizationLocked = MemMgr.FinalizationLocked;
1205 MemMgr.FinalizationLocked = true;
1206 resolveRelocations();
1207 registerEHFrames();
1208 if (!MemoryFinalizationLocked) {
1209 MemMgr.finalizeMemory();
1210 MemMgr.FinalizationLocked = false;
1211 }
1212}
1213
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001214void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +00001215 if (Dyld)
1216 Dyld->registerEHFrames();
1217}
1218
1219void RuntimeDyld::deregisterEHFrames() {
1220 if (Dyld)
1221 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +00001222}
1223
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001224} // end namespace llvm