blob: 5e361ef64adee435c9cf867b1309414c5ee8ed5a [file] [log] [blame]
Jim Grosbache0934be2012-01-16 23:50:58 +00001//===-- RuntimeDyldELF.cpp - Run-time dynamic linker for MC-JIT -*- C++ -*-===//
Eli Benderskya66a1852012-01-16 08:56:09 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// Implementation of ELF support for the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dyld"
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000015#include "RuntimeDyldELF.h"
16#include "JITRegistrar.h"
17#include "ObjectImageCommon.h"
Eli Benderskya66a1852012-01-16 08:56:09 +000018#include "llvm/ADT/IntervalMap.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000019#include "llvm/ADT/OwningPtr.h"
20#include "llvm/ADT/STLExtras.h"
21#include "llvm/ADT/StringRef.h"
Eli Benderskya66a1852012-01-16 08:56:09 +000022#include "llvm/ADT/Triple.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000023#include "llvm/ExecutionEngine/ObjectBuffer.h"
24#include "llvm/ExecutionEngine/ObjectImage.h"
Preston Gurd689ff9c2012-04-16 22:12:58 +000025#include "llvm/Object/ELF.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000026#include "llvm/Object/ObjectFile.h"
27#include "llvm/Support/ELF.h"
Eli Benderskya66a1852012-01-16 08:56:09 +000028using namespace llvm;
29using namespace llvm::object;
30
Preston Gurd689ff9c2012-04-16 22:12:58 +000031namespace {
32
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +000033static inline
34error_code check(error_code Err) {
35 if (Err) {
36 report_fatal_error(Err.message());
37 }
38 return Err;
39}
40
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000041template<class ELFT>
Michael J. Spencer4d9c5392013-01-04 20:36:28 +000042class DyldELFObject
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000043 : public ELFObjectFile<ELFT> {
Rafael Espindola43239072013-04-17 21:20:55 +000044 LLVM_ELF_IMPORT_TYPES_ELFT(ELFT)
Preston Gurd689ff9c2012-04-16 22:12:58 +000045
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000046 typedef Elf_Shdr_Impl<ELFT> Elf_Shdr;
47 typedef Elf_Sym_Impl<ELFT> Elf_Sym;
Michael J. Spencer4d9c5392013-01-04 20:36:28 +000048 typedef
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000049 Elf_Rel_Impl<ELFT, false> Elf_Rel;
Michael J. Spencer4d9c5392013-01-04 20:36:28 +000050 typedef
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000051 Elf_Rel_Impl<ELFT, true> Elf_Rela;
Preston Gurd689ff9c2012-04-16 22:12:58 +000052
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000053 typedef Elf_Ehdr_Impl<ELFT> Elf_Ehdr;
Preston Gurd689ff9c2012-04-16 22:12:58 +000054
55 typedef typename ELFDataTypeTypedefHelper<
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000056 ELFT>::value_type addr_type;
Preston Gurd689ff9c2012-04-16 22:12:58 +000057
Preston Gurd689ff9c2012-04-16 22:12:58 +000058public:
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000059 DyldELFObject(MemoryBuffer *Wrapper, error_code &ec);
Preston Gurd689ff9c2012-04-16 22:12:58 +000060
61 void updateSectionAddress(const SectionRef &Sec, uint64_t Addr);
62 void updateSymbolAddress(const SymbolRef &Sym, uint64_t Addr);
63
Andrew Kaylor2e319872012-07-27 17:52:42 +000064 // Methods for type inquiry through isa, cast and dyn_cast
Preston Gurd689ff9c2012-04-16 22:12:58 +000065 static inline bool classof(const Binary *v) {
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000066 return (isa<ELFObjectFile<ELFT> >(v)
Michael J. Spencer4d9c5392013-01-04 20:36:28 +000067 && classof(cast<ELFObjectFile
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000068 <ELFT> >(v)));
Preston Gurd689ff9c2012-04-16 22:12:58 +000069 }
70 static inline bool classof(
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000071 const ELFObjectFile<ELFT> *v) {
Preston Gurd689ff9c2012-04-16 22:12:58 +000072 return v->isDyldType();
73 }
Preston Gurd689ff9c2012-04-16 22:12:58 +000074};
75
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000076template<class ELFT>
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000077class ELFObjectImage : public ObjectImageCommon {
Preston Gurd689ff9c2012-04-16 22:12:58 +000078 protected:
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000079 DyldELFObject<ELFT> *DyldObj;
Preston Gurd689ff9c2012-04-16 22:12:58 +000080 bool Registered;
81
82 public:
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000083 ELFObjectImage(ObjectBuffer *Input,
Michael J. Spencerac97f5c2013-01-15 07:44:25 +000084 DyldELFObject<ELFT> *Obj)
Andrew Kaylor3f23cef2012-10-02 21:18:39 +000085 : ObjectImageCommon(Input, Obj),
Preston Gurd689ff9c2012-04-16 22:12:58 +000086 DyldObj(Obj),
87 Registered(false) {}
88
89 virtual ~ELFObjectImage() {
90 if (Registered)
91 deregisterWithDebugger();
92 }
93
94 // Subclasses can override these methods to update the image with loaded
95 // addresses for sections and common symbols
96 virtual void updateSectionAddress(const SectionRef &Sec, uint64_t Addr)
97 {
98 DyldObj->updateSectionAddress(Sec, Addr);
99 }
100
101 virtual void updateSymbolAddress(const SymbolRef &Sym, uint64_t Addr)
102 {
103 DyldObj->updateSymbolAddress(Sym, Addr);
104 }
105
106 virtual void registerWithDebugger()
107 {
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000108 JITRegistrar::getGDBRegistrar().registerObject(*Buffer);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000109 Registered = true;
110 }
111 virtual void deregisterWithDebugger()
112 {
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000113 JITRegistrar::getGDBRegistrar().deregisterObject(*Buffer);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000114 }
115};
116
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000117// The MemoryBuffer passed into this constructor is just a wrapper around the
118// actual memory. Ultimately, the Binary parent class will take ownership of
119// this MemoryBuffer object but not the underlying memory.
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000120template<class ELFT>
121DyldELFObject<ELFT>::DyldELFObject(MemoryBuffer *Wrapper, error_code &ec)
122 : ELFObjectFile<ELFT>(Wrapper, ec) {
Preston Gurd689ff9c2012-04-16 22:12:58 +0000123 this->isDyldELFObject = true;
124}
125
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000126template<class ELFT>
127void DyldELFObject<ELFT>::updateSectionAddress(const SectionRef &Sec,
128 uint64_t Addr) {
Preston Gurd689ff9c2012-04-16 22:12:58 +0000129 DataRefImpl ShdrRef = Sec.getRawDataRefImpl();
130 Elf_Shdr *shdr = const_cast<Elf_Shdr*>(
131 reinterpret_cast<const Elf_Shdr *>(ShdrRef.p));
132
133 // This assumes the address passed in matches the target address bitness
134 // The template-based type cast handles everything else.
135 shdr->sh_addr = static_cast<addr_type>(Addr);
136}
137
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000138template<class ELFT>
139void DyldELFObject<ELFT>::updateSymbolAddress(const SymbolRef &SymRef,
140 uint64_t Addr) {
Preston Gurd689ff9c2012-04-16 22:12:58 +0000141
142 Elf_Sym *sym = const_cast<Elf_Sym*>(
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000143 ELFObjectFile<ELFT>::getSymbol(SymRef.getRawDataRefImpl()));
Preston Gurd689ff9c2012-04-16 22:12:58 +0000144
145 // This assumes the address passed in matches the target address bitness
146 // The template-based type cast handles everything else.
147 sym->st_value = static_cast<addr_type>(Addr);
148}
149
150} // namespace
151
Eli Benderskya66a1852012-01-16 08:56:09 +0000152namespace llvm {
153
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000154ObjectImage *RuntimeDyldELF::createObjectImage(ObjectBuffer *Buffer) {
155 if (Buffer->getBufferSize() < ELF::EI_NIDENT)
156 llvm_unreachable("Unexpected ELF object size");
157 std::pair<unsigned char, unsigned char> Ident = std::make_pair(
158 (uint8_t)Buffer->getBufferStart()[ELF::EI_CLASS],
159 (uint8_t)Buffer->getBufferStart()[ELF::EI_DATA]);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000160 error_code ec;
161
162 if (Ident.first == ELF::ELFCLASS32 && Ident.second == ELF::ELFDATA2LSB) {
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000163 DyldELFObject<ELFType<support::little, 4, false> > *Obj =
164 new DyldELFObject<ELFType<support::little, 4, false> >(
165 Buffer->getMemBuffer(), ec);
166 return new ELFObjectImage<ELFType<support::little, 4, false> >(Buffer, Obj);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000167 }
168 else if (Ident.first == ELF::ELFCLASS32 && Ident.second == ELF::ELFDATA2MSB) {
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000169 DyldELFObject<ELFType<support::big, 4, false> > *Obj =
170 new DyldELFObject<ELFType<support::big, 4, false> >(
171 Buffer->getMemBuffer(), ec);
172 return new ELFObjectImage<ELFType<support::big, 4, false> >(Buffer, Obj);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000173 }
174 else if (Ident.first == ELF::ELFCLASS64 && Ident.second == ELF::ELFDATA2MSB) {
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000175 DyldELFObject<ELFType<support::big, 8, true> > *Obj =
176 new DyldELFObject<ELFType<support::big, 8, true> >(
177 Buffer->getMemBuffer(), ec);
178 return new ELFObjectImage<ELFType<support::big, 8, true> >(Buffer, Obj);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000179 }
180 else if (Ident.first == ELF::ELFCLASS64 && Ident.second == ELF::ELFDATA2LSB) {
Michael J. Spencerac97f5c2013-01-15 07:44:25 +0000181 DyldELFObject<ELFType<support::little, 8, true> > *Obj =
182 new DyldELFObject<ELFType<support::little, 8, true> >(
183 Buffer->getMemBuffer(), ec);
184 return new ELFObjectImage<ELFType<support::little, 8, true> >(Buffer, Obj);
Preston Gurd689ff9c2012-04-16 22:12:58 +0000185 }
186 else
187 llvm_unreachable("Unexpected ELF format");
188}
189
Preston Gurd689ff9c2012-04-16 22:12:58 +0000190RuntimeDyldELF::~RuntimeDyldELF() {
Preston Gurd689ff9c2012-04-16 22:12:58 +0000191}
Eli Benderskya66a1852012-01-16 08:56:09 +0000192
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000193void RuntimeDyldELF::resolveX86_64Relocation(const SectionEntry &Section,
194 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000195 uint64_t Value,
196 uint32_t Type,
197 int64_t Addend) {
198 switch (Type) {
199 default:
200 llvm_unreachable("Relocation type not implemented yet!");
201 break;
Eli Benderskya66a1852012-01-16 08:56:09 +0000202 case ELF::R_X86_64_64: {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000203 uint64_t *Target = reinterpret_cast<uint64_t*>(Section.Address + Offset);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000204 *Target = Value + Addend;
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000205 DEBUG(dbgs() << "Writing " << format("%p", (Value + Addend))
206 << " at " << format("%p\n",Target));
Eli Benderskya66a1852012-01-16 08:56:09 +0000207 break;
208 }
209 case ELF::R_X86_64_32:
210 case ELF::R_X86_64_32S: {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000211 Value += Addend;
Andrew Kaylord83a5472012-07-27 20:30:12 +0000212 assert((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) ||
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000213 (Type == ELF::R_X86_64_32S &&
Andrew Kaylord83a5472012-07-27 20:30:12 +0000214 ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN)));
Eli Benderskya66a1852012-01-16 08:56:09 +0000215 uint32_t TruncatedAddr = (Value & 0xFFFFFFFF);
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000216 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
Eli Benderskya66a1852012-01-16 08:56:09 +0000217 *Target = TruncatedAddr;
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000218 DEBUG(dbgs() << "Writing " << format("%p", TruncatedAddr)
219 << " at " << format("%p\n",Target));
Eli Benderskya66a1852012-01-16 08:56:09 +0000220 break;
221 }
222 case ELF::R_X86_64_PC32: {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000223 // Get the placeholder value from the generated object since
224 // a previous relocation attempt may have overwritten the loaded version
225 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
226 + Offset);
227 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
228 uint64_t FinalAddress = Section.LoadAddress + Offset;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000229 int64_t RealOffset = *Placeholder + Value + Addend - FinalAddress;
Andrew Kaylord83a5472012-07-27 20:30:12 +0000230 assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000231 int32_t TruncOffset = (RealOffset & 0xFFFFFFFF);
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000232 *Target = TruncOffset;
Eli Benderskya66a1852012-01-16 08:56:09 +0000233 break;
234 }
235 }
236}
237
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000238void RuntimeDyldELF::resolveX86Relocation(const SectionEntry &Section,
239 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000240 uint32_t Value,
241 uint32_t Type,
242 int32_t Addend) {
243 switch (Type) {
Eli Benderskya66a1852012-01-16 08:56:09 +0000244 case ELF::R_386_32: {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000245 // Get the placeholder value from the generated object since
246 // a previous relocation attempt may have overwritten the loaded version
247 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
248 + Offset);
249 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
250 *Target = *Placeholder + Value + Addend;
Eli Benderskya66a1852012-01-16 08:56:09 +0000251 break;
252 }
253 case ELF::R_386_PC32: {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000254 // Get the placeholder value from the generated object since
255 // a previous relocation attempt may have overwritten the loaded version
256 uint32_t *Placeholder = reinterpret_cast<uint32_t*>(Section.ObjAddress
257 + Offset);
258 uint32_t *Target = reinterpret_cast<uint32_t*>(Section.Address + Offset);
259 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000260 uint32_t RealOffset = *Placeholder + Value + Addend - FinalAddress;
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000261 *Target = RealOffset;
Eli Benderskya66a1852012-01-16 08:56:09 +0000262 break;
263 }
264 default:
265 // There are other relocation types, but it appears these are the
Andrew Kaylore2e73bd2012-07-27 18:39:47 +0000266 // only ones currently used by the LLVM ELF object writer
Craig Topper85814382012-02-07 05:05:23 +0000267 llvm_unreachable("Relocation type not implemented yet!");
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000268 break;
Eli Benderskya66a1852012-01-16 08:56:09 +0000269 }
270}
271
Tim Northover85829bb2013-05-04 20:13:59 +0000272void RuntimeDyldELF::resolveAArch64Relocation(const SectionEntry &Section,
273 uint64_t Offset,
274 uint64_t Value,
275 uint32_t Type,
276 int64_t Addend) {
277 uint32_t *TargetPtr = reinterpret_cast<uint32_t*>(Section.Address + Offset);
278 uint64_t FinalAddress = Section.LoadAddress + Offset;
279
280 DEBUG(dbgs() << "resolveAArch64Relocation, LocalAddress: 0x"
281 << format("%llx", Section.Address + Offset)
282 << " FinalAddress: 0x" << format("%llx",FinalAddress)
283 << " Value: 0x" << format("%llx",Value)
284 << " Type: 0x" << format("%x",Type)
285 << " Addend: 0x" << format("%llx",Addend)
286 << "\n");
287
288 switch (Type) {
289 default:
290 llvm_unreachable("Relocation type not implemented yet!");
291 break;
292 case ELF::R_AARCH64_PREL32: { // test-shift.ll (.eh_frame)
293 uint64_t Result = Value + Addend - FinalAddress;
294 assert(static_cast<int64_t>(Result) >= INT32_MIN &&
295 static_cast<int64_t>(Result) <= UINT32_MAX);
296 *TargetPtr = static_cast<uint32_t>(Result & 0xffffffffU);
297 break;
298 }
Tim Northover654c2d62013-05-04 20:14:04 +0000299 case ELF::R_AARCH64_MOVW_UABS_G3: {
300 uint64_t Result = Value + Addend;
301 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
302 *TargetPtr |= Result >> (48 - 5);
303 // Shift is "lsl #48", in bits 22:21
304 *TargetPtr |= 3 << 21;
305 break;
306 }
307 case ELF::R_AARCH64_MOVW_UABS_G2_NC: {
308 uint64_t Result = Value + Addend;
309 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
310 *TargetPtr |= ((Result & 0xffff00000000ULL) >> (32 - 5));
311 // Shift is "lsl #32", in bits 22:21
312 *TargetPtr |= 2 << 21;
313 break;
314 }
315 case ELF::R_AARCH64_MOVW_UABS_G1_NC: {
316 uint64_t Result = Value + Addend;
317 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
318 *TargetPtr |= ((Result & 0xffff0000U) >> (16 - 5));
319 // Shift is "lsl #16", in bits 22:21
320 *TargetPtr |= 1 << 21;
321 break;
322 }
323 case ELF::R_AARCH64_MOVW_UABS_G0_NC: {
324 uint64_t Result = Value + Addend;
325 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
326 *TargetPtr |= ((Result & 0xffffU) << 5);
327 // Shift is "lsl #0", in bits 22:21. No action needed.
328 break;
329 }
Tim Northover85829bb2013-05-04 20:13:59 +0000330 }
331}
332
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000333void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
334 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000335 uint32_t Value,
336 uint32_t Type,
337 int32_t Addend) {
338 // TODO: Add Thumb relocations.
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000339 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
340 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000341 Value += Addend;
342
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000343 DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
344 << Section.Address + Offset
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000345 << " FinalAddress: " << format("%p",FinalAddress)
346 << " Value: " << format("%x",Value)
347 << " Type: " << format("%x",Type)
348 << " Addend: " << format("%x",Addend)
349 << "\n");
350
351 switch(Type) {
352 default:
353 llvm_unreachable("Not implemented relocation type!");
354
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000355 // Write a 32bit value to relocation address, taking into account the
Tim Northover565ebde2012-10-03 16:29:42 +0000356 // implicit addend encoded in the target.
Amara Emerson098d6d52012-11-16 11:11:59 +0000357 case ELF::R_ARM_TARGET1 :
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000358 case ELF::R_ARM_ABS32 :
Tim Northover565ebde2012-10-03 16:29:42 +0000359 *TargetPtr += Value;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000360 break;
361
362 // Write first 16 bit of 32 bit value to the mov instruction.
363 // Last 4 bit should be shifted.
364 case ELF::R_ARM_MOVW_ABS_NC :
Tim Northover565ebde2012-10-03 16:29:42 +0000365 // We are not expecting any other addend in the relocation address.
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000366 // Using 0x000F0FFF because MOVW has its 16 bit immediate split into 2
Tim Northover565ebde2012-10-03 16:29:42 +0000367 // non-contiguous fields.
368 assert((*TargetPtr & 0x000F0FFF) == 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000369 Value = Value & 0xFFFF;
370 *TargetPtr |= Value & 0xFFF;
371 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
372 break;
373
374 // Write last 16 bit of 32 bit value to the mov instruction.
375 // Last 4 bit should be shifted.
376 case ELF::R_ARM_MOVT_ABS :
Tim Northover565ebde2012-10-03 16:29:42 +0000377 // We are not expecting any other addend in the relocation address.
378 // Use 0x000F0FFF for the same reason as R_ARM_MOVW_ABS_NC.
379 assert((*TargetPtr & 0x000F0FFF) == 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000380 Value = (Value >> 16) & 0xFFFF;
381 *TargetPtr |= Value & 0xFFF;
382 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
383 break;
384
385 // Write 24 bit relative value to the branch instruction.
386 case ELF::R_ARM_PC24 : // Fall through.
387 case ELF::R_ARM_CALL : // Fall through.
388 case ELF::R_ARM_JUMP24 :
389 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
390 RelValue = (RelValue & 0x03FFFFFC) >> 2;
391 *TargetPtr &= 0xFF000000;
392 *TargetPtr |= RelValue;
393 break;
394 }
Eli Benderskya66a1852012-01-16 08:56:09 +0000395}
396
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000397void RuntimeDyldELF::resolveMIPSRelocation(const SectionEntry &Section,
398 uint64_t Offset,
Akira Hatanakab862f092012-08-20 17:53:24 +0000399 uint32_t Value,
400 uint32_t Type,
401 int32_t Addend) {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000402 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000403 Value += Addend;
404
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000405 DEBUG(dbgs() << "resolveMipselocation, LocalAddress: "
406 << Section.Address + Offset
407 << " FinalAddress: "
408 << format("%p",Section.LoadAddress + Offset)
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000409 << " Value: " << format("%x",Value)
410 << " Type: " << format("%x",Type)
411 << " Addend: " << format("%x",Addend)
412 << "\n");
413
414 switch(Type) {
415 default:
416 llvm_unreachable("Not implemented relocation type!");
417 break;
418 case ELF::R_MIPS_32:
419 *TargetPtr = Value + (*TargetPtr);
420 break;
421 case ELF::R_MIPS_26:
422 *TargetPtr = ((*TargetPtr) & 0xfc000000) | (( Value & 0x0fffffff) >> 2);
423 break;
424 case ELF::R_MIPS_HI16:
425 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
426 Value += ((*TargetPtr) & 0x0000ffff) << 16;
427 *TargetPtr = ((*TargetPtr) & 0xffff0000) |
428 (((Value + 0x8000) >> 16) & 0xffff);
429 break;
430 case ELF::R_MIPS_LO16:
431 Value += ((*TargetPtr) & 0x0000ffff);
432 *TargetPtr = ((*TargetPtr) & 0xffff0000) | (Value & 0xffff);
433 break;
434 }
435}
436
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000437// Return the .TOC. section address to R_PPC64_TOC relocations.
438uint64_t RuntimeDyldELF::findPPC64TOC() const {
439 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
440 // order. The TOC starts where the first of these sections starts.
441 SectionList::const_iterator it = Sections.begin();
442 SectionList::const_iterator ite = Sections.end();
443 for (; it != ite; ++it) {
444 if (it->Name == ".got" ||
445 it->Name == ".toc" ||
446 it->Name == ".tocbss" ||
447 it->Name == ".plt")
448 break;
449 }
450 if (it == ite) {
451 // This may happen for
452 // * references to TOC base base (sym@toc, .odp relocation) without
453 // a .toc directive.
454 // In this case just use the first section (which is usually
455 // the .odp) since the code won't reference the .toc base
456 // directly.
457 it = Sections.begin();
458 }
459 assert (it != ite);
460 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
461 // thus permitting a full 64 Kbytes segment.
462 return it->LoadAddress + 0x8000;
463}
464
465// Returns the sections and offset associated with the ODP entry referenced
466// by Symbol.
467void RuntimeDyldELF::findOPDEntrySection(ObjectImage &Obj,
468 ObjSectionToIDMap &LocalSections,
469 RelocationValueRef &Rel) {
470 // Get the ELF symbol value (st_value) to compare with Relocation offset in
471 // .opd entries
472
473 error_code err;
474 for (section_iterator si = Obj.begin_sections(),
475 se = Obj.end_sections(); si != se; si.increment(err)) {
476 StringRef SectionName;
477 check(si->getName(SectionName));
478 if (SectionName != ".opd")
479 continue;
480
481 for (relocation_iterator i = si->begin_relocations(),
482 e = si->end_relocations(); i != e;) {
483 check(err);
484
485 // The R_PPC64_ADDR64 relocation indicates the first field
486 // of a .opd entry
487 uint64_t TypeFunc;
488 check(i->getType(TypeFunc));
489 if (TypeFunc != ELF::R_PPC64_ADDR64) {
490 i.increment(err);
491 continue;
492 }
493
494 SymbolRef TargetSymbol;
495 uint64_t TargetSymbolOffset;
496 int64_t TargetAdditionalInfo;
497 check(i->getSymbol(TargetSymbol));
498 check(i->getOffset(TargetSymbolOffset));
499 check(i->getAdditionalInfo(TargetAdditionalInfo));
500
501 i = i.increment(err);
502 if (i == e)
503 break;
504 check(err);
505
506 // Just check if following relocation is a R_PPC64_TOC
507 uint64_t TypeTOC;
508 check(i->getType(TypeTOC));
509 if (TypeTOC != ELF::R_PPC64_TOC)
510 continue;
511
512 // Finally compares the Symbol value and the target symbol offset
513 // to check if this .opd entry refers to the symbol the relocation
514 // points to.
515 if (Rel.Addend != (intptr_t)TargetSymbolOffset)
516 continue;
517
518 section_iterator tsi(Obj.end_sections());
519 check(TargetSymbol.getSection(tsi));
520 Rel.SectionID = findOrEmitSection(Obj, (*tsi), true, LocalSections);
521 Rel.Addend = (intptr_t)TargetAdditionalInfo;
522 return;
523 }
524 }
525 llvm_unreachable("Attempting to get address of ODP entry!");
526}
527
528// Relocation masks following the #lo(value), #hi(value), #higher(value),
529// and #highest(value) macros defined in section 4.5.1. Relocation Types
530// in PPC-elf64abi document.
531//
532static inline
533uint16_t applyPPClo (uint64_t value)
534{
535 return value & 0xffff;
536}
537
538static inline
539uint16_t applyPPChi (uint64_t value)
540{
541 return (value >> 16) & 0xffff;
542}
543
544static inline
545uint16_t applyPPChigher (uint64_t value)
546{
547 return (value >> 32) & 0xffff;
548}
549
550static inline
551uint16_t applyPPChighest (uint64_t value)
552{
553 return (value >> 48) & 0xffff;
554}
555
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000556void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
557 uint64_t Offset,
558 uint64_t Value,
559 uint32_t Type,
560 int64_t Addend) {
561 uint8_t* LocalAddress = Section.Address + Offset;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000562 switch (Type) {
563 default:
564 llvm_unreachable("Relocation type not implemented yet!");
565 break;
566 case ELF::R_PPC64_ADDR16_LO :
567 writeInt16BE(LocalAddress, applyPPClo (Value + Addend));
568 break;
569 case ELF::R_PPC64_ADDR16_HI :
570 writeInt16BE(LocalAddress, applyPPChi (Value + Addend));
571 break;
572 case ELF::R_PPC64_ADDR16_HIGHER :
573 writeInt16BE(LocalAddress, applyPPChigher (Value + Addend));
574 break;
575 case ELF::R_PPC64_ADDR16_HIGHEST :
576 writeInt16BE(LocalAddress, applyPPChighest (Value + Addend));
577 break;
578 case ELF::R_PPC64_ADDR14 : {
579 assert(((Value + Addend) & 3) == 0);
580 // Preserve the AA/LK bits in the branch instruction
581 uint8_t aalk = *(LocalAddress+3);
582 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
583 } break;
Adhemerval Zanella7b449882013-01-04 19:08:13 +0000584 case ELF::R_PPC64_ADDR32 : {
585 int32_t Result = static_cast<int32_t>(Value + Addend);
586 if (SignExtend32<32>(Result) != Result)
Adhemerval Zanellaa1db5de2013-01-09 17:08:15 +0000587 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella7b449882013-01-04 19:08:13 +0000588 writeInt32BE(LocalAddress, Result);
589 } break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000590 case ELF::R_PPC64_REL24 : {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000591 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000592 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
593 if (SignExtend32<24>(delta) != delta)
594 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
595 // Generates a 'bl <address>' instruction
596 writeInt32BE(LocalAddress, 0x48000001 | (delta & 0x03FFFFFC));
597 } break;
Adhemerval Zanellaa1db5de2013-01-09 17:08:15 +0000598 case ELF::R_PPC64_REL32 : {
599 uint64_t FinalAddress = (Section.LoadAddress + Offset);
600 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
601 if (SignExtend32<32>(delta) != delta)
602 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
603 writeInt32BE(LocalAddress, delta);
604 } break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000605 case ELF::R_PPC64_ADDR64 :
606 writeInt64BE(LocalAddress, Value + Addend);
607 break;
608 case ELF::R_PPC64_TOC :
609 writeInt64BE(LocalAddress, findPPC64TOC());
610 break;
611 case ELF::R_PPC64_TOC16 : {
612 uint64_t TOCStart = findPPC64TOC();
613 Value = applyPPClo((Value + Addend) - TOCStart);
614 writeInt16BE(LocalAddress, applyPPClo(Value));
615 } break;
616 case ELF::R_PPC64_TOC16_DS : {
617 uint64_t TOCStart = findPPC64TOC();
618 Value = ((Value + Addend) - TOCStart);
619 writeInt16BE(LocalAddress, applyPPClo(Value));
620 } break;
621 }
622}
623
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000624void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
625 uint64_t Offset,
626 uint64_t Value,
627 uint32_t Type,
628 int64_t Addend) {
629 uint8_t *LocalAddress = Section.Address + Offset;
630 switch (Type) {
631 default:
632 llvm_unreachable("Relocation type not implemented yet!");
633 break;
634 case ELF::R_390_PC16DBL:
635 case ELF::R_390_PLT16DBL: {
636 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
637 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
638 writeInt16BE(LocalAddress, Delta / 2);
639 break;
640 }
641 case ELF::R_390_PC32DBL:
642 case ELF::R_390_PLT32DBL: {
643 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
644 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
645 writeInt32BE(LocalAddress, Delta / 2);
646 break;
647 }
648 case ELF::R_390_PC32: {
649 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
650 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
651 writeInt32BE(LocalAddress, Delta);
652 break;
653 }
654 case ELF::R_390_64:
655 writeInt64BE(LocalAddress, Value + Addend);
656 break;
657 }
658}
659
Rafael Espindola87b50172013-04-29 17:24:34 +0000660void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
661 uint64_t Value) {
662 const SectionEntry &Section = Sections[RE.SectionID];
663 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend);
664}
665
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000666void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
667 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000668 uint64_t Value,
669 uint32_t Type,
670 int64_t Addend) {
Eli Benderskya66a1852012-01-16 08:56:09 +0000671 switch (Arch) {
672 case Triple::x86_64:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000673 resolveX86_64Relocation(Section, Offset, Value, Type, Addend);
Eli Benderskya66a1852012-01-16 08:56:09 +0000674 break;
675 case Triple::x86:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000676 resolveX86Relocation(Section, Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000677 (uint32_t)(Value & 0xffffffffL), Type,
678 (uint32_t)(Addend & 0xffffffffL));
Eli Benderskya66a1852012-01-16 08:56:09 +0000679 break;
Tim Northover85829bb2013-05-04 20:13:59 +0000680 case Triple::aarch64:
681 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
682 break;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000683 case Triple::arm: // Fall through.
684 case Triple::thumb:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000685 resolveARMRelocation(Section, Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000686 (uint32_t)(Value & 0xffffffffL), Type,
687 (uint32_t)(Addend & 0xffffffffL));
Eli Benderskya66a1852012-01-16 08:56:09 +0000688 break;
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000689 case Triple::mips: // Fall through.
690 case Triple::mipsel:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000691 resolveMIPSRelocation(Section, Offset,
Akira Hatanakab862f092012-08-20 17:53:24 +0000692 (uint32_t)(Value & 0xffffffffL), Type,
693 (uint32_t)(Addend & 0xffffffffL));
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000694 break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000695 case Triple::ppc64:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000696 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000697 break;
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000698 case Triple::systemz:
699 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
700 break;
Craig Topper85814382012-02-07 05:05:23 +0000701 default: llvm_unreachable("Unsupported CPU type!");
Eli Benderskya66a1852012-01-16 08:56:09 +0000702 }
703}
704
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000705void RuntimeDyldELF::processRelocationRef(unsigned SectionID,
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000706 RelocationRef RelI,
Preston Gurd689ff9c2012-04-16 22:12:58 +0000707 ObjectImage &Obj,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000708 ObjSectionToIDMap &ObjSectionToID,
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000709 const SymbolTableMap &Symbols,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000710 StubMap &Stubs) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000711 uint64_t RelType;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000712 Check(RelI.getType(RelType));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000713 int64_t Addend;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000714 Check(RelI.getAdditionalInfo(Addend));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000715 SymbolRef Symbol;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000716 Check(RelI.getSymbol(Symbol));
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000717
718 // Obtain the symbol name which is referenced in the relocation
719 StringRef TargetName;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000720 Symbol.getName(TargetName);
721 DEBUG(dbgs() << "\t\tRelType: " << RelType
722 << " Addend: " << Addend
723 << " TargetName: " << TargetName
724 << "\n");
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000725 RelocationValueRef Value;
726 // First search for the symbol in the local symbol table
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000727 SymbolTableMap::const_iterator lsi = Symbols.find(TargetName.data());
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000728 SymbolRef::Type SymType;
729 Symbol.getType(SymType);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000730 if (lsi != Symbols.end()) {
731 Value.SectionID = lsi->second.first;
Ulrich Weigand03f018a2013-04-05 13:29:04 +0000732 Value.Addend = lsi->second.second + Addend;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000733 } else {
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000734 // Search for the symbol in the global symbol table
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000735 SymbolTableMap::const_iterator gsi =
736 GlobalSymbolTable.find(TargetName.data());
737 if (gsi != GlobalSymbolTable.end()) {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000738 Value.SectionID = gsi->second.first;
Ulrich Weigand03f018a2013-04-05 13:29:04 +0000739 Value.Addend = gsi->second.second + Addend;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000740 } else {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000741 switch (SymType) {
742 case SymbolRef::ST_Debug: {
743 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
744 // and can be changed by another developers. Maybe best way is add
745 // a new symbol type ST_Section to SymbolRef and use it.
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000746 section_iterator si(Obj.end_sections());
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000747 Symbol.getSection(si);
748 if (si == Obj.end_sections())
749 llvm_unreachable("Symbol section not found, bad object file format!");
750 DEBUG(dbgs() << "\t\tThis is section symbol\n");
Andrew Kaylorfa8cd9d2012-10-12 23:53:16 +0000751 // Default to 'true' in case isText fails (though it never does).
752 bool isCode = true;
753 si->isText(isCode);
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000754 Value.SectionID = findOrEmitSection(Obj,
755 (*si),
756 isCode,
Andrew Kaylorfa8cd9d2012-10-12 23:53:16 +0000757 ObjSectionToID);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000758 Value.Addend = Addend;
759 break;
760 }
761 case SymbolRef::ST_Unknown: {
762 Value.SymbolName = TargetName.data();
763 Value.Addend = Addend;
764 break;
765 }
766 default:
767 llvm_unreachable("Unresolved symbol type!");
768 break;
769 }
770 }
Eli Benderskya66a1852012-01-16 08:56:09 +0000771 }
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000772 uint64_t Offset;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000773 Check(RelI.getOffset(Offset));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000774
775 DEBUG(dbgs() << "\t\tSectionID: " << SectionID
776 << " Offset: " << Offset
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000777 << "\n");
778 if (Arch == Triple::arm &&
779 (RelType == ELF::R_ARM_PC24 ||
780 RelType == ELF::R_ARM_CALL ||
781 RelType == ELF::R_ARM_JUMP24)) {
782 // This is an ARM branch relocation, need to use a stub function.
783 DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.");
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000784 SectionEntry &Section = Sections[SectionID];
Eli Benderskya66a1852012-01-16 08:56:09 +0000785
Eric Christopherbf261f12012-10-23 17:19:15 +0000786 // Look for an existing stub.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000787 StubMap::const_iterator i = Stubs.find(Value);
788 if (i != Stubs.end()) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000789 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000790 (uint64_t)Section.Address + i->second, RelType, 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000791 DEBUG(dbgs() << " Stub function found\n");
792 } else {
793 // Create a new stub function.
794 DEBUG(dbgs() << " Create a new stub function\n");
795 Stubs[Value] = Section.StubOffset;
796 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
797 Section.StubOffset);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000798 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000799 ELF::R_ARM_ABS32, Value.Addend);
800 if (Value.SymbolName)
801 addRelocationForSymbol(RE, Value.SymbolName);
802 else
803 addRelocationForSection(RE, Value.SectionID);
804
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000805 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000806 (uint64_t)Section.Address + Section.StubOffset,
807 RelType, 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000808 Section.StubOffset += getMaxStubSize();
809 }
Akira Hatanakaade04742012-12-03 23:12:19 +0000810 } else if ((Arch == Triple::mipsel || Arch == Triple::mips) &&
811 RelType == ELF::R_MIPS_26) {
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000812 // This is an Mips branch relocation, need to use a stub function.
813 DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000814 SectionEntry &Section = Sections[SectionID];
815 uint8_t *Target = Section.Address + Offset;
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000816 uint32_t *TargetAddress = (uint32_t *)Target;
817
818 // Extract the addend from the instruction.
819 uint32_t Addend = ((*TargetAddress) & 0x03ffffff) << 2;
820
821 Value.Addend += Addend;
822
823 // Look up for existing stub.
824 StubMap::const_iterator i = Stubs.find(Value);
825 if (i != Stubs.end()) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000826 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000827 (uint64_t)Section.Address + i->second, RelType, 0);
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000828 DEBUG(dbgs() << " Stub function found\n");
829 } else {
830 // Create a new stub function.
831 DEBUG(dbgs() << " Create a new stub function\n");
832 Stubs[Value] = Section.StubOffset;
833 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
834 Section.StubOffset);
835
836 // Creating Hi and Lo relocations for the filled stub instructions.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000837 RelocationEntry REHi(SectionID,
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000838 StubTargetAddr - Section.Address,
839 ELF::R_MIPS_HI16, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000840 RelocationEntry RELo(SectionID,
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000841 StubTargetAddr - Section.Address + 4,
842 ELF::R_MIPS_LO16, Value.Addend);
843
844 if (Value.SymbolName) {
845 addRelocationForSymbol(REHi, Value.SymbolName);
846 addRelocationForSymbol(RELo, Value.SymbolName);
847 } else {
848 addRelocationForSection(REHi, Value.SectionID);
849 addRelocationForSection(RELo, Value.SectionID);
850 }
851
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000852 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000853 (uint64_t)Section.Address + Section.StubOffset,
854 RelType, 0);
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000855 Section.StubOffset += getMaxStubSize();
856 }
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000857 } else if (Arch == Triple::ppc64) {
858 if (RelType == ELF::R_PPC64_REL24) {
859 // A PPC branch relocation will need a stub function if the target is
860 // an external symbol (Symbol::ST_Unknown) or if the target address
861 // is not within the signed 24-bits branch address.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000862 SectionEntry &Section = Sections[SectionID];
863 uint8_t *Target = Section.Address + Offset;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000864 bool RangeOverflow = false;
865 if (SymType != SymbolRef::ST_Unknown) {
866 // A function call may points to the .opd entry, so the final symbol value
867 // in calculated based in the relocation values in .opd section.
868 findOPDEntrySection(Obj, ObjSectionToID, Value);
869 uint8_t *RelocTarget = Sections[Value.SectionID].Address + Value.Addend;
870 int32_t delta = static_cast<int32_t>(Target - RelocTarget);
871 // If it is within 24-bits branch range, just set the branch target
872 if (SignExtend32<24>(delta) == delta) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000873 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000874 if (Value.SymbolName)
875 addRelocationForSymbol(RE, Value.SymbolName);
876 else
877 addRelocationForSection(RE, Value.SectionID);
878 } else {
879 RangeOverflow = true;
880 }
881 }
882 if (SymType == SymbolRef::ST_Unknown || RangeOverflow == true) {
883 // It is an external symbol (SymbolRef::ST_Unknown) or within a range
884 // larger than 24-bits.
885 StubMap::const_iterator i = Stubs.find(Value);
886 if (i != Stubs.end()) {
887 // Symbol function stub already created, just relocate to it
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000888 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000889 (uint64_t)Section.Address + i->second, RelType, 0);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000890 DEBUG(dbgs() << " Stub function found\n");
891 } else {
892 // Create a new stub function.
893 DEBUG(dbgs() << " Create a new stub function\n");
894 Stubs[Value] = Section.StubOffset;
895 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
896 Section.StubOffset);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000897 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000898 ELF::R_PPC64_ADDR64, Value.Addend);
899
900 // Generates the 64-bits address loads as exemplified in section
901 // 4.5.1 in PPC64 ELF ABI.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000902 RelocationEntry REhst(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000903 StubTargetAddr - Section.Address + 2,
904 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000905 RelocationEntry REhr(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000906 StubTargetAddr - Section.Address + 6,
907 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000908 RelocationEntry REh(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000909 StubTargetAddr - Section.Address + 14,
910 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000911 RelocationEntry REl(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000912 StubTargetAddr - Section.Address + 18,
913 ELF::R_PPC64_ADDR16_LO, Value.Addend);
914
915 if (Value.SymbolName) {
916 addRelocationForSymbol(REhst, Value.SymbolName);
917 addRelocationForSymbol(REhr, Value.SymbolName);
918 addRelocationForSymbol(REh, Value.SymbolName);
919 addRelocationForSymbol(REl, Value.SymbolName);
920 } else {
921 addRelocationForSection(REhst, Value.SectionID);
922 addRelocationForSection(REhr, Value.SectionID);
923 addRelocationForSection(REh, Value.SectionID);
924 addRelocationForSection(REl, Value.SectionID);
925 }
926
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000927 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000928 (uint64_t)Section.Address + Section.StubOffset,
929 RelType, 0);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000930 if (SymType == SymbolRef::ST_Unknown)
931 // Restore the TOC for external calls
932 writeInt32BE(Target+4, 0xE8410028); // ld r2,40(r1)
933 Section.StubOffset += getMaxStubSize();
934 }
935 }
936 } else {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000937 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000938 // Extra check to avoid relocation againt empty symbols (usually
939 // the R_PPC64_TOC).
940 if (Value.SymbolName && !TargetName.empty())
941 addRelocationForSymbol(RE, Value.SymbolName);
942 else
943 addRelocationForSection(RE, Value.SectionID);
944 }
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000945 } else if (Arch == Triple::systemz &&
946 (RelType == ELF::R_390_PLT32DBL ||
947 RelType == ELF::R_390_GOTENT)) {
948 // Create function stubs for both PLT and GOT references, regardless of
949 // whether the GOT reference is to data or code. The stub contains the
950 // full address of the symbol, as needed by GOT references, and the
951 // executable part only adds an overhead of 8 bytes.
952 //
953 // We could try to conserve space by allocating the code and data
954 // parts of the stub separately. However, as things stand, we allocate
955 // a stub for every relocation, so using a GOT in JIT code should be
956 // no less space efficient than using an explicit constant pool.
957 DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
958 SectionEntry &Section = Sections[SectionID];
959
960 // Look for an existing stub.
961 StubMap::const_iterator i = Stubs.find(Value);
962 uintptr_t StubAddress;
963 if (i != Stubs.end()) {
964 StubAddress = uintptr_t(Section.Address) + i->second;
965 DEBUG(dbgs() << " Stub function found\n");
966 } else {
967 // Create a new stub function.
968 DEBUG(dbgs() << " Create a new stub function\n");
969
970 uintptr_t BaseAddress = uintptr_t(Section.Address);
971 uintptr_t StubAlignment = getStubAlignment();
972 StubAddress = (BaseAddress + Section.StubOffset +
973 StubAlignment - 1) & -StubAlignment;
974 unsigned StubOffset = StubAddress - BaseAddress;
975
976 Stubs[Value] = StubOffset;
977 createStubFunction((uint8_t *)StubAddress);
978 RelocationEntry RE(SectionID, StubOffset + 8,
979 ELF::R_390_64, Value.Addend - Addend);
980 if (Value.SymbolName)
981 addRelocationForSymbol(RE, Value.SymbolName);
982 else
983 addRelocationForSection(RE, Value.SectionID);
984 Section.StubOffset = StubOffset + getMaxStubSize();
985 }
986
987 if (RelType == ELF::R_390_GOTENT)
988 resolveRelocation(Section, Offset, StubAddress + 8,
989 ELF::R_390_PC32DBL, Addend);
990 else
991 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000992 } else {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000993 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000994 if (Value.SymbolName)
995 addRelocationForSymbol(RE, Value.SymbolName);
996 else
997 addRelocationForSection(RE, Value.SectionID);
998 }
Jim Grosbach61425c02012-01-16 22:26:39 +0000999}
1000
Andrew Kaylor3f23cef2012-10-02 21:18:39 +00001001bool RuntimeDyldELF::isCompatibleFormat(const ObjectBuffer *Buffer) const {
1002 if (Buffer->getBufferSize() < strlen(ELF::ElfMagic))
1003 return false;
1004 return (memcmp(Buffer->getBufferStart(), ELF::ElfMagic, strlen(ELF::ElfMagic))) == 0;
Eli Benderskya66a1852012-01-16 08:56:09 +00001005}
1006} // namespace llvm