blob: aee082c49f067162fdf741ab18a899a9c4c6eb84 [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 Espindolaebd21082015-08-13 22:14:37 +000084 virtual void finalize() {}
85 virtual void writeTo(uint8_t *Buf) = 0;
86
87protected:
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000088 StringRef Name;
Rafael Espindolaa175eb62015-08-13 18:37:23 +000089 HeaderT Header;
Rafael Espindola832b93f2015-08-24 20:06:32 +000090 unsigned SectionIndex;
Rafael Espindolaebd21082015-08-13 22:14:37 +000091 ~OutputSectionBase() = default;
92};
Rafael Espindola19e38892015-09-16 15:54:15 +000093template <class ELFT> class SymbolTableSection;
94
95template <class ELFT> struct DynamicReloc {
96 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
97 const SectionChunk<ELFT> &C;
98 const Elf_Rela &RI;
99};
100
101template <class ELFT>
102class RelocationSection final : public OutputSectionBase<ELFT::Is64Bits> {
103 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
104
105public:
106 RelocationSection(SymbolTableSection<ELFT> &DynSymSec)
107 : OutputSectionBase<ELFT::Is64Bits>(".rela.dyn", SHT_RELA, SHF_ALLOC),
108 DynSymSec(DynSymSec) {
109 this->Header.sh_entsize = sizeof(Elf_Rela);
110 this->Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
111 }
112
113 void addReloc(const DynamicReloc<ELFT> &Reloc) { Relocs.push_back(Reloc); }
114 void finalize() override {
115 this->Header.sh_link = DynSymSec.getSectionIndex();
116 this->Header.sh_size = Relocs.size() * sizeof(Elf_Rela);
117 }
118 void writeTo(uint8_t *Buf) override {
119 auto *P = reinterpret_cast<Elf_Rela *>(Buf);
120 bool IsMips64EL = Relocs[0].C.getFile()->getObj()->isMips64EL();
121 for (const DynamicReloc<ELFT> &Rel : Relocs) {
122 const SectionChunk<ELFT> &C = Rel.C;
123 const Elf_Rela &RI = Rel.RI;
124 OutputSection<ELFT> *Out = C.getOutputSection();
125 uint32_t SymIndex = RI.getSymbol(IsMips64EL);
126 const SymbolBody *Body = C.getFile()->getSymbolBody(SymIndex);
127
128 P->r_offset = RI.r_offset + C.getOutputSectionOff() + Out->getVA();
129 P->setSymbolAndType(Body->getDynamicSymbolTableIndex(),
130 RI.getType(IsMips64EL), IsMips64EL);
131 P->r_addend = RI.r_addend;
132
133 ++P;
134 }
135 }
136 bool hasReocs() const { return !Relocs.empty(); }
137
138private:
139 std::vector<DynamicReloc<ELFT>> Relocs;
140 SymbolTableSection<ELFT> &DynSymSec;
141};
Rafael Espindola832b93f2015-08-24 20:06:32 +0000142}
Rafael Espindolaebd21082015-08-13 22:14:37 +0000143
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000144template <class ELFT>
Rafael Espindola832b93f2015-08-24 20:06:32 +0000145class lld::elf2::OutputSection final
146 : public OutputSectionBase<ELFT::Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000147public:
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000148 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000149 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
150 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rafael Espindola19e38892015-09-16 15:54:15 +0000151 OutputSection(StringRef Name, uint32_t sh_type, uintX_t sh_flags,
152 RelocationSection<ELFT> &RelaDynSec)
153 : OutputSectionBase<ELFT::Is64Bits>(Name, sh_type, sh_flags),
154 RelaDynSec(RelaDynSec) {}
Rafael Espindolaebd21082015-08-13 22:14:37 +0000155
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000156 void addChunk(SectionChunk<ELFT> *C);
Rafael Espindolaebd21082015-08-13 22:14:37 +0000157 void writeTo(uint8_t *Buf) override;
158
159private:
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000160 std::vector<SectionChunk<ELFT> *> Chunks;
Rafael Espindola19e38892015-09-16 15:54:15 +0000161 RelocationSection<ELFT> &RelaDynSec;
Rafael Espindola52a0f1e2015-08-11 23:22:24 +0000162};
163
Rafael Espindola832b93f2015-08-24 20:06:32 +0000164namespace {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000165template <bool Is64Bits>
Rafael Espindola70107762015-09-11 18:49:42 +0000166class InterpSection final : public OutputSectionBase<Is64Bits> {
167public:
168 InterpSection()
169 : OutputSectionBase<Is64Bits>(".interp", SHT_PROGBITS, SHF_ALLOC) {
170 this->Header.sh_size = Config->DynamicLinker.size() + 1;
171 this->Header.sh_addralign = 1;
172 }
173
174 void writeTo(uint8_t *Buf) override {
175 memcpy(Buf, Config->DynamicLinker.data(), Config->DynamicLinker.size());
176 }
177};
178
179template <bool Is64Bits>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000180class StringTableSection final : public OutputSectionBase<Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000181public:
182 typedef typename OutputSectionBase<Is64Bits>::uintX_t uintX_t;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000183 StringTableSection(bool Dynamic)
184 : OutputSectionBase<Is64Bits>(Dynamic ? ".dynstr" : ".strtab", SHT_STRTAB,
Rafael Espindolafb815282015-09-11 00:30:13 +0000185 Dynamic ? (uintX_t)SHF_ALLOC : 0),
186 Dynamic(Dynamic) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000187 this->Header.sh_addralign = 1;
188 }
189
190 void add(StringRef S) { StrTabBuilder.add(S); }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000191 size_t getFileOff(StringRef S) const { return StrTabBuilder.getOffset(S); }
192 StringRef data() const { return StrTabBuilder.data(); }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000193 void writeTo(uint8_t *Buf) override;
194
195 void finalize() override {
196 StrTabBuilder.finalize(StringTableBuilder::ELF);
197 this->Header.sh_size = StrTabBuilder.data().size();
198 }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000199
Rafael Espindolafb815282015-09-11 00:30:13 +0000200 bool isDynamic() const { return Dynamic; }
201
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000202private:
Rafael Espindolafb815282015-09-11 00:30:13 +0000203 const bool Dynamic;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000204 llvm::StringTableBuilder StrTabBuilder;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000205};
206
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000207template <class ELFT> class Writer;
208
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000209template <class ELFT>
210class SymbolTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
211public:
Rafael Espindola62b81b82015-08-14 13:07:05 +0000212 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000213 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000214 SymbolTableSection(Writer<ELFT> &W, SymbolTable &Table,
Rafael Espindola57b25922015-09-08 19:23:30 +0000215 StringTableSection<ELFT::Is64Bits> &StrTabSec)
Rafael Espindolafb815282015-09-11 00:30:13 +0000216 : OutputSectionBase<ELFT::Is64Bits>(
217 StrTabSec.isDynamic() ? ".dynsym" : ".symtab",
218 StrTabSec.isDynamic() ? SHT_DYNSYM : SHT_SYMTAB,
219 StrTabSec.isDynamic() ? (uintX_t)SHF_ALLOC : 0),
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000220 Table(Table), StrTabSec(StrTabSec), W(W) {
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000221 typedef OutputSectionBase<ELFT::Is64Bits> Base;
222 typename Base::HeaderT &Header = this->Header;
223
224 // For now the only local symbol is going to be the one at index 0
225 Header.sh_info = 1;
226
Rafael Espindola62b81b82015-08-14 13:07:05 +0000227 Header.sh_entsize = sizeof(Elf_Sym);
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000228 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
229 }
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000230
231 void finalize() override {
Rafael Espindola80faee82015-09-14 22:08:55 +0000232 this->Header.sh_size = getNumSymbols() * sizeof(Elf_Sym);
Rafael Espindola57b25922015-09-08 19:23:30 +0000233 this->Header.sh_link = StrTabSec.getSectionIndex();
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000234 }
235
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000236 void writeTo(uint8_t *Buf) override;
Rafael Espindola62b81b82015-08-14 13:07:05 +0000237
Rafael Espindola70107762015-09-11 18:49:42 +0000238 const SymbolTable &getSymTable() const { return Table; }
Rafael Espindolae6f52102015-08-24 14:48:18 +0000239
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000240 void addSymbol(StringRef Name) {
241 StrTabSec.add(Name);
242 ++NumVisible;
243 }
244
Rafael Espindola243d90f2015-09-11 01:14:39 +0000245 StringTableSection<ELFT::Is64Bits> &getStrTabSec() { return StrTabSec; }
Rafael Espindola80faee82015-09-14 22:08:55 +0000246 unsigned getNumSymbols() const { return NumVisible + 1; }
Rafael Espindola243d90f2015-09-11 01:14:39 +0000247
Rafael Espindola62b81b82015-08-14 13:07:05 +0000248private:
249 SymbolTable &Table;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000250 StringTableSection<ELFT::Is64Bits> &StrTabSec;
251 unsigned NumVisible = 0;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000252 const Writer<ELFT> &W;
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000253};
254
Rafael Espindola243d90f2015-09-11 01:14:39 +0000255template <class ELFT>
Rafael Espindola601771e2015-09-14 20:20:34 +0000256class HashTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
257 typedef typename ELFFile<ELFT>::Elf_Word Elf_Word;
258
259public:
Rafael Espindola80faee82015-09-14 22:08:55 +0000260 HashTableSection(SymbolTableSection<ELFT> &DynSymSec)
Rafael Espindola601771e2015-09-14 20:20:34 +0000261 : OutputSectionBase<ELFT::Is64Bits>(".hash", SHT_HASH, SHF_ALLOC),
262 DynSymSec(DynSymSec) {
263 this->Header.sh_entsize = sizeof(Elf_Word);
264 this->Header.sh_addralign = sizeof(Elf_Word);
265 }
266
Rafael Espindola19e38892015-09-16 15:54:15 +0000267 void addSymbol(SymbolBody *S) {
268 StringRef Name = S->getName();
Rafael Espindola80faee82015-09-14 22:08:55 +0000269 DynSymSec.addSymbol(Name);
270 Hashes.push_back(hash(Name));
Rafael Espindola19e38892015-09-16 15:54:15 +0000271 S->setDynamicSymbolTableIndex(Hashes.size());
Rafael Espindola601771e2015-09-14 20:20:34 +0000272 }
273
Rafael Espindola80faee82015-09-14 22:08:55 +0000274 void finalize() override {
275 this->Header.sh_link = DynSymSec.getSectionIndex();
276
277 assert(DynSymSec.getNumSymbols() == Hashes.size() + 1);
278 unsigned NumEntries = 2; // nbucket and nchain.
279 NumEntries += DynSymSec.getNumSymbols(); // The chain entries.
280
281 // Create as many buckets as there are symbols.
282 // FIXME: This is simplistic. We can try to optimize it, but implementing
283 // support for SHT_GNU_HASH is probably even more profitable.
284 NumEntries += DynSymSec.getNumSymbols();
285 this->Header.sh_size = NumEntries * sizeof(Elf_Word);
286 }
287
288 void writeTo(uint8_t *Buf) override {
289 unsigned NumSymbols = DynSymSec.getNumSymbols();
290 auto *P = reinterpret_cast<Elf_Word *>(Buf);
291 *P++ = NumSymbols; // nbucket
292 *P++ = NumSymbols; // nchain
293
Rui Ueyamab73002f2015-09-15 01:03:58 +0000294 Elf_Word *Buckets = P;
295 Elf_Word *Chains = P + NumSymbols;
Rafael Espindola80faee82015-09-14 22:08:55 +0000296
297 for (unsigned I = 1; I < NumSymbols; ++I) {
298 uint32_t Hash = Hashes[I - 1] % NumSymbols;
299 Chains[I] = Buckets[Hash];
300 Buckets[Hash] = I;
301 }
Rafael Espindola80faee82015-09-14 22:08:55 +0000302 }
303
304 SymbolTableSection<ELFT> &getDynSymSec() { return DynSymSec; }
Rafael Espindola601771e2015-09-14 20:20:34 +0000305
306private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000307 uint32_t hash(StringRef Name) {
308 uint32_t H = 0;
309 for (char C : Name) {
310 H = (H << 4) + C;
311 uint32_t G = H & 0xf0000000;
312 if (G)
313 H ^= G >> 24;
314 H &= ~G;
315 }
316 return H;
317 }
318 SymbolTableSection<ELFT> &DynSymSec;
319 std::vector<uint32_t> Hashes;
Rafael Espindola601771e2015-09-14 20:20:34 +0000320};
321
322template <class ELFT>
Rafael Espindola243d90f2015-09-11 01:14:39 +0000323class DynamicSection final : public OutputSectionBase<ELFT::Is64Bits> {
324 typedef OutputSectionBase<ELFT::Is64Bits> Base;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000325 typedef typename Base::HeaderT HeaderT;
326 typedef typename Base::Elf_Dyn Elf_Dyn;
327
Rafael Espindola740fafe2015-09-08 19:43:27 +0000328public:
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000329 DynamicSection(SymbolTable &SymTab, HashTableSection<ELFT> &HashSec,
330 RelocationSection<ELFT> &RelaDynSec)
Rafael Espindola243d90f2015-09-11 01:14:39 +0000331 : OutputSectionBase<ELFT::Is64Bits>(".dynamic", SHT_DYNAMIC,
332 SHF_ALLOC | SHF_WRITE),
Rafael Espindola80faee82015-09-14 22:08:55 +0000333 HashSec(HashSec), DynSymSec(HashSec.getDynSymSec()),
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000334 DynStrSec(DynSymSec.getStrTabSec()), RelaDynSec(RelaDynSec),
335 SymTab(SymTab) {
Rafael Espindola740fafe2015-09-08 19:43:27 +0000336 typename Base::HeaderT &Header = this->Header;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000337 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
338 Header.sh_entsize = ELFT::Is64Bits ? 16 : 8;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000339
340 unsigned NumEntries = 0;
341
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000342 if (RelaDynSec.hasReocs()) {
343 ++NumEntries; // DT_RELA
344 ++NumEntries; // DT_RELASZ
345 }
Rafael Espindola243d90f2015-09-11 01:14:39 +0000346 ++NumEntries; // DT_SYMTAB
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000347 ++NumEntries; // DT_STRTAB
Rafael Espindola778562f2015-09-09 20:26:23 +0000348 ++NumEntries; // DT_STRSZ
Rafael Espindola80faee82015-09-14 22:08:55 +0000349 ++NumEntries; // DT_HASH
Rafael Espindola778562f2015-09-09 20:26:23 +0000350
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000351 StringRef RPath = Config->RPath;
352 if (!RPath.empty()) {
353 ++NumEntries; // DT_RUNPATH
354 DynStrSec.add(RPath);
355 }
356
Rafael Espindola778562f2015-09-09 20:26:23 +0000357 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
358 SymTab.getSharedFiles();
359 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles)
360 DynStrSec.add(File->getName());
361 NumEntries += SharedFiles.size();
362
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000363 ++NumEntries; // DT_NULL
364
365 Header.sh_size = NumEntries * Header.sh_entsize;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000366 }
367
368 void finalize() override {
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000369 this->Header.sh_link = DynStrSec.getSectionIndex();
Rafael Espindola740fafe2015-09-08 19:43:27 +0000370 }
371
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000372 void writeTo(uint8_t *Buf) override {
373 auto *P = reinterpret_cast<Elf_Dyn *>(Buf);
374
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000375 if (RelaDynSec.hasReocs()) {
376 P->d_tag = DT_RELA;
377 P->d_un.d_ptr = RelaDynSec.getVA();
378 ++P;
379
380 P->d_tag = DT_RELASZ;
381 P->d_un.d_val = RelaDynSec.getSize();
382 ++P;
383 }
384
Rafael Espindola243d90f2015-09-11 01:14:39 +0000385 P->d_tag = DT_SYMTAB;
386 P->d_un.d_ptr = DynSymSec.getVA();
387 ++P;
388
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000389 P->d_tag = DT_STRTAB;
390 P->d_un.d_ptr = DynStrSec.getVA();
391 ++P;
392
Rafael Espindola778562f2015-09-09 20:26:23 +0000393 P->d_tag = DT_STRSZ;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000394 P->d_un.d_val = DynStrSec.data().size();
Rafael Espindola778562f2015-09-09 20:26:23 +0000395 ++P;
396
Rafael Espindola80faee82015-09-14 22:08:55 +0000397 P->d_tag = DT_HASH;
398 P->d_un.d_ptr = HashSec.getVA();
399 ++P;
400
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000401 StringRef RPath = Config->RPath;
402 if (!RPath.empty()) {
403 P->d_tag = DT_RUNPATH;
404 P->d_un.d_val = DynStrSec.getFileOff(RPath);
405 ++P;
406 }
407
Rafael Espindola778562f2015-09-09 20:26:23 +0000408 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
409 SymTab.getSharedFiles();
410 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles) {
411 P->d_tag = DT_NEEDED;
412 P->d_un.d_val = DynStrSec.getFileOff(File->getName());
413 ++P;
414 }
415
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000416 P->d_tag = DT_NULL;
417 P->d_un.d_val = 0;
Rafael Espindola778562f2015-09-09 20:26:23 +0000418 ++P;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000419 }
Rafael Espindola740fafe2015-09-08 19:43:27 +0000420
421private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000422 HashTableSection<ELFT> &HashSec;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000423 SymbolTableSection<ELFT> &DynSymSec;
Rafael Espindola80faee82015-09-14 22:08:55 +0000424 StringTableSection<ELFT::Is64Bits> &DynStrSec;
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000425 RelocationSection<ELFT> &RelaDynSec;
Rafael Espindola778562f2015-09-09 20:26:23 +0000426 SymbolTable &SymTab;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000427};
428
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000429// The writer writes a SymbolTable result to a file.
430template <class ELFT> class Writer {
431public:
Rafael Espindola18608a02015-09-08 21:57:31 +0000432 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
433 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
434 typedef typename ELFFile<ELFT>::Elf_Ehdr Elf_Ehdr;
435 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
436 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola19e38892015-09-16 15:54:15 +0000437 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000438 Writer(SymbolTable *T)
Rui Ueyama9078f732015-09-14 20:32:41 +0000439 : SymTabSec(*this, *T, StrTabSec), DynSymSec(*this, *T, DynStrSec),
Rafael Espindola3887ebf2015-09-16 18:52:42 +0000440 RelaDynSec(DynSymSec), HashSec(DynSymSec),
441 DynamicSec(*T, HashSec, RelaDynSec) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000442 void run();
443
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000444 const OutputSection<ELFT> &getBSS() const {
445 assert(BSSSec);
446 return *BSSSec;
447 }
448
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000449private:
450 void createSections();
Rafael Espindola19e38892015-09-16 15:54:15 +0000451 void scanRelocs(const SectionChunk<ELFT> &C);
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000452 void assignAddresses();
453 void openFile(StringRef OutputPath);
454 void writeHeader();
455 void writeSections();
Rafael Espindola70107762015-09-11 18:49:42 +0000456 bool needsInterpSection() const {
457 return !SymTabSec.getSymTable().getSharedFiles().empty() &&
458 !Config->DynamicLinker.empty();
459 }
Rafael Espindola4340aad2015-09-11 22:42:45 +0000460 bool needsDynamicSections() const {
461 return !SymTabSec.getSymTable().getSharedFiles().empty() || Config->Shared;
462 }
463 unsigned getVAStart() const { return Config->Shared ? 0 : VAStart; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000464
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000465 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000466 llvm::SpecificBumpPtrAllocator<OutputSection<ELFT>> CAlloc;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000467 std::vector<OutputSectionBase<ELFT::Is64Bits> *> OutputSections;
Rafael Espindola5f553872015-09-08 17:39:39 +0000468 unsigned getNumSections() const { return OutputSections.size() + 1; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000469
Rafael Espindola98f6bd02015-08-11 23:14:13 +0000470 uintX_t FileSize;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000471 uintX_t ProgramHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000472 uintX_t SectionHeaderOff;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000473 unsigned NumPhdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000474
Rui Ueyama9078f732015-09-14 20:32:41 +0000475 StringTableSection<ELFT::Is64Bits> StrTabSec = { /*dynamic=*/false };
476 StringTableSection<ELFT::Is64Bits> DynStrSec = { /*dynamic=*/true };
Rafael Espindolaebd21082015-08-13 22:14:37 +0000477
Rafael Espindolafb815282015-09-11 00:30:13 +0000478 SymbolTableSection<ELFT> SymTabSec;
479 SymbolTableSection<ELFT> DynSymSec;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000480
Rafael Espindola19e38892015-09-16 15:54:15 +0000481 RelocationSection<ELFT> RelaDynSec;
482
Rafael Espindola601771e2015-09-14 20:20:34 +0000483 HashTableSection<ELFT> HashSec;
484
Rafael Espindola80faee82015-09-14 22:08:55 +0000485 DynamicSection<ELFT> DynamicSec;
486
Rafael Espindola70107762015-09-11 18:49:42 +0000487 InterpSection<ELFT::Is64Bits> InterpSec;
488
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000489 OutputSection<ELFT> *BSSSec = nullptr;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000490};
491} // anonymous namespace
492
493namespace lld {
494namespace elf2 {
495
Rafael Espindola2ffdd4d2015-08-04 14:29:01 +0000496template <class ELFT>
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000497void writeResult(SymbolTable *Symtab) { Writer<ELFT>(Symtab).run(); }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000498
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000499template void writeResult<ELF32LE>(SymbolTable *);
500template void writeResult<ELF32BE>(SymbolTable *);
501template void writeResult<ELF64LE>(SymbolTable *);
502template void writeResult<ELF64BE>(SymbolTable *);
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000503
504} // namespace elf2
505} // namespace lld
Michael J. Spencer84487f12015-07-24 21:03:07 +0000506
507// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000508template <class ELFT> void Writer<ELFT>::run() {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000509 createSections();
510 assignAddresses();
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000511 openFile(Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000512 writeHeader();
513 writeSections();
514 error(Buffer->commit());
515}
516
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000517template <class ELFT>
518void OutputSection<ELFT>::addChunk(SectionChunk<ELFT> *C) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000519 Chunks.push_back(C);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000520 C->setOutputSection(this);
Rafael Espindola0160a282015-08-13 20:13:39 +0000521 uint32_t Align = C->getAlign();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000522 if (Align > this->Header.sh_addralign)
523 this->Header.sh_addralign = Align;
Rafael Espindola0160a282015-08-13 20:13:39 +0000524
Rafael Espindolaebd21082015-08-13 22:14:37 +0000525 uintX_t Off = this->Header.sh_size;
Rafael Espindola0160a282015-08-13 20:13:39 +0000526 Off = RoundUpToAlignment(Off, Align);
Rafael Espindola674b5d52015-08-13 15:54:36 +0000527 C->setOutputSectionOff(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000528 Off += C->getSize();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000529 this->Header.sh_size = Off;
530}
531
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000532template <class ELFT>
Rafael Espindola19e38892015-09-16 15:54:15 +0000533static typename ELFFile<ELFT>::uintX_t
534getSymVA(const DefinedRegular<ELFT> *DR) {
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000535 const SectionChunk<ELFT> *SC = &DR->Section;
536 OutputSection<ELFT> *OS = SC->getOutputSection();
537 return OS->getVA() + SC->getOutputSectionOff() + DR->Sym.st_value;
538}
539
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000540template <class ELFT> void OutputSection<ELFT>::writeTo(uint8_t *Buf) {
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000541 for (SectionChunk<ELFT> *C : Chunks) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000542 C->writeTo(Buf);
Rafael Espindola19e38892015-09-16 15:54:15 +0000543 const ObjectFile<ELFT> *File = C->getFile();
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000544 ELFFile<ELFT> *EObj = File->getObj();
545 uint8_t *Base = Buf + C->getOutputSectionOff();
546
547 // Iterate over all relocation sections that apply to this section.
548 for (const Elf_Shdr *RelSec : C->RelocSections) {
549 // Only support RELA for now.
550 if (RelSec->sh_type != SHT_RELA)
551 continue;
552 for (const Elf_Rela &RI : EObj->relas(RelSec)) {
553 uint32_t SymIndex = RI.getSymbol(EObj->isMips64EL());
Rafael Espindola19e38892015-09-16 15:54:15 +0000554 const SymbolBody *Body = File->getSymbolBody(SymIndex);
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000555 if (!Body)
556 continue;
Michael J. Spencer3c1ac0a2015-09-15 23:12:02 +0000557
558 uintX_t SymVA;
559 if (auto *DR = dyn_cast<DefinedRegular<ELFT>>(Body))
560 SymVA = getSymVA<ELFT>(DR);
561 else if (auto *DA = dyn_cast<DefinedAbsolute<ELFT>>(Body))
562 SymVA = DA->Sym.st_value;
563 else
564 // Skip unsupported for now.
Rafael Espindola30e17972015-08-30 23:17:30 +0000565 continue;
Michael J. Spencer3c1ac0a2015-09-15 23:12:02 +0000566
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000567 uintX_t Offset = RI.r_offset;
568 uint32_t Type = RI.getType(EObj->isMips64EL());
569 uintX_t P = this->getVA() + C->getOutputSectionOff();
Davide Italiano94f183a2015-08-29 13:15:42 +0000570 uint8_t *Location = Base + Offset;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000571 switch (Type) {
572 case llvm::ELF::R_X86_64_PC32:
Davide Italiano94f183a2015-08-29 13:15:42 +0000573 support::endian::write32le(Location,
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000574 SymVA + (RI.r_addend - (P + Offset)));
575 break;
Rafael Espindolaa5c97d92015-09-15 13:52:06 +0000576 case llvm::ELF::R_X86_64_64:
577 support::endian::write64le(Location, SymVA + RI.r_addend);
578 break;
Michael J. Spencerdff84072015-09-15 23:36:30 +0000579 case llvm::ELF::R_X86_64_32: {
Michael J. Spencer75e5fda2015-09-16 00:24:19 +0000580 case llvm::ELF::R_X86_64_32S:
Michael J. Spencer141dd912015-09-16 02:02:04 +0000581 uint64_t VA = SymVA + RI.r_addend;
582 if (Type == llvm::ELF::R_X86_64_32 && !isUInt<32>(VA))
583 error("R_X86_64_32 out of range");
584 else if (!isInt<32>(VA))
585 error("R_X86_64_32S out of range");
Michael J. Spencer75e5fda2015-09-16 00:24:19 +0000586
Michael J. Spencer141dd912015-09-16 02:02:04 +0000587 support::endian::write32le(Location, VA);
Davide Italiano94f183a2015-08-29 13:15:42 +0000588 break;
Michael J. Spencerdff84072015-09-15 23:36:30 +0000589 }
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000590 default:
591 llvm::errs() << Twine("unrecognized reloc ") + Twine(Type) << '\n';
592 break;
593 }
594 }
595 }
596 }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000597}
598
599template <bool Is64Bits>
600void StringTableSection<Is64Bits>::writeTo(uint8_t *Buf) {
601 StringRef Data = StrTabBuilder.data();
602 memcpy(Buf, Data.data(), Data.size());
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000603}
604
Rafael Espindola871765c2015-08-28 02:46:41 +0000605template <class ELFT>
606static int compareSym(const typename ELFFile<ELFT>::Elf_Sym *A,
607 const typename ELFFile<ELFT>::Elf_Sym *B) {
608 uint32_t AN = A->st_name;
609 uint32_t BN = B->st_name;
610 assert(AN != BN);
611 return AN - BN;
612}
613
Rafael Espindola18173d42015-09-08 15:50:05 +0000614static bool includeInSymtab(const SymbolBody &B) {
615 if (B.isLazy())
616 return false;
617 if (!B.isUsedInRegularObj())
618 return false;
619 uint8_t V = B.getMostConstrainingVisibility();
620 if (V != STV_DEFAULT && V != STV_PROTECTED)
621 return false;
622 return true;
623}
624
Rafael Espindola62b81b82015-08-14 13:07:05 +0000625template <class ELFT> void SymbolTableSection<ELFT>::writeTo(uint8_t *Buf) {
Rafael Espindola871765c2015-08-28 02:46:41 +0000626 uint8_t *BufStart = Buf;
627
Rafael Espindola62b81b82015-08-14 13:07:05 +0000628 Buf += sizeof(Elf_Sym);
Rafael Espindola62b81b82015-08-14 13:07:05 +0000629 for (auto &P : Table.getSymbols()) {
630 StringRef Name = P.first;
Rafael Espindola383c3232015-08-14 13:52:36 +0000631 Symbol *Sym = P.second;
Rafael Espindola7f377752015-09-01 20:30:52 +0000632 SymbolBody *Body = Sym->Body;
Rafael Espindola18173d42015-09-08 15:50:05 +0000633 if (!includeInSymtab(*Body))
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000634 continue;
Rafael Espindola7f377752015-09-01 20:30:52 +0000635 const Elf_Sym &InputSym = cast<ELFSymbolBody<ELFT>>(Body)->Sym;
Rafael Espindola383c3232015-08-14 13:52:36 +0000636
637 auto *ESym = reinterpret_cast<Elf_Sym *>(Buf);
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000638 ESym->st_name = StrTabSec.getFileOff(Name);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000639
640 const SectionChunk<ELFT> *Section = nullptr;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000641 const OutputSection<ELFT> *Out = nullptr;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000642
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000643 switch (Body->kind()) {
Rafael Espindola7f377752015-09-01 20:30:52 +0000644 case SymbolBody::DefinedRegularKind:
645 Section = &cast<DefinedRegular<ELFT>>(Body)->Section;
Rafael Espindola383c3232015-08-14 13:52:36 +0000646 break;
Rafael Espindola8b09d682015-08-31 22:33:21 +0000647 case SymbolBody::DefinedCommonKind:
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000648 Out = &W.getBSS();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000649 break;
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000650 case SymbolBody::UndefinedKind:
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000651 case SymbolBody::DefinedAbsoluteKind:
Rafael Espindola18173d42015-09-08 15:50:05 +0000652 case SymbolBody::SharedKind:
Rafael Espindola383c3232015-08-14 13:52:36 +0000653 break;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000654 case SymbolBody::LazyKind:
655 llvm_unreachable("Lazy symbol got to output symbol table!");
Rafael Espindola383c3232015-08-14 13:52:36 +0000656 }
Rafael Espindolaf3837072015-08-25 15:53:17 +0000657
Davide Italianoad6c81c2015-09-04 19:42:14 +0000658 ESym->setBindingAndType(InputSym.getBinding(), InputSym.getType());
Rafael Espindola7f377752015-09-01 20:30:52 +0000659 ESym->st_size = InputSym.st_size;
Davide Italianoad6c81c2015-09-04 19:42:14 +0000660 ESym->setVisibility(Body->getMostConstrainingVisibility());
Rafael Espindola7f377752015-09-01 20:30:52 +0000661 if (InputSym.isAbsolute()) {
662 ESym->st_shndx = SHN_ABS;
663 ESym->st_value = InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000664 }
Rafael Espindola383c3232015-08-14 13:52:36 +0000665
Rafael Espindola8b09d682015-08-31 22:33:21 +0000666 if (Section)
667 Out = Section->getOutputSection();
668
669 if (Out) {
Rafael Espindola832b93f2015-08-24 20:06:32 +0000670 ESym->st_shndx = Out->getSectionIndex();
Rafael Espindolaf3837072015-08-25 15:53:17 +0000671 uintX_t VA = Out->getVA();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000672 if (Section)
673 VA += Section->getOutputSectionOff();
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000674 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
675 VA += C->OffsetInBSS;
676 else
Rafael Espindola7f377752015-09-01 20:30:52 +0000677 VA += InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000678 ESym->st_value = VA;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000679 }
680
Rafael Espindola62b81b82015-08-14 13:07:05 +0000681 Buf += sizeof(Elf_Sym);
682 }
Rafael Espindola871765c2015-08-28 02:46:41 +0000683
684 // The order the global symbols are in is not defined. We can use an arbitrary
685 // order, but it has to be reproducible. That is true even when cross linking.
686 // The default hashing of StringRef produces different results on 32 and 64
687 // bit systems so we sort by st_name. That is arbitrary but deterministic.
688 // FIXME: Experiment with passing in a custom hashing instead.
689 auto *Syms = reinterpret_cast<Elf_Sym *>(BufStart);
690 ++Syms;
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000691 array_pod_sort(Syms, Syms + NumVisible, compareSym<ELFT>);
Rafael Espindola62b81b82015-08-14 13:07:05 +0000692}
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000693
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000694template <bool Is64Bits>
695template <endianness E>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000696void OutputSectionBase<Is64Bits>::writeHeaderTo(
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000697 typename ELFFile<ELFType<E, Is64Bits>>::Elf_Shdr *SHdr) {
698 SHdr->sh_name = Header.sh_name;
699 SHdr->sh_type = Header.sh_type;
700 SHdr->sh_flags = Header.sh_flags;
701 SHdr->sh_addr = Header.sh_addr;
702 SHdr->sh_offset = Header.sh_offset;
703 SHdr->sh_size = Header.sh_size;
704 SHdr->sh_link = Header.sh_link;
705 SHdr->sh_info = Header.sh_info;
706 SHdr->sh_addralign = Header.sh_addralign;
707 SHdr->sh_entsize = Header.sh_entsize;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000708}
709
Rafael Espindolaa7471792015-08-13 17:04:50 +0000710namespace {
711template <bool Is64Bits> struct SectionKey {
712 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
713 StringRef Name;
714 uint32_t sh_type;
715 uintX_t sh_flags;
716};
717}
718namespace llvm {
719template <bool Is64Bits> struct DenseMapInfo<SectionKey<Is64Bits>> {
720 static SectionKey<Is64Bits> getEmptyKey() {
721 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0};
722 }
723 static SectionKey<Is64Bits> getTombstoneKey() {
724 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getTombstoneKey(), 0,
725 0};
726 }
727 static unsigned getHashValue(const SectionKey<Is64Bits> &Val) {
728 return hash_combine(Val.Name, Val.sh_type, Val.sh_flags);
729 }
730 static bool isEqual(const SectionKey<Is64Bits> &LHS,
731 const SectionKey<Is64Bits> &RHS) {
732 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
733 LHS.sh_type == RHS.sh_type && LHS.sh_flags == RHS.sh_flags;
734 }
735};
736}
737
Rafael Espindolab56cb942015-09-01 00:16:38 +0000738template <class ELFT>
739static bool cmpAlign(const DefinedCommon<ELFT> *A,
740 const DefinedCommon<ELFT> *B) {
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000741 return A->MaxAlignment > B->MaxAlignment;
Rafael Espindolab56cb942015-09-01 00:16:38 +0000742}
743
Rafael Espindolab01b5742015-09-08 18:08:57 +0000744template <bool Is64Bits>
745static bool compSec(OutputSectionBase<Is64Bits> *A,
746 OutputSectionBase<Is64Bits> *B) {
747 // Place SHF_ALLOC sections first.
748 return (A->getFlags() & SHF_ALLOC) && !(B->getFlags() & SHF_ALLOC);
749}
750
Rafael Espindola19e38892015-09-16 15:54:15 +0000751// The reason we have to do this early scan is as follows
752// * To mmap the output file, we need to know the size
753// * For that, we need to know how many dynamic relocs we will have.
754// It might be possible to avoid this by outputting the file with write:
755// * Write the allocated output sections, computing addresses.
756// * Apply relocations, recording which ones require a dynamic reloc.
757// * Write the dynamic relocations.
758// * Write the rest of the file.
759template <class ELFT>
760void Writer<ELFT>::scanRelocs(const SectionChunk<ELFT> &C) {
761 const ObjectFile<ELFT> *File = C.getFile();
762 ELFFile<ELFT> *EObj = File->getObj();
763
764 if (!(C.getSectionHdr()->sh_flags & SHF_ALLOC))
765 return;
766
767 for (const Elf_Shdr *RelSec : C.RelocSections) {
768 if (RelSec->sh_type != SHT_RELA)
769 continue;
770 for (const Elf_Rela &RI : EObj->relas(RelSec)) {
771 uint32_t SymIndex = RI.getSymbol(EObj->isMips64EL());
772 const SymbolBody *Body = File->getSymbolBody(SymIndex);
773 if (!Body)
774 continue;
775 auto *S = dyn_cast<SharedSymbol<ELFT>>(Body);
776 if (!S)
777 continue;
778 RelaDynSec.addReloc({C, RI});
779 }
780 }
781}
782
Michael J. Spencer84487f12015-07-24 21:03:07 +0000783// Create output section objects and add them to OutputSections.
784template <class ELFT> void Writer<ELFT>::createSections() {
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000785 SmallDenseMap<SectionKey<ELFT::Is64Bits>, OutputSection<ELFT> *> Map;
Rafael Espindola05185742015-08-31 22:07:18 +0000786 auto getSection = [&](StringRef Name, uint32_t sh_type,
787 uintX_t sh_flags) -> OutputSection<ELFT> * {
788 SectionKey<ELFT::Is64Bits> Key{Name, sh_type, sh_flags};
789 OutputSection<ELFT> *&Sec = Map[Key];
790 if (!Sec) {
791 Sec = new (CAlloc.Allocate())
Rafael Espindola19e38892015-09-16 15:54:15 +0000792 OutputSection<ELFT>(Key.Name, Key.sh_type, Key.sh_flags, RelaDynSec);
Rafael Espindolab01b5742015-09-08 18:08:57 +0000793 OutputSections.push_back(Sec);
Rafael Espindola05185742015-08-31 22:07:18 +0000794 }
795 return Sec;
796 };
797
Rafael Espindola05185742015-08-31 22:07:18 +0000798 // FIXME: Try to avoid the extra walk over all global symbols.
Rafael Espindola19e38892015-09-16 15:54:15 +0000799 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindolab56cb942015-09-01 00:16:38 +0000800 std::vector<DefinedCommon<ELFT> *> CommonSymbols;
Rafael Espindola05185742015-08-31 22:07:18 +0000801 for (auto &P : Symtab.getSymbols()) {
Rafael Espindolaee1364f2015-09-01 21:47:21 +0000802 StringRef Name = P.first;
Rafael Espindola05185742015-08-31 22:07:18 +0000803 SymbolBody *Body = P.second->Body;
Rafael Espindola1d12ab32015-09-11 21:44:55 +0000804 if (Body->isStrongUndefined())
805 error(Twine("undefined symbol: ") + Name);
806
Rafael Espindolab56cb942015-09-01 00:16:38 +0000807 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
808 CommonSymbols.push_back(C);
Rafael Espindola18173d42015-09-08 15:50:05 +0000809 if (!includeInSymtab(*Body))
Rafael Espindolaee1364f2015-09-01 21:47:21 +0000810 continue;
Rafael Espindolafb815282015-09-11 00:30:13 +0000811 SymTabSec.addSymbol(Name);
812
813 // FIXME: This adds way too much to the dynamic symbol table. We only
814 // need to add the symbols use by dynamic relocations when producing
815 // an executable (ignoring --export-dynamic).
Rafael Espindola4340aad2015-09-11 22:42:45 +0000816 if (needsDynamicSections())
Rafael Espindola19e38892015-09-16 15:54:15 +0000817 HashSec.addSymbol(Body);
Rafael Espindolab56cb942015-09-01 00:16:38 +0000818 }
819
Rafael Espindola19e38892015-09-16 15:54:15 +0000820 for (const std::unique_ptr<ObjectFileBase> &FileB : Symtab.getObjectFiles()) {
821 auto &File = cast<ObjectFile<ELFT>>(*FileB);
822 for (SectionChunk<ELFT> *C : File.getChunks()) {
823 if (!C)
824 continue;
825 const Elf_Shdr *H = C->getSectionHdr();
826 OutputSection<ELFT> *Sec =
827 getSection(C->getSectionName(), H->sh_type, H->sh_flags);
828 Sec->addChunk(C);
829 scanRelocs(*C);
830 }
831 }
832
833 BSSSec = getSection(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
Rafael Espindolab56cb942015-09-01 00:16:38 +0000834 // Sort the common symbols by alignment as an heuristic to pack them better.
835 std::stable_sort(CommonSymbols.begin(), CommonSymbols.end(), cmpAlign<ELFT>);
836 uintX_t Off = BSSSec->getSize();
837 for (DefinedCommon<ELFT> *C : CommonSymbols) {
Rafael Espindola05185742015-08-31 22:07:18 +0000838 const Elf_Sym &Sym = C->Sym;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000839 uintX_t Align = C->MaxAlignment;
Rafael Espindola05185742015-08-31 22:07:18 +0000840 Off = RoundUpToAlignment(Off, Align);
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000841 C->OffsetInBSS = Off;
Rafael Espindola05185742015-08-31 22:07:18 +0000842 Off += Sym.st_size;
843 }
Rafael Espindolab56cb942015-09-01 00:16:38 +0000844
Rafael Espindola05185742015-08-31 22:07:18 +0000845 BSSSec->setSize(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000846
Rafael Espindolafb815282015-09-11 00:30:13 +0000847 OutputSections.push_back(&SymTabSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000848 OutputSections.push_back(&StrTabSec);
Rafael Espindolab01b5742015-09-08 18:08:57 +0000849
Rafael Espindola4340aad2015-09-11 22:42:45 +0000850 if (needsDynamicSections()) {
Rafael Espindola70107762015-09-11 18:49:42 +0000851 if (needsInterpSection())
852 OutputSections.push_back(&InterpSec);
Rafael Espindolafb815282015-09-11 00:30:13 +0000853 OutputSections.push_back(&DynSymSec);
Rafael Espindola601771e2015-09-14 20:20:34 +0000854 OutputSections.push_back(&HashSec);
Rafael Espindola740fafe2015-09-08 19:43:27 +0000855 OutputSections.push_back(&DynamicSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000856 OutputSections.push_back(&DynStrSec);
Rafael Espindola19e38892015-09-16 15:54:15 +0000857 if (RelaDynSec.hasReocs())
858 OutputSections.push_back(&RelaDynSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000859 }
Rafael Espindola740fafe2015-09-08 19:43:27 +0000860
Rafael Espindolab01b5742015-09-08 18:08:57 +0000861 std::stable_sort(OutputSections.begin(), OutputSections.end(),
862 compSec<ELFT::Is64Bits>);
863 for (unsigned I = 0, N = OutputSections.size(); I < N; ++I)
864 OutputSections[I]->setSectionIndex(I + 1);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000865}
866
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000867template <class ELFT>
868static bool outputSectionHasPHDR(OutputSectionBase<ELFT::Is64Bits> *Sec) {
869 return (Sec->getSize() != 0) && (Sec->getFlags() & SHF_ALLOC);
870}
871
Michael J. Spencer84487f12015-07-24 21:03:07 +0000872// Visits all sections to assign incremental, non-overlapping RVAs and
873// file offsets.
874template <class ELFT> void Writer<ELFT>::assignAddresses() {
Rafael Espindola4340aad2015-09-11 22:42:45 +0000875 uintX_t VA = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000876 uintX_t FileOff = 0;
Rafael Espindola60252d82015-09-09 22:53:55 +0000877
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000878 FileOff += sizeof(Elf_Ehdr);
879 VA += sizeof(Elf_Ehdr);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000880
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000881 // Reserve space for PHDRs.
882 ProgramHeaderOff = FileOff;
883 FileOff = RoundUpToAlignment(FileOff, PageSize);
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000884 VA = RoundUpToAlignment(VA, PageSize);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000885
886 NumPhdrs = 0;
Rafael Espindola70107762015-09-11 18:49:42 +0000887
888 // Add a PHDR for PT_INTERP.
889 if (needsInterpSection())
890 ++NumPhdrs;
891
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000892 // Add a PHDR for the elf header and program headers. Some dynamic linkers
893 // (musl at least) require them to be covered by a PT_LOAD.
894 ++NumPhdrs;
895
Rafael Espindolaebd21082015-08-13 22:14:37 +0000896 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000897 StrTabSec.add(Sec->getName());
Rafael Espindolaebd21082015-08-13 22:14:37 +0000898 Sec->finalize();
899
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000900 // Since each output section gets its own PHDR, align each output section to
901 // a page.
902 if (outputSectionHasPHDR<ELFT>(Sec)) {
903 ++NumPhdrs;
904 VA = RoundUpToAlignment(VA, PageSize);
905 FileOff = RoundUpToAlignment(FileOff, PageSize);
906 }
907
Rafael Espindola2db634d2015-08-13 20:24:18 +0000908 uintX_t Align = Sec->getAlign();
909 uintX_t Size = Sec->getSize();
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000910 if (Sec->getFlags() & SHF_ALLOC) {
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000911 VA = RoundUpToAlignment(VA, Align);
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000912 Sec->setVA(VA);
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000913 VA += Size;
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000914 }
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000915 FileOff = RoundUpToAlignment(FileOff, Align);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000916 Sec->setFileOffset(FileOff);
Rafael Espindola058f3432015-08-31 20:23:57 +0000917 if (Sec->getType() != SHT_NOBITS)
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000918 FileOff += Size;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000919 }
Rafael Espindola6b83b902015-08-12 00:00:24 +0000920
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000921 // Add a PHDR for the dynamic table.
Rafael Espindola4340aad2015-09-11 22:42:45 +0000922 if (needsDynamicSections())
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000923 ++NumPhdrs;
924
Rafael Espindola91009b32015-08-12 01:45:28 +0000925 FileOff += OffsetToAlignment(FileOff, ELFT::Is64Bits ? 8 : 4);
926
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000927 // Add space for section headers.
928 SectionHeaderOff = FileOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000929 FileOff += getNumSections() * sizeof(Elf_Shdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000930 FileSize = FileOff;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000931}
932
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000933static uint32_t convertSectionFlagsToPHDRFlags(uint64_t Flags) {
Rafael Espindolae438e072015-09-08 22:55:28 +0000934 uint32_t Ret = PF_R;
935 if (Flags & SHF_WRITE)
936 Ret |= PF_W;
937
938 if (Flags & SHF_EXECINSTR)
939 Ret |= PF_X;
940
941 return Ret;
942}
943
Rafael Espindola70107762015-09-11 18:49:42 +0000944template <class ELFT>
945static void setValuesFromSection(typename ELFFile<ELFT>::Elf_Phdr &P,
946 OutputSectionBase<ELFT::Is64Bits> &S) {
947 P.p_flags = convertSectionFlagsToPHDRFlags(S.getFlags());
948 P.p_offset = S.getFileOff();
949 P.p_vaddr = S.getVA();
950 P.p_paddr = P.p_vaddr;
951 P.p_filesz = S.getSize();
952 P.p_memsz = P.p_filesz;
953 P.p_align = S.getAlign();
954}
955
Michael J. Spencer84487f12015-07-24 21:03:07 +0000956template <class ELFT> void Writer<ELFT>::writeHeader() {
957 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindola18608a02015-09-08 21:57:31 +0000958 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000959 EHdr->e_ident[EI_MAG0] = 0x7F;
960 EHdr->e_ident[EI_MAG1] = 0x45;
961 EHdr->e_ident[EI_MAG2] = 0x4C;
962 EHdr->e_ident[EI_MAG3] = 0x46;
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +0000963 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
964 EHdr->e_ident[EI_DATA] = ELFT::TargetEndianness == llvm::support::little
965 ? ELFDATA2LSB
966 : ELFDATA2MSB;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000967 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Rafael Espindola87ee8dc2015-08-05 11:55:52 +0000968 EHdr->e_ident[EI_OSABI] = ELFOSABI_NONE;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000969
Rafael Espindolae438e072015-09-08 22:55:28 +0000970 // FIXME: Generalize the segment construction similar to how we create
971 // output sections.
Rafael Espindolafb815282015-09-11 00:30:13 +0000972 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindolae438e072015-09-08 22:55:28 +0000973
Rafael Espindola4340aad2015-09-11 22:42:45 +0000974 EHdr->e_type = Config->Shared ? ET_DYN : ET_EXEC;
Rafael Espindolaf98d6d82015-09-03 20:03:54 +0000975 auto &FirstObj = cast<ObjectFile<ELFT>>(*Symtab.getFirstELF());
976 EHdr->e_machine = FirstObj.getEMachine();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000977 EHdr->e_version = EV_CURRENT;
Rafael Espindola4340aad2015-09-11 22:42:45 +0000978 SymbolBody *Entry = Symtab.getEntrySym();
979 EHdr->e_entry = Entry ? getSymVA(cast<DefinedRegular<ELFT>>(Entry)) : 0;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000980 EHdr->e_phoff = ProgramHeaderOff;
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000981 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000982 EHdr->e_ehsize = sizeof(Elf_Ehdr);
983 EHdr->e_phentsize = sizeof(Elf_Phdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000984 EHdr->e_phnum = NumPhdrs;
Rafael Espindola18608a02015-09-08 21:57:31 +0000985 EHdr->e_shentsize = sizeof(Elf_Shdr);
Rafael Espindola5f553872015-09-08 17:39:39 +0000986 EHdr->e_shnum = getNumSections();
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000987 EHdr->e_shstrndx = StrTabSec.getSectionIndex();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000988
Rafael Espindola18608a02015-09-08 21:57:31 +0000989 auto PHdrs = reinterpret_cast<Elf_Phdr *>(Buf + EHdr->e_phoff);
Rafael Espindola70107762015-09-11 18:49:42 +0000990 if (needsInterpSection()) {
991 PHdrs->p_type = PT_INTERP;
992 setValuesFromSection<ELFT>(*PHdrs, InterpSec);
993 ++PHdrs;
994 }
995
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000996 PHdrs->p_type = PT_LOAD;
997 PHdrs->p_flags = PF_R;
998 PHdrs->p_offset = 0;
Rafael Espindola4340aad2015-09-11 22:42:45 +0000999 PHdrs->p_vaddr = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +00001000 PHdrs->p_paddr = PHdrs->p_vaddr;
1001 PHdrs->p_filesz = ProgramHeaderOff + NumPhdrs * sizeof(Elf_Phdr);
1002 PHdrs->p_memsz = PHdrs->p_filesz;
1003 PHdrs->p_align = PageSize;
1004 ++PHdrs;
1005
Michael J. Spencer1d299a82015-09-09 20:48:09 +00001006 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
1007 if (!outputSectionHasPHDR<ELFT>(Sec))
1008 continue;
1009 PHdrs->p_type = PT_LOAD;
1010 PHdrs->p_flags = convertSectionFlagsToPHDRFlags(Sec->getFlags());
1011 PHdrs->p_offset = Sec->getFileOff();
1012 PHdrs->p_vaddr = Sec->getVA();
1013 PHdrs->p_paddr = PHdrs->p_vaddr;
1014 PHdrs->p_filesz = Sec->getType() == SHT_NOBITS ? 0 : Sec->getSize();
1015 PHdrs->p_memsz = Sec->getSize();
1016 PHdrs->p_align = PageSize;
1017 ++PHdrs;
1018 }
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001019
Rafael Espindola4340aad2015-09-11 22:42:45 +00001020 if (needsDynamicSections()) {
Rafael Espindolae438e072015-09-08 22:55:28 +00001021 PHdrs->p_type = PT_DYNAMIC;
Rafael Espindola70107762015-09-11 18:49:42 +00001022 setValuesFromSection<ELFT>(*PHdrs, DynamicSec);
Rafael Espindolae438e072015-09-08 22:55:28 +00001023 }
1024
Rafael Espindola18608a02015-09-08 21:57:31 +00001025 auto SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001026 // First entry is null.
1027 ++SHdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +00001028 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +00001029 Sec->setNameOffset(StrTabSec.getFileOff(Sec->getName()));
Rafael Espindolaa175eb62015-08-13 18:37:23 +00001030 Sec->template writeHeaderTo<ELFT::TargetEndianness>(SHdrs++);
Rafael Espindola6b83b902015-08-12 00:00:24 +00001031 }
Michael J. Spencer84487f12015-07-24 21:03:07 +00001032}
1033
1034template <class ELFT> void Writer<ELFT>::openFile(StringRef Path) {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +00001035 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
1036 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable);
1037 error(BufferOrErr, Twine("failed to open ") + Path);
1038 Buffer = std::move(*BufferOrErr);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001039}
1040
1041// Write section contents to a mmap'ed file.
1042template <class ELFT> void Writer<ELFT>::writeSections() {
1043 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindolaebd21082015-08-13 22:14:37 +00001044 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections)
Rui Ueyama8050d322015-08-14 05:17:30 +00001045 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +00001046}