blob: 487e503e91ef9ce3d39326b6a4b5c5ebcbb65355 [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 Northover4a9b6b72013-05-04 20:14:09 +0000299 case ELF::R_AARCH64_CALL26: // fallthrough
300 case ELF::R_AARCH64_JUMP26: {
301 // Operation: S+A-P. Set Call or B immediate value to bits fff_fffc of the
302 // calculation.
303 uint64_t BranchImm = Value + Addend - FinalAddress;
304
305 // "Check that -2^27 <= result < 2^27".
306 assert(-(1LL << 27) <= static_cast<int64_t>(BranchImm) &&
307 static_cast<int64_t>(BranchImm) < (1LL << 27));
308 // Immediate goes in bits 25:0 of B and BL.
309 *TargetPtr |= static_cast<uint32_t>(BranchImm & 0xffffffcU) >> 2;
310 break;
311 }
Tim Northover654c2d62013-05-04 20:14:04 +0000312 case ELF::R_AARCH64_MOVW_UABS_G3: {
313 uint64_t Result = Value + Addend;
314 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
315 *TargetPtr |= Result >> (48 - 5);
316 // Shift is "lsl #48", in bits 22:21
317 *TargetPtr |= 3 << 21;
318 break;
319 }
320 case ELF::R_AARCH64_MOVW_UABS_G2_NC: {
321 uint64_t Result = Value + Addend;
322 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
323 *TargetPtr |= ((Result & 0xffff00000000ULL) >> (32 - 5));
324 // Shift is "lsl #32", in bits 22:21
325 *TargetPtr |= 2 << 21;
326 break;
327 }
328 case ELF::R_AARCH64_MOVW_UABS_G1_NC: {
329 uint64_t Result = Value + Addend;
330 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
331 *TargetPtr |= ((Result & 0xffff0000U) >> (16 - 5));
332 // Shift is "lsl #16", in bits 22:21
333 *TargetPtr |= 1 << 21;
334 break;
335 }
336 case ELF::R_AARCH64_MOVW_UABS_G0_NC: {
337 uint64_t Result = Value + Addend;
338 // Immediate goes in bits 20:5 of MOVZ/MOVK instruction
339 *TargetPtr |= ((Result & 0xffffU) << 5);
340 // Shift is "lsl #0", in bits 22:21. No action needed.
341 break;
342 }
Tim Northover85829bb2013-05-04 20:13:59 +0000343 }
344}
345
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000346void RuntimeDyldELF::resolveARMRelocation(const SectionEntry &Section,
347 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000348 uint32_t Value,
349 uint32_t Type,
350 int32_t Addend) {
351 // TODO: Add Thumb relocations.
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000352 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
353 uint32_t FinalAddress = ((Section.LoadAddress + Offset) & 0xFFFFFFFF);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000354 Value += Addend;
355
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000356 DEBUG(dbgs() << "resolveARMRelocation, LocalAddress: "
357 << Section.Address + Offset
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000358 << " FinalAddress: " << format("%p",FinalAddress)
359 << " Value: " << format("%x",Value)
360 << " Type: " << format("%x",Type)
361 << " Addend: " << format("%x",Addend)
362 << "\n");
363
364 switch(Type) {
365 default:
366 llvm_unreachable("Not implemented relocation type!");
367
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000368 // Write a 32bit value to relocation address, taking into account the
Tim Northover565ebde2012-10-03 16:29:42 +0000369 // implicit addend encoded in the target.
Amara Emerson098d6d52012-11-16 11:11:59 +0000370 case ELF::R_ARM_TARGET1 :
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000371 case ELF::R_ARM_ABS32 :
Tim Northover565ebde2012-10-03 16:29:42 +0000372 *TargetPtr += Value;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000373 break;
374
375 // Write first 16 bit of 32 bit value to the mov instruction.
376 // Last 4 bit should be shifted.
377 case ELF::R_ARM_MOVW_ABS_NC :
Tim Northover565ebde2012-10-03 16:29:42 +0000378 // We are not expecting any other addend in the relocation address.
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000379 // Using 0x000F0FFF because MOVW has its 16 bit immediate split into 2
Tim Northover565ebde2012-10-03 16:29:42 +0000380 // non-contiguous fields.
381 assert((*TargetPtr & 0x000F0FFF) == 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000382 Value = Value & 0xFFFF;
383 *TargetPtr |= Value & 0xFFF;
384 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
385 break;
386
387 // Write last 16 bit of 32 bit value to the mov instruction.
388 // Last 4 bit should be shifted.
389 case ELF::R_ARM_MOVT_ABS :
Tim Northover565ebde2012-10-03 16:29:42 +0000390 // We are not expecting any other addend in the relocation address.
391 // Use 0x000F0FFF for the same reason as R_ARM_MOVW_ABS_NC.
392 assert((*TargetPtr & 0x000F0FFF) == 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000393 Value = (Value >> 16) & 0xFFFF;
394 *TargetPtr |= Value & 0xFFF;
395 *TargetPtr |= ((Value >> 12) & 0xF) << 16;
396 break;
397
398 // Write 24 bit relative value to the branch instruction.
399 case ELF::R_ARM_PC24 : // Fall through.
400 case ELF::R_ARM_CALL : // Fall through.
401 case ELF::R_ARM_JUMP24 :
402 int32_t RelValue = static_cast<int32_t>(Value - FinalAddress - 8);
403 RelValue = (RelValue & 0x03FFFFFC) >> 2;
404 *TargetPtr &= 0xFF000000;
405 *TargetPtr |= RelValue;
406 break;
407 }
Eli Benderskya66a1852012-01-16 08:56:09 +0000408}
409
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000410void RuntimeDyldELF::resolveMIPSRelocation(const SectionEntry &Section,
411 uint64_t Offset,
Akira Hatanakab862f092012-08-20 17:53:24 +0000412 uint32_t Value,
413 uint32_t Type,
414 int32_t Addend) {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000415 uint32_t* TargetPtr = (uint32_t*)(Section.Address + Offset);
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000416 Value += Addend;
417
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000418 DEBUG(dbgs() << "resolveMipselocation, LocalAddress: "
419 << Section.Address + Offset
420 << " FinalAddress: "
421 << format("%p",Section.LoadAddress + Offset)
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000422 << " Value: " << format("%x",Value)
423 << " Type: " << format("%x",Type)
424 << " Addend: " << format("%x",Addend)
425 << "\n");
426
427 switch(Type) {
428 default:
429 llvm_unreachable("Not implemented relocation type!");
430 break;
431 case ELF::R_MIPS_32:
432 *TargetPtr = Value + (*TargetPtr);
433 break;
434 case ELF::R_MIPS_26:
435 *TargetPtr = ((*TargetPtr) & 0xfc000000) | (( Value & 0x0fffffff) >> 2);
436 break;
437 case ELF::R_MIPS_HI16:
438 // Get the higher 16-bits. Also add 1 if bit 15 is 1.
439 Value += ((*TargetPtr) & 0x0000ffff) << 16;
440 *TargetPtr = ((*TargetPtr) & 0xffff0000) |
441 (((Value + 0x8000) >> 16) & 0xffff);
442 break;
443 case ELF::R_MIPS_LO16:
444 Value += ((*TargetPtr) & 0x0000ffff);
445 *TargetPtr = ((*TargetPtr) & 0xffff0000) | (Value & 0xffff);
446 break;
447 }
448}
449
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000450// Return the .TOC. section address to R_PPC64_TOC relocations.
451uint64_t RuntimeDyldELF::findPPC64TOC() const {
452 // The TOC consists of sections .got, .toc, .tocbss, .plt in that
453 // order. The TOC starts where the first of these sections starts.
454 SectionList::const_iterator it = Sections.begin();
455 SectionList::const_iterator ite = Sections.end();
456 for (; it != ite; ++it) {
457 if (it->Name == ".got" ||
458 it->Name == ".toc" ||
459 it->Name == ".tocbss" ||
460 it->Name == ".plt")
461 break;
462 }
463 if (it == ite) {
464 // This may happen for
465 // * references to TOC base base (sym@toc, .odp relocation) without
466 // a .toc directive.
467 // In this case just use the first section (which is usually
468 // the .odp) since the code won't reference the .toc base
469 // directly.
470 it = Sections.begin();
471 }
472 assert (it != ite);
473 // Per the ppc64-elf-linux ABI, The TOC base is TOC value plus 0x8000
474 // thus permitting a full 64 Kbytes segment.
475 return it->LoadAddress + 0x8000;
476}
477
478// Returns the sections and offset associated with the ODP entry referenced
479// by Symbol.
480void RuntimeDyldELF::findOPDEntrySection(ObjectImage &Obj,
481 ObjSectionToIDMap &LocalSections,
482 RelocationValueRef &Rel) {
483 // Get the ELF symbol value (st_value) to compare with Relocation offset in
484 // .opd entries
485
486 error_code err;
487 for (section_iterator si = Obj.begin_sections(),
488 se = Obj.end_sections(); si != se; si.increment(err)) {
489 StringRef SectionName;
490 check(si->getName(SectionName));
491 if (SectionName != ".opd")
492 continue;
493
494 for (relocation_iterator i = si->begin_relocations(),
495 e = si->end_relocations(); i != e;) {
496 check(err);
497
498 // The R_PPC64_ADDR64 relocation indicates the first field
499 // of a .opd entry
500 uint64_t TypeFunc;
501 check(i->getType(TypeFunc));
502 if (TypeFunc != ELF::R_PPC64_ADDR64) {
503 i.increment(err);
504 continue;
505 }
506
507 SymbolRef TargetSymbol;
508 uint64_t TargetSymbolOffset;
509 int64_t TargetAdditionalInfo;
510 check(i->getSymbol(TargetSymbol));
511 check(i->getOffset(TargetSymbolOffset));
512 check(i->getAdditionalInfo(TargetAdditionalInfo));
513
514 i = i.increment(err);
515 if (i == e)
516 break;
517 check(err);
518
519 // Just check if following relocation is a R_PPC64_TOC
520 uint64_t TypeTOC;
521 check(i->getType(TypeTOC));
522 if (TypeTOC != ELF::R_PPC64_TOC)
523 continue;
524
525 // Finally compares the Symbol value and the target symbol offset
526 // to check if this .opd entry refers to the symbol the relocation
527 // points to.
528 if (Rel.Addend != (intptr_t)TargetSymbolOffset)
529 continue;
530
531 section_iterator tsi(Obj.end_sections());
532 check(TargetSymbol.getSection(tsi));
533 Rel.SectionID = findOrEmitSection(Obj, (*tsi), true, LocalSections);
534 Rel.Addend = (intptr_t)TargetAdditionalInfo;
535 return;
536 }
537 }
538 llvm_unreachable("Attempting to get address of ODP entry!");
539}
540
541// Relocation masks following the #lo(value), #hi(value), #higher(value),
542// and #highest(value) macros defined in section 4.5.1. Relocation Types
543// in PPC-elf64abi document.
544//
545static inline
546uint16_t applyPPClo (uint64_t value)
547{
548 return value & 0xffff;
549}
550
551static inline
552uint16_t applyPPChi (uint64_t value)
553{
554 return (value >> 16) & 0xffff;
555}
556
557static inline
558uint16_t applyPPChigher (uint64_t value)
559{
560 return (value >> 32) & 0xffff;
561}
562
563static inline
564uint16_t applyPPChighest (uint64_t value)
565{
566 return (value >> 48) & 0xffff;
567}
568
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000569void RuntimeDyldELF::resolvePPC64Relocation(const SectionEntry &Section,
570 uint64_t Offset,
571 uint64_t Value,
572 uint32_t Type,
573 int64_t Addend) {
574 uint8_t* LocalAddress = Section.Address + Offset;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000575 switch (Type) {
576 default:
577 llvm_unreachable("Relocation type not implemented yet!");
578 break;
579 case ELF::R_PPC64_ADDR16_LO :
580 writeInt16BE(LocalAddress, applyPPClo (Value + Addend));
581 break;
582 case ELF::R_PPC64_ADDR16_HI :
583 writeInt16BE(LocalAddress, applyPPChi (Value + Addend));
584 break;
585 case ELF::R_PPC64_ADDR16_HIGHER :
586 writeInt16BE(LocalAddress, applyPPChigher (Value + Addend));
587 break;
588 case ELF::R_PPC64_ADDR16_HIGHEST :
589 writeInt16BE(LocalAddress, applyPPChighest (Value + Addend));
590 break;
591 case ELF::R_PPC64_ADDR14 : {
592 assert(((Value + Addend) & 3) == 0);
593 // Preserve the AA/LK bits in the branch instruction
594 uint8_t aalk = *(LocalAddress+3);
595 writeInt16BE(LocalAddress + 2, (aalk & 3) | ((Value + Addend) & 0xfffc));
596 } break;
Adhemerval Zanella7b449882013-01-04 19:08:13 +0000597 case ELF::R_PPC64_ADDR32 : {
598 int32_t Result = static_cast<int32_t>(Value + Addend);
599 if (SignExtend32<32>(Result) != Result)
Adhemerval Zanellaa1db5de2013-01-09 17:08:15 +0000600 llvm_unreachable("Relocation R_PPC64_ADDR32 overflow");
Adhemerval Zanella7b449882013-01-04 19:08:13 +0000601 writeInt32BE(LocalAddress, Result);
602 } break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000603 case ELF::R_PPC64_REL24 : {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000604 uint64_t FinalAddress = (Section.LoadAddress + Offset);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000605 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
606 if (SignExtend32<24>(delta) != delta)
607 llvm_unreachable("Relocation R_PPC64_REL24 overflow");
608 // Generates a 'bl <address>' instruction
609 writeInt32BE(LocalAddress, 0x48000001 | (delta & 0x03FFFFFC));
610 } break;
Adhemerval Zanellaa1db5de2013-01-09 17:08:15 +0000611 case ELF::R_PPC64_REL32 : {
612 uint64_t FinalAddress = (Section.LoadAddress + Offset);
613 int32_t delta = static_cast<int32_t>(Value - FinalAddress + Addend);
614 if (SignExtend32<32>(delta) != delta)
615 llvm_unreachable("Relocation R_PPC64_REL32 overflow");
616 writeInt32BE(LocalAddress, delta);
617 } break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000618 case ELF::R_PPC64_ADDR64 :
619 writeInt64BE(LocalAddress, Value + Addend);
620 break;
621 case ELF::R_PPC64_TOC :
622 writeInt64BE(LocalAddress, findPPC64TOC());
623 break;
624 case ELF::R_PPC64_TOC16 : {
625 uint64_t TOCStart = findPPC64TOC();
626 Value = applyPPClo((Value + Addend) - TOCStart);
627 writeInt16BE(LocalAddress, applyPPClo(Value));
628 } break;
629 case ELF::R_PPC64_TOC16_DS : {
630 uint64_t TOCStart = findPPC64TOC();
631 Value = ((Value + Addend) - TOCStart);
632 writeInt16BE(LocalAddress, applyPPClo(Value));
633 } break;
634 }
635}
636
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000637void RuntimeDyldELF::resolveSystemZRelocation(const SectionEntry &Section,
638 uint64_t Offset,
639 uint64_t Value,
640 uint32_t Type,
641 int64_t Addend) {
642 uint8_t *LocalAddress = Section.Address + Offset;
643 switch (Type) {
644 default:
645 llvm_unreachable("Relocation type not implemented yet!");
646 break;
647 case ELF::R_390_PC16DBL:
648 case ELF::R_390_PLT16DBL: {
649 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
650 assert(int16_t(Delta / 2) * 2 == Delta && "R_390_PC16DBL overflow");
651 writeInt16BE(LocalAddress, Delta / 2);
652 break;
653 }
654 case ELF::R_390_PC32DBL:
655 case ELF::R_390_PLT32DBL: {
656 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
657 assert(int32_t(Delta / 2) * 2 == Delta && "R_390_PC32DBL overflow");
658 writeInt32BE(LocalAddress, Delta / 2);
659 break;
660 }
661 case ELF::R_390_PC32: {
662 int64_t Delta = (Value + Addend) - (Section.LoadAddress + Offset);
663 assert(int32_t(Delta) == Delta && "R_390_PC32 overflow");
664 writeInt32BE(LocalAddress, Delta);
665 break;
666 }
667 case ELF::R_390_64:
668 writeInt64BE(LocalAddress, Value + Addend);
669 break;
670 }
671}
672
Rafael Espindola87b50172013-04-29 17:24:34 +0000673void RuntimeDyldELF::resolveRelocation(const RelocationEntry &RE,
674 uint64_t Value) {
675 const SectionEntry &Section = Sections[RE.SectionID];
676 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend);
677}
678
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000679void RuntimeDyldELF::resolveRelocation(const SectionEntry &Section,
680 uint64_t Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000681 uint64_t Value,
682 uint32_t Type,
683 int64_t Addend) {
Eli Benderskya66a1852012-01-16 08:56:09 +0000684 switch (Arch) {
685 case Triple::x86_64:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000686 resolveX86_64Relocation(Section, Offset, Value, Type, Addend);
Eli Benderskya66a1852012-01-16 08:56:09 +0000687 break;
688 case Triple::x86:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000689 resolveX86Relocation(Section, Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000690 (uint32_t)(Value & 0xffffffffL), Type,
691 (uint32_t)(Addend & 0xffffffffL));
Eli Benderskya66a1852012-01-16 08:56:09 +0000692 break;
Tim Northover85829bb2013-05-04 20:13:59 +0000693 case Triple::aarch64:
694 resolveAArch64Relocation(Section, Offset, Value, Type, Addend);
695 break;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000696 case Triple::arm: // Fall through.
697 case Triple::thumb:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000698 resolveARMRelocation(Section, Offset,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000699 (uint32_t)(Value & 0xffffffffL), Type,
700 (uint32_t)(Addend & 0xffffffffL));
Eli Benderskya66a1852012-01-16 08:56:09 +0000701 break;
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000702 case Triple::mips: // Fall through.
703 case Triple::mipsel:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000704 resolveMIPSRelocation(Section, Offset,
Akira Hatanakab862f092012-08-20 17:53:24 +0000705 (uint32_t)(Value & 0xffffffffL), Type,
706 (uint32_t)(Addend & 0xffffffffL));
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000707 break;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000708 case Triple::ppc64:
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000709 resolvePPC64Relocation(Section, Offset, Value, Type, Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000710 break;
Richard Sandiford6fc2ad62013-05-03 14:15:35 +0000711 case Triple::systemz:
712 resolveSystemZRelocation(Section, Offset, Value, Type, Addend);
713 break;
Craig Topper85814382012-02-07 05:05:23 +0000714 default: llvm_unreachable("Unsupported CPU type!");
Eli Benderskya66a1852012-01-16 08:56:09 +0000715 }
716}
717
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000718void RuntimeDyldELF::processRelocationRef(unsigned SectionID,
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000719 RelocationRef RelI,
Preston Gurd689ff9c2012-04-16 22:12:58 +0000720 ObjectImage &Obj,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000721 ObjSectionToIDMap &ObjSectionToID,
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000722 const SymbolTableMap &Symbols,
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000723 StubMap &Stubs) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000724 uint64_t RelType;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000725 Check(RelI.getType(RelType));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000726 int64_t Addend;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000727 Check(RelI.getAdditionalInfo(Addend));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000728 SymbolRef Symbol;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000729 Check(RelI.getSymbol(Symbol));
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000730
731 // Obtain the symbol name which is referenced in the relocation
732 StringRef TargetName;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000733 Symbol.getName(TargetName);
734 DEBUG(dbgs() << "\t\tRelType: " << RelType
735 << " Addend: " << Addend
736 << " TargetName: " << TargetName
737 << "\n");
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000738 RelocationValueRef Value;
739 // First search for the symbol in the local symbol table
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000740 SymbolTableMap::const_iterator lsi = Symbols.find(TargetName.data());
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000741 SymbolRef::Type SymType;
742 Symbol.getType(SymType);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000743 if (lsi != Symbols.end()) {
744 Value.SectionID = lsi->second.first;
Ulrich Weigand03f018a2013-04-05 13:29:04 +0000745 Value.Addend = lsi->second.second + Addend;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000746 } else {
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000747 // Search for the symbol in the global symbol table
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000748 SymbolTableMap::const_iterator gsi =
749 GlobalSymbolTable.find(TargetName.data());
750 if (gsi != GlobalSymbolTable.end()) {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000751 Value.SectionID = gsi->second.first;
Ulrich Weigand03f018a2013-04-05 13:29:04 +0000752 Value.Addend = gsi->second.second + Addend;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000753 } else {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000754 switch (SymType) {
755 case SymbolRef::ST_Debug: {
756 // TODO: Now ELF SymbolRef::ST_Debug = STT_SECTION, it's not obviously
757 // and can be changed by another developers. Maybe best way is add
758 // a new symbol type ST_Section to SymbolRef and use it.
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000759 section_iterator si(Obj.end_sections());
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000760 Symbol.getSection(si);
761 if (si == Obj.end_sections())
762 llvm_unreachable("Symbol section not found, bad object file format!");
763 DEBUG(dbgs() << "\t\tThis is section symbol\n");
Andrew Kaylorfa8cd9d2012-10-12 23:53:16 +0000764 // Default to 'true' in case isText fails (though it never does).
765 bool isCode = true;
766 si->isText(isCode);
Michael J. Spencer4d9c5392013-01-04 20:36:28 +0000767 Value.SectionID = findOrEmitSection(Obj,
768 (*si),
769 isCode,
Andrew Kaylorfa8cd9d2012-10-12 23:53:16 +0000770 ObjSectionToID);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000771 Value.Addend = Addend;
772 break;
773 }
774 case SymbolRef::ST_Unknown: {
775 Value.SymbolName = TargetName.data();
776 Value.Addend = Addend;
777 break;
778 }
779 default:
780 llvm_unreachable("Unresolved symbol type!");
781 break;
782 }
783 }
Eli Benderskya66a1852012-01-16 08:56:09 +0000784 }
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000785 uint64_t Offset;
Rafael Espindolaca0e7362013-04-29 19:03:21 +0000786 Check(RelI.getOffset(Offset));
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000787
788 DEBUG(dbgs() << "\t\tSectionID: " << SectionID
789 << " Offset: " << Offset
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000790 << "\n");
Tim Northover4a9b6b72013-05-04 20:14:09 +0000791 if (Arch == Triple::aarch64 &&
792 (RelType == ELF::R_AARCH64_CALL26 ||
793 RelType == ELF::R_AARCH64_JUMP26)) {
794 // This is an AArch64 branch relocation, need to use a stub function.
795 DEBUG(dbgs() << "\t\tThis is an AArch64 branch relocation.");
796 SectionEntry &Section = Sections[SectionID];
797
798 // Look for an existing stub.
799 StubMap::const_iterator i = Stubs.find(Value);
800 if (i != Stubs.end()) {
801 resolveRelocation(Section, Offset,
802 (uint64_t)Section.Address + i->second, RelType, 0);
803 DEBUG(dbgs() << " Stub function found\n");
804 } else {
805 // Create a new stub function.
806 DEBUG(dbgs() << " Create a new stub function\n");
807 Stubs[Value] = Section.StubOffset;
808 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
809 Section.StubOffset);
810
811 RelocationEntry REmovz_g3(SectionID,
812 StubTargetAddr - Section.Address,
813 ELF::R_AARCH64_MOVW_UABS_G3, Value.Addend);
814 RelocationEntry REmovk_g2(SectionID,
815 StubTargetAddr - Section.Address + 4,
816 ELF::R_AARCH64_MOVW_UABS_G2_NC, Value.Addend);
817 RelocationEntry REmovk_g1(SectionID,
818 StubTargetAddr - Section.Address + 8,
819 ELF::R_AARCH64_MOVW_UABS_G1_NC, Value.Addend);
820 RelocationEntry REmovk_g0(SectionID,
821 StubTargetAddr - Section.Address + 12,
822 ELF::R_AARCH64_MOVW_UABS_G0_NC, Value.Addend);
823
824 if (Value.SymbolName) {
825 addRelocationForSymbol(REmovz_g3, Value.SymbolName);
826 addRelocationForSymbol(REmovk_g2, Value.SymbolName);
827 addRelocationForSymbol(REmovk_g1, Value.SymbolName);
828 addRelocationForSymbol(REmovk_g0, Value.SymbolName);
829 } else {
830 addRelocationForSection(REmovz_g3, Value.SectionID);
831 addRelocationForSection(REmovk_g2, Value.SectionID);
832 addRelocationForSection(REmovk_g1, Value.SectionID);
833 addRelocationForSection(REmovk_g0, Value.SectionID);
834 }
835 resolveRelocation(Section, Offset,
836 (uint64_t)Section.Address + Section.StubOffset,
837 RelType, 0);
838 Section.StubOffset += getMaxStubSize();
839 }
840 } else if (Arch == Triple::arm &&
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000841 (RelType == ELF::R_ARM_PC24 ||
842 RelType == ELF::R_ARM_CALL ||
843 RelType == ELF::R_ARM_JUMP24)) {
844 // This is an ARM branch relocation, need to use a stub function.
845 DEBUG(dbgs() << "\t\tThis is an ARM branch relocation.");
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000846 SectionEntry &Section = Sections[SectionID];
Eli Benderskya66a1852012-01-16 08:56:09 +0000847
Eric Christopherbf261f12012-10-23 17:19:15 +0000848 // Look for an existing stub.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000849 StubMap::const_iterator i = Stubs.find(Value);
850 if (i != Stubs.end()) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000851 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000852 (uint64_t)Section.Address + i->second, RelType, 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000853 DEBUG(dbgs() << " Stub function found\n");
854 } else {
855 // Create a new stub function.
856 DEBUG(dbgs() << " Create a new stub function\n");
857 Stubs[Value] = Section.StubOffset;
858 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
859 Section.StubOffset);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000860 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000861 ELF::R_ARM_ABS32, Value.Addend);
862 if (Value.SymbolName)
863 addRelocationForSymbol(RE, Value.SymbolName);
864 else
865 addRelocationForSection(RE, Value.SectionID);
866
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000867 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000868 (uint64_t)Section.Address + Section.StubOffset,
869 RelType, 0);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000870 Section.StubOffset += getMaxStubSize();
871 }
Akira Hatanakaade04742012-12-03 23:12:19 +0000872 } else if ((Arch == Triple::mipsel || Arch == Triple::mips) &&
873 RelType == ELF::R_MIPS_26) {
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000874 // This is an Mips branch relocation, need to use a stub function.
875 DEBUG(dbgs() << "\t\tThis is a Mips branch relocation.");
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000876 SectionEntry &Section = Sections[SectionID];
877 uint8_t *Target = Section.Address + Offset;
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000878 uint32_t *TargetAddress = (uint32_t *)Target;
879
880 // Extract the addend from the instruction.
881 uint32_t Addend = ((*TargetAddress) & 0x03ffffff) << 2;
882
883 Value.Addend += Addend;
884
885 // Look up for existing stub.
886 StubMap::const_iterator i = Stubs.find(Value);
887 if (i != Stubs.end()) {
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);
Akira Hatanakab889e0c2012-08-17 21:28:04 +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);
897
898 // Creating Hi and Lo relocations for the filled stub instructions.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000899 RelocationEntry REHi(SectionID,
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000900 StubTargetAddr - Section.Address,
901 ELF::R_MIPS_HI16, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000902 RelocationEntry RELo(SectionID,
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000903 StubTargetAddr - Section.Address + 4,
904 ELF::R_MIPS_LO16, Value.Addend);
905
906 if (Value.SymbolName) {
907 addRelocationForSymbol(REHi, Value.SymbolName);
908 addRelocationForSymbol(RELo, Value.SymbolName);
909 } else {
910 addRelocationForSection(REHi, Value.SectionID);
911 addRelocationForSection(RELo, Value.SectionID);
912 }
913
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000914 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000915 (uint64_t)Section.Address + Section.StubOffset,
916 RelType, 0);
Akira Hatanakab889e0c2012-08-17 21:28:04 +0000917 Section.StubOffset += getMaxStubSize();
918 }
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000919 } else if (Arch == Triple::ppc64) {
920 if (RelType == ELF::R_PPC64_REL24) {
921 // A PPC branch relocation will need a stub function if the target is
922 // an external symbol (Symbol::ST_Unknown) or if the target address
923 // is not within the signed 24-bits branch address.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000924 SectionEntry &Section = Sections[SectionID];
925 uint8_t *Target = Section.Address + Offset;
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000926 bool RangeOverflow = false;
927 if (SymType != SymbolRef::ST_Unknown) {
928 // A function call may points to the .opd entry, so the final symbol value
929 // in calculated based in the relocation values in .opd section.
930 findOPDEntrySection(Obj, ObjSectionToID, Value);
931 uint8_t *RelocTarget = Sections[Value.SectionID].Address + Value.Addend;
932 int32_t delta = static_cast<int32_t>(Target - RelocTarget);
933 // If it is within 24-bits branch range, just set the branch target
934 if (SignExtend32<24>(delta) == delta) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000935 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000936 if (Value.SymbolName)
937 addRelocationForSymbol(RE, Value.SymbolName);
938 else
939 addRelocationForSection(RE, Value.SectionID);
940 } else {
941 RangeOverflow = true;
942 }
943 }
944 if (SymType == SymbolRef::ST_Unknown || RangeOverflow == true) {
945 // It is an external symbol (SymbolRef::ST_Unknown) or within a range
946 // larger than 24-bits.
947 StubMap::const_iterator i = Stubs.find(Value);
948 if (i != Stubs.end()) {
949 // Symbol function stub already created, just relocate to it
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000950 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000951 (uint64_t)Section.Address + i->second, RelType, 0);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000952 DEBUG(dbgs() << " Stub function found\n");
953 } else {
954 // Create a new stub function.
955 DEBUG(dbgs() << " Create a new stub function\n");
956 Stubs[Value] = Section.StubOffset;
957 uint8_t *StubTargetAddr = createStubFunction(Section.Address +
958 Section.StubOffset);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000959 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000960 ELF::R_PPC64_ADDR64, Value.Addend);
961
962 // Generates the 64-bits address loads as exemplified in section
963 // 4.5.1 in PPC64 ELF ABI.
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000964 RelocationEntry REhst(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000965 StubTargetAddr - Section.Address + 2,
966 ELF::R_PPC64_ADDR16_HIGHEST, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000967 RelocationEntry REhr(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000968 StubTargetAddr - Section.Address + 6,
969 ELF::R_PPC64_ADDR16_HIGHER, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000970 RelocationEntry REh(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000971 StubTargetAddr - Section.Address + 14,
972 ELF::R_PPC64_ADDR16_HI, Value.Addend);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000973 RelocationEntry REl(SectionID,
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000974 StubTargetAddr - Section.Address + 18,
975 ELF::R_PPC64_ADDR16_LO, Value.Addend);
976
977 if (Value.SymbolName) {
978 addRelocationForSymbol(REhst, Value.SymbolName);
979 addRelocationForSymbol(REhr, Value.SymbolName);
980 addRelocationForSymbol(REh, Value.SymbolName);
981 addRelocationForSymbol(REl, Value.SymbolName);
982 } else {
983 addRelocationForSection(REhst, Value.SectionID);
984 addRelocationForSection(REhr, Value.SectionID);
985 addRelocationForSection(REh, Value.SectionID);
986 addRelocationForSection(REl, Value.SectionID);
987 }
988
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000989 resolveRelocation(Section, Offset,
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000990 (uint64_t)Section.Address + Section.StubOffset,
991 RelType, 0);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +0000992 if (SymType == SymbolRef::ST_Unknown)
993 // Restore the TOC for external calls
994 writeInt32BE(Target+4, 0xE8410028); // ld r2,40(r1)
995 Section.StubOffset += getMaxStubSize();
996 }
997 }
998 } else {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000999 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Adhemerval Zanella6e8946c2012-10-25 13:13:48 +00001000 // Extra check to avoid relocation againt empty symbols (usually
1001 // the R_PPC64_TOC).
1002 if (Value.SymbolName && !TargetName.empty())
1003 addRelocationForSymbol(RE, Value.SymbolName);
1004 else
1005 addRelocationForSection(RE, Value.SectionID);
1006 }
Richard Sandiford6fc2ad62013-05-03 14:15:35 +00001007 } else if (Arch == Triple::systemz &&
1008 (RelType == ELF::R_390_PLT32DBL ||
1009 RelType == ELF::R_390_GOTENT)) {
1010 // Create function stubs for both PLT and GOT references, regardless of
1011 // whether the GOT reference is to data or code. The stub contains the
1012 // full address of the symbol, as needed by GOT references, and the
1013 // executable part only adds an overhead of 8 bytes.
1014 //
1015 // We could try to conserve space by allocating the code and data
1016 // parts of the stub separately. However, as things stand, we allocate
1017 // a stub for every relocation, so using a GOT in JIT code should be
1018 // no less space efficient than using an explicit constant pool.
1019 DEBUG(dbgs() << "\t\tThis is a SystemZ indirect relocation.");
1020 SectionEntry &Section = Sections[SectionID];
1021
1022 // Look for an existing stub.
1023 StubMap::const_iterator i = Stubs.find(Value);
1024 uintptr_t StubAddress;
1025 if (i != Stubs.end()) {
1026 StubAddress = uintptr_t(Section.Address) + i->second;
1027 DEBUG(dbgs() << " Stub function found\n");
1028 } else {
1029 // Create a new stub function.
1030 DEBUG(dbgs() << " Create a new stub function\n");
1031
1032 uintptr_t BaseAddress = uintptr_t(Section.Address);
1033 uintptr_t StubAlignment = getStubAlignment();
1034 StubAddress = (BaseAddress + Section.StubOffset +
1035 StubAlignment - 1) & -StubAlignment;
1036 unsigned StubOffset = StubAddress - BaseAddress;
1037
1038 Stubs[Value] = StubOffset;
1039 createStubFunction((uint8_t *)StubAddress);
1040 RelocationEntry RE(SectionID, StubOffset + 8,
1041 ELF::R_390_64, Value.Addend - Addend);
1042 if (Value.SymbolName)
1043 addRelocationForSymbol(RE, Value.SymbolName);
1044 else
1045 addRelocationForSection(RE, Value.SectionID);
1046 Section.StubOffset = StubOffset + getMaxStubSize();
1047 }
1048
1049 if (RelType == ELF::R_390_GOTENT)
1050 resolveRelocation(Section, Offset, StubAddress + 8,
1051 ELF::R_390_PC32DBL, Addend);
1052 else
1053 resolveRelocation(Section, Offset, StubAddress, RelType, Addend);
Eli Benderskyc201e6e2012-05-01 10:41:12 +00001054 } else {
Rafael Espindolaefa91f62013-04-29 14:44:23 +00001055 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend);
Eli Benderskyc201e6e2012-05-01 10:41:12 +00001056 if (Value.SymbolName)
1057 addRelocationForSymbol(RE, Value.SymbolName);
1058 else
1059 addRelocationForSection(RE, Value.SectionID);
1060 }
Jim Grosbach61425c02012-01-16 22:26:39 +00001061}
1062
Andrew Kaylor3f23cef2012-10-02 21:18:39 +00001063bool RuntimeDyldELF::isCompatibleFormat(const ObjectBuffer *Buffer) const {
1064 if (Buffer->getBufferSize() < strlen(ELF::ElfMagic))
1065 return false;
1066 return (memcmp(Buffer->getBufferStart(), ELF::ElfMagic, strlen(ELF::ElfMagic))) == 0;
Eli Benderskya66a1852012-01-16 08:56:09 +00001067}
1068} // namespace llvm