blob: 7583474757d042afe3cc85cebd9dbd9ca1be7a5d [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
Lang Hames6f1048f2014-09-11 19:21:14 +0000104 // Return a section iterator for the section containing the given address.
105 static section_iterator getSectionByAddress(const MachOObjectFile &Obj,
106 uint64_t Addr);
107
108
109 // Populate __pointers section.
110 void populateIndirectSymbolPointersSection(MachOObjectFile &Obj,
111 const SectionRef &PTSection,
112 unsigned PTSectionID);
113
Lang Hamesa5216882014-07-17 18:54:50 +0000114public:
115 /// Create an ObjectImage from the given ObjectBuffer.
David Blaikieed9709d2014-09-03 19:48:09 +0000116 static std::unique_ptr<ObjectImage>
117 createObjectImage(std::unique_ptr<ObjectBuffer> InputBuffer) {
118 return llvm::make_unique<ObjectImageCommon>(std::move(InputBuffer));
Lang Hames84bc8182014-07-15 19:35:22 +0000119 }
120
Lang Hamesa5216882014-07-17 18:54:50 +0000121 /// Create an ObjectImage from the given ObjectFile.
Juergen Ributzka7608dc02014-03-21 20:28:42 +0000122 static ObjectImage *
Lang Hames84bc8182014-07-15 19:35:22 +0000123 createObjectImageFromFile(std::unique_ptr<object::ObjectFile> InputObject) {
124 return new ObjectImageCommon(std::move(InputObject));
125 }
Lang Hamesa5216882014-07-17 18:54:50 +0000126
127 /// Create a RuntimeDyldMachO instance for the given target architecture.
128 static std::unique_ptr<RuntimeDyldMachO> create(Triple::ArchType Arch,
129 RTDyldMemoryManager *mm);
130
Lang Hamesa5216882014-07-17 18:54:50 +0000131 SectionEntry &getSection(unsigned SectionID) { return Sections[SectionID]; }
132
133 bool isCompatibleFormat(const ObjectBuffer *Buffer) const override;
134 bool isCompatibleFile(const object::ObjectFile *Obj) const override;
Lang Hamesa5216882014-07-17 18:54:50 +0000135};
136
137/// RuntimeDyldMachOTarget - Templated base class for generic MachO linker
138/// algorithms and data structures.
139///
140/// Concrete, target specific sub-classes can be accessed via the impl()
141/// methods. (i.e. the RuntimeDyldMachO hierarchy uses the Curiously
142/// Recurring Template Idiom). Concrete subclasses for each target
143/// can be found in ./Targets.
144template <typename Impl>
145class RuntimeDyldMachOCRTPBase : public RuntimeDyldMachO {
146private:
147 Impl &impl() { return static_cast<Impl &>(*this); }
Lang Hames3fda7d82014-07-19 00:19:17 +0000148 const Impl &impl() const { return static_cast<const Impl &>(*this); }
149
Lang Hameseb195f02014-09-04 04:53:03 +0000150 unsigned char *processFDE(unsigned char *P, int64_t DeltaForText,
151 int64_t DeltaForEH);
152
Lang Hamesa5216882014-07-17 18:54:50 +0000153public:
154 RuntimeDyldMachOCRTPBase(RTDyldMemoryManager *mm) : RuntimeDyldMachO(mm) {}
155
Benjamin Kramer8c90fd72014-09-03 11:41:21 +0000156 void finalizeLoad(ObjectImage &ObjImg,
Lang Hameseb195f02014-09-04 04:53:03 +0000157 ObjSectionToIDMap &SectionMap) override;
158 void registerEHFrames() override;
Eli Bendersky058d6472012-01-22 07:05:02 +0000159};
160
161} // end namespace llvm
162
Lang Hamesa5216882014-07-17 18:54:50 +0000163#undef DEBUG_TYPE
164
Eli Bendersky058d6472012-01-22 07:05:02 +0000165#endif