blob: e000b7b227e4f490b0e95b8045ddcf0c77cce1ef [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Jim Grosbachf016b0a2011-03-21 22:15:52 +00006//
7//===----------------------------------------------------------------------===//
8//
9// Implementation of the MC-JIT runtime dynamic linker.
10//
11//===----------------------------------------------------------------------===//
12
Chandler Carruthed0881b2012-12-03 16:50:05 +000013#include "llvm/ExecutionEngine/RuntimeDyld.h"
David Majnemer1a666e02015-03-07 20:21:27 +000014#include "RuntimeDyldCOFF.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000015#include "RuntimeDyldELF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "RuntimeDyldImpl.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000017#include "RuntimeDyldMachO.h"
David Majnemer1a666e02015-03-07 20:21:27 +000018#include "llvm/Object/COFF.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000019#include "llvm/Object/ELFObjectFile.h"
Guillaume Chateletaf11cc72019-09-12 15:20:36 +000020#include "llvm/Support/Alignment.h"
Lang Hamesffa72ef2018-09-25 20:16:06 +000021#include "llvm/Support/MSVCErrorWorkarounds.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"
Benjamin Kramer3d5360a2019-08-07 10:57:25 +000024#include <mutex>
Eli Bendersky058d6472012-01-22 07:05:02 +000025
Lang Hamesadde5ba2018-09-25 19:48:46 +000026#include <future>
27
Jim Grosbachf016b0a2011-03-21 22:15:52 +000028using namespace llvm;
29using namespace llvm::object;
30
Chandler Carruthf58e3762014-04-22 03:04:17 +000031#define DEBUG_TYPE "dyld"
32
Lang Hames89595312016-04-27 20:24:48 +000033namespace {
34
35enum RuntimeDyldErrorCode {
36 GenericRTDyldError = 1
37};
38
Peter Collingbourne4718f8b2016-05-24 20:13:46 +000039// FIXME: This class is only here to support the transition to llvm::Error. It
40// will be removed once this transition is complete. Clients should prefer to
41// deal with the Error value directly, rather than converting to error_code.
Lang Hames89595312016-04-27 20:24:48 +000042class RuntimeDyldErrorCategory : public std::error_category {
43public:
Reid Kleckner990504e2016-10-19 23:52:38 +000044 const char *name() const noexcept override { return "runtimedyld"; }
Lang Hames89595312016-04-27 20:24:48 +000045
46 std::string message(int Condition) const override {
47 switch (static_cast<RuntimeDyldErrorCode>(Condition)) {
48 case GenericRTDyldError: return "Generic RuntimeDyld error";
49 }
50 llvm_unreachable("Unrecognized RuntimeDyldErrorCode");
51 }
52};
53
54static ManagedStatic<RuntimeDyldErrorCategory> RTDyldErrorCategory;
55
56}
57
58char RuntimeDyldError::ID = 0;
59
60void RuntimeDyldError::log(raw_ostream &OS) const {
61 OS << ErrMsg << "\n";
62}
63
64std::error_code RuntimeDyldError::convertToErrorCode() const {
65 return std::error_code(GenericRTDyldError, *RTDyldErrorCategory);
66}
67
Chandler Carruth086f7082011-04-05 23:54:31 +000068// Empty out-of-line virtual destructor as the key function.
Danil Malyshev72510f22011-07-13 07:57:58 +000069RuntimeDyldImpl::~RuntimeDyldImpl() {}
Chandler Carruth086f7082011-04-05 23:54:31 +000070
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000071// Pin LoadedObjectInfo's vtables to this file.
72void RuntimeDyld::LoadedObjectInfo::anchor() {}
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +000073
Jim Grosbachf016b0a2011-03-21 22:15:52 +000074namespace llvm {
Jim Grosbachf016b0a2011-03-21 22:15:52 +000075
Juergen Ributzka7608dc02014-03-21 20:28:42 +000076void RuntimeDyldImpl::registerEHFrames() {}
Rafael Espindolafa5942b2013-05-05 20:43:10 +000077
Lang Hamesc936ac72017-05-09 21:32:18 +000078void RuntimeDyldImpl::deregisterEHFrames() {
79 MemMgr.deregisterEHFrames();
80}
Andrew Kaylorc442a762013-10-16 00:14:21 +000081
Benjamin Kramer01e17892014-08-26 14:22:05 +000082#ifndef NDEBUG
Lang Hamesf4b3b672014-08-25 22:19:14 +000083static void dumpSectionMemory(const SectionEntry &S, StringRef State) {
Sanjoy Das277776a2015-11-23 21:47:41 +000084 dbgs() << "----- Contents of section " << S.getName() << " " << State
85 << " -----";
Lang Hamesf4b3b672014-08-25 22:19:14 +000086
Sanjoy Das277776a2015-11-23 21:47:41 +000087 if (S.getAddress() == nullptr) {
Lang Hames24f0c242014-10-01 21:57:47 +000088 dbgs() << "\n <section not emitted>\n";
89 return;
90 }
91
Lang Hamesf4b3b672014-08-25 22:19:14 +000092 const unsigned ColsPerRow = 16;
Lang Hames86b08f02014-08-25 18:37:38 +000093
Sanjoy Das277776a2015-11-23 21:47:41 +000094 uint8_t *DataAddr = S.getAddress();
95 uint64_t LoadAddr = S.getLoadAddress();
Lang Hames86b08f02014-08-25 18:37:38 +000096
Lang Hames8d4d0262014-09-18 16:43:24 +000097 unsigned StartPadding = LoadAddr & (ColsPerRow - 1);
Sanjoy Das277776a2015-11-23 21:47:41 +000098 unsigned BytesRemaining = S.getSize();
Lang Hames86b08f02014-08-25 18:37:38 +000099
100 if (StartPadding) {
Alexei Starovoitov36df1ca2015-03-30 05:15:57 +0000101 dbgs() << "\n" << format("0x%016" PRIx64,
102 LoadAddr & ~(uint64_t)(ColsPerRow - 1)) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +0000103 while (StartPadding--)
104 dbgs() << " ";
105 }
106
107 while (BytesRemaining > 0) {
Lang Hamesf4b3b672014-08-25 22:19:14 +0000108 if ((LoadAddr & (ColsPerRow - 1)) == 0)
Lang Hamesc5cafbb2014-08-28 04:25:17 +0000109 dbgs() << "\n" << format("0x%016" PRIx64, LoadAddr) << ":";
Lang Hames86b08f02014-08-25 18:37:38 +0000110
111 dbgs() << " " << format("%02x", *DataAddr);
112
113 ++DataAddr;
114 ++LoadAddr;
115 --BytesRemaining;
116 }
117
118 dbgs() << "\n";
119}
Benjamin Kramer01e17892014-08-26 14:22:05 +0000120#endif
Lang Hames86b08f02014-08-25 18:37:38 +0000121
Jim Grosbach733d3052011-04-12 21:20:41 +0000122// Resolve the relocations for all symbols we currently know about.
123void RuntimeDyldImpl::resolveRelocations() {
Benjamin Kramer3d5360a2019-08-07 10:57:25 +0000124 std::lock_guard<sys::Mutex> locked(lock);
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000125
Lang Hames79fce472015-09-10 20:44:36 +0000126 // Print out the sections prior to relocation.
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000127 LLVM_DEBUG(for (int i = 0, e = Sections.size(); i != e; ++i)
128 dumpSectionMemory(Sections[i], "before relocations"););
Lang Hames79fce472015-09-10 20:44:36 +0000129
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
Lang Hamesabeedf12018-09-25 22:57:44 +0000136 resolveLocalRelocations();
137
138 // Print out sections after relocation.
139 LLVM_DEBUG(for (int i = 0, e = Sections.size(); i != e; ++i)
140 dumpSectionMemory(Sections[i], "after relocations"););
141}
142
143void RuntimeDyldImpl::resolveLocalRelocations() {
Keno Fischer2cd66e92015-10-10 05:37:02 +0000144 // Iterate over all outstanding relocations
145 for (auto it = Relocations.begin(), e = Relocations.end(); it != e; ++it) {
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000146 // The Section here (Sections[i]) refers to the section in which the
147 // symbol for the relocation is located. The SectionID in the relocation
148 // entry provides the section to which the relocation will be applied.
Keno Fischereb59d462015-12-03 21:27:59 +0000149 int Idx = it->first;
Sanjoy Das277776a2015-11-23 21:47:41 +0000150 uint64_t Addr = Sections[Idx].getLoadAddress();
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000151 LLVM_DEBUG(dbgs() << "Resolving relocations Section #" << Idx << "\t"
152 << format("%p", (uintptr_t)Addr) << "\n");
Keno Fischereb59d462015-12-03 21:27:59 +0000153 resolveRelocationList(it->second, Addr);
Jim Grosbacheff0a402012-01-16 22:26:39 +0000154 }
Keno Fischer2cd66e92015-10-10 05:37:02 +0000155 Relocations.clear();
Jim Grosbach733d3052011-04-12 21:20:41 +0000156}
157
Jim Grosbach6d613972012-09-13 21:50:06 +0000158void RuntimeDyldImpl::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000159 uint64_t TargetAddress) {
Benjamin Kramer3d5360a2019-08-07 10:57:25 +0000160 std::lock_guard<sys::Mutex> locked(lock);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000161 for (unsigned i = 0, e = Sections.size(); i != e; ++i) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000162 if (Sections[i].getAddress() == LocalAddress) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000163 reassignSectionAddress(i, TargetAddress);
164 return;
165 }
166 }
167 llvm_unreachable("Attempting to remap address of unknown section!");
Jim Grosbach0ddb3a42012-01-16 23:50:55 +0000168}
169
Lang Hames89595312016-04-27 20:24:48 +0000170static Error getOffset(const SymbolRef &Sym, SectionRef Sec,
171 uint64_t &Result) {
Kevin Enderby931cb652016-06-24 18:24:42 +0000172 Expected<uint64_t> AddressOrErr = Sym.getAddress();
173 if (!AddressOrErr)
174 return AddressOrErr.takeError();
Rafael Espindolaef888a42015-07-07 16:45:55 +0000175 Result = *AddressOrErr - Sec.getAddress();
Lang Hames89595312016-04-27 20:24:48 +0000176 return Error::success();
Rafael Espindola6956b1a2014-04-21 13:45:32 +0000177}
178
Lang Hames89595312016-04-27 20:24:48 +0000179Expected<RuntimeDyldImpl::ObjSectionToIDMap>
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000180RuntimeDyldImpl::loadObjectImpl(const object::ObjectFile &Obj) {
Benjamin Kramer3d5360a2019-08-07 10:57:25 +0000181 std::lock_guard<sys::Mutex> locked(lock);
Andrew Kaylor4fba0492013-10-21 17:42:06 +0000182
Andrew Kaylor33c5b1b2013-10-15 20:44:55 +0000183 // Save information about our target
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000184 Arch = (Triple::ArchType)Obj.getArch();
185 IsTargetLittleEndian = Obj.isLittleEndian();
Petar Jovanovic97202832015-05-28 13:48:41 +0000186 setMipsABI(Obj);
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000187
Lang Hames937ec542014-02-12 21:30:07 +0000188 // Compute the memory size required to load all sections to be loaded
189 // and pass this information to the memory manager
Lang Hames633fe142015-03-30 03:37:06 +0000190 if (MemMgr.needsToReserveAllocationSpace()) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000191 uint64_t CodeSize = 0, RODataSize = 0, RWDataSize = 0;
192 uint32_t CodeAlign = 1, RODataAlign = 1, RWDataAlign = 1;
Lang Hames89595312016-04-27 20:24:48 +0000193 if (auto Err = computeTotalAllocSize(Obj,
194 CodeSize, CodeAlign,
195 RODataSize, RODataAlign,
196 RWDataSize, RWDataAlign))
197 return std::move(Err);
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000198 MemMgr.reserveAllocationSpace(CodeSize, CodeAlign, RODataSize, RODataAlign,
199 RWDataSize, RWDataAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000200 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000201
Eli Benderskyfc079082012-05-01 06:58:59 +0000202 // Used sections from the object file
203 ObjSectionToIDMap LocalSections;
204
Tim Northover94bc73d2012-10-29 10:47:04 +0000205 // Common symbols requiring allocation, with their sizes and alignments
Lang Hamesb72f4842018-01-19 22:24:13 +0000206 CommonSymbolList CommonSymbolsToAllocate;
207
208 uint64_t CommonSize = 0;
209 uint32_t CommonAlign = 0;
210
211 // First, collect all weak and common symbols. We need to know if stronger
212 // definitions occur elsewhere.
Lang Hames6cadc7c2018-08-28 21:18:05 +0000213 JITSymbolResolver::LookupSet ResponsibilitySet;
Lang Hamesb72f4842018-01-19 22:24:13 +0000214 {
Lang Hames635fd902018-01-22 03:00:31 +0000215 JITSymbolResolver::LookupSet Symbols;
Lang Hamesb72f4842018-01-19 22:24:13 +0000216 for (auto &Sym : Obj.symbols()) {
217 uint32_t Flags = Sym.getFlags();
218 if ((Flags & SymbolRef::SF_Common) || (Flags & SymbolRef::SF_Weak)) {
219 // Get symbol name.
Lang Hamesb72f4842018-01-19 22:24:13 +0000220 if (auto NameOrErr = Sym.getName())
221 Symbols.insert(*NameOrErr);
222 else
223 return NameOrErr.takeError();
224 }
225 }
226
Lang Hames6cadc7c2018-08-28 21:18:05 +0000227 if (auto ResultOrErr = Resolver.getResponsibilitySet(Symbols))
228 ResponsibilitySet = std::move(*ResultOrErr);
Lang Hamesb72f4842018-01-19 22:24:13 +0000229 else
Lang Hames6cadc7c2018-08-28 21:18:05 +0000230 return ResultOrErr.takeError();
Lang Hamesb72f4842018-01-19 22:24:13 +0000231 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000232
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000233 // Parse symbols
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000234 LLVM_DEBUG(dbgs() << "Parse symbols:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000235 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000236 ++I) {
Jim Grosbach36f025e2014-04-21 19:23:59 +0000237 uint32_t Flags = I->getFlags();
Preston Gurd2138ef62012-04-12 20:13:57 +0000238
Lang Hames90370702016-11-30 01:12:07 +0000239 // Skip undefined symbols.
240 if (Flags & SymbolRef::SF_Undefined)
241 continue;
242
Lang Hamesb72f4842018-01-19 22:24:13 +0000243 // Get the symbol type.
244 object::SymbolRef::Type SymType;
245 if (auto SymTypeOrErr = I->getType())
246 SymType = *SymTypeOrErr;
247 else
248 return SymTypeOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000249
Lang Hamesb72f4842018-01-19 22:24:13 +0000250 // Get symbol name.
251 StringRef Name;
252 if (auto NameOrErr = I->getName())
253 Name = *NameOrErr;
254 else
255 return NameOrErr.takeError();
256
257 // Compute JIT symbol flags.
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000258 auto JITSymFlags = getJITSymbolFlags(*I);
259 if (!JITSymFlags)
260 return JITSymFlags.takeError();
Lang Hamesb72f4842018-01-19 22:24:13 +0000261
262 // If this is a weak definition, check to see if there's a strong one.
263 // If there is, skip this symbol (we won't be providing it: the strong
264 // definition will). If there's no strong definition, make this definition
265 // strong.
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000266 if (JITSymFlags->isWeak() || JITSymFlags->isCommon()) {
Lang Hamesb72f4842018-01-19 22:24:13 +0000267 // First check whether there's already a definition in this instance.
Lang Hamesb72f4842018-01-19 22:24:13 +0000268 if (GlobalSymbolTable.count(Name))
269 continue;
270
Lang Hames6cadc7c2018-08-28 21:18:05 +0000271 // If we're not responsible for this symbol, skip it.
272 if (!ResponsibilitySet.count(Name))
Lang Hamesb72f4842018-01-19 22:24:13 +0000273 continue;
Lang Hames6cadc7c2018-08-28 21:18:05 +0000274
275 // Otherwise update the flags on the symbol to make this definition
276 // strong.
277 if (JITSymFlags->isWeak())
278 *JITSymFlags &= ~JITSymbolFlags::Weak;
279 if (JITSymFlags->isCommon()) {
280 *JITSymFlags &= ~JITSymbolFlags::Common;
281 uint32_t Align = I->getAlignment();
282 uint64_t Size = I->getCommonSize();
283 if (!CommonAlign)
284 CommonAlign = Align;
285 CommonSize = alignTo(CommonSize, Align) + Size;
286 CommonSymbolsToAllocate.push_back(*I);
287 }
Lang Hamesb72f4842018-01-19 22:24:13 +0000288 }
289
290 if (Flags & SymbolRef::SF_Absolute &&
291 SymType != object::SymbolRef::ST_File) {
292 uint64_t Addr = 0;
293 if (auto AddrOrErr = I->getAddress())
294 Addr = *AddrOrErr;
Lang Hames89595312016-04-27 20:24:48 +0000295 else
Lang Hamesb72f4842018-01-19 22:24:13 +0000296 return AddrOrErr.takeError();
Lang Hames29968952015-01-17 00:55:05 +0000297
Lang Hamesb72f4842018-01-19 22:24:13 +0000298 unsigned SectionID = AbsoluteSymbolSection;
299
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000300 LLVM_DEBUG(dbgs() << "\tType: " << SymType << " (absolute) Name: " << Name
301 << " SID: " << SectionID
302 << " Offset: " << format("%p", (uintptr_t)Addr)
303 << " flags: " << Flags << "\n");
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000304 GlobalSymbolTable[Name] = SymbolTableEntry(SectionID, Addr, *JITSymFlags);
Lang Hamesb72f4842018-01-19 22:24:13 +0000305 } else if (SymType == object::SymbolRef::ST_Function ||
306 SymType == object::SymbolRef::ST_Data ||
307 SymType == object::SymbolRef::ST_Unknown ||
308 SymType == object::SymbolRef::ST_Other) {
309
310 section_iterator SI = Obj.section_end();
311 if (auto SIOrErr = I->getSection())
312 SI = *SIOrErr;
Lang Hames89595312016-04-27 20:24:48 +0000313 else
Lang Hamesb72f4842018-01-19 22:24:13 +0000314 return SIOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000315
Lang Hamesb72f4842018-01-19 22:24:13 +0000316 if (SI == Obj.section_end())
317 continue;
Lang Hames29968952015-01-17 00:55:05 +0000318
Lang Hamesb72f4842018-01-19 22:24:13 +0000319 // Get symbol offset.
320 uint64_t SectOffset;
321 if (auto Err = getOffset(*I, *SI, SectOffset))
322 return std::move(Err);
Lang Hamesbb9431a2016-08-09 19:27:17 +0000323
Lang Hamesb72f4842018-01-19 22:24:13 +0000324 bool IsCode = SI->isText();
325 unsigned SectionID;
326 if (auto SectionIDOrErr =
327 findOrEmitSection(Obj, *SI, IsCode, LocalSections))
328 SectionID = *SectionIDOrErr;
329 else
330 return SectionIDOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000331
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000332 LLVM_DEBUG(dbgs() << "\tType: " << SymType << " Name: " << Name
333 << " SID: " << SectionID
334 << " Offset: " << format("%p", (uintptr_t)SectOffset)
335 << " flags: " << Flags << "\n");
Lang Hamesb72f4842018-01-19 22:24:13 +0000336 GlobalSymbolTable[Name] =
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000337 SymbolTableEntry(SectionID, SectOffset, *JITSymFlags);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000338 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000339 }
340
Preston Gurd2138ef62012-04-12 20:13:57 +0000341 // Allocate common symbols
Lang Hamesb72f4842018-01-19 22:24:13 +0000342 if (auto Err = emitCommonSymbols(Obj, CommonSymbolsToAllocate, CommonSize,
343 CommonAlign))
Lang Hames89595312016-04-27 20:24:48 +0000344 return std::move(Err);
Preston Gurd2138ef62012-04-12 20:13:57 +0000345
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000346 // Parse and process relocations
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000347 LLVM_DEBUG(dbgs() << "Parse relocations:\n");
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000348 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000349 SI != SE; ++SI) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000350 StubMap Stubs;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000351 section_iterator RelocatedSection = SI->getRelocatedSection();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000352
Rafael Espindola127b6c32015-02-17 20:07:28 +0000353 if (RelocatedSection == SE)
354 continue;
355
Jim Grosbach36f025e2014-04-21 19:23:59 +0000356 relocation_iterator I = SI->relocation_begin();
357 relocation_iterator E = SI->relocation_end();
Rafael Espindola77314aa2014-04-03 22:42:22 +0000358
359 if (I == E && !ProcessAllSections)
Juergen Ributzka046709f2014-03-21 07:26:41 +0000360 continue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000361
Rafael Espindola80291272014-10-08 15:28:58 +0000362 bool IsCode = RelocatedSection->isText();
Lang Hames89595312016-04-27 20:24:48 +0000363 unsigned SectionID = 0;
364 if (auto SectionIDOrErr = findOrEmitSection(Obj, *RelocatedSection, IsCode,
365 LocalSections))
366 SectionID = *SectionIDOrErr;
367 else
368 return SectionIDOrErr.takeError();
369
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000370 LLVM_DEBUG(dbgs() << "\tSectionID: " << SectionID << "\n");
Juergen Ributzka046709f2014-03-21 07:26:41 +0000371
Rafael Espindola77314aa2014-04-03 22:42:22 +0000372 for (; I != E;)
Lang Hames89595312016-04-27 20:24:48 +0000373 if (auto IOrErr = processRelocationRef(SectionID, I, Obj, LocalSections, Stubs))
374 I = *IOrErr;
375 else
376 return IOrErr.takeError();
Lang Hamesf7acddd2014-07-22 22:47:39 +0000377
Lang Hames941f2472019-04-08 21:50:48 +0000378 // If there is a NotifyStubEmitted callback set, call it to register any
379 // stubs created for this section.
380 if (NotifyStubEmitted) {
381 StringRef FileName = Obj.getFileName();
382 StringRef SectionName = Sections[SectionID].getName();
383 for (auto &KV : Stubs) {
384
385 auto &VR = KV.first;
386 uint64_t StubAddr = KV.second;
387
388 // If this is a named stub, just call NotifyStubEmitted.
389 if (VR.SymbolName) {
Lang Hamesc7c1f212019-04-12 18:07:28 +0000390 NotifyStubEmitted(FileName, SectionName, VR.SymbolName, SectionID,
391 StubAddr);
Lang Hames941f2472019-04-08 21:50:48 +0000392 continue;
393 }
394
395 // Otherwise we will have to try a reverse lookup on the globla symbol table.
396 for (auto &GSTMapEntry : GlobalSymbolTable) {
397 StringRef SymbolName = GSTMapEntry.first();
398 auto &GSTEntry = GSTMapEntry.second;
399 if (GSTEntry.getSectionID() == VR.SectionID &&
400 GSTEntry.getOffset() == VR.Offset) {
Lang Hamesc7c1f212019-04-12 18:07:28 +0000401 NotifyStubEmitted(FileName, SectionName, SymbolName, SectionID,
402 StubAddr);
Lang Hames941f2472019-04-08 21:50:48 +0000403 break;
404 }
405 }
406 }
407 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000408 }
Preston Gurdcc31af92012-04-16 22:12:58 +0000409
Yonghong Song61bc1d72019-01-28 21:35:23 +0000410 // Process remaining sections
411 if (ProcessAllSections) {
412 LLVM_DEBUG(dbgs() << "Process remaining sections:\n");
413 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
414 SI != SE; ++SI) {
415
416 /* Ignore already loaded sections */
417 if (LocalSections.find(*SI) != LocalSections.end())
418 continue;
419
420 bool IsCode = SI->isText();
421 if (auto SectionIDOrErr =
422 findOrEmitSection(Obj, *SI, IsCode, LocalSections))
423 LLVM_DEBUG(dbgs() << "\tSectionID: " << (*SectionIDOrErr) << "\n");
424 else
425 return SectionIDOrErr.takeError();
426 }
427 }
428
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000429 // Give the subclasses a chance to tie-up any loose ends.
Lang Hames89595312016-04-27 20:24:48 +0000430 if (auto Err = finalizeLoad(Obj, LocalSections))
431 return std::move(Err);
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000432
Lang Hames2e88f4f2015-07-28 17:52:11 +0000433// for (auto E : LocalSections)
434// llvm::dbgs() << "Added: " << E.first.getRawDataRefImpl() << " -> " << E.second << "\n";
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000435
Lang Hames2e88f4f2015-07-28 17:52:11 +0000436 return LocalSections;
Lang Hames937ec542014-02-12 21:30:07 +0000437}
438
439// A helper method for computeTotalAllocSize.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000440// Computes the memory size required to allocate sections with the given sizes,
Lang Hames937ec542014-02-12 21:30:07 +0000441// assuming that all sections are allocated with the given alignment
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000442static uint64_t
443computeAllocationSizeForSections(std::vector<uint64_t> &SectionSizes,
444 uint64_t Alignment) {
Lang Hames937ec542014-02-12 21:30:07 +0000445 uint64_t TotalSize = 0;
Jim Grosbach36f025e2014-04-21 19:23:59 +0000446 for (size_t Idx = 0, Cnt = SectionSizes.size(); Idx < Cnt; Idx++) {
447 uint64_t AlignedSize =
448 (SectionSizes[Idx] + Alignment - 1) / Alignment * Alignment;
Lang Hames937ec542014-02-12 21:30:07 +0000449 TotalSize += AlignedSize;
450 }
451 return TotalSize;
452}
453
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000454static bool isRequiredForExecution(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000455 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000456 if (isa<object::ELFObjectFileBase>(Obj))
457 return ELFSectionRef(Section).getFlags() & ELF::SHF_ALLOC;
David Majnemer1a666e02015-03-07 20:21:27 +0000458 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj)) {
459 const coff_section *CoffSection = COFFObj->getCOFFSection(Section);
460 // Avoid loading zero-sized COFF sections.
461 // In PE files, VirtualSize gives the section size, and SizeOfRawData
NAKAMURA Takumif2529512016-07-04 01:26:27 +0000462 // may be zero for sections with content. In Obj files, SizeOfRawData
David Majnemer1a666e02015-03-07 20:21:27 +0000463 // gives the section size, and VirtualSize is always zero. Hence
464 // the need to check for both cases below.
NAKAMURA Takumif4c64412016-07-04 01:26:14 +0000465 bool HasContent =
466 (CoffSection->VirtualSize > 0) || (CoffSection->SizeOfRawData > 0);
467 bool IsDiscardable =
468 CoffSection->Characteristics &
469 (COFF::IMAGE_SCN_MEM_DISCARDABLE | COFF::IMAGE_SCN_LNK_INFO);
David Majnemer1a666e02015-03-07 20:21:27 +0000470 return HasContent && !IsDiscardable;
471 }
NAKAMURA Takumi4cb46e62016-07-04 01:26:33 +0000472
Rafael Espindola0e77a942014-12-10 20:46:55 +0000473 assert(isa<MachOObjectFile>(Obj));
474 return true;
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000475}
Rafael Espindola0e77a942014-12-10 20:46:55 +0000476
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000477static bool isReadOnlyData(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000478 const ObjectFile *Obj = Section.getObject();
Rafael Espindolaedd5f842015-06-26 12:44:10 +0000479 if (isa<object::ELFObjectFileBase>(Obj))
480 return !(ELFSectionRef(Section).getFlags() &
Rafael Espindola0e77a942014-12-10 20:46:55 +0000481 (ELF::SHF_WRITE | ELF::SHF_EXECINSTR));
David Majnemer1a666e02015-03-07 20:21:27 +0000482 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
483 return ((COFFObj->getCOFFSection(Section)->Characteristics &
484 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
485 | COFF::IMAGE_SCN_MEM_READ
486 | COFF::IMAGE_SCN_MEM_WRITE))
487 ==
488 (COFF::IMAGE_SCN_CNT_INITIALIZED_DATA
489 | COFF::IMAGE_SCN_MEM_READ));
490
Rafael Espindola0e77a942014-12-10 20:46:55 +0000491 assert(isa<MachOObjectFile>(Obj));
492 return false;
493}
494
Rafael Espindola41401e92015-06-26 12:33:37 +0000495static bool isZeroInit(const SectionRef Section) {
Rafael Espindola0e77a942014-12-10 20:46:55 +0000496 const ObjectFile *Obj = Section.getObject();
Rafael Espindola41401e92015-06-26 12:33:37 +0000497 if (isa<object::ELFObjectFileBase>(Obj))
498 return ELFSectionRef(Section).getType() == ELF::SHT_NOBITS;
David Majnemer1a666e02015-03-07 20:21:27 +0000499 if (auto *COFFObj = dyn_cast<object::COFFObjectFile>(Obj))
500 return COFFObj->getCOFFSection(Section)->Characteristics &
501 COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA;
Rafael Espindola0e77a942014-12-10 20:46:55 +0000502
503 auto *MachO = cast<MachOObjectFile>(Obj);
504 unsigned SectionType = MachO->getSectionType(Section);
505 return SectionType == MachO::S_ZEROFILL ||
506 SectionType == MachO::S_GB_ZEROFILL;
507}
508
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000509// Compute an upper bound of the memory size that is required to load all
510// sections
Lang Hames89595312016-04-27 20:24:48 +0000511Error RuntimeDyldImpl::computeTotalAllocSize(const ObjectFile &Obj,
512 uint64_t &CodeSize,
513 uint32_t &CodeAlign,
514 uint64_t &RODataSize,
515 uint32_t &RODataAlign,
516 uint64_t &RWDataSize,
517 uint32_t &RWDataAlign) {
Lang Hames937ec542014-02-12 21:30:07 +0000518 // Compute the size of all sections required for execution
519 std::vector<uint64_t> CodeSectionSizes;
520 std::vector<uint64_t> ROSectionSizes;
521 std::vector<uint64_t> RWSectionSizes;
Lang Hames937ec542014-02-12 21:30:07 +0000522
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000523 // Collect sizes of all sections to be loaded;
Lang Hames937ec542014-02-12 21:30:07 +0000524 // also determine the max alignment of all sections
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000525 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000526 SI != SE; ++SI) {
527 const SectionRef &Section = *SI;
528
Lang Hamesd22bade2017-04-04 17:03:49 +0000529 bool IsRequired = isRequiredForExecution(Section) || ProcessAllSections;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000530
Lang Hames937ec542014-02-12 21:30:07 +0000531 // Consider only the sections that are required to be loaded for execution
532 if (IsRequired) {
Rafael Espindola80291272014-10-08 15:28:58 +0000533 uint64_t DataSize = Section.getSize();
534 uint64_t Alignment64 = Section.getAlignment();
Lang Hames89595312016-04-27 20:24:48 +0000535 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Rafael Espindola80291272014-10-08 15:28:58 +0000536 bool IsCode = Section.isText();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000537 bool IsReadOnly = isReadOnlyData(Section);
Lang Hames89595312016-04-27 20:24:48 +0000538
George Rimarbcc00e12019-08-14 11:10:11 +0000539 Expected<StringRef> NameOrErr = Section.getName();
540 if (!NameOrErr)
541 return NameOrErr.takeError();
542 StringRef Name = *NameOrErr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000543
Lang Hames937ec542014-02-12 21:30:07 +0000544 uint64_t StubBufSize = computeSectionStubBufSize(Obj, Section);
Lang Hamesa1000422019-05-30 20:58:28 +0000545
546 uint64_t PaddingSize = 0;
547 if (Name == ".eh_frame")
548 PaddingSize += 4;
549 if (StubBufSize != 0)
550 PaddingSize += getStubAlignment() - 1;
551
552 uint64_t SectionSize = DataSize + PaddingSize + StubBufSize;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000553
554 // The .eh_frame section (at least on Linux) needs an extra four bytes
555 // padded
Lang Hames937ec542014-02-12 21:30:07 +0000556 // with zeroes added at the end. For MachO objects, this section has a
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000557 // slightly different name, so this won't have any effect for MachO
558 // objects.
Lang Hames937ec542014-02-12 21:30:07 +0000559 if (Name == ".eh_frame")
560 SectionSize += 4;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000561
Lang Hames2be1bbe2015-04-07 06:27:56 +0000562 if (!SectionSize)
563 SectionSize = 1;
564
565 if (IsCode) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000566 CodeAlign = std::max(CodeAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000567 CodeSectionSizes.push_back(SectionSize);
568 } else if (IsReadOnly) {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000569 RODataAlign = std::max(RODataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000570 ROSectionSizes.push_back(SectionSize);
571 } else {
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000572 RWDataAlign = std::max(RWDataAlign, Alignment);
Lang Hames2be1bbe2015-04-07 06:27:56 +0000573 RWSectionSizes.push_back(SectionSize);
574 }
Lang Hames937ec542014-02-12 21:30:07 +0000575 }
576 }
577
Eugene Leviant3e582c82017-02-06 15:31:28 +0000578 // Compute Global Offset Table size. If it is not zero we
579 // also update alignment, which is equal to a size of a
580 // single GOT entry.
581 if (unsigned GotSize = computeGOTSize(Obj)) {
582 RWSectionSizes.push_back(GotSize);
583 RWDataAlign = std::max<uint32_t>(RWDataAlign, getGOTEntrySize());
584 }
585
Lang Hames937ec542014-02-12 21:30:07 +0000586 // Compute the size of all common symbols
587 uint64_t CommonSize = 0;
Lang Hames543e0dc2016-04-21 20:08:06 +0000588 uint32_t CommonAlign = 1;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000589 for (symbol_iterator I = Obj.symbol_begin(), E = Obj.symbol_end(); I != E;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000590 ++I) {
Lang Hames937ec542014-02-12 21:30:07 +0000591 uint32_t Flags = I->getFlags();
592 if (Flags & SymbolRef::SF_Common) {
593 // Add the common symbols to a list. We'll allocate them all below.
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000594 uint64_t Size = I->getCommonSize();
Lang Hames543e0dc2016-04-21 20:08:06 +0000595 uint32_t Align = I->getAlignment();
596 // If this is the first common symbol, use its alignment as the alignment
597 // for the common symbols section.
598 if (CommonSize == 0)
NAKAMURA Takumi940cd932016-07-04 01:26:21 +0000599 CommonAlign = Align;
Lang Hames543e0dc2016-04-21 20:08:06 +0000600 CommonSize = alignTo(CommonSize, Align) + Size;
Lang Hames937ec542014-02-12 21:30:07 +0000601 }
602 }
603 if (CommonSize != 0) {
604 RWSectionSizes.push_back(CommonSize);
Lang Hames543e0dc2016-04-21 20:08:06 +0000605 RWDataAlign = std::max(RWDataAlign, CommonAlign);
Lang Hames937ec542014-02-12 21:30:07 +0000606 }
607
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000608 // Compute the required allocation space for each different type of sections
609 // (code, read-only data, read-write data) assuming that all sections are
Lang Hames937ec542014-02-12 21:30:07 +0000610 // allocated with the max alignment. Note that we cannot compute with the
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000611 // individual alignments of the sections, because then the required size
Lang Hames937ec542014-02-12 21:30:07 +0000612 // depends on the order, in which the sections are allocated.
Lang Hamesb2b7a3c2016-01-10 18:51:50 +0000613 CodeSize = computeAllocationSizeForSections(CodeSectionSizes, CodeAlign);
614 RODataSize = computeAllocationSizeForSections(ROSectionSizes, RODataAlign);
615 RWDataSize = computeAllocationSizeForSections(RWSectionSizes, RWDataAlign);
Lang Hames89595312016-04-27 20:24:48 +0000616
617 return Error::success();
Lang Hames937ec542014-02-12 21:30:07 +0000618}
619
Eugene Leviant3e582c82017-02-06 15:31:28 +0000620// compute GOT size
621unsigned RuntimeDyldImpl::computeGOTSize(const ObjectFile &Obj) {
622 size_t GotEntrySize = getGOTEntrySize();
623 if (!GotEntrySize)
624 return 0;
625
626 size_t GotSize = 0;
627 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
628 SI != SE; ++SI) {
629
630 for (const RelocationRef &Reloc : SI->relocations())
631 if (relocationNeedsGot(Reloc))
632 GotSize += GotEntrySize;
633 }
634
635 return GotSize;
636}
637
Lang Hames937ec542014-02-12 21:30:07 +0000638// compute stub buffer size for the given section
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000639unsigned RuntimeDyldImpl::computeSectionStubBufSize(const ObjectFile &Obj,
Lang Hames937ec542014-02-12 21:30:07 +0000640 const SectionRef &Section) {
641 unsigned StubSize = getMaxStubSize();
642 if (StubSize == 0) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000643 return 0;
Lang Hames937ec542014-02-12 21:30:07 +0000644 }
645 // FIXME: this is an inefficient way to handle this. We should computed the
646 // necessary section allocation size in loadObject by walking all the sections
647 // once.
648 unsigned StubBufSize = 0;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000649 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
Jim Grosbach36f025e2014-04-21 19:23:59 +0000650 SI != SE; ++SI) {
651 section_iterator RelSecI = SI->getRelocatedSection();
Lang Hames937ec542014-02-12 21:30:07 +0000652 if (!(RelSecI == Section))
653 continue;
654
Sanjoy Dasd5658b02015-11-23 21:47:51 +0000655 for (const RelocationRef &Reloc : SI->relocations())
656 if (relocationNeedsStub(Reloc))
657 StubBufSize += StubSize;
Lang Hames937ec542014-02-12 21:30:07 +0000658 }
Alexey Samsonovaa4d2952014-03-14 14:22:49 +0000659
Lang Hames937ec542014-02-12 21:30:07 +0000660 // Get section data size and alignment
Rafael Espindola80291272014-10-08 15:28:58 +0000661 uint64_t DataSize = Section.getSize();
662 uint64_t Alignment64 = Section.getAlignment();
Lang Hames937ec542014-02-12 21:30:07 +0000663
664 // Add stubbuf size alignment
665 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
666 unsigned StubAlignment = getStubAlignment();
667 unsigned EndAlignment = (DataSize | Alignment) & -(DataSize | Alignment);
668 if (StubAlignment > EndAlignment)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000669 StubBufSize += StubAlignment - EndAlignment;
Lang Hames937ec542014-02-12 21:30:07 +0000670 return StubBufSize;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000671}
672
Lang Hamese1287c02014-08-29 23:17:47 +0000673uint64_t RuntimeDyldImpl::readBytesUnaligned(uint8_t *Src,
674 unsigned Size) const {
675 uint64_t Result = 0;
Lang Hames69abd722014-09-07 02:05:26 +0000676 if (IsTargetLittleEndian) {
677 Src += Size - 1;
678 while (Size--)
679 Result = (Result << 8) | *Src--;
680 } else
681 while (Size--)
682 Result = (Result << 8) | *Src++;
Lang Hamese1287c02014-08-29 23:17:47 +0000683
684 return Result;
685}
686
687void RuntimeDyldImpl::writeBytesUnaligned(uint64_t Value, uint8_t *Dst,
688 unsigned Size) const {
Lang Hames69abd722014-09-07 02:05:26 +0000689 if (IsTargetLittleEndian) {
690 while (Size--) {
691 *Dst++ = Value & 0xFF;
692 Value >>= 8;
693 }
Lang Hamese1287c02014-08-29 23:17:47 +0000694 } else {
Lang Hames69abd722014-09-07 02:05:26 +0000695 Dst += Size - 1;
696 while (Size--) {
697 *Dst-- = Value & 0xFF;
698 Value >>= 8;
699 }
Lang Hamese1287c02014-08-29 23:17:47 +0000700 }
701}
702
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000703Expected<JITSymbolFlags>
704RuntimeDyldImpl::getJITSymbolFlags(const SymbolRef &SR) {
Lang Hames14a22a42017-08-09 20:19:27 +0000705 return JITSymbolFlags::fromObjectSymbol(SR);
706}
707
Lang Hames89595312016-04-27 20:24:48 +0000708Error RuntimeDyldImpl::emitCommonSymbols(const ObjectFile &Obj,
Lang Hamesb72f4842018-01-19 22:24:13 +0000709 CommonSymbolList &SymbolsToAllocate,
710 uint64_t CommonSize,
711 uint32_t CommonAlign) {
712 if (SymbolsToAllocate.empty())
Lang Hames89595312016-04-27 20:24:48 +0000713 return Error::success();
Lang Hames29968952015-01-17 00:55:05 +0000714
Preston Gurd2138ef62012-04-12 20:13:57 +0000715 // Allocate memory for the section
716 unsigned SectionID = Sections.size();
NAKAMURA Takumi940cd932016-07-04 01:26:21 +0000717 uint8_t *Addr = MemMgr.allocateDataSection(CommonSize, CommonAlign, SectionID,
718 "<common symbols>", false);
Preston Gurd2138ef62012-04-12 20:13:57 +0000719 if (!Addr)
720 report_fatal_error("Unable to allocate memory for common symbols!");
721 uint64_t Offset = 0;
Sanjoy Das80825922015-11-23 21:47:46 +0000722 Sections.push_back(
723 SectionEntry("<common symbols>", Addr, CommonSize, CommonSize, 0));
Lang Hames29968952015-01-17 00:55:05 +0000724 memset(Addr, 0, CommonSize);
Preston Gurd2138ef62012-04-12 20:13:57 +0000725
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000726 LLVM_DEBUG(dbgs() << "emitCommonSection SectionID: " << SectionID
727 << " new addr: " << format("%p", Addr)
728 << " DataSize: " << CommonSize << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000729
730 // Assign the address of each symbol
Lang Hames29968952015-01-17 00:55:05 +0000731 for (auto &Sym : SymbolsToAllocate) {
Rafael Espindolaa4d224722015-05-31 23:52:50 +0000732 uint32_t Align = Sym.getAlignment();
Rafael Espindolad7a32ea2015-06-24 10:20:30 +0000733 uint64_t Size = Sym.getCommonSize();
Lang Hames89595312016-04-27 20:24:48 +0000734 StringRef Name;
735 if (auto NameOrErr = Sym.getName())
736 Name = *NameOrErr;
737 else
738 return NameOrErr.takeError();
Tim Northover94bc73d2012-10-29 10:47:04 +0000739 if (Align) {
740 // This symbol has an alignment requirement.
Guillaume Chateletaf11cc72019-09-12 15:20:36 +0000741 uint64_t AlignOffset =
742 offsetToAlignment((uint64_t)Addr, llvm::Align(Align));
Tim Northover94bc73d2012-10-29 10:47:04 +0000743 Addr += AlignOffset;
744 Offset += AlignOffset;
Tim Northover94bc73d2012-10-29 10:47:04 +0000745 }
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000746 auto JITSymFlags = getJITSymbolFlags(Sym);
747
748 if (!JITSymFlags)
749 return JITSymFlags.takeError();
750
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000751 LLVM_DEBUG(dbgs() << "Allocating common symbol " << Name << " address "
752 << format("%p", Addr) << "\n");
Lang Hamesb1186032015-03-11 00:43:26 +0000753 GlobalSymbolTable[Name] =
Lang Hamesbfea8cd2018-08-01 22:42:23 +0000754 SymbolTableEntry(SectionID, Offset, std::move(*JITSymFlags));
Preston Gurd2138ef62012-04-12 20:13:57 +0000755 Offset += Size;
756 Addr += Size;
757 }
Petar Jovanovicd22164d2015-08-13 15:12:49 +0000758
Lang Hames89595312016-04-27 20:24:48 +0000759 return Error::success();
Preston Gurd2138ef62012-04-12 20:13:57 +0000760}
761
Lang Hames89595312016-04-27 20:24:48 +0000762Expected<unsigned>
763RuntimeDyldImpl::emitSection(const ObjectFile &Obj,
764 const SectionRef &Section,
765 bool IsCode) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000766 StringRef data;
Rafael Espindola80291272014-10-08 15:28:58 +0000767 uint64_t Alignment64 = Section.getAlignment();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000768
769 unsigned Alignment = (unsigned)Alignment64 & 0xffffffffL;
Andrew Kaylor877b9312013-10-16 00:32:24 +0000770 unsigned PaddingSize = 0;
Lang Hames937ec542014-02-12 21:30:07 +0000771 unsigned StubBufSize = 0;
Pavel Labath859d3022017-05-17 08:47:28 +0000772 bool IsRequired = isRequiredForExecution(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000773 bool IsVirtual = Section.isVirtual();
Rafael Espindola0e77a942014-12-10 20:46:55 +0000774 bool IsZeroInit = isZeroInit(Section);
775 bool IsReadOnly = isReadOnlyData(Section);
Rafael Espindola80291272014-10-08 15:28:58 +0000776 uint64_t DataSize = Section.getSize();
Lang Hames89595312016-04-27 20:24:48 +0000777
Zachary Turner3c35f772019-01-30 23:52:32 +0000778 // An alignment of 0 (at least with ELF) is identical to an alignment of 1,
779 // while being more "polite". Other formats do not support 0-aligned sections
780 // anyway, so we should guarantee that the alignment is always at least 1.
781 Alignment = std::max(1u, Alignment);
782
George Rimarbcc00e12019-08-14 11:10:11 +0000783 Expected<StringRef> NameOrErr = Section.getName();
784 if (!NameOrErr)
785 return NameOrErr.takeError();
786 StringRef Name = *NameOrErr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000787
788 StubBufSize = computeSectionStubBufSize(Obj, Section);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000789
Andrew Kaylor877b9312013-10-16 00:32:24 +0000790 // The .eh_frame section (at least on Linux) needs an extra four bytes padded
791 // with zeroes added at the end. For MachO objects, this section has a
792 // slightly different name, so this won't have any effect for MachO objects.
793 if (Name == ".eh_frame")
794 PaddingSize = 4;
795
Lang Hamesd4100172014-02-11 05:28:24 +0000796 uintptr_t Allocate;
Preston Gurd2138ef62012-04-12 20:13:57 +0000797 unsigned SectionID = Sections.size();
798 uint8_t *Addr;
Craig Topper353eda42014-04-24 06:44:33 +0000799 const char *pData = nullptr;
Preston Gurd2138ef62012-04-12 20:13:57 +0000800
Lang Hames86a45932015-10-15 06:41:45 +0000801 // If this section contains any bits (i.e. isn't a virtual or bss section),
802 // grab a reference to them.
803 if (!IsVirtual && !IsZeroInit) {
804 // In either case, set the location of the unrelocated section in memory,
805 // since we still process relocations for it even if we're not applying them.
Fangrui Songe1833402019-05-16 13:24:04 +0000806 if (Expected<StringRef> E = Section.getContents())
807 data = *E;
808 else
809 return E.takeError();
Keno Fischere6892c82015-05-01 20:21:45 +0000810 pData = data.data();
Lang Hames86a45932015-10-15 06:41:45 +0000811 }
Keno Fischere6892c82015-05-01 20:21:45 +0000812
Lang Hames0e124b32019-05-30 19:59:20 +0000813 // If there are any stubs then the section alignment needs to be at least as
814 // high as stub alignment or padding calculations may by incorrect when the
815 // section is remapped.
816 if (StubBufSize != 0) {
Lang Hames7e66c6c2015-08-14 06:26:42 +0000817 Alignment = std::max(Alignment, getStubAlignment());
Lang Hames0e124b32019-05-30 19:59:20 +0000818 PaddingSize += getStubAlignment() - 1;
Lang Hames14a22a42017-08-09 20:19:27 +0000819 }
Lang Hames7e66c6c2015-08-14 06:26:42 +0000820
Preston Gurd2138ef62012-04-12 20:13:57 +0000821 // Some sections, such as debug info, don't need to be loaded for execution.
Pavel Labath859d3022017-05-17 08:47:28 +0000822 // Process those only if explicitly requested.
823 if (IsRequired || ProcessAllSections) {
Andrew Kaylor877b9312013-10-16 00:32:24 +0000824 Allocate = DataSize + PaddingSize + StubBufSize;
Lang Hames2be1bbe2015-04-07 06:27:56 +0000825 if (!Allocate)
826 Allocate = 1;
Lang Hames633fe142015-03-30 03:37:06 +0000827 Addr = IsCode ? MemMgr.allocateCodeSection(Allocate, Alignment, SectionID,
828 Name)
829 : MemMgr.allocateDataSection(Allocate, Alignment, SectionID,
830 Name, IsReadOnly);
Preston Gurd2138ef62012-04-12 20:13:57 +0000831 if (!Addr)
832 report_fatal_error("Unable to allocate section memory!");
833
Preston Gurd2138ef62012-04-12 20:13:57 +0000834 // Zero-initialize or copy the data from the image
835 if (IsZeroInit || IsVirtual)
836 memset(Addr, 0, DataSize);
837 else
838 memcpy(Addr, pData, DataSize);
839
Andrew Kaylor877b9312013-10-16 00:32:24 +0000840 // Fill in any extra bytes we allocated for padding
841 if (PaddingSize != 0) {
842 memset(Addr + DataSize, 0, PaddingSize);
Lang Hames14a22a42017-08-09 20:19:27 +0000843 // Update the DataSize variable to include padding.
Andrew Kaylor877b9312013-10-16 00:32:24 +0000844 DataSize += PaddingSize;
Lang Hames14a22a42017-08-09 20:19:27 +0000845
846 // Align DataSize to stub alignment if we have any stubs (PaddingSize will
847 // have been increased above to account for this).
848 if (StubBufSize > 0)
Nick Desaulniersb3808462019-06-01 04:51:26 +0000849 DataSize &= -(uint64_t)getStubAlignment();
Andrew Kaylor877b9312013-10-16 00:32:24 +0000850 }
851
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000852 LLVM_DEBUG(dbgs() << "emitSection SectionID: " << SectionID << " Name: "
853 << Name << " obj addr: " << format("%p", pData)
854 << " new addr: " << format("%p", Addr) << " DataSize: "
855 << DataSize << " StubBufSize: " << StubBufSize
856 << " Allocate: " << Allocate << "\n");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000857 } else {
Preston Gurd2138ef62012-04-12 20:13:57 +0000858 // Even if we didn't load the section, we need to record an entry for it
Eli Bendersky0e2ac5b2012-04-29 12:40:47 +0000859 // to handle later processing (and by 'handle' I mean don't do anything
860 // with these sections).
Preston Gurd2138ef62012-04-12 20:13:57 +0000861 Allocate = 0;
Craig Topper353eda42014-04-24 06:44:33 +0000862 Addr = nullptr;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000863 LLVM_DEBUG(
864 dbgs() << "emitSection SectionID: " << SectionID << " Name: " << Name
865 << " obj addr: " << format("%p", data.data()) << " new addr: 0"
866 << " DataSize: " << DataSize << " StubBufSize: " << StubBufSize
867 << " Allocate: " << Allocate << "\n");
Preston Gurd2138ef62012-04-12 20:13:57 +0000868 }
869
Sanjoy Das80825922015-11-23 21:47:46 +0000870 Sections.push_back(
871 SectionEntry(Name, Addr, DataSize, Allocate, (uintptr_t)pData));
Lang Hames587ee6a2014-09-03 05:01:46 +0000872
Pavel Labath859d3022017-05-17 08:47:28 +0000873 // Debug info sections are linked as if their load address was zero
874 if (!IsRequired)
875 Sections.back().setLoadAddress(0);
876
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000877 return SectionID;
878}
879
Lang Hames89595312016-04-27 20:24:48 +0000880Expected<unsigned>
881RuntimeDyldImpl::findOrEmitSection(const ObjectFile &Obj,
882 const SectionRef &Section,
883 bool IsCode,
884 ObjSectionToIDMap &LocalSections) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000885
886 unsigned SectionID = 0;
887 ObjSectionToIDMap::iterator i = LocalSections.find(Section);
888 if (i != LocalSections.end())
889 SectionID = i->second;
890 else {
Lang Hames89595312016-04-27 20:24:48 +0000891 if (auto SectionIDOrErr = emitSection(Obj, Section, IsCode))
892 SectionID = *SectionIDOrErr;
893 else
894 return SectionIDOrErr.takeError();
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000895 LocalSections[Section] = SectionID;
896 }
897 return SectionID;
898}
899
Eli Bendersky667b8792012-05-01 10:41:12 +0000900void RuntimeDyldImpl::addRelocationForSection(const RelocationEntry &RE,
901 unsigned SectionID) {
902 Relocations[SectionID].push_back(RE);
903}
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000904
Eli Bendersky667b8792012-05-01 10:41:12 +0000905void RuntimeDyldImpl::addRelocationForSymbol(const RelocationEntry &RE,
906 StringRef SymbolName) {
907 // Relocation by symbol. If the symbol is found in the global symbol table,
908 // create an appropriate section relocation. Otherwise, add it to
909 // ExternalSymbolRelocations.
Lang Hames6bfd3982015-01-16 23:13:56 +0000910 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(SymbolName);
Eli Bendersky667b8792012-05-01 10:41:12 +0000911 if (Loc == GlobalSymbolTable.end()) {
912 ExternalSymbolRelocations[SymbolName].push_back(RE);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000913 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000914 // Copy the RE since we want to modify its addend.
915 RelocationEntry RECopy = RE;
Lang Hames6bfd3982015-01-16 23:13:56 +0000916 const auto &SymInfo = Loc->second;
917 RECopy.Addend += SymInfo.getOffset();
918 Relocations[SymInfo.getSectionID()].push_back(RECopy);
Eli Benderskyb92e1cf2012-04-30 12:15:58 +0000919 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000920}
921
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000922uint8_t *RuntimeDyldImpl::createStubFunction(uint8_t *Addr,
923 unsigned AbiVariant) {
Tim Northoverf1c28922019-09-12 10:22:23 +0000924 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be ||
925 Arch == Triple::aarch64_32) {
Tim Northover37cde972013-05-04 20:14:09 +0000926 // This stub has to be able to access the full address space,
927 // since symbol lookup won't necessarily find a handy, in-range,
928 // PLT stub for functions which could be anywhere.
Tim Northover37cde972013-05-04 20:14:09 +0000929 // Stub can use ip0 (== x16) to calculate address
Daniel Sanders66e799f2014-11-06 09:53:05 +0000930 writeBytesUnaligned(0xd2e00010, Addr, 4); // movz ip0, #:abs_g3:<addr>
931 writeBytesUnaligned(0xf2c00010, Addr+4, 4); // movk ip0, #:abs_g2_nc:<addr>
932 writeBytesUnaligned(0xf2a00010, Addr+8, 4); // movk ip0, #:abs_g1_nc:<addr>
933 writeBytesUnaligned(0xf2800010, Addr+12, 4); // movk ip0, #:abs_g0_nc:<addr>
934 writeBytesUnaligned(0xd61f0200, Addr+16, 4); // br ip0
Tim Northover37cde972013-05-04 20:14:09 +0000935
936 return Addr;
Christian Pirker2a111602014-03-28 14:35:30 +0000937 } else if (Arch == Triple::arm || Arch == Triple::armeb) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000938 // TODO: There is only ARM far stub now. We should add the Thumb stub,
939 // and stubs for branches Thumb - ARM and ARM - Thumb.
Lang Hames14a22a42017-08-09 20:19:27 +0000940 writeBytesUnaligned(0xe51ff004, Addr, 4); // ldr pc, [pc, #-4]
Daniel Sanders66e799f2014-11-06 09:53:05 +0000941 return Addr + 4;
Nitesh Jain757f74c2017-10-22 09:47:41 +0000942 } else if (IsMipsO32ABI || IsMipsN32ABI) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000943 // 0: 3c190000 lui t9,%hi(addr).
944 // 4: 27390000 addiu t9,t9,%lo(addr).
945 // 8: 03200008 jr t9.
946 // c: 00000000 nop.
947 const unsigned LuiT9Instr = 0x3c190000, AdduiT9Instr = 0x27390000;
Nitesh Jain7481e402016-07-15 12:56:37 +0000948 const unsigned NopInstr = 0x0;
949 unsigned JrT9Instr = 0x03200008;
Nitesh Jain757f74c2017-10-22 09:47:41 +0000950 if ((AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_32R6 ||
951 (AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_64R6)
952 JrT9Instr = 0x03200009;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000953
Daniel Sanders66e799f2014-11-06 09:53:05 +0000954 writeBytesUnaligned(LuiT9Instr, Addr, 4);
Nitesh Jain757f74c2017-10-22 09:47:41 +0000955 writeBytesUnaligned(AdduiT9Instr, Addr + 4, 4);
956 writeBytesUnaligned(JrT9Instr, Addr + 8, 4);
957 writeBytesUnaligned(NopInstr, Addr + 12, 4);
958 return Addr;
959 } else if (IsMipsN64ABI) {
960 // 0: 3c190000 lui t9,%highest(addr).
961 // 4: 67390000 daddiu t9,t9,%higher(addr).
962 // 8: 0019CC38 dsll t9,t9,16.
963 // c: 67390000 daddiu t9,t9,%hi(addr).
964 // 10: 0019CC38 dsll t9,t9,16.
965 // 14: 67390000 daddiu t9,t9,%lo(addr).
966 // 18: 03200008 jr t9.
967 // 1c: 00000000 nop.
968 const unsigned LuiT9Instr = 0x3c190000, DaddiuT9Instr = 0x67390000,
969 DsllT9Instr = 0x19CC38;
970 const unsigned NopInstr = 0x0;
971 unsigned JrT9Instr = 0x03200008;
972 if ((AbiVariant & ELF::EF_MIPS_ARCH) == ELF::EF_MIPS_ARCH_64R6)
973 JrT9Instr = 0x03200009;
974
975 writeBytesUnaligned(LuiT9Instr, Addr, 4);
976 writeBytesUnaligned(DaddiuT9Instr, Addr + 4, 4);
977 writeBytesUnaligned(DsllT9Instr, Addr + 8, 4);
978 writeBytesUnaligned(DaddiuT9Instr, Addr + 12, 4);
979 writeBytesUnaligned(DsllT9Instr, Addr + 16, 4);
980 writeBytesUnaligned(DaddiuT9Instr, Addr + 20, 4);
981 writeBytesUnaligned(JrT9Instr, Addr + 24, 4);
982 writeBytesUnaligned(NopInstr, Addr + 28, 4);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000983 return Addr;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000984 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000985 // Depending on which version of the ELF ABI is in use, we need to
986 // generate one of two variants of the stub. They both start with
987 // the same sequence to load the target address into r12.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000988 writeInt32BE(Addr, 0x3D800000); // lis r12, highest(addr)
989 writeInt32BE(Addr+4, 0x618C0000); // ori r12, higher(addr)
990 writeInt32BE(Addr+8, 0x798C07C6); // sldi r12, r12, 32
991 writeInt32BE(Addr+12, 0x658C0000); // oris r12, r12, h(addr)
992 writeInt32BE(Addr+16, 0x618C0000); // ori r12, r12, l(addr)
Ulrich Weigand752b5c92014-07-20 23:53:14 +0000993 if (AbiVariant == 2) {
994 // PowerPC64 stub ELFv2 ABI: The address points to the function itself.
995 // The address is already in r12 as required by the ABI. Branch to it.
996 writeInt32BE(Addr+20, 0xF8410018); // std r2, 24(r1)
997 writeInt32BE(Addr+24, 0x7D8903A6); // mtctr r12
998 writeInt32BE(Addr+28, 0x4E800420); // bctr
999 } else {
1000 // PowerPC64 stub ELFv1 ABI: The address points to a function descriptor.
1001 // Load the function address on r11 and sets it to control register. Also
1002 // loads the function TOC in r2 and environment pointer to r11.
1003 writeInt32BE(Addr+20, 0xF8410028); // std r2, 40(r1)
1004 writeInt32BE(Addr+24, 0xE96C0000); // ld r11, 0(r12)
1005 writeInt32BE(Addr+28, 0xE84C0008); // ld r2, 0(r12)
1006 writeInt32BE(Addr+32, 0x7D6903A6); // mtctr r11
1007 writeInt32BE(Addr+36, 0xE96C0010); // ld r11, 16(r2)
1008 writeInt32BE(Addr+40, 0x4E800420); // bctr
1009 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001010 return Addr;
Richard Sandifordca044082013-05-03 14:15:35 +00001011 } else if (Arch == Triple::systemz) {
1012 writeInt16BE(Addr, 0xC418); // lgrl %r1,.+8
1013 writeInt16BE(Addr+2, 0x0000);
1014 writeInt16BE(Addr+4, 0x0004);
1015 writeInt16BE(Addr+6, 0x07F1); // brc 15,%r1
1016 // 8-byte address stored at Addr + 8
1017 return Addr;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001018 } else if (Arch == Triple::x86_64) {
1019 *Addr = 0xFF; // jmp
1020 *(Addr+1) = 0x25; // rip
1021 // 32-bit PC-relative address of the GOT entry will be stored at Addr+2
Lang Hames36072da2014-05-12 21:39:59 +00001022 } else if (Arch == Triple::x86) {
1023 *Addr = 0xE9; // 32-bit pc-relative jump.
Akira Hatanaka111174b2012-08-17 21:28:04 +00001024 }
1025 return Addr;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001026}
1027
1028// Assign an address to a symbol name and resolve all the relocations
1029// associated with it.
1030void RuntimeDyldImpl::reassignSectionAddress(unsigned SectionID,
1031 uint64_t Addr) {
1032 // The address to use for relocation resolution is not
1033 // the address of the local section buffer. We must be doing
Andrew Kaylora714efc2012-11-05 20:57:16 +00001034 // a remote execution environment of some sort. Relocations can't
1035 // be applied until all the sections have been moved. The client must
1036 // trigger this with a call to MCJIT::finalize() or
1037 // RuntimeDyld::resolveRelocations().
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001038 //
1039 // Addr is a uint64_t because we can't assume the pointer width
1040 // of the target is the same as that of the host. Just use a generic
1041 // "big enough" type.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001042 LLVM_DEBUG(
1043 dbgs() << "Reassigning address for section " << SectionID << " ("
1044 << Sections[SectionID].getName() << "): "
1045 << format("0x%016" PRIx64, Sections[SectionID].getLoadAddress())
1046 << " -> " << format("0x%016" PRIx64, Addr) << "\n");
Sanjoy Das277776a2015-11-23 21:47:41 +00001047 Sections[SectionID].setLoadAddress(Addr);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001048}
1049
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001050void RuntimeDyldImpl::resolveRelocationList(const RelocationList &Relocs,
1051 uint64_t Value) {
1052 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +00001053 const RelocationEntry &RE = Relocs[i];
1054 // Ignore relocations for sections that were not loaded
Sanjoy Das277776a2015-11-23 21:47:41 +00001055 if (Sections[RE.SectionID].getAddress() == nullptr)
Rafael Espindolaf1f1c622013-04-29 17:24:34 +00001056 continue;
1057 resolveRelocation(RE, Value);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001058 }
1059}
1060
Lang Hamesadde5ba2018-09-25 19:48:46 +00001061void RuntimeDyldImpl::applyExternalSymbolRelocations(
1062 const StringMap<JITEvaluatedSymbol> ExternalSymbolMap) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001063 while (!ExternalSymbolRelocations.empty()) {
Lang Hamesb72f4842018-01-19 22:24:13 +00001064
Andrew Kaylorea395922013-10-01 01:47:35 +00001065 StringMap<RelocationList>::iterator i = ExternalSymbolRelocations.begin();
1066
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001067 StringRef Name = i->first();
Andrew Kaylorea395922013-10-01 01:47:35 +00001068 if (Name.size() == 0) {
1069 // This is an absolute symbol, use an address of zero.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001070 LLVM_DEBUG(dbgs() << "Resolving absolute relocations."
1071 << "\n");
Andrew Kaylorcfb4a992013-11-11 19:55:10 +00001072 RelocationList &Relocs = i->second;
Andrew Kaylorea395922013-10-01 01:47:35 +00001073 resolveRelocationList(Relocs, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001074 } else {
Andrew Kaylorea395922013-10-01 01:47:35 +00001075 uint64_t Addr = 0;
Lang Hames14a22a42017-08-09 20:19:27 +00001076 JITSymbolFlags Flags;
Lang Hames6bfd3982015-01-16 23:13:56 +00001077 RTDyldSymbolTable::const_iterator Loc = GlobalSymbolTable.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +00001078 if (Loc == GlobalSymbolTable.end()) {
Lang Hamesb72f4842018-01-19 22:24:13 +00001079 auto RRI = ExternalSymbolMap.find(Name);
1080 assert(RRI != ExternalSymbolMap.end() && "No result for symbol");
1081 Addr = RRI->second.getAddress();
1082 Flags = RRI->second.getFlags();
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001083 // The call to getSymbolAddress may have caused additional modules to
1084 // be loaded, which may have added new entries to the
1085 // ExternalSymbolRelocations map. Consquently, we need to update our
1086 // iterator. This is also why retrieval of the relocation list
1087 // associated with this symbol is deferred until below this point.
1088 // New entries may have been added to the relocation list.
1089 i = ExternalSymbolRelocations.find(Name);
Andrew Kaylorea395922013-10-01 01:47:35 +00001090 } else {
1091 // We found the symbol in our global table. It was probably in a
1092 // Module that we loaded previously.
Lang Hames6bfd3982015-01-16 23:13:56 +00001093 const auto &SymInfo = Loc->second;
1094 Addr = getSectionLoadAddress(SymInfo.getSectionID()) +
1095 SymInfo.getOffset();
Lang Hames14a22a42017-08-09 20:19:27 +00001096 Flags = SymInfo.getFlags();
Andrew Kaylorea395922013-10-01 01:47:35 +00001097 }
1098
1099 // FIXME: Implement error handling that doesn't kill the host program!
1100 if (!Addr)
1101 report_fatal_error("Program used external function '" + Name +
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001102 "' which could not be resolved!");
Andrew Kaylorea395922013-10-01 01:47:35 +00001103
Lang Hames78937c22015-07-04 01:35:26 +00001104 // If Resolver returned UINT64_MAX, the client wants to handle this symbol
1105 // manually and we shouldn't resolve its relocations.
1106 if (Addr != UINT64_MAX) {
Lang Hames14a22a42017-08-09 20:19:27 +00001107
1108 // Tweak the address based on the symbol flags if necessary.
1109 // For example, this is used by RuntimeDyldMachOARM to toggle the low bit
1110 // if the target symbol is Thumb.
1111 Addr = modifyAddressBasedOnFlags(Addr, Flags);
1112
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001113 LLVM_DEBUG(dbgs() << "Resolving relocations Name: " << Name << "\t"
1114 << format("0x%lx", Addr) << "\n");
Lang Hames78937c22015-07-04 01:35:26 +00001115 // This list may have been updated when we called getSymbolAddress, so
1116 // don't change this code to get the list earlier.
1117 RelocationList &Relocs = i->second;
1118 resolveRelocationList(Relocs, Addr);
1119 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001120 }
Andrew Kaylorea395922013-10-01 01:47:35 +00001121
Andrew Kaylorcfb4a992013-11-11 19:55:10 +00001122 ExternalSymbolRelocations.erase(i);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001123 }
Lang Hamesadde5ba2018-09-25 19:48:46 +00001124}
1125
1126Error RuntimeDyldImpl::resolveExternalSymbols() {
1127 StringMap<JITEvaluatedSymbol> ExternalSymbolMap;
1128
1129 // Resolution can trigger emission of more symbols, so iterate until
1130 // we've resolved *everything*.
1131 {
1132 JITSymbolResolver::LookupSet ResolvedSymbols;
1133
1134 while (true) {
1135 JITSymbolResolver::LookupSet NewSymbols;
1136
1137 for (auto &RelocKV : ExternalSymbolRelocations) {
1138 StringRef Name = RelocKV.first();
1139 if (!Name.empty() && !GlobalSymbolTable.count(Name) &&
1140 !ResolvedSymbols.count(Name))
1141 NewSymbols.insert(Name);
1142 }
1143
1144 if (NewSymbols.empty())
1145 break;
1146
1147#ifdef _MSC_VER
1148 using ExpectedLookupResult =
Lang Hames079c0df2018-09-25 20:48:57 +00001149 MSVCPExpected<JITSymbolResolver::LookupResult>;
Lang Hamesadde5ba2018-09-25 19:48:46 +00001150#else
1151 using ExpectedLookupResult = Expected<JITSymbolResolver::LookupResult>;
1152#endif
1153
1154 auto NewSymbolsP = std::make_shared<std::promise<ExpectedLookupResult>>();
1155 auto NewSymbolsF = NewSymbolsP->get_future();
1156 Resolver.lookup(NewSymbols,
1157 [=](Expected<JITSymbolResolver::LookupResult> Result) {
1158 NewSymbolsP->set_value(std::move(Result));
1159 });
1160
1161 auto NewResolverResults = NewSymbolsF.get();
1162
1163 if (!NewResolverResults)
1164 return NewResolverResults.takeError();
1165
1166 assert(NewResolverResults->size() == NewSymbols.size() &&
1167 "Should have errored on unresolved symbols");
1168
1169 for (auto &RRKV : *NewResolverResults) {
1170 assert(!ResolvedSymbols.count(RRKV.first) && "Redundant resolution?");
1171 ExternalSymbolMap.insert(RRKV);
1172 ResolvedSymbols.insert(RRKV.first);
1173 }
1174 }
1175 }
1176
1177 applyExternalSymbolRelocations(ExternalSymbolMap);
Lang Hames4ce98662017-07-07 02:59:13 +00001178
1179 return Error::success();
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001180}
1181
Lang Hamesabeedf12018-09-25 22:57:44 +00001182void RuntimeDyldImpl::finalizeAsync(
1183 std::unique_ptr<RuntimeDyldImpl> This, std::function<void(Error)> OnEmitted,
1184 std::unique_ptr<MemoryBuffer> UnderlyingBuffer) {
1185
1186 // FIXME: Move-capture OnRelocsApplied and UnderlyingBuffer once we have
1187 // c++14.
1188 auto SharedUnderlyingBuffer =
1189 std::shared_ptr<MemoryBuffer>(std::move(UnderlyingBuffer));
1190 auto SharedThis = std::shared_ptr<RuntimeDyldImpl>(std::move(This));
1191 auto PostResolveContinuation =
1192 [SharedThis, OnEmitted, SharedUnderlyingBuffer](
1193 Expected<JITSymbolResolver::LookupResult> Result) {
1194 if (!Result) {
1195 OnEmitted(Result.takeError());
1196 return;
1197 }
1198
1199 /// Copy the result into a StringMap, where the keys are held by value.
1200 StringMap<JITEvaluatedSymbol> Resolved;
1201 for (auto &KV : *Result)
1202 Resolved[KV.first] = KV.second;
1203
1204 SharedThis->applyExternalSymbolRelocations(Resolved);
1205 SharedThis->resolveLocalRelocations();
1206 SharedThis->registerEHFrames();
1207 std::string ErrMsg;
1208 if (SharedThis->MemMgr.finalizeMemory(&ErrMsg))
1209 OnEmitted(make_error<StringError>(std::move(ErrMsg),
1210 inconvertibleErrorCode()));
1211 else
1212 OnEmitted(Error::success());
1213 };
1214
1215 JITSymbolResolver::LookupSet Symbols;
1216
1217 for (auto &RelocKV : SharedThis->ExternalSymbolRelocations) {
1218 StringRef Name = RelocKV.first();
1219 assert(!Name.empty() && "Symbol has no name?");
1220 assert(!SharedThis->GlobalSymbolTable.count(Name) &&
1221 "Name already processed. RuntimeDyld instances can not be re-used "
1222 "when finalizing with finalizeAsync.");
1223 Symbols.insert(Name);
1224 }
1225
1226 if (!Symbols.empty()) {
1227 SharedThis->Resolver.lookup(Symbols, PostResolveContinuation);
1228 } else
1229 PostResolveContinuation(std::map<StringRef, JITEvaluatedSymbol>());
1230}
1231
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001232//===----------------------------------------------------------------------===//
1233// RuntimeDyld class implementation
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001234
1235uint64_t RuntimeDyld::LoadedObjectInfo::getSectionLoadAddress(
Lang Hames2e88f4f2015-07-28 17:52:11 +00001236 const object::SectionRef &Sec) const {
1237
Lang Hames2e88f4f2015-07-28 17:52:11 +00001238 auto I = ObjSecToIDMap.find(Sec);
Sanjoy Das277776a2015-11-23 21:47:41 +00001239 if (I != ObjSecToIDMap.end())
1240 return RTDyld.Sections[I->second].getLoadAddress();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001241
1242 return 0;
1243}
1244
Lang Hames633fe142015-03-30 03:37:06 +00001245void RuntimeDyld::MemoryManager::anchor() {}
Lang Hamesad4a9112016-08-01 20:49:11 +00001246void JITSymbolResolver::anchor() {}
Lang Hamesb72f4842018-01-19 22:24:13 +00001247void LegacyJITSymbolResolver::anchor() {}
Lang Hames633fe142015-03-30 03:37:06 +00001248
1249RuntimeDyld::RuntimeDyld(RuntimeDyld::MemoryManager &MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +00001250 JITSymbolResolver &Resolver)
Lang Hames633fe142015-03-30 03:37:06 +00001251 : MemMgr(MemMgr), Resolver(Resolver) {
Andrew Kaylora342cb92012-11-15 23:50:01 +00001252 // FIXME: There's a potential issue lurking here if a single instance of
1253 // RuntimeDyld is used to load multiple objects. The current implementation
1254 // associates a single memory manager with a RuntimeDyld instance. Even
1255 // though the public class spawns a new 'impl' instance for each load,
1256 // they share a single memory manager. This can become a problem when page
1257 // permissions are applied.
Craig Topper353eda42014-04-24 06:44:33 +00001258 Dyld = nullptr;
Lang Hames868d4b32014-03-20 21:06:46 +00001259 ProcessAllSections = false;
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001260}
1261
David Blaikie847d2a02014-09-04 18:37:29 +00001262RuntimeDyld::~RuntimeDyld() {}
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001263
David Majnemer1a666e02015-03-07 20:21:27 +00001264static std::unique_ptr<RuntimeDyldCOFF>
Lang Hames941f2472019-04-08 21:50:48 +00001265createRuntimeDyldCOFF(
1266 Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
1267 JITSymbolResolver &Resolver, bool ProcessAllSections,
1268 RuntimeDyld::NotifyStubEmittedFunction NotifyStubEmitted) {
Lang Hames633fe142015-03-30 03:37:06 +00001269 std::unique_ptr<RuntimeDyldCOFF> Dyld =
1270 RuntimeDyldCOFF::create(Arch, MM, Resolver);
David Majnemer1a666e02015-03-07 20:21:27 +00001271 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hames941f2472019-04-08 21:50:48 +00001272 Dyld->setNotifyStubEmitted(std::move(NotifyStubEmitted));
David Majnemer1a666e02015-03-07 20:21:27 +00001273 return Dyld;
1274}
1275
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001276static std::unique_ptr<RuntimeDyldELF>
Simon Dardisc97cfb62016-12-13 11:39:18 +00001277createRuntimeDyldELF(Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
Lang Hamesad4a9112016-08-01 20:49:11 +00001278 JITSymbolResolver &Resolver, bool ProcessAllSections,
Lang Hames941f2472019-04-08 21:50:48 +00001279 RuntimeDyld::NotifyStubEmittedFunction NotifyStubEmitted) {
Simon Dardisc97cfb62016-12-13 11:39:18 +00001280 std::unique_ptr<RuntimeDyldELF> Dyld =
1281 RuntimeDyldELF::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +00001282 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hames941f2472019-04-08 21:50:48 +00001283 Dyld->setNotifyStubEmitted(std::move(NotifyStubEmitted));
Lang Hames868d4b32014-03-20 21:06:46 +00001284 return Dyld;
1285}
1286
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001287static std::unique_ptr<RuntimeDyldMachO>
Lang Hames941f2472019-04-08 21:50:48 +00001288createRuntimeDyldMachO(
1289 Triple::ArchType Arch, RuntimeDyld::MemoryManager &MM,
1290 JITSymbolResolver &Resolver,
1291 bool ProcessAllSections,
1292 RuntimeDyld::NotifyStubEmittedFunction NotifyStubEmitted) {
Lang Hames633fe142015-03-30 03:37:06 +00001293 std::unique_ptr<RuntimeDyldMachO> Dyld =
1294 RuntimeDyldMachO::create(Arch, MM, Resolver);
Lang Hames868d4b32014-03-20 21:06:46 +00001295 Dyld->setProcessAllSections(ProcessAllSections);
Lang Hames941f2472019-04-08 21:50:48 +00001296 Dyld->setNotifyStubEmitted(std::move(NotifyStubEmitted));
Lang Hames868d4b32014-03-20 21:06:46 +00001297 return Dyld;
1298}
1299
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001300std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
1301RuntimeDyld::loadObject(const ObjectFile &Obj) {
1302 if (!Dyld) {
1303 if (Obj.isELF())
Simon Dardisc97cfb62016-12-13 11:39:18 +00001304 Dyld =
1305 createRuntimeDyldELF(static_cast<Triple::ArchType>(Obj.getArch()),
Lang Hames941f2472019-04-08 21:50:48 +00001306 MemMgr, Resolver, ProcessAllSections,
1307 std::move(NotifyStubEmitted));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001308 else if (Obj.isMachO())
Aaron Ballman9fb41142014-11-26 15:27:39 +00001309 Dyld = createRuntimeDyldMachO(
Lang Hames633fe142015-03-30 03:37:06 +00001310 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
Lang Hames941f2472019-04-08 21:50:48 +00001311 ProcessAllSections, std::move(NotifyStubEmitted));
David Majnemer1a666e02015-03-07 20:21:27 +00001312 else if (Obj.isCOFF())
1313 Dyld = createRuntimeDyldCOFF(
Lang Hames633fe142015-03-30 03:37:06 +00001314 static_cast<Triple::ArchType>(Obj.getArch()), MemMgr, Resolver,
Lang Hames941f2472019-04-08 21:50:48 +00001315 ProcessAllSections, std::move(NotifyStubEmitted));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001316 else
1317 report_fatal_error("Incompatible object format!");
Aaron Ballman9fb41142014-11-26 15:27:39 +00001318 }
1319
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001320 if (!Dyld->isCompatibleFile(Obj))
Aaron Ballman9fb41142014-11-26 15:27:39 +00001321 report_fatal_error("Incompatible object format!");
1322
Lang Hamesb0934292016-01-10 23:59:41 +00001323 auto LoadedObjInfo = Dyld->loadObject(Obj);
1324 MemMgr.notifyObjectLoaded(*this, Obj);
1325 return LoadedObjInfo;
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001326}
1327
Lang Hamesb1186032015-03-11 00:43:26 +00001328void *RuntimeDyld::getSymbolLocalAddress(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +00001329 if (!Dyld)
Craig Topper353eda42014-04-24 06:44:33 +00001330 return nullptr;
Lang Hamesb1186032015-03-11 00:43:26 +00001331 return Dyld->getSymbolLocalAddress(Name);
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001332}
1333
Lang Hames941f2472019-04-08 21:50:48 +00001334unsigned RuntimeDyld::getSymbolSectionID(StringRef Name) const {
1335 assert(Dyld && "No RuntimeDyld instance attached");
1336 return Dyld->getSymbolSectionID(Name);
1337}
1338
Lang Hamesad4a9112016-08-01 20:49:11 +00001339JITEvaluatedSymbol RuntimeDyld::getSymbol(StringRef Name) const {
Andrew Kaylorea395922013-10-01 01:47:35 +00001340 if (!Dyld)
Lang Hamesb1186032015-03-11 00:43:26 +00001341 return nullptr;
1342 return Dyld->getSymbol(Name);
Lang Hames6bfd3982015-01-16 23:13:56 +00001343}
1344
Lang Hames313f5902018-03-14 06:25:07 +00001345std::map<StringRef, JITEvaluatedSymbol> RuntimeDyld::getSymbolTable() const {
1346 if (!Dyld)
Lang Hames2d603a12018-03-14 06:39:49 +00001347 return std::map<StringRef, JITEvaluatedSymbol>();
Lang Hames313f5902018-03-14 06:25:07 +00001348 return Dyld->getSymbolTable();
1349}
1350
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001351void RuntimeDyld::resolveRelocations() { Dyld->resolveRelocations(); }
Jim Grosbach733d3052011-04-12 21:20:41 +00001352
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001353void RuntimeDyld::reassignSectionAddress(unsigned SectionID, uint64_t Addr) {
Jim Grosbacheff0a402012-01-16 22:26:39 +00001354 Dyld->reassignSectionAddress(SectionID, Addr);
Jim Grosbach733d3052011-04-12 21:20:41 +00001355}
1356
Jim Grosbach6d613972012-09-13 21:50:06 +00001357void RuntimeDyld::mapSectionAddress(const void *LocalAddress,
Jim Grosbach0ddb3a42012-01-16 23:50:55 +00001358 uint64_t TargetAddress) {
1359 Dyld->mapSectionAddress(LocalAddress, TargetAddress);
1360}
1361
Juergen Ributzka6ff29a72014-03-26 18:19:27 +00001362bool RuntimeDyld::hasError() { return Dyld->hasError(); }
1363
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001364StringRef RuntimeDyld::getErrorString() { return Dyld->getErrorString(); }
Jim Grosbach40411cc2011-03-22 18:19:42 +00001365
Lang Hames859d73c2016-01-09 19:50:40 +00001366void RuntimeDyld::finalizeWithMemoryManagerLocking() {
1367 bool MemoryFinalizationLocked = MemMgr.FinalizationLocked;
1368 MemMgr.FinalizationLocked = true;
1369 resolveRelocations();
1370 registerEHFrames();
1371 if (!MemoryFinalizationLocked) {
1372 MemMgr.finalizeMemory();
1373 MemMgr.FinalizationLocked = false;
1374 }
1375}
1376
Lang Hames941f2472019-04-08 21:50:48 +00001377StringRef RuntimeDyld::getSectionContent(unsigned SectionID) const {
1378 assert(Dyld && "No Dyld instance attached");
1379 return Dyld->getSectionContent(SectionID);
1380}
1381
1382uint64_t RuntimeDyld::getSectionLoadAddress(unsigned SectionID) const {
1383 assert(Dyld && "No Dyld instance attached");
1384 return Dyld->getSectionLoadAddress(SectionID);
1385}
1386
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001387void RuntimeDyld::registerEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +00001388 if (Dyld)
1389 Dyld->registerEHFrames();
1390}
1391
1392void RuntimeDyld::deregisterEHFrames() {
1393 if (Dyld)
1394 Dyld->deregisterEHFrames();
Rafael Espindolafa5942b2013-05-05 20:43:10 +00001395}
Lang Hamesabeedf12018-09-25 22:57:44 +00001396// FIXME: Kill this with fire once we have a new JIT linker: this is only here
1397// so that we can re-use RuntimeDyld's implementation without twisting the
1398// interface any further for ORC's purposes.
1399void jitLinkForORC(object::ObjectFile &Obj,
1400 std::unique_ptr<MemoryBuffer> UnderlyingBuffer,
1401 RuntimeDyld::MemoryManager &MemMgr,
1402 JITSymbolResolver &Resolver, bool ProcessAllSections,
1403 std::function<Error(
1404 std::unique_ptr<RuntimeDyld::LoadedObjectInfo> LoadedObj,
1405 std::map<StringRef, JITEvaluatedSymbol>)>
1406 OnLoaded,
1407 std::function<void(Error)> OnEmitted) {
1408
1409 RuntimeDyld RTDyld(MemMgr, Resolver);
1410 RTDyld.setProcessAllSections(ProcessAllSections);
1411
1412 auto Info = RTDyld.loadObject(Obj);
1413
1414 if (RTDyld.hasError()) {
1415 OnEmitted(make_error<StringError>(RTDyld.getErrorString(),
1416 inconvertibleErrorCode()));
1417 return;
1418 }
1419
1420 if (auto Err = OnLoaded(std::move(Info), RTDyld.getSymbolTable()))
1421 OnEmitted(std::move(Err));
1422
1423 RuntimeDyldImpl::finalizeAsync(std::move(RTDyld.Dyld), std::move(OnEmitted),
1424 std::move(UnderlyingBuffer));
1425}
Rafael Espindolafa5942b2013-05-05 20:43:10 +00001426
Jim Grosbachf016b0a2011-03-21 22:15:52 +00001427} // end namespace llvm