blob: 30f61e98e32c2948c56a71bed3e5c86ca0a66878 [file] [log] [blame]
Eli Bendersky058d6472012-01-22 07:05:02 +00001//===-- RuntimeDyldMachO.h - Run-time dynamic linker for MC-JIT ---*- C++ -*-=//
2//
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// MachO support for MC-JIT runtime dynamic linker.
11//
12//===----------------------------------------------------------------------===//
13
14#ifndef LLVM_RUNTIME_DYLD_MACHO_H
15#define LLVM_RUNTIME_DYLD_MACHO_H
16
Lang Hames951b2352014-03-08 18:45:12 +000017#include "ObjectImageCommon.h"
Chandler Carruth802d7552012-12-04 07:12:27 +000018#include "RuntimeDyldImpl.h"
Rafael Espindola6e040c02013-04-26 20:07:33 +000019#include "llvm/Object/MachO.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000020#include "llvm/Support/Format.h"
Eli Bendersky058d6472012-01-22 07:05:02 +000021
Lang Hamesa5216882014-07-17 18:54:50 +000022#define DEBUG_TYPE "dyld"
23
Eli Bendersky058d6472012-01-22 07:05:02 +000024using namespace llvm;
25using namespace llvm::object;
26
Eli Bendersky058d6472012-01-22 07:05:02 +000027namespace llvm {
28class RuntimeDyldMachO : public RuntimeDyldImpl {
Lang Hamesa5216882014-07-17 18:54:50 +000029protected:
30 struct SectionOffsetPair {
31 unsigned SectionID;
32 uint64_t Offset;
33 };
Lang Hames7f9fc2b2014-05-22 22:30:13 +000034
Andrew Kaylor7bb13442013-10-11 21:25:48 +000035 struct EHFrameRelatedSections {
Juergen Ributzka7608dc02014-03-21 20:28:42 +000036 EHFrameRelatedSections()
37 : EHFrameSID(RTDYLD_INVALID_SECTION_ID),
38 TextSID(RTDYLD_INVALID_SECTION_ID),
39 ExceptTabSID(RTDYLD_INVALID_SECTION_ID) {}
Lang Hamesf7acddd2014-07-22 22:47:39 +000040
NAKAMURA Takumi87e08802013-12-07 11:21:42 +000041 EHFrameRelatedSections(SID EH, SID T, SID Ex)
Juergen Ributzka7608dc02014-03-21 20:28:42 +000042 : EHFrameSID(EH), TextSID(T), ExceptTabSID(Ex) {}
Andrew Kaylor7bb13442013-10-11 21:25:48 +000043 SID EHFrameSID;
44 SID TextSID;
45 SID ExceptTabSID;
46 };
47
48 // When a module is loaded we save the SectionID of the EH frame section
49 // in a table until we receive a request to register all unregistered
50 // EH frame sections with the memory manager.
51 SmallVector<EHFrameRelatedSections, 2> UnregisteredEHFrameSections;
Juergen Ributzka7608dc02014-03-21 20:28:42 +000052
Eli Bendersky058d6472012-01-22 07:05:02 +000053 RuntimeDyldMachO(RTDyldMemoryManager *mm) : RuntimeDyldImpl(mm) {}
54
Lang Hames3fda7d82014-07-19 00:19:17 +000055 /// Extract the addend encoded in the instruction.
Juergen Ributzka175b78b2014-07-22 21:42:46 +000056 int64_t decodeAddend(uint8_t *LocalAddress, unsigned NumBytes,
Juergen Ributzkafbd40c32014-07-29 19:57:11 +000057 MachO::RelocationInfoType RelType) const;
Lang Hames951b2352014-03-08 18:45:12 +000058
Lang Hamesa5216882014-07-17 18:54:50 +000059 /// Construct a RelocationValueRef representing the relocation target.
60 /// For Symbols in known sections, this will return a RelocationValueRef
61 /// representing a (SectionID, Offset) pair.
62 /// For Symbols whose section is not known, this will return a
63 /// (SymbolName, Offset) pair, where the Offset is taken from the instruction
64 /// immediate (held in RE.Addend).
65 /// In both cases the Addend field is *NOT* fixed up to be PC-relative. That
66 /// should be done by the caller where appropriate by calling makePCRel on
67 /// the RelocationValueRef.
68 RelocationValueRef getRelocationValueRef(ObjectImage &ObjImg,
69 const relocation_iterator &RI,
70 const RelocationEntry &RE,
71 ObjSectionToIDMap &ObjSectionToID,
72 const SymbolTableMap &Symbols);
73
74 /// Make the RelocationValueRef addend PC-relative.
75 void makeValueAddendPCRel(RelocationValueRef &Value, ObjectImage &ObjImg,
Lang Hames13163652014-07-30 03:35:05 +000076 const relocation_iterator &RI,
77 unsigned OffsetToNextPC);
Lang Hamesa5216882014-07-17 18:54:50 +000078
79 /// Dump information about the relocation entry (RE) and resolved value.
80 void dumpRelocationToResolve(const RelocationEntry &RE, uint64_t Value) const;
81
82public:
83 /// Create an ObjectImage from the given ObjectBuffer.
Lang Hames84bc8182014-07-15 19:35:22 +000084 static ObjectImage *createObjectImage(ObjectBuffer *InputBuffer) {
85 return new ObjectImageCommon(InputBuffer);
86 }
87
Lang Hamesa5216882014-07-17 18:54:50 +000088 /// Create an ObjectImage from the given ObjectFile.
Juergen Ributzka7608dc02014-03-21 20:28:42 +000089 static ObjectImage *
Lang Hames84bc8182014-07-15 19:35:22 +000090 createObjectImageFromFile(std::unique_ptr<object::ObjectFile> InputObject) {
91 return new ObjectImageCommon(std::move(InputObject));
92 }
Lang Hamesa5216882014-07-17 18:54:50 +000093
94 /// Create a RuntimeDyldMachO instance for the given target architecture.
95 static std::unique_ptr<RuntimeDyldMachO> create(Triple::ArchType Arch,
96 RTDyldMemoryManager *mm);
97
98 /// Write the least significant 'Size' bytes in 'Value' out at the address
99 /// pointed to by Addr. Check for overflow.
100 bool writeBytesUnaligned(uint8_t *Addr, uint64_t Value, unsigned Size);
101
102 SectionEntry &getSection(unsigned SectionID) { return Sections[SectionID]; }
103
104 bool isCompatibleFormat(const ObjectBuffer *Buffer) const override;
105 bool isCompatibleFile(const object::ObjectFile *Obj) const override;
106 void registerEHFrames() override;
107};
108
109/// RuntimeDyldMachOTarget - Templated base class for generic MachO linker
110/// algorithms and data structures.
111///
112/// Concrete, target specific sub-classes can be accessed via the impl()
113/// methods. (i.e. the RuntimeDyldMachO hierarchy uses the Curiously
114/// Recurring Template Idiom). Concrete subclasses for each target
115/// can be found in ./Targets.
116template <typename Impl>
117class RuntimeDyldMachOCRTPBase : public RuntimeDyldMachO {
118private:
119 Impl &impl() { return static_cast<Impl &>(*this); }
Lang Hames3fda7d82014-07-19 00:19:17 +0000120 const Impl &impl() const { return static_cast<const Impl &>(*this); }
121
122protected:
123
124 /// Parse the given relocation, which must be a non-scattered, and
125 /// return a RelocationEntry representing the information. The 'Addend' field
126 /// will contain the unmodified instruction immediate.
127 RelocationEntry getBasicRelocationEntry(unsigned SectionID,
128 ObjectImage &ObjImg,
129 const relocation_iterator &RI) const {
130 const MachOObjectFile &Obj =
131 static_cast<const MachOObjectFile &>(*ObjImg.getObjectFile());
132 MachO::any_relocation_info RelInfo =
133 Obj.getRelocation(RI->getRawDataRefImpl());
134
135 const SectionEntry &Section = Sections[SectionID];
136 bool IsPCRel = Obj.getAnyRelocationPCRel(RelInfo);
137 unsigned Size = Obj.getAnyRelocationLength(RelInfo);
138 uint64_t Offset;
139 RI->getOffset(Offset);
140 uint8_t *LocalAddress = Section.Address + Offset;
141 unsigned NumBytes = 1 << Size;
Juergen Ributzkafbd40c32014-07-29 19:57:11 +0000142 MachO::RelocationInfoType RelType =
143 static_cast<MachO::RelocationInfoType>(Obj.getAnyRelocationType(RelInfo));
Juergen Ributzka175b78b2014-07-22 21:42:46 +0000144 int64_t Addend = impl().decodeAddend(LocalAddress, NumBytes, RelType);
Lang Hames3fda7d82014-07-19 00:19:17 +0000145
146 return RelocationEntry(SectionID, Offset, RelType, Addend, IsPCRel, Size);
147 }
Lang Hamesa5216882014-07-17 18:54:50 +0000148
149public:
150 RuntimeDyldMachOCRTPBase(RTDyldMemoryManager *mm) : RuntimeDyldMachO(mm) {}
151
152 void finalizeLoad(ObjectImage &ObjImg, ObjSectionToIDMap &SectionMap) {
153 unsigned EHFrameSID = RTDYLD_INVALID_SECTION_ID;
154 unsigned TextSID = RTDYLD_INVALID_SECTION_ID;
155 unsigned ExceptTabSID = RTDYLD_INVALID_SECTION_ID;
156 ObjSectionToIDMap::iterator i, e;
157
158 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
159 const SectionRef &Section = i->first;
160 StringRef Name;
161 Section.getName(Name);
162 if (Name == "__eh_frame")
163 EHFrameSID = i->second;
164 else if (Name == "__text")
165 TextSID = i->second;
166 else if (Name == "__gcc_except_tab")
167 ExceptTabSID = i->second;
168 else
169 impl().finalizeSection(ObjImg, i->second, Section);
170 }
171 UnregisteredEHFrameSections.push_back(
172 EHFrameRelatedSections(EHFrameSID, TextSID, ExceptTabSID));
173 }
Eli Bendersky058d6472012-01-22 07:05:02 +0000174};
175
176} // end namespace llvm
177
Lang Hamesa5216882014-07-17 18:54:50 +0000178#undef DEBUG_TYPE
179
Eli Bendersky058d6472012-01-22 07:05:02 +0000180#endif