blob: 96b4e127aa6373e58d4ea753aece604b8a4f39dd [file] [log] [blame]
Jim Grosbach06594e12012-01-16 23:50:58 +00001//===-- RuntimeDyldELF.cpp - Run-time dynamic linker for MC-JIT -*- C++ -*-===//
Eli Bendersky4c647582012-01-16 08:56:09 +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 ELF support for the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dyld"
Andrew Kayloradc70562012-10-02 21:18:39 +000015#include "RuntimeDyldELF.h"
16#include "JITRegistrar.h"
17#include "ObjectImageCommon.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000018#include "llvm/ADT/IntervalMap.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/ADT/STLExtras.h"
20#include "llvm/ADT/StringRef.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000021#include "llvm/ADT/Triple.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/ExecutionEngine/ObjectBuffer.h"
23#include "llvm/ExecutionEngine/ObjectImage.h"
Michael J. Spencer126973b2013-08-08 22:27:13 +000024#include "llvm/Object/ELFObjectFile.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/Object/ObjectFile.h"
26#include "llvm/Support/ELF.h"
Lang Hames173c69f2014-01-08 04:09:09 +000027#include "llvm/Support/MemoryBuffer.h"
28
Eli Bendersky4c647582012-01-16 08:56:09 +000029using namespace llvm;
30using namespace llvm::object;
31
Preston Gurdcc31af92012-04-16 22:12:58 +000032namespace {
33
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +000034static inline
35error_code check(error_code Err) {
36 if (Err) {
37 report_fatal_error(Err.message());
38 }
39 return Err;
40}
41
Michael J. Spencer1a791612013-01-15 07:44:25 +000042template<class ELFT>
Michael J. Spencerbae14ce2013-01-04 20:36:28 +000043class DyldELFObject
Michael J. Spencer1a791612013-01-15 07:44:25 +000044 : public ELFObjectFile<ELFT> {
Rafael Espindola035b4162013-04-17 21:20:55 +000045 LLVM_ELF_IMPORT_TYPES_ELFT(ELFT)
Preston Gurdcc31af92012-04-16 22:12:58 +000046
Michael J. Spencer1a791612013-01-15 07:44:25 +000047 typedef Elf_Shdr_Impl<ELFT> Elf_Shdr;
48 typedef Elf_Sym_Impl<ELFT> Elf_Sym;
Michael J. Spencerbae14ce2013-01-04 20:36:28 +000049 typedef
Michael J. Spencer1a791612013-01-15 07:44:25 +000050 Elf_Rel_Impl<ELFT, false> Elf_Rel;
Michael J. Spencerbae14ce2013-01-04 20:36:28 +000051 typedef
Michael J. Spencer1a791612013-01-15 07:44:25 +000052 Elf_Rel_Impl<ELFT, true> Elf_Rela;
Preston Gurdcc31af92012-04-16 22:12:58 +000053
Michael J. Spencer1a791612013-01-15 07:44:25 +000054 typedef Elf_Ehdr_Impl<ELFT> Elf_Ehdr;
Preston Gurdcc31af92012-04-16 22:12:58 +000055
56 typedef typename ELFDataTypeTypedefHelper<
Michael J. Spencer1a791612013-01-15 07:44:25 +000057 ELFT>::value_type addr_type;
Preston Gurdcc31af92012-04-16 22:12:58 +000058
Preston Gurdcc31af92012-04-16 22:12:58 +000059public:
Andrew Kayloradc70562012-10-02 21:18:39 +000060 DyldELFObject(MemoryBuffer *Wrapper, error_code &ec);
Preston Gurdcc31af92012-04-16 22:12:58 +000061
62 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr);
63 void updateSymbolAddress(const SymbolRef &Sym, uint64_t Addr);
64
Andrew Kaylor5c010902012-07-27 17:52:42 +000065 // Methods for type inquiry through isa, cast and dyn_cast
Preston Gurdcc31af92012-04-16 22:12:58 +000066 static inline bool classof(const Binary *v) {
Michael J. Spencer1a791612013-01-15 07:44:25 +000067 return (isa<ELFObjectFile<ELFT> >(v)
Michael J. Spencerbae14ce2013-01-04 20:36:28 +000068 && classof(cast<ELFObjectFile
Michael J. Spencer1a791612013-01-15 07:44:25 +000069 <ELFT> >(v)));
Preston Gurdcc31af92012-04-16 22:12:58 +000070 }
71 static inline bool classof(
Michael J. Spencer1a791612013-01-15 07:44:25 +000072 const ELFObjectFile<ELFT> *v) {
Preston Gurdcc31af92012-04-16 22:12:58 +000073 return v->isDyldType();
74 }
Preston Gurdcc31af92012-04-16 22:12:58 +000075};
76
Michael J. Spencer1a791612013-01-15 07:44:25 +000077template<class ELFT>
Andrew Kayloradc70562012-10-02 21:18:39 +000078class ELFObjectImage : public ObjectImageCommon {
Preston Gurdcc31af92012-04-16 22:12:58 +000079 protected:
Michael J. Spencer1a791612013-01-15 07:44:25 +000080 DyldELFObject<ELFT> *DyldObj;
Preston Gurdcc31af92012-04-16 22:12:58 +000081 bool Registered;
82
83 public:
Andrew Kayloradc70562012-10-02 21:18:39 +000084 ELFObjectImage(ObjectBuffer *Input,
Michael J. Spencer1a791612013-01-15 07:44:25 +000085 DyldELFObject<ELFT> *Obj)
Andrew Kayloradc70562012-10-02 21:18:39 +000086 : ObjectImageCommon(Input, Obj),
Preston Gurdcc31af92012-04-16 22:12:58 +000087 DyldObj(Obj),
88 Registered(false) {}
89
90 virtual ~ELFObjectImage() {
91 if (Registered)
92 deregisterWithDebugger();
93 }
94
95 // Subclasses can override these methods to update the image with loaded
96 // addresses for sections and common symbols
Craig Topperb51ff602014-03-08 07:51:20 +000097 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr) override {
Preston Gurdcc31af92012-04-16 22:12:58 +000098 DyldObj->updateSectionAddress(Sec, Addr);
99 }
100
Craig Topperb51ff602014-03-08 07:51:20 +0000101 void updateSymbolAddress(const SymbolRef &Sym, uint64_t Addr) override {
Preston Gurdcc31af92012-04-16 22:12:58 +0000102 DyldObj->updateSymbolAddress(Sym, Addr);
103 }
104
Craig Topperb51ff602014-03-08 07:51:20 +0000105 void registerWithDebugger() override {
Andrew Kayloradc70562012-10-02 21:18:39 +0000106 JITRegistrar::getGDBRegistrar().registerObject(*Buffer);
Preston Gurdcc31af92012-04-16 22:12:58 +0000107 Registered = true;
108 }
Craig Topperb51ff602014-03-08 07:51:20 +0000109 void deregisterWithDebugger() override {
Andrew Kayloradc70562012-10-02 21:18:39 +0000110 JITRegistrar::getGDBRegistrar().deregisterObject(*Buffer);
Preston Gurdcc31af92012-04-16 22:12:58 +0000111 }
112};
113
Andrew Kayloradc70562012-10-02 21:18:39 +0000114// The MemoryBuffer passed into this constructor is just a wrapper around the
115// actual memory. Ultimately, the Binary parent class will take ownership of
116// this MemoryBuffer object but not the underlying memory.
Michael J. Spencer1a791612013-01-15 07:44:25 +0000117template<class ELFT>
118DyldELFObject<ELFT>::DyldELFObject(MemoryBuffer *Wrapper, error_code &ec)
119 : ELFObjectFile<ELFT>(Wrapper, ec) {
Preston Gurdcc31af92012-04-16 22:12:58 +0000120 this->isDyldELFObject = true;
121}
122
Michael J. Spencer1a791612013-01-15 07:44:25 +0000123template<class ELFT>
124void DyldELFObject<ELFT>::updateSectionAddress(const SectionRef &Sec,
125 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +0000126 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
127 Elf_Shdr *shdr = const_cast<Elf_Shdr*>(
128 reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
129
130 // This assumes the address passed in matches the target address bitness
131 // The template-based type cast handles everything else.
132 shdr->sh_addr = static_cast<addr_type>(Addr);
133}
134
Michael J. Spencer1a791612013-01-15 07:44:25 +0000135template<class ELFT>
136void DyldELFObject<ELFT>::updateSymbolAddress(const SymbolRef &SymRef,
137 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +0000138
139 Elf_Sym *sym = const_cast<Elf_Sym*>(
Michael J. Spencer1a791612013-01-15 07:44:25 +0000140 ELFObjectFile<ELFT>::getSymbol(SymRef.getRawDataRefImpl()));
Preston Gurdcc31af92012-04-16 22:12:58 +0000141
142 // This assumes the address passed in matches the target address bitness
143 // The template-based type cast handles everything else.
144 sym->st_value = static_cast<addr_type>(Addr);
145}
146
147} // namespace
148
Eli Bendersky4c647582012-01-16 08:56:09 +0000149namespace llvm {
150
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000151void RuntimeDyldELF::registerEHFrames() {
152 if (!MemMgr)
153 return;
154 for (int i = 0, e = UnregisteredEHFrameSections.size(); i != e; ++i) {
155 SID EHFrameSID = UnregisteredEHFrameSections[i];
156 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
157 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
158 size_t EHFrameSize = Sections[EHFrameSID].Size;
159 MemMgr->registerEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Andrew Kaylorc442a762013-10-16 00:14:21 +0000160 RegisteredEHFrameSections.push_back(EHFrameSID);
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000161 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000162 UnregisteredEHFrameSections.clear();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000163}
164
Andrew Kaylorc442a762013-10-16 00:14:21 +0000165void RuntimeDyldELF::deregisterEHFrames() {
166 if (!MemMgr)
167 return;
168 for (int i = 0, e = RegisteredEHFrameSections.size(); i != e; ++i) {
169 SID EHFrameSID = RegisteredEHFrameSections[i];
170 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
171 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
172 size_t EHFrameSize = Sections[EHFrameSID].Size;
173 MemMgr->deregisterEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
174 }
175 RegisteredEHFrameSections.clear();
176}
177
Lang Hames173c69f2014-01-08 04:09:09 +0000178ObjectImage *RuntimeDyldELF::createObjectImageFromFile(object::ObjectFile *ObjFile) {
179 if (!ObjFile)
180 return NULL;
181
182 error_code ec;
183 MemoryBuffer* Buffer = MemoryBuffer::getMemBuffer(ObjFile->getData(),
184 "",
185 false);
186
187 if (ObjFile->getBytesInAddress() == 4 && ObjFile->isLittleEndian()) {
188 DyldELFObject<ELFType<support::little, 2, false> > *Obj =
189 new DyldELFObject<ELFType<support::little, 2, false> >(Buffer, ec);
190 return new ELFObjectImage<ELFType<support::little, 2, false> >(NULL, Obj);
191 }
192 else if (ObjFile->getBytesInAddress() == 4 && !ObjFile->isLittleEndian()) {
193 DyldELFObject<ELFType<support::big, 2, false> > *Obj =
194 new DyldELFObject<ELFType<support::big, 2, false> >(Buffer, ec);
195 return new ELFObjectImage<ELFType<support::big, 2, false> >(NULL, Obj);
196 }
197 else if (ObjFile->getBytesInAddress() == 8 && !ObjFile->isLittleEndian()) {
198 DyldELFObject<ELFType<support::big, 2, true> > *Obj =
199 new DyldELFObject<ELFType<support::big, 2, true> >(Buffer, ec);
200 return new ELFObjectImage<ELFType<support::big, 2, true> >(NULL, Obj);
201 }
202 else if (ObjFile->getBytesInAddress() == 8 && ObjFile->isLittleEndian()) {
203 DyldELFObject<ELFType<support::little, 2, true> > *Obj =
204 new DyldELFObject<ELFType<support::little, 2, true> >(Buffer, ec);
205 return new ELFObjectImage<ELFType<support::little, 2, true> >(NULL, Obj);
206 }
207 else
208 llvm_unreachable("Unexpected ELF format");
209}
210
Andrew Kayloradc70562012-10-02 21:18:39 +0000211ObjectImage *RuntimeDyldELF::createObjectImage(ObjectBuffer *Buffer) {
212 if (Buffer->getBufferSize() < ELF::EI_NIDENT)
213 llvm_unreachable("Unexpected ELF object size");
214 std::pair<unsigned char, unsigned char> Ident = std::make_pair(
215 (uint8_t)Buffer->getBufferStart()[ELF::EI_CLASS],
216 (uint8_t)Buffer->getBufferStart()[ELF::EI_DATA]);
Preston Gurdcc31af92012-04-16 22:12:58 +0000217 error_code ec;
218
219 if (Ident.first == ELF::ELFCLASS32 && Ident.second == ELF::ELFDATA2LSB) {
Michael J. Spencer1a791612013-01-15 07:44:25 +0000220 DyldELFObject<ELFType<support::little, 4, false> > *Obj =
221 new DyldELFObject<ELFType<support::little, 4, false> >(
222 Buffer->getMemBuffer(), ec);
223 return new ELFObjectImage<ELFType<support::little, 4, false> >(Buffer, Obj);
Preston Gurdcc31af92012-04-16 22:12:58 +0000224 }
225 else if (Ident.first == ELF::ELFCLASS32 && Ident.second == ELF::ELFDATA2MSB) {
Michael J. Spencer1a791612013-01-15 07:44:25 +0000226 DyldELFObject<ELFType<support::big, 4, false> > *Obj =
227 new DyldELFObject<ELFType<support::big, 4, false> >(
228 Buffer->getMemBuffer(), ec);
229 return new ELFObjectImage<ELFType<support::big, 4, false> >(Buffer, Obj);
Preston Gurdcc31af92012-04-16 22:12:58 +0000230 }
231 else if (Ident.first == ELF::ELFCLASS64 && Ident.second == ELF::ELFDATA2MSB) {
Michael J. Spencer1a791612013-01-15 07:44:25 +0000232 DyldELFObject<ELFType<support::big, 8, true> > *Obj =
233 new DyldELFObject<ELFType<support::big, 8, true> >(
234 Buffer->getMemBuffer(), ec);
235 return new ELFObjectImage<ELFType<support::big, 8, true> >(Buffer, Obj);
Preston Gurdcc31af92012-04-16 22:12:58 +0000236 }
237 else if (Ident.first == ELF::ELFCLASS64 && Ident.second == ELF::ELFDATA2LSB) {
Michael J. Spencer1a791612013-01-15 07:44:25 +0000238 DyldELFObject<ELFType<support::little, 8, true> > *Obj =
239 new DyldELFObject<ELFType<support::little, 8, true> >(
240 Buffer->getMemBuffer(), ec);
241 return new ELFObjectImage<ELFType<support::little, 8, true> >(Buffer, Obj);
Preston Gurdcc31af92012-04-16 22:12:58 +0000242 }
243 else
244 llvm_unreachable("Unexpected ELF format");
245}
246
Preston Gurdcc31af92012-04-16 22:12:58 +0000247RuntimeDyldELF::~RuntimeDyldELF() {
Preston Gurdcc31af92012-04-16 22:12:58 +0000248}
Eli Bendersky4c647582012-01-16 08:56:09 +0000249
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000250void RuntimeDyldELF::resolveX86_64Relocation(const SectionEntry &Section,
251 uint64_t Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000252 uint64_t Value,
253 uint32_t Type,
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000254 int64_t Addend,
255 uint64_t SymOffset) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000256 switch (Type) {
257 default:
258 llvm_unreachable("Relocation type not implemented yet!");
259 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000260 case ELF::R_X86_64_64: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000261 uint64_t *Target = reinterpret_cast<uint64_t*>(Section.Address + Offset);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000262 *Target = Value + Addend;
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000263 DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend))
264 << " at " << format("%p\n",Target));
Eli Bendersky4c647582012-01-16 08:56:09 +0000265 break;
266 }
267 case ELF::R_X86_64_32:
268 case ELF::R_X86_64_32S: {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000269 Value += Addend;
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000270 assert((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) ||
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000271 (Type == ELF::R_X86_64_32S &&
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000272 ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000273 uint32_t TruncatedAddr = (Value & 0xFFFFFFFF);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000274 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
Eli Bendersky4c647582012-01-16 08:56:09 +0000275 *Target = TruncatedAddr;
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000276 DEBUG(dbgs() << "Writing " << format("%p", TruncatedAddr)
277 << " at " << format("%p\n",Target));
Eli Bendersky4c647582012-01-16 08:56:09 +0000278 break;
279 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000280 case ELF::R_X86_64_GOTPCREL: {
281 // findGOTEntry returns the 'G + GOT' part of the relocation calculation
282 // based on the load/target address of the GOT (not the current/local addr).
283 uint64_t GOTAddr = findGOTEntry(Value, SymOffset);
284 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
285 uint64_t FinalAddress = Section.LoadAddress + Offset;
286 // The processRelocationRef method combines the symbol offset and the addend
287 // and in most cases that's what we want. For this relocation type, we need
288 // the raw addend, so we subtract the symbol offset to get it.
289 int64_t RealOffset = GOTAddr + Addend - SymOffset - FinalAddress;
290 assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN);
291 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
292 *Target = TruncOffset;
293 break;
294 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000295 case ELF::R_X86_64_PC32: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000296 // Get the placeholder value from the generated object since
297 // a previous relocation attempt may have overwritten the loaded version
298 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
299 + Offset);
300 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
301 uint64_t FinalAddress = Section.LoadAddress + Offset;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000302 int64_t RealOffset = *Placeholder + Value + Addend - FinalAddress;
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000303 assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000304 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000305 *Target = TruncOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000306 break;
307 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000308 case ELF::R_X86_64_PC64: {
309 // Get the placeholder value from the generated object since
310 // a previous relocation attempt may have overwritten the loaded version
311 uint64_t *Placeholder = reinterpret_cast<uint64_t*>(Section.ObjAddress
312 + Offset);
313 uint64_t *Target = reinterpret_cast<uint64_t*>(Section.Address + Offset);
314 uint64_t FinalAddress = Section.LoadAddress + Offset;
315 *Target = *Placeholder + Value + Addend - FinalAddress;
316 break;
317 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000318 }
319}
320
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000321void RuntimeDyldELF::resolveX86Relocation(const SectionEntry &Section,
322 uint64_t Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000323 uint32_t Value,
324 uint32_t Type,
325 int32_t Addend) {
326 switch (Type) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000327 case ELF::R_386_32: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000328 // Get the placeholder value from the generated object since
329 // a previous relocation attempt may have overwritten the loaded version
330 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
331 + Offset);
332 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
333 *Target = *Placeholder + Value + Addend;
Eli Bendersky4c647582012-01-16 08:56:09 +0000334 break;
335 }
336 case ELF::R_386_PC32: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000337 // Get the placeholder value from the generated object since
338 // a previous relocation attempt may have overwritten the loaded version
339 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
340 + Offset);
341 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
342 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000343 uint32_t RealOffset = *Placeholder + Value + Addend - FinalAddress;
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000344 *Target = RealOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000345 break;
346 }
347 default:
348 // There are other relocation types, but it appears these are the
Andrew Kaylor782d5c42012-07-27 18:39:47 +0000349 // only ones currently used by the LLVM ELF object writer
Craig Toppera2886c22012-02-07 05:05:23 +0000350 llvm_unreachable("Relocation type not implemented yet!");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000351 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000352 }
353}
354
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000355void RuntimeDyldELF::resolveAArch64Relocation(const SectionEntry &Section,
356 uint64_t Offset,
357 uint64_t Value,
358 uint32_t Type,
359 int64_t Addend) {
360 uint32_t *TargetPtr = reinterpret_cast<uint32_t*>(Section.Address + Offset);
361 uint64_t FinalAddress = Section.LoadAddress + Offset;
362
363 DEBUG(dbgs() << "resolveAArch64Relocation, LocalAddress: 0x"
364 << format("%llx", Section.Address + Offset)
365 << " FinalAddress: 0x" << format("%llx",FinalAddress)
366 << " Value: 0x" << format("%llx",Value)
367 << " Type: 0x" << format("%x",Type)
368 << " Addend: 0x" << format("%llx",Addend)
369 << "\n");
370
371 switch (Type) {
372 default:
373 llvm_unreachable("Relocation type not implemented yet!");
374 break;
Tim Northoverb23d8db2013-05-04 20:14:14 +0000375 case ELF::R_AARCH64_ABS64: {
376 uint64_t *TargetPtr = reinterpret_cast<uint64_t*>(Section.Address + Offset);
377 *TargetPtr = Value + Addend;
378 break;
379 }
Tim Northover5959ea32013-05-19 15:39:03 +0000380 case ELF::R_AARCH64_PREL32: {
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000381 uint64_t Result = Value + Addend - FinalAddress;
Michael J. Spencer126973b2013-08-08 22:27:13 +0000382 assert(static_cast<int64_t>(Result) >= INT32_MIN &&
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000383 static_cast<int64_t>(Result) <= UINT32_MAX);
384 *TargetPtr = static_cast<uint32_t>(Result & 0xffffffffU);
385 break;
386 }
Tim Northover37cde972013-05-04 20:14:09 +0000387 case ELF::R_AARCH64_CALL26: // fallthrough
388 case ELF::R_AARCH64_JUMP26: {
389 // Operation: S+A-P. Set Call or B immediate value to bits fff_fffc of the
390 // calculation.
391 uint64_t BranchImm = Value + Addend - FinalAddress;
392
393 // "Check that -2^27 <= result < 2^27".
Michael J. Spencer126973b2013-08-08 22:27:13 +0000394 assert(-(1LL << 27) <= static_cast<int64_t>(BranchImm) &&
Tim Northover37cde972013-05-04 20:14:09 +0000395 static_cast<int64_t>(BranchImm) < (1LL << 27));
Tim Northover5959ea32013-05-19 15:39:03 +0000396
397 // AArch64 code is emitted with .rela relocations. The data already in any
398 // bits affected by the relocation on entry is garbage.
399 *TargetPtr &= 0xfc000000U;
Tim Northover37cde972013-05-04 20:14:09 +0000400 // Immediate goes in bits 25:0 of B and BL.
401 *TargetPtr |= static_cast<uint32_t>(BranchImm & 0xffffffcU) >> 2;
402 break;
403 }
Tim Northover4d01c1e2013-05-04 20:14:04 +0000404 case ELF::R_AARCH64_MOVW_UABS_G3: {
405 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000406
407 // AArch64 code is emitted with .rela relocations. The data already in any
408 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000409 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000410 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
411 *TargetPtr |= Result >> (48 - 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000412 // Shift must be "lsl #48", in bits 22:21
413 assert((*TargetPtr >> 21 & 0x3) == 3 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000414 break;
415 }
416 case ELF::R_AARCH64_MOVW_UABS_G2_NC: {
417 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000418
Tim Northover5959ea32013-05-19 15:39:03 +0000419 // AArch64 code is emitted with .rela relocations. The data already in any
420 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000421 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000422 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
423 *TargetPtr |= ((Result & 0xffff00000000ULL) >> (32 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000424 // Shift must be "lsl #32", in bits 22:21
425 assert((*TargetPtr >> 21 & 0x3) == 2 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000426 break;
427 }
428 case ELF::R_AARCH64_MOVW_UABS_G1_NC: {
429 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000430
431 // AArch64 code is emitted with .rela relocations. The data already in any
432 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000433 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000434 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
435 *TargetPtr |= ((Result & 0xffff0000U) >> (16 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000436 // Shift must be "lsl #16", in bits 22:2
437 assert((*TargetPtr >> 21 & 0x3) == 1 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000438 break;
439 }
440 case ELF::R_AARCH64_MOVW_UABS_G0_NC: {
441 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000442
443 // AArch64 code is emitted with .rela relocations. The data already in any
444 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000445 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000446 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
447 *TargetPtr |= ((Result & 0xffffU) << 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000448 // Shift must be "lsl #0", in bits 22:21.
449 assert((*TargetPtr >> 21 & 0x3) == 0 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000450 break;
451 }
Bradley Smith9d808492014-02-11 12:59:09 +0000452 case ELF::R_AARCH64_ADR_PREL_PG_HI21: {
453 // Operation: Page(S+A) - Page(P)
454 uint64_t Result = ((Value + Addend) & ~0xfffULL) - (FinalAddress & ~0xfffULL);
455
456 // Check that -2^32 <= X < 2^32
457 assert(static_cast<int64_t>(Result) >= (-1LL << 32) &&
458 static_cast<int64_t>(Result) < (1LL << 32) &&
459 "overflow check failed for relocation");
460
461 // AArch64 code is emitted with .rela relocations. The data already in any
462 // bits affected by the relocation on entry is garbage.
463 *TargetPtr &= 0x9f00001fU;
464 // Immediate goes in bits 30:29 + 5:23 of ADRP instruction, taken
465 // from bits 32:12 of X.
466 *TargetPtr |= ((Result & 0x3000U) << (29 - 12));
467 *TargetPtr |= ((Result & 0x1ffffc000ULL) >> (14 - 5));
468 break;
469 }
470 case ELF::R_AARCH64_LDST32_ABS_LO12_NC: {
471 // Operation: S + A
472 uint64_t Result = Value + Addend;
473
474 // AArch64 code is emitted with .rela relocations. The data already in any
475 // bits affected by the relocation on entry is garbage.
476 *TargetPtr &= 0xffc003ffU;
477 // Immediate goes in bits 21:10 of LD/ST instruction, taken
478 // from bits 11:2 of X
479 *TargetPtr |= ((Result & 0xffc) << (10 - 2));
480 break;
481 }
482 case ELF::R_AARCH64_LDST64_ABS_LO12_NC: {
483 // Operation: S + A
484 uint64_t Result = Value + Addend;
485
486 // AArch64 code is emitted with .rela relocations. The data already in any
487 // bits affected by the relocation on entry is garbage.
488 *TargetPtr &= 0xffc003ffU;
489 // Immediate goes in bits 21:10 of LD/ST instruction, taken
490 // from bits 11:3 of X
491 *TargetPtr |= ((Result & 0xff8) << (10 - 3));
492 break;
493 }
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000494 }
495}
496
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000497void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
498 uint64_t Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000499 uint32_t Value,
500 uint32_t Type,
501 int32_t Addend) {
502 // TODO: Add Thumb relocations.
Tim Northover3b684d82013-05-28 19:48:19 +0000503 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress +
504 Offset);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000505 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
506 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000507 Value += Addend;
508
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000509 DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
510 << Section.Address + Offset
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000511 << " FinalAddress: " << format("%p",FinalAddress)
512 << " Value: " << format("%x",Value)
513 << " Type: " << format("%x",Type)
514 << " Addend: " << format("%x",Addend)
515 << "\n");
516
517 switch(Type) {
518 default:
519 llvm_unreachable("Not implemented relocation type!");
520
Renato Golin8cea6e82014-01-29 11:50:56 +0000521 case ELF::R_ARM_NONE:
522 break;
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000523 // Write a 32bit value to relocation address, taking into account the
Tim Northover471cbb72012-10-03 16:29:42 +0000524 // implicit addend encoded in the target.
Renato Golin8cea6e82014-01-29 11:50:56 +0000525 case ELF::R_ARM_PREL31:
Tim Northover3b684d82013-05-28 19:48:19 +0000526 case ELF::R_ARM_TARGET1:
527 case ELF::R_ARM_ABS32:
528 *TargetPtr = *Placeholder + Value;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000529 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000530 // Write first 16 bit of 32 bit value to the mov instruction.
531 // Last 4 bit should be shifted.
Tim Northover3b684d82013-05-28 19:48:19 +0000532 case ELF::R_ARM_MOVW_ABS_NC:
Tim Northover471cbb72012-10-03 16:29:42 +0000533 // We are not expecting any other addend in the relocation address.
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000534 // Using 0x000F0FFF because MOVW has its 16 bit immediate split into 2
Tim Northover471cbb72012-10-03 16:29:42 +0000535 // non-contiguous fields.
Tim Northover3b684d82013-05-28 19:48:19 +0000536 assert((*Placeholder & 0x000F0FFF) == 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000537 Value = Value & 0xFFFF;
Tim Northover3b684d82013-05-28 19:48:19 +0000538 *TargetPtr = *Placeholder | (Value & 0xFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000539 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
540 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000541 // Write last 16 bit of 32 bit value to the mov instruction.
542 // Last 4 bit should be shifted.
Tim Northover3b684d82013-05-28 19:48:19 +0000543 case ELF::R_ARM_MOVT_ABS:
Tim Northover471cbb72012-10-03 16:29:42 +0000544 // We are not expecting any other addend in the relocation address.
545 // Use 0x000F0FFF for the same reason as R_ARM_MOVW_ABS_NC.
Tim Northover3b684d82013-05-28 19:48:19 +0000546 assert((*Placeholder & 0x000F0FFF) == 0);
547
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000548 Value = (Value >> 16) & 0xFFFF;
Tim Northover3b684d82013-05-28 19:48:19 +0000549 *TargetPtr = *Placeholder | (Value & 0xFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000550 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
551 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000552 // Write 24 bit relative value to the branch instruction.
553 case ELF::R_ARM_PC24 : // Fall through.
554 case ELF::R_ARM_CALL : // Fall through.
Tim Northover3b684d82013-05-28 19:48:19 +0000555 case ELF::R_ARM_JUMP24: {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000556 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
557 RelValue = (RelValue & 0x03FFFFFC) >> 2;
Tim Northover3b684d82013-05-28 19:48:19 +0000558 assert((*TargetPtr & 0xFFFFFF) == 0xFFFFFE);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000559 *TargetPtr &= 0xFF000000;
560 *TargetPtr |= RelValue;
561 break;
562 }
Tim Northover3b684d82013-05-28 19:48:19 +0000563 case ELF::R_ARM_PRIVATE_0:
564 // This relocation is reserved by the ARM ELF ABI for internal use. We
565 // appropriate it here to act as an R_ARM_ABS32 without any addend for use
566 // in the stubs created during JIT (which can't put an addend into the
567 // original object file).
568 *TargetPtr = Value;
569 break;
570 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000571}
572
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000573void RuntimeDyldELF::resolveMIPSRelocation(const SectionEntry &Section,
574 uint64_t Offset,
Akira Hatanaka11dfbe12012-08-20 17:53:24 +0000575 uint32_t Value,
576 uint32_t Type,
577 int32_t Addend) {
Akira Hatanaka2e236242013-07-24 01:58:40 +0000578 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress +
579 Offset);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000580 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000581 Value += Addend;
582
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000583 DEBUG(dbgs() << "resolveMipselocation, LocalAddress: "
584 << Section.Address + Offset
585 << " FinalAddress: "
586 << format("%p",Section.LoadAddress + Offset)
Akira Hatanaka111174b2012-08-17 21:28:04 +0000587 << " Value: " << format("%x",Value)
588 << " Type: " << format("%x",Type)
589 << " Addend: " << format("%x",Addend)
590 << "\n");
591
592 switch(Type) {
593 default:
594 llvm_unreachable("Not implemented relocation type!");
595 break;
596 case ELF::R_MIPS_32:
Akira Hatanaka2e236242013-07-24 01:58:40 +0000597 *TargetPtr = Value + (*Placeholder);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000598 break;
599 case ELF::R_MIPS_26:
Akira Hatanaka2e236242013-07-24 01:58:40 +0000600 *TargetPtr = ((*Placeholder) & 0xfc000000) | (( Value & 0x0fffffff) >> 2);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000601 break;
602 case ELF::R_MIPS_HI16:
603 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
Akira Hatanaka2e236242013-07-24 01:58:40 +0000604 Value += ((*Placeholder) & 0x0000ffff) << 16;
605 *TargetPtr = ((*Placeholder) & 0xffff0000) |
606 (((Value + 0x8000) >> 16) & 0xffff);
607 break;
608 case ELF::R_MIPS_LO16:
609 Value += ((*Placeholder) & 0x0000ffff);
610 *TargetPtr = ((*Placeholder) & 0xffff0000) | (Value & 0xffff);
611 break;
612 case ELF::R_MIPS_UNUSED1:
613 // Similar to ELF::R_ARM_PRIVATE_0, R_MIPS_UNUSED1 and R_MIPS_UNUSED2
614 // are used for internal JIT purpose. These relocations are similar to
615 // R_MIPS_HI16 and R_MIPS_LO16, but they do not take any addend into
616 // account.
Akira Hatanaka111174b2012-08-17 21:28:04 +0000617 *TargetPtr = ((*TargetPtr) & 0xffff0000) |
618 (((Value + 0x8000) >> 16) & 0xffff);
619 break;
Akira Hatanaka2e236242013-07-24 01:58:40 +0000620 case ELF::R_MIPS_UNUSED2:
Akira Hatanaka111174b2012-08-17 21:28:04 +0000621 *TargetPtr = ((*TargetPtr) & 0xffff0000) | (Value & 0xffff);
622 break;
623 }
624}
625
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000626// Return the .TOC. section address to R_PPC64_TOC relocations.
627uint64_t RuntimeDyldELF::findPPC64TOC() const {
628 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
629 // order. The TOC starts where the first of these sections starts.
630 SectionList::const_iterator it = Sections.begin();
631 SectionList::const_iterator ite = Sections.end();
632 for (; it != ite; ++it) {
633 if (it->Name == ".got" ||
634 it->Name == ".toc" ||
635 it->Name == ".tocbss" ||
636 it->Name == ".plt")
637 break;
638 }
639 if (it == ite) {
640 // This may happen for
641 // * references to TOC base base (sym@toc, .odp relocation) without
642 // a .toc directive.
643 // In this case just use the first section (which is usually
644 // the .odp) since the code won't reference the .toc base
645 // directly.
646 it = Sections.begin();
647 }
648 assert (it != ite);
649 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
650 // thus permitting a full 64 Kbytes segment.
651 return it->LoadAddress + 0x8000;
652}
653
654// Returns the sections and offset associated with the ODP entry referenced
655// by Symbol.
656void RuntimeDyldELF::findOPDEntrySection(ObjectImage &Obj,
657 ObjSectionToIDMap &LocalSections,
658 RelocationValueRef &Rel) {
659 // Get the ELF symbol value (st_value) to compare with Relocation offset in
660 // .opd entries
Rafael Espindola5e812af2014-01-30 02:49:50 +0000661 for (section_iterator si = Obj.begin_sections(), se = Obj.end_sections();
662 si != se; ++si) {
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000663 section_iterator RelSecI = si->getRelocatedSection();
664 if (RelSecI == Obj.end_sections())
665 continue;
666
667 StringRef RelSectionName;
668 check(RelSecI->getName(RelSectionName));
669 if (RelSectionName != ".opd")
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000670 continue;
671
Rafael Espindolab5155a52014-02-10 20:24:04 +0000672 for (relocation_iterator i = si->relocation_begin(),
673 e = si->relocation_end(); i != e;) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000674 // The R_PPC64_ADDR64 relocation indicates the first field
675 // of a .opd entry
676 uint64_t TypeFunc;
677 check(i->getType(TypeFunc));
678 if (TypeFunc != ELF::R_PPC64_ADDR64) {
Rafael Espindola5e812af2014-01-30 02:49:50 +0000679 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000680 continue;
681 }
682
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000683 uint64_t TargetSymbolOffset;
Rafael Espindola806f0062013-06-05 01:33:53 +0000684 symbol_iterator TargetSymbol = i->getSymbol();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000685 check(i->getOffset(TargetSymbolOffset));
Rafael Espindola0d15f732013-05-09 03:39:05 +0000686 int64_t Addend;
687 check(getELFRelocationAddend(*i, Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000688
Rafael Espindola5e812af2014-01-30 02:49:50 +0000689 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000690 if (i == e)
691 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000692
693 // Just check if following relocation is a R_PPC64_TOC
694 uint64_t TypeTOC;
695 check(i->getType(TypeTOC));
696 if (TypeTOC != ELF::R_PPC64_TOC)
697 continue;
698
699 // Finally compares the Symbol value and the target symbol offset
700 // to check if this .opd entry refers to the symbol the relocation
701 // points to.
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000702 if (Rel.Addend != (int64_t)TargetSymbolOffset)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000703 continue;
704
705 section_iterator tsi(Obj.end_sections());
Rafael Espindola806f0062013-06-05 01:33:53 +0000706 check(TargetSymbol->getSection(tsi));
Lang Hames9b2dc932014-02-18 21:46:39 +0000707 bool IsCode = false;
708 tsi->isText(IsCode);
709 Rel.SectionID = findOrEmitSection(Obj, (*tsi), IsCode, LocalSections);
Rafael Espindola0d15f732013-05-09 03:39:05 +0000710 Rel.Addend = (intptr_t)Addend;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000711 return;
712 }
713 }
714 llvm_unreachable("Attempting to get address of ODP entry!");
715}
716
717// Relocation masks following the #lo(value), #hi(value), #higher(value),
718// and #highest(value) macros defined in section 4.5.1. Relocation Types
719// in PPC-elf64abi document.
720//
721static inline
722uint16_t applyPPClo (uint64_t value)
723{
724 return value & 0xffff;
725}
726
727static inline
728uint16_t applyPPChi (uint64_t value)
729{
730 return (value >> 16) & 0xffff;
731}
732
733static inline
734uint16_t applyPPChigher (uint64_t value)
735{
736 return (value >> 32) & 0xffff;
737}
738
739static inline
740uint16_t applyPPChighest (uint64_t value)
741{
742 return (value >> 48) & 0xffff;
743}
744
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000745void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
746 uint64_t Offset,
747 uint64_t Value,
748 uint32_t Type,
749 int64_t Addend) {
750 uint8_t* LocalAddress = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000751 switch (Type) {
752 default:
753 llvm_unreachable("Relocation type not implemented yet!");
754 break;
755 case ELF::R_PPC64_ADDR16_LO :
756 writeInt16BE(LocalAddress, applyPPClo (Value + Addend));
757 break;
758 case ELF::R_PPC64_ADDR16_HI :
759 writeInt16BE(LocalAddress, applyPPChi (Value + Addend));
760 break;
761 case ELF::R_PPC64_ADDR16_HIGHER :
762 writeInt16BE(LocalAddress, applyPPChigher (Value + Addend));
763 break;
764 case ELF::R_PPC64_ADDR16_HIGHEST :
765 writeInt16BE(LocalAddress, applyPPChighest (Value + Addend));
766 break;
767 case ELF::R_PPC64_ADDR14 : {
768 assert(((Value + Addend) & 3) == 0);
769 // Preserve the AA/LK bits in the branch instruction
770 uint8_t aalk = *(LocalAddress+3);
771 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
772 } break;
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000773 case ELF::R_PPC64_ADDR32 : {
774 int32_t Result = static_cast<int32_t>(Value + Addend);
775 if (SignExtend32<32>(Result) != Result)
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000776 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000777 writeInt32BE(LocalAddress, Result);
778 } break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000779 case ELF::R_PPC64_REL24 : {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000780 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000781 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
782 if (SignExtend32<24>(delta) != delta)
783 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
784 // Generates a 'bl <address>' instruction
785 writeInt32BE(LocalAddress, 0x48000001 | (delta & 0x03FFFFFC));
786 } break;
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000787 case ELF::R_PPC64_REL32 : {
788 uint64_t FinalAddress = (Section.LoadAddress + Offset);
789 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
790 if (SignExtend32<32>(delta) != delta)
791 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
792 writeInt32BE(LocalAddress, delta);
793 } break;
Adhemerval Zanellae8bd03d2013-05-06 17:21:23 +0000794 case ELF::R_PPC64_REL64: {
795 uint64_t FinalAddress = (Section.LoadAddress + Offset);
796 uint64_t Delta = Value - FinalAddress + Addend;
797 writeInt64BE(LocalAddress, Delta);
798 } break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000799 case ELF::R_PPC64_ADDR64 :
800 writeInt64BE(LocalAddress, Value + Addend);
801 break;
802 case ELF::R_PPC64_TOC :
803 writeInt64BE(LocalAddress, findPPC64TOC());
804 break;
805 case ELF::R_PPC64_TOC16 : {
806 uint64_t TOCStart = findPPC64TOC();
807 Value = applyPPClo((Value + Addend) - TOCStart);
808 writeInt16BE(LocalAddress, applyPPClo(Value));
809 } break;
810 case ELF::R_PPC64_TOC16_DS : {
811 uint64_t TOCStart = findPPC64TOC();
812 Value = ((Value + Addend) - TOCStart);
813 writeInt16BE(LocalAddress, applyPPClo(Value));
814 } break;
815 }
816}
817
Richard Sandifordca044082013-05-03 14:15:35 +0000818void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
819 uint64_t Offset,
820 uint64_t Value,
821 uint32_t Type,
822 int64_t Addend) {
823 uint8_t *LocalAddress = Section.Address + Offset;
824 switch (Type) {
825 default:
826 llvm_unreachable("Relocation type not implemented yet!");
827 break;
828 case ELF::R_390_PC16DBL:
829 case ELF::R_390_PLT16DBL: {
830 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
831 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
832 writeInt16BE(LocalAddress, Delta / 2);
833 break;
834 }
835 case ELF::R_390_PC32DBL:
836 case ELF::R_390_PLT32DBL: {
837 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
838 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
839 writeInt32BE(LocalAddress, Delta / 2);
840 break;
841 }
842 case ELF::R_390_PC32: {
843 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
844 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
845 writeInt32BE(LocalAddress, Delta);
846 break;
847 }
848 case ELF::R_390_64:
849 writeInt64BE(LocalAddress, Value + Addend);
850 break;
851 }
852}
853
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000854// The target location for the relocation is described by RE.SectionID and
855// RE.Offset. RE.SectionID can be used to find the SectionEntry. Each
856// SectionEntry has three members describing its location.
857// SectionEntry::Address is the address at which the section has been loaded
858// into memory in the current (host) process. SectionEntry::LoadAddress is the
859// address that the section will have in the target process.
860// SectionEntry::ObjAddress is the address of the bits for this section in the
861// original emitted object image (also in the current address space).
862//
863// Relocations will be applied as if the section were loaded at
864// SectionEntry::LoadAddress, but they will be applied at an address based
865// on SectionEntry::Address. SectionEntry::ObjAddress will be used to refer to
866// Target memory contents if they are required for value calculations.
867//
868// The Value parameter here is the load address of the symbol for the
869// relocation to be applied. For relocations which refer to symbols in the
870// current object Value will be the LoadAddress of the section in which
871// the symbol resides (RE.Addend provides additional information about the
872// symbol location). For external symbols, Value will be the address of the
873// symbol in the target address space.
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000874void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000875 uint64_t Value) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000876 const SectionEntry &Section = Sections[RE.SectionID];
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000877 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend,
878 RE.SymOffset);
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000879}
880
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000881void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
882 uint64_t Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000883 uint64_t Value,
884 uint32_t Type,
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000885 int64_t Addend,
886 uint64_t SymOffset) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000887 switch (Arch) {
888 case Triple::x86_64:
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000889 resolveX86_64Relocation(Section, Offset, Value, Type, Addend, SymOffset);
Eli Bendersky4c647582012-01-16 08:56:09 +0000890 break;
891 case Triple::x86:
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000892 resolveX86Relocation(Section, Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000893 (uint32_t)(Value & 0xffffffffL), Type,
894 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +0000895 break;
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000896 case Triple::aarch64:
897 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
898 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000899 case Triple::arm: // Fall through.
900 case Triple::thumb:
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000901 resolveARMRelocation(Section, Offset,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000902 (uint32_t)(Value & 0xffffffffL), Type,
903 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +0000904 break;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000905 case Triple::mips: // Fall through.
906 case Triple::mipsel:
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000907 resolveMIPSRelocation(Section, Offset,
Akira Hatanaka11dfbe12012-08-20 17:53:24 +0000908 (uint32_t)(Value & 0xffffffffL), Type,
909 (uint32_t)(Addend & 0xffffffffL));
Akira Hatanaka111174b2012-08-17 21:28:04 +0000910 break;
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000911 case Triple::ppc64: // Fall through.
912 case Triple::ppc64le:
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000913 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000914 break;
Richard Sandifordca044082013-05-03 14:15:35 +0000915 case Triple::systemz:
916 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
917 break;
Craig Toppera2886c22012-02-07 05:05:23 +0000918 default: llvm_unreachable("Unsupported CPU type!");
Eli Bendersky4c647582012-01-16 08:56:09 +0000919 }
920}
921
Rafael Espindola4d4a48d2013-04-29 14:44:23 +0000922void RuntimeDyldELF::processRelocationRef(unsigned SectionID,
Rafael Espindola37008942013-04-29 19:03:21 +0000923 RelocationRef RelI,
Preston Gurdcc31af92012-04-16 22:12:58 +0000924 ObjectImage &Obj,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000925 ObjSectionToIDMap &ObjSectionToID,
Eli Benderskyfc079082012-05-01 06:58:59 +0000926 const SymbolTableMap &Symbols,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000927 StubMap &Stubs) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +0000928 uint64_t RelType;
Rafael Espindola37008942013-04-29 19:03:21 +0000929 Check(RelI.getType(RelType));
Rafael Espindola4d4a48d2013-04-29 14:44:23 +0000930 int64_t Addend;
Rafael Espindola0d15f732013-05-09 03:39:05 +0000931 Check(getELFRelocationAddend(RelI, Addend));
Rafael Espindola806f0062013-06-05 01:33:53 +0000932 symbol_iterator Symbol = RelI.getSymbol();
Eli Bendersky667b8792012-05-01 10:41:12 +0000933
934 // Obtain the symbol name which is referenced in the relocation
935 StringRef TargetName;
Rafael Espindola75954472013-06-05 02:55:01 +0000936 if (Symbol != Obj.end_symbols())
937 Symbol->getName(TargetName);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000938 DEBUG(dbgs() << "\t\tRelType: " << RelType
939 << " Addend: " << Addend
940 << " TargetName: " << TargetName
941 << "\n");
Eli Bendersky667b8792012-05-01 10:41:12 +0000942 RelocationValueRef Value;
943 // First search for the symbol in the local symbol table
Rafael Espindola75954472013-06-05 02:55:01 +0000944 SymbolTableMap::const_iterator lsi = Symbols.end();
945 SymbolRef::Type SymType = SymbolRef::ST_Unknown;
946 if (Symbol != Obj.end_symbols()) {
947 lsi = Symbols.find(TargetName.data());
948 Symbol->getType(SymType);
949 }
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000950 if (lsi != Symbols.end()) {
951 Value.SectionID = lsi->second.first;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000952 Value.Offset = lsi->second.second;
Ulrich Weigand78e97652013-04-05 13:29:04 +0000953 Value.Addend = lsi->second.second + Addend;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000954 } else {
Eli Bendersky667b8792012-05-01 10:41:12 +0000955 // Search for the symbol in the global symbol table
Rafael Espindola75954472013-06-05 02:55:01 +0000956 SymbolTableMap::const_iterator gsi = GlobalSymbolTable.end();
957 if (Symbol != Obj.end_symbols())
958 gsi = GlobalSymbolTable.find(TargetName.data());
Eli Benderskyfc079082012-05-01 06:58:59 +0000959 if (gsi != GlobalSymbolTable.end()) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000960 Value.SectionID = gsi->second.first;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000961 Value.Offset = gsi->second.second;
Ulrich Weigand78e97652013-04-05 13:29:04 +0000962 Value.Addend = gsi->second.second + Addend;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000963 } else {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000964 switch (SymType) {
965 case SymbolRef::ST_Debug: {
966 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
967 // and can be changed by another developers. Maybe best way is add
968 // a new symbol type ST_Section to SymbolRef and use it.
Eli Bendersky667b8792012-05-01 10:41:12 +0000969 section_iterator si(Obj.end_sections());
Rafael Espindola806f0062013-06-05 01:33:53 +0000970 Symbol->getSection(si);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000971 if (si == Obj.end_sections())
972 llvm_unreachable("Symbol section not found, bad object file format!");
973 DEBUG(dbgs() << "\t\tThis is section symbol\n");
Andrew Kaylor47328722012-10-12 23:53:16 +0000974 // Default to 'true' in case isText fails (though it never does).
975 bool isCode = true;
976 si->isText(isCode);
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000977 Value.SectionID = findOrEmitSection(Obj,
978 (*si),
979 isCode,
Andrew Kaylor47328722012-10-12 23:53:16 +0000980 ObjSectionToID);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000981 Value.Addend = Addend;
982 break;
983 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000984 case SymbolRef::ST_Data:
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000985 case SymbolRef::ST_Unknown: {
986 Value.SymbolName = TargetName.data();
987 Value.Addend = Addend;
Richard Mittonad6d3492013-08-16 18:54:26 +0000988
989 // Absolute relocations will have a zero symbol ID (STN_UNDEF), which
990 // will manifest here as a NULL symbol name.
991 // We can set this as a valid (but empty) symbol name, and rely
992 // on addRelocationForSymbol to handle this.
993 if (!Value.SymbolName)
994 Value.SymbolName = "";
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000995 break;
996 }
997 default:
998 llvm_unreachable("Unresolved symbol type!");
999 break;
1000 }
1001 }
Eli Bendersky4c647582012-01-16 08:56:09 +00001002 }
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001003 uint64_t Offset;
Rafael Espindola37008942013-04-29 19:03:21 +00001004 Check(RelI.getOffset(Offset));
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001005
1006 DEBUG(dbgs() << "\t\tSectionID: " << SectionID
1007 << " Offset: " << Offset
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001008 << "\n");
Tim Northover37cde972013-05-04 20:14:09 +00001009 if (Arch == Triple::aarch64 &&
1010 (RelType == ELF::R_AARCH64_CALL26 ||
1011 RelType == ELF::R_AARCH64_JUMP26)) {
1012 // This is an AArch64 branch relocation, need to use a stub function.
1013 DEBUG(dbgs() << "\t\tThis is an AArch64 branch relocation.");
1014 SectionEntry &Section = Sections[SectionID];
1015
1016 // Look for an existing stub.
1017 StubMap::const_iterator i = Stubs.find(Value);
1018 if (i != Stubs.end()) {
1019 resolveRelocation(Section, Offset,
1020 (uint64_t)Section.Address + i->second, RelType, 0);
1021 DEBUG(dbgs() << " Stub function found\n");
1022 } else {
1023 // Create a new stub function.
1024 DEBUG(dbgs() << " Create a new stub function\n");
1025 Stubs[Value] = Section.StubOffset;
1026 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
1027 Section.StubOffset);
1028
1029 RelocationEntry REmovz_g3(SectionID,
1030 StubTargetAddr - Section.Address,
1031 ELF::R_AARCH64_MOVW_UABS_G3, Value.Addend);
1032 RelocationEntry REmovk_g2(SectionID,
1033 StubTargetAddr - Section.Address + 4,
1034 ELF::R_AARCH64_MOVW_UABS_G2_NC, Value.Addend);
1035 RelocationEntry REmovk_g1(SectionID,
1036 StubTargetAddr - Section.Address + 8,
1037 ELF::R_AARCH64_MOVW_UABS_G1_NC, Value.Addend);
1038 RelocationEntry REmovk_g0(SectionID,
1039 StubTargetAddr - Section.Address + 12,
1040 ELF::R_AARCH64_MOVW_UABS_G0_NC, Value.Addend);
1041
1042 if (Value.SymbolName) {
1043 addRelocationForSymbol(REmovz_g3, Value.SymbolName);
1044 addRelocationForSymbol(REmovk_g2, Value.SymbolName);
1045 addRelocationForSymbol(REmovk_g1, Value.SymbolName);
1046 addRelocationForSymbol(REmovk_g0, Value.SymbolName);
1047 } else {
1048 addRelocationForSection(REmovz_g3, Value.SectionID);
1049 addRelocationForSection(REmovk_g2, Value.SectionID);
1050 addRelocationForSection(REmovk_g1, Value.SectionID);
1051 addRelocationForSection(REmovk_g0, Value.SectionID);
1052 }
1053 resolveRelocation(Section, Offset,
1054 (uint64_t)Section.Address + Section.StubOffset,
1055 RelType, 0);
1056 Section.StubOffset += getMaxStubSize();
1057 }
1058 } else if (Arch == Triple::arm &&
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001059 (RelType == ELF::R_ARM_PC24 ||
1060 RelType == ELF::R_ARM_CALL ||
1061 RelType == ELF::R_ARM_JUMP24)) {
1062 // This is an ARM branch relocation, need to use a stub function.
1063 DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.");
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001064 SectionEntry &Section = Sections[SectionID];
Eli Bendersky4c647582012-01-16 08:56:09 +00001065
Eric Christopherc33f6222012-10-23 17:19:15 +00001066 // Look for an existing stub.
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001067 StubMap::const_iterator i = Stubs.find(Value);
1068 if (i != Stubs.end()) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001069 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001070 (uint64_t)Section.Address + i->second, RelType, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001071 DEBUG(dbgs() << " Stub function found\n");
1072 } else {
1073 // Create a new stub function.
1074 DEBUG(dbgs() << " Create a new stub function\n");
1075 Stubs[Value] = Section.StubOffset;
1076 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
1077 Section.StubOffset);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001078 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Tim Northover3b684d82013-05-28 19:48:19 +00001079 ELF::R_ARM_PRIVATE_0, Value.Addend);
Eli Bendersky667b8792012-05-01 10:41:12 +00001080 if (Value.SymbolName)
1081 addRelocationForSymbol(RE, Value.SymbolName);
1082 else
1083 addRelocationForSection(RE, Value.SectionID);
1084
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001085 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001086 (uint64_t)Section.Address + Section.StubOffset,
1087 RelType, 0);
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001088 Section.StubOffset += getMaxStubSize();
1089 }
Akira Hatanakaa667aad2012-12-03 23:12:19 +00001090 } else if ((Arch == Triple::mipsel || Arch == Triple::mips) &&
1091 RelType == ELF::R_MIPS_26) {
Akira Hatanaka111174b2012-08-17 21:28:04 +00001092 // This is an Mips branch relocation, need to use a stub function.
1093 DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001094 SectionEntry &Section = Sections[SectionID];
1095 uint8_t *Target = Section.Address + Offset;
Akira Hatanaka111174b2012-08-17 21:28:04 +00001096 uint32_t *TargetAddress = (uint32_t *)Target;
1097
1098 // Extract the addend from the instruction.
1099 uint32_t Addend = ((*TargetAddress) & 0x03ffffff) << 2;
1100
1101 Value.Addend += Addend;
1102
1103 // Look up for existing stub.
1104 StubMap::const_iterator i = Stubs.find(Value);
1105 if (i != Stubs.end()) {
Petar Jovanovic45115f82013-11-19 21:56:00 +00001106 RelocationEntry RE(SectionID, Offset, RelType, i->second);
1107 addRelocationForSection(RE, SectionID);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001108 DEBUG(dbgs() << " Stub function found\n");
1109 } else {
1110 // Create a new stub function.
1111 DEBUG(dbgs() << " Create a new stub function\n");
1112 Stubs[Value] = Section.StubOffset;
1113 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
1114 Section.StubOffset);
1115
1116 // Creating Hi and Lo relocations for the filled stub instructions.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001117 RelocationEntry REHi(SectionID,
Akira Hatanaka111174b2012-08-17 21:28:04 +00001118 StubTargetAddr - Section.Address,
Akira Hatanaka2e236242013-07-24 01:58:40 +00001119 ELF::R_MIPS_UNUSED1, Value.Addend);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001120 RelocationEntry RELo(SectionID,
Akira Hatanaka111174b2012-08-17 21:28:04 +00001121 StubTargetAddr - Section.Address + 4,
Akira Hatanaka2e236242013-07-24 01:58:40 +00001122 ELF::R_MIPS_UNUSED2, Value.Addend);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001123
1124 if (Value.SymbolName) {
1125 addRelocationForSymbol(REHi, Value.SymbolName);
1126 addRelocationForSymbol(RELo, Value.SymbolName);
1127 } else {
1128 addRelocationForSection(REHi, Value.SectionID);
1129 addRelocationForSection(RELo, Value.SectionID);
1130 }
1131
Petar Jovanovic45115f82013-11-19 21:56:00 +00001132 RelocationEntry RE(SectionID, Offset, RelType, Section.StubOffset);
1133 addRelocationForSection(RE, SectionID);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001134 Section.StubOffset += getMaxStubSize();
1135 }
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001136 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001137 if (RelType == ELF::R_PPC64_REL24) {
1138 // A PPC branch relocation will need a stub function if the target is
1139 // an external symbol (Symbol::ST_Unknown) or if the target address
1140 // is not within the signed 24-bits branch address.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001141 SectionEntry &Section = Sections[SectionID];
1142 uint8_t *Target = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001143 bool RangeOverflow = false;
1144 if (SymType != SymbolRef::ST_Unknown) {
1145 // A function call may points to the .opd entry, so the final symbol value
1146 // in calculated based in the relocation values in .opd section.
1147 findOPDEntrySection(Obj, ObjSectionToID, Value);
1148 uint8_t *RelocTarget = Sections[Value.SectionID].Address + Value.Addend;
1149 int32_t delta = static_cast<int32_t>(Target - RelocTarget);
1150 // If it is within 24-bits branch range, just set the branch target
1151 if (SignExtend32<24>(delta) == delta) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001152 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001153 if (Value.SymbolName)
1154 addRelocationForSymbol(RE, Value.SymbolName);
1155 else
1156 addRelocationForSection(RE, Value.SectionID);
1157 } else {
1158 RangeOverflow = true;
1159 }
1160 }
1161 if (SymType == SymbolRef::ST_Unknown || RangeOverflow == true) {
1162 // It is an external symbol (SymbolRef::ST_Unknown) or within a range
1163 // larger than 24-bits.
1164 StubMap::const_iterator i = Stubs.find(Value);
1165 if (i != Stubs.end()) {
1166 // Symbol function stub already created, just relocate to it
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001167 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001168 (uint64_t)Section.Address + i->second, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001169 DEBUG(dbgs() << " Stub function found\n");
1170 } else {
1171 // Create a new stub function.
1172 DEBUG(dbgs() << " Create a new stub function\n");
1173 Stubs[Value] = Section.StubOffset;
1174 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
1175 Section.StubOffset);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001176 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001177 ELF::R_PPC64_ADDR64, Value.Addend);
1178
1179 // Generates the 64-bits address loads as exemplified in section
1180 // 4.5.1 in PPC64 ELF ABI.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001181 RelocationEntry REhst(SectionID,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001182 StubTargetAddr - Section.Address + 2,
1183 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001184 RelocationEntry REhr(SectionID,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001185 StubTargetAddr - Section.Address + 6,
1186 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001187 RelocationEntry REh(SectionID,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001188 StubTargetAddr - Section.Address + 14,
1189 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001190 RelocationEntry REl(SectionID,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001191 StubTargetAddr - Section.Address + 18,
1192 ELF::R_PPC64_ADDR16_LO, Value.Addend);
1193
1194 if (Value.SymbolName) {
1195 addRelocationForSymbol(REhst, Value.SymbolName);
1196 addRelocationForSymbol(REhr, Value.SymbolName);
1197 addRelocationForSymbol(REh, Value.SymbolName);
1198 addRelocationForSymbol(REl, Value.SymbolName);
1199 } else {
1200 addRelocationForSection(REhst, Value.SectionID);
1201 addRelocationForSection(REhr, Value.SectionID);
1202 addRelocationForSection(REh, Value.SectionID);
1203 addRelocationForSection(REl, Value.SectionID);
1204 }
1205
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001206 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001207 (uint64_t)Section.Address + Section.StubOffset,
1208 RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001209 Section.StubOffset += getMaxStubSize();
1210 }
Ulrich Weigandfa84ac92014-03-11 15:26:27 +00001211 if (SymType == SymbolRef::ST_Unknown)
1212 // Restore the TOC for external calls
1213 writeInt32BE(Target+4, 0xE8410028); // ld r2,40(r1)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001214 }
1215 } else {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001216 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001217 // Extra check to avoid relocation againt empty symbols (usually
1218 // the R_PPC64_TOC).
Richard Mittonad6d3492013-08-16 18:54:26 +00001219 if (SymType != SymbolRef::ST_Unknown && TargetName.empty())
1220 Value.SymbolName = NULL;
1221
1222 if (Value.SymbolName)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001223 addRelocationForSymbol(RE, Value.SymbolName);
1224 else
1225 addRelocationForSection(RE, Value.SectionID);
1226 }
Richard Sandifordca044082013-05-03 14:15:35 +00001227 } else if (Arch == Triple::systemz &&
1228 (RelType == ELF::R_390_PLT32DBL ||
1229 RelType == ELF::R_390_GOTENT)) {
1230 // Create function stubs for both PLT and GOT references, regardless of
1231 // whether the GOT reference is to data or code. The stub contains the
1232 // full address of the symbol, as needed by GOT references, and the
1233 // executable part only adds an overhead of 8 bytes.
1234 //
1235 // We could try to conserve space by allocating the code and data
1236 // parts of the stub separately. However, as things stand, we allocate
1237 // a stub for every relocation, so using a GOT in JIT code should be
1238 // no less space efficient than using an explicit constant pool.
1239 DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
1240 SectionEntry &Section = Sections[SectionID];
1241
1242 // Look for an existing stub.
1243 StubMap::const_iterator i = Stubs.find(Value);
1244 uintptr_t StubAddress;
1245 if (i != Stubs.end()) {
1246 StubAddress = uintptr_t(Section.Address) + i->second;
1247 DEBUG(dbgs() << " Stub function found\n");
1248 } else {
1249 // Create a new stub function.
1250 DEBUG(dbgs() << " Create a new stub function\n");
1251
1252 uintptr_t BaseAddress = uintptr_t(Section.Address);
1253 uintptr_t StubAlignment = getStubAlignment();
1254 StubAddress = (BaseAddress + Section.StubOffset +
1255 StubAlignment - 1) & -StubAlignment;
1256 unsigned StubOffset = StubAddress - BaseAddress;
1257
1258 Stubs[Value] = StubOffset;
1259 createStubFunction((uint8_t *)StubAddress);
1260 RelocationEntry RE(SectionID, StubOffset + 8,
1261 ELF::R_390_64, Value.Addend - Addend);
1262 if (Value.SymbolName)
1263 addRelocationForSymbol(RE, Value.SymbolName);
1264 else
1265 addRelocationForSection(RE, Value.SectionID);
1266 Section.StubOffset = StubOffset + getMaxStubSize();
1267 }
1268
1269 if (RelType == ELF::R_390_GOTENT)
1270 resolveRelocation(Section, Offset, StubAddress + 8,
1271 ELF::R_390_PC32DBL, Addend);
1272 else
1273 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001274 } else if (Arch == Triple::x86_64 && RelType == ELF::R_X86_64_PLT32) {
1275 // The way the PLT relocations normally work is that the linker allocates the
1276 // PLT and this relocation makes a PC-relative call into the PLT. The PLT
1277 // entry will then jump to an address provided by the GOT. On first call, the
1278 // GOT address will point back into PLT code that resolves the symbol. After
1279 // the first call, the GOT entry points to the actual function.
1280 //
1281 // For local functions we're ignoring all of that here and just replacing
1282 // the PLT32 relocation type with PC32, which will translate the relocation
1283 // into a PC-relative call directly to the function. For external symbols we
1284 // can't be sure the function will be within 2^32 bytes of the call site, so
1285 // we need to create a stub, which calls into the GOT. This case is
1286 // equivalent to the usual PLT implementation except that we use the stub
1287 // mechanism in RuntimeDyld (which puts stubs at the end of the section)
1288 // rather than allocating a PLT section.
1289 if (Value.SymbolName) {
1290 // This is a call to an external function.
1291 // Look for an existing stub.
1292 SectionEntry &Section = Sections[SectionID];
1293 StubMap::const_iterator i = Stubs.find(Value);
1294 uintptr_t StubAddress;
1295 if (i != Stubs.end()) {
1296 StubAddress = uintptr_t(Section.Address) + i->second;
1297 DEBUG(dbgs() << " Stub function found\n");
1298 } else {
1299 // Create a new stub function (equivalent to a PLT entry).
1300 DEBUG(dbgs() << " Create a new stub function\n");
1301
1302 uintptr_t BaseAddress = uintptr_t(Section.Address);
1303 uintptr_t StubAlignment = getStubAlignment();
1304 StubAddress = (BaseAddress + Section.StubOffset +
1305 StubAlignment - 1) & -StubAlignment;
1306 unsigned StubOffset = StubAddress - BaseAddress;
1307 Stubs[Value] = StubOffset;
1308 createStubFunction((uint8_t *)StubAddress);
1309
1310 // Create a GOT entry for the external function.
1311 GOTEntries.push_back(Value);
1312
1313 // Make our stub function a relative call to the GOT entry.
1314 RelocationEntry RE(SectionID, StubOffset + 2,
1315 ELF::R_X86_64_GOTPCREL, -4);
1316 addRelocationForSymbol(RE, Value.SymbolName);
1317
1318 // Bump our stub offset counter
1319 Section.StubOffset = StubOffset + getMaxStubSize();
1320 }
1321
1322 // Make the target call a call into the stub table.
1323 resolveRelocation(Section, Offset, StubAddress,
1324 ELF::R_X86_64_PC32, Addend);
1325 } else {
1326 RelocationEntry RE(SectionID, Offset, ELF::R_X86_64_PC32, Value.Addend,
1327 Value.Offset);
1328 addRelocationForSection(RE, Value.SectionID);
1329 }
Eli Bendersky667b8792012-05-01 10:41:12 +00001330 } else {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001331 if (Arch == Triple::x86_64 && RelType == ELF::R_X86_64_GOTPCREL) {
1332 GOTEntries.push_back(Value);
1333 }
1334 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend, Value.Offset);
Eli Bendersky667b8792012-05-01 10:41:12 +00001335 if (Value.SymbolName)
1336 addRelocationForSymbol(RE, Value.SymbolName);
1337 else
1338 addRelocationForSection(RE, Value.SectionID);
1339 }
Jim Grosbacheff0a402012-01-16 22:26:39 +00001340}
1341
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001342void RuntimeDyldELF::updateGOTEntries(StringRef Name, uint64_t Addr) {
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001343
1344 SmallVectorImpl<std::pair<SID, GOTRelocations> >::iterator it;
1345 SmallVectorImpl<std::pair<SID, GOTRelocations> >::iterator end = GOTs.end();
1346
1347 for (it = GOTs.begin(); it != end; ++it) {
1348 GOTRelocations &GOTEntries = it->second;
1349 for (int i = 0, e = GOTEntries.size(); i != e; ++i) {
1350 if (GOTEntries[i].SymbolName != 0 && GOTEntries[i].SymbolName == Name) {
1351 GOTEntries[i].Offset = Addr;
1352 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001353 }
1354 }
1355}
1356
1357size_t RuntimeDyldELF::getGOTEntrySize() {
1358 // We don't use the GOT in all of these cases, but it's essentially free
1359 // to put them all here.
1360 size_t Result = 0;
1361 switch (Arch) {
1362 case Triple::x86_64:
1363 case Triple::aarch64:
1364 case Triple::ppc64:
1365 case Triple::ppc64le:
1366 case Triple::systemz:
1367 Result = sizeof(uint64_t);
1368 break;
1369 case Triple::x86:
1370 case Triple::arm:
1371 case Triple::thumb:
1372 case Triple::mips:
1373 case Triple::mipsel:
1374 Result = sizeof(uint32_t);
1375 break;
1376 default: llvm_unreachable("Unsupported CPU type!");
1377 }
1378 return Result;
1379}
1380
1381uint64_t RuntimeDyldELF::findGOTEntry(uint64_t LoadAddress,
1382 uint64_t Offset) {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001383
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001384 const size_t GOTEntrySize = getGOTEntrySize();
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001385
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001386 SmallVectorImpl<std::pair<SID, GOTRelocations> >::const_iterator it;
1387 SmallVectorImpl<std::pair<SID, GOTRelocations> >::const_iterator end = GOTs.end();
1388
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001389 int GOTIndex = -1;
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001390 for (it = GOTs.begin(); it != end; ++it) {
1391 SID GOTSectionID = it->first;
1392 const GOTRelocations &GOTEntries = it->second;
1393
1394 // Find the matching entry in our vector.
1395 uint64_t SymbolOffset = 0;
1396 for (int i = 0, e = GOTEntries.size(); i != e; ++i) {
1397 if (GOTEntries[i].SymbolName == 0) {
1398 if (getSectionLoadAddress(GOTEntries[i].SectionID) == LoadAddress &&
1399 GOTEntries[i].Offset == Offset) {
1400 GOTIndex = i;
1401 SymbolOffset = GOTEntries[i].Offset;
1402 break;
1403 }
1404 } else {
1405 // GOT entries for external symbols use the addend as the address when
1406 // the external symbol has been resolved.
1407 if (GOTEntries[i].Offset == LoadAddress) {
1408 GOTIndex = i;
1409 // Don't use the Addend here. The relocation handler will use it.
1410 break;
1411 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001412 }
1413 }
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001414
1415 if (GOTIndex != -1) {
1416 if (GOTEntrySize == sizeof(uint64_t)) {
1417 uint64_t *LocalGOTAddr = (uint64_t*)getSectionAddress(GOTSectionID);
1418 // Fill in this entry with the address of the symbol being referenced.
1419 LocalGOTAddr[GOTIndex] = LoadAddress + SymbolOffset;
1420 } else {
1421 uint32_t *LocalGOTAddr = (uint32_t*)getSectionAddress(GOTSectionID);
1422 // Fill in this entry with the address of the symbol being referenced.
1423 LocalGOTAddr[GOTIndex] = (uint32_t)(LoadAddress + SymbolOffset);
1424 }
1425
1426 // Calculate the load address of this entry
1427 return getSectionLoadAddress(GOTSectionID) + (GOTIndex * GOTEntrySize);
1428 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001429 }
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001430
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001431 assert(GOTIndex != -1 && "Unable to find requested GOT entry.");
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001432 return 0;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001433}
1434
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001435void RuntimeDyldELF::finalizeLoad(ObjSectionToIDMap &SectionMap) {
1436 // If necessary, allocate the global offset table
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001437 if (MemMgr) {
1438 // Allocate the GOT if necessary
1439 size_t numGOTEntries = GOTEntries.size();
1440 if (numGOTEntries != 0) {
1441 // Allocate memory for the section
1442 unsigned SectionID = Sections.size();
1443 size_t TotalSize = numGOTEntries * getGOTEntrySize();
1444 uint8_t *Addr = MemMgr->allocateDataSection(TotalSize, getGOTEntrySize(),
1445 SectionID, ".got", false);
1446 if (!Addr)
1447 report_fatal_error("Unable to allocate memory for GOT!");
1448
1449 GOTs.push_back(std::make_pair(SectionID, GOTEntries));
1450 Sections.push_back(SectionEntry(".got", Addr, TotalSize, 0));
1451 // For now, initialize all GOT entries to zero. We'll fill them in as
1452 // needed when GOT-based relocations are applied.
1453 memset(Addr, 0, TotalSize);
1454 }
1455 }
1456 else {
1457 report_fatal_error("Unable to allocate memory for GOT!");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001458 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001459
1460 // Look for and record the EH frame section.
1461 ObjSectionToIDMap::iterator i, e;
1462 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
1463 const SectionRef &Section = i->first;
1464 StringRef Name;
1465 Section.getName(Name);
1466 if (Name == ".eh_frame") {
1467 UnregisteredEHFrameSections.push_back(i->second);
1468 break;
1469 }
1470 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001471}
1472
Andrew Kayloradc70562012-10-02 21:18:39 +00001473bool RuntimeDyldELF::isCompatibleFormat(const ObjectBuffer *Buffer) const {
1474 if (Buffer->getBufferSize() < strlen(ELF::ElfMagic))
1475 return false;
1476 return (memcmp(Buffer->getBufferStart(), ELF::ElfMagic, strlen(ELF::ElfMagic))) == 0;
Eli Bendersky4c647582012-01-16 08:56:09 +00001477}
Lang Hames173c69f2014-01-08 04:09:09 +00001478
1479bool RuntimeDyldELF::isCompatibleFile(const object::ObjectFile *Obj) const {
1480 return Obj->isELF();
1481}
1482
Eli Bendersky4c647582012-01-16 08:56:09 +00001483} // namespace llvm