annotate lld/ELF/Target.h @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 0572611fdcc8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- Target.h -------------------------------------------------*- C++ -*-===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 #ifndef LLD_ELF_TARGET_H
anatofuz
parents:
diff changeset
10 #define LLD_ELF_TARGET_H
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12 #include "InputSection.h"
anatofuz
parents:
diff changeset
13 #include "lld/Common/ErrorHandler.h"
anatofuz
parents:
diff changeset
14 #include "llvm/Object/ELF.h"
anatofuz
parents:
diff changeset
15 #include "llvm/Support/MathExtras.h"
anatofuz
parents:
diff changeset
16 #include <array>
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 namespace lld {
anatofuz
parents:
diff changeset
19 std::string toString(elf::RelType type);
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 namespace elf {
anatofuz
parents:
diff changeset
22 class Defined;
anatofuz
parents:
diff changeset
23 class InputFile;
anatofuz
parents:
diff changeset
24 class Symbol;
anatofuz
parents:
diff changeset
25
anatofuz
parents:
diff changeset
26 class TargetInfo {
anatofuz
parents:
diff changeset
27 public:
anatofuz
parents:
diff changeset
28 virtual uint32_t calcEFlags() const { return 0; }
anatofuz
parents:
diff changeset
29 virtual RelExpr getRelExpr(RelType type, const Symbol &s,
anatofuz
parents:
diff changeset
30 const uint8_t *loc) const = 0;
anatofuz
parents:
diff changeset
31 virtual RelType getDynRel(RelType type) const { return 0; }
anatofuz
parents:
diff changeset
32 virtual void writeGotPltHeader(uint8_t *buf) const {}
anatofuz
parents:
diff changeset
33 virtual void writeGotHeader(uint8_t *buf) const {}
anatofuz
parents:
diff changeset
34 virtual void writeGotPlt(uint8_t *buf, const Symbol &s) const {};
anatofuz
parents:
diff changeset
35 virtual void writeIgotPlt(uint8_t *buf, const Symbol &s) const {}
anatofuz
parents:
diff changeset
36 virtual int64_t getImplicitAddend(const uint8_t *buf, RelType type) const;
anatofuz
parents:
diff changeset
37 virtual int getTlsGdRelaxSkip(RelType type) const { return 1; }
anatofuz
parents:
diff changeset
38
anatofuz
parents:
diff changeset
39 // If lazy binding is supported, the first entry of the PLT has code
anatofuz
parents:
diff changeset
40 // to call the dynamic linker to resolve PLT entries the first time
anatofuz
parents:
diff changeset
41 // they are called. This function writes that code.
anatofuz
parents:
diff changeset
42 virtual void writePltHeader(uint8_t *buf) const {}
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 virtual void writePlt(uint8_t *buf, const Symbol &sym,
anatofuz
parents:
diff changeset
45 uint64_t pltEntryAddr) const {}
anatofuz
parents:
diff changeset
46 virtual void writeIplt(uint8_t *buf, const Symbol &sym,
anatofuz
parents:
diff changeset
47 uint64_t pltEntryAddr) const {
anatofuz
parents:
diff changeset
48 // All but PPC32 and PPC64 use the same format for .plt and .iplt entries.
anatofuz
parents:
diff changeset
49 writePlt(buf, sym, pltEntryAddr);
anatofuz
parents:
diff changeset
50 }
anatofuz
parents:
diff changeset
51 virtual void writeIBTPlt(uint8_t *buf, size_t numEntries) const {}
anatofuz
parents:
diff changeset
52 virtual void addPltHeaderSymbols(InputSection &isec) const {}
anatofuz
parents:
diff changeset
53 virtual void addPltSymbols(InputSection &isec, uint64_t off) const {}
anatofuz
parents:
diff changeset
54
anatofuz
parents:
diff changeset
55 // Returns true if a relocation only uses the low bits of a value such that
anatofuz
parents:
diff changeset
56 // all those bits are in the same page. For example, if the relocation
anatofuz
parents:
diff changeset
57 // only uses the low 12 bits in a system with 4k pages. If this is true, the
anatofuz
parents:
diff changeset
58 // bits will always have the same value at runtime and we don't have to emit
anatofuz
parents:
diff changeset
59 // a dynamic relocation.
anatofuz
parents:
diff changeset
60 virtual bool usesOnlyLowPageBits(RelType type) const;
anatofuz
parents:
diff changeset
61
anatofuz
parents:
diff changeset
62 // Decide whether a Thunk is needed for the relocation from File
anatofuz
parents:
diff changeset
63 // targeting S.
anatofuz
parents:
diff changeset
64 virtual bool needsThunk(RelExpr expr, RelType relocType,
anatofuz
parents:
diff changeset
65 const InputFile *file, uint64_t branchAddr,
anatofuz
parents:
diff changeset
66 const Symbol &s, int64_t a) const;
anatofuz
parents:
diff changeset
67
anatofuz
parents:
diff changeset
68 // On systems with range extensions we place collections of Thunks at
anatofuz
parents:
diff changeset
69 // regular spacings that enable the majority of branches reach the Thunks.
anatofuz
parents:
diff changeset
70 // a value of 0 means range extension thunks are not supported.
anatofuz
parents:
diff changeset
71 virtual uint32_t getThunkSectionSpacing() const { return 0; }
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 // The function with a prologue starting at Loc was compiled with
anatofuz
parents:
diff changeset
74 // -fsplit-stack and it calls a function compiled without. Adjust the prologue
anatofuz
parents:
diff changeset
75 // to do the right thing. See https://gcc.gnu.org/wiki/SplitStacks.
anatofuz
parents:
diff changeset
76 // The symbols st_other flags are needed on PowerPC64 for determining the
anatofuz
parents:
diff changeset
77 // offset to the split-stack prologue.
anatofuz
parents:
diff changeset
78 virtual bool adjustPrologueForCrossSplitStack(uint8_t *loc, uint8_t *end,
anatofuz
parents:
diff changeset
79 uint8_t stOther) const;
anatofuz
parents:
diff changeset
80
anatofuz
parents:
diff changeset
81 // Return true if we can reach dst from src with RelType type.
anatofuz
parents:
diff changeset
82 virtual bool inBranchRange(RelType type, uint64_t src,
anatofuz
parents:
diff changeset
83 uint64_t dst) const;
anatofuz
parents:
diff changeset
84
anatofuz
parents:
diff changeset
85 virtual void relocate(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
86 uint64_t val) const = 0;
anatofuz
parents:
diff changeset
87 void relocateNoSym(uint8_t *loc, RelType type, uint64_t val) const {
anatofuz
parents:
diff changeset
88 relocate(loc, Relocation{R_NONE, type, 0, 0, nullptr}, val);
anatofuz
parents:
diff changeset
89 }
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 virtual ~TargetInfo();
anatofuz
parents:
diff changeset
92
anatofuz
parents:
diff changeset
93 unsigned defaultCommonPageSize = 4096;
anatofuz
parents:
diff changeset
94 unsigned defaultMaxPageSize = 4096;
anatofuz
parents:
diff changeset
95
anatofuz
parents:
diff changeset
96 uint64_t getImageBase() const;
anatofuz
parents:
diff changeset
97
anatofuz
parents:
diff changeset
98 // True if _GLOBAL_OFFSET_TABLE_ is relative to .got.plt, false if .got.
anatofuz
parents:
diff changeset
99 bool gotBaseSymInGotPlt = true;
anatofuz
parents:
diff changeset
100
anatofuz
parents:
diff changeset
101 RelType copyRel;
anatofuz
parents:
diff changeset
102 RelType gotRel;
anatofuz
parents:
diff changeset
103 RelType noneRel;
anatofuz
parents:
diff changeset
104 RelType pltRel;
anatofuz
parents:
diff changeset
105 RelType relativeRel;
anatofuz
parents:
diff changeset
106 RelType iRelativeRel;
anatofuz
parents:
diff changeset
107 RelType symbolicRel;
anatofuz
parents:
diff changeset
108 RelType tlsDescRel;
anatofuz
parents:
diff changeset
109 RelType tlsGotRel;
anatofuz
parents:
diff changeset
110 RelType tlsModuleIndexRel;
anatofuz
parents:
diff changeset
111 RelType tlsOffsetRel;
anatofuz
parents:
diff changeset
112 unsigned pltEntrySize;
anatofuz
parents:
diff changeset
113 unsigned pltHeaderSize;
anatofuz
parents:
diff changeset
114 unsigned ipltEntrySize;
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 // At least on x86_64 positions 1 and 2 are used by the first plt entry
anatofuz
parents:
diff changeset
117 // to support lazy loading.
anatofuz
parents:
diff changeset
118 unsigned gotPltHeaderEntriesNum = 3;
anatofuz
parents:
diff changeset
119
anatofuz
parents:
diff changeset
120 // On PPC ELF V2 abi, the first entry in the .got is the .TOC.
anatofuz
parents:
diff changeset
121 unsigned gotHeaderEntriesNum = 0;
anatofuz
parents:
diff changeset
122
anatofuz
parents:
diff changeset
123 bool needsThunks = false;
anatofuz
parents:
diff changeset
124
anatofuz
parents:
diff changeset
125 // A 4-byte field corresponding to one or more trap instructions, used to pad
anatofuz
parents:
diff changeset
126 // executable OutputSections.
anatofuz
parents:
diff changeset
127 std::array<uint8_t, 4> trapInstr;
anatofuz
parents:
diff changeset
128
anatofuz
parents:
diff changeset
129 // If a target needs to rewrite calls to __morestack to instead call
anatofuz
parents:
diff changeset
130 // __morestack_non_split when a split-stack enabled caller calls a
anatofuz
parents:
diff changeset
131 // non-split-stack callee this will return true. Otherwise returns false.
anatofuz
parents:
diff changeset
132 bool needsMoreStackNonSplit = true;
anatofuz
parents:
diff changeset
133
anatofuz
parents:
diff changeset
134 virtual RelExpr adjustRelaxExpr(RelType type, const uint8_t *data,
anatofuz
parents:
diff changeset
135 RelExpr expr) const;
anatofuz
parents:
diff changeset
136 virtual void relaxGot(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
137 uint64_t val) const;
anatofuz
parents:
diff changeset
138 virtual void relaxTlsGdToIe(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
139 uint64_t val) const;
anatofuz
parents:
diff changeset
140 virtual void relaxTlsGdToLe(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
141 uint64_t val) const;
anatofuz
parents:
diff changeset
142 virtual void relaxTlsIeToLe(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
143 uint64_t val) const;
anatofuz
parents:
diff changeset
144 virtual void relaxTlsLdToLe(uint8_t *loc, const Relocation &rel,
anatofuz
parents:
diff changeset
145 uint64_t val) const;
anatofuz
parents:
diff changeset
146
anatofuz
parents:
diff changeset
147 protected:
anatofuz
parents:
diff changeset
148 // On FreeBSD x86_64 the first page cannot be mmaped.
anatofuz
parents:
diff changeset
149 // On Linux this is controlled by vm.mmap_min_addr. At least on some x86_64
anatofuz
parents:
diff changeset
150 // installs this is set to 65536, so the first 15 pages cannot be used.
anatofuz
parents:
diff changeset
151 // Given that, the smallest value that can be used in here is 0x10000.
anatofuz
parents:
diff changeset
152 uint64_t defaultImageBase = 0x10000;
anatofuz
parents:
diff changeset
153 };
anatofuz
parents:
diff changeset
154
anatofuz
parents:
diff changeset
155 TargetInfo *getAArch64TargetInfo();
anatofuz
parents:
diff changeset
156 TargetInfo *getAMDGPUTargetInfo();
anatofuz
parents:
diff changeset
157 TargetInfo *getARMTargetInfo();
anatofuz
parents:
diff changeset
158 TargetInfo *getAVRTargetInfo();
anatofuz
parents:
diff changeset
159 TargetInfo *getHexagonTargetInfo();
anatofuz
parents:
diff changeset
160 TargetInfo *getMSP430TargetInfo();
anatofuz
parents:
diff changeset
161 TargetInfo *getPPC64TargetInfo();
anatofuz
parents:
diff changeset
162 TargetInfo *getPPCTargetInfo();
anatofuz
parents:
diff changeset
163 TargetInfo *getRISCVTargetInfo();
anatofuz
parents:
diff changeset
164 TargetInfo *getSPARCV9TargetInfo();
anatofuz
parents:
diff changeset
165 TargetInfo *getX86TargetInfo();
anatofuz
parents:
diff changeset
166 TargetInfo *getX86_64TargetInfo();
anatofuz
parents:
diff changeset
167 template <class ELFT> TargetInfo *getMipsTargetInfo();
anatofuz
parents:
diff changeset
168
anatofuz
parents:
diff changeset
169 struct ErrorPlace {
anatofuz
parents:
diff changeset
170 InputSectionBase *isec;
anatofuz
parents:
diff changeset
171 std::string loc;
anatofuz
parents:
diff changeset
172 };
anatofuz
parents:
diff changeset
173
anatofuz
parents:
diff changeset
174 // Returns input section and corresponding source string for the given location.
anatofuz
parents:
diff changeset
175 ErrorPlace getErrorPlace(const uint8_t *loc);
anatofuz
parents:
diff changeset
176
anatofuz
parents:
diff changeset
177 static inline std::string getErrorLocation(const uint8_t *loc) {
anatofuz
parents:
diff changeset
178 return getErrorPlace(loc).loc;
anatofuz
parents:
diff changeset
179 }
anatofuz
parents:
diff changeset
180
anatofuz
parents:
diff changeset
181 void writePPC32GlinkSection(uint8_t *buf, size_t numEntries);
anatofuz
parents:
diff changeset
182
anatofuz
parents:
diff changeset
183 bool tryRelaxPPC64TocIndirection(const Relocation &rel, uint8_t *bufLoc);
anatofuz
parents:
diff changeset
184 unsigned getPPCDFormOp(unsigned secondaryOp);
anatofuz
parents:
diff changeset
185
anatofuz
parents:
diff changeset
186 // In the PowerPC64 Elf V2 abi a function can have 2 entry points. The first
anatofuz
parents:
diff changeset
187 // is a global entry point (GEP) which typically is used to initialize the TOC
anatofuz
parents:
diff changeset
188 // pointer in general purpose register 2. The second is a local entry
anatofuz
parents:
diff changeset
189 // point (LEP) which bypasses the TOC pointer initialization code. The
anatofuz
parents:
diff changeset
190 // offset between GEP and LEP is encoded in a function's st_other flags.
anatofuz
parents:
diff changeset
191 // This function will return the offset (in bytes) from the global entry-point
anatofuz
parents:
diff changeset
192 // to the local entry-point.
anatofuz
parents:
diff changeset
193 unsigned getPPC64GlobalEntryToLocalEntryOffset(uint8_t stOther);
anatofuz
parents:
diff changeset
194
anatofuz
parents:
diff changeset
195 // Returns true if a relocation is a small code model relocation that accesses
anatofuz
parents:
diff changeset
196 // the .toc section.
anatofuz
parents:
diff changeset
197 bool isPPC64SmallCodeModelTocReloc(RelType type);
anatofuz
parents:
diff changeset
198
anatofuz
parents:
diff changeset
199 uint64_t getPPC64TocBase();
anatofuz
parents:
diff changeset
200 uint64_t getAArch64Page(uint64_t expr);
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 extern const TargetInfo *target;
anatofuz
parents:
diff changeset
203 TargetInfo *getTarget();
anatofuz
parents:
diff changeset
204
anatofuz
parents:
diff changeset
205 template <class ELFT> bool isMipsPIC(const Defined *sym);
anatofuz
parents:
diff changeset
206
anatofuz
parents:
diff changeset
207 void reportRangeError(uint8_t *loc, const Relocation &rel, const Twine &v,
anatofuz
parents:
diff changeset
208 int64_t min, uint64_t max);
anatofuz
parents:
diff changeset
209
anatofuz
parents:
diff changeset
210 // Make sure that V can be represented as an N bit signed integer.
anatofuz
parents:
diff changeset
211 inline void checkInt(uint8_t *loc, int64_t v, int n, const Relocation &rel) {
anatofuz
parents:
diff changeset
212 if (v != llvm::SignExtend64(v, n))
anatofuz
parents:
diff changeset
213 reportRangeError(loc, rel, Twine(v), llvm::minIntN(n), llvm::maxIntN(n));
anatofuz
parents:
diff changeset
214 }
anatofuz
parents:
diff changeset
215
anatofuz
parents:
diff changeset
216 // Make sure that V can be represented as an N bit unsigned integer.
anatofuz
parents:
diff changeset
217 inline void checkUInt(uint8_t *loc, uint64_t v, int n, const Relocation &rel) {
anatofuz
parents:
diff changeset
218 if ((v >> n) != 0)
anatofuz
parents:
diff changeset
219 reportRangeError(loc, rel, Twine(v), 0, llvm::maxUIntN(n));
anatofuz
parents:
diff changeset
220 }
anatofuz
parents:
diff changeset
221
anatofuz
parents:
diff changeset
222 // Make sure that V can be represented as an N bit signed or unsigned integer.
anatofuz
parents:
diff changeset
223 inline void checkIntUInt(uint8_t *loc, uint64_t v, int n,
anatofuz
parents:
diff changeset
224 const Relocation &rel) {
anatofuz
parents:
diff changeset
225 // For the error message we should cast V to a signed integer so that error
anatofuz
parents:
diff changeset
226 // messages show a small negative value rather than an extremely large one
anatofuz
parents:
diff changeset
227 if (v != (uint64_t)llvm::SignExtend64(v, n) && (v >> n) != 0)
anatofuz
parents:
diff changeset
228 reportRangeError(loc, rel, Twine((int64_t)v), llvm::minIntN(n),
anatofuz
parents:
diff changeset
229 llvm::maxUIntN(n));
anatofuz
parents:
diff changeset
230 }
anatofuz
parents:
diff changeset
231
anatofuz
parents:
diff changeset
232 inline void checkAlignment(uint8_t *loc, uint64_t v, int n,
anatofuz
parents:
diff changeset
233 const Relocation &rel) {
anatofuz
parents:
diff changeset
234 if ((v & (n - 1)) != 0)
anatofuz
parents:
diff changeset
235 error(getErrorLocation(loc) + "improper alignment for relocation " +
anatofuz
parents:
diff changeset
236 lld::toString(rel.type) + ": 0x" + llvm::utohexstr(v) +
anatofuz
parents:
diff changeset
237 " is not aligned to " + Twine(n) + " bytes");
anatofuz
parents:
diff changeset
238 }
anatofuz
parents:
diff changeset
239
anatofuz
parents:
diff changeset
240 // Endianness-aware read/write.
anatofuz
parents:
diff changeset
241 inline uint16_t read16(const void *p) {
anatofuz
parents:
diff changeset
242 return llvm::support::endian::read16(p, config->endianness);
anatofuz
parents:
diff changeset
243 }
anatofuz
parents:
diff changeset
244
anatofuz
parents:
diff changeset
245 inline uint32_t read32(const void *p) {
anatofuz
parents:
diff changeset
246 return llvm::support::endian::read32(p, config->endianness);
anatofuz
parents:
diff changeset
247 }
anatofuz
parents:
diff changeset
248
anatofuz
parents:
diff changeset
249 inline uint64_t read64(const void *p) {
anatofuz
parents:
diff changeset
250 return llvm::support::endian::read64(p, config->endianness);
anatofuz
parents:
diff changeset
251 }
anatofuz
parents:
diff changeset
252
anatofuz
parents:
diff changeset
253 inline void write16(void *p, uint16_t v) {
anatofuz
parents:
diff changeset
254 llvm::support::endian::write16(p, v, config->endianness);
anatofuz
parents:
diff changeset
255 }
anatofuz
parents:
diff changeset
256
anatofuz
parents:
diff changeset
257 inline void write32(void *p, uint32_t v) {
anatofuz
parents:
diff changeset
258 llvm::support::endian::write32(p, v, config->endianness);
anatofuz
parents:
diff changeset
259 }
anatofuz
parents:
diff changeset
260
anatofuz
parents:
diff changeset
261 inline void write64(void *p, uint64_t v) {
anatofuz
parents:
diff changeset
262 llvm::support::endian::write64(p, v, config->endianness);
anatofuz
parents:
diff changeset
263 }
anatofuz
parents:
diff changeset
264 } // namespace elf
anatofuz
parents:
diff changeset
265 } // namespace lld
anatofuz
parents:
diff changeset
266
anatofuz
parents:
diff changeset
267 #endif