blob: 7eae9c2145b84c9f10c8c3b5ed0ee2540469f94a [file] [log] [blame]
Jim Grosbache0934be2012-01-16 23:50:58 +00001//===-- RuntimeDyldMachO.cpp - Run-time dynamic linker for MC-JIT -*- C++ -*-=//
Danil Malyshevcf852dc2011-07-13 07:57:58 +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 the MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "dyld"
Eli Bendersky76463fd2012-01-22 07:05:02 +000015#include "RuntimeDyldMachO.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000016#include "llvm/ADT/STLExtras.h"
17#include "llvm/ADT/StringRef.h"
Danil Malyshevcf852dc2011-07-13 07:57:58 +000018using namespace llvm;
19using namespace llvm::object;
20
21namespace llvm {
22
Stephen Hines36b56882014-04-23 16:57:46 -070023static unsigned char *processFDE(unsigned char *P, intptr_t DeltaForText,
24 intptr_t DeltaForEH) {
25 uint32_t Length = *((uint32_t *)P);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000026 P += 4;
27 unsigned char *Ret = P + Length;
Stephen Hines36b56882014-04-23 16:57:46 -070028 uint32_t Offset = *((uint32_t *)P);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000029 if (Offset == 0) // is a CIE
30 return Ret;
31
32 P += 4;
Stephen Hines36b56882014-04-23 16:57:46 -070033 intptr_t FDELocation = *((intptr_t *)P);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000034 intptr_t NewLocation = FDELocation - DeltaForText;
Stephen Hines36b56882014-04-23 16:57:46 -070035 *((intptr_t *)P) = NewLocation;
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000036 P += sizeof(intptr_t);
37
38 // Skip the FDE address range
39 P += sizeof(intptr_t);
40
41 uint8_t Augmentationsize = *P;
42 P += 1;
43 if (Augmentationsize != 0) {
Stephen Hines36b56882014-04-23 16:57:46 -070044 intptr_t LSDA = *((intptr_t *)P);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000045 intptr_t NewLSDA = LSDA - DeltaForEH;
Stephen Hines36b56882014-04-23 16:57:46 -070046 *((intptr_t *)P) = NewLSDA;
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000047 }
48
49 return Ret;
50}
51
52static intptr_t computeDelta(SectionEntry *A, SectionEntry *B) {
Stephen Hines36b56882014-04-23 16:57:46 -070053 intptr_t ObjDistance = A->ObjAddress - B->ObjAddress;
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000054 intptr_t MemDistance = A->LoadAddress - B->LoadAddress;
55 return ObjDistance - MemDistance;
56}
57
Andrew Kaylor528f6d72013-10-11 21:25:48 +000058void RuntimeDyldMachO::registerEHFrames() {
59
60 if (!MemMgr)
61 return;
62 for (int i = 0, e = UnregisteredEHFrameSections.size(); i != e; ++i) {
63 EHFrameRelatedSections &SectionInfo = UnregisteredEHFrameSections[i];
64 if (SectionInfo.EHFrameSID == RTDYLD_INVALID_SECTION_ID ||
65 SectionInfo.TextSID == RTDYLD_INVALID_SECTION_ID)
66 continue;
67 SectionEntry *Text = &Sections[SectionInfo.TextSID];
68 SectionEntry *EHFrame = &Sections[SectionInfo.EHFrameSID];
69 SectionEntry *ExceptTab = NULL;
70 if (SectionInfo.ExceptTabSID != RTDYLD_INVALID_SECTION_ID)
71 ExceptTab = &Sections[SectionInfo.ExceptTabSID];
72
73 intptr_t DeltaForText = computeDelta(Text, EHFrame);
74 intptr_t DeltaForEH = 0;
75 if (ExceptTab)
76 DeltaForEH = computeDelta(ExceptTab, EHFrame);
77
78 unsigned char *P = EHFrame->Address;
79 unsigned char *End = P + EHFrame->Size;
Stephen Hines36b56882014-04-23 16:57:46 -070080 do {
Andrew Kaylor528f6d72013-10-11 21:25:48 +000081 P = processFDE(P, DeltaForText, DeltaForEH);
Stephen Hines36b56882014-04-23 16:57:46 -070082 } while (P != End);
Andrew Kaylor528f6d72013-10-11 21:25:48 +000083
Stephen Hines36b56882014-04-23 16:57:46 -070084 MemMgr->registerEHFrames(EHFrame->Address, EHFrame->LoadAddress,
Andrew Kaylor528f6d72013-10-11 21:25:48 +000085 EHFrame->Size);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000086 }
Andrew Kaylor528f6d72013-10-11 21:25:48 +000087 UnregisteredEHFrameSections.clear();
88}
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +000089
Andrew Kaylor528f6d72013-10-11 21:25:48 +000090void RuntimeDyldMachO::finalizeLoad(ObjSectionToIDMap &SectionMap) {
91 unsigned EHFrameSID = RTDYLD_INVALID_SECTION_ID;
92 unsigned TextSID = RTDYLD_INVALID_SECTION_ID;
93 unsigned ExceptTabSID = RTDYLD_INVALID_SECTION_ID;
94 ObjSectionToIDMap::iterator i, e;
95 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
96 const SectionRef &Section = i->first;
97 StringRef Name;
98 Section.getName(Name);
99 if (Name == "__eh_frame")
100 EHFrameSID = i->second;
101 else if (Name == "__text")
102 TextSID = i->second;
103 else if (Name == "__gcc_except_tab")
104 ExceptTabSID = i->second;
105 }
Stephen Hines36b56882014-04-23 16:57:46 -0700106 UnregisteredEHFrameSections.push_back(
107 EHFrameRelatedSections(EHFrameSID, TextSID, ExceptTabSID));
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000108}
109
Andrew Kaylor32bd10b2013-08-19 19:38:06 +0000110// The target location for the relocation is described by RE.SectionID and
111// RE.Offset. RE.SectionID can be used to find the SectionEntry. Each
112// SectionEntry has three members describing its location.
113// SectionEntry::Address is the address at which the section has been loaded
114// into memory in the current (host) process. SectionEntry::LoadAddress is the
115// address that the section will have in the target process.
116// SectionEntry::ObjAddress is the address of the bits for this section in the
117// original emitted object image (also in the current address space).
118//
119// Relocations will be applied as if the section were loaded at
120// SectionEntry::LoadAddress, but they will be applied at an address based
121// on SectionEntry::Address. SectionEntry::ObjAddress will be used to refer to
122// Target memory contents if they are required for value calculations.
123//
124// The Value parameter here is the load address of the symbol for the
125// relocation to be applied. For relocations which refer to symbols in the
126// current object Value will be the LoadAddress of the section in which
127// the symbol resides (RE.Addend provides additional information about the
128// symbol location). For external symbols, Value will be the address of the
129// symbol in the target address space.
Rafael Espindola87b50172013-04-29 17:24:34 +0000130void RuntimeDyldMachO::resolveRelocation(const RelocationEntry &RE,
131 uint64_t Value) {
132 const SectionEntry &Section = Sections[RE.SectionID];
133 return resolveRelocation(Section, RE.Offset, Value, RE.RelType, RE.Addend,
134 RE.IsPCRel, RE.Size);
135}
136
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000137void RuntimeDyldMachO::resolveRelocation(const SectionEntry &Section,
Stephen Hines36b56882014-04-23 16:57:46 -0700138 uint64_t Offset, uint64_t Value,
139 uint32_t Type, int64_t Addend,
140 bool isPCRel, unsigned LogSize) {
Andrew Kaylora307a1c2012-11-02 19:45:23 +0000141 uint8_t *LocalAddress = Section.Address + Offset;
142 uint64_t FinalAddress = Section.LoadAddress + Offset;
Rafael Espindola87b50172013-04-29 17:24:34 +0000143 unsigned MachoType = Type;
144 unsigned Size = 1 << LogSize;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000145
Stephen Hines36b56882014-04-23 16:57:46 -0700146 DEBUG(dbgs() << "resolveRelocation LocalAddress: "
147 << format("%p", LocalAddress)
148 << " FinalAddress: " << format("%p", FinalAddress)
149 << " Value: " << format("%p", Value) << " Addend: " << Addend
150 << " isPCRel: " << isPCRel << " MachoType: " << MachoType
151 << " Size: " << Size << "\n");
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000152
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000153 // This just dispatches to the proper target specific routine.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000154 switch (Arch) {
Stephen Hines36b56882014-04-23 16:57:46 -0700155 default:
156 llvm_unreachable("Unsupported CPU type!");
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000157 case Triple::x86_64:
Stephen Hines36b56882014-04-23 16:57:46 -0700158 resolveX86_64Relocation(LocalAddress, FinalAddress, (uintptr_t)Value,
159 isPCRel, MachoType, Size, Addend);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000160 break;
161 case Triple::x86:
Stephen Hines36b56882014-04-23 16:57:46 -0700162 resolveI386Relocation(LocalAddress, FinalAddress, (uintptr_t)Value, isPCRel,
163 MachoType, Size, Addend);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000164 break;
Stephen Hines36b56882014-04-23 16:57:46 -0700165 case Triple::arm: // Fall through.
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000166 case Triple::thumb:
Stephen Hines36b56882014-04-23 16:57:46 -0700167 resolveARMRelocation(LocalAddress, FinalAddress, (uintptr_t)Value, isPCRel,
168 MachoType, Size, Addend);
169 break;
170 case Triple::arm64:
171 resolveARM64Relocation(LocalAddress, FinalAddress, (uintptr_t)Value,
172 isPCRel, MachoType, Size, Addend);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000173 break;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000174 }
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000175}
176
Eli Bendersky6d15e872012-04-30 10:06:27 +0000177bool RuntimeDyldMachO::resolveI386Relocation(uint8_t *LocalAddress,
178 uint64_t FinalAddress,
Stephen Hines36b56882014-04-23 16:57:46 -0700179 uint64_t Value, bool isPCRel,
180 unsigned Type, unsigned Size,
Eli Bendersky6d15e872012-04-30 10:06:27 +0000181 int64_t Addend) {
Sean Callananb38aae42012-03-26 20:45:52 +0000182 if (isPCRel)
183 Value -= FinalAddress + 4; // see resolveX86_64Relocation
184
185 switch (Type) {
186 default:
187 llvm_unreachable("Invalid relocation type!");
Charles Davis55107282013-09-01 04:28:48 +0000188 case MachO::GENERIC_RELOC_VANILLA: {
Sean Callananb38aae42012-03-26 20:45:52 +0000189 uint8_t *p = LocalAddress;
190 uint64_t ValueToWrite = Value + Addend;
191 for (unsigned i = 0; i < Size; ++i) {
192 *p++ = (uint8_t)(ValueToWrite & 0xff);
193 ValueToWrite >>= 8;
194 }
Jim Grosbach6f6f1712013-01-31 19:46:28 +0000195 return false;
Sean Callananb38aae42012-03-26 20:45:52 +0000196 }
Charles Davis55107282013-09-01 04:28:48 +0000197 case MachO::GENERIC_RELOC_SECTDIFF:
198 case MachO::GENERIC_RELOC_LOCAL_SECTDIFF:
199 case MachO::GENERIC_RELOC_PB_LA_PTR:
Sean Callananb38aae42012-03-26 20:45:52 +0000200 return Error("Relocation type not implemented yet!");
201 }
202}
203
Eli Bendersky6d15e872012-04-30 10:06:27 +0000204bool RuntimeDyldMachO::resolveX86_64Relocation(uint8_t *LocalAddress,
205 uint64_t FinalAddress,
Stephen Hines36b56882014-04-23 16:57:46 -0700206 uint64_t Value, bool isPCRel,
207 unsigned Type, unsigned Size,
Eli Bendersky6d15e872012-04-30 10:06:27 +0000208 int64_t Addend) {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000209 // If the relocation is PC-relative, the value to be encoded is the
210 // pointer difference.
211 if (isPCRel)
212 // FIXME: It seems this value needs to be adjusted by 4 for an effective PC
213 // address. Is that expected? Only for branches, perhaps?
Sean Callanan61dfa772012-03-07 23:05:25 +0000214 Value -= FinalAddress + 4;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000215
Stephen Hines36b56882014-04-23 16:57:46 -0700216 switch (Type) {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000217 default:
218 llvm_unreachable("Invalid relocation type!");
Charles Davis55107282013-09-01 04:28:48 +0000219 case MachO::X86_64_RELOC_SIGNED_1:
220 case MachO::X86_64_RELOC_SIGNED_2:
221 case MachO::X86_64_RELOC_SIGNED_4:
222 case MachO::X86_64_RELOC_SIGNED:
223 case MachO::X86_64_RELOC_UNSIGNED:
224 case MachO::X86_64_RELOC_BRANCH: {
Jim Grosbach652ca2f2012-01-16 23:50:49 +0000225 Value += Addend;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000226 // Mask in the target value a byte at a time (we don't have an alignment
227 // guarantee for the target address, so this is safest).
Stephen Hines36b56882014-04-23 16:57:46 -0700228 uint8_t *p = (uint8_t *)LocalAddress;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000229 for (unsigned i = 0; i < Size; ++i) {
230 *p++ = (uint8_t)Value;
231 Value >>= 8;
232 }
233 return false;
234 }
Charles Davis55107282013-09-01 04:28:48 +0000235 case MachO::X86_64_RELOC_GOT_LOAD:
236 case MachO::X86_64_RELOC_GOT:
237 case MachO::X86_64_RELOC_SUBTRACTOR:
238 case MachO::X86_64_RELOC_TLV:
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000239 return Error("Relocation type not implemented yet!");
240 }
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000241}
242
Eli Bendersky6d15e872012-04-30 10:06:27 +0000243bool RuntimeDyldMachO::resolveARMRelocation(uint8_t *LocalAddress,
244 uint64_t FinalAddress,
Stephen Hines36b56882014-04-23 16:57:46 -0700245 uint64_t Value, bool isPCRel,
246 unsigned Type, unsigned Size,
Eli Bendersky6d15e872012-04-30 10:06:27 +0000247 int64_t Addend) {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000248 // If the relocation is PC-relative, the value to be encoded is the
249 // pointer difference.
250 if (isPCRel) {
Sean Callanan61dfa772012-03-07 23:05:25 +0000251 Value -= FinalAddress;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000252 // ARM PCRel relocations have an effective-PC offset of two instructions
253 // (four bytes in Thumb mode, 8 bytes in ARM mode).
254 // FIXME: For now, assume ARM mode.
255 Value -= 8;
256 }
257
Stephen Hines36b56882014-04-23 16:57:46 -0700258 switch (Type) {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000259 default:
260 llvm_unreachable("Invalid relocation type!");
Charles Davis55107282013-09-01 04:28:48 +0000261 case MachO::ARM_RELOC_VANILLA: {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000262 // Mask in the target value a byte at a time (we don't have an alignment
263 // guarantee for the target address, so this is safest).
Stephen Hines36b56882014-04-23 16:57:46 -0700264 uint8_t *p = (uint8_t *)LocalAddress;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000265 for (unsigned i = 0; i < Size; ++i) {
Charles Davisf69a29b2013-08-27 05:38:30 +0000266 *p++ = (uint8_t)Value;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000267 Value >>= 8;
268 }
269 break;
270 }
Charles Davis55107282013-09-01 04:28:48 +0000271 case MachO::ARM_RELOC_BR24: {
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000272 // Mask the value into the target address. We know instructions are
273 // 32-bit aligned, so we can do it all at once.
Stephen Hines36b56882014-04-23 16:57:46 -0700274 uint32_t *p = (uint32_t *)LocalAddress;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000275 // The low two bits of the value are not encoded.
276 Value >>= 2;
277 // Mask the value to 24 bits.
278 Value &= 0xffffff;
279 // FIXME: If the destination is a Thumb function (and the instruction
280 // is a non-predicated BL instruction), we need to change it to a BLX
281 // instruction instead.
282
283 // Insert the value into the instruction.
284 *p = (*p & ~0xffffff) | Value;
285 break;
286 }
Charles Davis55107282013-09-01 04:28:48 +0000287 case MachO::ARM_THUMB_RELOC_BR22:
288 case MachO::ARM_THUMB_32BIT_BRANCH:
289 case MachO::ARM_RELOC_HALF:
290 case MachO::ARM_RELOC_HALF_SECTDIFF:
291 case MachO::ARM_RELOC_PAIR:
292 case MachO::ARM_RELOC_SECTDIFF:
293 case MachO::ARM_RELOC_LOCAL_SECTDIFF:
294 case MachO::ARM_RELOC_PB_LA_PTR:
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000295 return Error("Relocation type not implemented yet!");
296 }
297 return false;
298}
299
Stephen Hines36b56882014-04-23 16:57:46 -0700300bool RuntimeDyldMachO::resolveARM64Relocation(uint8_t *LocalAddress,
301 uint64_t FinalAddress,
302 uint64_t Value, bool isPCRel,
303 unsigned Type, unsigned Size,
304 int64_t Addend) {
305 // If the relocation is PC-relative, the value to be encoded is the
306 // pointer difference.
307 if (isPCRel)
308 Value -= FinalAddress;
309
310 switch (Type) {
311 default:
312 llvm_unreachable("Invalid relocation type!");
313 case MachO::ARM64_RELOC_UNSIGNED: {
314 // Mask in the target value a byte at a time (we don't have an alignment
315 // guarantee for the target address, so this is safest).
316 uint8_t *p = (uint8_t *)LocalAddress;
317 for (unsigned i = 0; i < Size; ++i) {
318 *p++ = (uint8_t)Value;
319 Value >>= 8;
320 }
321 break;
322 }
323 case MachO::ARM64_RELOC_BRANCH26: {
324 // Mask the value into the target address. We know instructions are
325 // 32-bit aligned, so we can do it all at once.
326 uint32_t *p = (uint32_t *)LocalAddress;
327 // The low two bits of the value are not encoded.
328 Value >>= 2;
329 // Mask the value to 26 bits.
330 Value &= 0x3ffffff;
331 // Insert the value into the instruction.
332 *p = (*p & ~0x3ffffff) | Value;
333 break;
334 }
335 case MachO::ARM64_RELOC_SUBTRACTOR:
336 case MachO::ARM64_RELOC_PAGE21:
337 case MachO::ARM64_RELOC_PAGEOFF12:
338 case MachO::ARM64_RELOC_GOT_LOAD_PAGE21:
339 case MachO::ARM64_RELOC_GOT_LOAD_PAGEOFF12:
340 case MachO::ARM64_RELOC_POINTER_TO_GOT:
341 case MachO::ARM64_RELOC_TLVP_LOAD_PAGE21:
342 case MachO::ARM64_RELOC_TLVP_LOAD_PAGEOFF12:
343 case MachO::ARM64_RELOC_ADDEND:
344 return Error("Relocation type not implemented yet!");
345 }
346 return false;
347}
348
349relocation_iterator RuntimeDyldMachO::processRelocationRef(
350 unsigned SectionID, relocation_iterator RelI, ObjectImage &Obj,
351 ObjSectionToIDMap &ObjSectionToID, const SymbolTableMap &Symbols,
352 StubMap &Stubs) {
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000353 const ObjectFile *OF = Obj.getObjectFile();
Stephen Hines36b56882014-04-23 16:57:46 -0700354 const MachOObjectFile *MachO = static_cast<const MachOObjectFile *>(OF);
355 MachO::any_relocation_info RE =
356 MachO->getRelocation(RelI->getRawDataRefImpl());
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000357
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000358 uint32_t RelType = MachO->getAnyRelocationType(RE);
Lang Hames623f2022013-08-09 00:57:01 +0000359
360 // FIXME: Properly handle scattered relocations.
361 // For now, optimistically skip these: they can often be ignored, as
362 // the static linker will already have applied the relocation, and it
363 // only needs to be reapplied if symbols move relative to one another.
364 // Note: This will fail horribly where the relocations *do* need to be
365 // applied, but that was already the case.
366 if (MachO->isRelocationScattered(RE))
Stephen Hines36b56882014-04-23 16:57:46 -0700367 return ++RelI;
Lang Hames623f2022013-08-09 00:57:01 +0000368
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000369 RelocationValueRef Value;
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000370 SectionEntry &Section = Sections[SectionID];
Jim Grosbach61425c02012-01-16 22:26:39 +0000371
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000372 bool isExtern = MachO->getPlainRelocationExternal(RE);
Rafael Espindola87b50172013-04-29 17:24:34 +0000373 bool IsPCRel = MachO->getAnyRelocationPCRel(RE);
374 unsigned Size = MachO->getAnyRelocationLength(RE);
Rafael Espindola8e6e02a2013-04-30 01:29:57 +0000375 uint64_t Offset;
Stephen Hines36b56882014-04-23 16:57:46 -0700376 RelI->getOffset(Offset);
Rafael Espindolae87dadc2013-04-30 15:40:54 +0000377 uint8_t *LocalAddress = Section.Address + Offset;
378 unsigned NumBytes = 1 << Size;
379 uint64_t Addend = 0;
380 memcpy(&Addend, LocalAddress, NumBytes);
Rafael Espindola8e6e02a2013-04-30 01:29:57 +0000381
Rafael Espindolae87dadc2013-04-30 15:40:54 +0000382 if (isExtern) {
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000383 // Obtain the symbol name which is referenced in the relocation
Stephen Hines36b56882014-04-23 16:57:46 -0700384 symbol_iterator Symbol = RelI->getSymbol();
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000385 StringRef TargetName;
Rafael Espindola6c1202c2013-06-05 01:33:53 +0000386 Symbol->getName(TargetName);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000387 // First search for the symbol in the local symbol table
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000388 SymbolTableMap::const_iterator lsi = Symbols.find(TargetName.data());
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000389 if (lsi != Symbols.end()) {
390 Value.SectionID = lsi->second.first;
Rafael Espindola8e6e02a2013-04-30 01:29:57 +0000391 Value.Addend = lsi->second.second + Addend;
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000392 } else {
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000393 // Search for the symbol in the global symbol table
Stephen Hines36b56882014-04-23 16:57:46 -0700394 SymbolTableMap::const_iterator gsi =
395 GlobalSymbolTable.find(TargetName.data());
Eli Benderskyd98c9e92012-05-01 06:58:59 +0000396 if (gsi != GlobalSymbolTable.end()) {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000397 Value.SectionID = gsi->second.first;
Rafael Espindola8e6e02a2013-04-30 01:29:57 +0000398 Value.Addend = gsi->second.second + Addend;
399 } else {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000400 Value.SymbolName = TargetName.data();
Rafael Espindola8e6e02a2013-04-30 01:29:57 +0000401 Value.Addend = Addend;
402 }
Danil Malyshev4b0b8ef2012-03-29 21:46:18 +0000403 }
Bill Wendling288967d2012-03-29 23:23:59 +0000404 } else {
Rafael Espindolae87dadc2013-04-30 15:40:54 +0000405 SectionRef Sec = MachO->getRelocationSection(RE);
Stephen Hines36b56882014-04-23 16:57:46 -0700406 bool IsCode = false;
407 Sec.isText(IsCode);
408 Value.SectionID = findOrEmitSection(Obj, Sec, IsCode, ObjSectionToID);
Rafael Espindolae87dadc2013-04-30 15:40:54 +0000409 uint64_t Addr;
410 Sec.getAddress(Addr);
411 Value.Addend = Addend - Addr;
Stephen Hines36b56882014-04-23 16:57:46 -0700412 if (IsPCRel)
413 Value.Addend += Offset + NumBytes;
Bill Wendling288967d2012-03-29 23:23:59 +0000414 }
415
Charles Davis55107282013-09-01 04:28:48 +0000416 if (Arch == Triple::x86_64 && (RelType == MachO::X86_64_RELOC_GOT ||
417 RelType == MachO::X86_64_RELOC_GOT_LOAD)) {
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000418 assert(IsPCRel);
419 assert(Size == 2);
420 StubMap::const_iterator i = Stubs.find(Value);
421 uint8_t *Addr;
422 if (i != Stubs.end()) {
423 Addr = Section.Address + i->second;
424 } else {
425 Stubs[Value] = Section.StubOffset;
426 uint8_t *GOTEntry = Section.Address + Section.StubOffset;
427 RelocationEntry RE(SectionID, Section.StubOffset,
Charles Davis55107282013-09-01 04:28:48 +0000428 MachO::X86_64_RELOC_UNSIGNED, 0, false, 3);
Rafael Espindolaa2e40fb2013-05-05 20:43:10 +0000429 if (Value.SymbolName)
430 addRelocationForSymbol(RE, Value.SymbolName);
431 else
432 addRelocationForSection(RE, Value.SectionID);
433 Section.StubOffset += 8;
434 Addr = GOTEntry;
435 }
436 resolveRelocation(Section, Offset, (uint64_t)Addr,
Charles Davis55107282013-09-01 04:28:48 +0000437 MachO::X86_64_RELOC_UNSIGNED, Value.Addend, true, 2);
Stephen Hines36b56882014-04-23 16:57:46 -0700438 } else if (Arch == Triple::arm && (RelType & 0xf) == MachO::ARM_RELOC_BR24) {
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000439 // This is an ARM branch relocation, need to use a stub function.
Bill Wendling288967d2012-03-29 23:23:59 +0000440
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000441 // Look up for existing stub.
442 StubMap::const_iterator i = Stubs.find(Value);
443 if (i != Stubs.end())
Stephen Hines36b56882014-04-23 16:57:46 -0700444 resolveRelocation(Section, Offset, (uint64_t)Section.Address + i->second,
Rafael Espindola87b50172013-04-29 17:24:34 +0000445 RelType, 0, IsPCRel, Size);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000446 else {
447 // Create a new stub function.
448 Stubs[Value] = Section.StubOffset;
Stephen Hines36b56882014-04-23 16:57:46 -0700449 uint8_t *StubTargetAddr =
450 createStubFunction(Section.Address + Section.StubOffset);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000451 RelocationEntry RE(SectionID, StubTargetAddr - Section.Address,
Charles Davis55107282013-09-01 04:28:48 +0000452 MachO::GENERIC_RELOC_VANILLA, Value.Addend);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000453 if (Value.SymbolName)
454 addRelocationForSymbol(RE, Value.SymbolName);
455 else
456 addRelocationForSection(RE, Value.SectionID);
Rafael Espindolaefa91f62013-04-29 14:44:23 +0000457 resolveRelocation(Section, Offset,
Stephen Hines36b56882014-04-23 16:57:46 -0700458 (uint64_t)Section.Address + Section.StubOffset, RelType,
459 0, IsPCRel, Size);
Danil Malyshev0e4fa5f2012-03-30 16:45:19 +0000460 Section.StubOffset += getMaxStubSize();
461 }
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000462 } else {
Stephen Hines36b56882014-04-23 16:57:46 -0700463 RelocationEntry RE(SectionID, Offset, RelType, Value.Addend, IsPCRel, Size);
Eli Benderskyc201e6e2012-05-01 10:41:12 +0000464 if (Value.SymbolName)
465 addRelocationForSymbol(RE, Value.SymbolName);
466 else
467 addRelocationForSection(RE, Value.SectionID);
468 }
Stephen Hines36b56882014-04-23 16:57:46 -0700469 return ++RelI;
Bill Wendling288967d2012-03-29 23:23:59 +0000470}
471
Stephen Hines36b56882014-04-23 16:57:46 -0700472bool
473RuntimeDyldMachO::isCompatibleFormat(const ObjectBuffer *InputBuffer) const {
Andrew Kaylor3f23cef2012-10-02 21:18:39 +0000474 if (InputBuffer->getBufferSize() < 4)
475 return false;
476 StringRef Magic(InputBuffer->getBufferStart(), 4);
Stephen Hines36b56882014-04-23 16:57:46 -0700477 if (Magic == "\xFE\xED\xFA\xCE")
478 return true;
479 if (Magic == "\xCE\xFA\xED\xFE")
480 return true;
481 if (Magic == "\xFE\xED\xFA\xCF")
482 return true;
483 if (Magic == "\xCF\xFA\xED\xFE")
484 return true;
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000485 return false;
486}
487
Stephen Hines36b56882014-04-23 16:57:46 -0700488bool RuntimeDyldMachO::isCompatibleFile(const object::ObjectFile *Obj) const {
489 return Obj->isMachO();
490}
491
Danil Malyshevcf852dc2011-07-13 07:57:58 +0000492} // end namespace llvm