blob: 46441e67015e9da1b340d0731fb92fcf6533f8bb [file] [log] [blame]
Michael J. Spencer84487f12015-07-24 21:03:07 +00001//===- Writer.cpp ---------------------------------------------------------===//
2//
3// The LLVM Linker
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Michael J. Spencerf8325412015-09-04 22:48:30 +000010#include "Writer.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000011#include "Chunks.h"
Rui Ueyamacb8474ed2015-08-05 23:51:50 +000012#include "Config.h"
Rafael Espindola192e1fa2015-08-06 15:08:23 +000013#include "Error.h"
Michael J. Spencer67bc8d62015-08-27 23:15:56 +000014#include "Symbols.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000015#include "SymbolTable.h"
Rafael Espindola6b83b902015-08-12 00:00:24 +000016
Rui Ueyamae44524d2015-07-28 00:17:25 +000017#include "llvm/ADT/DenseMap.h"
Rafael Espindola871765c2015-08-28 02:46:41 +000018#include "llvm/ADT/STLExtras.h"
Rafael Espindolaee1364f2015-09-01 21:47:21 +000019#include "llvm/MC/StringTableBuilder.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000020#include "llvm/Support/FileOutputBuffer.h"
Michael J. Spencer67bc8d62015-08-27 23:15:56 +000021#include "llvm/Support/raw_ostream.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000022
23using namespace llvm;
24using namespace llvm::ELF;
25using namespace llvm::object;
26
27using namespace lld;
28using namespace lld::elf2;
29
30static const int PageSize = 4096;
31
Rafael Espindolad67bb262015-09-11 13:20:07 +000032// On freebsd x86_64 the first page cannot be mmaped.
33// On linux that is controled by vm.mmap_min_addr. At least on some x86_64
34// installs that is 65536, so the first 15 pages cannot be used.
35// Given that, the smallest value that can be used in here is 0x10000.
Rafael Espindola0a2e2112015-09-10 15:41:34 +000036// If using 2MB pages, the smallest page aligned address that works is
37// 0x200000, but it looks like every OS uses 4k pages for executables.
38// FIXME: This is architecture and OS dependent.
39static const int VAStart = 0x10000;
40
Rui Ueyamaafff74e22015-08-05 23:24:46 +000041namespace {
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000042// OutputSection represents a section in an output file. It's a
43// container of chunks. OutputSection and Chunk are 1:N relationship.
44// Chunks cannot belong to more than one OutputSections. The writer
45// creates multiple OutputSections and assign them unique,
46// non-overlapping file offsets and VAs.
Rafael Espindolaebd21082015-08-13 22:14:37 +000047template <bool Is64Bits> class OutputSectionBase {
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000048public:
Rafael Espindola3f4228f2015-09-09 15:33:08 +000049 typedef
50 typename std::conditional<Is64Bits, Elf64_Dyn, Elf32_Dyn>::type Elf_Dyn;
Rafael Espindolaa175eb62015-08-13 18:37:23 +000051 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
52 typedef
53 typename std::conditional<Is64Bits, Elf64_Shdr, Elf32_Shdr>::type HeaderT;
Rafael Espindola02183402015-08-11 23:34:29 +000054
Rafael Espindolaebd21082015-08-13 22:14:37 +000055 OutputSectionBase(StringRef Name, uint32_t sh_type, uintX_t sh_flags)
Rafael Espindola375a5082015-08-13 17:32:30 +000056 : Name(Name) {
Rafael Espindolaa175eb62015-08-13 18:37:23 +000057 memset(&Header, 0, sizeof(HeaderT));
Rafael Espindola375a5082015-08-13 17:32:30 +000058 Header.sh_type = sh_type;
59 Header.sh_flags = sh_flags;
Rafael Espindola372889a2015-08-12 23:25:42 +000060 }
Rafael Espindola184d94e2015-08-13 18:25:47 +000061 void setVA(uintX_t VA) { Header.sh_addr = VA; }
Rafael Espindola3f4228f2015-09-09 15:33:08 +000062 uintX_t getVA() const { return Header.sh_addr; }
Rafael Espindola184d94e2015-08-13 18:25:47 +000063 void setFileOffset(uintX_t Off) { Header.sh_offset = Off; }
Rafael Espindolaa175eb62015-08-13 18:37:23 +000064 template <endianness E>
65 void writeHeaderTo(typename ELFFile<ELFType<E, Is64Bits>>::Elf_Shdr *SHdr);
Rafael Espindola6b83b902015-08-12 00:00:24 +000066 StringRef getName() { return Name; }
67 void setNameOffset(uintX_t Offset) { Header.sh_name = Offset; }
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000068
Rafael Espindola832b93f2015-08-24 20:06:32 +000069 unsigned getSectionIndex() const { return SectionIndex; }
70 void setSectionIndex(unsigned I) { SectionIndex = I; }
71
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000072 // Returns the size of the section in the output file.
Rafael Espindola02183402015-08-11 23:34:29 +000073 uintX_t getSize() { return Header.sh_size; }
Rafael Espindola05185742015-08-31 22:07:18 +000074 void setSize(uintX_t Val) { Header.sh_size = Val; }
Rafael Espindolaabad6182015-08-13 15:23:46 +000075 uintX_t getFlags() { return Header.sh_flags; }
Rui Ueyama8050d322015-08-14 05:17:30 +000076 uintX_t getFileOff() { return Header.sh_offset; }
Michael J. Spencerbaae5382015-09-05 00:25:33 +000077 uintX_t getAlign() {
78 // The ELF spec states that a value of 0 means the section has no alignment
79 // constraits.
80 return std::max<uintX_t>(Header.sh_addralign, 1);
81 }
Rafael Espindola058f3432015-08-31 20:23:57 +000082 uint32_t getType() { return Header.sh_type; }
Rafael Espindolaabad6182015-08-13 15:23:46 +000083
Rafael Espindola5c2310c2015-09-18 14:40:19 +000084 static unsigned getAddrSize() { return Is64Bits ? 8 : 4; }
85
Rafael Espindolaebd21082015-08-13 22:14:37 +000086 virtual void finalize() {}
87 virtual void writeTo(uint8_t *Buf) = 0;
88
89protected:
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000090 StringRef Name;
Rafael Espindolaa175eb62015-08-13 18:37:23 +000091 HeaderT Header;
Rafael Espindola832b93f2015-08-24 20:06:32 +000092 unsigned SectionIndex;
Rafael Espindolaebd21082015-08-13 22:14:37 +000093 ~OutputSectionBase() = default;
94};
Rafael Espindola19e38892015-09-16 15:54:15 +000095template <class ELFT> class SymbolTableSection;
96
97template <class ELFT> struct DynamicReloc {
Rafael Espindola67a5da62015-09-17 14:02:10 +000098 typedef typename ELFFile<ELFT>::Elf_Rel Elf_Rel;
Rafael Espindola53d5cea2015-09-21 17:47:00 +000099 const InputSection<ELFT> &C;
Rafael Espindola67a5da62015-09-17 14:02:10 +0000100 const Elf_Rel &RI;
Rafael Espindola19e38892015-09-16 15:54:15 +0000101};
102
Rafael Espindolaeb792732015-09-21 15:11:29 +0000103static bool relocNeedsPLT(uint32_t Type) {
104 switch (Type) {
105 default:
106 return false;
107 case R_X86_64_PLT32:
108 return true;
109 }
110}
111
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000112static bool relocNeedsGOT(uint32_t Type) {
Rafael Espindolaeb792732015-09-21 15:11:29 +0000113 if (relocNeedsPLT(Type))
114 return true;
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000115 switch (Type) {
116 default:
117 return false;
118 case R_X86_64_GOTPCREL:
119 return true;
120 }
121}
122
123template <class ELFT>
124class GotSection final : public OutputSectionBase<ELFT::Is64Bits> {
125 typedef OutputSectionBase<ELFT::Is64Bits> Base;
126 typedef typename Base::uintX_t uintX_t;
127
128public:
129 GotSection()
130 : OutputSectionBase<ELFT::Is64Bits>(".got", SHT_PROGBITS,
131 SHF_ALLOC | SHF_WRITE) {
132 this->Header.sh_addralign = this->getAddrSize();
133 }
134 void finalize() override {
135 this->Header.sh_size = Entries.size() * this->getAddrSize();
136 }
137 void writeTo(uint8_t *Buf) override {}
138 void addEntry(SymbolBody *Sym) {
139 Sym->setGotIndex(Entries.size());
140 Entries.push_back(Sym);
141 }
142 bool empty() const { return Entries.empty(); }
143 uintX_t getEntryAddr(const SymbolBody &B) const {
144 return this->getVA() + B.getGotIndex() * this->getAddrSize();
145 }
146
147private:
148 std::vector<const SymbolBody *> Entries;
149};
150
Rafael Espindola19e38892015-09-16 15:54:15 +0000151template <class ELFT>
Rafael Espindolaeb792732015-09-21 15:11:29 +0000152class PltSection final : public OutputSectionBase<ELFT::Is64Bits> {
153 typedef OutputSectionBase<ELFT::Is64Bits> Base;
154 typedef typename Base::uintX_t uintX_t;
155
156public:
157 PltSection(const GotSection<ELFT> &GotSec)
158 : OutputSectionBase<ELFT::Is64Bits>(".plt", SHT_PROGBITS,
159 SHF_ALLOC | SHF_EXECINSTR),
160 GotSec(GotSec) {
161 this->Header.sh_addralign = 16;
162 }
163 void finalize() override {
164 this->Header.sh_size = Entries.size() * EntrySize;
165 }
166 void writeTo(uint8_t *Buf) override {
167 uintptr_t Start = reinterpret_cast<uintptr_t>(Buf);
168 ArrayRef<uint8_t> Jmp = {0xff, 0x25}; // jmpq *val(%rip)
169 for (const SymbolBody *E : Entries) {
170 uintptr_t InstPos = reinterpret_cast<uintptr_t>(Buf);
171
172 memcpy(Buf, Jmp.data(), Jmp.size());
173 Buf += Jmp.size();
174
175 uintptr_t OffsetInPLT = (InstPos + 6) - Start;
176 uintptr_t Delta = GotSec.getEntryAddr(*E) - (this->getVA() + OffsetInPLT);
177 assert(isInt<32>(Delta));
178 support::endian::write32le(Buf, Delta);
179 Buf += 4;
180
181 *Buf = 0x90; // nop
182 ++Buf;
183 *Buf = 0x90; // nop
184 ++Buf;
185 }
186 }
187 void addEntry(SymbolBody *Sym) {
188 Sym->setPltIndex(Entries.size());
189 Entries.push_back(Sym);
190 }
191 bool empty() const { return Entries.empty(); }
192 uintX_t getEntryAddr(const SymbolBody &B) const {
193 return this->getVA() + B.getPltIndex() * EntrySize;
194 }
195
196 static const unsigned EntrySize = 8;
197
198private:
199 std::vector<const SymbolBody *> Entries;
200 const GotSection<ELFT> &GotSec;
201};
202
203template <class ELFT>
Rafael Espindola19e38892015-09-16 15:54:15 +0000204class RelocationSection final : public OutputSectionBase<ELFT::Is64Bits> {
Rafael Espindola67a5da62015-09-17 14:02:10 +0000205 typedef typename ELFFile<ELFT>::Elf_Rel Elf_Rel;
Rafael Espindola19e38892015-09-16 15:54:15 +0000206 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
207
208public:
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000209 RelocationSection(SymbolTableSection<ELFT> &DynSymSec,
210 const GotSection<ELFT> &GotSec, bool IsRela)
Rafael Espindola67a5da62015-09-17 14:02:10 +0000211 : OutputSectionBase<ELFT::Is64Bits>(IsRela ? ".rela.dyn" : ".rel.dyn",
212 IsRela ? SHT_RELA : SHT_REL,
213 SHF_ALLOC),
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000214 DynSymSec(DynSymSec), GotSec(GotSec), IsRela(IsRela) {
Rafael Espindola67a5da62015-09-17 14:02:10 +0000215 this->Header.sh_entsize = IsRela ? sizeof(Elf_Rela) : sizeof(Elf_Rel);
Rafael Espindola19e38892015-09-16 15:54:15 +0000216 this->Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
217 }
218
219 void addReloc(const DynamicReloc<ELFT> &Reloc) { Relocs.push_back(Reloc); }
220 void finalize() override {
221 this->Header.sh_link = DynSymSec.getSectionIndex();
Rafael Espindola67a5da62015-09-17 14:02:10 +0000222 this->Header.sh_size = Relocs.size() * this->Header.sh_entsize;
Rafael Espindola19e38892015-09-16 15:54:15 +0000223 }
224 void writeTo(uint8_t *Buf) override {
225 auto *P = reinterpret_cast<Elf_Rela *>(Buf);
226 bool IsMips64EL = Relocs[0].C.getFile()->getObj()->isMips64EL();
227 for (const DynamicReloc<ELFT> &Rel : Relocs) {
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000228 const InputSection<ELFT> &C = Rel.C;
Rafael Espindola67a5da62015-09-17 14:02:10 +0000229 const Elf_Rel &RI = Rel.RI;
Rafael Espindola19e38892015-09-16 15:54:15 +0000230 OutputSection<ELFT> *Out = C.getOutputSection();
231 uint32_t SymIndex = RI.getSymbol(IsMips64EL);
232 const SymbolBody *Body = C.getFile()->getSymbolBody(SymIndex);
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000233 uint32_t Type = RI.getType(IsMips64EL);
234 if (relocNeedsGOT(Type)) {
235 P->r_offset = GotSec.getEntryAddr(*Body);
236 P->setSymbolAndType(Body->getDynamicSymbolTableIndex(),
237 R_X86_64_GLOB_DAT, IsMips64EL);
238 } else {
239 P->r_offset = RI.r_offset + C.getOutputSectionOff() + Out->getVA();
240 P->setSymbolAndType(Body->getDynamicSymbolTableIndex(), Type,
241 IsMips64EL);
242 if (IsRela)
243 P->r_addend = static_cast<const Elf_Rela &>(RI).r_addend;
244 }
Rafael Espindola19e38892015-09-16 15:54:15 +0000245
246 ++P;
247 }
248 }
Denis Protivensky18add762015-09-17 09:54:29 +0000249 bool hasRelocs() const { return !Relocs.empty(); }
Rafael Espindola67a5da62015-09-17 14:02:10 +0000250 bool isRela() const { return IsRela; }
Rafael Espindola19e38892015-09-16 15:54:15 +0000251
252private:
253 std::vector<DynamicReloc<ELFT>> Relocs;
254 SymbolTableSection<ELFT> &DynSymSec;
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000255 const GotSection<ELFT> &GotSec;
Rafael Espindola67a5da62015-09-17 14:02:10 +0000256 const bool IsRela;
Rafael Espindola19e38892015-09-16 15:54:15 +0000257};
Rafael Espindola832b93f2015-08-24 20:06:32 +0000258}
Rafael Espindolaebd21082015-08-13 22:14:37 +0000259
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000260template <class ELFT>
Rafael Espindola832b93f2015-08-24 20:06:32 +0000261class lld::elf2::OutputSection final
262 : public OutputSectionBase<ELFT::Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000263public:
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000264 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000265 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000266 typedef typename ELFFile<ELFT>::Elf_Rel Elf_Rel;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000267 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rafael Espindolaeb792732015-09-21 15:11:29 +0000268 OutputSection(const PltSection<ELFT> &PltSec, const GotSection<ELFT> &GotSec,
269 StringRef Name, uint32_t sh_type, uintX_t sh_flags)
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000270 : OutputSectionBase<ELFT::Is64Bits>(Name, sh_type, sh_flags),
Rafael Espindolaeb792732015-09-21 15:11:29 +0000271 PltSec(PltSec), GotSec(GotSec) {}
Rafael Espindolaebd21082015-08-13 22:14:37 +0000272
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000273 void addChunk(InputSection<ELFT> *C);
Rafael Espindolaebd21082015-08-13 22:14:37 +0000274 void writeTo(uint8_t *Buf) override;
275
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000276 template <bool isRela>
277 void relocate(uint8_t *Buf,
278 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels,
279 const ObjectFile<ELFT> &File, uintX_t BaseAddr);
280
281 void relocateOne(uint8_t *Buf, const Elf_Rela &Rel, uint32_t Type,
282 uintX_t BaseAddr, uintX_t SymVA);
283 void relocateOne(uint8_t *Buf, const Elf_Rel &Rel, uint32_t Type,
284 uintX_t BaseAddr, uintX_t SymVA);
285
Rafael Espindolaebd21082015-08-13 22:14:37 +0000286private:
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000287 std::vector<InputSection<ELFT> *> Chunks;
Rafael Espindolaeb792732015-09-21 15:11:29 +0000288 const PltSection<ELFT> &PltSec;
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000289 const GotSection<ELFT> &GotSec;
Rafael Espindola52a0f1e2015-08-11 23:22:24 +0000290};
291
Rafael Espindola832b93f2015-08-24 20:06:32 +0000292namespace {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000293template <bool Is64Bits>
Rafael Espindola70107762015-09-11 18:49:42 +0000294class InterpSection final : public OutputSectionBase<Is64Bits> {
295public:
296 InterpSection()
297 : OutputSectionBase<Is64Bits>(".interp", SHT_PROGBITS, SHF_ALLOC) {
298 this->Header.sh_size = Config->DynamicLinker.size() + 1;
299 this->Header.sh_addralign = 1;
300 }
301
302 void writeTo(uint8_t *Buf) override {
303 memcpy(Buf, Config->DynamicLinker.data(), Config->DynamicLinker.size());
304 }
305};
306
307template <bool Is64Bits>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000308class StringTableSection final : public OutputSectionBase<Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000309public:
310 typedef typename OutputSectionBase<Is64Bits>::uintX_t uintX_t;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000311 StringTableSection(bool Dynamic)
312 : OutputSectionBase<Is64Bits>(Dynamic ? ".dynstr" : ".strtab", SHT_STRTAB,
Rafael Espindolafb815282015-09-11 00:30:13 +0000313 Dynamic ? (uintX_t)SHF_ALLOC : 0),
314 Dynamic(Dynamic) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000315 this->Header.sh_addralign = 1;
316 }
317
318 void add(StringRef S) { StrTabBuilder.add(S); }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000319 size_t getFileOff(StringRef S) const { return StrTabBuilder.getOffset(S); }
320 StringRef data() const { return StrTabBuilder.data(); }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000321 void writeTo(uint8_t *Buf) override;
322
323 void finalize() override {
324 StrTabBuilder.finalize(StringTableBuilder::ELF);
325 this->Header.sh_size = StrTabBuilder.data().size();
326 }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000327
Rafael Espindolafb815282015-09-11 00:30:13 +0000328 bool isDynamic() const { return Dynamic; }
329
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000330private:
Rafael Espindolafb815282015-09-11 00:30:13 +0000331 const bool Dynamic;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000332 llvm::StringTableBuilder StrTabBuilder;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000333};
334
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000335template <class ELFT> class Writer;
336
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000337template <class ELFT>
338class SymbolTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
339public:
Davide Italianob5b47b42015-09-18 01:08:17 +0000340 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
Rafael Espindola62b81b82015-08-14 13:07:05 +0000341 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Davide Italiano6d328d32015-09-16 20:45:57 +0000342 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000343 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000344 SymbolTableSection(Writer<ELFT> &W, SymbolTable &Table,
Rafael Espindola57b25922015-09-08 19:23:30 +0000345 StringTableSection<ELFT::Is64Bits> &StrTabSec)
Rafael Espindolafb815282015-09-11 00:30:13 +0000346 : OutputSectionBase<ELFT::Is64Bits>(
347 StrTabSec.isDynamic() ? ".dynsym" : ".symtab",
348 StrTabSec.isDynamic() ? SHT_DYNSYM : SHT_SYMTAB,
349 StrTabSec.isDynamic() ? (uintX_t)SHF_ALLOC : 0),
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000350 Table(Table), StrTabSec(StrTabSec), W(W) {
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000351 typedef OutputSectionBase<ELFT::Is64Bits> Base;
352 typename Base::HeaderT &Header = this->Header;
353
Rafael Espindola62b81b82015-08-14 13:07:05 +0000354 Header.sh_entsize = sizeof(Elf_Sym);
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000355 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
356 }
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000357
358 void finalize() override {
Rafael Espindola80faee82015-09-14 22:08:55 +0000359 this->Header.sh_size = getNumSymbols() * sizeof(Elf_Sym);
Rafael Espindola57b25922015-09-08 19:23:30 +0000360 this->Header.sh_link = StrTabSec.getSectionIndex();
Davide Italiano6d328d32015-09-16 20:45:57 +0000361 this->Header.sh_info = NumLocals + 1;
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000362 }
363
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000364 void writeTo(uint8_t *Buf) override;
Rafael Espindola62b81b82015-08-14 13:07:05 +0000365
Rafael Espindola70107762015-09-11 18:49:42 +0000366 const SymbolTable &getSymTable() const { return Table; }
Rafael Espindolae6f52102015-08-24 14:48:18 +0000367
Davide Italiano6d328d32015-09-16 20:45:57 +0000368 void addSymbol(StringRef Name, bool isLocal = false) {
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000369 StrTabSec.add(Name);
370 ++NumVisible;
Davide Italiano6d328d32015-09-16 20:45:57 +0000371 if (isLocal)
372 ++NumLocals;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000373 }
374
Rafael Espindola243d90f2015-09-11 01:14:39 +0000375 StringTableSection<ELFT::Is64Bits> &getStrTabSec() { return StrTabSec; }
Rafael Espindola80faee82015-09-14 22:08:55 +0000376 unsigned getNumSymbols() const { return NumVisible + 1; }
Rafael Espindola243d90f2015-09-11 01:14:39 +0000377
Rafael Espindola62b81b82015-08-14 13:07:05 +0000378private:
379 SymbolTable &Table;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000380 StringTableSection<ELFT::Is64Bits> &StrTabSec;
381 unsigned NumVisible = 0;
Davide Italiano6d328d32015-09-16 20:45:57 +0000382 unsigned NumLocals = 0;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000383 const Writer<ELFT> &W;
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000384};
385
Rafael Espindola243d90f2015-09-11 01:14:39 +0000386template <class ELFT>
Rafael Espindola601771e2015-09-14 20:20:34 +0000387class HashTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
388 typedef typename ELFFile<ELFT>::Elf_Word Elf_Word;
389
390public:
Rafael Espindola80faee82015-09-14 22:08:55 +0000391 HashTableSection(SymbolTableSection<ELFT> &DynSymSec)
Rafael Espindola601771e2015-09-14 20:20:34 +0000392 : OutputSectionBase<ELFT::Is64Bits>(".hash", SHT_HASH, SHF_ALLOC),
393 DynSymSec(DynSymSec) {
394 this->Header.sh_entsize = sizeof(Elf_Word);
395 this->Header.sh_addralign = sizeof(Elf_Word);
396 }
397
Rafael Espindola19e38892015-09-16 15:54:15 +0000398 void addSymbol(SymbolBody *S) {
399 StringRef Name = S->getName();
Rafael Espindola80faee82015-09-14 22:08:55 +0000400 DynSymSec.addSymbol(Name);
401 Hashes.push_back(hash(Name));
Rafael Espindola19e38892015-09-16 15:54:15 +0000402 S->setDynamicSymbolTableIndex(Hashes.size());
Rafael Espindola601771e2015-09-14 20:20:34 +0000403 }
404
Rafael Espindola80faee82015-09-14 22:08:55 +0000405 void finalize() override {
406 this->Header.sh_link = DynSymSec.getSectionIndex();
407
408 assert(DynSymSec.getNumSymbols() == Hashes.size() + 1);
409 unsigned NumEntries = 2; // nbucket and nchain.
410 NumEntries += DynSymSec.getNumSymbols(); // The chain entries.
411
412 // Create as many buckets as there are symbols.
413 // FIXME: This is simplistic. We can try to optimize it, but implementing
414 // support for SHT_GNU_HASH is probably even more profitable.
415 NumEntries += DynSymSec.getNumSymbols();
416 this->Header.sh_size = NumEntries * sizeof(Elf_Word);
417 }
418
419 void writeTo(uint8_t *Buf) override {
420 unsigned NumSymbols = DynSymSec.getNumSymbols();
421 auto *P = reinterpret_cast<Elf_Word *>(Buf);
422 *P++ = NumSymbols; // nbucket
423 *P++ = NumSymbols; // nchain
424
Rui Ueyamab73002f2015-09-15 01:03:58 +0000425 Elf_Word *Buckets = P;
426 Elf_Word *Chains = P + NumSymbols;
Rafael Espindola80faee82015-09-14 22:08:55 +0000427
428 for (unsigned I = 1; I < NumSymbols; ++I) {
429 uint32_t Hash = Hashes[I - 1] % NumSymbols;
430 Chains[I] = Buckets[Hash];
431 Buckets[Hash] = I;
432 }
Rafael Espindola80faee82015-09-14 22:08:55 +0000433 }
434
435 SymbolTableSection<ELFT> &getDynSymSec() { return DynSymSec; }
Rafael Espindola601771e2015-09-14 20:20:34 +0000436
437private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000438 uint32_t hash(StringRef Name) {
439 uint32_t H = 0;
440 for (char C : Name) {
441 H = (H << 4) + C;
442 uint32_t G = H & 0xf0000000;
443 if (G)
444 H ^= G >> 24;
445 H &= ~G;
446 }
447 return H;
448 }
449 SymbolTableSection<ELFT> &DynSymSec;
450 std::vector<uint32_t> Hashes;
Rafael Espindola601771e2015-09-14 20:20:34 +0000451};
452
453template <class ELFT>
Rafael Espindola243d90f2015-09-11 01:14:39 +0000454class DynamicSection final : public OutputSectionBase<ELFT::Is64Bits> {
455 typedef OutputSectionBase<ELFT::Is64Bits> Base;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000456 typedef typename Base::HeaderT HeaderT;
457 typedef typename Base::Elf_Dyn Elf_Dyn;
458
Rafael Espindola740fafe2015-09-08 19:43:27 +0000459public:
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000460 DynamicSection(SymbolTable &SymTab, HashTableSection<ELFT> &HashSec,
461 RelocationSection<ELFT> &RelaDynSec)
Rafael Espindola243d90f2015-09-11 01:14:39 +0000462 : OutputSectionBase<ELFT::Is64Bits>(".dynamic", SHT_DYNAMIC,
463 SHF_ALLOC | SHF_WRITE),
Rafael Espindola80faee82015-09-14 22:08:55 +0000464 HashSec(HashSec), DynSymSec(HashSec.getDynSymSec()),
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000465 DynStrSec(DynSymSec.getStrTabSec()), RelaDynSec(RelaDynSec),
466 SymTab(SymTab) {
Rafael Espindola740fafe2015-09-08 19:43:27 +0000467 typename Base::HeaderT &Header = this->Header;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000468 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
469 Header.sh_entsize = ELFT::Is64Bits ? 16 : 8;
Rafael Espindola2b92d8f2015-09-16 19:26:31 +0000470 }
471
472 void finalize() override {
473 typename Base::HeaderT &Header = this->Header;
474 Header.sh_link = DynStrSec.getSectionIndex();
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000475
476 unsigned NumEntries = 0;
Denis Protivensky18add762015-09-17 09:54:29 +0000477 if (RelaDynSec.hasRelocs()) {
Rafael Espindola67a5da62015-09-17 14:02:10 +0000478 ++NumEntries; // DT_RELA / DT_REL
479 ++NumEntries; // DT_RELASZ / DTRELSZ
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000480 }
Rafael Espindola243d90f2015-09-11 01:14:39 +0000481 ++NumEntries; // DT_SYMTAB
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000482 ++NumEntries; // DT_STRTAB
Rafael Espindola778562f2015-09-09 20:26:23 +0000483 ++NumEntries; // DT_STRSZ
Rafael Espindola80faee82015-09-14 22:08:55 +0000484 ++NumEntries; // DT_HASH
Rafael Espindola778562f2015-09-09 20:26:23 +0000485
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000486 StringRef RPath = Config->RPath;
487 if (!RPath.empty()) {
488 ++NumEntries; // DT_RUNPATH
489 DynStrSec.add(RPath);
490 }
491
Rafael Espindola778562f2015-09-09 20:26:23 +0000492 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
493 SymTab.getSharedFiles();
494 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles)
495 DynStrSec.add(File->getName());
496 NumEntries += SharedFiles.size();
497
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000498 ++NumEntries; // DT_NULL
499
500 Header.sh_size = NumEntries * Header.sh_entsize;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000501 }
502
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000503 void writeTo(uint8_t *Buf) override {
504 auto *P = reinterpret_cast<Elf_Dyn *>(Buf);
505
Denis Protivensky18add762015-09-17 09:54:29 +0000506 if (RelaDynSec.hasRelocs()) {
Rafael Espindola67a5da62015-09-17 14:02:10 +0000507 bool IsRela = RelaDynSec.isRela();
508 P->d_tag = IsRela ? DT_RELA : DT_REL;
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000509 P->d_un.d_ptr = RelaDynSec.getVA();
510 ++P;
511
Rafael Espindola67a5da62015-09-17 14:02:10 +0000512 P->d_tag = IsRela ? DT_RELASZ : DT_RELSZ;
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000513 P->d_un.d_val = RelaDynSec.getSize();
514 ++P;
515 }
516
Rafael Espindola243d90f2015-09-11 01:14:39 +0000517 P->d_tag = DT_SYMTAB;
518 P->d_un.d_ptr = DynSymSec.getVA();
519 ++P;
520
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000521 P->d_tag = DT_STRTAB;
522 P->d_un.d_ptr = DynStrSec.getVA();
523 ++P;
524
Rafael Espindola778562f2015-09-09 20:26:23 +0000525 P->d_tag = DT_STRSZ;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000526 P->d_un.d_val = DynStrSec.data().size();
Rafael Espindola778562f2015-09-09 20:26:23 +0000527 ++P;
528
Rafael Espindola80faee82015-09-14 22:08:55 +0000529 P->d_tag = DT_HASH;
530 P->d_un.d_ptr = HashSec.getVA();
531 ++P;
532
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000533 StringRef RPath = Config->RPath;
534 if (!RPath.empty()) {
535 P->d_tag = DT_RUNPATH;
536 P->d_un.d_val = DynStrSec.getFileOff(RPath);
537 ++P;
538 }
539
Rafael Espindola778562f2015-09-09 20:26:23 +0000540 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
541 SymTab.getSharedFiles();
542 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles) {
543 P->d_tag = DT_NEEDED;
544 P->d_un.d_val = DynStrSec.getFileOff(File->getName());
545 ++P;
546 }
547
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000548 P->d_tag = DT_NULL;
549 P->d_un.d_val = 0;
Rafael Espindola778562f2015-09-09 20:26:23 +0000550 ++P;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000551 }
Rafael Espindola740fafe2015-09-08 19:43:27 +0000552
553private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000554 HashTableSection<ELFT> &HashSec;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000555 SymbolTableSection<ELFT> &DynSymSec;
Rafael Espindola80faee82015-09-14 22:08:55 +0000556 StringTableSection<ELFT::Is64Bits> &DynStrSec;
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000557 RelocationSection<ELFT> &RelaDynSec;
Rafael Espindola778562f2015-09-09 20:26:23 +0000558 SymbolTable &SymTab;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000559};
560
Michael J. Spencer2f008242015-09-17 19:58:07 +0000561static uint32_t convertSectionFlagsToPHDRFlags(uint64_t Flags) {
562 uint32_t Ret = PF_R;
563 if (Flags & SHF_WRITE)
564 Ret |= PF_W;
565
566 if (Flags & SHF_EXECINSTR)
567 Ret |= PF_X;
568
569 return Ret;
570}
571
572template <bool Is64Bits>
573class ProgramHeader {
574public:
575 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
576 typedef
577 typename std::conditional<Is64Bits, Elf64_Phdr, Elf32_Phdr>::type HeaderT;
578
579 ProgramHeader(uintX_t p_type, uintX_t p_flags) {
580 std::memset(&Header, 0, sizeof(HeaderT));
581 Header.p_type = p_type;
582 Header.p_flags = p_flags;
583 Header.p_align = PageSize;
584 }
585
586 void setValuesFromSection(OutputSectionBase<Is64Bits> &Sec) {
587 Header.p_flags = convertSectionFlagsToPHDRFlags(Sec.getFlags());
588 Header.p_offset = Sec.getFileOff();
589 Header.p_vaddr = Sec.getVA();
590 Header.p_paddr = Header.p_vaddr;
591 Header.p_filesz = Sec.getSize();
592 Header.p_memsz = Header.p_filesz;
593 Header.p_align = Sec.getAlign();
594 }
595
596 template <endianness E>
597 void writeHeaderTo(typename ELFFile<ELFType<E, Is64Bits>>::Elf_Phdr *PHDR) {
598 PHDR->p_type = Header.p_type;
599 PHDR->p_flags = Header.p_flags;
600 PHDR->p_offset = Header.p_offset;
601 PHDR->p_vaddr = Header.p_vaddr;
602 PHDR->p_paddr = Header.p_paddr;
603 PHDR->p_filesz = Header.p_filesz;
604 PHDR->p_memsz = Header.p_memsz;
605 PHDR->p_align = Header.p_align;
606 }
607
608 HeaderT Header;
609 bool Closed = false;
610};
611
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000612// The writer writes a SymbolTable result to a file.
613template <class ELFT> class Writer {
614public:
Rafael Espindola18608a02015-09-08 21:57:31 +0000615 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
616 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
617 typedef typename ELFFile<ELFT>::Elf_Ehdr Elf_Ehdr;
618 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
619 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Davide Italiano6d328d32015-09-16 20:45:57 +0000620 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
Rafael Espindola19e38892015-09-16 15:54:15 +0000621 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000622 Writer(SymbolTable *T)
Rui Ueyama9078f732015-09-14 20:32:41 +0000623 : SymTabSec(*this, *T, StrTabSec), DynSymSec(*this, *T, DynStrSec),
Rafael Espindolaeb792732015-09-21 15:11:29 +0000624 RelaDynSec(DynSymSec, GotSec, T->shouldUseRela()), PltSec(GotSec),
625 HashSec(DynSymSec), DynamicSec(*T, HashSec, RelaDynSec) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000626 void run();
627
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000628 const OutputSection<ELFT> &getBSS() const {
629 assert(BSSSec);
630 return *BSSSec;
631 }
632
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000633private:
634 void createSections();
Rafael Espindola67a5da62015-09-17 14:02:10 +0000635 template <bool isRela>
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000636 void scanRelocs(const InputSection<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +0000637 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels);
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000638 void scanRelocs(const InputSection<ELFT> &C);
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000639 void assignAddresses();
640 void openFile(StringRef OutputPath);
641 void writeHeader();
642 void writeSections();
Rafael Espindola70107762015-09-11 18:49:42 +0000643 bool needsInterpSection() const {
644 return !SymTabSec.getSymTable().getSharedFiles().empty() &&
645 !Config->DynamicLinker.empty();
646 }
Rafael Espindola4340aad2015-09-11 22:42:45 +0000647 bool needsDynamicSections() const {
648 return !SymTabSec.getSymTable().getSharedFiles().empty() || Config->Shared;
649 }
650 unsigned getVAStart() const { return Config->Shared ? 0 : VAStart; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000651
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000652 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Michael J. Spencer2f008242015-09-17 19:58:07 +0000653
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000654 llvm::SpecificBumpPtrAllocator<OutputSection<ELFT>> CAlloc;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000655 std::vector<OutputSectionBase<ELFT::Is64Bits> *> OutputSections;
Rafael Espindola5f553872015-09-08 17:39:39 +0000656 unsigned getNumSections() const { return OutputSections.size() + 1; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000657
Michael J. Spencer2f008242015-09-17 19:58:07 +0000658 llvm::BumpPtrAllocator PAlloc;
659 std::vector<ProgramHeader<ELFT::Is64Bits> *> PHDRs;
660 ProgramHeader<ELFT::Is64Bits> FileHeaderPHDR{PT_LOAD, PF_R};
661 ProgramHeader<ELFT::Is64Bits> InterpPHDR{PT_INTERP, 0};
662 ProgramHeader<ELFT::Is64Bits> DynamicPHDR{PT_DYNAMIC, 0};
663
Rafael Espindola98f6bd02015-08-11 23:14:13 +0000664 uintX_t FileSize;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000665 uintX_t ProgramHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000666 uintX_t SectionHeaderOff;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000667
Rui Ueyama9078f732015-09-14 20:32:41 +0000668 StringTableSection<ELFT::Is64Bits> StrTabSec = { /*dynamic=*/false };
669 StringTableSection<ELFT::Is64Bits> DynStrSec = { /*dynamic=*/true };
Rafael Espindolaebd21082015-08-13 22:14:37 +0000670
Rafael Espindolafb815282015-09-11 00:30:13 +0000671 SymbolTableSection<ELFT> SymTabSec;
672 SymbolTableSection<ELFT> DynSymSec;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000673
Rafael Espindola19e38892015-09-16 15:54:15 +0000674 RelocationSection<ELFT> RelaDynSec;
675
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000676 GotSection<ELFT> GotSec;
Rafael Espindolaeb792732015-09-21 15:11:29 +0000677 PltSection<ELFT> PltSec;
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000678
Rafael Espindola601771e2015-09-14 20:20:34 +0000679 HashTableSection<ELFT> HashSec;
680
Rafael Espindola80faee82015-09-14 22:08:55 +0000681 DynamicSection<ELFT> DynamicSec;
682
Rafael Espindola70107762015-09-11 18:49:42 +0000683 InterpSection<ELFT::Is64Bits> InterpSec;
684
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000685 OutputSection<ELFT> *BSSSec = nullptr;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000686};
687} // anonymous namespace
688
689namespace lld {
690namespace elf2 {
691
Rafael Espindola2ffdd4d2015-08-04 14:29:01 +0000692template <class ELFT>
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000693void writeResult(SymbolTable *Symtab) { Writer<ELFT>(Symtab).run(); }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000694
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000695template void writeResult<ELF32LE>(SymbolTable *);
696template void writeResult<ELF32BE>(SymbolTable *);
697template void writeResult<ELF64LE>(SymbolTable *);
698template void writeResult<ELF64BE>(SymbolTable *);
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000699
700} // namespace elf2
701} // namespace lld
Michael J. Spencer84487f12015-07-24 21:03:07 +0000702
703// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000704template <class ELFT> void Writer<ELFT>::run() {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000705 createSections();
706 assignAddresses();
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000707 openFile(Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000708 writeHeader();
709 writeSections();
710 error(Buffer->commit());
711}
712
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000713template <class ELFT>
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000714void OutputSection<ELFT>::addChunk(InputSection<ELFT> *C) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000715 Chunks.push_back(C);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000716 C->setOutputSection(this);
Rafael Espindola0160a282015-08-13 20:13:39 +0000717 uint32_t Align = C->getAlign();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000718 if (Align > this->Header.sh_addralign)
719 this->Header.sh_addralign = Align;
Rafael Espindola0160a282015-08-13 20:13:39 +0000720
Rafael Espindolaebd21082015-08-13 22:14:37 +0000721 uintX_t Off = this->Header.sh_size;
Rafael Espindola0160a282015-08-13 20:13:39 +0000722 Off = RoundUpToAlignment(Off, Align);
Rafael Espindola674b5d52015-08-13 15:54:36 +0000723 C->setOutputSectionOff(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000724 Off += C->getSize();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000725 this->Header.sh_size = Off;
726}
727
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000728template <class ELFT>
Rafael Espindola19e38892015-09-16 15:54:15 +0000729static typename ELFFile<ELFT>::uintX_t
730getSymVA(const DefinedRegular<ELFT> *DR) {
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000731 const InputSection<ELFT> *SC = &DR->Section;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000732 OutputSection<ELFT> *OS = SC->getOutputSection();
733 return OS->getVA() + SC->getOutputSectionOff() + DR->Sym.st_value;
734}
735
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000736template <class ELFT>
737void OutputSection<ELFT>::relocateOne(uint8_t *Buf, const Elf_Rel &Rel,
738 uint32_t Type, uintX_t BaseAddr,
739 uintX_t SymVA) {
740 uintX_t Offset = Rel.r_offset;
741 uint8_t *Location = Buf + Offset;
742 switch (Type) {
743 case R_386_32:
744 support::endian::write32le(Location, SymVA);
745 break;
746 default:
747 llvm::errs() << Twine("unrecognized reloc ") + Twine(Type) << '\n';
748 break;
749 }
750}
751
752template <class ELFT>
753void OutputSection<ELFT>::relocateOne(uint8_t *Buf, const Elf_Rela &Rel,
754 uint32_t Type, uintX_t BaseAddr,
755 uintX_t SymVA) {
756 uintX_t Offset = Rel.r_offset;
757 uint8_t *Location = Buf + Offset;
758 switch (Type) {
759 case R_X86_64_PC32:
760 support::endian::write32le(Location,
761 SymVA + (Rel.r_addend - (BaseAddr + Offset)));
762 break;
763 case R_X86_64_64:
764 support::endian::write64le(Location, SymVA + Rel.r_addend);
765 break;
766 case R_X86_64_32: {
767 case R_X86_64_32S:
768 uint64_t VA = SymVA + Rel.r_addend;
769 if (Type == R_X86_64_32 && !isUInt<32>(VA))
770 error("R_X86_64_32 out of range");
771 else if (!isInt<32>(VA))
772 error("R_X86_64_32S out of range");
773
774 support::endian::write32le(Location, VA);
775 break;
776 }
777 default:
778 llvm::errs() << Twine("unrecognized reloc ") + Twine(Type) << '\n';
779 break;
780 }
781}
782
783template <class ELFT>
784template <bool isRela>
785void OutputSection<ELFT>::relocate(
786 uint8_t *Buf, iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels,
787 const ObjectFile<ELFT> &File, uintX_t BaseAddr) {
788 typedef Elf_Rel_Impl<ELFT, isRela> RelType;
789 bool IsMips64EL = File.getObj()->isMips64EL();
790 for (const RelType &RI : Rels) {
791 uint32_t SymIndex = RI.getSymbol(IsMips64EL);
792 const SymbolBody *Body = File.getSymbolBody(SymIndex);
793 if (!Body)
794 continue;
795
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000796 uint32_t Type = RI.getType(IsMips64EL);
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000797 uintX_t SymVA;
Michael J. Spencer95674952015-09-18 21:48:38 +0000798
799 switch (Body->kind()) {
800 case SymbolBody::DefinedRegularKind:
801 SymVA = getSymVA<ELFT>(cast<DefinedRegular<ELFT>>(Body));
802 break;
803 case SymbolBody::DefinedAbsoluteKind:
804 SymVA = cast<DefinedAbsolute<ELFT>>(Body)->Sym.st_value;
805 break;
Michael J. Spencer658dccd2015-09-18 22:13:25 +0000806 case SymbolBody::DefinedCommonKind: {
807 auto *DC = cast<DefinedCommon<ELFT>>(Body);
808 SymVA = DC->OutputSec->getVA() + DC->OffsetInBSS;
809 break;
810 }
Michael J. Spencer95674952015-09-18 21:48:38 +0000811 case SymbolBody::SharedKind:
Rafael Espindolaeb792732015-09-21 15:11:29 +0000812 if (relocNeedsPLT(Type)) {
813 SymVA = PltSec.getEntryAddr(*Body);
814 Type = R_X86_64_PC32;
815 } else if (relocNeedsGOT(Type)) {
816 SymVA = GotSec.getEntryAddr(*Body);
817 Type = R_X86_64_PC32;
818 } else {
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000819 continue;
Rafael Espindolaeb792732015-09-21 15:11:29 +0000820 }
Michael J. Spencer95674952015-09-18 21:48:38 +0000821 break;
822 case SymbolBody::UndefinedKind:
Michael J. Spencer97795352015-09-18 22:26:13 +0000823 assert(Body->isWeak() && "Undefined symbol reached writer");
824 SymVA = 0;
825 break;
Michael J. Spencer95674952015-09-18 21:48:38 +0000826 case SymbolBody::LazyKind:
827 llvm_unreachable("Lazy symbol reached writer");
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000828 }
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000829
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000830 relocateOne(Buf, RI, Type, BaseAddr, SymVA);
831 }
832}
833
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000834template <class ELFT> void OutputSection<ELFT>::writeTo(uint8_t *Buf) {
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000835 for (InputSection<ELFT> *C : Chunks) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000836 C->writeTo(Buf);
Rafael Espindola19e38892015-09-16 15:54:15 +0000837 const ObjectFile<ELFT> *File = C->getFile();
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000838 ELFFile<ELFT> *EObj = File->getObj();
839 uint8_t *Base = Buf + C->getOutputSectionOff();
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000840 uintX_t BaseAddr = this->getVA() + C->getOutputSectionOff();
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000841 // Iterate over all relocation sections that apply to this section.
842 for (const Elf_Shdr *RelSec : C->RelocSections) {
Rafael Espindolaeade07b2015-09-16 21:57:07 +0000843 if (RelSec->sh_type == SHT_RELA)
844 relocate(Base, EObj->relas(RelSec), *File, BaseAddr);
845 else
846 relocate(Base, EObj->rels(RelSec), *File, BaseAddr);
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000847 }
848 }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000849}
850
851template <bool Is64Bits>
852void StringTableSection<Is64Bits>::writeTo(uint8_t *Buf) {
853 StringRef Data = StrTabBuilder.data();
854 memcpy(Buf, Data.data(), Data.size());
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000855}
856
Rafael Espindola871765c2015-08-28 02:46:41 +0000857template <class ELFT>
858static int compareSym(const typename ELFFile<ELFT>::Elf_Sym *A,
859 const typename ELFFile<ELFT>::Elf_Sym *B) {
860 uint32_t AN = A->st_name;
861 uint32_t BN = B->st_name;
862 assert(AN != BN);
863 return AN - BN;
864}
865
Rafael Espindola18173d42015-09-08 15:50:05 +0000866static bool includeInSymtab(const SymbolBody &B) {
867 if (B.isLazy())
868 return false;
869 if (!B.isUsedInRegularObj())
870 return false;
871 uint8_t V = B.getMostConstrainingVisibility();
872 if (V != STV_DEFAULT && V != STV_PROTECTED)
873 return false;
874 return true;
875}
876
Rafael Espindola62b81b82015-08-14 13:07:05 +0000877template <class ELFT> void SymbolTableSection<ELFT>::writeTo(uint8_t *Buf) {
Davide Italianob5b47b42015-09-18 01:08:17 +0000878 const OutputSection<ELFT> *Out = nullptr;
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000879 const InputSection<ELFT> *Section = nullptr;
Rafael Espindola62b81b82015-08-14 13:07:05 +0000880 Buf += sizeof(Elf_Sym);
Davide Italiano6d328d32015-09-16 20:45:57 +0000881
882 // All symbols with STB_LOCAL binding precede the weak and global symbols.
883 // .dynsym only contains global symbols.
884 if (!Config->DiscardAll && !StrTabSec.isDynamic()) {
885 for (const std::unique_ptr<ObjectFileBase> &FileB :
886 Table.getObjectFiles()) {
887 auto &File = cast<ObjectFile<ELFT>>(*FileB);
888 Elf_Sym_Range Syms = File.getLocalSymbols();
889 for (const Elf_Sym &Sym : Syms) {
890 auto *ESym = reinterpret_cast<Elf_Sym *>(Buf);
Davide Italianob5b47b42015-09-18 01:08:17 +0000891 uint32_t SecIndex = Sym.st_shndx;
Davide Italiano6d328d32015-09-16 20:45:57 +0000892 ErrorOr<StringRef> SymName = Sym.getName(File.getStringTable());
Davide Italiano5445b2de2015-09-20 21:58:12 +0000893 if (Config->DiscardLocals && SymName->startswith(".L"))
894 continue;
Davide Italiano6d328d32015-09-16 20:45:57 +0000895 ESym->st_name = (SymName) ? StrTabSec.getFileOff(*SymName) : 0;
Davide Italiano6d328d32015-09-16 20:45:57 +0000896 ESym->st_size = Sym.st_size;
Davide Italianob5b47b42015-09-18 01:08:17 +0000897 ESym->setBindingAndType(Sym.getBinding(), Sym.getType());
898 if (SecIndex == SHN_XINDEX)
899 SecIndex = File.getObj()->getExtendedSymbolTableIndex(
900 &Sym, File.getSymbolTable(), File.getSymbolTableShndx());
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000901 ArrayRef<InputSection<ELFT> *> Chunks = File.getChunks();
Davide Italianob5b47b42015-09-18 01:08:17 +0000902 Section = Chunks[SecIndex];
903 assert(Section != nullptr);
904 Out = Section->getOutputSection();
905 assert(Out != nullptr);
906 ESym->st_shndx = Out->getSectionIndex();
907 ESym->st_value =
908 Out->getVA() + Section->getOutputSectionOff() + Sym.st_value;
Davide Italiano6d328d32015-09-16 20:45:57 +0000909 Buf += sizeof(Elf_Sym);
910 }
911 }
912 }
913
Rafael Espindola62b81b82015-08-14 13:07:05 +0000914 for (auto &P : Table.getSymbols()) {
915 StringRef Name = P.first;
Rafael Espindola383c3232015-08-14 13:52:36 +0000916 Symbol *Sym = P.second;
Rafael Espindola7f377752015-09-01 20:30:52 +0000917 SymbolBody *Body = Sym->Body;
Rafael Espindola18173d42015-09-08 15:50:05 +0000918 if (!includeInSymtab(*Body))
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000919 continue;
Rafael Espindola7f377752015-09-01 20:30:52 +0000920 const Elf_Sym &InputSym = cast<ELFSymbolBody<ELFT>>(Body)->Sym;
Rafael Espindola383c3232015-08-14 13:52:36 +0000921
922 auto *ESym = reinterpret_cast<Elf_Sym *>(Buf);
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000923 ESym->st_name = StrTabSec.getFileOff(Name);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000924
Davide Italianob5b47b42015-09-18 01:08:17 +0000925 Out = nullptr;
926 Section = nullptr;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000927
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000928 switch (Body->kind()) {
Rafael Espindola7f377752015-09-01 20:30:52 +0000929 case SymbolBody::DefinedRegularKind:
930 Section = &cast<DefinedRegular<ELFT>>(Body)->Section;
Rafael Espindola383c3232015-08-14 13:52:36 +0000931 break;
Rafael Espindola8b09d682015-08-31 22:33:21 +0000932 case SymbolBody::DefinedCommonKind:
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000933 Out = &W.getBSS();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000934 break;
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000935 case SymbolBody::UndefinedKind:
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000936 case SymbolBody::DefinedAbsoluteKind:
Rafael Espindola18173d42015-09-08 15:50:05 +0000937 case SymbolBody::SharedKind:
Rafael Espindola383c3232015-08-14 13:52:36 +0000938 break;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000939 case SymbolBody::LazyKind:
940 llvm_unreachable("Lazy symbol got to output symbol table!");
Rafael Espindola383c3232015-08-14 13:52:36 +0000941 }
Rafael Espindolaf3837072015-08-25 15:53:17 +0000942
Davide Italianoad6c81c2015-09-04 19:42:14 +0000943 ESym->setBindingAndType(InputSym.getBinding(), InputSym.getType());
Rafael Espindola7f377752015-09-01 20:30:52 +0000944 ESym->st_size = InputSym.st_size;
Davide Italianoad6c81c2015-09-04 19:42:14 +0000945 ESym->setVisibility(Body->getMostConstrainingVisibility());
Rafael Espindola7f377752015-09-01 20:30:52 +0000946 if (InputSym.isAbsolute()) {
947 ESym->st_shndx = SHN_ABS;
948 ESym->st_value = InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000949 }
Rafael Espindola383c3232015-08-14 13:52:36 +0000950
Rafael Espindola8b09d682015-08-31 22:33:21 +0000951 if (Section)
952 Out = Section->getOutputSection();
953
954 if (Out) {
Rafael Espindola832b93f2015-08-24 20:06:32 +0000955 ESym->st_shndx = Out->getSectionIndex();
Rafael Espindolaf3837072015-08-25 15:53:17 +0000956 uintX_t VA = Out->getVA();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000957 if (Section)
958 VA += Section->getOutputSectionOff();
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000959 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
960 VA += C->OffsetInBSS;
961 else
Rafael Espindola7f377752015-09-01 20:30:52 +0000962 VA += InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000963 ESym->st_value = VA;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000964 }
965
Rafael Espindola62b81b82015-08-14 13:07:05 +0000966 Buf += sizeof(Elf_Sym);
967 }
968}
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000969
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000970template <bool Is64Bits>
971template <endianness E>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000972void OutputSectionBase<Is64Bits>::writeHeaderTo(
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000973 typename ELFFile<ELFType<E, Is64Bits>>::Elf_Shdr *SHdr) {
974 SHdr->sh_name = Header.sh_name;
975 SHdr->sh_type = Header.sh_type;
976 SHdr->sh_flags = Header.sh_flags;
977 SHdr->sh_addr = Header.sh_addr;
978 SHdr->sh_offset = Header.sh_offset;
979 SHdr->sh_size = Header.sh_size;
980 SHdr->sh_link = Header.sh_link;
981 SHdr->sh_info = Header.sh_info;
982 SHdr->sh_addralign = Header.sh_addralign;
983 SHdr->sh_entsize = Header.sh_entsize;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000984}
985
Rafael Espindolaa7471792015-08-13 17:04:50 +0000986namespace {
987template <bool Is64Bits> struct SectionKey {
988 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
989 StringRef Name;
990 uint32_t sh_type;
991 uintX_t sh_flags;
992};
993}
994namespace llvm {
995template <bool Is64Bits> struct DenseMapInfo<SectionKey<Is64Bits>> {
996 static SectionKey<Is64Bits> getEmptyKey() {
997 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0};
998 }
999 static SectionKey<Is64Bits> getTombstoneKey() {
1000 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getTombstoneKey(), 0,
1001 0};
1002 }
1003 static unsigned getHashValue(const SectionKey<Is64Bits> &Val) {
1004 return hash_combine(Val.Name, Val.sh_type, Val.sh_flags);
1005 }
1006 static bool isEqual(const SectionKey<Is64Bits> &LHS,
1007 const SectionKey<Is64Bits> &RHS) {
1008 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
1009 LHS.sh_type == RHS.sh_type && LHS.sh_flags == RHS.sh_flags;
1010 }
1011};
1012}
1013
Rafael Espindolab56cb942015-09-01 00:16:38 +00001014template <class ELFT>
1015static bool cmpAlign(const DefinedCommon<ELFT> *A,
1016 const DefinedCommon<ELFT> *B) {
Rafael Espindolaf31f9612015-09-01 01:19:12 +00001017 return A->MaxAlignment > B->MaxAlignment;
Rafael Espindolab56cb942015-09-01 00:16:38 +00001018}
1019
Rafael Espindolab01b5742015-09-08 18:08:57 +00001020template <bool Is64Bits>
1021static bool compSec(OutputSectionBase<Is64Bits> *A,
1022 OutputSectionBase<Is64Bits> *B) {
1023 // Place SHF_ALLOC sections first.
1024 return (A->getFlags() & SHF_ALLOC) && !(B->getFlags() & SHF_ALLOC);
1025}
1026
Rafael Espindola19e38892015-09-16 15:54:15 +00001027// The reason we have to do this early scan is as follows
1028// * To mmap the output file, we need to know the size
1029// * For that, we need to know how many dynamic relocs we will have.
1030// It might be possible to avoid this by outputting the file with write:
1031// * Write the allocated output sections, computing addresses.
1032// * Apply relocations, recording which ones require a dynamic reloc.
1033// * Write the dynamic relocations.
1034// * Write the rest of the file.
1035template <class ELFT>
Rafael Espindola67a5da62015-09-17 14:02:10 +00001036template <bool isRela>
1037void Writer<ELFT>::scanRelocs(
Rafael Espindola53d5cea2015-09-21 17:47:00 +00001038 const InputSection<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +00001039 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels) {
1040 typedef Elf_Rel_Impl<ELFT, isRela> RelType;
1041 const ObjectFile<ELFT> &File = *C.getFile();
1042 bool IsMips64EL = File.getObj()->isMips64EL();
1043 for (const RelType &RI : Rels) {
1044 uint32_t SymIndex = RI.getSymbol(IsMips64EL);
Rafael Espindola5c2310c2015-09-18 14:40:19 +00001045 SymbolBody *Body = File.getSymbolBody(SymIndex);
Rafael Espindola67a5da62015-09-17 14:02:10 +00001046 if (!Body)
1047 continue;
1048 auto *S = dyn_cast<SharedSymbol<ELFT>>(Body);
1049 if (!S)
1050 continue;
Rafael Espindolaeb792732015-09-21 15:11:29 +00001051 uint32_t Type = RI.getType(IsMips64EL);
1052 if (relocNeedsPLT(Type)) {
1053 if (Body->isInPlt())
1054 continue;
1055 PltSec.addEntry(Body);
1056 }
1057 if (relocNeedsGOT(Type)) {
Rafael Espindola5c2310c2015-09-18 14:40:19 +00001058 if (Body->isInGot())
1059 continue;
1060 GotSec.addEntry(Body);
1061 }
Rafael Espindola67a5da62015-09-17 14:02:10 +00001062 RelaDynSec.addReloc({C, RI});
1063 }
1064}
1065
1066template <class ELFT>
Rafael Espindola53d5cea2015-09-21 17:47:00 +00001067void Writer<ELFT>::scanRelocs(const InputSection<ELFT> &C) {
Rafael Espindola19e38892015-09-16 15:54:15 +00001068 const ObjectFile<ELFT> *File = C.getFile();
1069 ELFFile<ELFT> *EObj = File->getObj();
1070
1071 if (!(C.getSectionHdr()->sh_flags & SHF_ALLOC))
1072 return;
1073
1074 for (const Elf_Shdr *RelSec : C.RelocSections) {
Rafael Espindola67a5da62015-09-17 14:02:10 +00001075 if (RelSec->sh_type == SHT_RELA)
1076 scanRelocs(C, EObj->relas(RelSec));
1077 else
1078 scanRelocs(C, EObj->rels(RelSec));
Rafael Espindola19e38892015-09-16 15:54:15 +00001079 }
1080}
1081
Michael J. Spencer84487f12015-07-24 21:03:07 +00001082// Create output section objects and add them to OutputSections.
1083template <class ELFT> void Writer<ELFT>::createSections() {
Rafael Espindola83b0dc62015-08-13 22:21:37 +00001084 SmallDenseMap<SectionKey<ELFT::Is64Bits>, OutputSection<ELFT> *> Map;
Rafael Espindola05185742015-08-31 22:07:18 +00001085 auto getSection = [&](StringRef Name, uint32_t sh_type,
1086 uintX_t sh_flags) -> OutputSection<ELFT> * {
1087 SectionKey<ELFT::Is64Bits> Key{Name, sh_type, sh_flags};
1088 OutputSection<ELFT> *&Sec = Map[Key];
1089 if (!Sec) {
Rafael Espindolaeb792732015-09-21 15:11:29 +00001090 Sec = new (CAlloc.Allocate()) OutputSection<ELFT>(
1091 PltSec, GotSec, Key.Name, Key.sh_type, Key.sh_flags);
Rafael Espindolab01b5742015-09-08 18:08:57 +00001092 OutputSections.push_back(Sec);
Rafael Espindola05185742015-08-31 22:07:18 +00001093 }
1094 return Sec;
1095 };
1096
Rafael Espindola05185742015-08-31 22:07:18 +00001097 // FIXME: Try to avoid the extra walk over all global symbols.
Rafael Espindola19e38892015-09-16 15:54:15 +00001098 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindolab56cb942015-09-01 00:16:38 +00001099 std::vector<DefinedCommon<ELFT> *> CommonSymbols;
Rafael Espindola05185742015-08-31 22:07:18 +00001100 for (auto &P : Symtab.getSymbols()) {
Rafael Espindolaee1364f2015-09-01 21:47:21 +00001101 StringRef Name = P.first;
Rafael Espindola05185742015-08-31 22:07:18 +00001102 SymbolBody *Body = P.second->Body;
Rafael Espindola1d12ab32015-09-11 21:44:55 +00001103 if (Body->isStrongUndefined())
1104 error(Twine("undefined symbol: ") + Name);
1105
Rafael Espindolab56cb942015-09-01 00:16:38 +00001106 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
1107 CommonSymbols.push_back(C);
Rafael Espindola18173d42015-09-08 15:50:05 +00001108 if (!includeInSymtab(*Body))
Rafael Espindolaee1364f2015-09-01 21:47:21 +00001109 continue;
Rafael Espindolafb815282015-09-11 00:30:13 +00001110 SymTabSec.addSymbol(Name);
1111
1112 // FIXME: This adds way too much to the dynamic symbol table. We only
1113 // need to add the symbols use by dynamic relocations when producing
1114 // an executable (ignoring --export-dynamic).
Rafael Espindola4340aad2015-09-11 22:42:45 +00001115 if (needsDynamicSections())
Rafael Espindola19e38892015-09-16 15:54:15 +00001116 HashSec.addSymbol(Body);
Rafael Espindolab56cb942015-09-01 00:16:38 +00001117 }
1118
Rafael Espindola19e38892015-09-16 15:54:15 +00001119 for (const std::unique_ptr<ObjectFileBase> &FileB : Symtab.getObjectFiles()) {
1120 auto &File = cast<ObjectFile<ELFT>>(*FileB);
Davide Italiano6d328d32015-09-16 20:45:57 +00001121 if (!Config->DiscardAll) {
1122 Elf_Sym_Range Syms = File.getLocalSymbols();
1123 for (const Elf_Sym &Sym : Syms) {
1124 ErrorOr<StringRef> SymName = Sym.getName(File.getStringTable());
Davide Italiano5445b2de2015-09-20 21:58:12 +00001125 if (SymName && !(Config->DiscardLocals && SymName->startswith(".L")))
Davide Italiano6d328d32015-09-16 20:45:57 +00001126 SymTabSec.addSymbol(*SymName, true);
1127 }
1128 }
Rafael Espindola53d5cea2015-09-21 17:47:00 +00001129 for (InputSection<ELFT> *C : File.getChunks()) {
Rafael Espindola19e38892015-09-16 15:54:15 +00001130 if (!C)
1131 continue;
1132 const Elf_Shdr *H = C->getSectionHdr();
1133 OutputSection<ELFT> *Sec =
1134 getSection(C->getSectionName(), H->sh_type, H->sh_flags);
1135 Sec->addChunk(C);
1136 scanRelocs(*C);
1137 }
1138 }
1139
1140 BSSSec = getSection(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
Rafael Espindolab56cb942015-09-01 00:16:38 +00001141 // Sort the common symbols by alignment as an heuristic to pack them better.
1142 std::stable_sort(CommonSymbols.begin(), CommonSymbols.end(), cmpAlign<ELFT>);
1143 uintX_t Off = BSSSec->getSize();
1144 for (DefinedCommon<ELFT> *C : CommonSymbols) {
Rafael Espindola05185742015-08-31 22:07:18 +00001145 const Elf_Sym &Sym = C->Sym;
Rafael Espindolaf31f9612015-09-01 01:19:12 +00001146 uintX_t Align = C->MaxAlignment;
Rafael Espindola05185742015-08-31 22:07:18 +00001147 Off = RoundUpToAlignment(Off, Align);
Rafael Espindolace8c9c02015-08-31 22:55:21 +00001148 C->OffsetInBSS = Off;
Michael J. Spencer658dccd2015-09-18 22:13:25 +00001149 C->OutputSec = BSSSec;
Rafael Espindola05185742015-08-31 22:07:18 +00001150 Off += Sym.st_size;
1151 }
Rafael Espindolab56cb942015-09-01 00:16:38 +00001152
Rafael Espindola05185742015-08-31 22:07:18 +00001153 BSSSec->setSize(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001154
Rafael Espindolafb815282015-09-11 00:30:13 +00001155 OutputSections.push_back(&SymTabSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001156 OutputSections.push_back(&StrTabSec);
Rafael Espindolab01b5742015-09-08 18:08:57 +00001157
Rafael Espindola4340aad2015-09-11 22:42:45 +00001158 if (needsDynamicSections()) {
Rafael Espindola70107762015-09-11 18:49:42 +00001159 if (needsInterpSection())
1160 OutputSections.push_back(&InterpSec);
Rafael Espindolafb815282015-09-11 00:30:13 +00001161 OutputSections.push_back(&DynSymSec);
Rafael Espindola601771e2015-09-14 20:20:34 +00001162 OutputSections.push_back(&HashSec);
Rafael Espindola740fafe2015-09-08 19:43:27 +00001163 OutputSections.push_back(&DynamicSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001164 OutputSections.push_back(&DynStrSec);
Denis Protivensky18add762015-09-17 09:54:29 +00001165 if (RelaDynSec.hasRelocs())
Rafael Espindola19e38892015-09-16 15:54:15 +00001166 OutputSections.push_back(&RelaDynSec);
Rafael Espindola5c2310c2015-09-18 14:40:19 +00001167 if (!GotSec.empty())
1168 OutputSections.push_back(&GotSec);
Rafael Espindolaeb792732015-09-21 15:11:29 +00001169 if (!PltSec.empty())
1170 OutputSections.push_back(&PltSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001171 }
Rafael Espindola740fafe2015-09-08 19:43:27 +00001172
Rafael Espindolab01b5742015-09-08 18:08:57 +00001173 std::stable_sort(OutputSections.begin(), OutputSections.end(),
1174 compSec<ELFT::Is64Bits>);
1175 for (unsigned I = 0, N = OutputSections.size(); I < N; ++I)
1176 OutputSections[I]->setSectionIndex(I + 1);
Rafael Espindolaabad6182015-08-13 15:23:46 +00001177}
1178
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001179template <class ELFT>
1180static bool outputSectionHasPHDR(OutputSectionBase<ELFT::Is64Bits> *Sec) {
Michael J. Spencer2f008242015-09-17 19:58:07 +00001181 return Sec->getFlags() & SHF_ALLOC;
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001182}
1183
Michael J. Spencer84487f12015-07-24 21:03:07 +00001184// Visits all sections to assign incremental, non-overlapping RVAs and
1185// file offsets.
1186template <class ELFT> void Writer<ELFT>::assignAddresses() {
Michael J. Spencer2f008242015-09-17 19:58:07 +00001187 assert(!OutputSections.empty() && "No output sections to layout!");
Rafael Espindola4340aad2015-09-11 22:42:45 +00001188 uintX_t VA = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +00001189 uintX_t FileOff = 0;
Rafael Espindola60252d82015-09-09 22:53:55 +00001190
Rafael Espindola0a2e2112015-09-10 15:41:34 +00001191 FileOff += sizeof(Elf_Ehdr);
1192 VA += sizeof(Elf_Ehdr);
Rafael Espindolaabad6182015-08-13 15:23:46 +00001193
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001194 // Reserve space for PHDRs.
1195 ProgramHeaderOff = FileOff;
1196 FileOff = RoundUpToAlignment(FileOff, PageSize);
Rafael Espindola0a2e2112015-09-10 15:41:34 +00001197 VA = RoundUpToAlignment(VA, PageSize);
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001198
Rafael Espindola70107762015-09-11 18:49:42 +00001199 if (needsInterpSection())
Michael J. Spencer2f008242015-09-17 19:58:07 +00001200 PHDRs.push_back(&InterpPHDR);
Rafael Espindola70107762015-09-11 18:49:42 +00001201
Michael J. Spencer2f008242015-09-17 19:58:07 +00001202 ProgramHeader<ELFT::Is64Bits> *LastPHDR = &FileHeaderPHDR;
1203 // Create a PHDR for the file header.
1204 PHDRs.push_back(&FileHeaderPHDR);
1205 FileHeaderPHDR.Header.p_vaddr = getVAStart();
1206 FileHeaderPHDR.Header.p_paddr = getVAStart();
1207 FileHeaderPHDR.Header.p_align = PageSize;
Rafael Espindola0a2e2112015-09-10 15:41:34 +00001208
Rafael Espindolaebd21082015-08-13 22:14:37 +00001209 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001210 StrTabSec.add(Sec->getName());
Rafael Espindolaebd21082015-08-13 22:14:37 +00001211 Sec->finalize();
1212
Michael J. Spencer2f008242015-09-17 19:58:07 +00001213 if (Sec->getSize()) {
1214 uintX_t Flags = convertSectionFlagsToPHDRFlags(Sec->getFlags());
1215 if (LastPHDR->Header.p_flags != Flags ||
1216 !outputSectionHasPHDR<ELFT>(Sec)) {
1217 // Flags changed. End current PHDR and potentially create a new one.
1218 if (!LastPHDR->Closed) {
1219 LastPHDR->Header.p_filesz = FileOff - LastPHDR->Header.p_offset;
1220 LastPHDR->Header.p_memsz = VA - LastPHDR->Header.p_vaddr;
1221 LastPHDR->Closed = true;
1222 }
1223
1224 if (outputSectionHasPHDR<ELFT>(Sec)) {
1225 LastPHDR = new (PAlloc) ProgramHeader<ELFT::Is64Bits>(PT_LOAD, Flags);
1226 PHDRs.push_back(LastPHDR);
1227 VA = RoundUpToAlignment(VA, PageSize);
1228 FileOff = RoundUpToAlignment(FileOff, PageSize);
1229 LastPHDR->Header.p_offset = FileOff;
1230 LastPHDR->Header.p_vaddr = VA;
1231 LastPHDR->Header.p_paddr = VA;
1232 }
1233 }
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001234 }
1235
Rafael Espindola2db634d2015-08-13 20:24:18 +00001236 uintX_t Align = Sec->getAlign();
1237 uintX_t Size = Sec->getSize();
Rafael Espindolaef1ac012015-08-13 15:31:17 +00001238 if (Sec->getFlags() & SHF_ALLOC) {
Rafael Espindolabfcdfb32015-09-14 19:00:35 +00001239 VA = RoundUpToAlignment(VA, Align);
Rafael Espindolaef1ac012015-08-13 15:31:17 +00001240 Sec->setVA(VA);
Rafael Espindolabfcdfb32015-09-14 19:00:35 +00001241 VA += Size;
Rafael Espindolaef1ac012015-08-13 15:31:17 +00001242 }
Rafael Espindolabfcdfb32015-09-14 19:00:35 +00001243 FileOff = RoundUpToAlignment(FileOff, Align);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001244 Sec->setFileOffset(FileOff);
Rafael Espindola058f3432015-08-31 20:23:57 +00001245 if (Sec->getType() != SHT_NOBITS)
Rafael Espindolabfcdfb32015-09-14 19:00:35 +00001246 FileOff += Size;
Michael J. Spencer84487f12015-07-24 21:03:07 +00001247 }
Rafael Espindola6b83b902015-08-12 00:00:24 +00001248
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001249 // Add a PHDR for the dynamic table.
Rafael Espindola4340aad2015-09-11 22:42:45 +00001250 if (needsDynamicSections())
Michael J. Spencer2f008242015-09-17 19:58:07 +00001251 PHDRs.push_back(&DynamicPHDR);
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001252
Rafael Espindola91009b32015-08-12 01:45:28 +00001253 FileOff += OffsetToAlignment(FileOff, ELFT::Is64Bits ? 8 : 4);
1254
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001255 // Add space for section headers.
1256 SectionHeaderOff = FileOff;
Rafael Espindola18608a02015-09-08 21:57:31 +00001257 FileOff += getNumSections() * sizeof(Elf_Shdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001258 FileSize = FileOff;
Michael J. Spencer84487f12015-07-24 21:03:07 +00001259}
1260
1261template <class ELFT> void Writer<ELFT>::writeHeader() {
1262 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindola18608a02015-09-08 21:57:31 +00001263 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001264 EHdr->e_ident[EI_MAG0] = 0x7F;
1265 EHdr->e_ident[EI_MAG1] = 0x45;
1266 EHdr->e_ident[EI_MAG2] = 0x4C;
1267 EHdr->e_ident[EI_MAG3] = 0x46;
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +00001268 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
1269 EHdr->e_ident[EI_DATA] = ELFT::TargetEndianness == llvm::support::little
1270 ? ELFDATA2LSB
1271 : ELFDATA2MSB;
Michael J. Spencer84487f12015-07-24 21:03:07 +00001272 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Rafael Espindola87ee8dc2015-08-05 11:55:52 +00001273 EHdr->e_ident[EI_OSABI] = ELFOSABI_NONE;
Michael J. Spencer84487f12015-07-24 21:03:07 +00001274
Rafael Espindolae438e072015-09-08 22:55:28 +00001275 // FIXME: Generalize the segment construction similar to how we create
1276 // output sections.
Rafael Espindolafb815282015-09-11 00:30:13 +00001277 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindolae438e072015-09-08 22:55:28 +00001278
Rafael Espindola4340aad2015-09-11 22:42:45 +00001279 EHdr->e_type = Config->Shared ? ET_DYN : ET_EXEC;
Rafael Espindolaf98d6d82015-09-03 20:03:54 +00001280 auto &FirstObj = cast<ObjectFile<ELFT>>(*Symtab.getFirstELF());
1281 EHdr->e_machine = FirstObj.getEMachine();
Michael J. Spencer84487f12015-07-24 21:03:07 +00001282 EHdr->e_version = EV_CURRENT;
Rafael Espindola4340aad2015-09-11 22:42:45 +00001283 SymbolBody *Entry = Symtab.getEntrySym();
1284 EHdr->e_entry = Entry ? getSymVA(cast<DefinedRegular<ELFT>>(Entry)) : 0;
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001285 EHdr->e_phoff = ProgramHeaderOff;
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001286 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +00001287 EHdr->e_ehsize = sizeof(Elf_Ehdr);
1288 EHdr->e_phentsize = sizeof(Elf_Phdr);
Michael J. Spencer2f008242015-09-17 19:58:07 +00001289 EHdr->e_phnum = PHDRs.size();
Rafael Espindola18608a02015-09-08 21:57:31 +00001290 EHdr->e_shentsize = sizeof(Elf_Shdr);
Rafael Espindola5f553872015-09-08 17:39:39 +00001291 EHdr->e_shnum = getNumSections();
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001292 EHdr->e_shstrndx = StrTabSec.getSectionIndex();
Michael J. Spencer84487f12015-07-24 21:03:07 +00001293
Michael J. Spencer2f008242015-09-17 19:58:07 +00001294 // If nothing was merged into the file header PT_LOAD, set the size correctly.
1295 if (FileHeaderPHDR.Header.p_filesz == PageSize)
1296 FileHeaderPHDR.Header.p_filesz = FileHeaderPHDR.Header.p_memsz =
1297 sizeof(Elf_Ehdr) + sizeof(Elf_Phdr) * PHDRs.size();
1298
1299 if (needsInterpSection())
1300 InterpPHDR.setValuesFromSection(InterpSec);
1301 if (needsDynamicSections())
1302 DynamicPHDR.setValuesFromSection(DynamicSec);
1303
Rafael Espindola18608a02015-09-08 21:57:31 +00001304 auto PHdrs = reinterpret_cast<Elf_Phdr *>(Buf + EHdr->e_phoff);
Michael J. Spencer2f008242015-09-17 19:58:07 +00001305 for (ProgramHeader<ELFT::Is64Bits> *PHDR : PHDRs)
1306 PHDR->template writeHeaderTo<ELFT::TargetEndianness>(PHdrs++);
Rafael Espindolae438e072015-09-08 22:55:28 +00001307
Rafael Espindola18608a02015-09-08 21:57:31 +00001308 auto SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001309 // First entry is null.
1310 ++SHdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +00001311 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001312 Sec->setNameOffset(StrTabSec.getFileOff(Sec->getName()));
Rafael Espindolaa175eb62015-08-13 18:37:23 +00001313 Sec->template writeHeaderTo<ELFT::TargetEndianness>(SHdrs++);
Rafael Espindola6b83b902015-08-12 00:00:24 +00001314 }
Michael J. Spencer84487f12015-07-24 21:03:07 +00001315}
1316
1317template <class ELFT> void Writer<ELFT>::openFile(StringRef Path) {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +00001318 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
1319 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable);
1320 error(BufferOrErr, Twine("failed to open ") + Path);
1321 Buffer = std::move(*BufferOrErr);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001322}
1323
1324// Write section contents to a mmap'ed file.
1325template <class ELFT> void Writer<ELFT>::writeSections() {
1326 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindolaebd21082015-08-13 22:14:37 +00001327 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections)
Rui Ueyama8050d322015-08-14 05:17:30 +00001328 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +00001329}