blob: 8a00c0bdea02287282b30b6d129731bd7a912e8e [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
Benjamin Kramera7c40ef2014-08-13 16:26:38 +000014#ifndef LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDMACHO_H
15#define LLVM_LIB_EXECUTIONENGINE_RUNTIMEDYLD_RUNTIMEDYLDMACHO_H
Eli Bendersky058d6472012-01-22 07:05:02 +000016
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 Hames25d93092014-08-08 23:12:22 +000055 /// This convenience method uses memcpy to extract a contiguous addend (the
56 /// addend size and offset are taken from the corresponding fields of the RE).
57 int64_t memcpyAddend(const RelocationEntry &RE) const;
58
59 /// Given a relocation_iterator for a non-scattered relocation, construct a
60 /// RelocationEntry and fill in the common fields. The 'Addend' field is *not*
61 /// filled in, since immediate encodings are highly target/opcode specific.
62 /// For targets/opcodes with simple, contiguous immediates (e.g. X86) the
63 /// memcpyAddend method can be used to read the immediate.
64 RelocationEntry getRelocationEntry(unsigned SectionID, ObjectImage &ObjImg,
65 const relocation_iterator &RI) const {
66 const MachOObjectFile &Obj =
67 static_cast<const MachOObjectFile &>(*ObjImg.getObjectFile());
68 MachO::any_relocation_info RelInfo =
69 Obj.getRelocation(RI->getRawDataRefImpl());
70
71 bool IsPCRel = Obj.getAnyRelocationPCRel(RelInfo);
72 unsigned Size = Obj.getAnyRelocationLength(RelInfo);
73 uint64_t Offset;
74 RI->getOffset(Offset);
75 MachO::RelocationInfoType RelType =
76 static_cast<MachO::RelocationInfoType>(Obj.getAnyRelocationType(RelInfo));
77
78 return RelocationEntry(SectionID, Offset, RelType, 0, IsPCRel, Size);
79 }
Lang Hames951b2352014-03-08 18:45:12 +000080
Lang Hamesa5216882014-07-17 18:54:50 +000081 /// Construct a RelocationValueRef representing the relocation target.
82 /// For Symbols in known sections, this will return a RelocationValueRef
83 /// representing a (SectionID, Offset) pair.
84 /// For Symbols whose section is not known, this will return a
85 /// (SymbolName, Offset) pair, where the Offset is taken from the instruction
86 /// immediate (held in RE.Addend).
87 /// In both cases the Addend field is *NOT* fixed up to be PC-relative. That
88 /// should be done by the caller where appropriate by calling makePCRel on
89 /// the RelocationValueRef.
90 RelocationValueRef getRelocationValueRef(ObjectImage &ObjImg,
91 const relocation_iterator &RI,
92 const RelocationEntry &RE,
93 ObjSectionToIDMap &ObjSectionToID,
94 const SymbolTableMap &Symbols);
95
96 /// Make the RelocationValueRef addend PC-relative.
97 void makeValueAddendPCRel(RelocationValueRef &Value, ObjectImage &ObjImg,
Lang Hames13163652014-07-30 03:35:05 +000098 const relocation_iterator &RI,
99 unsigned OffsetToNextPC);
Lang Hamesa5216882014-07-17 18:54:50 +0000100
101 /// Dump information about the relocation entry (RE) and resolved value.
102 void dumpRelocationToResolve(const RelocationEntry &RE, uint64_t Value) const;
103
104public:
105 /// Create an ObjectImage from the given ObjectBuffer.
Lang Hames84bc8182014-07-15 19:35:22 +0000106 static ObjectImage *createObjectImage(ObjectBuffer *InputBuffer) {
107 return new ObjectImageCommon(InputBuffer);
108 }
109
Lang Hamesa5216882014-07-17 18:54:50 +0000110 /// Create an ObjectImage from the given ObjectFile.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000111 static ObjectImage *
Lang Hames84bc8182014-07-15 19:35:22 +0000112 createObjectImageFromFile(std::unique_ptr<object::ObjectFile> InputObject) {
113 return new ObjectImageCommon(std::move(InputObject));
114 }
Lang Hamesa5216882014-07-17 18:54:50 +0000115
116 /// Create a RuntimeDyldMachO instance for the given target architecture.
117 static std::unique_ptr<RuntimeDyldMachO> create(Triple::ArchType Arch,
118 RTDyldMemoryManager *mm);
119
Lang Hamesa5216882014-07-17 18:54:50 +0000120 SectionEntry &getSection(unsigned SectionID) { return Sections[SectionID]; }
121
122 bool isCompatibleFormat(const ObjectBuffer *Buffer) const override;
123 bool isCompatibleFile(const object::ObjectFile *Obj) const override;
124 void registerEHFrames() override;
125};
126
127/// RuntimeDyldMachOTarget - Templated base class for generic MachO linker
128/// algorithms and data structures.
129///
130/// Concrete, target specific sub-classes can be accessed via the impl()
131/// methods. (i.e. the RuntimeDyldMachO hierarchy uses the Curiously
132/// Recurring Template Idiom). Concrete subclasses for each target
133/// can be found in ./Targets.
134template <typename Impl>
135class RuntimeDyldMachOCRTPBase : public RuntimeDyldMachO {
136private:
137 Impl &impl() { return static_cast<Impl &>(*this); }
Lang Hames3fda7d82014-07-19 00:19:17 +0000138 const Impl &impl() const { return static_cast<const Impl &>(*this); }
139
Lang Hamesa5216882014-07-17 18:54:50 +0000140public:
141 RuntimeDyldMachOCRTPBase(RTDyldMemoryManager *mm) : RuntimeDyldMachO(mm) {}
142
Benjamin Kramer8c90fd72014-09-03 11:41:21 +0000143 void finalizeLoad(ObjectImage &ObjImg,
144 ObjSectionToIDMap &SectionMap) override {
Lang Hamesa5216882014-07-17 18:54:50 +0000145 unsigned EHFrameSID = RTDYLD_INVALID_SECTION_ID;
146 unsigned TextSID = RTDYLD_INVALID_SECTION_ID;
147 unsigned ExceptTabSID = RTDYLD_INVALID_SECTION_ID;
148 ObjSectionToIDMap::iterator i, e;
149
150 for (i = SectionMap.begin(), e = SectionMap.end(); i != e; ++i) {
151 const SectionRef &Section = i->first;
152 StringRef Name;
153 Section.getName(Name);
154 if (Name == "__eh_frame")
155 EHFrameSID = i->second;
156 else if (Name == "__text")
157 TextSID = i->second;
158 else if (Name == "__gcc_except_tab")
159 ExceptTabSID = i->second;
160 else
161 impl().finalizeSection(ObjImg, i->second, Section);
162 }
163 UnregisteredEHFrameSections.push_back(
164 EHFrameRelatedSections(EHFrameSID, TextSID, ExceptTabSID));
165 }
Eli Bendersky058d6472012-01-22 07:05:02 +0000166};
167
168} // end namespace llvm
169
Lang Hamesa5216882014-07-17 18:54:50 +0000170#undef DEBUG_TYPE
171
Eli Bendersky058d6472012-01-22 07:05:02 +0000172#endif