blob: 91fd129224b85521b6b7c4d2aea027b970237e7e [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"
Simon Dardisc97cfb62016-12-13 11:39:18 +000016#include "Targets/RuntimeDyldELFMips.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"
Zachary Turner264b5d92017-06-07 03:48:56 +000020#include "llvm/BinaryFormat/ELF.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"
Alexey Samsonova8d2f812014-08-27 23:06:08 +000023#include "llvm/Support/Endian.h"
Lang Hames173c69f2014-01-08 04:09:09 +000024#include "llvm/Support/MemoryBuffer.h"
25
Eli Bendersky4c647582012-01-16 08:56:09 +000026using namespace llvm;
27using namespace llvm::object;
Eugene Leviant5240a302016-12-27 13:33:32 +000028using namespace llvm::support::endian;
Eli Bendersky4c647582012-01-16 08:56:09 +000029
Chandler Carruthf58e3762014-04-22 03:04:17 +000030#define DEBUG_TYPE "dyld"
31
Eugene Leviant5240a302016-12-27 13:33:32 +000032static void or32le(void *P, int32_t V) { write32le(P, read32le(P) | V); }
33
34static void or32AArch64Imm(void *L, uint64_t Imm) {
35 or32le(L, (Imm & 0xFFF) << 10);
36}
37
38template <class T> static void write(bool isBE, void *P, T V) {
39 isBE ? write<T, support::big>(P, V) : write<T, support::little>(P, V);
40}
41
42static void write32AArch64Addr(void *L, uint64_t Imm) {
43 uint32_t ImmLo = (Imm & 0x3) << 29;
44 uint32_t ImmHi = (Imm & 0x1FFFFC) << 3;
45 uint64_t Mask = (0x3 << 29) | (0x1FFFFC << 3);
46 write32le(L, (read32le(L) & ~Mask) | ImmLo | ImmHi);
47}
48
49// Return the bits [Start, End] from Val shifted Start bits.
50// For instance, getBits(0xF0, 4, 8) returns 0xF.
51static uint64_t getBits(uint64_t Val, int Start, int End) {
52 uint64_t Mask = ((uint64_t)1 << (End + 1 - Start)) - 1;
53 return (Val >> Start) & Mask;
54}
55
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000056namespace {
57
Juergen Ributzka7608dc02014-03-21 20:28:42 +000058template <class ELFT> class DyldELFObject : public ELFObjectFile<ELFT> {
Rafael Espindola035b4162013-04-17 21:20:55 +000059 LLVM_ELF_IMPORT_TYPES_ELFT(ELFT)
Preston Gurdcc31af92012-04-16 22:12:58 +000060
Michael J. Spencer1a791612013-01-15 07:44:25 +000061 typedef Elf_Shdr_Impl<ELFT> Elf_Shdr;
62 typedef Elf_Sym_Impl<ELFT> Elf_Sym;
Juergen Ributzka7608dc02014-03-21 20:28:42 +000063 typedef Elf_Rel_Impl<ELFT, false> Elf_Rel;
64 typedef Elf_Rel_Impl<ELFT, true> Elf_Rela;
Preston Gurdcc31af92012-04-16 22:12:58 +000065
Michael J. Spencer1a791612013-01-15 07:44:25 +000066 typedef Elf_Ehdr_Impl<ELFT> Elf_Ehdr;
Preston Gurdcc31af92012-04-16 22:12:58 +000067
Rui Ueyamafc635512018-01-12 19:59:43 +000068 typedef typename ELFT::uint addr_type;
Preston Gurdcc31af92012-04-16 22:12:58 +000069
Rafael Espindolaef421f92017-10-10 21:21:16 +000070 DyldELFObject(ELFObjectFile<ELFT> &&Obj);
71
Preston Gurdcc31af92012-04-16 22:12:58 +000072public:
Rafael Espindolaef421f92017-10-10 21:21:16 +000073 static Expected<std::unique_ptr<DyldELFObject>>
74 create(MemoryBufferRef Wrapper);
Preston Gurdcc31af92012-04-16 22:12:58 +000075
76 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000077
78 void updateSymbolAddress(const SymbolRef &SymRef, uint64_t Addr);
Preston Gurdcc31af92012-04-16 22:12:58 +000079
Andrew Kaylor5c010902012-07-27 17:52:42 +000080 // Methods for type inquiry through isa, cast and dyn_cast
Sam Clegg3d650302017-06-29 19:35:17 +000081 static bool classof(const Binary *v) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +000082 return (isa<ELFObjectFile<ELFT>>(v) &&
83 classof(cast<ELFObjectFile<ELFT>>(v)));
Preston Gurdcc31af92012-04-16 22:12:58 +000084 }
Sam Clegg3d650302017-06-29 19:35:17 +000085 static bool classof(const ELFObjectFile<ELFT> *v) {
Preston Gurdcc31af92012-04-16 22:12:58 +000086 return v->isDyldType();
87 }
Preston Gurdcc31af92012-04-16 22:12:58 +000088};
89
Preston Gurdcc31af92012-04-16 22:12:58 +000090
Preston Gurdcc31af92012-04-16 22:12:58 +000091
Andrew Kayloradc70562012-10-02 21:18:39 +000092// The MemoryBuffer passed into this constructor is just a wrapper around the
93// actual memory. Ultimately, the Binary parent class will take ownership of
94// this MemoryBuffer object but not the underlying memory.
Juergen Ributzka7608dc02014-03-21 20:28:42 +000095template <class ELFT>
Rafael Espindolaef421f92017-10-10 21:21:16 +000096DyldELFObject<ELFT>::DyldELFObject(ELFObjectFile<ELFT> &&Obj)
97 : ELFObjectFile<ELFT>(std::move(Obj)) {
Preston Gurdcc31af92012-04-16 22:12:58 +000098 this->isDyldELFObject = true;
99}
100
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000101template <class ELFT>
Rafael Espindolaef421f92017-10-10 21:21:16 +0000102Expected<std::unique_ptr<DyldELFObject<ELFT>>>
103DyldELFObject<ELFT>::create(MemoryBufferRef Wrapper) {
104 auto Obj = ELFObjectFile<ELFT>::create(Wrapper);
105 if (auto E = Obj.takeError())
106 return std::move(E);
107 std::unique_ptr<DyldELFObject<ELFT>> Ret(
108 new DyldELFObject<ELFT>(std::move(*Obj)));
109 return std::move(Ret);
110}
111
112template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +0000113void DyldELFObject<ELFT>::updateSectionAddress(const SectionRef &Sec,
114 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +0000115 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000116 Elf_Shdr *shdr =
117 const_cast<Elf_Shdr *>(reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
Preston Gurdcc31af92012-04-16 22:12:58 +0000118
119 // This assumes the address passed in matches the target address bitness
120 // The template-based type cast handles everything else.
121 shdr->sh_addr = static_cast<addr_type>(Addr);
122}
123
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000124template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +0000125void DyldELFObject<ELFT>::updateSymbolAddress(const SymbolRef &SymRef,
126 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +0000127
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000128 Elf_Sym *sym = const_cast<Elf_Sym *>(
129 ELFObjectFile<ELFT>::getSymbol(SymRef.getRawDataRefImpl()));
Preston Gurdcc31af92012-04-16 22:12:58 +0000130
131 // This assumes the address passed in matches the target address bitness
132 // The template-based type cast handles everything else.
133 sym->st_value = static_cast<addr_type>(Addr);
134}
135
David Blaikie5e1ffae2015-08-05 20:20:29 +0000136class LoadedELFObjectInfo final
David Blaikie87131572017-07-05 15:23:56 +0000137 : public LoadedObjectInfoHelper<LoadedELFObjectInfo,
138 RuntimeDyld::LoadedObjectInfo> {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000139public:
Lang Hames2e88f4f2015-07-28 17:52:11 +0000140 LoadedELFObjectInfo(RuntimeDyldImpl &RTDyld, ObjSectionToIDMap ObjSecToIDMap)
141 : LoadedObjectInfoHelper(RTDyld, std::move(ObjSecToIDMap)) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000142
143 OwningBinary<ObjectFile>
144 getObjectForDebug(const ObjectFile &Obj) const override;
145};
146
147template <typename ELFT>
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000148static Expected<std::unique_ptr<DyldELFObject<ELFT>>>
Rafael Espindola563ede12017-10-10 19:07:10 +0000149createRTDyldELFObject(MemoryBufferRef Buffer, const ObjectFile &SourceObject,
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000150 const LoadedELFObjectInfo &L) {
Rui Ueyama478d6352018-01-12 02:28:31 +0000151 typedef typename ELFT::Shdr Elf_Shdr;
Rui Ueyamafc635512018-01-12 19:59:43 +0000152 typedef typename ELFT::uint addr_type;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000153
Rafael Espindolaef421f92017-10-10 21:21:16 +0000154 Expected<std::unique_ptr<DyldELFObject<ELFT>>> ObjOrErr =
155 DyldELFObject<ELFT>::create(Buffer);
156 if (Error E = ObjOrErr.takeError())
157 return std::move(E);
158
159 std::unique_ptr<DyldELFObject<ELFT>> Obj = std::move(*ObjOrErr);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000160
161 // Iterate over all sections in the object.
Lang Hames2e88f4f2015-07-28 17:52:11 +0000162 auto SI = SourceObject.section_begin();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000163 for (const auto &Sec : Obj->sections()) {
164 StringRef SectionName;
165 Sec.getName(SectionName);
166 if (SectionName != "") {
167 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
168 Elf_Shdr *shdr = const_cast<Elf_Shdr *>(
169 reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
170
Lang Hames2e88f4f2015-07-28 17:52:11 +0000171 if (uint64_t SecLoadAddr = L.getSectionLoadAddress(*SI)) {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000172 // This assumes that the address passed in matches the target address
173 // bitness. The template-based type cast handles everything else.
174 shdr->sh_addr = static_cast<addr_type>(SecLoadAddr);
175 }
176 }
Lang Hames2e88f4f2015-07-28 17:52:11 +0000177 ++SI;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000178 }
179
Rafael Espindola8ed11982017-10-10 19:27:51 +0000180 return std::move(Obj);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000181}
182
Rafael Espindola563ede12017-10-10 19:07:10 +0000183static OwningBinary<ObjectFile>
184createELFDebugObject(const ObjectFile &Obj, const LoadedELFObjectInfo &L) {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000185 assert(Obj.isELF() && "Not an ELF object file.");
186
187 std::unique_ptr<MemoryBuffer> Buffer =
188 MemoryBuffer::getMemBufferCopy(Obj.getData(), Obj.getFileName());
189
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000190 Expected<std::unique_ptr<ObjectFile>> DebugObj(nullptr);
191 handleAllErrors(DebugObj.takeError());
Rafael Espindola563ede12017-10-10 19:07:10 +0000192 if (Obj.getBytesInAddress() == 4 && Obj.isLittleEndian())
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000193 DebugObj =
194 createRTDyldELFObject<ELF32LE>(Buffer->getMemBufferRef(), Obj, L);
Rafael Espindola563ede12017-10-10 19:07:10 +0000195 else if (Obj.getBytesInAddress() == 4 && !Obj.isLittleEndian())
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000196 DebugObj =
197 createRTDyldELFObject<ELF32BE>(Buffer->getMemBufferRef(), Obj, L);
Rafael Espindola563ede12017-10-10 19:07:10 +0000198 else if (Obj.getBytesInAddress() == 8 && !Obj.isLittleEndian())
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000199 DebugObj =
200 createRTDyldELFObject<ELF64BE>(Buffer->getMemBufferRef(), Obj, L);
Rafael Espindola563ede12017-10-10 19:07:10 +0000201 else if (Obj.getBytesInAddress() == 8 && Obj.isLittleEndian())
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000202 DebugObj =
203 createRTDyldELFObject<ELF64LE>(Buffer->getMemBufferRef(), Obj, L);
Rafael Espindola563ede12017-10-10 19:07:10 +0000204 else
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000205 llvm_unreachable("Unexpected ELF format");
206
Rafael Espindolaff9f5f32017-10-10 19:14:30 +0000207 handleAllErrors(DebugObj.takeError());
208 return OwningBinary<ObjectFile>(std::move(*DebugObj), std::move(Buffer));
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000209}
210
211OwningBinary<ObjectFile>
212LoadedELFObjectInfo::getObjectForDebug(const ObjectFile &Obj) const {
213 return createELFDebugObject(Obj, *this);
214}
215
Hans Wennborg083ca9b2015-10-06 23:24:35 +0000216} // anonymous namespace
Preston Gurdcc31af92012-04-16 22:12:58 +0000217
Eli Bendersky4c647582012-01-16 08:56:09 +0000218namespace llvm {
219
Lang Hames633fe142015-03-30 03:37:06 +0000220RuntimeDyldELF::RuntimeDyldELF(RuntimeDyld::MemoryManager &MemMgr,
Lang Hamesad4a9112016-08-01 20:49:11 +0000221 JITSymbolResolver &Resolver)
Keno Fischer02628de2015-04-14 02:10:35 +0000222 : RuntimeDyldImpl(MemMgr, Resolver), GOTSectionID(0), CurrentGOTIndex(0) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000223RuntimeDyldELF::~RuntimeDyldELF() {}
224
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000225void RuntimeDyldELF::registerEHFrames() {
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000226 for (int i = 0, e = UnregisteredEHFrameSections.size(); i != e; ++i) {
227 SID EHFrameSID = UnregisteredEHFrameSections[i];
Sanjoy Das277776a2015-11-23 21:47:41 +0000228 uint8_t *EHFrameAddr = Sections[EHFrameSID].getAddress();
229 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].getLoadAddress();
230 size_t EHFrameSize = Sections[EHFrameSID].getSize();
Lang Hames633fe142015-03-30 03:37:06 +0000231 MemMgr.registerEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000232 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000233 UnregisteredEHFrameSections.clear();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000234}
235
Simon Dardisc97cfb62016-12-13 11:39:18 +0000236std::unique_ptr<RuntimeDyldELF>
237llvm::RuntimeDyldELF::create(Triple::ArchType Arch,
238 RuntimeDyld::MemoryManager &MemMgr,
239 JITSymbolResolver &Resolver) {
240 switch (Arch) {
241 default:
242 return make_unique<RuntimeDyldELF>(MemMgr, Resolver);
243 case Triple::mips:
244 case Triple::mipsel:
245 case Triple::mips64:
246 case Triple::mips64el:
247 return make_unique<RuntimeDyldELFMips>(MemMgr, Resolver);
248 }
249}
250
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000251std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
252RuntimeDyldELF::loadObject(const object::ObjectFile &O) {
Lang Hames89595312016-04-27 20:24:48 +0000253 if (auto ObjSectionToIDOrErr = loadObjectImpl(O))
254 return llvm::make_unique<LoadedELFObjectInfo>(*this, *ObjSectionToIDOrErr);
255 else {
256 HasError = true;
257 raw_string_ostream ErrStream(ErrorStr);
258 logAllUnhandledErrors(ObjSectionToIDOrErr.takeError(), ErrStream, "");
259 return nullptr;
260 }
Lang Hames173c69f2014-01-08 04:09:09 +0000261}
262
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000263void RuntimeDyldELF::resolveX86_64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000264 uint64_t Offset, uint64_t Value,
265 uint32_t Type, int64_t Addend,
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000266 uint64_t SymOffset) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000267 switch (Type) {
268 default:
269 llvm_unreachable("Relocation type not implemented yet!");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000270 break;
Will Dietzf47d26a2017-01-28 18:39:01 +0000271 case ELF::R_X86_64_NONE:
272 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000273 case ELF::R_X86_64_64: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000274 support::ulittle64_t::ref(Section.getAddressWithOffset(Offset)) =
275 Value + Addend;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000276 LLVM_DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend)) << " at "
277 << format("%p\n", Section.getAddressWithOffset(Offset)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000278 break;
279 }
280 case ELF::R_X86_64_32:
281 case ELF::R_X86_64_32S: {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000282 Value += Addend;
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000283 assert((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) ||
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000284 (Type == ELF::R_X86_64_32S &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000285 ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000286 uint32_t TruncatedAddr = (Value & 0xFFFFFFFF);
Sanjoy Das277776a2015-11-23 21:47:41 +0000287 support::ulittle32_t::ref(Section.getAddressWithOffset(Offset)) =
288 TruncatedAddr;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000289 LLVM_DEBUG(dbgs() << "Writing " << format("%p", TruncatedAddr) << " at "
290 << format("%p\n", Section.getAddressWithOffset(Offset)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000291 break;
292 }
Maksim Panchenko87ef5712015-11-08 19:34:17 +0000293 case ELF::R_X86_64_PC8: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000294 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Maksim Panchenko87ef5712015-11-08 19:34:17 +0000295 int64_t RealOffset = Value + Addend - FinalAddress;
296 assert(isInt<8>(RealOffset));
297 int8_t TruncOffset = (RealOffset & 0xFF);
Sanjoy Das277776a2015-11-23 21:47:41 +0000298 Section.getAddress()[Offset] = TruncOffset;
Maksim Panchenko87ef5712015-11-08 19:34:17 +0000299 break;
300 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000301 case ELF::R_X86_64_PC32: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000302 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Keno Fischer02628de2015-04-14 02:10:35 +0000303 int64_t RealOffset = Value + Addend - FinalAddress;
David Majnemerdd9eafb2015-05-15 20:32:25 +0000304 assert(isInt<32>(RealOffset));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000305 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
Sanjoy Das277776a2015-11-23 21:47:41 +0000306 support::ulittle32_t::ref(Section.getAddressWithOffset(Offset)) =
307 TruncOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000308 break;
309 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000310 case ELF::R_X86_64_PC64: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000311 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Keno Fischer02628de2015-04-14 02:10:35 +0000312 int64_t RealOffset = Value + Addend - FinalAddress;
Sanjoy Das277776a2015-11-23 21:47:41 +0000313 support::ulittle64_t::ref(Section.getAddressWithOffset(Offset)) =
314 RealOffset;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000315 break;
316 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000317 }
318}
319
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000320void RuntimeDyldELF::resolveX86Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000321 uint64_t Offset, uint32_t Value,
322 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000323 switch (Type) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000324 case ELF::R_386_32: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000325 support::ulittle32_t::ref(Section.getAddressWithOffset(Offset)) =
326 Value + Addend;
Eli Bendersky4c647582012-01-16 08:56:09 +0000327 break;
328 }
Rafael Espindolafc16f762018-01-24 17:36:08 +0000329 // Handle R_386_PLT32 like R_386_PC32 since it should be able to
330 // reach any 32 bit address.
331 case ELF::R_386_PLT32:
Eli Bendersky4c647582012-01-16 08:56:09 +0000332 case ELF::R_386_PC32: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000333 uint32_t FinalAddress =
334 Section.getLoadAddressWithOffset(Offset) & 0xFFFFFFFF;
Keno Fischere6892c82015-05-01 20:21:45 +0000335 uint32_t RealOffset = Value + Addend - FinalAddress;
Sanjoy Das277776a2015-11-23 21:47:41 +0000336 support::ulittle32_t::ref(Section.getAddressWithOffset(Offset)) =
337 RealOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000338 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000339 }
340 default:
341 // There are other relocation types, but it appears these are the
342 // only ones currently used by the LLVM ELF object writer
343 llvm_unreachable("Relocation type not implemented yet!");
344 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000345 }
346}
347
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000348void RuntimeDyldELF::resolveAArch64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000349 uint64_t Offset, uint64_t Value,
350 uint32_t Type, int64_t Addend) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000351 uint32_t *TargetPtr =
352 reinterpret_cast<uint32_t *>(Section.getAddressWithOffset(Offset));
353 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Yichao Yu8f8cdd02016-12-15 22:36:53 +0000354 // Data should use target endian. Code should always use little endian.
355 bool isBE = Arch == Triple::aarch64_be;
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000356
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000357 LLVM_DEBUG(dbgs() << "resolveAArch64Relocation, LocalAddress: 0x"
358 << format("%llx", Section.getAddressWithOffset(Offset))
359 << " FinalAddress: 0x" << format("%llx", FinalAddress)
360 << " Value: 0x" << format("%llx", Value) << " Type: 0x"
361 << format("%x", Type) << " Addend: 0x"
362 << format("%llx", Addend) << "\n");
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000363
364 switch (Type) {
365 default:
366 llvm_unreachable("Relocation type not implemented yet!");
367 break;
Saleem Abdulrasool562630a2017-09-20 21:32:44 +0000368 case ELF::R_AARCH64_ABS16: {
369 uint64_t Result = Value + Addend;
370 assert(static_cast<int64_t>(Result) >= INT16_MIN && Result < UINT16_MAX);
371 write(isBE, TargetPtr, static_cast<uint16_t>(Result & 0xffffU));
372 break;
373 }
374 case ELF::R_AARCH64_ABS32: {
375 uint64_t Result = Value + Addend;
376 assert(static_cast<int64_t>(Result) >= INT32_MIN && Result < UINT32_MAX);
377 write(isBE, TargetPtr, static_cast<uint32_t>(Result & 0xffffffffU));
378 break;
379 }
Eugene Leviant5240a302016-12-27 13:33:32 +0000380 case ELF::R_AARCH64_ABS64:
381 write(isBE, TargetPtr, Value + Addend);
Tim Northoverb23d8db2013-05-04 20:14:14 +0000382 break;
Tim Northover5959ea32013-05-19 15:39:03 +0000383 case ELF::R_AARCH64_PREL32: {
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000384 uint64_t Result = Value + Addend - FinalAddress;
Michael J. Spencer126973b2013-08-08 22:27:13 +0000385 assert(static_cast<int64_t>(Result) >= INT32_MIN &&
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000386 static_cast<int64_t>(Result) <= UINT32_MAX);
Eugene Leviant5240a302016-12-27 13:33:32 +0000387 write(isBE, TargetPtr, static_cast<uint32_t>(Result & 0xffffffffU));
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000388 break;
389 }
Eugene Leviant8e32aeb2017-01-10 11:05:30 +0000390 case ELF::R_AARCH64_PREL64:
391 write(isBE, TargetPtr, Value + Addend - FinalAddress);
392 break;
Tim Northover37cde972013-05-04 20:14:09 +0000393 case ELF::R_AARCH64_CALL26: // fallthrough
394 case ELF::R_AARCH64_JUMP26: {
395 // Operation: S+A-P. Set Call or B immediate value to bits fff_fffc of the
396 // calculation.
397 uint64_t BranchImm = Value + Addend - FinalAddress;
398
399 // "Check that -2^27 <= result < 2^27".
David Majnemerdd9eafb2015-05-15 20:32:25 +0000400 assert(isInt<28>(BranchImm));
Eugene Leviant5240a302016-12-27 13:33:32 +0000401 or32le(TargetPtr, (BranchImm & 0x0FFFFFFC) >> 2);
Tim Northover37cde972013-05-04 20:14:09 +0000402 break;
403 }
Eugene Leviant5240a302016-12-27 13:33:32 +0000404 case ELF::R_AARCH64_MOVW_UABS_G3:
405 or32le(TargetPtr, ((Value + Addend) & 0xFFFF000000000000) >> 43);
Tim Northover4d01c1e2013-05-04 20:14:04 +0000406 break;
Eugene Leviant5240a302016-12-27 13:33:32 +0000407 case ELF::R_AARCH64_MOVW_UABS_G2_NC:
408 or32le(TargetPtr, ((Value + Addend) & 0xFFFF00000000) >> 27);
Tim Northover4d01c1e2013-05-04 20:14:04 +0000409 break;
Eugene Leviant5240a302016-12-27 13:33:32 +0000410 case ELF::R_AARCH64_MOVW_UABS_G1_NC:
411 or32le(TargetPtr, ((Value + Addend) & 0xFFFF0000) >> 11);
Tim Northover4d01c1e2013-05-04 20:14:04 +0000412 break;
Eugene Leviant5240a302016-12-27 13:33:32 +0000413 case ELF::R_AARCH64_MOVW_UABS_G0_NC:
414 or32le(TargetPtr, ((Value + Addend) & 0xFFFF) << 5);
Tim Northover4d01c1e2013-05-04 20:14:04 +0000415 break;
Bradley Smith9d808492014-02-11 12:59:09 +0000416 case ELF::R_AARCH64_ADR_PREL_PG_HI21: {
417 // Operation: Page(S+A) - Page(P)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000418 uint64_t Result =
419 ((Value + Addend) & ~0xfffULL) - (FinalAddress & ~0xfffULL);
Bradley Smith9d808492014-02-11 12:59:09 +0000420
421 // Check that -2^32 <= X < 2^32
David Majnemerdd9eafb2015-05-15 20:32:25 +0000422 assert(isInt<33>(Result) && "overflow check failed for relocation");
Bradley Smith9d808492014-02-11 12:59:09 +0000423
Bradley Smith9d808492014-02-11 12:59:09 +0000424 // Immediate goes in bits 30:29 + 5:23 of ADRP instruction, taken
425 // from bits 32:12 of X.
Eugene Leviant5240a302016-12-27 13:33:32 +0000426 write32AArch64Addr(TargetPtr, Result >> 12);
Bradley Smith9d808492014-02-11 12:59:09 +0000427 break;
428 }
Eugene Leviant5240a302016-12-27 13:33:32 +0000429 case ELF::R_AARCH64_ADD_ABS_LO12_NC:
Eugene Leviant92090832016-12-27 09:51:38 +0000430 // Operation: S + A
Eugene Leviant92090832016-12-27 09:51:38 +0000431 // Immediate goes in bits 21:10 of LD/ST instruction, taken
432 // from bits 11:0 of X
Eugene Leviant5240a302016-12-27 13:33:32 +0000433 or32AArch64Imm(TargetPtr, Value + Addend);
Eugene Leviant92090832016-12-27 09:51:38 +0000434 break;
Eugene Leviante33d2ce2017-01-23 13:13:47 +0000435 case ELF::R_AARCH64_LDST8_ABS_LO12_NC:
436 // Operation: S + A
437 // Immediate goes in bits 21:10 of LD/ST instruction, taken
438 // from bits 11:0 of X
439 or32AArch64Imm(TargetPtr, getBits(Value + Addend, 0, 11));
440 break;
441 case ELF::R_AARCH64_LDST16_ABS_LO12_NC:
442 // Operation: S + A
443 // Immediate goes in bits 21:10 of LD/ST instruction, taken
444 // from bits 11:1 of X
445 or32AArch64Imm(TargetPtr, getBits(Value + Addend, 1, 11));
446 break;
Eugene Leviant5240a302016-12-27 13:33:32 +0000447 case ELF::R_AARCH64_LDST32_ABS_LO12_NC:
Bradley Smith9d808492014-02-11 12:59:09 +0000448 // Operation: S + A
Bradley Smith9d808492014-02-11 12:59:09 +0000449 // Immediate goes in bits 21:10 of LD/ST instruction, taken
450 // from bits 11:2 of X
Eugene Leviant5240a302016-12-27 13:33:32 +0000451 or32AArch64Imm(TargetPtr, getBits(Value + Addend, 2, 11));
Bradley Smith9d808492014-02-11 12:59:09 +0000452 break;
Eugene Leviant5240a302016-12-27 13:33:32 +0000453 case ELF::R_AARCH64_LDST64_ABS_LO12_NC:
Bradley Smith9d808492014-02-11 12:59:09 +0000454 // Operation: S + A
Bradley Smith9d808492014-02-11 12:59:09 +0000455 // Immediate goes in bits 21:10 of LD/ST instruction, taken
456 // from bits 11:3 of X
Eugene Leviant5240a302016-12-27 13:33:32 +0000457 or32AArch64Imm(TargetPtr, getBits(Value + Addend, 3, 11));
Bradley Smith9d808492014-02-11 12:59:09 +0000458 break;
Eugene Leviantbeb17cc2017-01-23 13:52:08 +0000459 case ELF::R_AARCH64_LDST128_ABS_LO12_NC:
460 // Operation: S + A
461 // Immediate goes in bits 21:10 of LD/ST instruction, taken
462 // from bits 11:4 of X
463 or32AArch64Imm(TargetPtr, getBits(Value + Addend, 4, 11));
464 break;
Bradley Smith9d808492014-02-11 12:59:09 +0000465 }
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000466}
467
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000468void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000469 uint64_t Offset, uint32_t Value,
470 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000471 // TODO: Add Thumb relocations.
Sanjoy Das277776a2015-11-23 21:47:41 +0000472 uint32_t *TargetPtr =
473 reinterpret_cast<uint32_t *>(Section.getAddressWithOffset(Offset));
474 uint32_t FinalAddress = Section.getLoadAddressWithOffset(Offset) & 0xFFFFFFFF;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000475 Value += Addend;
476
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000477 LLVM_DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
478 << Section.getAddressWithOffset(Offset)
479 << " FinalAddress: " << format("%p", FinalAddress)
480 << " Value: " << format("%x", Value)
481 << " Type: " << format("%x", Type)
482 << " Addend: " << format("%x", Addend) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000483
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000484 switch (Type) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000485 default:
486 llvm_unreachable("Not implemented relocation type!");
487
Renato Golin8cea6e82014-01-29 11:50:56 +0000488 case ELF::R_ARM_NONE:
489 break;
Keno Fischerc32ffe32016-10-20 21:15:29 +0000490 // Write a 31bit signed offset
Renato Golin8cea6e82014-01-29 11:50:56 +0000491 case ELF::R_ARM_PREL31:
Keno Fischerb04df8e2016-10-20 22:15:56 +0000492 support::ulittle32_t::ref{TargetPtr} =
493 (support::ulittle32_t::ref{TargetPtr} & 0x80000000) |
494 ((Value - FinalAddress) & ~0x80000000);
Keno Fischerc32ffe32016-10-20 21:15:29 +0000495 break;
Tim Northover3b684d82013-05-28 19:48:19 +0000496 case ELF::R_ARM_TARGET1:
497 case ELF::R_ARM_ABS32:
Keno Fischerb04df8e2016-10-20 22:15:56 +0000498 support::ulittle32_t::ref{TargetPtr} = Value;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000499 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000500 // Write first 16 bit of 32 bit value to the mov instruction.
501 // Last 4 bit should be shifted.
Tim Northover3b684d82013-05-28 19:48:19 +0000502 case ELF::R_ARM_MOVW_ABS_NC:
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000503 case ELF::R_ARM_MOVT_ABS:
Keno Fischere6892c82015-05-01 20:21:45 +0000504 if (Type == ELF::R_ARM_MOVW_ABS_NC)
505 Value = Value & 0xFFFF;
506 else if (Type == ELF::R_ARM_MOVT_ABS)
507 Value = (Value >> 16) & 0xFFFF;
Keno Fischerb04df8e2016-10-20 22:15:56 +0000508 support::ulittle32_t::ref{TargetPtr} =
509 (support::ulittle32_t::ref{TargetPtr} & ~0x000F0FFF) | (Value & 0xFFF) |
510 (((Value >> 12) & 0xF) << 16);
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000511 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000512 // Write 24 bit relative value to the branch instruction.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000513 case ELF::R_ARM_PC24: // Fall through.
514 case ELF::R_ARM_CALL: // Fall through.
Keno Fischere6892c82015-05-01 20:21:45 +0000515 case ELF::R_ARM_JUMP24:
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000516 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
517 RelValue = (RelValue & 0x03FFFFFC) >> 2;
Keno Fischerb04df8e2016-10-20 22:15:56 +0000518 assert((support::ulittle32_t::ref{TargetPtr} & 0xFFFFFF) == 0xFFFFFE);
519 support::ulittle32_t::ref{TargetPtr} =
520 (support::ulittle32_t::ref{TargetPtr} & 0xFF000000) | RelValue;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000521 break;
522 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000523}
524
Petar Jovanovic97202832015-05-28 13:48:41 +0000525void RuntimeDyldELF::setMipsABI(const ObjectFile &Obj) {
Alexei Starovoitova38e1982015-06-10 03:06:06 +0000526 if (Arch == Triple::UnknownArch ||
527 !StringRef(Triple::getArchTypePrefix(Arch)).equals("mips")) {
Petar Jovanovic97202832015-05-28 13:48:41 +0000528 IsMipsO32ABI = false;
Simon Dardis226752c2016-10-20 13:02:23 +0000529 IsMipsN32ABI = false;
Petar Jovanovic97202832015-05-28 13:48:41 +0000530 IsMipsN64ABI = false;
531 return;
532 }
Rafael Espindolad5f76ad2018-01-29 18:27:30 +0000533 if (auto *E = dyn_cast<ELFObjectFileBase>(&Obj)) {
534 unsigned AbiVariant = E->getPlatformFlags();
535 IsMipsO32ABI = AbiVariant & ELF::EF_MIPS_ABI_O32;
536 IsMipsN32ABI = AbiVariant & ELF::EF_MIPS_ABI2;
537 }
Petar Jovanovic97202832015-05-28 13:48:41 +0000538 IsMipsN64ABI = Obj.getFileFormatName().equals("ELF64-mips");
Petar Jovanovic97202832015-05-28 13:48:41 +0000539}
540
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000541// Return the .TOC. section and offset.
Lang Hames89595312016-04-27 20:24:48 +0000542Error RuntimeDyldELF::findPPC64TOCSection(const ELFObjectFileBase &Obj,
543 ObjSectionToIDMap &LocalSections,
544 RelocationValueRef &Rel) {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000545 // Set a default SectionID in case we do not find a TOC section below.
546 // This may happen for references to TOC base base (sym@toc, .odp
547 // relocation) without a .toc directive. In this case just use the
548 // first section (which is usually the .odp) since the code won't
549 // reference the .toc base directly.
Hans Wennborg083ca9b2015-10-06 23:24:35 +0000550 Rel.SymbolName = nullptr;
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000551 Rel.SectionID = 0;
552
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000553 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
554 // order. The TOC starts where the first of these sections starts.
Davide Italiano2e9df172015-06-02 01:52:28 +0000555 for (auto &Section: Obj.sections()) {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000556 StringRef SectionName;
Lang Hames89595312016-04-27 20:24:48 +0000557 if (auto EC = Section.getName(SectionName))
558 return errorCodeToError(EC);
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000559
560 if (SectionName == ".got"
561 || SectionName == ".toc"
562 || SectionName == ".tocbss"
563 || SectionName == ".plt") {
Lang Hames89595312016-04-27 20:24:48 +0000564 if (auto SectionIDOrErr =
565 findOrEmitSection(Obj, Section, false, LocalSections))
566 Rel.SectionID = *SectionIDOrErr;
567 else
568 return SectionIDOrErr.takeError();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000569 break;
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000570 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000571 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000572
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000573 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
574 // thus permitting a full 64 Kbytes segment.
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000575 Rel.Addend = 0x8000;
Lang Hames89595312016-04-27 20:24:48 +0000576
577 return Error::success();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000578}
579
580// Returns the sections and offset associated with the ODP entry referenced
581// by Symbol.
Lang Hames89595312016-04-27 20:24:48 +0000582Error RuntimeDyldELF::findOPDEntrySection(const ELFObjectFileBase &Obj,
583 ObjSectionToIDMap &LocalSections,
584 RelocationValueRef &Rel) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000585 // Get the ELF symbol value (st_value) to compare with Relocation offset in
586 // .opd entries
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000587 for (section_iterator si = Obj.section_begin(), se = Obj.section_end();
Rafael Espindola5e812af2014-01-30 02:49:50 +0000588 si != se; ++si) {
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000589 section_iterator RelSecI = si->getRelocatedSection();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000590 if (RelSecI == Obj.section_end())
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000591 continue;
592
593 StringRef RelSectionName;
Lang Hames89595312016-04-27 20:24:48 +0000594 if (auto EC = RelSecI->getName(RelSectionName))
595 return errorCodeToError(EC);
596
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000597 if (RelSectionName != ".opd")
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000598 continue;
599
Rafael Espindola71784d62015-06-30 00:33:59 +0000600 for (elf_relocation_iterator i = si->relocation_begin(),
601 e = si->relocation_end();
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000602 i != e;) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000603 // The R_PPC64_ADDR64 relocation indicates the first field
604 // of a .opd entry
Rafael Espindola99c041b2015-06-30 01:53:01 +0000605 uint64_t TypeFunc = i->getType();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000606 if (TypeFunc != ELF::R_PPC64_ADDR64) {
Rafael Espindola5e812af2014-01-30 02:49:50 +0000607 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000608 continue;
609 }
610
Rafael Espindola96d071c2015-06-29 23:29:12 +0000611 uint64_t TargetSymbolOffset = i->getOffset();
Rafael Espindola806f0062013-06-05 01:33:53 +0000612 symbol_iterator TargetSymbol = i->getSymbol();
Lang Hames89595312016-04-27 20:24:48 +0000613 int64_t Addend;
614 if (auto AddendOrErr = i->getAddend())
615 Addend = *AddendOrErr;
616 else
Rafael Espindola1a0e5a12017-10-11 16:56:33 +0000617 return AddendOrErr.takeError();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000618
Rafael Espindola5e812af2014-01-30 02:49:50 +0000619 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000620 if (i == e)
621 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000622
623 // Just check if following relocation is a R_PPC64_TOC
Rafael Espindola99c041b2015-06-30 01:53:01 +0000624 uint64_t TypeTOC = i->getType();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000625 if (TypeTOC != ELF::R_PPC64_TOC)
626 continue;
627
628 // Finally compares the Symbol value and the target symbol offset
629 // to check if this .opd entry refers to the symbol the relocation
630 // points to.
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000631 if (Rel.Addend != (int64_t)TargetSymbolOffset)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000632 continue;
633
Lang Hames89595312016-04-27 20:24:48 +0000634 section_iterator TSI = Obj.section_end();
635 if (auto TSIOrErr = TargetSymbol->getSection())
636 TSI = *TSIOrErr;
637 else
Kevin Enderby7bd8d992016-05-02 20:28:12 +0000638 return TSIOrErr.takeError();
Lang Hames89595312016-04-27 20:24:48 +0000639 assert(TSI != Obj.section_end() && "TSI should refer to a valid section");
640
641 bool IsCode = TSI->isText();
642 if (auto SectionIDOrErr = findOrEmitSection(Obj, *TSI, IsCode,
643 LocalSections))
644 Rel.SectionID = *SectionIDOrErr;
645 else
646 return SectionIDOrErr.takeError();
Rafael Espindola0d15f732013-05-09 03:39:05 +0000647 Rel.Addend = (intptr_t)Addend;
Lang Hames89595312016-04-27 20:24:48 +0000648 return Error::success();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000649 }
650 }
651 llvm_unreachable("Attempting to get address of ODP entry!");
652}
653
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000654// Relocation masks following the #lo(value), #hi(value), #ha(value),
655// #higher(value), #highera(value), #highest(value), and #highesta(value)
656// macros defined in section 4.5.1. Relocation Types of the PPC-elf64abi
657// document.
658
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000659static inline uint16_t applyPPClo(uint64_t value) { return value & 0xffff; }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000660
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000661static inline uint16_t applyPPChi(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000662 return (value >> 16) & 0xffff;
663}
664
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000665static inline uint16_t applyPPCha (uint64_t value) {
666 return ((value + 0x8000) >> 16) & 0xffff;
667}
668
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000669static inline uint16_t applyPPChigher(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000670 return (value >> 32) & 0xffff;
671}
672
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000673static inline uint16_t applyPPChighera (uint64_t value) {
674 return ((value + 0x8000) >> 32) & 0xffff;
675}
676
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000677static inline uint16_t applyPPChighest(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000678 return (value >> 48) & 0xffff;
679}
680
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000681static inline uint16_t applyPPChighesta (uint64_t value) {
682 return ((value + 0x8000) >> 48) & 0xffff;
683}
684
Hal Finkel23cdeee2015-08-04 15:29:00 +0000685void RuntimeDyldELF::resolvePPC32Relocation(const SectionEntry &Section,
686 uint64_t Offset, uint64_t Value,
687 uint32_t Type, int64_t Addend) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000688 uint8_t *LocalAddress = Section.getAddressWithOffset(Offset);
Hal Finkel23cdeee2015-08-04 15:29:00 +0000689 switch (Type) {
690 default:
691 llvm_unreachable("Relocation type not implemented yet!");
692 break;
693 case ELF::R_PPC_ADDR16_LO:
694 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
695 break;
696 case ELF::R_PPC_ADDR16_HI:
697 writeInt16BE(LocalAddress, applyPPChi(Value + Addend));
698 break;
699 case ELF::R_PPC_ADDR16_HA:
700 writeInt16BE(LocalAddress, applyPPCha(Value + Addend));
701 break;
702 }
703}
704
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000705void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000706 uint64_t Offset, uint64_t Value,
707 uint32_t Type, int64_t Addend) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000708 uint8_t *LocalAddress = Section.getAddressWithOffset(Offset);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000709 switch (Type) {
710 default:
711 llvm_unreachable("Relocation type not implemented yet!");
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000712 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000713 case ELF::R_PPC64_ADDR16:
714 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
715 break;
716 case ELF::R_PPC64_ADDR16_DS:
717 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
718 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000719 case ELF::R_PPC64_ADDR16_LO:
720 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000721 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000722 case ELF::R_PPC64_ADDR16_LO_DS:
723 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
724 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000725 case ELF::R_PPC64_ADDR16_HI:
Sean Fertile80b8f822018-06-15 19:47:11 +0000726 case ELF::R_PPC64_ADDR16_HIGH:
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000727 writeInt16BE(LocalAddress, applyPPChi(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000728 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000729 case ELF::R_PPC64_ADDR16_HA:
Sean Fertile80b8f822018-06-15 19:47:11 +0000730 case ELF::R_PPC64_ADDR16_HIGHA:
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000731 writeInt16BE(LocalAddress, applyPPCha(Value + Addend));
732 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000733 case ELF::R_PPC64_ADDR16_HIGHER:
734 writeInt16BE(LocalAddress, applyPPChigher(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000735 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000736 case ELF::R_PPC64_ADDR16_HIGHERA:
737 writeInt16BE(LocalAddress, applyPPChighera(Value + Addend));
738 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000739 case ELF::R_PPC64_ADDR16_HIGHEST:
740 writeInt16BE(LocalAddress, applyPPChighest(Value + Addend));
741 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000742 case ELF::R_PPC64_ADDR16_HIGHESTA:
743 writeInt16BE(LocalAddress, applyPPChighesta(Value + Addend));
744 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000745 case ELF::R_PPC64_ADDR14: {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000746 assert(((Value + Addend) & 3) == 0);
747 // Preserve the AA/LK bits in the branch instruction
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000748 uint8_t aalk = *(LocalAddress + 3);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000749 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
750 } break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000751 case ELF::R_PPC64_REL16_LO: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000752 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000753 uint64_t Delta = Value - FinalAddress + Addend;
754 writeInt16BE(LocalAddress, applyPPClo(Delta));
755 } break;
756 case ELF::R_PPC64_REL16_HI: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000757 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000758 uint64_t Delta = Value - FinalAddress + Addend;
759 writeInt16BE(LocalAddress, applyPPChi(Delta));
760 } break;
761 case ELF::R_PPC64_REL16_HA: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000762 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000763 uint64_t Delta = Value - FinalAddress + Addend;
764 writeInt16BE(LocalAddress, applyPPCha(Delta));
765 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000766 case ELF::R_PPC64_ADDR32: {
Ulrich Weigandb6d40cc2017-05-23 12:43:57 +0000767 int64_t Result = static_cast<int64_t>(Value + Addend);
768 if (SignExtend64<32>(Result) != Result)
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000769 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000770 writeInt32BE(LocalAddress, Result);
771 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000772 case ELF::R_PPC64_REL24: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000773 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Ulrich Weigandb6d40cc2017-05-23 12:43:57 +0000774 int64_t delta = static_cast<int64_t>(Value - FinalAddress + Addend);
775 if (SignExtend64<26>(delta) != delta)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000776 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
Hiroshi Inoue3872c6c2018-05-30 04:48:29 +0000777 // We preserve bits other than LI field, i.e. PO and AA/LK fields.
778 uint32_t Inst = readBytesUnaligned(LocalAddress, 4);
779 writeInt32BE(LocalAddress, (Inst & 0xFC000003) | (delta & 0x03FFFFFC));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000780 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000781 case ELF::R_PPC64_REL32: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000782 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Ulrich Weigandb6d40cc2017-05-23 12:43:57 +0000783 int64_t delta = static_cast<int64_t>(Value - FinalAddress + Addend);
784 if (SignExtend64<32>(delta) != delta)
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000785 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
786 writeInt32BE(LocalAddress, delta);
787 } break;
Adhemerval Zanellae8bd03d2013-05-06 17:21:23 +0000788 case ELF::R_PPC64_REL64: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000789 uint64_t FinalAddress = Section.getLoadAddressWithOffset(Offset);
Adhemerval Zanellae8bd03d2013-05-06 17:21:23 +0000790 uint64_t Delta = Value - FinalAddress + Addend;
791 writeInt64BE(LocalAddress, Delta);
792 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000793 case ELF::R_PPC64_ADDR64:
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000794 writeInt64BE(LocalAddress, Value + Addend);
795 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000796 }
797}
798
Richard Sandifordca044082013-05-03 14:15:35 +0000799void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000800 uint64_t Offset, uint64_t Value,
801 uint32_t Type, int64_t Addend) {
Sanjoy Das277776a2015-11-23 21:47:41 +0000802 uint8_t *LocalAddress = Section.getAddressWithOffset(Offset);
Richard Sandifordca044082013-05-03 14:15:35 +0000803 switch (Type) {
804 default:
805 llvm_unreachable("Relocation type not implemented yet!");
806 break;
807 case ELF::R_390_PC16DBL:
808 case ELF::R_390_PLT16DBL: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000809 int64_t Delta = (Value + Addend) - Section.getLoadAddressWithOffset(Offset);
Richard Sandifordca044082013-05-03 14:15:35 +0000810 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
811 writeInt16BE(LocalAddress, Delta / 2);
812 break;
813 }
814 case ELF::R_390_PC32DBL:
815 case ELF::R_390_PLT32DBL: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000816 int64_t Delta = (Value + Addend) - Section.getLoadAddressWithOffset(Offset);
Richard Sandifordca044082013-05-03 14:15:35 +0000817 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
818 writeInt32BE(LocalAddress, Delta / 2);
819 break;
820 }
Ulrich Weigandd94e6d92017-05-09 18:27:39 +0000821 case ELF::R_390_PC16: {
822 int64_t Delta = (Value + Addend) - Section.getLoadAddressWithOffset(Offset);
823 assert(int16_t(Delta) == Delta && "R_390_PC16 overflow");
824 writeInt16BE(LocalAddress, Delta);
825 break;
826 }
Richard Sandifordca044082013-05-03 14:15:35 +0000827 case ELF::R_390_PC32: {
Sanjoy Das277776a2015-11-23 21:47:41 +0000828 int64_t Delta = (Value + Addend) - Section.getLoadAddressWithOffset(Offset);
Richard Sandifordca044082013-05-03 14:15:35 +0000829 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
830 writeInt32BE(LocalAddress, Delta);
831 break;
832 }
Bryan Chand1145ad2016-05-13 17:23:48 +0000833 case ELF::R_390_PC64: {
834 int64_t Delta = (Value + Addend) - Section.getLoadAddressWithOffset(Offset);
835 writeInt64BE(LocalAddress, Delta);
836 break;
837 }
Ulrich Weigandd94e6d92017-05-09 18:27:39 +0000838 case ELF::R_390_8:
839 *LocalAddress = (uint8_t)(Value + Addend);
840 break;
841 case ELF::R_390_16:
842 writeInt16BE(LocalAddress, Value + Addend);
843 break;
844 case ELF::R_390_32:
845 writeInt32BE(LocalAddress, Value + Addend);
846 break;
847 case ELF::R_390_64:
848 writeInt64BE(LocalAddress, Value + Addend);
849 break;
Richard Sandifordca044082013-05-03 14:15:35 +0000850 }
851}
852
Alexei Starovoitov4198f2a2017-05-03 17:30:56 +0000853void RuntimeDyldELF::resolveBPFRelocation(const SectionEntry &Section,
854 uint64_t Offset, uint64_t Value,
855 uint32_t Type, int64_t Addend) {
856 bool isBE = Arch == Triple::bpfeb;
857
858 switch (Type) {
859 default:
860 llvm_unreachable("Relocation type not implemented yet!");
861 break;
862 case ELF::R_BPF_NONE:
863 break;
864 case ELF::R_BPF_64_64: {
865 write(isBE, Section.getAddressWithOffset(Offset), Value + Addend);
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000866 LLVM_DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend)) << " at "
867 << format("%p\n", Section.getAddressWithOffset(Offset)));
Alexei Starovoitov4198f2a2017-05-03 17:30:56 +0000868 break;
869 }
870 case ELF::R_BPF_64_32: {
871 Value += Addend;
872 assert(Value <= UINT32_MAX);
873 write(isBE, Section.getAddressWithOffset(Offset), static_cast<uint32_t>(Value));
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000874 LLVM_DEBUG(dbgs() << "Writing " << format("%p", Value) << " at "
875 << format("%p\n", Section.getAddressWithOffset(Offset)));
Alexei Starovoitov4198f2a2017-05-03 17:30:56 +0000876 break;
877 }
878 }
879}
880
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000881// The target location for the relocation is described by RE.SectionID and
882// RE.Offset. RE.SectionID can be used to find the SectionEntry. Each
883// SectionEntry has three members describing its location.
884// SectionEntry::Address is the address at which the section has been loaded
885// into memory in the current (host) process. SectionEntry::LoadAddress is the
886// address that the section will have in the target process.
887// SectionEntry::ObjAddress is the address of the bits for this section in the
888// original emitted object image (also in the current address space).
889//
890// Relocations will be applied as if the section were loaded at
891// SectionEntry::LoadAddress, but they will be applied at an address based
892// on SectionEntry::Address. SectionEntry::ObjAddress will be used to refer to
893// Target memory contents if they are required for value calculations.
894//
895// The Value parameter here is the load address of the symbol for the
896// relocation to be applied. For relocations which refer to symbols in the
897// current object Value will be the LoadAddress of the section in which
898// the symbol resides (RE.Addend provides additional information about the
899// symbol location). For external symbols, Value will be the address of the
900// symbol in the target address space.
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000901void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000902 uint64_t Value) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000903 const SectionEntry &Section = Sections[RE.SectionID];
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000904 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +0000905 RE.SymOffset, RE.SectionID);
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000906}
907
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000908void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000909 uint64_t Offset, uint64_t Value,
910 uint32_t Type, int64_t Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +0000911 uint64_t SymOffset, SID SectionID) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000912 switch (Arch) {
913 case Triple::x86_64:
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000914 resolveX86_64Relocation(Section, Offset, Value, Type, Addend, SymOffset);
Eli Bendersky4c647582012-01-16 08:56:09 +0000915 break;
916 case Triple::x86:
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000917 resolveX86Relocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000918 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +0000919 break;
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000920 case Triple::aarch64:
Christian Pirker99974c72014-03-26 14:57:32 +0000921 case Triple::aarch64_be:
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000922 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
923 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000924 case Triple::arm: // Fall through.
Christian Pirker2a111602014-03-28 14:35:30 +0000925 case Triple::armeb:
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000926 case Triple::thumb:
Christian Pirker2a111602014-03-28 14:35:30 +0000927 case Triple::thumbeb:
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000928 resolveARMRelocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000929 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +0000930 break;
Hal Finkel23cdeee2015-08-04 15:29:00 +0000931 case Triple::ppc:
932 resolvePPC32Relocation(Section, Offset, Value, Type, Addend);
933 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000934 case Triple::ppc64: // Fall through.
Bill Schmidt0a9170d2013-07-26 01:35:43 +0000935 case Triple::ppc64le:
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000936 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000937 break;
Richard Sandifordca044082013-05-03 14:15:35 +0000938 case Triple::systemz:
939 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
940 break;
Alexei Starovoitov4198f2a2017-05-03 17:30:56 +0000941 case Triple::bpfel:
942 case Triple::bpfeb:
943 resolveBPFRelocation(Section, Offset, Value, Type, Addend);
944 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000945 default:
946 llvm_unreachable("Unsupported CPU type!");
Eli Bendersky4c647582012-01-16 08:56:09 +0000947 }
948}
949
Keno Fischere6892c82015-05-01 20:21:45 +0000950void *RuntimeDyldELF::computePlaceholderAddress(unsigned SectionID, uint64_t Offset) const {
Sanjoy Das277776a2015-11-23 21:47:41 +0000951 return (void *)(Sections[SectionID].getObjAddress() + Offset);
Keno Fischere6892c82015-05-01 20:21:45 +0000952}
953
954void RuntimeDyldELF::processSimpleRelocation(unsigned SectionID, uint64_t Offset, unsigned RelType, RelocationValueRef Value) {
955 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend, Value.Offset);
956 if (Value.SymbolName)
957 addRelocationForSymbol(RE, Value.SymbolName);
958 else
959 addRelocationForSection(RE, Value.SectionID);
960}
961
Petar Jovanovicd22164d2015-08-13 15:12:49 +0000962uint32_t RuntimeDyldELF::getMatchingLoRelocation(uint32_t RelType,
963 bool IsLocal) const {
964 switch (RelType) {
965 case ELF::R_MICROMIPS_GOT16:
966 if (IsLocal)
967 return ELF::R_MICROMIPS_LO16;
968 break;
969 case ELF::R_MICROMIPS_HI16:
970 return ELF::R_MICROMIPS_LO16;
971 case ELF::R_MIPS_GOT16:
972 if (IsLocal)
973 return ELF::R_MIPS_LO16;
974 break;
975 case ELF::R_MIPS_HI16:
976 return ELF::R_MIPS_LO16;
977 case ELF::R_MIPS_PCHI16:
978 return ELF::R_MIPS_PCLO16;
979 default:
980 break;
981 }
982 return ELF::R_MIPS_NONE;
983}
984
Eugene Leviantbe2d68f2017-01-09 09:56:31 +0000985// Sometimes we don't need to create thunk for a branch.
Eugene Leviante33d2ce2017-01-23 13:13:47 +0000986// This typically happens when branch target is located
Eugene Leviantbe2d68f2017-01-09 09:56:31 +0000987// in the same object file. In such case target is either
988// a weak symbol or symbol in a different executable section.
989// This function checks if branch target is located in the
990// same object file and if distance between source and target
991// fits R_AARCH64_CALL26 relocation. If both conditions are
992// met, it emits direct jump to the target and returns true.
993// Otherwise false is returned and thunk is created.
994bool RuntimeDyldELF::resolveAArch64ShortBranch(
995 unsigned SectionID, relocation_iterator RelI,
996 const RelocationValueRef &Value) {
997 uint64_t Address;
998 if (Value.SymbolName) {
999 auto Loc = GlobalSymbolTable.find(Value.SymbolName);
1000
1001 // Don't create direct branch for external symbols.
1002 if (Loc == GlobalSymbolTable.end())
1003 return false;
1004
1005 const auto &SymInfo = Loc->second;
Pavel Labathd3383812017-01-09 11:20:35 +00001006 Address =
1007 uint64_t(Sections[SymInfo.getSectionID()].getLoadAddressWithOffset(
Eugene Leviantbe2d68f2017-01-09 09:56:31 +00001008 SymInfo.getOffset()));
1009 } else {
Pavel Labathd3383812017-01-09 11:20:35 +00001010 Address = uint64_t(Sections[Value.SectionID].getLoadAddress());
Eugene Leviantbe2d68f2017-01-09 09:56:31 +00001011 }
1012 uint64_t Offset = RelI->getOffset();
1013 uint64_t SourceAddress = Sections[SectionID].getLoadAddressWithOffset(Offset);
1014
1015 // R_AARCH64_CALL26 requires immediate to be in range -2^27 <= imm < 2^27
1016 // If distance between source and target is out of range then we should
1017 // create thunk.
1018 if (!isInt<28>(Address + Value.Addend - SourceAddress))
1019 return false;
1020
1021 resolveRelocation(Sections[SectionID], Offset, Address, RelI->getType(),
1022 Value.Addend);
1023
1024 return true;
1025}
1026
Eugene Leviant3e582c82017-02-06 15:31:28 +00001027void RuntimeDyldELF::resolveAArch64Branch(unsigned SectionID,
1028 const RelocationValueRef &Value,
1029 relocation_iterator RelI,
1030 StubMap &Stubs) {
1031
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001032 LLVM_DEBUG(dbgs() << "\t\tThis is an AArch64 branch relocation.");
Eugene Leviant3e582c82017-02-06 15:31:28 +00001033 SectionEntry &Section = Sections[SectionID];
1034
1035 uint64_t Offset = RelI->getOffset();
1036 unsigned RelType = RelI->getType();
1037 // Look for an existing stub.
1038 StubMap::const_iterator i = Stubs.find(Value);
1039 if (i != Stubs.end()) {
1040 resolveRelocation(Section, Offset,
1041 (uint64_t)Section.getAddressWithOffset(i->second),
1042 RelType, 0);
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001043 LLVM_DEBUG(dbgs() << " Stub function found\n");
Eugene Leviant3e582c82017-02-06 15:31:28 +00001044 } else if (!resolveAArch64ShortBranch(SectionID, RelI, Value)) {
1045 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001046 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Eugene Leviant3e582c82017-02-06 15:31:28 +00001047 Stubs[Value] = Section.getStubOffset();
1048 uint8_t *StubTargetAddr = createStubFunction(
1049 Section.getAddressWithOffset(Section.getStubOffset()));
1050
1051 RelocationEntry REmovz_g3(SectionID, StubTargetAddr - Section.getAddress(),
1052 ELF::R_AARCH64_MOVW_UABS_G3, Value.Addend);
1053 RelocationEntry REmovk_g2(SectionID,
1054 StubTargetAddr - Section.getAddress() + 4,
1055 ELF::R_AARCH64_MOVW_UABS_G2_NC, Value.Addend);
1056 RelocationEntry REmovk_g1(SectionID,
1057 StubTargetAddr - Section.getAddress() + 8,
1058 ELF::R_AARCH64_MOVW_UABS_G1_NC, Value.Addend);
1059 RelocationEntry REmovk_g0(SectionID,
1060 StubTargetAddr - Section.getAddress() + 12,
1061 ELF::R_AARCH64_MOVW_UABS_G0_NC, Value.Addend);
1062
1063 if (Value.SymbolName) {
1064 addRelocationForSymbol(REmovz_g3, Value.SymbolName);
1065 addRelocationForSymbol(REmovk_g2, Value.SymbolName);
1066 addRelocationForSymbol(REmovk_g1, Value.SymbolName);
1067 addRelocationForSymbol(REmovk_g0, Value.SymbolName);
1068 } else {
1069 addRelocationForSection(REmovz_g3, Value.SectionID);
1070 addRelocationForSection(REmovk_g2, Value.SectionID);
1071 addRelocationForSection(REmovk_g1, Value.SectionID);
1072 addRelocationForSection(REmovk_g0, Value.SectionID);
1073 }
1074 resolveRelocation(Section, Offset,
1075 reinterpret_cast<uint64_t>(Section.getAddressWithOffset(
1076 Section.getStubOffset())),
1077 RelType, 0);
1078 Section.advanceStubOffset(getMaxStubSize());
1079 }
1080}
1081
Lang Hames89595312016-04-27 20:24:48 +00001082Expected<relocation_iterator>
1083RuntimeDyldELF::processRelocationRef(
Rafael Espindola3dc0d052015-06-19 20:58:43 +00001084 unsigned SectionID, relocation_iterator RelI, const ObjectFile &O,
1085 ObjSectionToIDMap &ObjSectionToID, StubMap &Stubs) {
1086 const auto &Obj = cast<ELFObjectFileBase>(O);
Rafael Espindola99c041b2015-06-30 01:53:01 +00001087 uint64_t RelType = RelI->getType();
Rafael Espindola1a0e5a12017-10-11 16:56:33 +00001088 int64_t Addend = 0;
1089 if (Expected<int64_t> AddendOrErr = ELFRelocationRef(*RelI).getAddend())
1090 Addend = *AddendOrErr;
1091 else
1092 consumeError(AddendOrErr.takeError());
Rafael Espindolaeef7ffe2015-06-26 11:39:57 +00001093 elf_symbol_iterator Symbol = RelI->getSymbol();
Eli Bendersky667b8792012-05-01 10:41:12 +00001094
1095 // Obtain the symbol name which is referenced in the relocation
1096 StringRef TargetName;
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +00001097 if (Symbol != Obj.symbol_end()) {
Lang Hames89595312016-04-27 20:24:48 +00001098 if (auto TargetNameOrErr = Symbol->getName())
1099 TargetName = *TargetNameOrErr;
1100 else
1101 return TargetNameOrErr.takeError();
Rafael Espindola5d0c2ff2015-07-02 20:55:21 +00001102 }
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001103 LLVM_DEBUG(dbgs() << "\t\tRelType: " << RelType << " Addend: " << Addend
1104 << " TargetName: " << TargetName << "\n");
Eli Bendersky667b8792012-05-01 10:41:12 +00001105 RelocationValueRef Value;
1106 // First search for the symbol in the local symbol table
Rafael Espindola75954472013-06-05 02:55:01 +00001107 SymbolRef::Type SymType = SymbolRef::ST_Unknown;
Lang Hamesa5cd9502014-11-27 05:40:13 +00001108
1109 // Search for the symbol in the global symbol table
Lang Hames6bfd3982015-01-16 23:13:56 +00001110 RTDyldSymbolTable::const_iterator gsi = GlobalSymbolTable.end();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001111 if (Symbol != Obj.symbol_end()) {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001112 gsi = GlobalSymbolTable.find(TargetName.data());
Kevin Enderby7bd8d992016-05-02 20:28:12 +00001113 Expected<SymbolRef::Type> SymTypeOrErr = Symbol->getType();
1114 if (!SymTypeOrErr) {
1115 std::string Buf;
1116 raw_string_ostream OS(Buf);
1117 logAllUnhandledErrors(SymTypeOrErr.takeError(), OS, "");
1118 OS.flush();
1119 report_fatal_error(Buf);
1120 }
Kevin Enderby5afbc1c2016-03-23 20:27:00 +00001121 SymType = *SymTypeOrErr;
Rafael Espindola75954472013-06-05 02:55:01 +00001122 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001123 if (gsi != GlobalSymbolTable.end()) {
Lang Hames6bfd3982015-01-16 23:13:56 +00001124 const auto &SymInfo = gsi->second;
1125 Value.SectionID = SymInfo.getSectionID();
1126 Value.Offset = SymInfo.getOffset();
1127 Value.Addend = SymInfo.getOffset() + Addend;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001128 } else {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001129 switch (SymType) {
1130 case SymbolRef::ST_Debug: {
1131 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
1132 // and can be changed by another developers. Maybe best way is add
1133 // a new symbol type ST_Section to SymbolRef and use it.
Kevin Enderby7bd8d992016-05-02 20:28:12 +00001134 auto SectionOrErr = Symbol->getSection();
1135 if (!SectionOrErr) {
1136 std::string Buf;
1137 raw_string_ostream OS(Buf);
1138 logAllUnhandledErrors(SectionOrErr.takeError(), OS, "");
1139 OS.flush();
1140 report_fatal_error(Buf);
1141 }
1142 section_iterator si = *SectionOrErr;
Lang Hamesa5cd9502014-11-27 05:40:13 +00001143 if (si == Obj.section_end())
1144 llvm_unreachable("Symbol section not found, bad object file format!");
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001145 LLVM_DEBUG(dbgs() << "\t\tThis is section symbol\n");
Lang Hamesa5cd9502014-11-27 05:40:13 +00001146 bool isCode = si->isText();
Lang Hames89595312016-04-27 20:24:48 +00001147 if (auto SectionIDOrErr = findOrEmitSection(Obj, (*si), isCode,
1148 ObjSectionToID))
1149 Value.SectionID = *SectionIDOrErr;
1150 else
1151 return SectionIDOrErr.takeError();
Lang Hamesa5cd9502014-11-27 05:40:13 +00001152 Value.Addend = Addend;
1153 break;
1154 }
1155 case SymbolRef::ST_Data:
Lang Hamesbb9431a2016-08-09 19:27:17 +00001156 case SymbolRef::ST_Function:
Lang Hamesa5cd9502014-11-27 05:40:13 +00001157 case SymbolRef::ST_Unknown: {
1158 Value.SymbolName = TargetName.data();
1159 Value.Addend = Addend;
Richard Mittonad6d3492013-08-16 18:54:26 +00001160
Lang Hamesa5cd9502014-11-27 05:40:13 +00001161 // Absolute relocations will have a zero symbol ID (STN_UNDEF), which
1162 // will manifest here as a NULL symbol name.
1163 // We can set this as a valid (but empty) symbol name, and rely
1164 // on addRelocationForSymbol to handle this.
1165 if (!Value.SymbolName)
1166 Value.SymbolName = "";
1167 break;
1168 }
1169 default:
1170 llvm_unreachable("Unresolved symbol type!");
1171 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001172 }
Eli Bendersky4c647582012-01-16 08:56:09 +00001173 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001174
Rafael Espindola96d071c2015-06-29 23:29:12 +00001175 uint64_t Offset = RelI->getOffset();
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001176
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001177 LLVM_DEBUG(dbgs() << "\t\tSectionID: " << SectionID << " Offset: " << Offset
1178 << "\n");
Eugene Leviant3e582c82017-02-06 15:31:28 +00001179 if ((Arch == Triple::aarch64 || Arch == Triple::aarch64_be)) {
1180 if (RelType == ELF::R_AARCH64_CALL26 || RelType == ELF::R_AARCH64_JUMP26) {
1181 resolveAArch64Branch(SectionID, Value, RelI, Stubs);
1182 } else if (RelType == ELF::R_AARCH64_ADR_GOT_PAGE) {
1183 // Craete new GOT entry or find existing one. If GOT entry is
1184 // to be created, then we also emit ABS64 relocation for it.
1185 uint64_t GOTOffset = findOrAllocGOTEntry(Value, ELF::R_AARCH64_ABS64);
1186 resolveGOTOffsetRelocation(SectionID, Offset, GOTOffset + Addend,
1187 ELF::R_AARCH64_ADR_PREL_PG_HI21);
Tim Northover37cde972013-05-04 20:14:09 +00001188
Eugene Leviant3e582c82017-02-06 15:31:28 +00001189 } else if (RelType == ELF::R_AARCH64_LD64_GOT_LO12_NC) {
1190 uint64_t GOTOffset = findOrAllocGOTEntry(Value, ELF::R_AARCH64_ABS64);
1191 resolveGOTOffsetRelocation(SectionID, Offset, GOTOffset + Addend,
1192 ELF::R_AARCH64_LDST64_ABS_LO12_NC);
1193 } else {
1194 processSimpleRelocation(SectionID, Offset, RelType, Value);
Tim Northover37cde972013-05-04 20:14:09 +00001195 }
Keno Fischere6892c82015-05-01 20:21:45 +00001196 } else if (Arch == Triple::arm) {
1197 if (RelType == ELF::R_ARM_PC24 || RelType == ELF::R_ARM_CALL ||
1198 RelType == ELF::R_ARM_JUMP24) {
1199 // This is an ARM branch relocation, need to use a stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001200 LLVM_DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.\n");
Keno Fischere6892c82015-05-01 20:21:45 +00001201 SectionEntry &Section = Sections[SectionID];
Eli Bendersky4c647582012-01-16 08:56:09 +00001202
Keno Fischere6892c82015-05-01 20:21:45 +00001203 // Look for an existing stub.
1204 StubMap::const_iterator i = Stubs.find(Value);
1205 if (i != Stubs.end()) {
Sanjoy Das277776a2015-11-23 21:47:41 +00001206 resolveRelocation(
1207 Section, Offset,
1208 reinterpret_cast<uint64_t>(Section.getAddressWithOffset(i->second)),
1209 RelType, 0);
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001210 LLVM_DEBUG(dbgs() << " Stub function found\n");
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001211 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001212 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001213 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Sanjoy Das277776a2015-11-23 21:47:41 +00001214 Stubs[Value] = Section.getStubOffset();
1215 uint8_t *StubTargetAddr = createStubFunction(
1216 Section.getAddressWithOffset(Section.getStubOffset()));
1217 RelocationEntry RE(SectionID, StubTargetAddr - Section.getAddress(),
1218 ELF::R_ARM_ABS32, Value.Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001219 if (Value.SymbolName)
1220 addRelocationForSymbol(RE, Value.SymbolName);
1221 else
1222 addRelocationForSection(RE, Value.SectionID);
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001223
Sanjoy Das277776a2015-11-23 21:47:41 +00001224 resolveRelocation(Section, Offset, reinterpret_cast<uint64_t>(
1225 Section.getAddressWithOffset(
1226 Section.getStubOffset())),
1227 RelType, 0);
1228 Section.advanceStubOffset(getMaxStubSize());
Keno Fischere6892c82015-05-01 20:21:45 +00001229 }
1230 } else {
1231 uint32_t *Placeholder =
1232 reinterpret_cast<uint32_t*>(computePlaceholderAddress(SectionID, Offset));
1233 if (RelType == ELF::R_ARM_PREL31 || RelType == ELF::R_ARM_TARGET1 ||
1234 RelType == ELF::R_ARM_ABS32) {
1235 Value.Addend += *Placeholder;
1236 } else if (RelType == ELF::R_ARM_MOVW_ABS_NC || RelType == ELF::R_ARM_MOVT_ABS) {
1237 // See ELF for ARM documentation
1238 Value.Addend += (int16_t)((*Placeholder & 0xFFF) | (((*Placeholder >> 16) & 0xF) << 12));
1239 }
1240 processSimpleRelocation(SectionID, Offset, RelType, Value);
1241 }
Petar Jovanovic97202832015-05-28 13:48:41 +00001242 } else if (IsMipsO32ABI) {
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001243 uint8_t *Placeholder = reinterpret_cast<uint8_t *>(
1244 computePlaceholderAddress(SectionID, Offset));
1245 uint32_t Opcode = readBytesUnaligned(Placeholder, 4);
Keno Fischere6892c82015-05-01 20:21:45 +00001246 if (RelType == ELF::R_MIPS_26) {
1247 // This is an Mips branch relocation, need to use a stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001248 LLVM_DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
Keno Fischere6892c82015-05-01 20:21:45 +00001249 SectionEntry &Section = Sections[SectionID];
1250
1251 // Extract the addend from the instruction.
1252 // We shift up by two since the Value will be down shifted again
1253 // when applying the relocation.
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001254 uint32_t Addend = (Opcode & 0x03ffffff) << 2;
Keno Fischere6892c82015-05-01 20:21:45 +00001255
1256 Value.Addend += Addend;
1257
1258 // Look up for existing stub.
1259 StubMap::const_iterator i = Stubs.find(Value);
1260 if (i != Stubs.end()) {
1261 RelocationEntry RE(SectionID, Offset, RelType, i->second);
1262 addRelocationForSection(RE, SectionID);
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001263 LLVM_DEBUG(dbgs() << " Stub function found\n");
Keno Fischere6892c82015-05-01 20:21:45 +00001264 } else {
1265 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001266 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Sanjoy Das277776a2015-11-23 21:47:41 +00001267 Stubs[Value] = Section.getStubOffset();
Nitesh Jain7481e402016-07-15 12:56:37 +00001268
Rafael Espindolad5f76ad2018-01-29 18:27:30 +00001269 unsigned AbiVariant = Obj.getPlatformFlags();
Nitesh Jain7481e402016-07-15 12:56:37 +00001270
Sanjoy Das277776a2015-11-23 21:47:41 +00001271 uint8_t *StubTargetAddr = createStubFunction(
Nitesh Jain7481e402016-07-15 12:56:37 +00001272 Section.getAddressWithOffset(Section.getStubOffset()), AbiVariant);
Keno Fischere6892c82015-05-01 20:21:45 +00001273
1274 // Creating Hi and Lo relocations for the filled stub instructions.
Sanjoy Das277776a2015-11-23 21:47:41 +00001275 RelocationEntry REHi(SectionID, StubTargetAddr - Section.getAddress(),
1276 ELF::R_MIPS_HI16, Value.Addend);
1277 RelocationEntry RELo(SectionID,
Sanjoy Das990914d2015-11-24 20:37:01 +00001278 StubTargetAddr - Section.getAddress() + 4,
Sanjoy Das277776a2015-11-23 21:47:41 +00001279 ELF::R_MIPS_LO16, Value.Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001280
1281 if (Value.SymbolName) {
1282 addRelocationForSymbol(REHi, Value.SymbolName);
1283 addRelocationForSymbol(RELo, Value.SymbolName);
Nitesh Jain757f74c2017-10-22 09:47:41 +00001284 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001285 addRelocationForSection(REHi, Value.SectionID);
1286 addRelocationForSection(RELo, Value.SectionID);
1287 }
1288
Sanjoy Das277776a2015-11-23 21:47:41 +00001289 RelocationEntry RE(SectionID, Offset, RelType, Section.getStubOffset());
Keno Fischere6892c82015-05-01 20:21:45 +00001290 addRelocationForSection(RE, SectionID);
Sanjoy Das277776a2015-11-23 21:47:41 +00001291 Section.advanceStubOffset(getMaxStubSize());
Keno Fischere6892c82015-05-01 20:21:45 +00001292 }
Petar Jovanovicd22164d2015-08-13 15:12:49 +00001293 } else if (RelType == ELF::R_MIPS_HI16 || RelType == ELF::R_MIPS_PCHI16) {
1294 int64_t Addend = (Opcode & 0x0000ffff) << 16;
1295 RelocationEntry RE(SectionID, Offset, RelType, Addend);
1296 PendingRelocs.push_back(std::make_pair(Value, RE));
1297 } else if (RelType == ELF::R_MIPS_LO16 || RelType == ELF::R_MIPS_PCLO16) {
1298 int64_t Addend = Value.Addend + SignExtend32<16>(Opcode & 0x0000ffff);
1299 for (auto I = PendingRelocs.begin(); I != PendingRelocs.end();) {
1300 const RelocationValueRef &MatchingValue = I->first;
1301 RelocationEntry &Reloc = I->second;
1302 if (MatchingValue == Value &&
1303 RelType == getMatchingLoRelocation(Reloc.RelType) &&
1304 SectionID == Reloc.SectionID) {
1305 Reloc.Addend += Addend;
1306 if (Value.SymbolName)
1307 addRelocationForSymbol(Reloc, Value.SymbolName);
1308 else
1309 addRelocationForSection(Reloc, Value.SectionID);
1310 I = PendingRelocs.erase(I);
1311 } else
1312 ++I;
1313 }
1314 RelocationEntry RE(SectionID, Offset, RelType, Addend);
1315 if (Value.SymbolName)
1316 addRelocationForSymbol(RE, Value.SymbolName);
1317 else
1318 addRelocationForSection(RE, Value.SectionID);
Keno Fischere6892c82015-05-01 20:21:45 +00001319 } else {
Petar Jovanovicd22164d2015-08-13 15:12:49 +00001320 if (RelType == ELF::R_MIPS_32)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001321 Value.Addend += Opcode;
Petar Jovanovic0326a062015-07-06 12:50:55 +00001322 else if (RelType == ELF::R_MIPS_PC16)
1323 Value.Addend += SignExtend32<18>((Opcode & 0x0000ffff) << 2);
1324 else if (RelType == ELF::R_MIPS_PC19_S2)
1325 Value.Addend += SignExtend32<21>((Opcode & 0x0007ffff) << 2);
1326 else if (RelType == ELF::R_MIPS_PC21_S2)
1327 Value.Addend += SignExtend32<23>((Opcode & 0x001fffff) << 2);
1328 else if (RelType == ELF::R_MIPS_PC26_S2)
1329 Value.Addend += SignExtend32<28>((Opcode & 0x03ffffff) << 2);
Keno Fischere6892c82015-05-01 20:21:45 +00001330 processSimpleRelocation(SectionID, Offset, RelType, Value);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001331 }
Simon Dardis226752c2016-10-20 13:02:23 +00001332 } else if (IsMipsN32ABI || IsMipsN64ABI) {
Petar Jovanovic97202832015-05-28 13:48:41 +00001333 uint32_t r_type = RelType & 0xff;
1334 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Sagar Thakur15126302017-06-22 12:48:04 +00001335 if (r_type == ELF::R_MIPS_CALL16 || r_type == ELF::R_MIPS_GOT_PAGE
1336 || r_type == ELF::R_MIPS_GOT_DISP) {
Petar Jovanovic97202832015-05-28 13:48:41 +00001337 StringMap<uint64_t>::iterator i = GOTSymbolOffsets.find(TargetName);
1338 if (i != GOTSymbolOffsets.end())
1339 RE.SymOffset = i->second;
1340 else {
Eugene Leviant3e582c82017-02-06 15:31:28 +00001341 RE.SymOffset = allocateGOTEntries(1);
Petar Jovanovic97202832015-05-28 13:48:41 +00001342 GOTSymbolOffsets[TargetName] = RE.SymOffset;
1343 }
Nitesh Jain757f74c2017-10-22 09:47:41 +00001344 if (Value.SymbolName)
1345 addRelocationForSymbol(RE, Value.SymbolName);
1346 else
1347 addRelocationForSection(RE, Value.SectionID);
1348 } else if (RelType == ELF::R_MIPS_26) {
1349 // This is an Mips branch relocation, need to use a stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001350 LLVM_DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
Nitesh Jain757f74c2017-10-22 09:47:41 +00001351 SectionEntry &Section = Sections[SectionID];
1352
1353 // Look up for existing stub.
1354 StubMap::const_iterator i = Stubs.find(Value);
1355 if (i != Stubs.end()) {
1356 RelocationEntry RE(SectionID, Offset, RelType, i->second);
1357 addRelocationForSection(RE, SectionID);
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001358 LLVM_DEBUG(dbgs() << " Stub function found\n");
Nitesh Jain757f74c2017-10-22 09:47:41 +00001359 } else {
1360 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001361 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Nitesh Jain757f74c2017-10-22 09:47:41 +00001362 Stubs[Value] = Section.getStubOffset();
1363
Rafael Espindolad5f76ad2018-01-29 18:27:30 +00001364 unsigned AbiVariant = Obj.getPlatformFlags();
Nitesh Jain757f74c2017-10-22 09:47:41 +00001365
1366 uint8_t *StubTargetAddr = createStubFunction(
1367 Section.getAddressWithOffset(Section.getStubOffset()), AbiVariant);
1368
1369 if (IsMipsN32ABI) {
1370 // Creating Hi and Lo relocations for the filled stub instructions.
1371 RelocationEntry REHi(SectionID, StubTargetAddr - Section.getAddress(),
1372 ELF::R_MIPS_HI16, Value.Addend);
1373 RelocationEntry RELo(SectionID,
1374 StubTargetAddr - Section.getAddress() + 4,
1375 ELF::R_MIPS_LO16, Value.Addend);
1376 if (Value.SymbolName) {
1377 addRelocationForSymbol(REHi, Value.SymbolName);
1378 addRelocationForSymbol(RELo, Value.SymbolName);
1379 } else {
1380 addRelocationForSection(REHi, Value.SectionID);
1381 addRelocationForSection(RELo, Value.SectionID);
1382 }
1383 } else {
1384 // Creating Highest, Higher, Hi and Lo relocations for the filled stub
1385 // instructions.
1386 RelocationEntry REHighest(SectionID,
1387 StubTargetAddr - Section.getAddress(),
1388 ELF::R_MIPS_HIGHEST, Value.Addend);
1389 RelocationEntry REHigher(SectionID,
1390 StubTargetAddr - Section.getAddress() + 4,
1391 ELF::R_MIPS_HIGHER, Value.Addend);
1392 RelocationEntry REHi(SectionID,
1393 StubTargetAddr - Section.getAddress() + 12,
1394 ELF::R_MIPS_HI16, Value.Addend);
1395 RelocationEntry RELo(SectionID,
1396 StubTargetAddr - Section.getAddress() + 20,
1397 ELF::R_MIPS_LO16, Value.Addend);
1398 if (Value.SymbolName) {
1399 addRelocationForSymbol(REHighest, Value.SymbolName);
1400 addRelocationForSymbol(REHigher, Value.SymbolName);
1401 addRelocationForSymbol(REHi, Value.SymbolName);
1402 addRelocationForSymbol(RELo, Value.SymbolName);
1403 } else {
1404 addRelocationForSection(REHighest, Value.SectionID);
1405 addRelocationForSection(REHigher, Value.SectionID);
1406 addRelocationForSection(REHi, Value.SectionID);
1407 addRelocationForSection(RELo, Value.SectionID);
1408 }
1409 }
1410 RelocationEntry RE(SectionID, Offset, RelType, Section.getStubOffset());
1411 addRelocationForSection(RE, SectionID);
1412 Section.advanceStubOffset(getMaxStubSize());
1413 }
1414 } else {
1415 processSimpleRelocation(SectionID, Offset, RelType, Value);
Petar Jovanovic97202832015-05-28 13:48:41 +00001416 }
Nitesh Jain757f74c2017-10-22 09:47:41 +00001417
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001418 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001419 if (RelType == ELF::R_PPC64_REL24) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001420 // Determine ABI variant in use for this object.
Rafael Espindolad5f76ad2018-01-29 18:27:30 +00001421 unsigned AbiVariant = Obj.getPlatformFlags();
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001422 AbiVariant &= ELF::EF_PPC64_ABI;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001423 // A PPC branch relocation will need a stub function if the target is
Ulrich Weigandfe9fcb82017-05-23 17:03:23 +00001424 // an external symbol (either Value.SymbolName is set, or SymType is
1425 // Symbol::ST_Unknown) or if the target address is not within the
1426 // signed 24-bits branch address.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001427 SectionEntry &Section = Sections[SectionID];
Sanjoy Das277776a2015-11-23 21:47:41 +00001428 uint8_t *Target = Section.getAddressWithOffset(Offset);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001429 bool RangeOverflow = false;
Lang Hames7a598472018-04-05 19:37:05 +00001430 bool IsExtern = Value.SymbolName || SymType == SymbolRef::ST_Unknown;
1431 if (!IsExtern) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001432 if (AbiVariant != 2) {
1433 // In the ELFv1 ABI, a function call may point to the .opd entry,
1434 // so the final symbol value is calculated based on the relocation
1435 // values in the .opd section.
Lang Hamesf88174d2016-04-27 22:54:03 +00001436 if (auto Err = findOPDEntrySection(Obj, ObjSectionToID, Value))
1437 return std::move(Err);
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001438 } else {
1439 // In the ELFv2 ABI, a function symbol may provide a local entry
1440 // point, which must be used for direct calls.
Lang Hames7a598472018-04-05 19:37:05 +00001441 if (Value.SectionID == SectionID){
1442 uint8_t SymOther = Symbol->getOther();
1443 Value.Addend += ELF::decodePPC64LocalEntryOffset(SymOther);
1444 }
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001445 }
Sanjoy Das277776a2015-11-23 21:47:41 +00001446 uint8_t *RelocTarget =
1447 Sections[Value.SectionID].getAddressWithOffset(Value.Addend);
Ulrich Weigandb6d40cc2017-05-23 12:43:57 +00001448 int64_t delta = static_cast<int64_t>(Target - RelocTarget);
Ulrich Weigand36b86262015-11-17 20:08:31 +00001449 // If it is within 26-bits branch range, just set the branch target
Lang Hames7a598472018-04-05 19:37:05 +00001450 if (SignExtend64<26>(delta) != delta) {
1451 RangeOverflow = true;
1452 } else if ((AbiVariant != 2) ||
1453 (AbiVariant == 2 && Value.SectionID == SectionID)) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001454 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Ulrich Weigand7f02d672017-05-23 14:51:18 +00001455 addRelocationForSection(RE, Value.SectionID);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001456 }
1457 }
Lang Hames7a598472018-04-05 19:37:05 +00001458 if (IsExtern || (AbiVariant == 2 && Value.SectionID != SectionID) ||
Ulrich Weigandfe9fcb82017-05-23 17:03:23 +00001459 RangeOverflow) {
1460 // It is an external symbol (either Value.SymbolName is set, or
1461 // SymType is SymbolRef::ST_Unknown) or out of range.
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001462 StubMap::const_iterator i = Stubs.find(Value);
1463 if (i != Stubs.end()) {
1464 // Symbol function stub already created, just relocate to it
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001465 resolveRelocation(Section, Offset,
Sanjoy Das277776a2015-11-23 21:47:41 +00001466 reinterpret_cast<uint64_t>(
1467 Section.getAddressWithOffset(i->second)),
1468 RelType, 0);
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001469 LLVM_DEBUG(dbgs() << " Stub function found\n");
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001470 } else {
1471 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001472 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Sanjoy Das277776a2015-11-23 21:47:41 +00001473 Stubs[Value] = Section.getStubOffset();
1474 uint8_t *StubTargetAddr = createStubFunction(
1475 Section.getAddressWithOffset(Section.getStubOffset()),
1476 AbiVariant);
1477 RelocationEntry RE(SectionID, StubTargetAddr - Section.getAddress(),
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001478 ELF::R_PPC64_ADDR64, Value.Addend);
1479
1480 // Generates the 64-bits address loads as exemplified in section
Ulrich Weigand32626012014-06-20 18:17:56 +00001481 // 4.5.1 in PPC64 ELF ABI. Note that the relocations need to
1482 // apply to the low part of the instructions, so we have to update
1483 // the offset according to the target endianness.
Sanjoy Das277776a2015-11-23 21:47:41 +00001484 uint64_t StubRelocOffset = StubTargetAddr - Section.getAddress();
Ulrich Weigand32626012014-06-20 18:17:56 +00001485 if (!IsTargetLittleEndian)
1486 StubRelocOffset += 2;
1487
1488 RelocationEntry REhst(SectionID, StubRelocOffset + 0,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001489 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001490 RelocationEntry REhr(SectionID, StubRelocOffset + 4,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001491 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001492 RelocationEntry REh(SectionID, StubRelocOffset + 12,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001493 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001494 RelocationEntry REl(SectionID, StubRelocOffset + 16,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001495 ELF::R_PPC64_ADDR16_LO, Value.Addend);
1496
1497 if (Value.SymbolName) {
1498 addRelocationForSymbol(REhst, Value.SymbolName);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001499 addRelocationForSymbol(REhr, Value.SymbolName);
1500 addRelocationForSymbol(REh, Value.SymbolName);
1501 addRelocationForSymbol(REl, Value.SymbolName);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001502 } else {
1503 addRelocationForSection(REhst, Value.SectionID);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001504 addRelocationForSection(REhr, Value.SectionID);
1505 addRelocationForSection(REh, Value.SectionID);
1506 addRelocationForSection(REl, Value.SectionID);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001507 }
1508
Sanjoy Das277776a2015-11-23 21:47:41 +00001509 resolveRelocation(Section, Offset, reinterpret_cast<uint64_t>(
1510 Section.getAddressWithOffset(
1511 Section.getStubOffset())),
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001512 RelType, 0);
Sanjoy Das277776a2015-11-23 21:47:41 +00001513 Section.advanceStubOffset(getMaxStubSize());
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001514 }
Lang Hames7a598472018-04-05 19:37:05 +00001515 if (IsExtern || (AbiVariant == 2 && Value.SectionID != SectionID)) {
Ulrich Weigandfa84ac92014-03-11 15:26:27 +00001516 // Restore the TOC for external calls
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001517 if (AbiVariant == 2)
Lang Hames7a598472018-04-05 19:37:05 +00001518 writeInt32BE(Target + 4, 0xE8410018); // ld r2,24(r1)
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001519 else
1520 writeInt32BE(Target + 4, 0xE8410028); // ld r2,40(r1)
1521 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001522 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001523 } else if (RelType == ELF::R_PPC64_TOC16 ||
1524 RelType == ELF::R_PPC64_TOC16_DS ||
1525 RelType == ELF::R_PPC64_TOC16_LO ||
1526 RelType == ELF::R_PPC64_TOC16_LO_DS ||
1527 RelType == ELF::R_PPC64_TOC16_HI ||
1528 RelType == ELF::R_PPC64_TOC16_HA) {
1529 // These relocations are supposed to subtract the TOC address from
1530 // the final value. This does not fit cleanly into the RuntimeDyld
1531 // scheme, since there may be *two* sections involved in determining
Benjamin Kramerdf005cb2015-08-08 18:27:36 +00001532 // the relocation value (the section of the symbol referred to by the
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001533 // relocation, and the TOC section associated with the current module).
1534 //
1535 // Fortunately, these relocations are currently only ever generated
Benjamin Kramerdf005cb2015-08-08 18:27:36 +00001536 // referring to symbols that themselves reside in the TOC, which means
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001537 // that the two sections are actually the same. Thus they cancel out
1538 // and we can immediately resolve the relocation right now.
1539 switch (RelType) {
1540 case ELF::R_PPC64_TOC16: RelType = ELF::R_PPC64_ADDR16; break;
1541 case ELF::R_PPC64_TOC16_DS: RelType = ELF::R_PPC64_ADDR16_DS; break;
1542 case ELF::R_PPC64_TOC16_LO: RelType = ELF::R_PPC64_ADDR16_LO; break;
1543 case ELF::R_PPC64_TOC16_LO_DS: RelType = ELF::R_PPC64_ADDR16_LO_DS; break;
1544 case ELF::R_PPC64_TOC16_HI: RelType = ELF::R_PPC64_ADDR16_HI; break;
1545 case ELF::R_PPC64_TOC16_HA: RelType = ELF::R_PPC64_ADDR16_HA; break;
1546 default: llvm_unreachable("Wrong relocation type.");
1547 }
1548
1549 RelocationValueRef TOCValue;
Lang Hames09a74c42016-04-27 20:51:58 +00001550 if (auto Err = findPPC64TOCSection(Obj, ObjSectionToID, TOCValue))
1551 return std::move(Err);
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001552 if (Value.SymbolName || Value.SectionID != TOCValue.SectionID)
1553 llvm_unreachable("Unsupported TOC relocation.");
1554 Value.Addend -= TOCValue.Addend;
1555 resolveRelocation(Sections[SectionID], Offset, Value.Addend, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001556 } else {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001557 // There are two ways to refer to the TOC address directly: either
1558 // via a ELF::R_PPC64_TOC relocation (where both symbol and addend are
1559 // ignored), or via any relocation that refers to the magic ".TOC."
1560 // symbols (in which case the addend is respected).
1561 if (RelType == ELF::R_PPC64_TOC) {
1562 RelType = ELF::R_PPC64_ADDR64;
Lang Hames09a74c42016-04-27 20:51:58 +00001563 if (auto Err = findPPC64TOCSection(Obj, ObjSectionToID, Value))
1564 return std::move(Err);
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001565 } else if (TargetName == ".TOC.") {
Lang Hames09a74c42016-04-27 20:51:58 +00001566 if (auto Err = findPPC64TOCSection(Obj, ObjSectionToID, Value))
1567 return std::move(Err);
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001568 Value.Addend += Addend;
1569 }
1570
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001571 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Richard Mittonad6d3492013-08-16 18:54:26 +00001572
1573 if (Value.SymbolName)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001574 addRelocationForSymbol(RE, Value.SymbolName);
1575 else
1576 addRelocationForSection(RE, Value.SectionID);
1577 }
Richard Sandifordca044082013-05-03 14:15:35 +00001578 } else if (Arch == Triple::systemz &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001579 (RelType == ELF::R_390_PLT32DBL || RelType == ELF::R_390_GOTENT)) {
Richard Sandifordca044082013-05-03 14:15:35 +00001580 // Create function stubs for both PLT and GOT references, regardless of
1581 // whether the GOT reference is to data or code. The stub contains the
1582 // full address of the symbol, as needed by GOT references, and the
1583 // executable part only adds an overhead of 8 bytes.
1584 //
1585 // We could try to conserve space by allocating the code and data
1586 // parts of the stub separately. However, as things stand, we allocate
1587 // a stub for every relocation, so using a GOT in JIT code should be
1588 // no less space efficient than using an explicit constant pool.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001589 LLVM_DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
Richard Sandifordca044082013-05-03 14:15:35 +00001590 SectionEntry &Section = Sections[SectionID];
1591
1592 // Look for an existing stub.
1593 StubMap::const_iterator i = Stubs.find(Value);
1594 uintptr_t StubAddress;
1595 if (i != Stubs.end()) {
Sanjoy Das277776a2015-11-23 21:47:41 +00001596 StubAddress = uintptr_t(Section.getAddressWithOffset(i->second));
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001597 LLVM_DEBUG(dbgs() << " Stub function found\n");
Richard Sandifordca044082013-05-03 14:15:35 +00001598 } else {
1599 // Create a new stub function.
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001600 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Richard Sandifordca044082013-05-03 14:15:35 +00001601
Sanjoy Das277776a2015-11-23 21:47:41 +00001602 uintptr_t BaseAddress = uintptr_t(Section.getAddress());
Richard Sandifordca044082013-05-03 14:15:35 +00001603 uintptr_t StubAlignment = getStubAlignment();
Sanjoy Das277776a2015-11-23 21:47:41 +00001604 StubAddress =
1605 (BaseAddress + Section.getStubOffset() + StubAlignment - 1) &
1606 -StubAlignment;
Richard Sandifordca044082013-05-03 14:15:35 +00001607 unsigned StubOffset = StubAddress - BaseAddress;
1608
1609 Stubs[Value] = StubOffset;
1610 createStubFunction((uint8_t *)StubAddress);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001611 RelocationEntry RE(SectionID, StubOffset + 8, ELF::R_390_64,
Lang Hames40e200e2014-08-25 23:33:48 +00001612 Value.Offset);
Richard Sandifordca044082013-05-03 14:15:35 +00001613 if (Value.SymbolName)
1614 addRelocationForSymbol(RE, Value.SymbolName);
1615 else
1616 addRelocationForSection(RE, Value.SectionID);
Sanjoy Das277776a2015-11-23 21:47:41 +00001617 Section.advanceStubOffset(getMaxStubSize());
Richard Sandifordca044082013-05-03 14:15:35 +00001618 }
1619
1620 if (RelType == ELF::R_390_GOTENT)
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001621 resolveRelocation(Section, Offset, StubAddress + 8, ELF::R_390_PC32DBL,
1622 Addend);
Richard Sandifordca044082013-05-03 14:15:35 +00001623 else
1624 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001625 } else if (Arch == Triple::x86_64) {
1626 if (RelType == ELF::R_X86_64_PLT32) {
1627 // The way the PLT relocations normally work is that the linker allocates
1628 // the
1629 // PLT and this relocation makes a PC-relative call into the PLT. The PLT
1630 // entry will then jump to an address provided by the GOT. On first call,
1631 // the
1632 // GOT address will point back into PLT code that resolves the symbol. After
1633 // the first call, the GOT entry points to the actual function.
1634 //
1635 // For local functions we're ignoring all of that here and just replacing
1636 // the PLT32 relocation type with PC32, which will translate the relocation
1637 // into a PC-relative call directly to the function. For external symbols we
1638 // can't be sure the function will be within 2^32 bytes of the call site, so
1639 // we need to create a stub, which calls into the GOT. This case is
1640 // equivalent to the usual PLT implementation except that we use the stub
1641 // mechanism in RuntimeDyld (which puts stubs at the end of the section)
1642 // rather than allocating a PLT section.
1643 if (Value.SymbolName) {
1644 // This is a call to an external function.
1645 // Look for an existing stub.
1646 SectionEntry &Section = Sections[SectionID];
1647 StubMap::const_iterator i = Stubs.find(Value);
1648 uintptr_t StubAddress;
1649 if (i != Stubs.end()) {
Sanjoy Das277776a2015-11-23 21:47:41 +00001650 StubAddress = uintptr_t(Section.getAddress()) + i->second;
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001651 LLVM_DEBUG(dbgs() << " Stub function found\n");
Keno Fischere6892c82015-05-01 20:21:45 +00001652 } else {
Sanjoy Das06f9a272015-11-14 00:16:15 +00001653 // Create a new stub function (equivalent to a PLT entry).
Nicola Zaghend34e60c2018-05-14 12:53:11 +00001654 LLVM_DEBUG(dbgs() << " Create a new stub function\n");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001655
Sanjoy Das277776a2015-11-23 21:47:41 +00001656 uintptr_t BaseAddress = uintptr_t(Section.getAddress());
Sanjoy Das06f9a272015-11-14 00:16:15 +00001657 uintptr_t StubAlignment = getStubAlignment();
Sanjoy Das277776a2015-11-23 21:47:41 +00001658 StubAddress =
1659 (BaseAddress + Section.getStubOffset() + StubAlignment - 1) &
1660 -StubAlignment;
Sanjoy Das06f9a272015-11-14 00:16:15 +00001661 unsigned StubOffset = StubAddress - BaseAddress;
1662 Stubs[Value] = StubOffset;
1663 createStubFunction((uint8_t *)StubAddress);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001664
Sanjoy Das06f9a272015-11-14 00:16:15 +00001665 // Bump our stub offset counter
Sanjoy Das277776a2015-11-23 21:47:41 +00001666 Section.advanceStubOffset(getMaxStubSize());
Keno Fischer02628de2015-04-14 02:10:35 +00001667
Sanjoy Das06f9a272015-11-14 00:16:15 +00001668 // Allocate a GOT Entry
Eugene Leviant3e582c82017-02-06 15:31:28 +00001669 uint64_t GOTOffset = allocateGOTEntries(1);
Keno Fischer02628de2015-04-14 02:10:35 +00001670
Sanjoy Das06f9a272015-11-14 00:16:15 +00001671 // The load of the GOT address has an addend of -4
Eugene Leviant3e582c82017-02-06 15:31:28 +00001672 resolveGOTOffsetRelocation(SectionID, StubOffset + 2, GOTOffset - 4,
1673 ELF::R_X86_64_PC32);
Keno Fischer02628de2015-04-14 02:10:35 +00001674
Sanjoy Das06f9a272015-11-14 00:16:15 +00001675 // Fill in the value of the symbol we're targeting into the GOT
1676 addRelocationForSymbol(
Eugene Leviant3e582c82017-02-06 15:31:28 +00001677 computeGOTOffsetRE(GOTOffset, 0, ELF::R_X86_64_64),
Sanjoy Das06f9a272015-11-14 00:16:15 +00001678 Value.SymbolName);
Keno Fischere6892c82015-05-01 20:21:45 +00001679 }
1680
1681 // Make the target call a call into the stub table.
1682 resolveRelocation(Section, Offset, StubAddress, ELF::R_X86_64_PC32,
Sanjoy Das06f9a272015-11-14 00:16:15 +00001683 Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001684 } else {
1685 RelocationEntry RE(SectionID, Offset, ELF::R_X86_64_PC32, Value.Addend,
1686 Value.Offset);
1687 addRelocationForSection(RE, Value.SectionID);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001688 }
Davide Italianocefdf232016-04-24 01:36:37 +00001689 } else if (RelType == ELF::R_X86_64_GOTPCREL ||
1690 RelType == ELF::R_X86_64_GOTPCRELX ||
1691 RelType == ELF::R_X86_64_REX_GOTPCRELX) {
Eugene Leviant3e582c82017-02-06 15:31:28 +00001692 uint64_t GOTOffset = allocateGOTEntries(1);
1693 resolveGOTOffsetRelocation(SectionID, Offset, GOTOffset + Addend,
1694 ELF::R_X86_64_PC32);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001695
Keno Fischere6892c82015-05-01 20:21:45 +00001696 // Fill in the value of the symbol we're targeting into the GOT
Eugene Leviant3e582c82017-02-06 15:31:28 +00001697 RelocationEntry RE =
1698 computeGOTOffsetRE(GOTOffset, Value.Offset, ELF::R_X86_64_64);
Keno Fischere6892c82015-05-01 20:21:45 +00001699 if (Value.SymbolName)
1700 addRelocationForSymbol(RE, Value.SymbolName);
1701 else
1702 addRelocationForSection(RE, Value.SectionID);
1703 } else if (RelType == ELF::R_X86_64_PC32) {
1704 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1705 processSimpleRelocation(SectionID, Offset, RelType, Value);
1706 } else if (RelType == ELF::R_X86_64_PC64) {
1707 Value.Addend += support::ulittle64_t::ref(computePlaceholderAddress(SectionID, Offset));
1708 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001709 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001710 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001711 }
Eli Bendersky667b8792012-05-01 10:41:12 +00001712 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001713 if (Arch == Triple::x86) {
1714 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1715 }
1716 processSimpleRelocation(SectionID, Offset, RelType, Value);
Eli Bendersky667b8792012-05-01 10:41:12 +00001717 }
Juergen Ributzka046709f2014-03-21 07:26:41 +00001718 return ++RelI;
Jim Grosbacheff0a402012-01-16 22:26:39 +00001719}
1720
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001721size_t RuntimeDyldELF::getGOTEntrySize() {
1722 // We don't use the GOT in all of these cases, but it's essentially free
1723 // to put them all here.
1724 size_t Result = 0;
1725 switch (Arch) {
1726 case Triple::x86_64:
1727 case Triple::aarch64:
James Molloybd2ffa02014-04-30 10:15:41 +00001728 case Triple::aarch64_be:
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001729 case Triple::ppc64:
1730 case Triple::ppc64le:
1731 case Triple::systemz:
1732 Result = sizeof(uint64_t);
1733 break;
1734 case Triple::x86:
1735 case Triple::arm:
1736 case Triple::thumb:
Petar Jovanovic97202832015-05-28 13:48:41 +00001737 Result = sizeof(uint32_t);
1738 break;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001739 case Triple::mips:
1740 case Triple::mipsel:
Petar Jovanovic97202832015-05-28 13:48:41 +00001741 case Triple::mips64:
1742 case Triple::mips64el:
Simon Dardis226752c2016-10-20 13:02:23 +00001743 if (IsMipsO32ABI || IsMipsN32ABI)
Petar Jovanovic97202832015-05-28 13:48:41 +00001744 Result = sizeof(uint32_t);
1745 else if (IsMipsN64ABI)
1746 Result = sizeof(uint64_t);
1747 else
1748 llvm_unreachable("Mips ABI not handled");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001749 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001750 default:
1751 llvm_unreachable("Unsupported CPU type!");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001752 }
1753 return Result;
1754}
1755
Eugene Leviant3e582c82017-02-06 15:31:28 +00001756uint64_t RuntimeDyldELF::allocateGOTEntries(unsigned no) {
Keno Fischer02628de2015-04-14 02:10:35 +00001757 if (GOTSectionID == 0) {
1758 GOTSectionID = Sections.size();
1759 // Reserve a section id. We'll allocate the section later
1760 // once we know the total size
Sanjoy Das80825922015-11-23 21:47:46 +00001761 Sections.push_back(SectionEntry(".got", nullptr, 0, 0, 0));
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001762 }
Keno Fischer02628de2015-04-14 02:10:35 +00001763 uint64_t StartOffset = CurrentGOTIndex * getGOTEntrySize();
1764 CurrentGOTIndex += no;
1765 return StartOffset;
1766}
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001767
Eugene Leviant3e582c82017-02-06 15:31:28 +00001768uint64_t RuntimeDyldELF::findOrAllocGOTEntry(const RelocationValueRef &Value,
1769 unsigned GOTRelType) {
1770 auto E = GOTOffsetMap.insert({Value, 0});
1771 if (E.second) {
1772 uint64_t GOTOffset = allocateGOTEntries(1);
1773
1774 // Create relocation for newly created GOT entry
1775 RelocationEntry RE =
1776 computeGOTOffsetRE(GOTOffset, Value.Offset, GOTRelType);
1777 if (Value.SymbolName)
1778 addRelocationForSymbol(RE, Value.SymbolName);
1779 else
1780 addRelocationForSection(RE, Value.SectionID);
1781
1782 E.first->second = GOTOffset;
1783 }
1784
1785 return E.first->second;
1786}
1787
1788void RuntimeDyldELF::resolveGOTOffsetRelocation(unsigned SectionID,
1789 uint64_t Offset,
1790 uint64_t GOTOffset,
1791 uint32_t Type) {
Keno Fischer02628de2015-04-14 02:10:35 +00001792 // Fill in the relative address of the GOT Entry into the stub
Eugene Leviant3e582c82017-02-06 15:31:28 +00001793 RelocationEntry GOTRE(SectionID, Offset, Type, GOTOffset);
Keno Fischer02628de2015-04-14 02:10:35 +00001794 addRelocationForSection(GOTRE, GOTSectionID);
1795}
1796
Eugene Leviant3e582c82017-02-06 15:31:28 +00001797RelocationEntry RuntimeDyldELF::computeGOTOffsetRE(uint64_t GOTOffset,
1798 uint64_t SymbolOffset,
1799 uint32_t Type) {
Keno Fischer02628de2015-04-14 02:10:35 +00001800 return RelocationEntry(GOTSectionID, GOTOffset, Type, SymbolOffset);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001801}
1802
Lang Hames89595312016-04-27 20:24:48 +00001803Error RuntimeDyldELF::finalizeLoad(const ObjectFile &Obj,
Lang Hames36072da2014-05-12 21:39:59 +00001804 ObjSectionToIDMap &SectionMap) {
Petar Jovanovicd22164d2015-08-13 15:12:49 +00001805 if (IsMipsO32ABI)
1806 if (!PendingRelocs.empty())
Lang Hames89595312016-04-27 20:24:48 +00001807 return make_error<RuntimeDyldError>("Can't find matching LO16 reloc");
Petar Jovanovicd22164d2015-08-13 15:12:49 +00001808
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001809 // If necessary, allocate the global offset table
Keno Fischer02628de2015-04-14 02:10:35 +00001810 if (GOTSectionID != 0) {
Lang Hames633fe142015-03-30 03:37:06 +00001811 // Allocate memory for the section
Keno Fischer02628de2015-04-14 02:10:35 +00001812 size_t TotalSize = CurrentGOTIndex * getGOTEntrySize();
Lang Hames633fe142015-03-30 03:37:06 +00001813 uint8_t *Addr = MemMgr.allocateDataSection(TotalSize, getGOTEntrySize(),
Keno Fischer02628de2015-04-14 02:10:35 +00001814 GOTSectionID, ".got", false);
Lang Hames633fe142015-03-30 03:37:06 +00001815 if (!Addr)
Lang Hames89595312016-04-27 20:24:48 +00001816 return make_error<RuntimeDyldError>("Unable to allocate memory for GOT!");
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001817
Sanjoy Das80825922015-11-23 21:47:46 +00001818 Sections[GOTSectionID] =
1819 SectionEntry(".got", Addr, TotalSize, TotalSize, 0);
Keno Fischer02628de2015-04-14 02:10:35 +00001820
1821 if (Checker)
1822 Checker->registerSection(Obj.getFileName(), GOTSectionID);
1823
Lang Hames633fe142015-03-30 03:37:06 +00001824 // For now, initialize all GOT entries to zero. We'll fill them in as
1825 // needed when GOT-based relocations are applied.
1826 memset(Addr, 0, TotalSize);
Simon Dardis226752c2016-10-20 13:02:23 +00001827 if (IsMipsN32ABI || IsMipsN64ABI) {
Petar Jovanovic97202832015-05-28 13:48:41 +00001828 // To correctly resolve Mips GOT relocations, we need a mapping from
1829 // object's sections to GOTs.
1830 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
1831 SI != SE; ++SI) {
1832 if (SI->relocation_begin() != SI->relocation_end()) {
1833 section_iterator RelocatedSection = SI->getRelocatedSection();
1834 ObjSectionToIDMap::iterator i = SectionMap.find(*RelocatedSection);
1835 assert (i != SectionMap.end());
1836 SectionToGOTMap[i->second] = GOTSectionID;
1837 }
1838 }
1839 GOTSymbolOffsets.clear();
1840 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001841 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001842
1843 // Look for and record the EH frame section.
1844 ObjSectionToIDMap::iterator i, e;
1845 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
1846 const SectionRef &Section = i->first;
1847 StringRef Name;
1848 Section.getName(Name);
1849 if (Name == ".eh_frame") {
1850 UnregisteredEHFrameSections.push_back(i->second);
1851 break;
1852 }
1853 }
Keno Fischer02628de2015-04-14 02:10:35 +00001854
1855 GOTSectionID = 0;
1856 CurrentGOTIndex = 0;
Lang Hames89595312016-04-27 20:24:48 +00001857
1858 return Error::success();
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001859}
1860
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001861bool RuntimeDyldELF::isCompatibleFile(const object::ObjectFile &Obj) const {
1862 return Obj.isELF();
Lang Hames173c69f2014-01-08 04:09:09 +00001863}
1864
Eugene Leviant3e582c82017-02-06 15:31:28 +00001865bool RuntimeDyldELF::relocationNeedsGot(const RelocationRef &R) const {
1866 unsigned RelTy = R.getType();
1867 if (Arch == Triple::aarch64 || Arch == Triple::aarch64_be)
1868 return RelTy == ELF::R_AARCH64_ADR_GOT_PAGE ||
1869 RelTy == ELF::R_AARCH64_LD64_GOT_LO12_NC;
1870
1871 if (Arch == Triple::x86_64)
1872 return RelTy == ELF::R_X86_64_GOTPCREL ||
1873 RelTy == ELF::R_X86_64_GOTPCRELX ||
1874 RelTy == ELF::R_X86_64_REX_GOTPCRELX;
1875 return false;
1876}
1877
Sanjoy Dasd5658b02015-11-23 21:47:51 +00001878bool RuntimeDyldELF::relocationNeedsStub(const RelocationRef &R) const {
1879 if (Arch != Triple::x86_64)
1880 return true; // Conservative answer
1881
1882 switch (R.getType()) {
1883 default:
1884 return true; // Conservative answer
1885
1886
1887 case ELF::R_X86_64_GOTPCREL:
Davide Italianocefdf232016-04-24 01:36:37 +00001888 case ELF::R_X86_64_GOTPCRELX:
1889 case ELF::R_X86_64_REX_GOTPCRELX:
Sanjoy Dasd5658b02015-11-23 21:47:51 +00001890 case ELF::R_X86_64_PC32:
1891 case ELF::R_X86_64_PC64:
1892 case ELF::R_X86_64_64:
1893 // We know that these reloation types won't need a stub function. This list
1894 // can be extended as needed.
1895 return false;
1896 }
1897}
1898
Eli Bendersky4c647582012-01-16 08:56:09 +00001899} // namespace llvm