blob: 720b7b22933e3306b38b7d82eecad5c4a80e523f [file] [log] [blame]
Jim Grosbach06594e12012-01-16 23:50:58 +00001//===-- RuntimeDyldELF.cpp - Run-time dynamic linker for MC-JIT -*- C++ -*-===//
Eli Bendersky4c647582012-01-16 08:56:09 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Implementation of ELF support for the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
Andrew Kayloradc70562012-10-02 21:18:39 +000014#include "RuntimeDyldELF.h"
Keno Fischer02628de2015-04-14 02:10:35 +000015#include "RuntimeDyldCheckerImpl.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000016#include "llvm/ADT/IntervalMap.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/StringRef.h"
Eli Bendersky4c647582012-01-16 08:56:09 +000019#include "llvm/ADT/Triple.h"
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000020#include "llvm/MC/MCStreamer.h"
Michael J. Spencer126973b2013-08-08 22:27:13 +000021#include "llvm/Object/ELFObjectFile.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000022#include "llvm/Object/ObjectFile.h"
23#include "llvm/Support/ELF.h"
Alexey Samsonova8d2f812014-08-27 23:06:08 +000024#include "llvm/Support/Endian.h"
Lang Hames173c69f2014-01-08 04:09:09 +000025#include "llvm/Support/MemoryBuffer.h"
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000026#include "llvm/Support/TargetRegistry.h"
Lang Hames173c69f2014-01-08 04:09:09 +000027
Eli Bendersky4c647582012-01-16 08:56:09 +000028using namespace llvm;
29using namespace llvm::object;
30
Chandler Carruthf58e3762014-04-22 03:04:17 +000031#define DEBUG_TYPE "dyld"
32
Rafael Espindoladb4ed0b2014-06-13 02:24:39 +000033static inline std::error_code check(std::error_code Err) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +000034 if (Err) {
35 report_fatal_error(Err.message());
36 }
37 return Err;
38}
39
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000040namespace {
41
Juergen Ributzka7608dc02014-03-21 20:28:42 +000042template <class ELFT> class DyldELFObject : public ELFObjectFile<ELFT> {
Rafael Espindola035b4162013-04-17 21:20:55 +000043 LLVM_ELF_IMPORT_TYPES_ELFT(ELFT)
Preston Gurdcc31af92012-04-16 22:12:58 +000044
Michael J. Spencer1a791612013-01-15 07:44:25 +000045 typedef Elf_Shdr_Impl<ELFT> Elf_Shdr;
46 typedef Elf_Sym_Impl<ELFT> Elf_Sym;
Juergen Ributzka7608dc02014-03-21 20:28:42 +000047 typedef Elf_Rel_Impl<ELFT, false> Elf_Rel;
48 typedef Elf_Rel_Impl<ELFT, true> Elf_Rela;
Preston Gurdcc31af92012-04-16 22:12:58 +000049
Michael J. Spencer1a791612013-01-15 07:44:25 +000050 typedef Elf_Ehdr_Impl<ELFT> Elf_Ehdr;
Preston Gurdcc31af92012-04-16 22:12:58 +000051
Juergen Ributzka7608dc02014-03-21 20:28:42 +000052 typedef typename ELFDataTypeTypedefHelper<ELFT>::value_type addr_type;
Preston Gurdcc31af92012-04-16 22:12:58 +000053
Preston Gurdcc31af92012-04-16 22:12:58 +000054public:
Rafael Espindola48af1c22014-08-19 18:44:46 +000055 DyldELFObject(MemoryBufferRef Wrapper, std::error_code &ec);
Preston Gurdcc31af92012-04-16 22:12:58 +000056
57 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr);
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000058
59 void updateSymbolAddress(const SymbolRef &SymRef, uint64_t Addr);
Preston Gurdcc31af92012-04-16 22:12:58 +000060
Andrew Kaylor5c010902012-07-27 17:52:42 +000061 // Methods for type inquiry through isa, cast and dyn_cast
Preston Gurdcc31af92012-04-16 22:12:58 +000062 static inline bool classof(const Binary *v) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +000063 return (isa<ELFObjectFile<ELFT>>(v) &&
64 classof(cast<ELFObjectFile<ELFT>>(v)));
Preston Gurdcc31af92012-04-16 22:12:58 +000065 }
Juergen Ributzka7608dc02014-03-21 20:28:42 +000066 static inline bool classof(const ELFObjectFile<ELFT> *v) {
Preston Gurdcc31af92012-04-16 22:12:58 +000067 return v->isDyldType();
68 }
Lang Hamesb5c7b1f2014-11-26 16:54:40 +000069
Preston Gurdcc31af92012-04-16 22:12:58 +000070};
71
Preston Gurdcc31af92012-04-16 22:12:58 +000072
Preston Gurdcc31af92012-04-16 22:12:58 +000073
Andrew Kayloradc70562012-10-02 21:18:39 +000074// The MemoryBuffer passed into this constructor is just a wrapper around the
75// actual memory. Ultimately, the Binary parent class will take ownership of
76// this MemoryBuffer object but not the underlying memory.
Juergen Ributzka7608dc02014-03-21 20:28:42 +000077template <class ELFT>
Rafael Espindola48af1c22014-08-19 18:44:46 +000078DyldELFObject<ELFT>::DyldELFObject(MemoryBufferRef Wrapper, std::error_code &EC)
79 : ELFObjectFile<ELFT>(Wrapper, EC) {
Preston Gurdcc31af92012-04-16 22:12:58 +000080 this->isDyldELFObject = true;
81}
82
Juergen Ributzka7608dc02014-03-21 20:28:42 +000083template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +000084void DyldELFObject<ELFT>::updateSectionAddress(const SectionRef &Sec,
85 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +000086 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
Juergen Ributzka7608dc02014-03-21 20:28:42 +000087 Elf_Shdr *shdr =
88 const_cast<Elf_Shdr *>(reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
Preston Gurdcc31af92012-04-16 22:12:58 +000089
90 // This assumes the address passed in matches the target address bitness
91 // The template-based type cast handles everything else.
92 shdr->sh_addr = static_cast<addr_type>(Addr);
93}
94
Juergen Ributzka7608dc02014-03-21 20:28:42 +000095template <class ELFT>
Michael J. Spencer1a791612013-01-15 07:44:25 +000096void DyldELFObject<ELFT>::updateSymbolAddress(const SymbolRef &SymRef,
97 uint64_t Addr) {
Preston Gurdcc31af92012-04-16 22:12:58 +000098
Juergen Ributzka7608dc02014-03-21 20:28:42 +000099 Elf_Sym *sym = const_cast<Elf_Sym *>(
100 ELFObjectFile<ELFT>::getSymbol(SymRef.getRawDataRefImpl()));
Preston Gurdcc31af92012-04-16 22:12:58 +0000101
102 // This assumes the address passed in matches the target address bitness
103 // The template-based type cast handles everything else.
104 sym->st_value = static_cast<addr_type>(Addr);
105}
106
NAKAMURA Takumi73dc2e42015-05-22 10:11:07 +0000107class LoadedELFObjectInfo
108 : public RuntimeDyld::LoadedObjectInfoHelper<LoadedELFObjectInfo> {
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000109public:
110 LoadedELFObjectInfo(RuntimeDyldImpl &RTDyld, unsigned BeginIdx,
111 unsigned EndIdx)
NAKAMURA Takumi73dc2e42015-05-22 10:11:07 +0000112 : LoadedObjectInfoHelper(RTDyld, BeginIdx, EndIdx) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000113
114 OwningBinary<ObjectFile>
115 getObjectForDebug(const ObjectFile &Obj) const override;
116};
117
118template <typename ELFT>
119std::unique_ptr<DyldELFObject<ELFT>>
120createRTDyldELFObject(MemoryBufferRef Buffer,
121 const LoadedELFObjectInfo &L,
122 std::error_code &ec) {
123 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
124 typedef typename ELFDataTypeTypedefHelper<ELFT>::value_type addr_type;
125
126 std::unique_ptr<DyldELFObject<ELFT>> Obj =
127 llvm::make_unique<DyldELFObject<ELFT>>(Buffer, ec);
128
129 // Iterate over all sections in the object.
130 for (const auto &Sec : Obj->sections()) {
131 StringRef SectionName;
132 Sec.getName(SectionName);
133 if (SectionName != "") {
134 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
135 Elf_Shdr *shdr = const_cast<Elf_Shdr *>(
136 reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
137
138 if (uint64_t SecLoadAddr = L.getSectionLoadAddress(SectionName)) {
139 // This assumes that the address passed in matches the target address
140 // bitness. The template-based type cast handles everything else.
141 shdr->sh_addr = static_cast<addr_type>(SecLoadAddr);
142 }
143 }
144 }
145
146 return Obj;
147}
148
149OwningBinary<ObjectFile> createELFDebugObject(const ObjectFile &Obj,
150 const LoadedELFObjectInfo &L) {
151 assert(Obj.isELF() && "Not an ELF object file.");
152
153 std::unique_ptr<MemoryBuffer> Buffer =
154 MemoryBuffer::getMemBufferCopy(Obj.getData(), Obj.getFileName());
155
156 std::error_code ec;
157
158 std::unique_ptr<ObjectFile> DebugObj;
159 if (Obj.getBytesInAddress() == 4 && Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000160 typedef ELFType<support::little, false> ELF32LE;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000161 DebugObj = createRTDyldELFObject<ELF32LE>(Buffer->getMemBufferRef(), L, ec);
162 } else if (Obj.getBytesInAddress() == 4 && !Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000163 typedef ELFType<support::big, false> ELF32BE;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000164 DebugObj = createRTDyldELFObject<ELF32BE>(Buffer->getMemBufferRef(), L, ec);
165 } else if (Obj.getBytesInAddress() == 8 && !Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000166 typedef ELFType<support::big, true> ELF64BE;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000167 DebugObj = createRTDyldELFObject<ELF64BE>(Buffer->getMemBufferRef(), L, ec);
168 } else if (Obj.getBytesInAddress() == 8 && Obj.isLittleEndian()) {
Rafael Espindolaac729b42015-06-02 12:05:27 +0000169 typedef ELFType<support::little, true> ELF64LE;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000170 DebugObj = createRTDyldELFObject<ELF64LE>(Buffer->getMemBufferRef(), L, ec);
171 } else
172 llvm_unreachable("Unexpected ELF format");
173
174 assert(!ec && "Could not construct copy ELF object file");
175
176 return OwningBinary<ObjectFile>(std::move(DebugObj), std::move(Buffer));
177}
178
179OwningBinary<ObjectFile>
180LoadedELFObjectInfo::getObjectForDebug(const ObjectFile &Obj) const {
181 return createELFDebugObject(Obj, *this);
182}
183
Preston Gurdcc31af92012-04-16 22:12:58 +0000184} // namespace
185
Eli Bendersky4c647582012-01-16 08:56:09 +0000186namespace llvm {
187
Lang Hames633fe142015-03-30 03:37:06 +0000188RuntimeDyldELF::RuntimeDyldELF(RuntimeDyld::MemoryManager &MemMgr,
189 RuntimeDyld::SymbolResolver &Resolver)
Keno Fischer02628de2015-04-14 02:10:35 +0000190 : RuntimeDyldImpl(MemMgr, Resolver), GOTSectionID(0), CurrentGOTIndex(0) {}
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000191RuntimeDyldELF::~RuntimeDyldELF() {}
192
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000193void RuntimeDyldELF::registerEHFrames() {
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000194 for (int i = 0, e = UnregisteredEHFrameSections.size(); i != e; ++i) {
195 SID EHFrameSID = UnregisteredEHFrameSections[i];
196 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
197 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
198 size_t EHFrameSize = Sections[EHFrameSID].Size;
Lang Hames633fe142015-03-30 03:37:06 +0000199 MemMgr.registerEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Andrew Kaylorc442a762013-10-16 00:14:21 +0000200 RegisteredEHFrameSections.push_back(EHFrameSID);
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000201 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +0000202 UnregisteredEHFrameSections.clear();
Rafael Espindolafa5942b2013-05-05 20:43:10 +0000203}
204
Andrew Kaylorc442a762013-10-16 00:14:21 +0000205void RuntimeDyldELF::deregisterEHFrames() {
Andrew Kaylorc442a762013-10-16 00:14:21 +0000206 for (int i = 0, e = RegisteredEHFrameSections.size(); i != e; ++i) {
207 SID EHFrameSID = RegisteredEHFrameSections[i];
208 uint8_t *EHFrameAddr = Sections[EHFrameSID].Address;
209 uint64_t EHFrameLoadAddr = Sections[EHFrameSID].LoadAddress;
210 size_t EHFrameSize = Sections[EHFrameSID].Size;
Lang Hames633fe142015-03-30 03:37:06 +0000211 MemMgr.deregisterEHFrames(EHFrameAddr, EHFrameLoadAddr, EHFrameSize);
Andrew Kaylorc442a762013-10-16 00:14:21 +0000212 }
213 RegisteredEHFrameSections.clear();
214}
215
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000216std::unique_ptr<RuntimeDyld::LoadedObjectInfo>
217RuntimeDyldELF::loadObject(const object::ObjectFile &O) {
218 unsigned SectionStartIdx, SectionEndIdx;
219 std::tie(SectionStartIdx, SectionEndIdx) = loadObjectImpl(O);
220 return llvm::make_unique<LoadedELFObjectInfo>(*this, SectionStartIdx,
221 SectionEndIdx);
Lang Hames173c69f2014-01-08 04:09:09 +0000222}
223
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000224void RuntimeDyldELF::resolveX86_64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000225 uint64_t Offset, uint64_t Value,
226 uint32_t Type, int64_t Addend,
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000227 uint64_t SymOffset) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000228 switch (Type) {
229 default:
230 llvm_unreachable("Relocation type not implemented yet!");
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000231 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000232 case ELF::R_X86_64_64: {
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000233 support::ulittle64_t::ref(Section.Address + Offset) = Value + Addend;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000234 DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend)) << " at "
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000235 << format("%p\n", Section.Address + Offset));
Eli Bendersky4c647582012-01-16 08:56:09 +0000236 break;
237 }
238 case ELF::R_X86_64_32:
239 case ELF::R_X86_64_32S: {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000240 Value += Addend;
Andrew Kaylor8e87a752012-07-27 20:30:12 +0000241 assert((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) ||
Michael J. Spencerbae14ce2013-01-04 20:36:28 +0000242 (Type == ELF::R_X86_64_32S &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000243 ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN)));
Eli Bendersky4c647582012-01-16 08:56:09 +0000244 uint32_t TruncatedAddr = (Value & 0xFFFFFFFF);
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000245 support::ulittle32_t::ref(Section.Address + Offset) = TruncatedAddr;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000246 DEBUG(dbgs() << "Writing " << format("%p", TruncatedAddr) << " at "
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000247 << format("%p\n", Section.Address + Offset));
Eli Bendersky4c647582012-01-16 08:56:09 +0000248 break;
249 }
250 case ELF::R_X86_64_PC32: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000251 uint64_t FinalAddress = Section.LoadAddress + Offset;
Keno Fischer02628de2015-04-14 02:10:35 +0000252 int64_t RealOffset = Value + Addend - FinalAddress;
David Majnemerdd9eafb2015-05-15 20:32:25 +0000253 assert(isInt<32>(RealOffset));
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000254 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000255 support::ulittle32_t::ref(Section.Address + Offset) = TruncOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000256 break;
257 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000258 case ELF::R_X86_64_PC64: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000259 uint64_t FinalAddress = Section.LoadAddress + Offset;
Keno Fischer02628de2015-04-14 02:10:35 +0000260 int64_t RealOffset = Value + Addend - FinalAddress;
Keno Fischer02628de2015-04-14 02:10:35 +0000261 support::ulittle64_t::ref(Section.Address + Offset) = RealOffset;
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000262 break;
263 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000264 }
265}
266
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000267void RuntimeDyldELF::resolveX86Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000268 uint64_t Offset, uint32_t Value,
269 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000270 switch (Type) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000271 case ELF::R_386_32: {
Keno Fischere6892c82015-05-01 20:21:45 +0000272 support::ulittle32_t::ref(Section.Address + Offset) = Value + Addend;
Eli Bendersky4c647582012-01-16 08:56:09 +0000273 break;
274 }
275 case ELF::R_386_PC32: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000276 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Keno Fischere6892c82015-05-01 20:21:45 +0000277 uint32_t RealOffset = Value + Addend - FinalAddress;
Alexey Samsonova8d2f812014-08-27 23:06:08 +0000278 support::ulittle32_t::ref(Section.Address + Offset) = RealOffset;
Eli Bendersky4c647582012-01-16 08:56:09 +0000279 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000280 }
281 default:
282 // There are other relocation types, but it appears these are the
283 // only ones currently used by the LLVM ELF object writer
284 llvm_unreachable("Relocation type not implemented yet!");
285 break;
Eli Bendersky4c647582012-01-16 08:56:09 +0000286 }
287}
288
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000289void RuntimeDyldELF::resolveAArch64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000290 uint64_t Offset, uint64_t Value,
291 uint32_t Type, int64_t Addend) {
292 uint32_t *TargetPtr = reinterpret_cast<uint32_t *>(Section.Address + Offset);
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000293 uint64_t FinalAddress = Section.LoadAddress + Offset;
294
295 DEBUG(dbgs() << "resolveAArch64Relocation, LocalAddress: 0x"
296 << format("%llx", Section.Address + Offset)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000297 << " FinalAddress: 0x" << format("%llx", FinalAddress)
298 << " Value: 0x" << format("%llx", Value) << " Type: 0x"
299 << format("%x", Type) << " Addend: 0x" << format("%llx", Addend)
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000300 << "\n");
301
302 switch (Type) {
303 default:
304 llvm_unreachable("Relocation type not implemented yet!");
305 break;
Tim Northoverb23d8db2013-05-04 20:14:14 +0000306 case ELF::R_AARCH64_ABS64: {
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000307 uint64_t *TargetPtr =
308 reinterpret_cast<uint64_t *>(Section.Address + Offset);
Tim Northoverb23d8db2013-05-04 20:14:14 +0000309 *TargetPtr = Value + Addend;
310 break;
311 }
Tim Northover5959ea32013-05-19 15:39:03 +0000312 case ELF::R_AARCH64_PREL32: {
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000313 uint64_t Result = Value + Addend - FinalAddress;
Michael J. Spencer126973b2013-08-08 22:27:13 +0000314 assert(static_cast<int64_t>(Result) >= INT32_MIN &&
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000315 static_cast<int64_t>(Result) <= UINT32_MAX);
316 *TargetPtr = static_cast<uint32_t>(Result & 0xffffffffU);
317 break;
318 }
Tim Northover37cde972013-05-04 20:14:09 +0000319 case ELF::R_AARCH64_CALL26: // fallthrough
320 case ELF::R_AARCH64_JUMP26: {
321 // Operation: S+A-P. Set Call or B immediate value to bits fff_fffc of the
322 // calculation.
323 uint64_t BranchImm = Value + Addend - FinalAddress;
324
325 // "Check that -2^27 <= result < 2^27".
David Majnemerdd9eafb2015-05-15 20:32:25 +0000326 assert(isInt<28>(BranchImm));
Tim Northover5959ea32013-05-19 15:39:03 +0000327
328 // AArch64 code is emitted with .rela relocations. The data already in any
329 // bits affected by the relocation on entry is garbage.
330 *TargetPtr &= 0xfc000000U;
Tim Northover37cde972013-05-04 20:14:09 +0000331 // Immediate goes in bits 25:0 of B and BL.
332 *TargetPtr |= static_cast<uint32_t>(BranchImm & 0xffffffcU) >> 2;
333 break;
334 }
Tim Northover4d01c1e2013-05-04 20:14:04 +0000335 case ELF::R_AARCH64_MOVW_UABS_G3: {
336 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000337
338 // AArch64 code is emitted with .rela relocations. The data already in any
339 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000340 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000341 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
342 *TargetPtr |= Result >> (48 - 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000343 // Shift must be "lsl #48", in bits 22:21
344 assert((*TargetPtr >> 21 & 0x3) == 3 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000345 break;
346 }
347 case ELF::R_AARCH64_MOVW_UABS_G2_NC: {
348 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000349
Tim Northover5959ea32013-05-19 15:39:03 +0000350 // AArch64 code is emitted with .rela relocations. The data already in any
351 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000352 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000353 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
354 *TargetPtr |= ((Result & 0xffff00000000ULL) >> (32 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000355 // Shift must be "lsl #32", in bits 22:21
356 assert((*TargetPtr >> 21 & 0x3) == 2 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000357 break;
358 }
359 case ELF::R_AARCH64_MOVW_UABS_G1_NC: {
360 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000361
362 // AArch64 code is emitted with .rela relocations. The data already in any
363 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000364 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000365 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
366 *TargetPtr |= ((Result & 0xffff0000U) >> (16 - 5));
Tim Northover8625fd82013-07-01 19:23:10 +0000367 // Shift must be "lsl #16", in bits 22:2
368 assert((*TargetPtr >> 21 & 0x3) == 1 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000369 break;
370 }
371 case ELF::R_AARCH64_MOVW_UABS_G0_NC: {
372 uint64_t Result = Value + Addend;
Tim Northover5959ea32013-05-19 15:39:03 +0000373
374 // AArch64 code is emitted with .rela relocations. The data already in any
375 // bits affected by the relocation on entry is garbage.
Tim Northoverca8a0072013-07-25 12:42:52 +0000376 *TargetPtr &= 0xffe0001fU;
Tim Northover4d01c1e2013-05-04 20:14:04 +0000377 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
378 *TargetPtr |= ((Result & 0xffffU) << 5);
Tim Northover8625fd82013-07-01 19:23:10 +0000379 // Shift must be "lsl #0", in bits 22:21.
380 assert((*TargetPtr >> 21 & 0x3) == 0 && "invalid shift for relocation");
Tim Northover4d01c1e2013-05-04 20:14:04 +0000381 break;
382 }
Bradley Smith9d808492014-02-11 12:59:09 +0000383 case ELF::R_AARCH64_ADR_PREL_PG_HI21: {
384 // Operation: Page(S+A) - Page(P)
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000385 uint64_t Result =
386 ((Value + Addend) & ~0xfffULL) - (FinalAddress & ~0xfffULL);
Bradley Smith9d808492014-02-11 12:59:09 +0000387
388 // Check that -2^32 <= X < 2^32
David Majnemerdd9eafb2015-05-15 20:32:25 +0000389 assert(isInt<33>(Result) && "overflow check failed for relocation");
Bradley Smith9d808492014-02-11 12:59:09 +0000390
391 // AArch64 code is emitted with .rela relocations. The data already in any
392 // bits affected by the relocation on entry is garbage.
393 *TargetPtr &= 0x9f00001fU;
394 // Immediate goes in bits 30:29 + 5:23 of ADRP instruction, taken
395 // from bits 32:12 of X.
396 *TargetPtr |= ((Result & 0x3000U) << (29 - 12));
397 *TargetPtr |= ((Result & 0x1ffffc000ULL) >> (14 - 5));
398 break;
399 }
400 case ELF::R_AARCH64_LDST32_ABS_LO12_NC: {
401 // Operation: S + A
402 uint64_t Result = Value + Addend;
403
404 // AArch64 code is emitted with .rela relocations. The data already in any
405 // bits affected by the relocation on entry is garbage.
406 *TargetPtr &= 0xffc003ffU;
407 // Immediate goes in bits 21:10 of LD/ST instruction, taken
408 // from bits 11:2 of X
409 *TargetPtr |= ((Result & 0xffc) << (10 - 2));
410 break;
411 }
412 case ELF::R_AARCH64_LDST64_ABS_LO12_NC: {
413 // Operation: S + A
414 uint64_t Result = Value + Addend;
415
416 // AArch64 code is emitted with .rela relocations. The data already in any
417 // bits affected by the relocation on entry is garbage.
418 *TargetPtr &= 0xffc003ffU;
419 // Immediate goes in bits 21:10 of LD/ST instruction, taken
420 // from bits 11:3 of X
421 *TargetPtr |= ((Result & 0xff8) << (10 - 3));
422 break;
423 }
Tim Northoverfa1b2f82013-05-04 20:13:59 +0000424 }
425}
426
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000427void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000428 uint64_t Offset, uint32_t Value,
429 uint32_t Type, int32_t Addend) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000430 // TODO: Add Thumb relocations.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000431 uint32_t *TargetPtr = (uint32_t *)(Section.Address + Offset);
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000432 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000433 Value += Addend;
434
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000435 DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
436 << Section.Address + Offset
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000437 << " FinalAddress: " << format("%p", FinalAddress) << " Value: "
438 << format("%x", Value) << " Type: " << format("%x", Type)
439 << " Addend: " << format("%x", Addend) << "\n");
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000440
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000441 switch (Type) {
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000442 default:
443 llvm_unreachable("Not implemented relocation type!");
444
Renato Golin8cea6e82014-01-29 11:50:56 +0000445 case ELF::R_ARM_NONE:
446 break;
Renato Golin8cea6e82014-01-29 11:50:56 +0000447 case ELF::R_ARM_PREL31:
Tim Northover3b684d82013-05-28 19:48:19 +0000448 case ELF::R_ARM_TARGET1:
449 case ELF::R_ARM_ABS32:
Keno Fischere6892c82015-05-01 20:21:45 +0000450 *TargetPtr = Value;
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000451 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000452 // Write first 16 bit of 32 bit value to the mov instruction.
453 // Last 4 bit should be shifted.
Tim Northover3b684d82013-05-28 19:48:19 +0000454 case ELF::R_ARM_MOVW_ABS_NC:
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000455 case ELF::R_ARM_MOVT_ABS:
Keno Fischere6892c82015-05-01 20:21:45 +0000456 if (Type == ELF::R_ARM_MOVW_ABS_NC)
457 Value = Value & 0xFFFF;
458 else if (Type == ELF::R_ARM_MOVT_ABS)
459 Value = (Value >> 16) & 0xFFFF;
460 *TargetPtr &= ~0x000F0FFF;
461 *TargetPtr |= Value & 0xFFF;
Pavel Labath3b8f3ad2015-04-16 08:58:15 +0000462 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
463 break;
Keno Fischere6892c82015-05-01 20:21:45 +0000464 // Write 24 bit relative value to the branch instruction.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000465 case ELF::R_ARM_PC24: // Fall through.
466 case ELF::R_ARM_CALL: // Fall through.
Keno Fischere6892c82015-05-01 20:21:45 +0000467 case ELF::R_ARM_JUMP24:
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000468 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
469 RelValue = (RelValue & 0x03FFFFFC) >> 2;
Tim Northover3b684d82013-05-28 19:48:19 +0000470 assert((*TargetPtr & 0xFFFFFF) == 0xFFFFFE);
Danil Malyshev70d22cc2012-03-30 16:45:19 +0000471 *TargetPtr &= 0xFF000000;
472 *TargetPtr |= RelValue;
473 break;
474 }
Eli Bendersky4c647582012-01-16 08:56:09 +0000475}
476
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000477void RuntimeDyldELF::resolveMIPSRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000478 uint64_t Offset, uint32_t Value,
479 uint32_t Type, int32_t Addend) {
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000480 uint8_t *TargetPtr = Section.Address + Offset;
Akira Hatanaka111174b2012-08-17 21:28:04 +0000481 Value += Addend;
482
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000483 DEBUG(dbgs() << "resolveMIPSRelocation, LocalAddress: "
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000484 << Section.Address + Offset << " FinalAddress: "
485 << format("%p", Section.LoadAddress + Offset) << " Value: "
486 << format("%x", Value) << " Type: " << format("%x", Type)
487 << " Addend: " << format("%x", Addend) << "\n");
Akira Hatanaka111174b2012-08-17 21:28:04 +0000488
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000489 uint32_t Insn = readBytesUnaligned(TargetPtr, 4);
490
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000491 switch (Type) {
Akira Hatanaka111174b2012-08-17 21:28:04 +0000492 default:
493 llvm_unreachable("Not implemented relocation type!");
494 break;
495 case ELF::R_MIPS_32:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000496 writeBytesUnaligned(Value, TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000497 break;
498 case ELF::R_MIPS_26:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000499 Insn &= 0xfc000000;
500 Insn |= (Value & 0x0fffffff) >> 2;
501 writeBytesUnaligned(Insn, TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000502 break;
503 case ELF::R_MIPS_HI16:
504 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000505 Insn &= 0xffff0000;
506 Insn |= ((Value + 0x8000) >> 16) & 0xffff;
507 writeBytesUnaligned(Insn, TargetPtr, 4);
Akira Hatanaka2e236242013-07-24 01:58:40 +0000508 break;
509 case ELF::R_MIPS_LO16:
Daniel Sanders8b2354d2015-06-03 10:27:28 +0000510 Insn &= 0xffff0000;
511 Insn |= Value & 0xffff;
512 writeBytesUnaligned(Insn, TargetPtr, 4);
513 break;
514 case ELF::R_MIPS_PC32:
515 uint32_t FinalAddress = (Section.LoadAddress + Offset);
516 writeBytesUnaligned(Value + Addend - FinalAddress, (uint8_t *)TargetPtr, 4);
Akira Hatanaka111174b2012-08-17 21:28:04 +0000517 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000518 }
Akira Hatanaka111174b2012-08-17 21:28:04 +0000519}
520
Petar Jovanovic97202832015-05-28 13:48:41 +0000521void RuntimeDyldELF::setMipsABI(const ObjectFile &Obj) {
522 if (!StringRef(Triple::getArchTypePrefix(Arch)).equals("mips")) {
523 IsMipsO32ABI = false;
524 IsMipsN64ABI = false;
525 return;
526 }
527 unsigned AbiVariant;
528 Obj.getPlatformFlags(AbiVariant);
529 IsMipsO32ABI = AbiVariant & ELF::EF_MIPS_ABI_O32;
530 IsMipsN64ABI = Obj.getFileFormatName().equals("ELF64-mips");
531 if (AbiVariant & ELF::EF_MIPS_ABI2)
532 llvm_unreachable("Mips N32 ABI is not supported yet");
533}
534
535void RuntimeDyldELF::resolveMIPS64Relocation(const SectionEntry &Section,
536 uint64_t Offset, uint64_t Value,
537 uint32_t Type, int64_t Addend,
538 uint64_t SymOffset,
539 SID SectionID) {
540 uint32_t r_type = Type & 0xff;
541 uint32_t r_type2 = (Type >> 8) & 0xff;
542 uint32_t r_type3 = (Type >> 16) & 0xff;
543
544 // RelType is used to keep information for which relocation type we are
545 // applying relocation.
546 uint32_t RelType = r_type;
547 int64_t CalculatedValue = evaluateMIPS64Relocation(Section, Offset, Value,
548 RelType, Addend,
549 SymOffset, SectionID);
550 if (r_type2 != ELF::R_MIPS_NONE) {
551 RelType = r_type2;
552 CalculatedValue = evaluateMIPS64Relocation(Section, Offset, 0, RelType,
553 CalculatedValue, SymOffset,
554 SectionID);
555 }
556 if (r_type3 != ELF::R_MIPS_NONE) {
557 RelType = r_type3;
558 CalculatedValue = evaluateMIPS64Relocation(Section, Offset, 0, RelType,
559 CalculatedValue, SymOffset,
560 SectionID);
561 }
562 applyMIPS64Relocation(Section.Address + Offset, CalculatedValue, RelType);
563}
564
565int64_t
566RuntimeDyldELF::evaluateMIPS64Relocation(const SectionEntry &Section,
567 uint64_t Offset, uint64_t Value,
568 uint32_t Type, int64_t Addend,
569 uint64_t SymOffset, SID SectionID) {
570
571 DEBUG(dbgs() << "evaluateMIPS64Relocation, LocalAddress: 0x"
572 << format("%llx", Section.Address + Offset)
573 << " FinalAddress: 0x"
574 << format("%llx", Section.LoadAddress + Offset)
575 << " Value: 0x" << format("%llx", Value) << " Type: 0x"
576 << format("%x", Type) << " Addend: 0x" << format("%llx", Addend)
577 << " SymOffset: " << format("%x", SymOffset)
578 << "\n");
579
580 switch (Type) {
581 default:
582 llvm_unreachable("Not implemented relocation type!");
583 break;
584 case ELF::R_MIPS_JALR:
585 case ELF::R_MIPS_NONE:
586 break;
587 case ELF::R_MIPS_32:
588 case ELF::R_MIPS_64:
589 return Value + Addend;
590 case ELF::R_MIPS_26:
591 return ((Value + Addend) >> 2) & 0x3ffffff;
592 case ELF::R_MIPS_GPREL16: {
593 uint64_t GOTAddr = getSectionLoadAddress(SectionToGOTMap[SectionID]);
594 return Value + Addend - (GOTAddr + 0x7ff0);
595 }
596 case ELF::R_MIPS_SUB:
597 return Value - Addend;
598 case ELF::R_MIPS_HI16:
599 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
600 return ((Value + Addend + 0x8000) >> 16) & 0xffff;
601 case ELF::R_MIPS_LO16:
602 return (Value + Addend) & 0xffff;
603 case ELF::R_MIPS_CALL16:
604 case ELF::R_MIPS_GOT_DISP:
605 case ELF::R_MIPS_GOT_PAGE: {
606 uint8_t *LocalGOTAddr =
607 getSectionAddress(SectionToGOTMap[SectionID]) + SymOffset;
608 uint64_t GOTEntry = readBytesUnaligned(LocalGOTAddr, 8);
609
610 Value += Addend;
611 if (Type == ELF::R_MIPS_GOT_PAGE)
612 Value = (Value + 0x8000) & ~0xffff;
613
614 if (GOTEntry)
615 assert(GOTEntry == Value &&
616 "GOT entry has two different addresses.");
617 else
618 writeBytesUnaligned(Value, LocalGOTAddr, 8);
619
620 return (SymOffset - 0x7ff0) & 0xffff;
621 }
622 case ELF::R_MIPS_GOT_OFST: {
623 int64_t page = (Value + Addend + 0x8000) & ~0xffff;
624 return (Value + Addend - page) & 0xffff;
625 }
626 case ELF::R_MIPS_GPREL32: {
627 uint64_t GOTAddr = getSectionLoadAddress(SectionToGOTMap[SectionID]);
628 return Value + Addend - (GOTAddr + 0x7ff0);
629 }
630 case ELF::R_MIPS_PC16: {
631 uint64_t FinalAddress = (Section.LoadAddress + Offset);
632 return ((Value + Addend - FinalAddress - 4) >> 2) & 0xffff;
633 }
634 case ELF::R_MIPS_PC18_S3: {
635 uint64_t FinalAddress = (Section.LoadAddress + Offset);
636 return ((Value + Addend - ((FinalAddress | 7) ^ 7)) >> 3) & 0x3ffff;
637 }
638 case ELF::R_MIPS_PC19_S2: {
639 uint64_t FinalAddress = (Section.LoadAddress + Offset);
640 return ((Value + Addend - FinalAddress) >> 2) & 0x7ffff;
641 }
642 case ELF::R_MIPS_PC21_S2: {
643 uint64_t FinalAddress = (Section.LoadAddress + Offset);
644 return ((Value + Addend - FinalAddress) >> 2) & 0x1fffff;
645 }
646 case ELF::R_MIPS_PC26_S2: {
647 uint64_t FinalAddress = (Section.LoadAddress + Offset);
648 return ((Value + Addend - FinalAddress) >> 2) & 0x3ffffff;
649 }
650 case ELF::R_MIPS_PCHI16: {
651 uint64_t FinalAddress = (Section.LoadAddress + Offset);
652 return ((Value + Addend - FinalAddress + 0x8000) >> 16) & 0xffff;
653 }
654 case ELF::R_MIPS_PCLO16: {
655 uint64_t FinalAddress = (Section.LoadAddress + Offset);
656 return (Value + Addend - FinalAddress) & 0xffff;
657 }
658 }
659 return 0;
660}
661
662void RuntimeDyldELF::applyMIPS64Relocation(uint8_t *TargetPtr,
663 int64_t CalculatedValue,
664 uint32_t Type) {
665 uint32_t Insn = readBytesUnaligned(TargetPtr, 4);
666
667 switch (Type) {
668 default:
669 break;
670 case ELF::R_MIPS_32:
671 case ELF::R_MIPS_GPREL32:
672 writeBytesUnaligned(CalculatedValue & 0xffffffff, TargetPtr, 4);
673 break;
674 case ELF::R_MIPS_64:
675 case ELF::R_MIPS_SUB:
676 writeBytesUnaligned(CalculatedValue, TargetPtr, 8);
677 break;
678 case ELF::R_MIPS_26:
679 case ELF::R_MIPS_PC26_S2:
680 Insn = (Insn & 0xfc000000) | CalculatedValue;
681 writeBytesUnaligned(Insn, TargetPtr, 4);
682 break;
683 case ELF::R_MIPS_GPREL16:
684 Insn = (Insn & 0xffff0000) | (CalculatedValue & 0xffff);
685 writeBytesUnaligned(Insn, TargetPtr, 4);
686 break;
687 case ELF::R_MIPS_HI16:
688 case ELF::R_MIPS_LO16:
689 case ELF::R_MIPS_PCHI16:
690 case ELF::R_MIPS_PCLO16:
691 case ELF::R_MIPS_PC16:
692 case ELF::R_MIPS_CALL16:
693 case ELF::R_MIPS_GOT_DISP:
694 case ELF::R_MIPS_GOT_PAGE:
695 case ELF::R_MIPS_GOT_OFST:
696 Insn = (Insn & 0xffff0000) | CalculatedValue;
697 writeBytesUnaligned(Insn, TargetPtr, 4);
698 break;
699 case ELF::R_MIPS_PC18_S3:
700 Insn = (Insn & 0xfffc0000) | CalculatedValue;
701 writeBytesUnaligned(Insn, TargetPtr, 4);
702 break;
703 case ELF::R_MIPS_PC19_S2:
704 Insn = (Insn & 0xfff80000) | CalculatedValue;
705 writeBytesUnaligned(Insn, TargetPtr, 4);
706 break;
707 case ELF::R_MIPS_PC21_S2:
708 Insn = (Insn & 0xffe00000) | CalculatedValue;
709 writeBytesUnaligned(Insn, TargetPtr, 4);
710 break;
711 }
712}
713
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000714// Return the .TOC. section and offset.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000715void RuntimeDyldELF::findPPC64TOCSection(const ObjectFile &Obj,
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000716 ObjSectionToIDMap &LocalSections,
717 RelocationValueRef &Rel) {
718 // Set a default SectionID in case we do not find a TOC section below.
719 // This may happen for references to TOC base base (sym@toc, .odp
720 // relocation) without a .toc directive. In this case just use the
721 // first section (which is usually the .odp) since the code won't
722 // reference the .toc base directly.
723 Rel.SymbolName = NULL;
724 Rel.SectionID = 0;
725
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000726 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
727 // order. The TOC starts where the first of these sections starts.
Davide Italiano2e9df172015-06-02 01:52:28 +0000728 for (auto &Section: Obj.sections()) {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000729 StringRef SectionName;
Davide Italiano2e9df172015-06-02 01:52:28 +0000730 check(Section.getName(SectionName));
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000731
732 if (SectionName == ".got"
733 || SectionName == ".toc"
734 || SectionName == ".tocbss"
735 || SectionName == ".plt") {
Davide Italiano2e9df172015-06-02 01:52:28 +0000736 Rel.SectionID = findOrEmitSection(Obj, Section, false, LocalSections);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000737 break;
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000738 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000739 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000740
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000741 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
742 // thus permitting a full 64 Kbytes segment.
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +0000743 Rel.Addend = 0x8000;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000744}
745
746// Returns the sections and offset associated with the ODP entry referenced
747// by Symbol.
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000748void RuntimeDyldELF::findOPDEntrySection(const ObjectFile &Obj,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000749 ObjSectionToIDMap &LocalSections,
750 RelocationValueRef &Rel) {
751 // Get the ELF symbol value (st_value) to compare with Relocation offset in
752 // .opd entries
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000753 for (section_iterator si = Obj.section_begin(), se = Obj.section_end();
Rafael Espindola5e812af2014-01-30 02:49:50 +0000754 si != se; ++si) {
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000755 section_iterator RelSecI = si->getRelocatedSection();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000756 if (RelSecI == Obj.section_end())
Rafael Espindolaa61f1e92013-06-03 19:37:34 +0000757 continue;
758
759 StringRef RelSectionName;
760 check(RelSecI->getName(RelSectionName));
761 if (RelSectionName != ".opd")
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000762 continue;
763
Rafael Espindolab5155a52014-02-10 20:24:04 +0000764 for (relocation_iterator i = si->relocation_begin(),
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000765 e = si->relocation_end();
766 i != e;) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000767 // The R_PPC64_ADDR64 relocation indicates the first field
768 // of a .opd entry
769 uint64_t TypeFunc;
770 check(i->getType(TypeFunc));
771 if (TypeFunc != ELF::R_PPC64_ADDR64) {
Rafael Espindola5e812af2014-01-30 02:49:50 +0000772 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000773 continue;
774 }
775
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000776 uint64_t TargetSymbolOffset;
Rafael Espindola806f0062013-06-05 01:33:53 +0000777 symbol_iterator TargetSymbol = i->getSymbol();
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000778 check(i->getOffset(TargetSymbolOffset));
Rafael Espindola0d15f732013-05-09 03:39:05 +0000779 int64_t Addend;
780 check(getELFRelocationAddend(*i, Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000781
Rafael Espindola5e812af2014-01-30 02:49:50 +0000782 ++i;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000783 if (i == e)
784 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000785
786 // Just check if following relocation is a R_PPC64_TOC
787 uint64_t TypeTOC;
788 check(i->getType(TypeTOC));
789 if (TypeTOC != ELF::R_PPC64_TOC)
790 continue;
791
792 // Finally compares the Symbol value and the target symbol offset
793 // to check if this .opd entry refers to the symbol the relocation
794 // points to.
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000795 if (Rel.Addend != (int64_t)TargetSymbolOffset)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000796 continue;
797
Lang Hamesb5c7b1f2014-11-26 16:54:40 +0000798 section_iterator tsi(Obj.section_end());
Rafael Espindola806f0062013-06-05 01:33:53 +0000799 check(TargetSymbol->getSection(tsi));
Rafael Espindola80291272014-10-08 15:28:58 +0000800 bool IsCode = tsi->isText();
Lang Hames9b2dc932014-02-18 21:46:39 +0000801 Rel.SectionID = findOrEmitSection(Obj, (*tsi), IsCode, LocalSections);
Rafael Espindola0d15f732013-05-09 03:39:05 +0000802 Rel.Addend = (intptr_t)Addend;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000803 return;
804 }
805 }
806 llvm_unreachable("Attempting to get address of ODP entry!");
807}
808
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000809// Relocation masks following the #lo(value), #hi(value), #ha(value),
810// #higher(value), #highera(value), #highest(value), and #highesta(value)
811// macros defined in section 4.5.1. Relocation Types of the PPC-elf64abi
812// document.
813
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000814static inline uint16_t applyPPClo(uint64_t value) { return value & 0xffff; }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000815
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000816static inline uint16_t applyPPChi(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000817 return (value >> 16) & 0xffff;
818}
819
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000820static inline uint16_t applyPPCha (uint64_t value) {
821 return ((value + 0x8000) >> 16) & 0xffff;
822}
823
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000824static inline uint16_t applyPPChigher(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000825 return (value >> 32) & 0xffff;
826}
827
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000828static inline uint16_t applyPPChighera (uint64_t value) {
829 return ((value + 0x8000) >> 32) & 0xffff;
830}
831
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000832static inline uint16_t applyPPChighest(uint64_t value) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000833 return (value >> 48) & 0xffff;
834}
835
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000836static inline uint16_t applyPPChighesta (uint64_t value) {
837 return ((value + 0x8000) >> 48) & 0xffff;
838}
839
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000840void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000841 uint64_t Offset, uint64_t Value,
842 uint32_t Type, int64_t Addend) {
843 uint8_t *LocalAddress = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000844 switch (Type) {
845 default:
846 llvm_unreachable("Relocation type not implemented yet!");
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000847 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000848 case ELF::R_PPC64_ADDR16:
849 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
850 break;
851 case ELF::R_PPC64_ADDR16_DS:
852 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
853 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000854 case ELF::R_PPC64_ADDR16_LO:
855 writeInt16BE(LocalAddress, applyPPClo(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000856 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000857 case ELF::R_PPC64_ADDR16_LO_DS:
858 writeInt16BE(LocalAddress, applyPPClo(Value + Addend) & ~3);
859 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000860 case ELF::R_PPC64_ADDR16_HI:
861 writeInt16BE(LocalAddress, applyPPChi(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000862 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000863 case ELF::R_PPC64_ADDR16_HA:
864 writeInt16BE(LocalAddress, applyPPCha(Value + Addend));
865 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000866 case ELF::R_PPC64_ADDR16_HIGHER:
867 writeInt16BE(LocalAddress, applyPPChigher(Value + Addend));
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000868 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000869 case ELF::R_PPC64_ADDR16_HIGHERA:
870 writeInt16BE(LocalAddress, applyPPChighera(Value + Addend));
871 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000872 case ELF::R_PPC64_ADDR16_HIGHEST:
873 writeInt16BE(LocalAddress, applyPPChighest(Value + Addend));
874 break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000875 case ELF::R_PPC64_ADDR16_HIGHESTA:
876 writeInt16BE(LocalAddress, applyPPChighesta(Value + Addend));
877 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000878 case ELF::R_PPC64_ADDR14: {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000879 assert(((Value + Addend) & 3) == 0);
880 // Preserve the AA/LK bits in the branch instruction
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000881 uint8_t aalk = *(LocalAddress + 3);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000882 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
883 } break;
Ulrich Weiganddbc8e1a2014-06-20 17:51:47 +0000884 case ELF::R_PPC64_REL16_LO: {
885 uint64_t FinalAddress = (Section.LoadAddress + Offset);
886 uint64_t Delta = Value - FinalAddress + Addend;
887 writeInt16BE(LocalAddress, applyPPClo(Delta));
888 } break;
889 case ELF::R_PPC64_REL16_HI: {
890 uint64_t FinalAddress = (Section.LoadAddress + Offset);
891 uint64_t Delta = Value - FinalAddress + Addend;
892 writeInt16BE(LocalAddress, applyPPChi(Delta));
893 } break;
894 case ELF::R_PPC64_REL16_HA: {
895 uint64_t FinalAddress = (Section.LoadAddress + Offset);
896 uint64_t Delta = Value - FinalAddress + Addend;
897 writeInt16BE(LocalAddress, applyPPCha(Delta));
898 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000899 case ELF::R_PPC64_ADDR32: {
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000900 int32_t Result = static_cast<int32_t>(Value + Addend);
901 if (SignExtend32<32>(Result) != Result)
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000902 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella9b0b7812013-01-04 19:08:13 +0000903 writeInt32BE(LocalAddress, Result);
904 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000905 case ELF::R_PPC64_REL24: {
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000906 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000907 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
908 if (SignExtend32<24>(delta) != delta)
909 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
910 // Generates a 'bl <address>' instruction
911 writeInt32BE(LocalAddress, 0x48000001 | (delta & 0x03FFFFFC));
912 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000913 case ELF::R_PPC64_REL32: {
Adhemerval Zanella1ae22482013-01-09 17:08:15 +0000914 uint64_t FinalAddress = (Section.LoadAddress + Offset);
915 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
916 if (SignExtend32<32>(delta) != delta)
917 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
918 writeInt32BE(LocalAddress, delta);
919 } break;
Adhemerval Zanellae8bd03d2013-05-06 17:21:23 +0000920 case ELF::R_PPC64_REL64: {
921 uint64_t FinalAddress = (Section.LoadAddress + Offset);
922 uint64_t Delta = Value - FinalAddress + Addend;
923 writeInt64BE(LocalAddress, Delta);
924 } break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000925 case ELF::R_PPC64_ADDR64:
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000926 writeInt64BE(LocalAddress, Value + Addend);
927 break;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +0000928 }
929}
930
Richard Sandifordca044082013-05-03 14:15:35 +0000931void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000932 uint64_t Offset, uint64_t Value,
933 uint32_t Type, int64_t Addend) {
Richard Sandifordca044082013-05-03 14:15:35 +0000934 uint8_t *LocalAddress = Section.Address + Offset;
935 switch (Type) {
936 default:
937 llvm_unreachable("Relocation type not implemented yet!");
938 break;
939 case ELF::R_390_PC16DBL:
940 case ELF::R_390_PLT16DBL: {
941 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
942 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
943 writeInt16BE(LocalAddress, Delta / 2);
944 break;
945 }
946 case ELF::R_390_PC32DBL:
947 case ELF::R_390_PLT32DBL: {
948 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
949 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
950 writeInt32BE(LocalAddress, Delta / 2);
951 break;
952 }
953 case ELF::R_390_PC32: {
954 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
955 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
956 writeInt32BE(LocalAddress, Delta);
957 break;
958 }
959 case ELF::R_390_64:
960 writeInt64BE(LocalAddress, Value + Addend);
961 break;
962 }
963}
964
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000965// The target location for the relocation is described by RE.SectionID and
966// RE.Offset. RE.SectionID can be used to find the SectionEntry. Each
967// SectionEntry has three members describing its location.
968// SectionEntry::Address is the address at which the section has been loaded
969// into memory in the current (host) process. SectionEntry::LoadAddress is the
970// address that the section will have in the target process.
971// SectionEntry::ObjAddress is the address of the bits for this section in the
972// original emitted object image (also in the current address space).
973//
974// Relocations will be applied as if the section were loaded at
975// SectionEntry::LoadAddress, but they will be applied at an address based
976// on SectionEntry::Address. SectionEntry::ObjAddress will be used to refer to
977// Target memory contents if they are required for value calculations.
978//
979// The Value parameter here is the load address of the symbol for the
980// relocation to be applied. For relocations which refer to symbols in the
981// current object Value will be the LoadAddress of the section in which
982// the symbol resides (RE.Addend provides additional information about the
983// symbol location). For external symbols, Value will be the address of the
984// symbol in the target address space.
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000985void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
Andrew Kaylor5f3a9982013-08-19 19:38:06 +0000986 uint64_t Value) {
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000987 const SectionEntry &Section = Sections[RE.SectionID];
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000988 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +0000989 RE.SymOffset, RE.SectionID);
Rafael Espindolaf1f1c622013-04-29 17:24:34 +0000990}
991
Andrew Kaylorfb05a502012-11-02 19:45:23 +0000992void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000993 uint64_t Offset, uint64_t Value,
994 uint32_t Type, int64_t Addend,
Petar Jovanovic97202832015-05-28 13:48:41 +0000995 uint64_t SymOffset, SID SectionID) {
Eli Bendersky4c647582012-01-16 08:56:09 +0000996 switch (Arch) {
997 case Triple::x86_64:
Andrew Kaylor4612fed2013-08-19 23:27:43 +0000998 resolveX86_64Relocation(Section, Offset, Value, Type, Addend, SymOffset);
Eli Bendersky4c647582012-01-16 08:56:09 +0000999 break;
1000 case Triple::x86:
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001001 resolveX86Relocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001002 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +00001003 break;
Tim Northoverfa1b2f82013-05-04 20:13:59 +00001004 case Triple::aarch64:
Christian Pirker99974c72014-03-26 14:57:32 +00001005 case Triple::aarch64_be:
Tim Northoverfa1b2f82013-05-04 20:13:59 +00001006 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
1007 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001008 case Triple::arm: // Fall through.
Christian Pirker2a111602014-03-28 14:35:30 +00001009 case Triple::armeb:
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001010 case Triple::thumb:
Christian Pirker2a111602014-03-28 14:35:30 +00001011 case Triple::thumbeb:
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001012 resolveARMRelocation(Section, Offset, (uint32_t)(Value & 0xffffffffL), Type,
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001013 (uint32_t)(Addend & 0xffffffffL));
Eli Bendersky4c647582012-01-16 08:56:09 +00001014 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001015 case Triple::mips: // Fall through.
Akira Hatanaka111174b2012-08-17 21:28:04 +00001016 case Triple::mipsel:
Petar Jovanovic97202832015-05-28 13:48:41 +00001017 case Triple::mips64:
1018 case Triple::mips64el:
1019 if (IsMipsO32ABI)
1020 resolveMIPSRelocation(Section, Offset, (uint32_t)(Value & 0xffffffffL),
1021 Type, (uint32_t)(Addend & 0xffffffffL));
1022 else if (IsMipsN64ABI)
1023 resolveMIPS64Relocation(Section, Offset, Value, Type, Addend, SymOffset,
1024 SectionID);
1025 else
1026 llvm_unreachable("Mips ABI not handled");
Akira Hatanaka111174b2012-08-17 21:28:04 +00001027 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001028 case Triple::ppc64: // Fall through.
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001029 case Triple::ppc64le:
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001030 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001031 break;
Richard Sandifordca044082013-05-03 14:15:35 +00001032 case Triple::systemz:
1033 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
1034 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001035 default:
1036 llvm_unreachable("Unsupported CPU type!");
Eli Bendersky4c647582012-01-16 08:56:09 +00001037 }
1038}
1039
Keno Fischere6892c82015-05-01 20:21:45 +00001040void *RuntimeDyldELF::computePlaceholderAddress(unsigned SectionID, uint64_t Offset) const {
1041 return (void*)(Sections[SectionID].ObjAddress + Offset);
1042}
1043
1044void RuntimeDyldELF::processSimpleRelocation(unsigned SectionID, uint64_t Offset, unsigned RelType, RelocationValueRef Value) {
1045 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend, Value.Offset);
1046 if (Value.SymbolName)
1047 addRelocationForSymbol(RE, Value.SymbolName);
1048 else
1049 addRelocationForSection(RE, Value.SectionID);
1050}
1051
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001052relocation_iterator RuntimeDyldELF::processRelocationRef(
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001053 unsigned SectionID, relocation_iterator RelI,
1054 const ObjectFile &Obj,
Lang Hamesa5cd9502014-11-27 05:40:13 +00001055 ObjSectionToIDMap &ObjSectionToID,
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001056 StubMap &Stubs) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001057 uint64_t RelType;
Juergen Ributzka046709f2014-03-21 07:26:41 +00001058 Check(RelI->getType(RelType));
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001059 int64_t Addend;
Juergen Ributzka046709f2014-03-21 07:26:41 +00001060 Check(getELFRelocationAddend(*RelI, Addend));
1061 symbol_iterator Symbol = RelI->getSymbol();
Eli Bendersky667b8792012-05-01 10:41:12 +00001062
1063 // Obtain the symbol name which is referenced in the relocation
1064 StringRef TargetName;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001065 if (Symbol != Obj.symbol_end())
Rafael Espindola75954472013-06-05 02:55:01 +00001066 Symbol->getName(TargetName);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001067 DEBUG(dbgs() << "\t\tRelType: " << RelType << " Addend: " << Addend
1068 << " TargetName: " << TargetName << "\n");
Eli Bendersky667b8792012-05-01 10:41:12 +00001069 RelocationValueRef Value;
1070 // First search for the symbol in the local symbol table
Rafael Espindola75954472013-06-05 02:55:01 +00001071 SymbolRef::Type SymType = SymbolRef::ST_Unknown;
Lang Hamesa5cd9502014-11-27 05:40:13 +00001072
1073 // Search for the symbol in the global symbol table
Lang Hames6bfd3982015-01-16 23:13:56 +00001074 RTDyldSymbolTable::const_iterator gsi = GlobalSymbolTable.end();
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001075 if (Symbol != Obj.symbol_end()) {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001076 gsi = GlobalSymbolTable.find(TargetName.data());
Rafael Espindola75954472013-06-05 02:55:01 +00001077 Symbol->getType(SymType);
1078 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001079 if (gsi != GlobalSymbolTable.end()) {
Lang Hames6bfd3982015-01-16 23:13:56 +00001080 const auto &SymInfo = gsi->second;
1081 Value.SectionID = SymInfo.getSectionID();
1082 Value.Offset = SymInfo.getOffset();
1083 Value.Addend = SymInfo.getOffset() + Addend;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001084 } else {
Lang Hamesa5cd9502014-11-27 05:40:13 +00001085 switch (SymType) {
1086 case SymbolRef::ST_Debug: {
1087 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
1088 // and can be changed by another developers. Maybe best way is add
1089 // a new symbol type ST_Section to SymbolRef and use it.
1090 section_iterator si(Obj.section_end());
1091 Symbol->getSection(si);
1092 if (si == Obj.section_end())
1093 llvm_unreachable("Symbol section not found, bad object file format!");
1094 DEBUG(dbgs() << "\t\tThis is section symbol\n");
1095 bool isCode = si->isText();
1096 Value.SectionID = findOrEmitSection(Obj, (*si), isCode, ObjSectionToID);
1097 Value.Addend = Addend;
1098 break;
1099 }
1100 case SymbolRef::ST_Data:
1101 case SymbolRef::ST_Unknown: {
1102 Value.SymbolName = TargetName.data();
1103 Value.Addend = Addend;
Richard Mittonad6d3492013-08-16 18:54:26 +00001104
Lang Hamesa5cd9502014-11-27 05:40:13 +00001105 // Absolute relocations will have a zero symbol ID (STN_UNDEF), which
1106 // will manifest here as a NULL symbol name.
1107 // We can set this as a valid (but empty) symbol name, and rely
1108 // on addRelocationForSymbol to handle this.
1109 if (!Value.SymbolName)
1110 Value.SymbolName = "";
1111 break;
1112 }
1113 default:
1114 llvm_unreachable("Unresolved symbol type!");
1115 break;
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001116 }
Eli Bendersky4c647582012-01-16 08:56:09 +00001117 }
Lang Hamesa5cd9502014-11-27 05:40:13 +00001118
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001119 uint64_t Offset;
Juergen Ributzka046709f2014-03-21 07:26:41 +00001120 Check(RelI->getOffset(Offset));
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001121
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001122 DEBUG(dbgs() << "\t\tSectionID: " << SectionID << " Offset: " << Offset
Danil Malyshev70d22cc2012-03-30 16:45:19 +00001123 << "\n");
Tim Northovere19bed72014-07-23 12:32:47 +00001124 if ((Arch == Triple::aarch64 || Arch == Triple::aarch64_be) &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001125 (RelType == ELF::R_AARCH64_CALL26 || RelType == ELF::R_AARCH64_JUMP26)) {
Tim Northover37cde972013-05-04 20:14:09 +00001126 // This is an AArch64 branch relocation, need to use a stub function.
1127 DEBUG(dbgs() << "\t\tThis is an AArch64 branch relocation.");
1128 SectionEntry &Section = Sections[SectionID];
1129
1130 // Look for an existing stub.
1131 StubMap::const_iterator i = Stubs.find(Value);
1132 if (i != Stubs.end()) {
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001133 resolveRelocation(Section, Offset, (uint64_t)Section.Address + i->second,
1134 RelType, 0);
Tim Northover37cde972013-05-04 20:14:09 +00001135 DEBUG(dbgs() << " Stub function found\n");
1136 } else {
1137 // Create a new stub function.
1138 DEBUG(dbgs() << " Create a new stub function\n");
1139 Stubs[Value] = Section.StubOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001140 uint8_t *StubTargetAddr =
1141 createStubFunction(Section.Address + Section.StubOffset);
Tim Northover37cde972013-05-04 20:14:09 +00001142
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001143 RelocationEntry REmovz_g3(SectionID, StubTargetAddr - Section.Address,
Lang Hames9a891052014-09-07 04:13:13 +00001144 ELF::R_AARCH64_MOVW_UABS_G3, Value.Addend);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001145 RelocationEntry REmovk_g2(SectionID, StubTargetAddr - Section.Address + 4,
Lang Hames9a891052014-09-07 04:13:13 +00001146 ELF::R_AARCH64_MOVW_UABS_G2_NC, Value.Addend);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001147 RelocationEntry REmovk_g1(SectionID, StubTargetAddr - Section.Address + 8,
Lang Hames9a891052014-09-07 04:13:13 +00001148 ELF::R_AARCH64_MOVW_UABS_G1_NC, Value.Addend);
Tim Northover37cde972013-05-04 20:14:09 +00001149 RelocationEntry REmovk_g0(SectionID,
1150 StubTargetAddr - Section.Address + 12,
1151 ELF::R_AARCH64_MOVW_UABS_G0_NC, Value.Addend);
1152
1153 if (Value.SymbolName) {
1154 addRelocationForSymbol(REmovz_g3, Value.SymbolName);
1155 addRelocationForSymbol(REmovk_g2, Value.SymbolName);
1156 addRelocationForSymbol(REmovk_g1, Value.SymbolName);
1157 addRelocationForSymbol(REmovk_g0, Value.SymbolName);
1158 } else {
1159 addRelocationForSection(REmovz_g3, Value.SectionID);
1160 addRelocationForSection(REmovk_g2, Value.SectionID);
1161 addRelocationForSection(REmovk_g1, Value.SectionID);
1162 addRelocationForSection(REmovk_g0, Value.SectionID);
1163 }
1164 resolveRelocation(Section, Offset,
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001165 (uint64_t)Section.Address + Section.StubOffset, RelType,
1166 0);
Tim Northover37cde972013-05-04 20:14:09 +00001167 Section.StubOffset += getMaxStubSize();
1168 }
Keno Fischere6892c82015-05-01 20:21:45 +00001169 } else if (Arch == Triple::arm) {
1170 if (RelType == ELF::R_ARM_PC24 || RelType == ELF::R_ARM_CALL ||
1171 RelType == ELF::R_ARM_JUMP24) {
1172 // This is an ARM branch relocation, need to use a stub function.
1173 DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.");
1174 SectionEntry &Section = Sections[SectionID];
Eli Bendersky4c647582012-01-16 08:56:09 +00001175
Keno Fischere6892c82015-05-01 20:21:45 +00001176 // Look for an existing stub.
1177 StubMap::const_iterator i = Stubs.find(Value);
1178 if (i != Stubs.end()) {
1179 resolveRelocation(Section, Offset, (uint64_t)Section.Address + i->second,
1180 RelType, 0);
1181 DEBUG(dbgs() << " Stub function found\n");
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001182 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001183 // Create a new stub function.
1184 DEBUG(dbgs() << " Create a new stub function\n");
1185 Stubs[Value] = Section.StubOffset;
1186 uint8_t *StubTargetAddr =
1187 createStubFunction(Section.Address + Section.StubOffset);
1188 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
1189 ELF::R_ARM_ABS32, Value.Addend);
1190 if (Value.SymbolName)
1191 addRelocationForSymbol(RE, Value.SymbolName);
1192 else
1193 addRelocationForSection(RE, Value.SectionID);
Pavel Labath3b8f3ad2015-04-16 08:58:15 +00001194
Keno Fischere6892c82015-05-01 20:21:45 +00001195 resolveRelocation(Section, Offset,
1196 (uint64_t)Section.Address + Section.StubOffset, RelType,
1197 0);
1198 Section.StubOffset += getMaxStubSize();
1199 }
1200 } else {
1201 uint32_t *Placeholder =
1202 reinterpret_cast<uint32_t*>(computePlaceholderAddress(SectionID, Offset));
1203 if (RelType == ELF::R_ARM_PREL31 || RelType == ELF::R_ARM_TARGET1 ||
1204 RelType == ELF::R_ARM_ABS32) {
1205 Value.Addend += *Placeholder;
1206 } else if (RelType == ELF::R_ARM_MOVW_ABS_NC || RelType == ELF::R_ARM_MOVT_ABS) {
1207 // See ELF for ARM documentation
1208 Value.Addend += (int16_t)((*Placeholder & 0xFFF) | (((*Placeholder >> 16) & 0xF) << 12));
1209 }
1210 processSimpleRelocation(SectionID, Offset, RelType, Value);
1211 }
Petar Jovanovic97202832015-05-28 13:48:41 +00001212 } else if (IsMipsO32ABI) {
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001213 uint8_t *Placeholder = reinterpret_cast<uint8_t *>(
1214 computePlaceholderAddress(SectionID, Offset));
1215 uint32_t Opcode = readBytesUnaligned(Placeholder, 4);
Keno Fischere6892c82015-05-01 20:21:45 +00001216 if (RelType == ELF::R_MIPS_26) {
1217 // This is an Mips branch relocation, need to use a stub function.
1218 DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
1219 SectionEntry &Section = Sections[SectionID];
1220
1221 // Extract the addend from the instruction.
1222 // We shift up by two since the Value will be down shifted again
1223 // when applying the relocation.
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001224 uint32_t Addend = (Opcode & 0x03ffffff) << 2;
Keno Fischere6892c82015-05-01 20:21:45 +00001225
1226 Value.Addend += Addend;
1227
1228 // Look up for existing stub.
1229 StubMap::const_iterator i = Stubs.find(Value);
1230 if (i != Stubs.end()) {
1231 RelocationEntry RE(SectionID, Offset, RelType, i->second);
1232 addRelocationForSection(RE, SectionID);
1233 DEBUG(dbgs() << " Stub function found\n");
1234 } else {
1235 // Create a new stub function.
1236 DEBUG(dbgs() << " Create a new stub function\n");
1237 Stubs[Value] = Section.StubOffset;
1238 uint8_t *StubTargetAddr =
1239 createStubFunction(Section.Address + Section.StubOffset);
1240
1241 // Creating Hi and Lo relocations for the filled stub instructions.
1242 RelocationEntry REHi(SectionID, StubTargetAddr - Section.Address,
1243 ELF::R_MIPS_HI16, Value.Addend);
1244 RelocationEntry RELo(SectionID, StubTargetAddr - Section.Address + 4,
1245 ELF::R_MIPS_LO16, Value.Addend);
1246
1247 if (Value.SymbolName) {
1248 addRelocationForSymbol(REHi, Value.SymbolName);
1249 addRelocationForSymbol(RELo, Value.SymbolName);
1250 }
1251 else {
1252 addRelocationForSection(REHi, Value.SectionID);
1253 addRelocationForSection(RELo, Value.SectionID);
1254 }
1255
1256 RelocationEntry RE(SectionID, Offset, RelType, Section.StubOffset);
1257 addRelocationForSection(RE, SectionID);
1258 Section.StubOffset += getMaxStubSize();
1259 }
1260 } else {
1261 if (RelType == ELF::R_MIPS_HI16)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001262 Value.Addend += (Opcode & 0x0000ffff) << 16;
Keno Fischere6892c82015-05-01 20:21:45 +00001263 else if (RelType == ELF::R_MIPS_LO16)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001264 Value.Addend += (Opcode & 0x0000ffff);
Keno Fischere6892c82015-05-01 20:21:45 +00001265 else if (RelType == ELF::R_MIPS_32)
Daniel Sanders8b2354d2015-06-03 10:27:28 +00001266 Value.Addend += Opcode;
Keno Fischere6892c82015-05-01 20:21:45 +00001267 processSimpleRelocation(SectionID, Offset, RelType, Value);
Akira Hatanaka111174b2012-08-17 21:28:04 +00001268 }
Petar Jovanovic97202832015-05-28 13:48:41 +00001269 } else if (IsMipsN64ABI) {
1270 uint32_t r_type = RelType & 0xff;
1271 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
1272 if (r_type == ELF::R_MIPS_CALL16 || r_type == ELF::R_MIPS_GOT_PAGE
1273 || r_type == ELF::R_MIPS_GOT_DISP) {
1274 StringMap<uint64_t>::iterator i = GOTSymbolOffsets.find(TargetName);
1275 if (i != GOTSymbolOffsets.end())
1276 RE.SymOffset = i->second;
1277 else {
1278 RE.SymOffset = allocateGOTEntries(SectionID, 1);
1279 GOTSymbolOffsets[TargetName] = RE.SymOffset;
1280 }
1281 }
1282 if (Value.SymbolName)
1283 addRelocationForSymbol(RE, Value.SymbolName);
1284 else
1285 addRelocationForSection(RE, Value.SectionID);
Bill Schmidt0a9170d2013-07-26 01:35:43 +00001286 } else if (Arch == Triple::ppc64 || Arch == Triple::ppc64le) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001287 if (RelType == ELF::R_PPC64_REL24) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001288 // Determine ABI variant in use for this object.
1289 unsigned AbiVariant;
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001290 Obj.getPlatformFlags(AbiVariant);
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001291 AbiVariant &= ELF::EF_PPC64_ABI;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001292 // A PPC branch relocation will need a stub function if the target is
1293 // an external symbol (Symbol::ST_Unknown) or if the target address
1294 // is not within the signed 24-bits branch address.
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001295 SectionEntry &Section = Sections[SectionID];
1296 uint8_t *Target = Section.Address + Offset;
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001297 bool RangeOverflow = false;
1298 if (SymType != SymbolRef::ST_Unknown) {
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001299 if (AbiVariant != 2) {
1300 // In the ELFv1 ABI, a function call may point to the .opd entry,
1301 // so the final symbol value is calculated based on the relocation
1302 // values in the .opd section.
1303 findOPDEntrySection(Obj, ObjSectionToID, Value);
1304 } else {
1305 // In the ELFv2 ABI, a function symbol may provide a local entry
1306 // point, which must be used for direct calls.
1307 uint8_t SymOther;
1308 Symbol->getOther(SymOther);
1309 Value.Addend += ELF::decodePPC64LocalEntryOffset(SymOther);
1310 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001311 uint8_t *RelocTarget = Sections[Value.SectionID].Address + Value.Addend;
1312 int32_t delta = static_cast<int32_t>(Target - RelocTarget);
1313 // If it is within 24-bits branch range, just set the branch target
1314 if (SignExtend32<24>(delta) == delta) {
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001315 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001316 if (Value.SymbolName)
1317 addRelocationForSymbol(RE, Value.SymbolName);
1318 else
1319 addRelocationForSection(RE, Value.SectionID);
1320 } else {
1321 RangeOverflow = true;
1322 }
1323 }
David Blaikiedc3f01e2015-03-09 01:57:13 +00001324 if (SymType == SymbolRef::ST_Unknown || RangeOverflow) {
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001325 // It is an external symbol (SymbolRef::ST_Unknown) or within a range
1326 // larger than 24-bits.
1327 StubMap::const_iterator i = Stubs.find(Value);
1328 if (i != Stubs.end()) {
1329 // Symbol function stub already created, just relocate to it
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001330 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001331 (uint64_t)Section.Address + i->second, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001332 DEBUG(dbgs() << " Stub function found\n");
1333 } else {
1334 // Create a new stub function.
1335 DEBUG(dbgs() << " Create a new stub function\n");
1336 Stubs[Value] = Section.StubOffset;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001337 uint8_t *StubTargetAddr =
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001338 createStubFunction(Section.Address + Section.StubOffset,
1339 AbiVariant);
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001340 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001341 ELF::R_PPC64_ADDR64, Value.Addend);
1342
1343 // Generates the 64-bits address loads as exemplified in section
Ulrich Weigand32626012014-06-20 18:17:56 +00001344 // 4.5.1 in PPC64 ELF ABI. Note that the relocations need to
1345 // apply to the low part of the instructions, so we have to update
1346 // the offset according to the target endianness.
1347 uint64_t StubRelocOffset = StubTargetAddr - Section.Address;
1348 if (!IsTargetLittleEndian)
1349 StubRelocOffset += 2;
1350
1351 RelocationEntry REhst(SectionID, StubRelocOffset + 0,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001352 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001353 RelocationEntry REhr(SectionID, StubRelocOffset + 4,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001354 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001355 RelocationEntry REh(SectionID, StubRelocOffset + 12,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001356 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Ulrich Weigand32626012014-06-20 18:17:56 +00001357 RelocationEntry REl(SectionID, StubRelocOffset + 16,
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001358 ELF::R_PPC64_ADDR16_LO, Value.Addend);
1359
1360 if (Value.SymbolName) {
1361 addRelocationForSymbol(REhst, Value.SymbolName);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001362 addRelocationForSymbol(REhr, Value.SymbolName);
1363 addRelocationForSymbol(REh, Value.SymbolName);
1364 addRelocationForSymbol(REl, Value.SymbolName);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001365 } else {
1366 addRelocationForSection(REhst, Value.SectionID);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001367 addRelocationForSection(REhr, Value.SectionID);
1368 addRelocationForSection(REh, Value.SectionID);
1369 addRelocationForSection(REl, Value.SectionID);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001370 }
1371
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001372 resolveRelocation(Section, Offset,
Andrew Kaylorfb05a502012-11-02 19:45:23 +00001373 (uint64_t)Section.Address + Section.StubOffset,
1374 RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001375 Section.StubOffset += getMaxStubSize();
1376 }
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001377 if (SymType == SymbolRef::ST_Unknown) {
Ulrich Weigandfa84ac92014-03-11 15:26:27 +00001378 // Restore the TOC for external calls
Ulrich Weigand752b5c92014-07-20 23:53:14 +00001379 if (AbiVariant == 2)
1380 writeInt32BE(Target + 4, 0xE8410018); // ld r2,28(r1)
1381 else
1382 writeInt32BE(Target + 4, 0xE8410028); // ld r2,40(r1)
1383 }
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001384 }
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001385 } else if (RelType == ELF::R_PPC64_TOC16 ||
1386 RelType == ELF::R_PPC64_TOC16_DS ||
1387 RelType == ELF::R_PPC64_TOC16_LO ||
1388 RelType == ELF::R_PPC64_TOC16_LO_DS ||
1389 RelType == ELF::R_PPC64_TOC16_HI ||
1390 RelType == ELF::R_PPC64_TOC16_HA) {
1391 // These relocations are supposed to subtract the TOC address from
1392 // the final value. This does not fit cleanly into the RuntimeDyld
1393 // scheme, since there may be *two* sections involved in determining
1394 // the relocation value (the section of the symbol refered to by the
1395 // relocation, and the TOC section associated with the current module).
1396 //
1397 // Fortunately, these relocations are currently only ever generated
1398 // refering to symbols that themselves reside in the TOC, which means
1399 // that the two sections are actually the same. Thus they cancel out
1400 // and we can immediately resolve the relocation right now.
1401 switch (RelType) {
1402 case ELF::R_PPC64_TOC16: RelType = ELF::R_PPC64_ADDR16; break;
1403 case ELF::R_PPC64_TOC16_DS: RelType = ELF::R_PPC64_ADDR16_DS; break;
1404 case ELF::R_PPC64_TOC16_LO: RelType = ELF::R_PPC64_ADDR16_LO; break;
1405 case ELF::R_PPC64_TOC16_LO_DS: RelType = ELF::R_PPC64_ADDR16_LO_DS; break;
1406 case ELF::R_PPC64_TOC16_HI: RelType = ELF::R_PPC64_ADDR16_HI; break;
1407 case ELF::R_PPC64_TOC16_HA: RelType = ELF::R_PPC64_ADDR16_HA; break;
1408 default: llvm_unreachable("Wrong relocation type.");
1409 }
1410
1411 RelocationValueRef TOCValue;
1412 findPPC64TOCSection(Obj, ObjSectionToID, TOCValue);
1413 if (Value.SymbolName || Value.SectionID != TOCValue.SectionID)
1414 llvm_unreachable("Unsupported TOC relocation.");
1415 Value.Addend -= TOCValue.Addend;
1416 resolveRelocation(Sections[SectionID], Offset, Value.Addend, RelType, 0);
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001417 } else {
Ulrich Weigand8f1f87c2014-06-27 10:32:14 +00001418 // There are two ways to refer to the TOC address directly: either
1419 // via a ELF::R_PPC64_TOC relocation (where both symbol and addend are
1420 // ignored), or via any relocation that refers to the magic ".TOC."
1421 // symbols (in which case the addend is respected).
1422 if (RelType == ELF::R_PPC64_TOC) {
1423 RelType = ELF::R_PPC64_ADDR64;
1424 findPPC64TOCSection(Obj, ObjSectionToID, Value);
1425 } else if (TargetName == ".TOC.") {
1426 findPPC64TOCSection(Obj, ObjSectionToID, Value);
1427 Value.Addend += Addend;
1428 }
1429
Rafael Espindola4d4a48d2013-04-29 14:44:23 +00001430 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Richard Mittonad6d3492013-08-16 18:54:26 +00001431
1432 if (Value.SymbolName)
Adhemerval Zanella5fc11b32012-10-25 13:13:48 +00001433 addRelocationForSymbol(RE, Value.SymbolName);
1434 else
1435 addRelocationForSection(RE, Value.SectionID);
1436 }
Richard Sandifordca044082013-05-03 14:15:35 +00001437 } else if (Arch == Triple::systemz &&
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001438 (RelType == ELF::R_390_PLT32DBL || RelType == ELF::R_390_GOTENT)) {
Richard Sandifordca044082013-05-03 14:15:35 +00001439 // Create function stubs for both PLT and GOT references, regardless of
1440 // whether the GOT reference is to data or code. The stub contains the
1441 // full address of the symbol, as needed by GOT references, and the
1442 // executable part only adds an overhead of 8 bytes.
1443 //
1444 // We could try to conserve space by allocating the code and data
1445 // parts of the stub separately. However, as things stand, we allocate
1446 // a stub for every relocation, so using a GOT in JIT code should be
1447 // no less space efficient than using an explicit constant pool.
1448 DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
1449 SectionEntry &Section = Sections[SectionID];
1450
1451 // Look for an existing stub.
1452 StubMap::const_iterator i = Stubs.find(Value);
1453 uintptr_t StubAddress;
1454 if (i != Stubs.end()) {
1455 StubAddress = uintptr_t(Section.Address) + i->second;
1456 DEBUG(dbgs() << " Stub function found\n");
1457 } else {
1458 // Create a new stub function.
1459 DEBUG(dbgs() << " Create a new stub function\n");
1460
1461 uintptr_t BaseAddress = uintptr_t(Section.Address);
1462 uintptr_t StubAlignment = getStubAlignment();
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001463 StubAddress = (BaseAddress + Section.StubOffset + StubAlignment - 1) &
1464 -StubAlignment;
Richard Sandifordca044082013-05-03 14:15:35 +00001465 unsigned StubOffset = StubAddress - BaseAddress;
1466
1467 Stubs[Value] = StubOffset;
1468 createStubFunction((uint8_t *)StubAddress);
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001469 RelocationEntry RE(SectionID, StubOffset + 8, ELF::R_390_64,
Lang Hames40e200e2014-08-25 23:33:48 +00001470 Value.Offset);
Richard Sandifordca044082013-05-03 14:15:35 +00001471 if (Value.SymbolName)
1472 addRelocationForSymbol(RE, Value.SymbolName);
1473 else
1474 addRelocationForSection(RE, Value.SectionID);
1475 Section.StubOffset = StubOffset + getMaxStubSize();
1476 }
1477
1478 if (RelType == ELF::R_390_GOTENT)
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001479 resolveRelocation(Section, Offset, StubAddress + 8, ELF::R_390_PC32DBL,
1480 Addend);
Richard Sandifordca044082013-05-03 14:15:35 +00001481 else
1482 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Keno Fischere6892c82015-05-01 20:21:45 +00001483 } else if (Arch == Triple::x86_64) {
1484 if (RelType == ELF::R_X86_64_PLT32) {
1485 // The way the PLT relocations normally work is that the linker allocates
1486 // the
1487 // PLT and this relocation makes a PC-relative call into the PLT. The PLT
1488 // entry will then jump to an address provided by the GOT. On first call,
1489 // the
1490 // GOT address will point back into PLT code that resolves the symbol. After
1491 // the first call, the GOT entry points to the actual function.
1492 //
1493 // For local functions we're ignoring all of that here and just replacing
1494 // the PLT32 relocation type with PC32, which will translate the relocation
1495 // into a PC-relative call directly to the function. For external symbols we
1496 // can't be sure the function will be within 2^32 bytes of the call site, so
1497 // we need to create a stub, which calls into the GOT. This case is
1498 // equivalent to the usual PLT implementation except that we use the stub
1499 // mechanism in RuntimeDyld (which puts stubs at the end of the section)
1500 // rather than allocating a PLT section.
1501 if (Value.SymbolName) {
1502 // This is a call to an external function.
1503 // Look for an existing stub.
1504 SectionEntry &Section = Sections[SectionID];
1505 StubMap::const_iterator i = Stubs.find(Value);
1506 uintptr_t StubAddress;
1507 if (i != Stubs.end()) {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001508 StubAddress = uintptr_t(Section.Address) + i->second;
1509 DEBUG(dbgs() << " Stub function found\n");
Keno Fischere6892c82015-05-01 20:21:45 +00001510 } else {
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001511 // Create a new stub function (equivalent to a PLT entry).
1512 DEBUG(dbgs() << " Create a new stub function\n");
1513
1514 uintptr_t BaseAddress = uintptr_t(Section.Address);
1515 uintptr_t StubAlignment = getStubAlignment();
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001516 StubAddress = (BaseAddress + Section.StubOffset + StubAlignment - 1) &
Keno Fischere6892c82015-05-01 20:21:45 +00001517 -StubAlignment;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001518 unsigned StubOffset = StubAddress - BaseAddress;
1519 Stubs[Value] = StubOffset;
1520 createStubFunction((uint8_t *)StubAddress);
1521
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001522 // Bump our stub offset counter
1523 Section.StubOffset = StubOffset + getMaxStubSize();
Keno Fischer02628de2015-04-14 02:10:35 +00001524
1525 // Allocate a GOT Entry
1526 uint64_t GOTOffset = allocateGOTEntries(SectionID, 1);
1527
1528 // The load of the GOT address has an addend of -4
1529 resolveGOTOffsetRelocation(SectionID, StubOffset + 2, GOTOffset - 4);
1530
1531 // Fill in the value of the symbol we're targeting into the GOT
1532 addRelocationForSymbol(computeGOTOffsetRE(SectionID,GOTOffset,0,ELF::R_X86_64_64),
Keno Fischere6892c82015-05-01 20:21:45 +00001533 Value.SymbolName);
1534 }
1535
1536 // Make the target call a call into the stub table.
1537 resolveRelocation(Section, Offset, StubAddress, ELF::R_X86_64_PC32,
1538 Addend);
1539 } else {
1540 RelocationEntry RE(SectionID, Offset, ELF::R_X86_64_PC32, Value.Addend,
1541 Value.Offset);
1542 addRelocationForSection(RE, Value.SectionID);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001543 }
Keno Fischere6892c82015-05-01 20:21:45 +00001544 } else if (RelType == ELF::R_X86_64_GOTPCREL) {
1545 uint64_t GOTOffset = allocateGOTEntries(SectionID, 1);
1546 resolveGOTOffsetRelocation(SectionID, Offset, GOTOffset + Addend);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001547
Keno Fischere6892c82015-05-01 20:21:45 +00001548 // Fill in the value of the symbol we're targeting into the GOT
1549 RelocationEntry RE = computeGOTOffsetRE(SectionID, GOTOffset, Value.Offset, ELF::R_X86_64_64);
1550 if (Value.SymbolName)
1551 addRelocationForSymbol(RE, Value.SymbolName);
1552 else
1553 addRelocationForSection(RE, Value.SectionID);
1554 } else if (RelType == ELF::R_X86_64_PC32) {
1555 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1556 processSimpleRelocation(SectionID, Offset, RelType, Value);
1557 } else if (RelType == ELF::R_X86_64_PC64) {
1558 Value.Addend += support::ulittle64_t::ref(computePlaceholderAddress(SectionID, Offset));
1559 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001560 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001561 processSimpleRelocation(SectionID, Offset, RelType, Value);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001562 }
Eli Bendersky667b8792012-05-01 10:41:12 +00001563 } else {
Keno Fischere6892c82015-05-01 20:21:45 +00001564 if (Arch == Triple::x86) {
1565 Value.Addend += support::ulittle32_t::ref(computePlaceholderAddress(SectionID, Offset));
1566 }
1567 processSimpleRelocation(SectionID, Offset, RelType, Value);
Eli Bendersky667b8792012-05-01 10:41:12 +00001568 }
Juergen Ributzka046709f2014-03-21 07:26:41 +00001569 return ++RelI;
Jim Grosbacheff0a402012-01-16 22:26:39 +00001570}
1571
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001572size_t RuntimeDyldELF::getGOTEntrySize() {
1573 // We don't use the GOT in all of these cases, but it's essentially free
1574 // to put them all here.
1575 size_t Result = 0;
1576 switch (Arch) {
1577 case Triple::x86_64:
1578 case Triple::aarch64:
James Molloybd2ffa02014-04-30 10:15:41 +00001579 case Triple::aarch64_be:
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001580 case Triple::ppc64:
1581 case Triple::ppc64le:
1582 case Triple::systemz:
1583 Result = sizeof(uint64_t);
1584 break;
1585 case Triple::x86:
1586 case Triple::arm:
1587 case Triple::thumb:
Petar Jovanovic97202832015-05-28 13:48:41 +00001588 Result = sizeof(uint32_t);
1589 break;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001590 case Triple::mips:
1591 case Triple::mipsel:
Petar Jovanovic97202832015-05-28 13:48:41 +00001592 case Triple::mips64:
1593 case Triple::mips64el:
1594 if (IsMipsO32ABI)
1595 Result = sizeof(uint32_t);
1596 else if (IsMipsN64ABI)
1597 Result = sizeof(uint64_t);
1598 else
1599 llvm_unreachable("Mips ABI not handled");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001600 break;
Juergen Ributzka7608dc02014-03-21 20:28:42 +00001601 default:
1602 llvm_unreachable("Unsupported CPU type!");
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001603 }
1604 return Result;
1605}
1606
Keno Fischer02628de2015-04-14 02:10:35 +00001607uint64_t RuntimeDyldELF::allocateGOTEntries(unsigned SectionID, unsigned no)
1608{
1609 (void)SectionID; // The GOT Section is the same for all section in the object file
1610 if (GOTSectionID == 0) {
1611 GOTSectionID = Sections.size();
1612 // Reserve a section id. We'll allocate the section later
1613 // once we know the total size
1614 Sections.push_back(SectionEntry(".got", 0, 0, 0));
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001615 }
Keno Fischer02628de2015-04-14 02:10:35 +00001616 uint64_t StartOffset = CurrentGOTIndex * getGOTEntrySize();
1617 CurrentGOTIndex += no;
1618 return StartOffset;
1619}
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001620
Keno Fischer02628de2015-04-14 02:10:35 +00001621void RuntimeDyldELF::resolveGOTOffsetRelocation(unsigned SectionID, uint64_t Offset, uint64_t GOTOffset)
1622{
1623 // Fill in the relative address of the GOT Entry into the stub
1624 RelocationEntry GOTRE(SectionID, Offset, ELF::R_X86_64_PC32, GOTOffset);
1625 addRelocationForSection(GOTRE, GOTSectionID);
1626}
1627
1628RelocationEntry RuntimeDyldELF::computeGOTOffsetRE(unsigned SectionID, uint64_t GOTOffset, uint64_t SymbolOffset,
1629 uint32_t Type)
1630{
1631 (void)SectionID; // The GOT Section is the same for all section in the object file
1632 return RelocationEntry(GOTSectionID, GOTOffset, Type, SymbolOffset);
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001633}
1634
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001635void RuntimeDyldELF::finalizeLoad(const ObjectFile &Obj,
Lang Hames36072da2014-05-12 21:39:59 +00001636 ObjSectionToIDMap &SectionMap) {
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001637 // If necessary, allocate the global offset table
Keno Fischer02628de2015-04-14 02:10:35 +00001638 if (GOTSectionID != 0) {
Lang Hames633fe142015-03-30 03:37:06 +00001639 // Allocate memory for the section
Keno Fischer02628de2015-04-14 02:10:35 +00001640 size_t TotalSize = CurrentGOTIndex * getGOTEntrySize();
Lang Hames633fe142015-03-30 03:37:06 +00001641 uint8_t *Addr = MemMgr.allocateDataSection(TotalSize, getGOTEntrySize(),
Keno Fischer02628de2015-04-14 02:10:35 +00001642 GOTSectionID, ".got", false);
Lang Hames633fe142015-03-30 03:37:06 +00001643 if (!Addr)
1644 report_fatal_error("Unable to allocate memory for GOT!");
Andrew Kaylor480dcb32013-10-05 01:52:09 +00001645
Keno Fischer02628de2015-04-14 02:10:35 +00001646 Sections[GOTSectionID] = SectionEntry(".got", Addr, TotalSize, 0);
1647
1648 if (Checker)
1649 Checker->registerSection(Obj.getFileName(), GOTSectionID);
1650
Lang Hames633fe142015-03-30 03:37:06 +00001651 // For now, initialize all GOT entries to zero. We'll fill them in as
1652 // needed when GOT-based relocations are applied.
1653 memset(Addr, 0, TotalSize);
Petar Jovanovic97202832015-05-28 13:48:41 +00001654 if (IsMipsN64ABI) {
1655 // To correctly resolve Mips GOT relocations, we need a mapping from
1656 // object's sections to GOTs.
1657 for (section_iterator SI = Obj.section_begin(), SE = Obj.section_end();
1658 SI != SE; ++SI) {
1659 if (SI->relocation_begin() != SI->relocation_end()) {
1660 section_iterator RelocatedSection = SI->getRelocatedSection();
1661 ObjSectionToIDMap::iterator i = SectionMap.find(*RelocatedSection);
1662 assert (i != SectionMap.end());
1663 SectionToGOTMap[i->second] = GOTSectionID;
1664 }
1665 }
1666 GOTSymbolOffsets.clear();
1667 }
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001668 }
Andrew Kaylor7bb13442013-10-11 21:25:48 +00001669
1670 // Look for and record the EH frame section.
1671 ObjSectionToIDMap::iterator i, e;
1672 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
1673 const SectionRef &Section = i->first;
1674 StringRef Name;
1675 Section.getName(Name);
1676 if (Name == ".eh_frame") {
1677 UnregisteredEHFrameSections.push_back(i->second);
1678 break;
1679 }
1680 }
Keno Fischer02628de2015-04-14 02:10:35 +00001681
1682 GOTSectionID = 0;
1683 CurrentGOTIndex = 0;
Andrew Kaylor4612fed2013-08-19 23:27:43 +00001684}
1685
Lang Hamesb5c7b1f2014-11-26 16:54:40 +00001686bool RuntimeDyldELF::isCompatibleFile(const object::ObjectFile &Obj) const {
1687 return Obj.isELF();
Lang Hames173c69f2014-01-08 04:09:09 +00001688}
1689
Eli Bendersky4c647582012-01-16 08:56:09 +00001690} // namespace llvm