blob: d16b2db24e1a0e71b5768ebff41bbf2085d8e8d0 [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) {
Sanjoy Das277776a2015-11-23 21:47:41 +000044 dbgs() << "----- Contents of section " << S.getName() << " " << State
45 << " -----";
Lang Hamesf4b3b672014-08-25 22:19:14 +000046
Sanjoy Das277776a2015-11-23 21:47:41 +000047 if (S.getAddress() == nullptr) {
Lang Hames24f0c242014-10-01 21:57:47 +000048 dbgs() << "\n <section not emitted>\n";
49 return;
50 }
51
Lang Hamesf4b3b672014-08-25 22:19:14 +000052 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000053
Sanjoy Das277776a2015-11-23 21:47:41 +000054 uint8_t *DataAddr = S.getAddress();
55 uint64_t LoadAddr = S.getLoadAddress();
Lang Hames86b08f02014-08-25 18:37:38 +000056
Lang Hames8d4d0262014-09-18 16:43:24 +000057 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Sanjoy Das277776a2015-11-23 21:47:41 +000058 unsigned BytesRemaining = S.getSize();
Lang Hames86b08f02014-08-25 18:37:38 +000059
60 if (StartPadding) {
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +000061 dbgs() << "\n" << format("0x%016" PRIx64,
62 LoadAddr & ~(uint64_t)(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000063 while (StartPadding--)
64 dbgs() << " ";
65 }
66
67 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +000068 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +000069 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +000070
71 dbgs() << " " << format("%02x", *DataAddr);
72
73 ++DataAddr;
74 ++LoadAddr;
75 --BytesRemaining;
76 }
77
78 dbgs() << "\n";
79}
Benjamin Kramer01e17892014-08-26 14:22:05 +000080#endif
Lang Hames86b08f02014-08-25 18:37:38 +000081
Jim Grosbach733d3052011-04-12 21:20:41 +000082// Resolve the relocations for all symbols we currently know about.
83void RuntimeDyldImpl::resolveRelocations() {
Andrew Kaylor4fba0492013-10-21 17:42:06 +000084 MutexGuard locked(lock);
85
Lang Hames79fce472015-09-10 20:44:36 +000086 // Print out the sections prior to relocation.
87 DEBUG(
88 for (int i = 0, e = Sections.size(); i != e; ++i)
89 dumpSectionMemory(Sections[i], "before relocations");
90 );
91
Preston Gurd2138ef62012-04-12 20:13:57 +000092 // First, resolve relocations associated with external symbols.
Eli Benderskyb92e1cf2012-04-30 12:15:58 +000093 resolveExternalSymbols();
Danil Malyshev70d22cc2012-03-30 16:45:19 +000094
Keno Fischer2cd66e92015-10-10 05:37:02 +000095 // Iterate over all outstanding relocations
96 for (auto it = Relocations.begin(), e = Relocations.end(); it != e; ++it) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +000097 // The Section here (Sections[i]) refers to the section in which the
98 // symbol for the relocation is located. The SectionID in the relocation
99 // entry provides the section to which the relocation will be applied.
Keno Fischereb59d462015-12-03 21:27:59 +0000100 int Idx = it->first;
Sanjoy Das277776a2015-11-23 21:47:41 +0000101 uint64_t Addr = Sections[Idx].getLoadAddress();
Keno Fischer2cd66e92015-10-10 05:37:02 +0000102 DEBUG(dbgs() << "Resolving relocations Section #" << Idx << "\t"
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +0000103 << format("%p", (uintptr_t)Addr) << "\n");
Keno Fischereb59d462015-12-03 21:27:59 +0000104 resolveRelocationList(it->second, Addr);
Jim Grosbacheff0a402012-01-16 22:26:39 +0000105 }
Keno Fischer2cd66e92015-10-10 05:37:02 +0000106 Relocations.clear();
Lang Hames79fce472015-09-10 20:44:36 +0000107
108 // Print out sections after relocation.
109 DEBUG(
110 for (int i = 0, e = Sections.size(); i != e; ++i)
111 dumpSectionMemory(Sections[i], "after relocations");
112 );
113
Jim Grosbach733d3052011-04-12 21:20:41 +0000114}
115
Jim Grosbach6d613972012-09-13 21:50:06 +0000116void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000117 uint64_t TargetAddress) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000118 MutexGuard locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000119 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000120 if (Sections[i].getAddress() == LocalAddress) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000121 reassignSectionAddress(i, TargetAddress);
122 return;
123 }
124 }
125 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000126}
127
Rafael Espindolaef888a42015-07-07 16:45:55 +0000128static std::error_code getOffset(const SymbolRef &Sym, SectionRef Sec,
129 uint64_t &Result) {
Rafael Espindolaed067c42015-07-03 18:19:00 +0000130 ErrorOr<uint64_t> AddressOrErr = Sym.getAddress();
131 if (std::error_code EC = AddressOrErr.getError())
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000132 return EC;
Rafael Espindolaef888a42015-07-07 16:45:55 +0000133 Result = *AddressOrErr - Sec.getAddress();
Rui Ueyama7d099192015-06-09 15:20:42 +0000134 return std::error_code();
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000135}
136
Lang Hames2e88f4f2015-07-28 17:52:11 +0000137RuntimeDyldImpl::ObjSectionToIDMap
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000138RuntimeDyldImpl::loadObjectImpl(const object::ObjectFile &Obj) {
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000139 MutexGuard locked(lock);
140
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000141 // Save information about our target
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000142 Arch = (Triple::ArchType)Obj.getArch();
143 IsTargetLittleEndian = Obj.isLittleEndian();
Petar Jovanovic97202832015-05-28 13:48:41 +0000144 setMipsABI(Obj);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000145
Lang Hames937ec542014-02-12 21:30:07 +0000146 // Compute the memory size required to load all sections to be loaded
147 // and pass this information to the memory manager
Lang Hames633fe142015-03-30 03:37:06 +0000148 if (MemMgr.needsToReserveAllocationSpace()) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000149 uint64_t CodeSize = 0, RODataSize = 0, RWDataSize = 0;
150 uint32_t CodeAlign = 1, RODataAlign = 1, RWDataAlign = 1;
151 computeTotalAllocSize(Obj, CodeSize, CodeAlign, RODataSize, RODataAlign,
152 RWDataSize, RWDataAlign);
153 MemMgr.reserveAllocationSpace(CodeSize, CodeAlign, RODataSize, RODataAlign,
154 RWDataSize, RWDataAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000155 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000156
Eli Benderskyfc079082012-05-01 06:58:59 +0000157 // Used sections from the object file
158 ObjSectionToIDMap LocalSections;
159
Tim Northover94bc73d2012-10-29 10:47:04 +0000160 // Common symbols requiring allocation, with their sizes and alignments
Lang Hames29968952015-01-17 00:55:05 +0000161 CommonSymbolList CommonSymbols;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000162
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000163 // Parse symbols
164 DEBUG(dbgs() << "Parse symbols:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000165 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000166 ++I) {
Jim Grosbach36f025e2014-04-21 19:23:59 +0000167 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000168
Lang Hamesa32d71b2015-10-18 01:41:37 +0000169 if (Flags & SymbolRef::SF_Common)
Lang Hames29968952015-01-17 00:55:05 +0000170 CommonSymbols.push_back(*I);
171 else {
Rafael Espindola2fa80cc2015-06-26 12:18:49 +0000172 object::SymbolRef::Type SymType = I->getType();
Lang Hames29968952015-01-17 00:55:05 +0000173
Lang Hamesa32d71b2015-10-18 01:41:37 +0000174 // Get symbol name.
175 ErrorOr<StringRef> NameOrErr = I->getName();
176 Check(NameOrErr.getError());
177 StringRef Name = *NameOrErr;
178
179 // Compute JIT symbol flags.
180 JITSymbolFlags RTDyldSymFlags = JITSymbolFlags::None;
181 if (Flags & SymbolRef::SF_Weak)
182 RTDyldSymFlags |= JITSymbolFlags::Weak;
183 if (Flags & SymbolRef::SF_Exported)
184 RTDyldSymFlags |= JITSymbolFlags::Exported;
Lang Hames29968952015-01-17 00:55:05 +0000185
Keno Fischerddad1872015-10-21 20:22:04 +0000186 if (Flags & SymbolRef::SF_Absolute &&
187 SymType != object::SymbolRef::ST_File) {
Lang Hamesa32d71b2015-10-18 01:41:37 +0000188 auto Addr = I->getAddress();
189 Check(Addr.getError());
190 uint64_t SectOffset = *Addr;
191 unsigned SectionID = AbsoluteSymbolSection;
192
193 DEBUG(dbgs() << "\tType: " << SymType << " (absolute) Name: " << Name
194 << " SID: " << SectionID << " Offset: "
195 << format("%p", (uintptr_t)SectOffset)
196 << " flags: " << Flags << "\n");
197 GlobalSymbolTable[Name] =
198 SymbolTableEntry(SectionID, SectOffset, RTDyldSymFlags);
199 } else if (SymType == object::SymbolRef::ST_Function ||
200 SymType == object::SymbolRef::ST_Data ||
201 SymType == object::SymbolRef::ST_Unknown ||
202 SymType == object::SymbolRef::ST_Other) {
203
Rafael Espindola8bab8892015-08-07 23:27:14 +0000204 ErrorOr<section_iterator> SIOrErr = I->getSection();
205 Check(SIOrErr.getError());
206 section_iterator SI = *SIOrErr;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000207 if (SI == Obj.section_end())
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000208 continue;
Lang Hamesa32d71b2015-10-18 01:41:37 +0000209 // Get symbol offset.
Rafael Espindolaef888a42015-07-07 16:45:55 +0000210 uint64_t SectOffset;
211 Check(getOffset(*I, *SI, SectOffset));
Rafael Espindola80291272014-10-08 15:28:58 +0000212 bool IsCode = SI->isText();
Lang Hamesa32d71b2015-10-18 01:41:37 +0000213 unsigned SectionID = findOrEmitSection(Obj, *SI, IsCode, LocalSections);
214
Lang Hames6bfd3982015-01-16 23:13:56 +0000215 DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name
216 << " SID: " << SectionID << " Offset: "
217 << format("%p", (uintptr_t)SectOffset)
218 << " flags: " << Flags << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000219 GlobalSymbolTable[Name] =
220 SymbolTableEntry(SectionID, SectOffset, RTDyldSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000221 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000222 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000223 }
224
Preston Gurd2138ef62012-04-12 20:13:57 +0000225 // Allocate common symbols
Lang Hames29968952015-01-17 00:55:05 +0000226 emitCommonSymbols(Obj, CommonSymbols);
Preston Gurd2138ef62012-04-12 20:13:57 +0000227
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000228 // Parse and process relocations
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000229 DEBUG(dbgs() << "Parse relocations:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000230 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000231 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000232 unsigned SectionID = 0;
233 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000234 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000235
Rafael Espindola127b6c32015-02-17 20:07:28 +0000236 if (RelocatedSection == SE)
237 continue;
238
Jim Grosbach36f025e2014-04-21 19:23:59 +0000239 relocation_iterator I = SI->relocation_begin();
240 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000241
242 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000243 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000244
Rafael Espindola80291272014-10-08 15:28:58 +0000245 bool IsCode = RelocatedSection->isText();
Juergen Ributzka046709f2014-03-21 07:26:41 +0000246 SectionID =
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000247 findOrEmitSection(Obj, *RelocatedSection, IsCode, LocalSections);
Juergen Ributzka046709f2014-03-21 07:26:41 +0000248 DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
249
Rafael Espindola77314aa2014-04-03 22:42:22 +0000250 for (; I != E;)
Lang Hamesa5cd9502014-11-27 05:40:13 +0000251 I = processRelocationRef(SectionID, I, Obj, LocalSections, Stubs);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000252
Lang Hamesf7acddd2014-07-22 22:47:39 +0000253 // If there is an attached checker, notify it about the stubs for this
254 // section so that they can be verified.
255 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000256 Checker->registerStubMap(Obj.getFileName(), SectionID, Stubs);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000257 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000258
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000259 // Give the subclasses a chance to tie-up any loose ends.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000260 finalizeLoad(Obj, LocalSections);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000261
Lang Hames2e88f4f2015-07-28 17:52:11 +0000262// for (auto E : LocalSections)
263// llvm::dbgs() << "Added: " << E.first.getRawDataRefImpl() << " -> " << E.second << "\n";
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000264
Lang Hames2e88f4f2015-07-28 17:52:11 +0000265 return LocalSections;
Lang Hames937ec542014-02-12 21:30:07 +0000266}
267
268// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000269// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000270// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000271static uint64_t
272computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
273 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000274 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000275 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
276 uint64_t AlignedSize =
277 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000278 TotalSize += AlignedSize;
279 }
280 return TotalSize;
281}
282
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000283static bool isRequiredForExecution(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000284 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000285 if (isa<object::ELFObjectFileBase>(Obj))
286 return ELFSectionRef(Section).getFlags() & ELF::SHF_ALLOC;
David Majnemer1a666e02015-03-07 20:21:27 +0000287 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj)) {
288 const coff_section *CoffSection = COFFObj->getCOFFSection(Section);
289 // Avoid loading zero-sized COFF sections.
290 // In PE files, VirtualSize gives the section size, and SizeOfRawData
291 // may be zero for sections with content. In Obj files, SizeOfRawData
292 // gives the section size, and VirtualSize is always zero. Hence
293 // the need to check for both cases below.
294 bool HasContent = (CoffSection->VirtualSize > 0)
295 || (CoffSection->SizeOfRawData > 0);
296 bool IsDiscardable = CoffSection->Characteristics &
297 (COFF::IMAGE_SCN_MEM_DISCARDABLE | COFF::IMAGE_SCN_LNK_INFO);
298 return HasContent && !IsDiscardable;
299 }
300
Rafael Espindola0e77a942014-12-10 20:46:55 +0000301 assert(isa<MachOObjectFile>(Obj));
302 return true;
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000303}
Rafael Espindola0e77a942014-12-10 20:46:55 +0000304
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000305static bool isReadOnlyData(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000306 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000307 if (isa<object::ELFObjectFileBase>(Obj))
308 return !(ELFSectionRef(Section).getFlags() &
Rafael Espindola0e77a942014-12-10 20:46:55 +0000309 (ELF::SHF_WRITE | ELF::SHF_EXECINSTR));
David Majnemer1a666e02015-03-07 20:21:27 +0000310 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
311 return ((COFFObj->getCOFFSection(Section)->Characteristics &
312 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
313 | COFF::IMAGE_SCN_MEM_READ
314 | COFF::IMAGE_SCN_MEM_WRITE))
315 ==
316 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
317 | COFF::IMAGE_SCN_MEM_READ));
318
Rafael Espindola0e77a942014-12-10 20:46:55 +0000319 assert(isa<MachOObjectFile>(Obj));
320 return false;
321}
322
Rafael Espindola41401e92015-06-26 12:33:37 +0000323static bool isZeroInit(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000324 const ObjectFile *Obj = Section.getObject();
Rafael Espindola41401e92015-06-26 12:33:37 +0000325 if (isa<object::ELFObjectFileBase>(Obj))
326 return ELFSectionRef(Section).getType() == ELF::SHT_NOBITS;
David Majnemer1a666e02015-03-07 20:21:27 +0000327 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
328 return COFFObj->getCOFFSection(Section)->Characteristics &
329 COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000330
331 auto *MachO = cast<MachOObjectFile>(Obj);
332 unsigned SectionType = MachO->getSectionType(Section);
333 return SectionType == MachO::S_ZEROFILL ||
334 SectionType == MachO::S_GB_ZEROFILL;
335}
336
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000337// Compute an upper bound of the memory size that is required to load all
338// sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000339void RuntimeDyldImpl::computeTotalAllocSize(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000340 uint64_t &CodeSize,
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000341 uint32_t &CodeAlign,
342 uint64_t &RODataSize,
343 uint32_t &RODataAlign,
344 uint64_t &RWDataSize,
345 uint32_t &RWDataAlign) {
Lang Hames937ec542014-02-12 21:30:07 +0000346 // Compute the size of all sections required for execution
347 std::vector<uint64_t> CodeSectionSizes;
348 std::vector<uint64_t> ROSectionSizes;
349 std::vector<uint64_t> RWSectionSizes;
Lang Hames937ec542014-02-12 21:30:07 +0000350
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000351 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000352 // also determine the max alignment of all sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000353 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000354 SI != SE; ++SI) {
355 const SectionRef &Section = *SI;
356
Rafael Espindola0e77a942014-12-10 20:46:55 +0000357 bool IsRequired = isRequiredForExecution(Section);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000358
Lang Hames937ec542014-02-12 21:30:07 +0000359 // Consider only the sections that are required to be loaded for execution
360 if (IsRequired) {
Lang Hames937ec542014-02-12 21:30:07 +0000361 StringRef Name;
Rafael Espindola80291272014-10-08 15:28:58 +0000362 uint64_t DataSize = Section.getSize();
363 uint64_t Alignment64 = Section.getAlignment();
364 bool IsCode = Section.isText();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000365 bool IsReadOnly = isReadOnlyData(Section);
Lang Hames937ec542014-02-12 21:30:07 +0000366 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000367 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
368
Lang Hames937ec542014-02-12 21:30:07 +0000369 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
370 uint64_t SectionSize = DataSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000371
372 // The .eh_frame section (at least on Linux) needs an extra four bytes
373 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000374 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000375 // slightly different name, so this won't have any effect for MachO
376 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000377 if (Name == ".eh_frame")
378 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000379
Lang Hames2be1bbe2015-04-07 06:27:56 +0000380 if (!SectionSize)
381 SectionSize = 1;
382
383 if (IsCode) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000384 CodeAlign = std::max(CodeAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000385 CodeSectionSizes.push_back(SectionSize);
386 } else if (IsReadOnly) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000387 RODataAlign = std::max(RODataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000388 ROSectionSizes.push_back(SectionSize);
389 } else {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000390 RWDataAlign = std::max(RWDataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000391 RWSectionSizes.push_back(SectionSize);
392 }
Lang Hames937ec542014-02-12 21:30:07 +0000393 }
394 }
395
396 // Compute the size of all common symbols
397 uint64_t CommonSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000398 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000399 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000400 uint32_t Flags = I->getFlags();
401 if (Flags & SymbolRef::SF_Common) {
402 // Add the common symbols to a list. We'll allocate them all below.
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000403 uint64_t Size = I->getCommonSize();
Lang Hames937ec542014-02-12 21:30:07 +0000404 CommonSize += Size;
405 }
406 }
407 if (CommonSize != 0) {
408 RWSectionSizes.push_back(CommonSize);
409 }
410
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000411 // Compute the required allocation space for each different type of sections
412 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000413 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000414 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000415 // depends on the order, in which the sections are allocated.
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000416 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, CodeAlign);
417 RODataSize = computeAllocationSizeForSections(ROSectionSizes, RODataAlign);
418 RWDataSize = computeAllocationSizeForSections(RWSectionSizes, RWDataAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000419}
420
421// compute stub buffer size for the given section
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000422unsigned RuntimeDyldImpl::computeSectionStubBufSize(const ObjectFile &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000423 const SectionRef &Section) {
424 unsigned StubSize = getMaxStubSize();
425 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000426 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000427 }
428 // FIXME: this is an inefficient way to handle this. We should computed the
429 // necessary section allocation size in loadObject by walking all the sections
430 // once.
431 unsigned StubBufSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000432 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000433 SI != SE; ++SI) {
434 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000435 if (!(RelSecI == Section))
436 continue;
437
Sanjoy Dasd5658b02015-11-23 21:47:51 +0000438 for (const RelocationRef &Reloc : SI->relocations())
439 if (relocationNeedsStub(Reloc))
440 StubBufSize += StubSize;
Lang Hames937ec542014-02-12 21:30:07 +0000441 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000442
Lang Hames937ec542014-02-12 21:30:07 +0000443 // Get section data size and alignment
Rafael Espindola80291272014-10-08 15:28:58 +0000444 uint64_t DataSize = Section.getSize();
445 uint64_t Alignment64 = Section.getAlignment();
Lang Hames937ec542014-02-12 21:30:07 +0000446
447 // Add stubbuf size alignment
448 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
449 unsigned StubAlignment = getStubAlignment();
450 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
451 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000452 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000453 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000454}
455
Lang Hamese1287c02014-08-29 23:17:47 +0000456uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
457 unsigned Size) const {
458 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000459 if (IsTargetLittleEndian) {
460 Src += Size - 1;
461 while (Size--)
462 Result = (Result << 8) | *Src--;
463 } else
464 while (Size--)
465 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000466
467 return Result;
468}
469
470void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
471 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000472 if (IsTargetLittleEndian) {
473 while (Size--) {
474 *Dst++ = Value & 0xFF;
475 Value >>= 8;
476 }
Lang Hamese1287c02014-08-29 23:17:47 +0000477 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000478 Dst += Size - 1;
479 while (Size--) {
480 *Dst-- = Value & 0xFF;
481 Value >>= 8;
482 }
Lang Hamese1287c02014-08-29 23:17:47 +0000483 }
484}
485
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000486void RuntimeDyldImpl::emitCommonSymbols(const ObjectFile &Obj,
Lang Hames29968952015-01-17 00:55:05 +0000487 CommonSymbolList &CommonSymbols) {
488 if (CommonSymbols.empty())
489 return;
490
491 uint64_t CommonSize = 0;
492 CommonSymbolList SymbolsToAllocate;
493
494 DEBUG(dbgs() << "Processing common symbols...\n");
495
496 for (const auto &Sym : CommonSymbols) {
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +0000497 ErrorOr<StringRef> NameOrErr = Sym.getName();
498 Check(NameOrErr.getError());
499 StringRef Name = *NameOrErr;
Lang Hames29968952015-01-17 00:55:05 +0000500
Lang Hames29968952015-01-17 00:55:05 +0000501 // Skip common symbols already elsewhere.
Lang Hames93de2a12015-01-23 21:25:00 +0000502 if (GlobalSymbolTable.count(Name) ||
Lang Hames633fe142015-03-30 03:37:06 +0000503 Resolver.findSymbolInLogicalDylib(Name)) {
Lang Hames29968952015-01-17 00:55:05 +0000504 DEBUG(dbgs() << "\tSkipping already emitted common symbol '" << Name
505 << "'\n");
506 continue;
507 }
508
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000509 uint32_t Align = Sym.getAlignment();
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000510 uint64_t Size = Sym.getCommonSize();
Lang Hames29968952015-01-17 00:55:05 +0000511
512 CommonSize += Align + Size;
513 SymbolsToAllocate.push_back(Sym);
514 }
515
Preston Gurd2138ef62012-04-12 20:13:57 +0000516 // Allocate memory for the section
517 unsigned SectionID = Sections.size();
Lang Hames633fe142015-03-30 03:37:06 +0000518 uint8_t *Addr = MemMgr.allocateDataSection(CommonSize, sizeof(void *),
519 SectionID, StringRef(), false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000520 if (!Addr)
521 report_fatal_error("Unable to allocate memory for common symbols!");
522 uint64_t Offset = 0;
Sanjoy Das80825922015-11-23 21:47:46 +0000523 Sections.push_back(
524 SectionEntry("<common symbols>", Addr, CommonSize, CommonSize, 0));
Lang Hames29968952015-01-17 00:55:05 +0000525 memset(Addr, 0, CommonSize);
Preston Gurd2138ef62012-04-12 20:13:57 +0000526
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000527 DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID << " new addr: "
Lang Hames29968952015-01-17 00:55:05 +0000528 << format("%p", Addr) << " DataSize: " << CommonSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000529
530 // Assign the address of each symbol
Lang Hames29968952015-01-17 00:55:05 +0000531 for (auto &Sym : SymbolsToAllocate) {
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000532 uint32_t Align = Sym.getAlignment();
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000533 uint64_t Size = Sym.getCommonSize();
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +0000534 ErrorOr<StringRef> NameOrErr = Sym.getName();
535 Check(NameOrErr.getError());
536 StringRef Name = *NameOrErr;
Tim Northover94bc73d2012-10-29 10:47:04 +0000537 if (Align) {
538 // This symbol has an alignment requirement.
539 uint64_t AlignOffset = OffsetToAlignment((uint64_t)Addr, Align);
540 Addr += AlignOffset;
541 Offset += AlignOffset;
Tim Northover94bc73d2012-10-29 10:47:04 +0000542 }
Lang Hames29968952015-01-17 00:55:05 +0000543 uint32_t Flags = Sym.getFlags();
Lang Hamesb1186032015-03-11 00:43:26 +0000544 JITSymbolFlags RTDyldSymFlags = JITSymbolFlags::None;
545 if (Flags & SymbolRef::SF_Weak)
546 RTDyldSymFlags |= JITSymbolFlags::Weak;
547 if (Flags & SymbolRef::SF_Exported)
548 RTDyldSymFlags |= JITSymbolFlags::Exported;
Lang Hames29968952015-01-17 00:55:05 +0000549 DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
550 << format("%p", Addr) << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000551 GlobalSymbolTable[Name] =
552 SymbolTableEntry(SectionID, Offset, RTDyldSymFlags);
Preston Gurd2138ef62012-04-12 20:13:57 +0000553 Offset += Size;
554 Addr += Size;
555 }
Petar Jovanovicd22164d2015-08-13 15:12:49 +0000556
557 if (Checker)
558 Checker->registerSection(Obj.getFileName(), SectionID);
Preston Gurd2138ef62012-04-12 20:13:57 +0000559}
560
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000561unsigned RuntimeDyldImpl::emitSection(const ObjectFile &Obj,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000562 const SectionRef &Section, bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000563
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000564 StringRef data;
Rafael Espindola80291272014-10-08 15:28:58 +0000565 uint64_t Alignment64 = Section.getAlignment();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000566
567 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000568 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000569 unsigned StubBufSize = 0;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000570 StringRef Name;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000571 bool IsRequired = isRequiredForExecution(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000572 bool IsVirtual = Section.isVirtual();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000573 bool IsZeroInit = isZeroInit(Section);
574 bool IsReadOnly = isReadOnlyData(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000575 uint64_t DataSize = Section.getSize();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000576 Check(Section.getName(Name));
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000577
578 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000579
Andrew Kaylor877b9312013-10-16 00:32:24 +0000580 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
581 // with zeroes added at the end. For MachO objects, this section has a
582 // slightly different name, so this won't have any effect for MachO objects.
583 if (Name == ".eh_frame")
584 PaddingSize = 4;
585
Lang Hamesd4100172014-02-11 05:28:24 +0000586 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000587 unsigned SectionID = Sections.size();
588 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000589 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000590
Lang Hames86a45932015-10-15 06:41:45 +0000591 // If this section contains any bits (i.e. isn't a virtual or bss section),
592 // grab a reference to them.
593 if (!IsVirtual && !IsZeroInit) {
594 // In either case, set the location of the unrelocated section in memory,
595 // since we still process relocations for it even if we're not applying them.
596 Check(Section.getContents(data));
Keno Fischere6892c82015-05-01 20:21:45 +0000597 pData = data.data();
Lang Hames86a45932015-10-15 06:41:45 +0000598 }
Keno Fischere6892c82015-05-01 20:21:45 +0000599
Lang Hames7e66c6c2015-08-14 06:26:42 +0000600 // Code section alignment needs to be at least as high as stub alignment or
601 // padding calculations may by incorrect when the section is remapped to a
602 // higher alignment.
603 if (IsCode)
604 Alignment = std::max(Alignment, getStubAlignment());
605
Preston Gurd2138ef62012-04-12 20:13:57 +0000606 // Some sections, such as debug info, don't need to be loaded for execution.
607 // Leave those where they are.
608 if (IsRequired) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000609 Allocate = DataSize + PaddingSize + StubBufSize;
Lang Hames2be1bbe2015-04-07 06:27:56 +0000610 if (!Allocate)
611 Allocate = 1;
Lang Hames633fe142015-03-30 03:37:06 +0000612 Addr = IsCode ? MemMgr.allocateCodeSection(Allocate, Alignment, SectionID,
613 Name)
614 : MemMgr.allocateDataSection(Allocate, Alignment, SectionID,
615 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000616 if (!Addr)
617 report_fatal_error("Unable to allocate section memory!");
618
Preston Gurd2138ef62012-04-12 20:13:57 +0000619 // Zero-initialize or copy the data from the image
620 if (IsZeroInit || IsVirtual)
621 memset(Addr, 0, DataSize);
622 else
623 memcpy(Addr, pData, DataSize);
624
Andrew Kaylor877b9312013-10-16 00:32:24 +0000625 // Fill in any extra bytes we allocated for padding
626 if (PaddingSize != 0) {
627 memset(Addr + DataSize, 0, PaddingSize);
628 // Update the DataSize variable so that the stub offset is set correctly.
629 DataSize += PaddingSize;
630 }
631
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000632 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
Preston Gurd2138ef62012-04-12 20:13:57 +0000633 << " obj addr: " << format("%p", pData)
634 << " new addr: " << format("%p", Addr)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000635 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
636 << " Allocate: " << Allocate << "\n");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000637 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000638 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000639 // to handle later processing (and by 'handle' I mean don't do anything
640 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000641 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000642 Addr = nullptr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000643 DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
644 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
645 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
646 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000647 }
648
Sanjoy Das80825922015-11-23 21:47:46 +0000649 Sections.push_back(
650 SectionEntry(Name, Addr, DataSize, Allocate, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000651
652 if (Checker)
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000653 Checker->registerSection(Obj.getFileName(), SectionID);
Lang Hames587ee6a2014-09-03 05:01:46 +0000654
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000655 return SectionID;
656}
657
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000658unsigned RuntimeDyldImpl::findOrEmitSection(const ObjectFile &Obj,
Preston Gurdcc31af92012-04-16 22:12:58 +0000659 const SectionRef &Section,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000660 bool IsCode,
661 ObjSectionToIDMap &LocalSections) {
662
663 unsigned SectionID = 0;
664 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
665 if (i != LocalSections.end())
666 SectionID = i->second;
667 else {
Preston Gurdcc31af92012-04-16 22:12:58 +0000668 SectionID = emitSection(Obj, Section, IsCode);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000669 LocalSections[Section] = SectionID;
670 }
671 return SectionID;
672}
673
Eli Bendersky667b8792012-05-01 10:41:12 +0000674void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
675 unsigned SectionID) {
676 Relocations[SectionID].push_back(RE);
677}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000678
Eli Bendersky667b8792012-05-01 10:41:12 +0000679void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
680 StringRef SymbolName) {
681 // Relocation by symbol. If the symbol is found in the global symbol table,
682 // create an appropriate section relocation. Otherwise, add it to
683 // ExternalSymbolRelocations.
Lang Hames6bfd3982015-01-16 23:13:56 +0000684 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000685 if (Loc == GlobalSymbolTable.end()) {
686 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000687 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000688 // Copy the RE since we want to modify its addend.
689 RelocationEntry RECopy = RE;
Lang Hames6bfd3982015-01-16 23:13:56 +0000690 const auto &SymInfo = Loc->second;
691 RECopy.Addend += SymInfo.getOffset();
692 Relocations[SymInfo.getSectionID()].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000693 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000694}
695
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000696uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
697 unsigned AbiVariant) {
Tim Northovere19bed72014-07-23 12:32:47 +0000698 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be) {
Tim Northover37cde972013-05-04 20:14:09 +0000699 // This stub has to be able to access the full address space,
700 // since symbol lookup won't necessarily find a handy, in-range,
701 // PLT stub for functions which could be anywhere.
Tim Northover37cde972013-05-04 20:14:09 +0000702 // Stub can use ip0 (== x16) to calculate address
Daniel Sanders66e799f2014-11-06 09:53:05 +0000703 writeBytesUnaligned(0xd2e00010, Addr, 4); // movz ip0, #:abs_g3:<addr>
704 writeBytesUnaligned(0xf2c00010, Addr+4, 4); // movk ip0, #:abs_g2_nc:<addr>
705 writeBytesUnaligned(0xf2a00010, Addr+8, 4); // movk ip0, #:abs_g1_nc:<addr>
706 writeBytesUnaligned(0xf2800010, Addr+12, 4); // movk ip0, #:abs_g0_nc:<addr>
707 writeBytesUnaligned(0xd61f0200, Addr+16, 4); // br ip0
Tim Northover37cde972013-05-04 20:14:09 +0000708
709 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000710 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000711 // TODO: There is only ARM far stub now. We should add the Thumb stub,
712 // and stubs for branches Thumb - ARM and ARM - Thumb.
Daniel Sanders66e799f2014-11-06 09:53:05 +0000713 writeBytesUnaligned(0xe51ff004, Addr, 4); // ldr pc,<label>
714 return Addr + 4;
Petar Jovanovic97202832015-05-28 13:48:41 +0000715 } else if (IsMipsO32ABI) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000716 // 0: 3c190000 lui t9,%hi(addr).
717 // 4: 27390000 addiu t9,t9,%lo(addr).
718 // 8: 03200008 jr t9.
719 // c: 00000000 nop.
720 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
721 const unsigned JrT9Instr = 0x03200008, NopInstr = 0x0;
722
Daniel Sanders66e799f2014-11-06 09:53:05 +0000723 writeBytesUnaligned(LuiT9Instr, Addr, 4);
724 writeBytesUnaligned(AdduiT9Instr, Addr+4, 4);
725 writeBytesUnaligned(JrT9Instr, Addr+8, 4);
726 writeBytesUnaligned(NopInstr, Addr+12, 4);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000727 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000728 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000729 // Depending on which version of the ELF ABI is in use, we need to
730 // generate one of two variants of the stub. They both start with
731 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000732 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
733 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
734 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
735 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
736 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000737 if (AbiVariant == 2) {
738 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
739 // The address is already in r12 as required by the ABI. Branch to it.
740 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
741 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
742 writeInt32BE(Addr+28, 0x4E800420); // bctr
743 } else {
744 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
745 // Load the function address on r11 and sets it to control register. Also
746 // loads the function TOC in r2 and environment pointer to r11.
747 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
748 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
749 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
750 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
751 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
752 writeInt32BE(Addr+40, 0x4E800420); // bctr
753 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000754 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +0000755 } else if (Arch == Triple::systemz) {
756 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
757 writeInt16BE(Addr+2, 0x0000);
758 writeInt16BE(Addr+4, 0x0004);
759 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
760 // 8-byte address stored at Addr + 8
761 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000762 } else if (Arch == Triple::x86_64) {
763 *Addr = 0xFF; // jmp
764 *(Addr+1) = 0x25; // rip
765 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +0000766 } else if (Arch == Triple::x86) {
767 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000768 }
769 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000770}
771
772// Assign an address to a symbol name and resolve all the relocations
773// associated with it.
774void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
775 uint64_t Addr) {
776 // The address to use for relocation resolution is not
777 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +0000778 // a remote execution environment of some sort. Relocations can't
779 // be applied until all the sections have been moved. The client must
780 // trigger this with a call to MCJIT::finalize() or
781 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000782 //
783 // Addr is a uint64_t because we can't assume the pointer width
784 // of the target is the same as that of the host. Just use a generic
785 // "big enough" type.
Sanjoy Das277776a2015-11-23 21:47:41 +0000786 DEBUG(dbgs() << "Reassigning address for section " << SectionID << " ("
787 << Sections[SectionID].getName() << "): "
788 << format("0x%016" PRIx64, Sections[SectionID].getLoadAddress())
789 << " -> " << format("0x%016" PRIx64, Addr) << "\n");
790 Sections[SectionID].setLoadAddress(Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000791}
792
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000793void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
794 uint64_t Value) {
795 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000796 const RelocationEntry &RE = Relocs[i];
797 // Ignore relocations for sections that were not loaded
Sanjoy Das277776a2015-11-23 21:47:41 +0000798 if (Sections[RE.SectionID].getAddress() == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000799 continue;
800 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000801 }
802}
803
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000804void RuntimeDyldImpl::resolveExternalSymbols() {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000805 while (!ExternalSymbolRelocations.empty()) {
Andrew Kaylorea395922013-10-01 01:47:35 +0000806 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
807
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000808 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +0000809 if (Name.size() == 0) {
810 // This is an absolute symbol, use an address of zero.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000811 DEBUG(dbgs() << "Resolving absolute relocations."
812 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000813 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +0000814 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000815 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +0000816 uint64_t Addr = 0;
Lang Hames6bfd3982015-01-16 23:13:56 +0000817 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000818 if (Loc == GlobalSymbolTable.end()) {
Lang Hames633fe142015-03-30 03:37:06 +0000819 // This is an external symbol, try to get its address from the symbol
820 // resolver.
821 Addr = Resolver.findSymbol(Name.data()).getAddress();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000822 // The call to getSymbolAddress may have caused additional modules to
823 // be loaded, which may have added new entries to the
824 // ExternalSymbolRelocations map. Consquently, we need to update our
825 // iterator. This is also why retrieval of the relocation list
826 // associated with this symbol is deferred until below this point.
827 // New entries may have been added to the relocation list.
828 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +0000829 } else {
830 // We found the symbol in our global table. It was probably in a
831 // Module that we loaded previously.
Lang Hames6bfd3982015-01-16 23:13:56 +0000832 const auto &SymInfo = Loc->second;
833 Addr = getSectionLoadAddress(SymInfo.getSectionID()) +
834 SymInfo.getOffset();
Andrew Kaylorea395922013-10-01 01:47:35 +0000835 }
836
837 // FIXME: Implement error handling that doesn't kill the host program!
838 if (!Addr)
839 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000840 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +0000841
Lang Hames78937c22015-07-04 01:35:26 +0000842 // If Resolver returned UINT64_MAX, the client wants to handle this symbol
843 // manually and we shouldn't resolve its relocations.
844 if (Addr != UINT64_MAX) {
845 DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
846 << format("0x%lx", Addr) << "\n");
847 // This list may have been updated when we called getSymbolAddress, so
848 // don't change this code to get the list earlier.
849 RelocationList &Relocs = i->second;
850 resolveRelocationList(Relocs, Addr);
851 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000852 }
Andrew Kaylorea395922013-10-01 01:47:35 +0000853
Andrew Kaylorcfb4a992013-11-11 19:55:10 +0000854 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000855 }
856}
857
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000858//===----------------------------------------------------------------------===//
859// RuntimeDyld class implementation
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000860
861uint64_t RuntimeDyld::LoadedObjectInfo::getSectionLoadAddress(
Lang Hames2e88f4f2015-07-28 17:52:11 +0000862 const object::SectionRef &Sec) const {
863
Lang Hames2e88f4f2015-07-28 17:52:11 +0000864 auto I = ObjSecToIDMap.find(Sec);
Sanjoy Das277776a2015-11-23 21:47:41 +0000865 if (I != ObjSecToIDMap.end())
866 return RTDyld.Sections[I->second].getLoadAddress();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000867
868 return 0;
869}
870
Lang Hames633fe142015-03-30 03:37:06 +0000871void RuntimeDyld::MemoryManager::anchor() {}
872void RuntimeDyld::SymbolResolver::anchor() {}
873
874RuntimeDyld::RuntimeDyld(RuntimeDyld::MemoryManager &MemMgr,
875 RuntimeDyld::SymbolResolver &Resolver)
876 : MemMgr(MemMgr), Resolver(Resolver) {
Andrew Kaylora342cb92012-11-15 23:50:01 +0000877 // FIXME: There's a potential issue lurking here if a single instance of
878 // RuntimeDyld is used to load multiple objects. The current implementation
879 // associates a single memory manager with a RuntimeDyld instance. Even
880 // though the public class spawns a new 'impl' instance for each load,
881 // they share a single memory manager. This can become a problem when page
882 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +0000883 Dyld = nullptr;
Lang Hames868d4b32014-03-20 21:06:46 +0000884 ProcessAllSections = false;
Lang Hamesf7acddd2014-07-22 22:47:39 +0000885 Checker = nullptr;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000886}
887
David Blaikie847d2a02014-09-04 18:37:29 +0000888RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000889
David Majnemer1a666e02015-03-07 20:21:27 +0000890static std::unique_ptr<RuntimeDyldCOFF>
Lang Hames633fe142015-03-30 03:37:06 +0000891createRuntimeDyldCOFF(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
892 RuntimeDyld::SymbolResolver &Resolver,
David Majnemer1a666e02015-03-07 20:21:27 +0000893 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
Lang Hames633fe142015-03-30 03:37:06 +0000894 std::unique_ptr<RuntimeDyldCOFF> Dyld =
895 RuntimeDyldCOFF::create(Arch, MM, Resolver);
David Majnemer1a666e02015-03-07 20:21:27 +0000896 Dyld->setProcessAllSections(ProcessAllSections);
897 Dyld->setRuntimeDyldChecker(Checker);
898 return Dyld;
899}
900
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000901static std::unique_ptr<RuntimeDyldELF>
Lang Hames633fe142015-03-30 03:37:06 +0000902createRuntimeDyldELF(RuntimeDyld::MemoryManager &MM,
903 RuntimeDyld::SymbolResolver &Resolver,
904 bool ProcessAllSections, RuntimeDyldCheckerImpl *Checker) {
905 std::unique_ptr<RuntimeDyldELF> Dyld(new RuntimeDyldELF(MM, Resolver));
Lang Hames868d4b32014-03-20 21:06:46 +0000906 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000907 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000908 return Dyld;
909}
910
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000911static std::unique_ptr<RuntimeDyldMachO>
Lang Hames633fe142015-03-30 03:37:06 +0000912createRuntimeDyldMachO(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
913 RuntimeDyld::SymbolResolver &Resolver,
914 bool ProcessAllSections,
915 RuntimeDyldCheckerImpl *Checker) {
916 std::unique_ptr<RuntimeDyldMachO> Dyld =
917 RuntimeDyldMachO::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +0000918 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hamesf7acddd2014-07-22 22:47:39 +0000919 Dyld->setRuntimeDyldChecker(Checker);
Lang Hames868d4b32014-03-20 21:06:46 +0000920 return Dyld;
921}
922
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000923std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
924RuntimeDyld::loadObject(const ObjectFile &Obj) {
925 if (!Dyld) {
926 if (Obj.isELF())
Lang Hames633fe142015-03-30 03:37:06 +0000927 Dyld = createRuntimeDyldELF(MemMgr, Resolver, ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000928 else if (Obj.isMachO())
Aaron Ballman9fb41142014-11-26 15:27:39 +0000929 Dyld = createRuntimeDyldMachO(
Lang Hames633fe142015-03-30 03:37:06 +0000930 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000931 ProcessAllSections, Checker);
David Majnemer1a666e02015-03-07 20:21:27 +0000932 else if (Obj.isCOFF())
933 Dyld = createRuntimeDyldCOFF(
Lang Hames633fe142015-03-30 03:37:06 +0000934 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
David Majnemer1a666e02015-03-07 20:21:27 +0000935 ProcessAllSections, Checker);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000936 else
937 report_fatal_error("Incompatible object format!");
Aaron Ballman9fb41142014-11-26 15:27:39 +0000938 }
939
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000940 if (!Dyld->isCompatibleFile(Obj))
Aaron Ballman9fb41142014-11-26 15:27:39 +0000941 report_fatal_error("Incompatible object format!");
942
Lang Hamesb0934292016-01-10 23:59:41 +0000943 auto LoadedObjInfo = Dyld->loadObject(Obj);
944 MemMgr.notifyObjectLoaded(*this, Obj);
945 return LoadedObjInfo;
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000946}
947
Lang Hamesb1186032015-03-11 00:43:26 +0000948void *RuntimeDyld::getSymbolLocalAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000949 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +0000950 return nullptr;
Lang Hamesb1186032015-03-11 00:43:26 +0000951 return Dyld->getSymbolLocalAddress(Name);
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000952}
953
Lang Hamesb1186032015-03-11 00:43:26 +0000954RuntimeDyld::SymbolInfo RuntimeDyld::getSymbol(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +0000955 if (!Dyld)
Lang Hamesb1186032015-03-11 00:43:26 +0000956 return nullptr;
957 return Dyld->getSymbol(Name);
Lang Hames6bfd3982015-01-16 23:13:56 +0000958}
959
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000960void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +0000961
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000962void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +0000963 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +0000964}
965
Jim Grosbach6d613972012-09-13 21:50:06 +0000966void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000967 uint64_t TargetAddress) {
968 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
969}
970
Juergen Ributzka6ff29a72014-03-26 18:19:27 +0000971bool RuntimeDyld::hasError() { return Dyld->hasError(); }
972
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000973StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +0000974
Lang Hames859d73c2016-01-09 19:50:40 +0000975void RuntimeDyld::finalizeWithMemoryManagerLocking() {
976 bool MemoryFinalizationLocked = MemMgr.FinalizationLocked;
977 MemMgr.FinalizationLocked = true;
978 resolveRelocations();
979 registerEHFrames();
980 if (!MemoryFinalizationLocked) {
981 MemMgr.finalizeMemory();
982 MemMgr.FinalizationLocked = false;
983 }
984}
985
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000986void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000987 if (Dyld)
988 Dyld->registerEHFrames();
989}
990
991void RuntimeDyld::deregisterEHFrames() {
992 if (Dyld)
993 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000994}
995
Jim Grosbachf016b0a2011-03-21 22:15:52 +0000996} // end namespace llvm