blob: 16612c146dd0bf0581c717b26d2694ddfcd1ad1a [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
Andrew Kayloradc70562012-10-02 21:18:39 +000014#include "RuntimeDyldELF.h"
Keno Fischer02628de2015-04-14 02:10:35 +000015#include "RuntimeDyldCheckerImpl.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000016#include "llvm/ADT/IntervalMap.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/StringRef.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000019#include "llvm/ADT/Triple.h"
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000020#include "llvm/MC/MCStreamer.h"
Michael J. Spencer126973b2013-08-08 22:27:13 +000021#include "llvm/Object/ELFObjectFile.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/Object/ObjectFile.h"
23#include "llvm/Support/ELF.h"
Alexey Samsonova8d2f812014-08-27 23:06:08 +000024#include "llvm/Support/Endian.h"
Lang Hames173c69f2014-01-08 04:09:09 +000025#include "llvm/Support/MemoryBuffer.h"
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000026#include "llvm/Support/TargetRegistry.h"
Lang Hames173c69f2014-01-08 04:09:09 +000027
Eli Bendersky4c647582012-01-16 08:56:09 +000028using namespace llvm;
29using namespace llvm::object;
30
Chandler Carruthf58e3762014-04-22 03:04:17 +000031#define DEBUG_TYPE "dyld"
32
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +000033static inline std::error_code check(std::error_code Err) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +000034 if (Err) {
35 report_fatal_error(Err.message());
36 }
37 return Err;
38}
39
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000040namespace {
41
Juergen Ributzka7608dc02014-03-21 20:28:42 +000042template <class ELFT> class DyldELFObject : public ELFObjectFile<ELFT> {
Rafael Espindola035b4162013-04-17 21:20:55 +000043 LLVM_ELF_IMPORT_TYPES_ELFT(ELFT)
Preston Gurdcc31af92012-04-16 22:12:58 +000044
Michael J. Spencer1a791612013-01-15 07:44:25 +000045 typedef Elf_Shdr_Impl<ELFT> Elf_Shdr;
46 typedef Elf_Sym_Impl<ELFT> Elf_Sym;
Juergen Ributzka7608dc02014-03-21 20:28:42 +000047 typedef Elf_Rel_Impl<ELFT, false> Elf_Rel;
48 typedef Elf_Rel_Impl<ELFT, true> Elf_Rela;
Preston Gurdcc31af92012-04-16 22:12:58 +000049
Michael J. Spencer1a791612013-01-15 07:44:25 +000050 typedef Elf_Ehdr_Impl<ELFT> Elf_Ehdr;
Preston Gurdcc31af92012-04-16 22:12:58 +000051
Juergen Ributzka7608dc02014-03-21 20:28:42 +000052 typedef typename ELFDataTypeTypedefHelper<ELFT>::value_type addr_type;
Preston Gurdcc31af92012-04-16 22:12:58 +000053
Preston Gurdcc31af92012-04-16 22:12:58 +000054public:
Rafael Espindola48af1c22014-08-19 18:44:46 +000055 DyldELFObject(MemoryBufferRef Wrapper, std::error_code &ec);
Preston Gurdcc31af92012-04-16 22:12:58 +000056
57 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000058
59 void updateSymbolAddress(const SymbolRef &SymRef, uint64_t Addr);
Preston Gurdcc31af92012-04-16 22:12:58 +000060
Andrew Kaylor5c010902012-07-27 17:52:42 +000061 // Methods for type inquiry through isa, cast and dyn_cast
Preston Gurdcc31af92012-04-16 22:12:58 +000062 static inline bool classof(const Binary *v) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +000063 return (isa<ELFObjectFile<ELFT>>(v) &&
64 classof(cast<ELFObjectFile<ELFT>>(v)));
Preston Gurdcc31af92012-04-16 22:12:58 +000065 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +000066 static inline bool classof(const ELFObjectFile<ELFT> *v) {
Preston Gurdcc31af92012-04-16 22:12:58 +000067 return v->isDyldType();
68 }
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000069
Preston Gurdcc31af92012-04-16 22:12:58 +000070};
71
Preston Gurdcc31af92012-04-16 22:12:58 +000072
Preston Gurdcc31af92012-04-16 22:12:58 +000073
Andrew Kayloradc70562012-10-02 21:18:39 +000074// The MemoryBuffer passed into this constructor is just a wrapper around the
75// actual memory. Ultimately, the Binary parent class will take ownership of
76// this MemoryBuffer object but not the underlying memory.
Juergen Ributzka7608dc02014-03-21 20:28:42 +000077template <class ELFT>
Rafael Espindola48af1c22014-08-19 18:44:46 +000078DyldELFObject<ELFT>::DyldELFObject(MemoryBufferRef Wrapper, std::error_code &EC)
79 : ELFObjectFile<ELFT>(Wrapper, EC) {
Preston Gurdcc31af92012-04-16 22:12:58 +000080 this->isDyldELFObject = true;
81}
82
Juergen Ributzka7608dc02014-03-21 20:28:42 +000083template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +000084void DyldELFObject<ELFT>::updateSectionAddress(const SectionRef &Sec,
85 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +000086 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
Juergen Ributzka7608dc02014-03-21 20:28:42 +000087 Elf_Shdr *shdr =
88 const_cast<Elf_Shdr *>(reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
Preston Gurdcc31af92012-04-16 22:12:58 +000089
90 // This assumes the address passed in matches the target address bitness
91 // The template-based type cast handles everything else.
92 shdr->sh_addr = static_cast<addr_type>(Addr);
93}
94
Juergen Ributzka7608dc02014-03-21 20:28:42 +000095template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +000096void DyldELFObject<ELFT>::updateSymbolAddress(const SymbolRef &SymRef,
97 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +000098
Juergen Ributzka7608dc02014-03-21 20:28:42 +000099 Elf_Sym *sym = const_cast<Elf_Sym *>(
100 ELFObjectFile<ELFT>::getSymbol(SymRef.getRawDataRefImpl()));
Preston Gurdcc31af92012-04-16 22:12:58 +0000101
102 // This assumes the address passed in matches the target address bitness
103 // The template-based type cast handles everything else.
104 sym->st_value = static_cast<addr_type>(Addr);
105}
106
David Blaikie5e1ffae2015-08-05 20:20:29 +0000107class LoadedELFObjectInfo final
NAKAMURA Takumi73dc2e42015-05-22 10:11:07 +0000108 : public RuntimeDyld::LoadedObjectInfoHelper<LoadedELFObjectInfo> {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000109public:
Lang Hames2e88f4f2015-07-28 17:52:11 +0000110 LoadedELFObjectInfo(RuntimeDyldImpl &RTDyld, ObjSectionToIDMap ObjSecToIDMap)
111 : LoadedObjectInfoHelper(RTDyld, std::move(ObjSecToIDMap)) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000112
113 OwningBinary<ObjectFile>
114 getObjectForDebug(const ObjectFile &Obj) const override;
115};
116
117template <typename ELFT>
118std::unique_ptr<DyldELFObject<ELFT>>
119createRTDyldELFObject(MemoryBufferRef Buffer,
Lang Hames2e88f4f2015-07-28 17:52:11 +0000120 const ObjectFile &SourceObject,
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000121 const LoadedELFObjectInfo &L,
122 std::error_code &ec) {
123 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
124 typedef typename ELFDataTypeTypedefHelper<ELFT>::value_type addr_type;
125
126 std::unique_ptr<DyldELFObject<ELFT>> Obj =
127 llvm::make_unique<DyldELFObject<ELFT>>(Buffer, ec);
128
129 // Iterate over all sections in the object.
Lang Hames2e88f4f2015-07-28 17:52:11 +0000130 auto SI = SourceObject.section_begin();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000131 for (const auto &Sec : Obj->sections()) {
132 StringRef SectionName;
133 Sec.getName(SectionName);
134 if (SectionName != "") {
135 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
136 Elf_Shdr *shdr = const_cast<Elf_Shdr *>(
137 reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
138
Lang Hames2e88f4f2015-07-28 17:52:11 +0000139 if (uint64_t SecLoadAddr = L.getSectionLoadAddress(*SI)) {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000140 // This assumes that the address passed in matches the target address
141 // bitness. The template-based type cast handles everything else.
142 shdr->sh_addr = static_cast<addr_type>(SecLoadAddr);
143 }
144 }
Lang Hames2e88f4f2015-07-28 17:52:11 +0000145 ++SI;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000146 }
147
148 return Obj;
149}
150
151OwningBinary<ObjectFile> createELFDebugObject(const ObjectFile &Obj,
152 const LoadedELFObjectInfo &L) {
153 assert(Obj.isELF() && "Not an ELF object file.");
154
155 std::unique_ptr<MemoryBuffer> Buffer =
156 MemoryBuffer::getMemBufferCopy(Obj.getData(), Obj.getFileName());
157
158 std::error_code ec;
159
160 std::unique_ptr<ObjectFile> DebugObj;
161 if (Obj.getBytesInAddress() == 4 && Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000162 typedef ELFType<support::little, false> ELF32LE;
Lang Hames2e88f4f2015-07-28 17:52:11 +0000163 DebugObj = createRTDyldELFObject<ELF32LE>(Buffer->getMemBufferRef(), Obj, L,
164 ec);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000165 } else if (Obj.getBytesInAddress() == 4 && !Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000166 typedef ELFType<support::big, false> ELF32BE;
Lang Hames2e88f4f2015-07-28 17:52:11 +0000167 DebugObj = createRTDyldELFObject<ELF32BE>(Buffer->getMemBufferRef(), Obj, L,
168 ec);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000169 } else if (Obj.getBytesInAddress() == 8 && !Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000170 typedef ELFType<support::big, true> ELF64BE;
Lang Hames2e88f4f2015-07-28 17:52:11 +0000171 DebugObj = createRTDyldELFObject<ELF64BE>(Buffer->getMemBufferRef(), Obj, L,
172 ec);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000173 } else if (Obj.getBytesInAddress() == 8 && Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000174 typedef ELFType<support::little, true> ELF64LE;
Lang Hames2e88f4f2015-07-28 17:52:11 +0000175 DebugObj = createRTDyldELFObject<ELF64LE>(Buffer->getMemBufferRef(), Obj, L,
176 ec);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000177 } else
178 llvm_unreachable("Unexpected ELF format");
179
180 assert(!ec && "Could not construct copy ELF object file");
181
182 return OwningBinary<ObjectFile>(std::move(DebugObj), std::move(Buffer));
183}
184
185OwningBinary<ObjectFile>
186LoadedELFObjectInfo::getObjectForDebug(const ObjectFile &Obj) const {
187 return createELFDebugObject(Obj, *this);
188}
189
Preston Gurdcc31af92012-04-16 22:12:58 +0000190} // namespace
191
Eli Bendersky4c647582012-01-16 08:56:09 +0000192namespace llvm {
193
Lang Hames633fe142015-03-30 03:37:06 +0000194RuntimeDyldELF::RuntimeDyldELF(RuntimeDyld::MemoryManager &MemMgr,
195 RuntimeDyld::SymbolResolver &Resolver)
Keno Fischer02628de2015-04-14 02:10:35 +0000196 : RuntimeDyldImpl(MemMgr, Resolver), GOTSectionID(0), CurrentGOTIndex(0) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000197RuntimeDyldELF::~RuntimeDyldELF() {}
198
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000199void RuntimeDyldELF::registerEHFrames() {
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000200 for (int i = 0, e = UnregisteredEHFrameSections.size(); i != e; ++i) {
201 SID EHFrameSID = UnregisteredEHFrameSections[i];
202 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
203 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
204 size_t EHFrameSize = Sections[EHFrameSID].Size;
Lang Hames633fe142015-03-30 03:37:06 +0000205 MemMgr.registerEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Andrew Kaylorc442a762013-10-16 00:14:21 +0000206 RegisteredEHFrameSections.push_back(EHFrameSID);
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000207 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000208 UnregisteredEHFrameSections.clear();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000209}
210
Andrew Kaylorc442a762013-10-16 00:14:21 +0000211void RuntimeDyldELF::deregisterEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000212 for (int i = 0, e = RegisteredEHFrameSections.size(); i != e; ++i) {
213 SID EHFrameSID = RegisteredEHFrameSections[i];
214 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
215 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
216 size_t EHFrameSize = Sections[EHFrameSID].Size;
Lang Hames633fe142015-03-30 03:37:06 +0000217 MemMgr.deregisterEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Andrew Kaylorc442a762013-10-16 00:14:21 +0000218 }
219 RegisteredEHFrameSections.clear();
220}
221
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000222std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
223RuntimeDyldELF::loadObject(const object::ObjectFile &O) {
Lang Hames2e88f4f2015-07-28 17:52:11 +0000224 return llvm::make_unique<LoadedELFObjectInfo>(*this, loadObjectImpl(O));
Lang Hames173c69f2014-01-08 04:09:09 +0000225}
226
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000227void RuntimeDyldELF::resolveX86_64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000228 uint64_t Offset, uint64_t Value,
229 uint32_t Type, int64_t Addend,
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000230 uint64_t SymOffset) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000231 switch (Type) {
232 default:
233 llvm_unreachable("Relocation type not implemented yet!");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000234 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000235 case ELF::R_X86_64_64: {
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000236 support::ulittle64_t::ref(Section.Address + Offset) = Value + Addend;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000237 DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend)) << " at "
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000238 << format("%p\n", Section.Address + Offset));
Eli Bendersky4c647582012-01-16 08:56:09 +0000239 break;
240 }
241 case ELF::R_X86_64_32:
242 case ELF::R_X86_64_32S: {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000243 Value += Addend;
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000244 assert((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) ||
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000245 (Type == ELF::R_X86_64_32S &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000246 ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000247 uint32_t TruncatedAddr = (Value & 0xFFFFFFFF);
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000248 support::ulittle32_t::ref(Section.Address + Offset) = TruncatedAddr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000249 DEBUG(dbgs() << "Writing " << format("%p", TruncatedAddr) << " at "
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000250 << format("%p\n", Section.Address + Offset));
Eli Bendersky4c647582012-01-16 08:56:09 +0000251 break;
252 }
253 case ELF::R_X86_64_PC32: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000254 uint64_t FinalAddress = Section.LoadAddress + Offset;
Keno Fischer02628de2015-04-14 02:10:35 +0000255 int64_t RealOffset = Value + Addend - FinalAddress;
David Majnemerdd9eafb2015-05-15 20:32:25 +0000256 assert(isInt<32>(RealOffset));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000257 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000258 support::ulittle32_t::ref(Section.Address + Offset) = TruncOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000259 break;
260 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000261 case ELF::R_X86_64_PC64: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000262 uint64_t FinalAddress = Section.LoadAddress + Offset;
Keno Fischer02628de2015-04-14 02:10:35 +0000263 int64_t RealOffset = Value + Addend - FinalAddress;
Keno Fischer02628de2015-04-14 02:10:35 +0000264 support::ulittle64_t::ref(Section.Address + Offset) = RealOffset;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000265 break;
266 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000267 }
268}
269
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000270void RuntimeDyldELF::resolveX86Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000271 uint64_t Offset, uint32_t Value,
272 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000273 switch (Type) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000274 case ELF::R_386_32: {
Keno Fischere6892c82015-05-01 20:21:45 +0000275 support::ulittle32_t::ref(Section.Address + Offset) = Value + Addend;
Eli Bendersky4c647582012-01-16 08:56:09 +0000276 break;
277 }
278 case ELF::R_386_PC32: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000279 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Keno Fischere6892c82015-05-01 20:21:45 +0000280 uint32_t RealOffset = Value + Addend - FinalAddress;
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000281 support::ulittle32_t::ref(Section.Address + Offset) = RealOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000282 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000283 }
284 default:
285 // There are other relocation types, but it appears these are the
286 // only ones currently used by the LLVM ELF object writer
287 llvm_unreachable("Relocation type not implemented yet!");
288 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000289 }
290}
291
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000292void RuntimeDyldELF::resolveAArch64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000293 uint64_t Offset, uint64_t Value,
294 uint32_t Type, int64_t Addend) {
295 uint32_t *TargetPtr = reinterpret_cast<uint32_t *>(Section.Address + Offset);
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000296 uint64_t FinalAddress = Section.LoadAddress + Offset;
297
298 DEBUG(dbgs() << "resolveAArch64Relocation, LocalAddress: 0x"
299 << format("%llx", Section.Address + Offset)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000300 << " FinalAddress: 0x" << format("%llx", FinalAddress)
301 << " Value: 0x" << format("%llx", Value) << " Type: 0x"
302 << format("%x", Type) << " Addend: 0x" << format("%llx", Addend)
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000303 << "\n");
304
305 switch (Type) {
306 default:
307 llvm_unreachable("Relocation type not implemented yet!");
308 break;
Tim Northoverb23d8db2013-05-04 20:14:14 +0000309 case ELF::R_AARCH64_ABS64: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000310 uint64_t *TargetPtr =
311 reinterpret_cast<uint64_t *>(Section.Address + Offset);
Tim Northoverb23d8db2013-05-04 20:14:14 +0000312 *TargetPtr = Value + Addend;
313 break;
314 }
Tim Northover5959ea32013-05-19 15:39:03 +0000315 case ELF::R_AARCH64_PREL32: {
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000316 uint64_t Result = Value + Addend - FinalAddress;
Michael J. Spencer126973b2013-08-08 22:27:13 +0000317 assert(static_cast<int64_t>(Result) >= INT32_MIN &&
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000318 static_cast<int64_t>(Result) <= UINT32_MAX);
319 *TargetPtr = static_cast<uint32_t>(Result & 0xffffffffU);
320 break;
321 }
Tim Northover37cde972013-05-04 20:14:09 +0000322 case ELF::R_AARCH64_CALL26: // fallthrough
323 case ELF::R_AARCH64_JUMP26: {
324 // Operation: S+A-P. Set Call or B immediate value to bits fff_fffc of the
325 // calculation.
326 uint64_t BranchImm = Value + Addend - FinalAddress;
327
328 // "Check that -2^27 <= result < 2^27".
David Majnemerdd9eafb2015-05-15 20:32:25 +0000329 assert(isInt<28>(BranchImm));
Tim Northover5959ea32013-05-19 15:39:03 +0000330
331 // AArch64 code is emitted with .rela relocations. The data already in any
332 // bits affected by the relocation on entry is garbage.
333 *TargetPtr &= 0xfc000000U;
Tim Northover37cde972013-05-04 20:14:09 +0000334 // Immediate goes in bits 25:0 of B and BL.
335 *TargetPtr |= static_cast<uint32_t>(BranchImm & 0xffffffcU) >> 2;
336 break;
337 }
Tim Northover4d01c1e2013-05-04 20:14:04 +0000338 case ELF::R_AARCH64_MOVW_UABS_G3: {
339 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000340
341 // AArch64 code is emitted with .rela relocations. The data already in any
342 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000343 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000344 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
345 *TargetPtr |= Result >> (48 - 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000346 // Shift must be "lsl #48", in bits 22:21
347 assert((*TargetPtr >> 21 & 0x3) == 3 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000348 break;
349 }
350 case ELF::R_AARCH64_MOVW_UABS_G2_NC: {
351 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000352
Tim Northover5959ea32013-05-19 15:39:03 +0000353 // AArch64 code is emitted with .rela relocations. The data already in any
354 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000355 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000356 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
357 *TargetPtr |= ((Result & 0xffff00000000ULL) >> (32 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000358 // Shift must be "lsl #32", in bits 22:21
359 assert((*TargetPtr >> 21 & 0x3) == 2 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000360 break;
361 }
362 case ELF::R_AARCH64_MOVW_UABS_G1_NC: {
363 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000364
365 // AArch64 code is emitted with .rela relocations. The data already in any
366 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000367 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000368 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
369 *TargetPtr |= ((Result & 0xffff0000U) >> (16 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000370 // Shift must be "lsl #16", in bits 22:2
371 assert((*TargetPtr >> 21 & 0x3) == 1 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000372 break;
373 }
374 case ELF::R_AARCH64_MOVW_UABS_G0_NC: {
375 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000376
377 // AArch64 code is emitted with .rela relocations. The data already in any
378 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000379 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000380 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
381 *TargetPtr |= ((Result & 0xffffU) << 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000382 // Shift must be "lsl #0", in bits 22:21.
383 assert((*TargetPtr >> 21 & 0x3) == 0 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000384 break;
385 }
Bradley Smith9d808492014-02-11 12:59:09 +0000386 case ELF::R_AARCH64_ADR_PREL_PG_HI21: {
387 // Operation: Page(S+A) - Page(P)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000388 uint64_t Result =
389 ((Value + Addend) & ~0xfffULL) - (FinalAddress & ~0xfffULL);
Bradley Smith9d808492014-02-11 12:59:09 +0000390
391 // Check that -2^32 <= X < 2^32
David Majnemerdd9eafb2015-05-15 20:32:25 +0000392 assert(isInt<33>(Result) && "overflow check failed for relocation");
Bradley Smith9d808492014-02-11 12:59:09 +0000393
394 // AArch64 code is emitted with .rela relocations. The data already in any
395 // bits affected by the relocation on entry is garbage.
396 *TargetPtr &= 0x9f00001fU;
397 // Immediate goes in bits 30:29 + 5:23 of ADRP instruction, taken
398 // from bits 32:12 of X.
399 *TargetPtr |= ((Result & 0x3000U) << (29 - 12));
400 *TargetPtr |= ((Result & 0x1ffffc000ULL) >> (14 - 5));
401 break;
402 }
403 case ELF::R_AARCH64_LDST32_ABS_LO12_NC: {
404 // Operation: S + A
405 uint64_t Result = Value + Addend;
406
407 // AArch64 code is emitted with .rela relocations. The data already in any
408 // bits affected by the relocation on entry is garbage.
409 *TargetPtr &= 0xffc003ffU;
410 // Immediate goes in bits 21:10 of LD/ST instruction, taken
411 // from bits 11:2 of X
412 *TargetPtr |= ((Result & 0xffc) << (10 - 2));
413 break;
414 }
415 case ELF::R_AARCH64_LDST64_ABS_LO12_NC: {
416 // Operation: S + A
417 uint64_t Result = Value + Addend;
418
419 // AArch64 code is emitted with .rela relocations. The data already in any
420 // bits affected by the relocation on entry is garbage.
421 *TargetPtr &= 0xffc003ffU;
422 // Immediate goes in bits 21:10 of LD/ST instruction, taken
423 // from bits 11:3 of X
424 *TargetPtr |= ((Result & 0xff8) << (10 - 3));
425 break;
426 }
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000427 }
428}
429
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000430void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000431 uint64_t Offset, uint32_t Value,
432 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000433 // TODO: Add Thumb relocations.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000434 uint32_t *TargetPtr = (uint32_t *)(Section.Address + Offset);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000435 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000436 Value += Addend;
437
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000438 DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
439 << Section.Address + Offset
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000440 << " FinalAddress: " << format("%p", FinalAddress) << " Value: "
441 << format("%x", Value) << " Type: " << format("%x", Type)
442 << " Addend: " << format("%x", Addend) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000443
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000444 switch (Type) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000445 default:
446 llvm_unreachable("Not implemented relocation type!");
447
Renato Golin8cea6e82014-01-29 11:50:56 +0000448 case ELF::R_ARM_NONE:
449 break;
Renato Golin8cea6e82014-01-29 11:50:56 +0000450 case ELF::R_ARM_PREL31:
Tim Northover3b684d82013-05-28 19:48:19 +0000451 case ELF::R_ARM_TARGET1:
452 case ELF::R_ARM_ABS32:
Keno Fischere6892c82015-05-01 20:21:45 +0000453 *TargetPtr = Value;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000454 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000455 // Write first 16 bit of 32 bit value to the mov instruction.
456 // Last 4 bit should be shifted.
Tim Northover3b684d82013-05-28 19:48:19 +0000457 case ELF::R_ARM_MOVW_ABS_NC:
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000458 case ELF::R_ARM_MOVT_ABS:
Keno Fischere6892c82015-05-01 20:21:45 +0000459 if (Type == ELF::R_ARM_MOVW_ABS_NC)
460 Value = Value & 0xFFFF;
461 else if (Type == ELF::R_ARM_MOVT_ABS)
462 Value = (Value >> 16) & 0xFFFF;
463 *TargetPtr &= ~0x000F0FFF;
464 *TargetPtr |= Value & 0xFFF;
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000465 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
466 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000467 // Write 24 bit relative value to the branch instruction.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000468 case ELF::R_ARM_PC24: // Fall through.
469 case ELF::R_ARM_CALL: // Fall through.
Keno Fischere6892c82015-05-01 20:21:45 +0000470 case ELF::R_ARM_JUMP24:
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000471 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
472 RelValue = (RelValue & 0x03FFFFFC) >> 2;
Tim Northover3b684d82013-05-28 19:48:19 +0000473 assert((*TargetPtr & 0xFFFFFF) == 0xFFFFFE);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000474 *TargetPtr &= 0xFF000000;
475 *TargetPtr |= RelValue;
476 break;
477 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000478}
479
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000480void RuntimeDyldELF::resolveMIPSRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000481 uint64_t Offset, uint32_t Value,
482 uint32_t Type, int32_t Addend) {
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000483 uint8_t *TargetPtr = Section.Address + Offset;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000484 Value += Addend;
485
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000486 DEBUG(dbgs() << "resolveMIPSRelocation, LocalAddress: "
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000487 << Section.Address + Offset << " FinalAddress: "
488 << format("%p", Section.LoadAddress + Offset) << " Value: "
489 << format("%x", Value) << " Type: " << format("%x", Type)
490 << " Addend: " << format("%x", Addend) << "\n");
Akira Hatanaka111174b2012-08-17 21:28:04 +0000491
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000492 uint32_t Insn = readBytesUnaligned(TargetPtr, 4);
493
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000494 switch (Type) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000495 default:
496 llvm_unreachable("Not implemented relocation type!");
497 break;
498 case ELF::R_MIPS_32:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000499 writeBytesUnaligned(Value, TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000500 break;
501 case ELF::R_MIPS_26:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000502 Insn &= 0xfc000000;
503 Insn |= (Value & 0x0fffffff) >> 2;
504 writeBytesUnaligned(Insn, TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000505 break;
506 case ELF::R_MIPS_HI16:
507 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000508 Insn &= 0xffff0000;
509 Insn |= ((Value + 0x8000) >> 16) & 0xffff;
510 writeBytesUnaligned(Insn, TargetPtr, 4);
Akira Hatanaka2e236242013-07-24 01:58:40 +0000511 break;
512 case ELF::R_MIPS_LO16:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000513 Insn &= 0xffff0000;
514 Insn |= Value & 0xffff;
515 writeBytesUnaligned(Insn, TargetPtr, 4);
516 break;
Petar Jovanovic0326a062015-07-06 12:50:55 +0000517 case ELF::R_MIPS_PC32: {
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000518 uint32_t FinalAddress = (Section.LoadAddress + Offset);
Petar Jovanovic0326a062015-07-06 12:50:55 +0000519 writeBytesUnaligned(Value - FinalAddress, (uint8_t *)TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000520 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000521 }
Petar Jovanovic0326a062015-07-06 12:50:55 +0000522 case ELF::R_MIPS_PC16: {
523 uint32_t FinalAddress = (Section.LoadAddress + Offset);
524 Insn &= 0xffff0000;
525 Insn |= ((Value - FinalAddress) >> 2) & 0xffff;
526 writeBytesUnaligned(Insn, TargetPtr, 4);
527 break;
528 }
529 case ELF::R_MIPS_PC19_S2: {
530 uint32_t FinalAddress = (Section.LoadAddress + Offset);
531 Insn &= 0xfff80000;
532 Insn |= ((Value - (FinalAddress & ~0x3)) >> 2) & 0x7ffff;
533 writeBytesUnaligned(Insn, TargetPtr, 4);
534 break;
535 }
536 case ELF::R_MIPS_PC21_S2: {
537 uint32_t FinalAddress = (Section.LoadAddress + Offset);
538 Insn &= 0xffe00000;
539 Insn |= ((Value - FinalAddress) >> 2) & 0x1fffff;
540 writeBytesUnaligned(Insn, TargetPtr, 4);
541 break;
542 }
543 case ELF::R_MIPS_PC26_S2: {
544 uint32_t FinalAddress = (Section.LoadAddress + Offset);
545 Insn &= 0xfc000000;
546 Insn |= ((Value - FinalAddress) >> 2) & 0x3ffffff;
547 writeBytesUnaligned(Insn, TargetPtr, 4);
548 break;
549 }
550 case ELF::R_MIPS_PCHI16: {
551 uint32_t FinalAddress = (Section.LoadAddress + Offset);
552 Insn &= 0xffff0000;
553 Insn |= ((Value - FinalAddress + 0x8000) >> 16) & 0xffff;
554 writeBytesUnaligned(Insn, TargetPtr, 4);
555 break;
556 }
557 case ELF::R_MIPS_PCLO16: {
558 uint32_t FinalAddress = (Section.LoadAddress + Offset);
559 Insn &= 0xffff0000;
560 Insn |= (Value - FinalAddress) & 0xffff;
561 writeBytesUnaligned(Insn, TargetPtr, 4);
562 break;
563 }
564 }
Akira Hatanaka111174b2012-08-17 21:28:04 +0000565}
566
Petar Jovanovic97202832015-05-28 13:48:41 +0000567void RuntimeDyldELF::setMipsABI(const ObjectFile &Obj) {
Alexei Starovoitova38e1982015-06-10 03:06:06 +0000568 if (Arch == Triple::UnknownArch ||
569 !StringRef(Triple::getArchTypePrefix(Arch)).equals("mips")) {
Petar Jovanovic97202832015-05-28 13:48:41 +0000570 IsMipsO32ABI = false;
571 IsMipsN64ABI = false;
572 return;
573 }
574 unsigned AbiVariant;
575 Obj.getPlatformFlags(AbiVariant);
576 IsMipsO32ABI = AbiVariant & ELF::EF_MIPS_ABI_O32;
577 IsMipsN64ABI = Obj.getFileFormatName().equals("ELF64-mips");
578 if (AbiVariant & ELF::EF_MIPS_ABI2)
579 llvm_unreachable("Mips N32 ABI is not supported yet");
580}
581
582void RuntimeDyldELF::resolveMIPS64Relocation(const SectionEntry &Section,
583 uint64_t Offset, uint64_t Value,
584 uint32_t Type, int64_t Addend,
585 uint64_t SymOffset,
586 SID SectionID) {
587 uint32_t r_type = Type & 0xff;
588 uint32_t r_type2 = (Type >> 8) & 0xff;
589 uint32_t r_type3 = (Type >> 16) & 0xff;
590
591 // RelType is used to keep information for which relocation type we are
592 // applying relocation.
593 uint32_t RelType = r_type;
594 int64_t CalculatedValue = evaluateMIPS64Relocation(Section, Offset, Value,
595 RelType, Addend,
596 SymOffset, SectionID);
597 if (r_type2 != ELF::R_MIPS_NONE) {
598 RelType = r_type2;
599 CalculatedValue = evaluateMIPS64Relocation(Section, Offset, 0, RelType,
600 CalculatedValue, SymOffset,
601 SectionID);
602 }
603 if (r_type3 != ELF::R_MIPS_NONE) {
604 RelType = r_type3;
605 CalculatedValue = evaluateMIPS64Relocation(Section, Offset, 0, RelType,
606 CalculatedValue, SymOffset,
607 SectionID);
608 }
609 applyMIPS64Relocation(Section.Address + Offset, CalculatedValue, RelType);
610}
611
612int64_t
613RuntimeDyldELF::evaluateMIPS64Relocation(const SectionEntry &Section,
614 uint64_t Offset, uint64_t Value,
615 uint32_t Type, int64_t Addend,
616 uint64_t SymOffset, SID SectionID) {
617
618 DEBUG(dbgs() << "evaluateMIPS64Relocation, LocalAddress: 0x"
619 << format("%llx", Section.Address + Offset)
620 << " FinalAddress: 0x"
621 << format("%llx", Section.LoadAddress + Offset)
622 << " Value: 0x" << format("%llx", Value) << " Type: 0x"
623 << format("%x", Type) << " Addend: 0x" << format("%llx", Addend)
624 << " SymOffset: " << format("%x", SymOffset)
625 << "\n");
626
627 switch (Type) {
628 default:
629 llvm_unreachable("Not implemented relocation type!");
630 break;
631 case ELF::R_MIPS_JALR:
632 case ELF::R_MIPS_NONE:
633 break;
634 case ELF::R_MIPS_32:
635 case ELF::R_MIPS_64:
636 return Value + Addend;
637 case ELF::R_MIPS_26:
638 return ((Value + Addend) >> 2) & 0x3ffffff;
639 case ELF::R_MIPS_GPREL16: {
640 uint64_t GOTAddr = getSectionLoadAddress(SectionToGOTMap[SectionID]);
641 return Value + Addend - (GOTAddr + 0x7ff0);
642 }
643 case ELF::R_MIPS_SUB:
644 return Value - Addend;
645 case ELF::R_MIPS_HI16:
646 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
647 return ((Value + Addend + 0x8000) >> 16) & 0xffff;
648 case ELF::R_MIPS_LO16:
649 return (Value + Addend) & 0xffff;
650 case ELF::R_MIPS_CALL16:
651 case ELF::R_MIPS_GOT_DISP:
652 case ELF::R_MIPS_GOT_PAGE: {
653 uint8_t *LocalGOTAddr =
654 getSectionAddress(SectionToGOTMap[SectionID]) + SymOffset;
655 uint64_t GOTEntry = readBytesUnaligned(LocalGOTAddr, 8);
656
657 Value += Addend;
658 if (Type == ELF::R_MIPS_GOT_PAGE)
659 Value = (Value + 0x8000) & ~0xffff;
660
661 if (GOTEntry)
662 assert(GOTEntry == Value &&
663 "GOT entry has two different addresses.");
664 else
665 writeBytesUnaligned(Value, LocalGOTAddr, 8);
666
667 return (SymOffset - 0x7ff0) & 0xffff;
668 }
669 case ELF::R_MIPS_GOT_OFST: {
670 int64_t page = (Value + Addend + 0x8000) & ~0xffff;
671 return (Value + Addend - page) & 0xffff;
672 }
673 case ELF::R_MIPS_GPREL32: {
674 uint64_t GOTAddr = getSectionLoadAddress(SectionToGOTMap[SectionID]);
675 return Value + Addend - (GOTAddr + 0x7ff0);
676 }
677 case ELF::R_MIPS_PC16: {
678 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Petar Jovanovicb7915a12015-06-23 13:54:42 +0000679 return ((Value + Addend - FinalAddress) >> 2) & 0xffff;
Petar Jovanovic97202832015-05-28 13:48:41 +0000680 }
Petar Jovanoviccf197f02015-06-08 14:10:23 +0000681 case ELF::R_MIPS_PC32: {
682 uint64_t FinalAddress = (Section.LoadAddress + Offset);
683 return Value + Addend - FinalAddress;
684 }
Petar Jovanovic97202832015-05-28 13:48:41 +0000685 case ELF::R_MIPS_PC18_S3: {
686 uint64_t FinalAddress = (Section.LoadAddress + Offset);
687 return ((Value + Addend - ((FinalAddress | 7) ^ 7)) >> 3) & 0x3ffff;
688 }
689 case ELF::R_MIPS_PC19_S2: {
690 uint64_t FinalAddress = (Section.LoadAddress + Offset);
691 return ((Value + Addend - FinalAddress) >> 2) & 0x7ffff;
692 }
693 case ELF::R_MIPS_PC21_S2: {
694 uint64_t FinalAddress = (Section.LoadAddress + Offset);
695 return ((Value + Addend - FinalAddress) >> 2) & 0x1fffff;
696 }
697 case ELF::R_MIPS_PC26_S2: {
698 uint64_t FinalAddress = (Section.LoadAddress + Offset);
699 return ((Value + Addend - FinalAddress) >> 2) & 0x3ffffff;
700 }
701 case ELF::R_MIPS_PCHI16: {
702 uint64_t FinalAddress = (Section.LoadAddress + Offset);
703 return ((Value + Addend - FinalAddress + 0x8000) >> 16) & 0xffff;
704 }
705 case ELF::R_MIPS_PCLO16: {
706 uint64_t FinalAddress = (Section.LoadAddress + Offset);
707 return (Value + Addend - FinalAddress) & 0xffff;
708 }
709 }
710 return 0;
711}
712
713void RuntimeDyldELF::applyMIPS64Relocation(uint8_t *TargetPtr,
714 int64_t CalculatedValue,
715 uint32_t Type) {
716 uint32_t Insn = readBytesUnaligned(TargetPtr, 4);
717
718 switch (Type) {
719 default:
720 break;
721 case ELF::R_MIPS_32:
722 case ELF::R_MIPS_GPREL32:
Petar Jovanoviccf197f02015-06-08 14:10:23 +0000723 case ELF::R_MIPS_PC32:
Petar Jovanovic97202832015-05-28 13:48:41 +0000724 writeBytesUnaligned(CalculatedValue & 0xffffffff, TargetPtr, 4);
725 break;
726 case ELF::R_MIPS_64:
727 case ELF::R_MIPS_SUB:
728 writeBytesUnaligned(CalculatedValue, TargetPtr, 8);
729 break;
730 case ELF::R_MIPS_26:
731 case ELF::R_MIPS_PC26_S2:
732 Insn = (Insn & 0xfc000000) | CalculatedValue;
733 writeBytesUnaligned(Insn, TargetPtr, 4);
734 break;
735 case ELF::R_MIPS_GPREL16:
736 Insn = (Insn & 0xffff0000) | (CalculatedValue & 0xffff);
737 writeBytesUnaligned(Insn, TargetPtr, 4);
738 break;
739 case ELF::R_MIPS_HI16:
740 case ELF::R_MIPS_LO16:
741 case ELF::R_MIPS_PCHI16:
742 case ELF::R_MIPS_PCLO16:
743 case ELF::R_MIPS_PC16:
744 case ELF::R_MIPS_CALL16:
745 case ELF::R_MIPS_GOT_DISP:
746 case ELF::R_MIPS_GOT_PAGE:
747 case ELF::R_MIPS_GOT_OFST:
748 Insn = (Insn & 0xffff0000) | CalculatedValue;
749 writeBytesUnaligned(Insn, TargetPtr, 4);
750 break;
751 case ELF::R_MIPS_PC18_S3:
752 Insn = (Insn & 0xfffc0000) | CalculatedValue;
753 writeBytesUnaligned(Insn, TargetPtr, 4);
754 break;
755 case ELF::R_MIPS_PC19_S2:
756 Insn = (Insn & 0xfff80000) | CalculatedValue;
757 writeBytesUnaligned(Insn, TargetPtr, 4);
758 break;
759 case ELF::R_MIPS_PC21_S2:
760 Insn = (Insn & 0xffe00000) | CalculatedValue;
761 writeBytesUnaligned(Insn, TargetPtr, 4);
762 break;
763 }
764}
765
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000766// Return the .TOC. section and offset.
Rafael Espindola3dc0d052015-06-19 20:58:43 +0000767void RuntimeDyldELF::findPPC64TOCSection(const ELFObjectFileBase &Obj,
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000768 ObjSectionToIDMap &LocalSections,
769 RelocationValueRef &Rel) {
770 // Set a default SectionID in case we do not find a TOC section below.
771 // This may happen for references to TOC base base (sym@toc, .odp
772 // relocation) without a .toc directive. In this case just use the
773 // first section (which is usually the .odp) since the code won't
774 // reference the .toc base directly.
775 Rel.SymbolName = NULL;
776 Rel.SectionID = 0;
777
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000778 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
779 // order. The TOC starts where the first of these sections starts.
Davide Italiano2e9df172015-06-02 01:52:28 +0000780 for (auto &Section: Obj.sections()) {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000781 StringRef SectionName;
Davide Italiano2e9df172015-06-02 01:52:28 +0000782 check(Section.getName(SectionName));
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000783
784 if (SectionName == ".got"
785 || SectionName == ".toc"
786 || SectionName == ".tocbss"
787 || SectionName == ".plt") {
Davide Italiano2e9df172015-06-02 01:52:28 +0000788 Rel.SectionID = findOrEmitSection(Obj, Section, false, LocalSections);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000789 break;
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000790 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000791 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000792
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000793 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
794 // thus permitting a full 64 Kbytes segment.
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000795 Rel.Addend = 0x8000;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000796}
797
798// Returns the sections and offset associated with the ODP entry referenced
799// by Symbol.
Rafael Espindola3dc0d052015-06-19 20:58:43 +0000800void RuntimeDyldELF::findOPDEntrySection(const ELFObjectFileBase &Obj,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000801 ObjSectionToIDMap &LocalSections,
802 RelocationValueRef &Rel) {
803 // Get the ELF symbol value (st_value) to compare with Relocation offset in
804 // .opd entries
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000805 for (section_iterator si = Obj.section_begin(), se = Obj.section_end();
Rafael Espindola5e812af2014-01-30 02:49:50 +0000806 si != se; ++si) {
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000807 section_iterator RelSecI = si->getRelocatedSection();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000808 if (RelSecI == Obj.section_end())
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000809 continue;
810
811 StringRef RelSectionName;
812 check(RelSecI->getName(RelSectionName));
813 if (RelSectionName != ".opd")
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000814 continue;
815
Rafael Espindola71784d62015-06-30 00:33:59 +0000816 for (elf_relocation_iterator i = si->relocation_begin(),
817 e = si->relocation_end();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000818 i != e;) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000819 // The R_PPC64_ADDR64 relocation indicates the first field
820 // of a .opd entry
Rafael Espindola99c041b2015-06-30 01:53:01 +0000821 uint64_t TypeFunc = i->getType();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000822 if (TypeFunc != ELF::R_PPC64_ADDR64) {
Rafael Espindola5e812af2014-01-30 02:49:50 +0000823 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000824 continue;
825 }
826
Rafael Espindola96d071c2015-06-29 23:29:12 +0000827 uint64_t TargetSymbolOffset = i->getOffset();
Rafael Espindola806f0062013-06-05 01:33:53 +0000828 symbol_iterator TargetSymbol = i->getSymbol();
Rafael Espindola71784d62015-06-30 00:33:59 +0000829 ErrorOr<int64_t> AddendOrErr = i->getAddend();
Rafael Espindola3dc0d052015-06-19 20:58:43 +0000830 Check(AddendOrErr.getError());
831 int64_t Addend = *AddendOrErr;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000832
Rafael Espindola5e812af2014-01-30 02:49:50 +0000833 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000834 if (i == e)
835 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000836
837 // Just check if following relocation is a R_PPC64_TOC
Rafael Espindola99c041b2015-06-30 01:53:01 +0000838 uint64_t TypeTOC = i->getType();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000839 if (TypeTOC != ELF::R_PPC64_TOC)
840 continue;
841
842 // Finally compares the Symbol value and the target symbol offset
843 // to check if this .opd entry refers to the symbol the relocation
844 // points to.
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000845 if (Rel.Addend != (int64_t)TargetSymbolOffset)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000846 continue;
847
Rafael Espindola8bab8892015-08-07 23:27:14 +0000848 ErrorOr<section_iterator> TSIOrErr = TargetSymbol->getSection();
849 check(TSIOrErr.getError());
850 section_iterator tsi = *TSIOrErr;
Rafael Espindola80291272014-10-08 15:28:58 +0000851 bool IsCode = tsi->isText();
Lang Hames9b2dc932014-02-18 21:46:39 +0000852 Rel.SectionID = findOrEmitSection(Obj, (*tsi), IsCode, LocalSections);
Rafael Espindola0d15f732013-05-09 03:39:05 +0000853 Rel.Addend = (intptr_t)Addend;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000854 return;
855 }
856 }
857 llvm_unreachable("Attempting to get address of ODP entry!");
858}
859
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000860// Relocation masks following the #lo(value), #hi(value), #ha(value),
861// #higher(value), #highera(value), #highest(value), and #highesta(value)
862// macros defined in section 4.5.1. Relocation Types of the PPC-elf64abi
863// document.
864
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000865static inline uint16_t applyPPClo(uint64_t value) { return value & 0xffff; }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000866
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000867static inline uint16_t applyPPChi(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000868 return (value >> 16) & 0xffff;
869}
870
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000871static inline uint16_t applyPPCha (uint64_t value) {
872 return ((value + 0x8000) >> 16) & 0xffff;
873}
874
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000875static inline uint16_t applyPPChigher(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000876 return (value >> 32) & 0xffff;
877}
878
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000879static inline uint16_t applyPPChighera (uint64_t value) {
880 return ((value + 0x8000) >> 32) & 0xffff;
881}
882
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000883static inline uint16_t applyPPChighest(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000884 return (value >> 48) & 0xffff;
885}
886
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000887static inline uint16_t applyPPChighesta (uint64_t value) {
888 return ((value + 0x8000) >> 48) & 0xffff;
889}
890
Hal Finkel23cdeee2015-08-04 15:29:00 +0000891void RuntimeDyldELF::resolvePPC32Relocation(const SectionEntry &Section,
892 uint64_t Offset, uint64_t Value,
893 uint32_t Type, int64_t Addend) {
894 uint8_t *LocalAddress = Section.Address + Offset;
895 switch (Type) {
896 default:
897 llvm_unreachable("Relocation type not implemented yet!");
898 break;
899 case ELF::R_PPC_ADDR16_LO:
900 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
901 break;
902 case ELF::R_PPC_ADDR16_HI:
903 writeInt16BE(LocalAddress, applyPPChi(Value + Addend));
904 break;
905 case ELF::R_PPC_ADDR16_HA:
906 writeInt16BE(LocalAddress, applyPPCha(Value + Addend));
907 break;
908 }
909}
910
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000911void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000912 uint64_t Offset, uint64_t Value,
913 uint32_t Type, int64_t Addend) {
914 uint8_t *LocalAddress = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000915 switch (Type) {
916 default:
917 llvm_unreachable("Relocation type not implemented yet!");
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000918 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000919 case ELF::R_PPC64_ADDR16:
920 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
921 break;
922 case ELF::R_PPC64_ADDR16_DS:
923 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
924 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000925 case ELF::R_PPC64_ADDR16_LO:
926 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000927 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000928 case ELF::R_PPC64_ADDR16_LO_DS:
929 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
930 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000931 case ELF::R_PPC64_ADDR16_HI:
932 writeInt16BE(LocalAddress, applyPPChi(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000933 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000934 case ELF::R_PPC64_ADDR16_HA:
935 writeInt16BE(LocalAddress, applyPPCha(Value + Addend));
936 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000937 case ELF::R_PPC64_ADDR16_HIGHER:
938 writeInt16BE(LocalAddress, applyPPChigher(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000939 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000940 case ELF::R_PPC64_ADDR16_HIGHERA:
941 writeInt16BE(LocalAddress, applyPPChighera(Value + Addend));
942 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000943 case ELF::R_PPC64_ADDR16_HIGHEST:
944 writeInt16BE(LocalAddress, applyPPChighest(Value + Addend));
945 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000946 case ELF::R_PPC64_ADDR16_HIGHESTA:
947 writeInt16BE(LocalAddress, applyPPChighesta(Value + Addend));
948 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000949 case ELF::R_PPC64_ADDR14: {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000950 assert(((Value + Addend) & 3) == 0);
951 // Preserve the AA/LK bits in the branch instruction
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000952 uint8_t aalk = *(LocalAddress + 3);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000953 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
954 } break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000955 case ELF::R_PPC64_REL16_LO: {
956 uint64_t FinalAddress = (Section.LoadAddress + Offset);
957 uint64_t Delta = Value - FinalAddress + Addend;
958 writeInt16BE(LocalAddress, applyPPClo(Delta));
959 } break;
960 case ELF::R_PPC64_REL16_HI: {
961 uint64_t FinalAddress = (Section.LoadAddress + Offset);
962 uint64_t Delta = Value - FinalAddress + Addend;
963 writeInt16BE(LocalAddress, applyPPChi(Delta));
964 } break;
965 case ELF::R_PPC64_REL16_HA: {
966 uint64_t FinalAddress = (Section.LoadAddress + Offset);
967 uint64_t Delta = Value - FinalAddress + Addend;
968 writeInt16BE(LocalAddress, applyPPCha(Delta));
969 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000970 case ELF::R_PPC64_ADDR32: {
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000971 int32_t Result = static_cast<int32_t>(Value + Addend);
972 if (SignExtend32<32>(Result) != Result)
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000973 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000974 writeInt32BE(LocalAddress, Result);
975 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000976 case ELF::R_PPC64_REL24: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000977 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000978 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
979 if (SignExtend32<24>(delta) != delta)
980 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
981 // Generates a 'bl <address>' instruction
982 writeInt32BE(LocalAddress, 0x48000001 | (delta & 0x03FFFFFC));
983 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000984 case ELF::R_PPC64_REL32: {
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000985 uint64_t FinalAddress = (Section.LoadAddress + Offset);
986 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
987 if (SignExtend32<32>(delta) != delta)
988 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
989 writeInt32BE(LocalAddress, delta);
990 } break;
Adhemerval Zanellae8bd03d2013-05-06 17:21:23 +0000991 case ELF::R_PPC64_REL64: {
992 uint64_t FinalAddress = (Section.LoadAddress + Offset);
993 uint64_t Delta = Value - FinalAddress + Addend;
994 writeInt64BE(LocalAddress, Delta);
995 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000996 case ELF::R_PPC64_ADDR64:
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000997 writeInt64BE(LocalAddress, Value + Addend);
998 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000999 }
1000}
1001
Richard Sandifordca044082013-05-03 14:15:35 +00001002void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001003 uint64_t Offset, uint64_t Value,
1004 uint32_t Type, int64_t Addend) {
Richard Sandifordca044082013-05-03 14:15:35 +00001005 uint8_t *LocalAddress = Section.Address + Offset;
1006 switch (Type) {
1007 default:
1008 llvm_unreachable("Relocation type not implemented yet!");
1009 break;
1010 case ELF::R_390_PC16DBL:
1011 case ELF::R_390_PLT16DBL: {
1012 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
1013 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
1014 writeInt16BE(LocalAddress, Delta / 2);
1015 break;
1016 }
1017 case ELF::R_390_PC32DBL:
1018 case ELF::R_390_PLT32DBL: {
1019 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
1020 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
1021 writeInt32BE(LocalAddress, Delta / 2);
1022 break;
1023 }
1024 case ELF::R_390_PC32: {
1025 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
1026 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
1027 writeInt32BE(LocalAddress, Delta);
1028 break;
1029 }
1030 case ELF::R_390_64:
1031 writeInt64BE(LocalAddress, Value + Addend);
1032 break;
1033 }
1034}
1035
Andrew Kaylor5f3a9982013-08-19 19:38:06 +00001036// The target location for the relocation is described by RE.SectionID and
1037// RE.Offset. RE.SectionID can be used to find the SectionEntry. Each
1038// SectionEntry has three members describing its location.
1039// SectionEntry::Address is the address at which the section has been loaded
1040// into memory in the current (host) process. SectionEntry::LoadAddress is the
1041// address that the section will have in the target process.
1042// SectionEntry::ObjAddress is the address of the bits for this section in the
1043// original emitted object image (also in the current address space).
1044//
1045// Relocations will be applied as if the section were loaded at
1046// SectionEntry::LoadAddress, but they will be applied at an address based
1047// on SectionEntry::Address. SectionEntry::ObjAddress will be used to refer to
1048// Target memory contents if they are required for value calculations.
1049//
1050// The Value parameter here is the load address of the symbol for the
1051// relocation to be applied. For relocations which refer to symbols in the
1052// current object Value will be the LoadAddress of the section in which
1053// the symbol resides (RE.Addend provides additional information about the
1054// symbol location). For external symbols, Value will be the address of the
1055// symbol in the target address space.
Rafael Espindolaf1f1c622013-04-29 17:24:34 +00001056void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
Andrew Kaylor5f3a9982013-08-19 19:38:06 +00001057 uint64_t Value) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +00001058 const SectionEntry &Section = Sections[RE.SectionID];
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001059 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +00001060 RE.SymOffset, RE.SectionID);
Rafael Espindolaf1f1c622013-04-29 17:24:34 +00001061}
1062
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001063void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001064 uint64_t Offset, uint64_t Value,
1065 uint32_t Type, int64_t Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +00001066 uint64_t SymOffset, SID SectionID) {
Eli Bendersky4c647582012-01-16 08:56:09 +00001067 switch (Arch) {
1068 case Triple::x86_64:
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001069 resolveX86_64Relocation(Section, Offset, Value, Type, Addend, SymOffset);
Eli Bendersky4c647582012-01-16 08:56:09 +00001070 break;
1071 case Triple::x86:
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001072 resolveX86Relocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001073 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +00001074 break;
Tim Northoverfa1b2f82013-05-04 20:13:59 +00001075 case Triple::aarch64:
Christian Pirker99974c72014-03-26 14:57:32 +00001076 case Triple::aarch64_be:
Tim Northoverfa1b2f82013-05-04 20:13:59 +00001077 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
1078 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001079 case Triple::arm: // Fall through.
Christian Pirker2a111602014-03-28 14:35:30 +00001080 case Triple::armeb:
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001081 case Triple::thumb:
Christian Pirker2a111602014-03-28 14:35:30 +00001082 case Triple::thumbeb:
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001083 resolveARMRelocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001084 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +00001085 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001086 case Triple::mips: // Fall through.
Akira Hatanaka111174b2012-08-17 21:28:04 +00001087 case Triple::mipsel:
Petar Jovanovic97202832015-05-28 13:48:41 +00001088 case Triple::mips64:
1089 case Triple::mips64el:
1090 if (IsMipsO32ABI)
1091 resolveMIPSRelocation(Section, Offset, (uint32_t)(Value & 0xffffffffL),
1092 Type, (uint32_t)(Addend & 0xffffffffL));
1093 else if (IsMipsN64ABI)
1094 resolveMIPS64Relocation(Section, Offset, Value, Type, Addend, SymOffset,
1095 SectionID);
1096 else
1097 llvm_unreachable("Mips ABI not handled");
Akira Hatanaka111174b2012-08-17 21:28:04 +00001098 break;
Hal Finkel23cdeee2015-08-04 15:29:00 +00001099 case Triple::ppc:
1100 resolvePPC32Relocation(Section, Offset, Value, Type, Addend);
1101 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001102 case Triple::ppc64: // Fall through.
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001103 case Triple::ppc64le:
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001104 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001105 break;
Richard Sandifordca044082013-05-03 14:15:35 +00001106 case Triple::systemz:
1107 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
1108 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001109 default:
1110 llvm_unreachable("Unsupported CPU type!");
Eli Bendersky4c647582012-01-16 08:56:09 +00001111 }
1112}
1113
Keno Fischere6892c82015-05-01 20:21:45 +00001114void *RuntimeDyldELF::computePlaceholderAddress(unsigned SectionID, uint64_t Offset) const {
1115 return (void*)(Sections[SectionID].ObjAddress + Offset);
1116}
1117
1118void RuntimeDyldELF::processSimpleRelocation(unsigned SectionID, uint64_t Offset, unsigned RelType, RelocationValueRef Value) {
1119 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend, Value.Offset);
1120 if (Value.SymbolName)
1121 addRelocationForSymbol(RE, Value.SymbolName);
1122 else
1123 addRelocationForSection(RE, Value.SectionID);
1124}
1125
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001126relocation_iterator RuntimeDyldELF::processRelocationRef(
Rafael Espindola3dc0d052015-06-19 20:58:43 +00001127 unsigned SectionID, relocation_iterator RelI, const ObjectFile &O,
1128 ObjSectionToIDMap &ObjSectionToID, StubMap &Stubs) {
1129 const auto &Obj = cast<ELFObjectFileBase>(O);
Rafael Espindola99c041b2015-06-30 01:53:01 +00001130 uint64_t RelType = RelI->getType();
Rafael Espindola71784d62015-06-30 00:33:59 +00001131 ErrorOr<int64_t> AddendOrErr = ELFRelocationRef(*RelI).getAddend();
1132 int64_t Addend = AddendOrErr ? *AddendOrErr : 0;
Rafael Espindolaeef7ffe2015-06-26 11:39:57 +00001133 elf_symbol_iterator Symbol = RelI->getSymbol();
Eli Bendersky667b8792012-05-01 10:41:12 +00001134
1135 // Obtain the symbol name which is referenced in the relocation
1136 StringRef TargetName;
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +00001137 if (Symbol != Obj.symbol_end()) {
1138 ErrorOr<StringRef> TargetNameOrErr = Symbol->getName();
1139 if (std::error_code EC = TargetNameOrErr.getError())
1140 report_fatal_error(EC.message());
1141 TargetName = *TargetNameOrErr;
1142 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001143 DEBUG(dbgs() << "\t\tRelType: " << RelType << " Addend: " << Addend
1144 << " TargetName: " << TargetName << "\n");
Eli Bendersky667b8792012-05-01 10:41:12 +00001145 RelocationValueRef Value;
1146 // First search for the symbol in the local symbol table
Rafael Espindola75954472013-06-05 02:55:01 +00001147 SymbolRef::Type SymType = SymbolRef::ST_Unknown;
Lang Hamesa5cd9502014-11-27 05:40:13 +00001148
1149 // Search for the symbol in the global symbol table
Lang Hames6bfd3982015-01-16 23:13:56 +00001150 RTDyldSymbolTable::const_iterator gsi = GlobalSymbolTable.end();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001151 if (Symbol != Obj.symbol_end()) {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001152 gsi = GlobalSymbolTable.find(TargetName.data());
Rafael Espindola2fa80cc2015-06-26 12:18:49 +00001153 SymType = Symbol->getType();
Rafael Espindola75954472013-06-05 02:55:01 +00001154 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001155 if (gsi != GlobalSymbolTable.end()) {
Lang Hames6bfd3982015-01-16 23:13:56 +00001156 const auto &SymInfo = gsi->second;
1157 Value.SectionID = SymInfo.getSectionID();
1158 Value.Offset = SymInfo.getOffset();
1159 Value.Addend = SymInfo.getOffset() + Addend;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001160 } else {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001161 switch (SymType) {
1162 case SymbolRef::ST_Debug: {
1163 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
1164 // and can be changed by another developers. Maybe best way is add
1165 // a new symbol type ST_Section to SymbolRef and use it.
Rafael Espindola8bab8892015-08-07 23:27:14 +00001166 section_iterator si = *Symbol->getSection();
Lang Hamesa5cd9502014-11-27 05:40:13 +00001167 if (si == Obj.section_end())
1168 llvm_unreachable("Symbol section not found, bad object file format!");
1169 DEBUG(dbgs() << "\t\tThis is section symbol\n");
1170 bool isCode = si->isText();
1171 Value.SectionID = findOrEmitSection(Obj, (*si), isCode, ObjSectionToID);
1172 Value.Addend = Addend;
1173 break;
1174 }
1175 case SymbolRef::ST_Data:
1176 case SymbolRef::ST_Unknown: {
1177 Value.SymbolName = TargetName.data();
1178 Value.Addend = Addend;
Richard Mittonad6d3492013-08-16 18:54:26 +00001179
Lang Hamesa5cd9502014-11-27 05:40:13 +00001180 // Absolute relocations will have a zero symbol ID (STN_UNDEF), which
1181 // will manifest here as a NULL symbol name.
1182 // We can set this as a valid (but empty) symbol name, and rely
1183 // on addRelocationForSymbol to handle this.
1184 if (!Value.SymbolName)
1185 Value.SymbolName = "";
1186 break;
1187 }
1188 default:
1189 llvm_unreachable("Unresolved symbol type!");
1190 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001191 }
Eli Bendersky4c647582012-01-16 08:56:09 +00001192 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001193
Rafael Espindola96d071c2015-06-29 23:29:12 +00001194 uint64_t Offset = RelI->getOffset();
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001195
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001196 DEBUG(dbgs() << "\t\tSectionID: " << SectionID << " Offset: " << Offset
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001197 << "\n");
Tim Northovere19bed72014-07-23 12:32:47 +00001198 if ((Arch == Triple::aarch64 || Arch == Triple::aarch64_be) &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001199 (RelType == ELF::R_AARCH64_CALL26 || RelType == ELF::R_AARCH64_JUMP26)) {
Tim Northover37cde972013-05-04 20:14:09 +00001200 // This is an AArch64 branch relocation, need to use a stub function.
1201 DEBUG(dbgs() << "\t\tThis is an AArch64 branch relocation.");
1202 SectionEntry &Section = Sections[SectionID];
1203
1204 // Look for an existing stub.
1205 StubMap::const_iterator i = Stubs.find(Value);
1206 if (i != Stubs.end()) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001207 resolveRelocation(Section, Offset, (uint64_t)Section.Address + i->second,
1208 RelType, 0);
Tim Northover37cde972013-05-04 20:14:09 +00001209 DEBUG(dbgs() << " Stub function found\n");
1210 } else {
1211 // Create a new stub function.
1212 DEBUG(dbgs() << " Create a new stub function\n");
1213 Stubs[Value] = Section.StubOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001214 uint8_t *StubTargetAddr =
1215 createStubFunction(Section.Address + Section.StubOffset);
Tim Northover37cde972013-05-04 20:14:09 +00001216
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001217 RelocationEntry REmovz_g3(SectionID, StubTargetAddr - Section.Address,
Lang Hames9a891052014-09-07 04:13:13 +00001218 ELF::R_AARCH64_MOVW_UABS_G3, Value.Addend);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001219 RelocationEntry REmovk_g2(SectionID, StubTargetAddr - Section.Address + 4,
Lang Hames9a891052014-09-07 04:13:13 +00001220 ELF::R_AARCH64_MOVW_UABS_G2_NC, Value.Addend);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001221 RelocationEntry REmovk_g1(SectionID, StubTargetAddr - Section.Address + 8,
Lang Hames9a891052014-09-07 04:13:13 +00001222 ELF::R_AARCH64_MOVW_UABS_G1_NC, Value.Addend);
Tim Northover37cde972013-05-04 20:14:09 +00001223 RelocationEntry REmovk_g0(SectionID,
1224 StubTargetAddr - Section.Address + 12,
1225 ELF::R_AARCH64_MOVW_UABS_G0_NC, Value.Addend);
1226
1227 if (Value.SymbolName) {
1228 addRelocationForSymbol(REmovz_g3, Value.SymbolName);
1229 addRelocationForSymbol(REmovk_g2, Value.SymbolName);
1230 addRelocationForSymbol(REmovk_g1, Value.SymbolName);
1231 addRelocationForSymbol(REmovk_g0, Value.SymbolName);
1232 } else {
1233 addRelocationForSection(REmovz_g3, Value.SectionID);
1234 addRelocationForSection(REmovk_g2, Value.SectionID);
1235 addRelocationForSection(REmovk_g1, Value.SectionID);
1236 addRelocationForSection(REmovk_g0, Value.SectionID);
1237 }
1238 resolveRelocation(Section, Offset,
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001239 (uint64_t)Section.Address + Section.StubOffset, RelType,
1240 0);
Tim Northover37cde972013-05-04 20:14:09 +00001241 Section.StubOffset += getMaxStubSize();
1242 }
Keno Fischere6892c82015-05-01 20:21:45 +00001243 } else if (Arch == Triple::arm) {
1244 if (RelType == ELF::R_ARM_PC24 || RelType == ELF::R_ARM_CALL ||
1245 RelType == ELF::R_ARM_JUMP24) {
1246 // This is an ARM branch relocation, need to use a stub function.
1247 DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.");
1248 SectionEntry &Section = Sections[SectionID];
Eli Bendersky4c647582012-01-16 08:56:09 +00001249
Keno Fischere6892c82015-05-01 20:21:45 +00001250 // Look for an existing stub.
1251 StubMap::const_iterator i = Stubs.find(Value);
1252 if (i != Stubs.end()) {
1253 resolveRelocation(Section, Offset, (uint64_t)Section.Address + i->second,
1254 RelType, 0);
1255 DEBUG(dbgs() << " Stub function found\n");
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001256 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001257 // Create a new stub function.
1258 DEBUG(dbgs() << " Create a new stub function\n");
1259 Stubs[Value] = Section.StubOffset;
1260 uint8_t *StubTargetAddr =
1261 createStubFunction(Section.Address + Section.StubOffset);
1262 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
1263 ELF::R_ARM_ABS32, Value.Addend);
1264 if (Value.SymbolName)
1265 addRelocationForSymbol(RE, Value.SymbolName);
1266 else
1267 addRelocationForSection(RE, Value.SectionID);
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001268
Keno Fischere6892c82015-05-01 20:21:45 +00001269 resolveRelocation(Section, Offset,
1270 (uint64_t)Section.Address + Section.StubOffset, RelType,
1271 0);
1272 Section.StubOffset += getMaxStubSize();
1273 }
1274 } else {
1275 uint32_t *Placeholder =
1276 reinterpret_cast<uint32_t*>(computePlaceholderAddress(SectionID, Offset));
1277 if (RelType == ELF::R_ARM_PREL31 || RelType == ELF::R_ARM_TARGET1 ||
1278 RelType == ELF::R_ARM_ABS32) {
1279 Value.Addend += *Placeholder;
1280 } else if (RelType == ELF::R_ARM_MOVW_ABS_NC || RelType == ELF::R_ARM_MOVT_ABS) {
1281 // See ELF for ARM documentation
1282 Value.Addend += (int16_t)((*Placeholder & 0xFFF) | (((*Placeholder >> 16) & 0xF) << 12));
1283 }
1284 processSimpleRelocation(SectionID, Offset, RelType, Value);
1285 }
Petar Jovanovic97202832015-05-28 13:48:41 +00001286 } else if (IsMipsO32ABI) {
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001287 uint8_t *Placeholder = reinterpret_cast<uint8_t *>(
1288 computePlaceholderAddress(SectionID, Offset));
1289 uint32_t Opcode = readBytesUnaligned(Placeholder, 4);
Keno Fischere6892c82015-05-01 20:21:45 +00001290 if (RelType == ELF::R_MIPS_26) {
1291 // This is an Mips branch relocation, need to use a stub function.
1292 DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
1293 SectionEntry &Section = Sections[SectionID];
1294
1295 // Extract the addend from the instruction.
1296 // We shift up by two since the Value will be down shifted again
1297 // when applying the relocation.
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001298 uint32_t Addend = (Opcode & 0x03ffffff) << 2;
Keno Fischere6892c82015-05-01 20:21:45 +00001299
1300 Value.Addend += Addend;
1301
1302 // Look up for existing stub.
1303 StubMap::const_iterator i = Stubs.find(Value);
1304 if (i != Stubs.end()) {
1305 RelocationEntry RE(SectionID, Offset, RelType, i->second);
1306 addRelocationForSection(RE, SectionID);
1307 DEBUG(dbgs() << " Stub function found\n");
1308 } else {
1309 // Create a new stub function.
1310 DEBUG(dbgs() << " Create a new stub function\n");
1311 Stubs[Value] = Section.StubOffset;
1312 uint8_t *StubTargetAddr =
1313 createStubFunction(Section.Address + Section.StubOffset);
1314
1315 // Creating Hi and Lo relocations for the filled stub instructions.
1316 RelocationEntry REHi(SectionID, StubTargetAddr - Section.Address,
1317 ELF::R_MIPS_HI16, Value.Addend);
1318 RelocationEntry RELo(SectionID, StubTargetAddr - Section.Address + 4,
1319 ELF::R_MIPS_LO16, Value.Addend);
1320
1321 if (Value.SymbolName) {
1322 addRelocationForSymbol(REHi, Value.SymbolName);
1323 addRelocationForSymbol(RELo, Value.SymbolName);
1324 }
1325 else {
1326 addRelocationForSection(REHi, Value.SectionID);
1327 addRelocationForSection(RELo, Value.SectionID);
1328 }
1329
1330 RelocationEntry RE(SectionID, Offset, RelType, Section.StubOffset);
1331 addRelocationForSection(RE, SectionID);
1332 Section.StubOffset += getMaxStubSize();
1333 }
1334 } else {
Petar Jovanovic0326a062015-07-06 12:50:55 +00001335 // FIXME: Calculate correct addends for R_MIPS_HI16, R_MIPS_LO16,
1336 // R_MIPS_PCHI16 and R_MIPS_PCLO16 relocations.
1337 if (RelType == ELF::R_MIPS_HI16 || RelType == ELF::R_MIPS_PCHI16)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001338 Value.Addend += (Opcode & 0x0000ffff) << 16;
Keno Fischere6892c82015-05-01 20:21:45 +00001339 else if (RelType == ELF::R_MIPS_LO16)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001340 Value.Addend += (Opcode & 0x0000ffff);
Keno Fischere6892c82015-05-01 20:21:45 +00001341 else if (RelType == ELF::R_MIPS_32)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001342 Value.Addend += Opcode;
Petar Jovanovic0326a062015-07-06 12:50:55 +00001343 else if (RelType == ELF::R_MIPS_PCLO16)
1344 Value.Addend += SignExtend32<16>((Opcode & 0x0000ffff));
1345 else if (RelType == ELF::R_MIPS_PC16)
1346 Value.Addend += SignExtend32<18>((Opcode & 0x0000ffff) << 2);
1347 else if (RelType == ELF::R_MIPS_PC19_S2)
1348 Value.Addend += SignExtend32<21>((Opcode & 0x0007ffff) << 2);
1349 else if (RelType == ELF::R_MIPS_PC21_S2)
1350 Value.Addend += SignExtend32<23>((Opcode & 0x001fffff) << 2);
1351 else if (RelType == ELF::R_MIPS_PC26_S2)
1352 Value.Addend += SignExtend32<28>((Opcode & 0x03ffffff) << 2);
Keno Fischere6892c82015-05-01 20:21:45 +00001353 processSimpleRelocation(SectionID, Offset, RelType, Value);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001354 }
Petar Jovanovic97202832015-05-28 13:48:41 +00001355 } else if (IsMipsN64ABI) {
1356 uint32_t r_type = RelType & 0xff;
1357 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
1358 if (r_type == ELF::R_MIPS_CALL16 || r_type == ELF::R_MIPS_GOT_PAGE
1359 || r_type == ELF::R_MIPS_GOT_DISP) {
1360 StringMap<uint64_t>::iterator i = GOTSymbolOffsets.find(TargetName);
1361 if (i != GOTSymbolOffsets.end())
1362 RE.SymOffset = i->second;
1363 else {
1364 RE.SymOffset = allocateGOTEntries(SectionID, 1);
1365 GOTSymbolOffsets[TargetName] = RE.SymOffset;
1366 }
1367 }
1368 if (Value.SymbolName)
1369 addRelocationForSymbol(RE, Value.SymbolName);
1370 else
1371 addRelocationForSection(RE, Value.SectionID);
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001372 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001373 if (RelType == ELF::R_PPC64_REL24) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001374 // Determine ABI variant in use for this object.
1375 unsigned AbiVariant;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001376 Obj.getPlatformFlags(AbiVariant);
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001377 AbiVariant &= ELF::EF_PPC64_ABI;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001378 // A PPC branch relocation will need a stub function if the target is
1379 // an external symbol (Symbol::ST_Unknown) or if the target address
1380 // is not within the signed 24-bits branch address.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001381 SectionEntry &Section = Sections[SectionID];
1382 uint8_t *Target = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001383 bool RangeOverflow = false;
1384 if (SymType != SymbolRef::ST_Unknown) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001385 if (AbiVariant != 2) {
1386 // In the ELFv1 ABI, a function call may point to the .opd entry,
1387 // so the final symbol value is calculated based on the relocation
1388 // values in the .opd section.
1389 findOPDEntrySection(Obj, ObjSectionToID, Value);
1390 } else {
1391 // In the ELFv2 ABI, a function symbol may provide a local entry
1392 // point, which must be used for direct calls.
Rafael Espindolaeef7ffe2015-06-26 11:39:57 +00001393 uint8_t SymOther = Symbol->getOther();
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001394 Value.Addend += ELF::decodePPC64LocalEntryOffset(SymOther);
1395 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001396 uint8_t *RelocTarget = Sections[Value.SectionID].Address + Value.Addend;
1397 int32_t delta = static_cast<int32_t>(Target - RelocTarget);
1398 // If it is within 24-bits branch range, just set the branch target
1399 if (SignExtend32<24>(delta) == delta) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001400 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001401 if (Value.SymbolName)
1402 addRelocationForSymbol(RE, Value.SymbolName);
1403 else
1404 addRelocationForSection(RE, Value.SectionID);
1405 } else {
1406 RangeOverflow = true;
1407 }
1408 }
David Blaikiedc3f01e2015-03-09 01:57:13 +00001409 if (SymType == SymbolRef::ST_Unknown || RangeOverflow) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001410 // It is an external symbol (SymbolRef::ST_Unknown) or within a range
1411 // larger than 24-bits.
1412 StubMap::const_iterator i = Stubs.find(Value);
1413 if (i != Stubs.end()) {
1414 // Symbol function stub already created, just relocate to it
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001415 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001416 (uint64_t)Section.Address + i->second, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001417 DEBUG(dbgs() << " Stub function found\n");
1418 } else {
1419 // Create a new stub function.
1420 DEBUG(dbgs() << " Create a new stub function\n");
1421 Stubs[Value] = Section.StubOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001422 uint8_t *StubTargetAddr =
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001423 createStubFunction(Section.Address + Section.StubOffset,
1424 AbiVariant);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001425 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001426 ELF::R_PPC64_ADDR64, Value.Addend);
1427
1428 // Generates the 64-bits address loads as exemplified in section
Ulrich Weigand32626012014-06-20 18:17:56 +00001429 // 4.5.1 in PPC64 ELF ABI. Note that the relocations need to
1430 // apply to the low part of the instructions, so we have to update
1431 // the offset according to the target endianness.
1432 uint64_t StubRelocOffset = StubTargetAddr - Section.Address;
1433 if (!IsTargetLittleEndian)
1434 StubRelocOffset += 2;
1435
1436 RelocationEntry REhst(SectionID, StubRelocOffset + 0,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001437 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001438 RelocationEntry REhr(SectionID, StubRelocOffset + 4,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001439 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001440 RelocationEntry REh(SectionID, StubRelocOffset + 12,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001441 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001442 RelocationEntry REl(SectionID, StubRelocOffset + 16,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001443 ELF::R_PPC64_ADDR16_LO, Value.Addend);
1444
1445 if (Value.SymbolName) {
1446 addRelocationForSymbol(REhst, Value.SymbolName);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001447 addRelocationForSymbol(REhr, Value.SymbolName);
1448 addRelocationForSymbol(REh, Value.SymbolName);
1449 addRelocationForSymbol(REl, Value.SymbolName);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001450 } else {
1451 addRelocationForSection(REhst, Value.SectionID);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001452 addRelocationForSection(REhr, Value.SectionID);
1453 addRelocationForSection(REh, Value.SectionID);
1454 addRelocationForSection(REl, Value.SectionID);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001455 }
1456
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001457 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001458 (uint64_t)Section.Address + Section.StubOffset,
1459 RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001460 Section.StubOffset += getMaxStubSize();
1461 }
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001462 if (SymType == SymbolRef::ST_Unknown) {
Ulrich Weigandfa84ac92014-03-11 15:26:27 +00001463 // Restore the TOC for external calls
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001464 if (AbiVariant == 2)
1465 writeInt32BE(Target + 4, 0xE8410018); // ld r2,28(r1)
1466 else
1467 writeInt32BE(Target + 4, 0xE8410028); // ld r2,40(r1)
1468 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001469 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001470 } else if (RelType == ELF::R_PPC64_TOC16 ||
1471 RelType == ELF::R_PPC64_TOC16_DS ||
1472 RelType == ELF::R_PPC64_TOC16_LO ||
1473 RelType == ELF::R_PPC64_TOC16_LO_DS ||
1474 RelType == ELF::R_PPC64_TOC16_HI ||
1475 RelType == ELF::R_PPC64_TOC16_HA) {
1476 // These relocations are supposed to subtract the TOC address from
1477 // the final value. This does not fit cleanly into the RuntimeDyld
1478 // scheme, since there may be *two* sections involved in determining
1479 // the relocation value (the section of the symbol refered to by the
1480 // relocation, and the TOC section associated with the current module).
1481 //
1482 // Fortunately, these relocations are currently only ever generated
1483 // refering to symbols that themselves reside in the TOC, which means
1484 // that the two sections are actually the same. Thus they cancel out
1485 // and we can immediately resolve the relocation right now.
1486 switch (RelType) {
1487 case ELF::R_PPC64_TOC16: RelType = ELF::R_PPC64_ADDR16; break;
1488 case ELF::R_PPC64_TOC16_DS: RelType = ELF::R_PPC64_ADDR16_DS; break;
1489 case ELF::R_PPC64_TOC16_LO: RelType = ELF::R_PPC64_ADDR16_LO; break;
1490 case ELF::R_PPC64_TOC16_LO_DS: RelType = ELF::R_PPC64_ADDR16_LO_DS; break;
1491 case ELF::R_PPC64_TOC16_HI: RelType = ELF::R_PPC64_ADDR16_HI; break;
1492 case ELF::R_PPC64_TOC16_HA: RelType = ELF::R_PPC64_ADDR16_HA; break;
1493 default: llvm_unreachable("Wrong relocation type.");
1494 }
1495
1496 RelocationValueRef TOCValue;
1497 findPPC64TOCSection(Obj, ObjSectionToID, TOCValue);
1498 if (Value.SymbolName || Value.SectionID != TOCValue.SectionID)
1499 llvm_unreachable("Unsupported TOC relocation.");
1500 Value.Addend -= TOCValue.Addend;
1501 resolveRelocation(Sections[SectionID], Offset, Value.Addend, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001502 } else {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001503 // There are two ways to refer to the TOC address directly: either
1504 // via a ELF::R_PPC64_TOC relocation (where both symbol and addend are
1505 // ignored), or via any relocation that refers to the magic ".TOC."
1506 // symbols (in which case the addend is respected).
1507 if (RelType == ELF::R_PPC64_TOC) {
1508 RelType = ELF::R_PPC64_ADDR64;
1509 findPPC64TOCSection(Obj, ObjSectionToID, Value);
1510 } else if (TargetName == ".TOC.") {
1511 findPPC64TOCSection(Obj, ObjSectionToID, Value);
1512 Value.Addend += Addend;
1513 }
1514
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001515 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Richard Mittonad6d3492013-08-16 18:54:26 +00001516
1517 if (Value.SymbolName)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001518 addRelocationForSymbol(RE, Value.SymbolName);
1519 else
1520 addRelocationForSection(RE, Value.SectionID);
1521 }
Richard Sandifordca044082013-05-03 14:15:35 +00001522 } else if (Arch == Triple::systemz &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001523 (RelType == ELF::R_390_PLT32DBL || RelType == ELF::R_390_GOTENT)) {
Richard Sandifordca044082013-05-03 14:15:35 +00001524 // Create function stubs for both PLT and GOT references, regardless of
1525 // whether the GOT reference is to data or code. The stub contains the
1526 // full address of the symbol, as needed by GOT references, and the
1527 // executable part only adds an overhead of 8 bytes.
1528 //
1529 // We could try to conserve space by allocating the code and data
1530 // parts of the stub separately. However, as things stand, we allocate
1531 // a stub for every relocation, so using a GOT in JIT code should be
1532 // no less space efficient than using an explicit constant pool.
1533 DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
1534 SectionEntry &Section = Sections[SectionID];
1535
1536 // Look for an existing stub.
1537 StubMap::const_iterator i = Stubs.find(Value);
1538 uintptr_t StubAddress;
1539 if (i != Stubs.end()) {
1540 StubAddress = uintptr_t(Section.Address) + i->second;
1541 DEBUG(dbgs() << " Stub function found\n");
1542 } else {
1543 // Create a new stub function.
1544 DEBUG(dbgs() << " Create a new stub function\n");
1545
1546 uintptr_t BaseAddress = uintptr_t(Section.Address);
1547 uintptr_t StubAlignment = getStubAlignment();
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001548 StubAddress = (BaseAddress + Section.StubOffset + StubAlignment - 1) &
1549 -StubAlignment;
Richard Sandifordca044082013-05-03 14:15:35 +00001550 unsigned StubOffset = StubAddress - BaseAddress;
1551
1552 Stubs[Value] = StubOffset;
1553 createStubFunction((uint8_t *)StubAddress);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001554 RelocationEntry RE(SectionID, StubOffset + 8, ELF::R_390_64,
Lang Hames40e200e2014-08-25 23:33:48 +00001555 Value.Offset);
Richard Sandifordca044082013-05-03 14:15:35 +00001556 if (Value.SymbolName)
1557 addRelocationForSymbol(RE, Value.SymbolName);
1558 else
1559 addRelocationForSection(RE, Value.SectionID);
1560 Section.StubOffset = StubOffset + getMaxStubSize();
1561 }
1562
1563 if (RelType == ELF::R_390_GOTENT)
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001564 resolveRelocation(Section, Offset, StubAddress + 8, ELF::R_390_PC32DBL,
1565 Addend);
Richard Sandifordca044082013-05-03 14:15:35 +00001566 else
1567 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001568 } else if (Arch == Triple::x86_64) {
1569 if (RelType == ELF::R_X86_64_PLT32) {
1570 // The way the PLT relocations normally work is that the linker allocates
1571 // the
1572 // PLT and this relocation makes a PC-relative call into the PLT. The PLT
1573 // entry will then jump to an address provided by the GOT. On first call,
1574 // the
1575 // GOT address will point back into PLT code that resolves the symbol. After
1576 // the first call, the GOT entry points to the actual function.
1577 //
1578 // For local functions we're ignoring all of that here and just replacing
1579 // the PLT32 relocation type with PC32, which will translate the relocation
1580 // into a PC-relative call directly to the function. For external symbols we
1581 // can't be sure the function will be within 2^32 bytes of the call site, so
1582 // we need to create a stub, which calls into the GOT. This case is
1583 // equivalent to the usual PLT implementation except that we use the stub
1584 // mechanism in RuntimeDyld (which puts stubs at the end of the section)
1585 // rather than allocating a PLT section.
1586 if (Value.SymbolName) {
1587 // This is a call to an external function.
1588 // Look for an existing stub.
1589 SectionEntry &Section = Sections[SectionID];
1590 StubMap::const_iterator i = Stubs.find(Value);
1591 uintptr_t StubAddress;
1592 if (i != Stubs.end()) {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001593 StubAddress = uintptr_t(Section.Address) + i->second;
1594 DEBUG(dbgs() << " Stub function found\n");
Keno Fischere6892c82015-05-01 20:21:45 +00001595 } else {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001596 // Create a new stub function (equivalent to a PLT entry).
1597 DEBUG(dbgs() << " Create a new stub function\n");
1598
1599 uintptr_t BaseAddress = uintptr_t(Section.Address);
1600 uintptr_t StubAlignment = getStubAlignment();
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001601 StubAddress = (BaseAddress + Section.StubOffset + StubAlignment - 1) &
Keno Fischere6892c82015-05-01 20:21:45 +00001602 -StubAlignment;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001603 unsigned StubOffset = StubAddress - BaseAddress;
1604 Stubs[Value] = StubOffset;
1605 createStubFunction((uint8_t *)StubAddress);
1606
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001607 // Bump our stub offset counter
1608 Section.StubOffset = StubOffset + getMaxStubSize();
Keno Fischer02628de2015-04-14 02:10:35 +00001609
1610 // Allocate a GOT Entry
1611 uint64_t GOTOffset = allocateGOTEntries(SectionID, 1);
1612
1613 // The load of the GOT address has an addend of -4
1614 resolveGOTOffsetRelocation(SectionID, StubOffset + 2, GOTOffset - 4);
1615
1616 // Fill in the value of the symbol we're targeting into the GOT
1617 addRelocationForSymbol(computeGOTOffsetRE(SectionID,GOTOffset,0,ELF::R_X86_64_64),
Keno Fischere6892c82015-05-01 20:21:45 +00001618 Value.SymbolName);
1619 }
1620
1621 // Make the target call a call into the stub table.
1622 resolveRelocation(Section, Offset, StubAddress, ELF::R_X86_64_PC32,
1623 Addend);
1624 } else {
1625 RelocationEntry RE(SectionID, Offset, ELF::R_X86_64_PC32, Value.Addend,
1626 Value.Offset);
1627 addRelocationForSection(RE, Value.SectionID);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001628 }
Keno Fischere6892c82015-05-01 20:21:45 +00001629 } else if (RelType == ELF::R_X86_64_GOTPCREL) {
1630 uint64_t GOTOffset = allocateGOTEntries(SectionID, 1);
1631 resolveGOTOffsetRelocation(SectionID, Offset, GOTOffset + Addend);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001632
Keno Fischere6892c82015-05-01 20:21:45 +00001633 // Fill in the value of the symbol we're targeting into the GOT
1634 RelocationEntry RE = computeGOTOffsetRE(SectionID, GOTOffset, Value.Offset, ELF::R_X86_64_64);
1635 if (Value.SymbolName)
1636 addRelocationForSymbol(RE, Value.SymbolName);
1637 else
1638 addRelocationForSection(RE, Value.SectionID);
1639 } else if (RelType == ELF::R_X86_64_PC32) {
1640 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1641 processSimpleRelocation(SectionID, Offset, RelType, Value);
1642 } else if (RelType == ELF::R_X86_64_PC64) {
1643 Value.Addend += support::ulittle64_t::ref(computePlaceholderAddress(SectionID, Offset));
1644 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001645 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001646 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001647 }
Eli Bendersky667b8792012-05-01 10:41:12 +00001648 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001649 if (Arch == Triple::x86) {
1650 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1651 }
1652 processSimpleRelocation(SectionID, Offset, RelType, Value);
Eli Bendersky667b8792012-05-01 10:41:12 +00001653 }
Juergen Ributzka046709f2014-03-21 07:26:41 +00001654 return ++RelI;
Jim Grosbacheff0a402012-01-16 22:26:39 +00001655}
1656
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001657size_t RuntimeDyldELF::getGOTEntrySize() {
1658 // We don't use the GOT in all of these cases, but it's essentially free
1659 // to put them all here.
1660 size_t Result = 0;
1661 switch (Arch) {
1662 case Triple::x86_64:
1663 case Triple::aarch64:
James Molloybd2ffa02014-04-30 10:15:41 +00001664 case Triple::aarch64_be:
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001665 case Triple::ppc64:
1666 case Triple::ppc64le:
1667 case Triple::systemz:
1668 Result = sizeof(uint64_t);
1669 break;
1670 case Triple::x86:
1671 case Triple::arm:
1672 case Triple::thumb:
Petar Jovanovic97202832015-05-28 13:48:41 +00001673 Result = sizeof(uint32_t);
1674 break;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001675 case Triple::mips:
1676 case Triple::mipsel:
Petar Jovanovic97202832015-05-28 13:48:41 +00001677 case Triple::mips64:
1678 case Triple::mips64el:
1679 if (IsMipsO32ABI)
1680 Result = sizeof(uint32_t);
1681 else if (IsMipsN64ABI)
1682 Result = sizeof(uint64_t);
1683 else
1684 llvm_unreachable("Mips ABI not handled");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001685 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001686 default:
1687 llvm_unreachable("Unsupported CPU type!");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001688 }
1689 return Result;
1690}
1691
Keno Fischer02628de2015-04-14 02:10:35 +00001692uint64_t RuntimeDyldELF::allocateGOTEntries(unsigned SectionID, unsigned no)
1693{
1694 (void)SectionID; // The GOT Section is the same for all section in the object file
1695 if (GOTSectionID == 0) {
1696 GOTSectionID = Sections.size();
1697 // Reserve a section id. We'll allocate the section later
1698 // once we know the total size
1699 Sections.push_back(SectionEntry(".got", 0, 0, 0));
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001700 }
Keno Fischer02628de2015-04-14 02:10:35 +00001701 uint64_t StartOffset = CurrentGOTIndex * getGOTEntrySize();
1702 CurrentGOTIndex += no;
1703 return StartOffset;
1704}
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001705
Keno Fischer02628de2015-04-14 02:10:35 +00001706void RuntimeDyldELF::resolveGOTOffsetRelocation(unsigned SectionID, uint64_t Offset, uint64_t GOTOffset)
1707{
1708 // Fill in the relative address of the GOT Entry into the stub
1709 RelocationEntry GOTRE(SectionID, Offset, ELF::R_X86_64_PC32, GOTOffset);
1710 addRelocationForSection(GOTRE, GOTSectionID);
1711}
1712
1713RelocationEntry RuntimeDyldELF::computeGOTOffsetRE(unsigned SectionID, uint64_t GOTOffset, uint64_t SymbolOffset,
1714 uint32_t Type)
1715{
1716 (void)SectionID; // The GOT Section is the same for all section in the object file
1717 return RelocationEntry(GOTSectionID, GOTOffset, Type, SymbolOffset);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001718}
1719
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001720void RuntimeDyldELF::finalizeLoad(const ObjectFile &Obj,
Lang Hames36072da2014-05-12 21:39:59 +00001721 ObjSectionToIDMap &SectionMap) {
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001722 // If necessary, allocate the global offset table
Keno Fischer02628de2015-04-14 02:10:35 +00001723 if (GOTSectionID != 0) {
Lang Hames633fe142015-03-30 03:37:06 +00001724 // Allocate memory for the section
Keno Fischer02628de2015-04-14 02:10:35 +00001725 size_t TotalSize = CurrentGOTIndex * getGOTEntrySize();
Lang Hames633fe142015-03-30 03:37:06 +00001726 uint8_t *Addr = MemMgr.allocateDataSection(TotalSize, getGOTEntrySize(),
Keno Fischer02628de2015-04-14 02:10:35 +00001727 GOTSectionID, ".got", false);
Lang Hames633fe142015-03-30 03:37:06 +00001728 if (!Addr)
1729 report_fatal_error("Unable to allocate memory for GOT!");
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001730
Keno Fischer02628de2015-04-14 02:10:35 +00001731 Sections[GOTSectionID] = SectionEntry(".got", Addr, TotalSize, 0);
1732
1733 if (Checker)
1734 Checker->registerSection(Obj.getFileName(), GOTSectionID);
1735
Lang Hames633fe142015-03-30 03:37:06 +00001736 // For now, initialize all GOT entries to zero. We'll fill them in as
1737 // needed when GOT-based relocations are applied.
1738 memset(Addr, 0, TotalSize);
Petar Jovanovic97202832015-05-28 13:48:41 +00001739 if (IsMipsN64ABI) {
1740 // To correctly resolve Mips GOT relocations, we need a mapping from
1741 // object's sections to GOTs.
1742 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
1743 SI != SE; ++SI) {
1744 if (SI->relocation_begin() != SI->relocation_end()) {
1745 section_iterator RelocatedSection = SI->getRelocatedSection();
1746 ObjSectionToIDMap::iterator i = SectionMap.find(*RelocatedSection);
1747 assert (i != SectionMap.end());
1748 SectionToGOTMap[i->second] = GOTSectionID;
1749 }
1750 }
1751 GOTSymbolOffsets.clear();
1752 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001753 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001754
1755 // Look for and record the EH frame section.
1756 ObjSectionToIDMap::iterator i, e;
1757 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
1758 const SectionRef &Section = i->first;
1759 StringRef Name;
1760 Section.getName(Name);
1761 if (Name == ".eh_frame") {
1762 UnregisteredEHFrameSections.push_back(i->second);
1763 break;
1764 }
1765 }
Keno Fischer02628de2015-04-14 02:10:35 +00001766
1767 GOTSectionID = 0;
1768 CurrentGOTIndex = 0;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001769}
1770
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001771bool RuntimeDyldELF::isCompatibleFile(const object::ObjectFile &Obj) const {
1772 return Obj.isELF();
Lang Hames173c69f2014-01-08 04:09:09 +00001773}
1774
Eli Bendersky4c647582012-01-16 08:56:09 +00001775} // namespace llvm