blob: 5c27c41831473558dcdd6ed7705244048e369356 [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
Michael J. Spencerdff84072015-09-15 23:36:30 +000017#include "llvm/ADT/APInt.h"
Rui Ueyamae44524d2015-07-28 00:17:25 +000018#include "llvm/ADT/DenseMap.h"
Rafael Espindola871765c2015-08-28 02:46:41 +000019#include "llvm/ADT/STLExtras.h"
Rafael Espindolaee1364f2015-09-01 21:47:21 +000020#include "llvm/MC/StringTableBuilder.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000021#include "llvm/Support/FileOutputBuffer.h"
Michael J. Spencer67bc8d62015-08-27 23:15:56 +000022#include "llvm/Support/raw_ostream.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000023
24using namespace llvm;
25using namespace llvm::ELF;
26using namespace llvm::object;
27
28using namespace lld;
29using namespace lld::elf2;
30
31static const int PageSize = 4096;
32
Rafael Espindolad67bb262015-09-11 13:20:07 +000033// On freebsd x86_64 the first page cannot be mmaped.
34// On linux that is controled by vm.mmap_min_addr. At least on some x86_64
35// installs that is 65536, so the first 15 pages cannot be used.
36// Given that, the smallest value that can be used in here is 0x10000.
Rafael Espindola0a2e2112015-09-10 15:41:34 +000037// If using 2MB pages, the smallest page aligned address that works is
38// 0x200000, but it looks like every OS uses 4k pages for executables.
39// FIXME: This is architecture and OS dependent.
40static const int VAStart = 0x10000;
41
Rui Ueyamaafff74e22015-08-05 23:24:46 +000042namespace {
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000043// OutputSection represents a section in an output file. It's a
44// container of chunks. OutputSection and Chunk are 1:N relationship.
45// Chunks cannot belong to more than one OutputSections. The writer
46// creates multiple OutputSections and assign them unique,
47// non-overlapping file offsets and VAs.
Rafael Espindolaebd21082015-08-13 22:14:37 +000048template <bool Is64Bits> class OutputSectionBase {
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000049public:
Rafael Espindola3f4228f2015-09-09 15:33:08 +000050 typedef
51 typename std::conditional<Is64Bits, Elf64_Dyn, Elf32_Dyn>::type Elf_Dyn;
Rafael Espindolaa175eb62015-08-13 18:37:23 +000052 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
53 typedef
54 typename std::conditional<Is64Bits, Elf64_Shdr, Elf32_Shdr>::type HeaderT;
Rafael Espindola02183402015-08-11 23:34:29 +000055
Rafael Espindolaebd21082015-08-13 22:14:37 +000056 OutputSectionBase(StringRef Name, uint32_t sh_type, uintX_t sh_flags)
Rafael Espindola375a5082015-08-13 17:32:30 +000057 : Name(Name) {
Rafael Espindolaa175eb62015-08-13 18:37:23 +000058 memset(&Header, 0, sizeof(HeaderT));
Rafael Espindola375a5082015-08-13 17:32:30 +000059 Header.sh_type = sh_type;
60 Header.sh_flags = sh_flags;
Rafael Espindola372889a2015-08-12 23:25:42 +000061 }
Rafael Espindola184d94e2015-08-13 18:25:47 +000062 void setVA(uintX_t VA) { Header.sh_addr = VA; }
Rafael Espindola3f4228f2015-09-09 15:33:08 +000063 uintX_t getVA() const { return Header.sh_addr; }
Rafael Espindola184d94e2015-08-13 18:25:47 +000064 void setFileOffset(uintX_t Off) { Header.sh_offset = Off; }
Rafael Espindolaa175eb62015-08-13 18:37:23 +000065 template <endianness E>
66 void writeHeaderTo(typename ELFFile<ELFType<E, Is64Bits>>::Elf_Shdr *SHdr);
Rafael Espindola6b83b902015-08-12 00:00:24 +000067 StringRef getName() { return Name; }
68 void setNameOffset(uintX_t Offset) { Header.sh_name = Offset; }
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000069
Rafael Espindola832b93f2015-08-24 20:06:32 +000070 unsigned getSectionIndex() const { return SectionIndex; }
71 void setSectionIndex(unsigned I) { SectionIndex = I; }
72
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000073 // Returns the size of the section in the output file.
Rafael Espindola02183402015-08-11 23:34:29 +000074 uintX_t getSize() { return Header.sh_size; }
Rafael Espindola05185742015-08-31 22:07:18 +000075 void setSize(uintX_t Val) { Header.sh_size = Val; }
Rafael Espindolaabad6182015-08-13 15:23:46 +000076 uintX_t getFlags() { return Header.sh_flags; }
Rui Ueyama8050d322015-08-14 05:17:30 +000077 uintX_t getFileOff() { return Header.sh_offset; }
Michael J. Spencerbaae5382015-09-05 00:25:33 +000078 uintX_t getAlign() {
79 // The ELF spec states that a value of 0 means the section has no alignment
80 // constraits.
81 return std::max<uintX_t>(Header.sh_addralign, 1);
82 }
Rafael Espindola058f3432015-08-31 20:23:57 +000083 uint32_t getType() { return Header.sh_type; }
Rafael Espindolaabad6182015-08-13 15:23:46 +000084
Rafael Espindolaebd21082015-08-13 22:14:37 +000085 virtual void finalize() {}
86 virtual void writeTo(uint8_t *Buf) = 0;
87
88protected:
Rafael Espindola52a0f1e2015-08-11 23:22:24 +000089 StringRef Name;
Rafael Espindolaa175eb62015-08-13 18:37:23 +000090 HeaderT Header;
Rafael Espindola832b93f2015-08-24 20:06:32 +000091 unsigned SectionIndex;
Rafael Espindolaebd21082015-08-13 22:14:37 +000092 ~OutputSectionBase() = default;
93};
Rafael Espindola832b93f2015-08-24 20:06:32 +000094}
Rafael Espindolaebd21082015-08-13 22:14:37 +000095
Rafael Espindola83b0dc62015-08-13 22:21:37 +000096template <class ELFT>
Rafael Espindola832b93f2015-08-24 20:06:32 +000097class lld::elf2::OutputSection final
98 : public OutputSectionBase<ELFT::Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +000099public:
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000100 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000101 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
102 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000103 OutputSection(StringRef Name, uint32_t sh_type, uintX_t sh_flags)
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000104 : OutputSectionBase<ELFT::Is64Bits>(Name, sh_type, sh_flags) {}
Rafael Espindolaebd21082015-08-13 22:14:37 +0000105
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000106 void addChunk(SectionChunk<ELFT> *C);
Rafael Espindolaebd21082015-08-13 22:14:37 +0000107 void writeTo(uint8_t *Buf) override;
108
109private:
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000110 std::vector<SectionChunk<ELFT> *> Chunks;
Rafael Espindola52a0f1e2015-08-11 23:22:24 +0000111};
112
Rafael Espindola832b93f2015-08-24 20:06:32 +0000113namespace {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000114template <bool Is64Bits>
Rafael Espindola70107762015-09-11 18:49:42 +0000115class InterpSection final : public OutputSectionBase<Is64Bits> {
116public:
117 InterpSection()
118 : OutputSectionBase<Is64Bits>(".interp", SHT_PROGBITS, SHF_ALLOC) {
119 this->Header.sh_size = Config->DynamicLinker.size() + 1;
120 this->Header.sh_addralign = 1;
121 }
122
123 void writeTo(uint8_t *Buf) override {
124 memcpy(Buf, Config->DynamicLinker.data(), Config->DynamicLinker.size());
125 }
126};
127
128template <bool Is64Bits>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000129class StringTableSection final : public OutputSectionBase<Is64Bits> {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000130public:
131 typedef typename OutputSectionBase<Is64Bits>::uintX_t uintX_t;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000132 StringTableSection(bool Dynamic)
133 : OutputSectionBase<Is64Bits>(Dynamic ? ".dynstr" : ".strtab", SHT_STRTAB,
Rafael Espindolafb815282015-09-11 00:30:13 +0000134 Dynamic ? (uintX_t)SHF_ALLOC : 0),
135 Dynamic(Dynamic) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000136 this->Header.sh_addralign = 1;
137 }
138
139 void add(StringRef S) { StrTabBuilder.add(S); }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000140 size_t getFileOff(StringRef S) const { return StrTabBuilder.getOffset(S); }
141 StringRef data() const { return StrTabBuilder.data(); }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000142 void writeTo(uint8_t *Buf) override;
143
144 void finalize() override {
145 StrTabBuilder.finalize(StringTableBuilder::ELF);
146 this->Header.sh_size = StrTabBuilder.data().size();
147 }
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000148
Rafael Espindolafb815282015-09-11 00:30:13 +0000149 bool isDynamic() const { return Dynamic; }
150
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000151private:
Rafael Espindolafb815282015-09-11 00:30:13 +0000152 const bool Dynamic;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000153 llvm::StringTableBuilder StrTabBuilder;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000154};
155
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000156template <class ELFT> class Writer;
157
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000158template <class ELFT>
159class SymbolTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
160public:
Rafael Espindola62b81b82015-08-14 13:07:05 +0000161 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000162 typedef typename OutputSectionBase<ELFT::Is64Bits>::uintX_t uintX_t;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000163 SymbolTableSection(Writer<ELFT> &W, SymbolTable &Table,
Rafael Espindola57b25922015-09-08 19:23:30 +0000164 StringTableSection<ELFT::Is64Bits> &StrTabSec)
Rafael Espindolafb815282015-09-11 00:30:13 +0000165 : OutputSectionBase<ELFT::Is64Bits>(
166 StrTabSec.isDynamic() ? ".dynsym" : ".symtab",
167 StrTabSec.isDynamic() ? SHT_DYNSYM : SHT_SYMTAB,
168 StrTabSec.isDynamic() ? (uintX_t)SHF_ALLOC : 0),
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000169 Table(Table), StrTabSec(StrTabSec), W(W) {
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000170 typedef OutputSectionBase<ELFT::Is64Bits> Base;
171 typename Base::HeaderT &Header = this->Header;
172
173 // For now the only local symbol is going to be the one at index 0
174 Header.sh_info = 1;
175
Rafael Espindola62b81b82015-08-14 13:07:05 +0000176 Header.sh_entsize = sizeof(Elf_Sym);
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000177 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
178 }
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000179
180 void finalize() override {
Rafael Espindola80faee82015-09-14 22:08:55 +0000181 this->Header.sh_size = getNumSymbols() * sizeof(Elf_Sym);
Rafael Espindola57b25922015-09-08 19:23:30 +0000182 this->Header.sh_link = StrTabSec.getSectionIndex();
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000183 }
184
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000185 void writeTo(uint8_t *Buf) override;
Rafael Espindola62b81b82015-08-14 13:07:05 +0000186
Rafael Espindola70107762015-09-11 18:49:42 +0000187 const SymbolTable &getSymTable() const { return Table; }
Rafael Espindolae6f52102015-08-24 14:48:18 +0000188
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000189 void addSymbol(StringRef Name) {
190 StrTabSec.add(Name);
191 ++NumVisible;
192 }
193
Rafael Espindola243d90f2015-09-11 01:14:39 +0000194 StringTableSection<ELFT::Is64Bits> &getStrTabSec() { return StrTabSec; }
Rafael Espindola80faee82015-09-14 22:08:55 +0000195 unsigned getNumSymbols() const { return NumVisible + 1; }
Rafael Espindola243d90f2015-09-11 01:14:39 +0000196
Rafael Espindola62b81b82015-08-14 13:07:05 +0000197private:
198 SymbolTable &Table;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000199 StringTableSection<ELFT::Is64Bits> &StrTabSec;
200 unsigned NumVisible = 0;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000201 const Writer<ELFT> &W;
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000202};
203
Rafael Espindola243d90f2015-09-11 01:14:39 +0000204template <class ELFT>
Rafael Espindola601771e2015-09-14 20:20:34 +0000205class HashTableSection final : public OutputSectionBase<ELFT::Is64Bits> {
206 typedef typename ELFFile<ELFT>::Elf_Word Elf_Word;
207
208public:
Rafael Espindola80faee82015-09-14 22:08:55 +0000209 HashTableSection(SymbolTableSection<ELFT> &DynSymSec)
Rafael Espindola601771e2015-09-14 20:20:34 +0000210 : OutputSectionBase<ELFT::Is64Bits>(".hash", SHT_HASH, SHF_ALLOC),
211 DynSymSec(DynSymSec) {
212 this->Header.sh_entsize = sizeof(Elf_Word);
213 this->Header.sh_addralign = sizeof(Elf_Word);
214 }
215
Rafael Espindola80faee82015-09-14 22:08:55 +0000216 void addSymbol(StringRef Name) {
217 DynSymSec.addSymbol(Name);
218 Hashes.push_back(hash(Name));
Rafael Espindola601771e2015-09-14 20:20:34 +0000219 }
220
Rafael Espindola80faee82015-09-14 22:08:55 +0000221 void finalize() override {
222 this->Header.sh_link = DynSymSec.getSectionIndex();
223
224 assert(DynSymSec.getNumSymbols() == Hashes.size() + 1);
225 unsigned NumEntries = 2; // nbucket and nchain.
226 NumEntries += DynSymSec.getNumSymbols(); // The chain entries.
227
228 // Create as many buckets as there are symbols.
229 // FIXME: This is simplistic. We can try to optimize it, but implementing
230 // support for SHT_GNU_HASH is probably even more profitable.
231 NumEntries += DynSymSec.getNumSymbols();
232 this->Header.sh_size = NumEntries * sizeof(Elf_Word);
233 }
234
235 void writeTo(uint8_t *Buf) override {
236 unsigned NumSymbols = DynSymSec.getNumSymbols();
237 auto *P = reinterpret_cast<Elf_Word *>(Buf);
238 *P++ = NumSymbols; // nbucket
239 *P++ = NumSymbols; // nchain
240
Rui Ueyamab73002f2015-09-15 01:03:58 +0000241 Elf_Word *Buckets = P;
242 Elf_Word *Chains = P + NumSymbols;
Rafael Espindola80faee82015-09-14 22:08:55 +0000243
244 for (unsigned I = 1; I < NumSymbols; ++I) {
245 uint32_t Hash = Hashes[I - 1] % NumSymbols;
246 Chains[I] = Buckets[Hash];
247 Buckets[Hash] = I;
248 }
Rafael Espindola80faee82015-09-14 22:08:55 +0000249 }
250
251 SymbolTableSection<ELFT> &getDynSymSec() { return DynSymSec; }
Rafael Espindola601771e2015-09-14 20:20:34 +0000252
253private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000254 uint32_t hash(StringRef Name) {
255 uint32_t H = 0;
256 for (char C : Name) {
257 H = (H << 4) + C;
258 uint32_t G = H & 0xf0000000;
259 if (G)
260 H ^= G >> 24;
261 H &= ~G;
262 }
263 return H;
264 }
265 SymbolTableSection<ELFT> &DynSymSec;
266 std::vector<uint32_t> Hashes;
Rafael Espindola601771e2015-09-14 20:20:34 +0000267};
268
269template <class ELFT>
Rafael Espindola243d90f2015-09-11 01:14:39 +0000270class DynamicSection final : public OutputSectionBase<ELFT::Is64Bits> {
271 typedef OutputSectionBase<ELFT::Is64Bits> Base;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000272 typedef typename Base::HeaderT HeaderT;
273 typedef typename Base::Elf_Dyn Elf_Dyn;
274
Rafael Espindola740fafe2015-09-08 19:43:27 +0000275public:
Rafael Espindola80faee82015-09-14 22:08:55 +0000276 DynamicSection(SymbolTable &SymTab, HashTableSection<ELFT> &HashSec)
Rafael Espindola243d90f2015-09-11 01:14:39 +0000277 : OutputSectionBase<ELFT::Is64Bits>(".dynamic", SHT_DYNAMIC,
278 SHF_ALLOC | SHF_WRITE),
Rafael Espindola80faee82015-09-14 22:08:55 +0000279 HashSec(HashSec), DynSymSec(HashSec.getDynSymSec()),
280 DynStrSec(DynSymSec.getStrTabSec()), SymTab(SymTab) {
Rafael Espindola740fafe2015-09-08 19:43:27 +0000281 typename Base::HeaderT &Header = this->Header;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000282 Header.sh_addralign = ELFT::Is64Bits ? 8 : 4;
283 Header.sh_entsize = ELFT::Is64Bits ? 16 : 8;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000284
285 unsigned NumEntries = 0;
286
Rafael Espindola243d90f2015-09-11 01:14:39 +0000287 ++NumEntries; // DT_SYMTAB
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000288 ++NumEntries; // DT_STRTAB
Rafael Espindola778562f2015-09-09 20:26:23 +0000289 ++NumEntries; // DT_STRSZ
Rafael Espindola80faee82015-09-14 22:08:55 +0000290 ++NumEntries; // DT_HASH
Rafael Espindola778562f2015-09-09 20:26:23 +0000291
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000292 StringRef RPath = Config->RPath;
293 if (!RPath.empty()) {
294 ++NumEntries; // DT_RUNPATH
295 DynStrSec.add(RPath);
296 }
297
Rafael Espindola778562f2015-09-09 20:26:23 +0000298 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
299 SymTab.getSharedFiles();
300 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles)
301 DynStrSec.add(File->getName());
302 NumEntries += SharedFiles.size();
303
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000304 ++NumEntries; // DT_NULL
305
306 Header.sh_size = NumEntries * Header.sh_entsize;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000307 }
308
309 void finalize() override {
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000310 this->Header.sh_link = DynStrSec.getSectionIndex();
Rafael Espindola740fafe2015-09-08 19:43:27 +0000311 }
312
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000313 void writeTo(uint8_t *Buf) override {
314 auto *P = reinterpret_cast<Elf_Dyn *>(Buf);
315
Rafael Espindola243d90f2015-09-11 01:14:39 +0000316 P->d_tag = DT_SYMTAB;
317 P->d_un.d_ptr = DynSymSec.getVA();
318 ++P;
319
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000320 P->d_tag = DT_STRTAB;
321 P->d_un.d_ptr = DynStrSec.getVA();
322 ++P;
323
Rafael Espindola778562f2015-09-09 20:26:23 +0000324 P->d_tag = DT_STRSZ;
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000325 P->d_un.d_val = DynStrSec.data().size();
Rafael Espindola778562f2015-09-09 20:26:23 +0000326 ++P;
327
Rafael Espindola80faee82015-09-14 22:08:55 +0000328 P->d_tag = DT_HASH;
329 P->d_un.d_ptr = HashSec.getVA();
330 ++P;
331
Rafael Espindola2e9eac12015-09-11 21:18:56 +0000332 StringRef RPath = Config->RPath;
333 if (!RPath.empty()) {
334 P->d_tag = DT_RUNPATH;
335 P->d_un.d_val = DynStrSec.getFileOff(RPath);
336 ++P;
337 }
338
Rafael Espindola778562f2015-09-09 20:26:23 +0000339 const std::vector<std::unique_ptr<SharedFileBase>> &SharedFiles =
340 SymTab.getSharedFiles();
341 for (const std::unique_ptr<SharedFileBase> &File : SharedFiles) {
342 P->d_tag = DT_NEEDED;
343 P->d_un.d_val = DynStrSec.getFileOff(File->getName());
344 ++P;
345 }
346
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000347 P->d_tag = DT_NULL;
348 P->d_un.d_val = 0;
Rafael Espindola778562f2015-09-09 20:26:23 +0000349 ++P;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000350 }
Rafael Espindola740fafe2015-09-08 19:43:27 +0000351
352private:
Rafael Espindola80faee82015-09-14 22:08:55 +0000353 HashTableSection<ELFT> &HashSec;
Rafael Espindola243d90f2015-09-11 01:14:39 +0000354 SymbolTableSection<ELFT> &DynSymSec;
Rafael Espindola80faee82015-09-14 22:08:55 +0000355 StringTableSection<ELFT::Is64Bits> &DynStrSec;
Rafael Espindola778562f2015-09-09 20:26:23 +0000356 SymbolTable &SymTab;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000357};
358
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000359// The writer writes a SymbolTable result to a file.
360template <class ELFT> class Writer {
361public:
Rafael Espindola18608a02015-09-08 21:57:31 +0000362 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
363 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
364 typedef typename ELFFile<ELFT>::Elf_Ehdr Elf_Ehdr;
365 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
366 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000367 Writer(SymbolTable *T)
Rui Ueyama9078f732015-09-14 20:32:41 +0000368 : SymTabSec(*this, *T, StrTabSec), DynSymSec(*this, *T, DynStrSec),
Rafael Espindola80faee82015-09-14 22:08:55 +0000369 HashSec(DynSymSec), DynamicSec(*T, HashSec) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000370 void run();
371
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000372 const OutputSection<ELFT> &getBSS() const {
373 assert(BSSSec);
374 return *BSSSec;
375 }
376
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000377private:
378 void createSections();
379 void assignAddresses();
380 void openFile(StringRef OutputPath);
381 void writeHeader();
382 void writeSections();
Rafael Espindola70107762015-09-11 18:49:42 +0000383 bool needsInterpSection() const {
384 return !SymTabSec.getSymTable().getSharedFiles().empty() &&
385 !Config->DynamicLinker.empty();
386 }
Rafael Espindola4340aad2015-09-11 22:42:45 +0000387 bool needsDynamicSections() const {
388 return !SymTabSec.getSymTable().getSharedFiles().empty() || Config->Shared;
389 }
390 unsigned getVAStart() const { return Config->Shared ? 0 : VAStart; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000391
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000392 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000393 llvm::SpecificBumpPtrAllocator<OutputSection<ELFT>> CAlloc;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000394 std::vector<OutputSectionBase<ELFT::Is64Bits> *> OutputSections;
Rafael Espindola5f553872015-09-08 17:39:39 +0000395 unsigned getNumSections() const { return OutputSections.size() + 1; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000396
Rafael Espindola98f6bd02015-08-11 23:14:13 +0000397 uintX_t FileSize;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000398 uintX_t ProgramHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000399 uintX_t SectionHeaderOff;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000400 unsigned NumPhdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000401
Rui Ueyama9078f732015-09-14 20:32:41 +0000402 StringTableSection<ELFT::Is64Bits> StrTabSec = { /*dynamic=*/false };
403 StringTableSection<ELFT::Is64Bits> DynStrSec = { /*dynamic=*/true };
Rafael Espindolaebd21082015-08-13 22:14:37 +0000404
Rafael Espindolafb815282015-09-11 00:30:13 +0000405 SymbolTableSection<ELFT> SymTabSec;
406 SymbolTableSection<ELFT> DynSymSec;
Rafael Espindola740fafe2015-09-08 19:43:27 +0000407
Rafael Espindola601771e2015-09-14 20:20:34 +0000408 HashTableSection<ELFT> HashSec;
409
Rafael Espindola80faee82015-09-14 22:08:55 +0000410 DynamicSection<ELFT> DynamicSec;
411
Rafael Espindola70107762015-09-11 18:49:42 +0000412 InterpSection<ELFT::Is64Bits> InterpSec;
413
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000414 OutputSection<ELFT> *BSSSec = nullptr;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000415};
416} // anonymous namespace
417
418namespace lld {
419namespace elf2 {
420
Rafael Espindola2ffdd4d2015-08-04 14:29:01 +0000421template <class ELFT>
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000422void writeResult(SymbolTable *Symtab) { Writer<ELFT>(Symtab).run(); }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000423
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000424template void writeResult<ELF32LE>(SymbolTable *);
425template void writeResult<ELF32BE>(SymbolTable *);
426template void writeResult<ELF64LE>(SymbolTable *);
427template void writeResult<ELF64BE>(SymbolTable *);
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000428
429} // namespace elf2
430} // namespace lld
Michael J. Spencer84487f12015-07-24 21:03:07 +0000431
432// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000433template <class ELFT> void Writer<ELFT>::run() {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000434 createSections();
435 assignAddresses();
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000436 openFile(Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000437 writeHeader();
438 writeSections();
439 error(Buffer->commit());
440}
441
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000442template <class ELFT>
443void OutputSection<ELFT>::addChunk(SectionChunk<ELFT> *C) {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000444 Chunks.push_back(C);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000445 C->setOutputSection(this);
Rafael Espindola0160a282015-08-13 20:13:39 +0000446 uint32_t Align = C->getAlign();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000447 if (Align > this->Header.sh_addralign)
448 this->Header.sh_addralign = Align;
Rafael Espindola0160a282015-08-13 20:13:39 +0000449
Rafael Espindolaebd21082015-08-13 22:14:37 +0000450 uintX_t Off = this->Header.sh_size;
Rafael Espindola0160a282015-08-13 20:13:39 +0000451 Off = RoundUpToAlignment(Off, Align);
Rafael Espindola674b5d52015-08-13 15:54:36 +0000452 C->setOutputSectionOff(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000453 Off += C->getSize();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000454 this->Header.sh_size = Off;
455}
456
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000457template <class ELFT>
Rafael Espindola18608a02015-09-08 21:57:31 +0000458static typename ELFFile<ELFT>::uintX_t getSymVA(DefinedRegular<ELFT> *DR) {
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000459 const SectionChunk<ELFT> *SC = &DR->Section;
460 OutputSection<ELFT> *OS = SC->getOutputSection();
461 return OS->getVA() + SC->getOutputSectionOff() + DR->Sym.st_value;
462}
463
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000464template <class ELFT> void OutputSection<ELFT>::writeTo(uint8_t *Buf) {
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000465 for (SectionChunk<ELFT> *C : Chunks) {
Rafael Espindolaebd21082015-08-13 22:14:37 +0000466 C->writeTo(Buf);
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000467 ObjectFile<ELFT> *File = C->getFile();
468 ELFFile<ELFT> *EObj = File->getObj();
469 uint8_t *Base = Buf + C->getOutputSectionOff();
470
471 // Iterate over all relocation sections that apply to this section.
472 for (const Elf_Shdr *RelSec : C->RelocSections) {
473 // Only support RELA for now.
474 if (RelSec->sh_type != SHT_RELA)
475 continue;
476 for (const Elf_Rela &RI : EObj->relas(RelSec)) {
477 uint32_t SymIndex = RI.getSymbol(EObj->isMips64EL());
478 SymbolBody *Body = File->getSymbolBody(SymIndex);
479 if (!Body)
480 continue;
Michael J. Spencer3c1ac0a2015-09-15 23:12:02 +0000481
482 uintX_t SymVA;
483 if (auto *DR = dyn_cast<DefinedRegular<ELFT>>(Body))
484 SymVA = getSymVA<ELFT>(DR);
485 else if (auto *DA = dyn_cast<DefinedAbsolute<ELFT>>(Body))
486 SymVA = DA->Sym.st_value;
487 else
488 // Skip unsupported for now.
Rafael Espindola30e17972015-08-30 23:17:30 +0000489 continue;
Michael J. Spencer3c1ac0a2015-09-15 23:12:02 +0000490
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000491 uintX_t Offset = RI.r_offset;
492 uint32_t Type = RI.getType(EObj->isMips64EL());
493 uintX_t P = this->getVA() + C->getOutputSectionOff();
Davide Italiano94f183a2015-08-29 13:15:42 +0000494 uint8_t *Location = Base + Offset;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000495 switch (Type) {
496 case llvm::ELF::R_X86_64_PC32:
Davide Italiano94f183a2015-08-29 13:15:42 +0000497 support::endian::write32le(Location,
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000498 SymVA + (RI.r_addend - (P + Offset)));
499 break;
Rafael Espindolaa5c97d92015-09-15 13:52:06 +0000500 case llvm::ELF::R_X86_64_64:
501 support::endian::write64le(Location, SymVA + RI.r_addend);
502 break;
Michael J. Spencerdff84072015-09-15 23:36:30 +0000503 case llvm::ELF::R_X86_64_32: {
Michael J. Spencer75e5fda2015-09-16 00:24:19 +0000504 case llvm::ELF::R_X86_64_32S:
Michael J. Spencerdff84072015-09-15 23:36:30 +0000505 APInt VA(64, SymVA);
506 APInt Addend(64, RI.r_addend, true);
507 APInt Result64 = VA + Addend;
508 APInt Result = Result64.trunc(32);
Michael J. Spencer75e5fda2015-09-16 00:24:19 +0000509 if (Type == llvm::ELF::R_X86_64_32) {
510 if (Result.zext(64) != Result64)
511 error("Relocation out of range");
512 } else
513 if (Result.sext(64) != Result64)
514 error("R_X86_64_32S out of range");
515
Michael J. Spencerdff84072015-09-15 23:36:30 +0000516 support::endian::write32le(Location, Result.getZExtValue());
Davide Italiano94f183a2015-08-29 13:15:42 +0000517 break;
Michael J. Spencerdff84072015-09-15 23:36:30 +0000518 }
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000519 default:
520 llvm::errs() << Twine("unrecognized reloc ") + Twine(Type) << '\n';
521 break;
522 }
523 }
524 }
525 }
Rafael Espindolaebd21082015-08-13 22:14:37 +0000526}
527
528template <bool Is64Bits>
529void StringTableSection<Is64Bits>::writeTo(uint8_t *Buf) {
530 StringRef Data = StrTabBuilder.data();
531 memcpy(Buf, Data.data(), Data.size());
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000532}
533
Rafael Espindola871765c2015-08-28 02:46:41 +0000534template <class ELFT>
535static int compareSym(const typename ELFFile<ELFT>::Elf_Sym *A,
536 const typename ELFFile<ELFT>::Elf_Sym *B) {
537 uint32_t AN = A->st_name;
538 uint32_t BN = B->st_name;
539 assert(AN != BN);
540 return AN - BN;
541}
542
Rafael Espindola18173d42015-09-08 15:50:05 +0000543static bool includeInSymtab(const SymbolBody &B) {
544 if (B.isLazy())
545 return false;
546 if (!B.isUsedInRegularObj())
547 return false;
548 uint8_t V = B.getMostConstrainingVisibility();
549 if (V != STV_DEFAULT && V != STV_PROTECTED)
550 return false;
551 return true;
552}
553
Rafael Espindola62b81b82015-08-14 13:07:05 +0000554template <class ELFT> void SymbolTableSection<ELFT>::writeTo(uint8_t *Buf) {
Rafael Espindola871765c2015-08-28 02:46:41 +0000555 uint8_t *BufStart = Buf;
556
Rafael Espindola62b81b82015-08-14 13:07:05 +0000557 Buf += sizeof(Elf_Sym);
Rafael Espindola62b81b82015-08-14 13:07:05 +0000558 for (auto &P : Table.getSymbols()) {
559 StringRef Name = P.first;
Rafael Espindola383c3232015-08-14 13:52:36 +0000560 Symbol *Sym = P.second;
Rafael Espindola7f377752015-09-01 20:30:52 +0000561 SymbolBody *Body = Sym->Body;
Rafael Espindola18173d42015-09-08 15:50:05 +0000562 if (!includeInSymtab(*Body))
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000563 continue;
Rafael Espindola7f377752015-09-01 20:30:52 +0000564 const Elf_Sym &InputSym = cast<ELFSymbolBody<ELFT>>(Body)->Sym;
Rafael Espindola383c3232015-08-14 13:52:36 +0000565
566 auto *ESym = reinterpret_cast<Elf_Sym *>(Buf);
Rafael Espindoladd34a4d2015-09-10 22:49:06 +0000567 ESym->st_name = StrTabSec.getFileOff(Name);
Rafael Espindola832b93f2015-08-24 20:06:32 +0000568
569 const SectionChunk<ELFT> *Section = nullptr;
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000570 const OutputSection<ELFT> *Out = nullptr;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000571
Rafael Espindolac44d17a2015-08-14 15:10:49 +0000572 switch (Body->kind()) {
Rafael Espindola7f377752015-09-01 20:30:52 +0000573 case SymbolBody::DefinedRegularKind:
574 Section = &cast<DefinedRegular<ELFT>>(Body)->Section;
Rafael Espindola383c3232015-08-14 13:52:36 +0000575 break;
Rafael Espindola8b09d682015-08-31 22:33:21 +0000576 case SymbolBody::DefinedCommonKind:
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000577 Out = &W.getBSS();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000578 break;
Rafael Espindola3a63f3f2015-08-28 20:19:34 +0000579 case SymbolBody::UndefinedKind:
Rafael Espindola0e0c1902015-08-27 12:40:06 +0000580 case SymbolBody::DefinedAbsoluteKind:
Rafael Espindola18173d42015-09-08 15:50:05 +0000581 case SymbolBody::SharedKind:
Rafael Espindola383c3232015-08-14 13:52:36 +0000582 break;
Michael J. Spencer1b348a62015-09-04 22:28:10 +0000583 case SymbolBody::LazyKind:
584 llvm_unreachable("Lazy symbol got to output symbol table!");
Rafael Espindola383c3232015-08-14 13:52:36 +0000585 }
Rafael Espindolaf3837072015-08-25 15:53:17 +0000586
Davide Italianoad6c81c2015-09-04 19:42:14 +0000587 ESym->setBindingAndType(InputSym.getBinding(), InputSym.getType());
Rafael Espindola7f377752015-09-01 20:30:52 +0000588 ESym->st_size = InputSym.st_size;
Davide Italianoad6c81c2015-09-04 19:42:14 +0000589 ESym->setVisibility(Body->getMostConstrainingVisibility());
Rafael Espindola7f377752015-09-01 20:30:52 +0000590 if (InputSym.isAbsolute()) {
591 ESym->st_shndx = SHN_ABS;
592 ESym->st_value = InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000593 }
Rafael Espindola383c3232015-08-14 13:52:36 +0000594
Rafael Espindola8b09d682015-08-31 22:33:21 +0000595 if (Section)
596 Out = Section->getOutputSection();
597
598 if (Out) {
Rafael Espindola832b93f2015-08-24 20:06:32 +0000599 ESym->st_shndx = Out->getSectionIndex();
Rafael Espindolaf3837072015-08-25 15:53:17 +0000600 uintX_t VA = Out->getVA();
Rafael Espindola8b09d682015-08-31 22:33:21 +0000601 if (Section)
602 VA += Section->getOutputSectionOff();
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000603 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
604 VA += C->OffsetInBSS;
605 else
Rafael Espindola7f377752015-09-01 20:30:52 +0000606 VA += InputSym.st_value;
Rafael Espindolaf3837072015-08-25 15:53:17 +0000607 ESym->st_value = VA;
Rafael Espindola832b93f2015-08-24 20:06:32 +0000608 }
609
Rafael Espindola62b81b82015-08-14 13:07:05 +0000610 Buf += sizeof(Elf_Sym);
611 }
Rafael Espindola871765c2015-08-28 02:46:41 +0000612
613 // The order the global symbols are in is not defined. We can use an arbitrary
614 // order, but it has to be reproducible. That is true even when cross linking.
615 // The default hashing of StringRef produces different results on 32 and 64
616 // bit systems so we sort by st_name. That is arbitrary but deterministic.
617 // FIXME: Experiment with passing in a custom hashing instead.
618 auto *Syms = reinterpret_cast<Elf_Sym *>(BufStart);
619 ++Syms;
Rafael Espindola5b3942f2015-09-01 20:36:51 +0000620 array_pod_sort(Syms, Syms + NumVisible, compareSym<ELFT>);
Rafael Espindola62b81b82015-08-14 13:07:05 +0000621}
Rafael Espindolaf763ca32015-08-14 02:42:20 +0000622
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000623template <bool Is64Bits>
624template <endianness E>
Rafael Espindolaebd21082015-08-13 22:14:37 +0000625void OutputSectionBase<Is64Bits>::writeHeaderTo(
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000626 typename ELFFile<ELFType<E, Is64Bits>>::Elf_Shdr *SHdr) {
627 SHdr->sh_name = Header.sh_name;
628 SHdr->sh_type = Header.sh_type;
629 SHdr->sh_flags = Header.sh_flags;
630 SHdr->sh_addr = Header.sh_addr;
631 SHdr->sh_offset = Header.sh_offset;
632 SHdr->sh_size = Header.sh_size;
633 SHdr->sh_link = Header.sh_link;
634 SHdr->sh_info = Header.sh_info;
635 SHdr->sh_addralign = Header.sh_addralign;
636 SHdr->sh_entsize = Header.sh_entsize;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000637}
638
Rafael Espindolaa7471792015-08-13 17:04:50 +0000639namespace {
640template <bool Is64Bits> struct SectionKey {
641 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
642 StringRef Name;
643 uint32_t sh_type;
644 uintX_t sh_flags;
645};
646}
647namespace llvm {
648template <bool Is64Bits> struct DenseMapInfo<SectionKey<Is64Bits>> {
649 static SectionKey<Is64Bits> getEmptyKey() {
650 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0};
651 }
652 static SectionKey<Is64Bits> getTombstoneKey() {
653 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getTombstoneKey(), 0,
654 0};
655 }
656 static unsigned getHashValue(const SectionKey<Is64Bits> &Val) {
657 return hash_combine(Val.Name, Val.sh_type, Val.sh_flags);
658 }
659 static bool isEqual(const SectionKey<Is64Bits> &LHS,
660 const SectionKey<Is64Bits> &RHS) {
661 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
662 LHS.sh_type == RHS.sh_type && LHS.sh_flags == RHS.sh_flags;
663 }
664};
665}
666
Rafael Espindolab56cb942015-09-01 00:16:38 +0000667template <class ELFT>
668static bool cmpAlign(const DefinedCommon<ELFT> *A,
669 const DefinedCommon<ELFT> *B) {
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000670 return A->MaxAlignment > B->MaxAlignment;
Rafael Espindolab56cb942015-09-01 00:16:38 +0000671}
672
Rafael Espindolab01b5742015-09-08 18:08:57 +0000673template <bool Is64Bits>
674static bool compSec(OutputSectionBase<Is64Bits> *A,
675 OutputSectionBase<Is64Bits> *B) {
676 // Place SHF_ALLOC sections first.
677 return (A->getFlags() & SHF_ALLOC) && !(B->getFlags() & SHF_ALLOC);
678}
679
Michael J. Spencer84487f12015-07-24 21:03:07 +0000680// Create output section objects and add them to OutputSections.
681template <class ELFT> void Writer<ELFT>::createSections() {
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000682 SmallDenseMap<SectionKey<ELFT::Is64Bits>, OutputSection<ELFT> *> Map;
Rafael Espindola05185742015-08-31 22:07:18 +0000683 auto getSection = [&](StringRef Name, uint32_t sh_type,
684 uintX_t sh_flags) -> OutputSection<ELFT> * {
685 SectionKey<ELFT::Is64Bits> Key{Name, sh_type, sh_flags};
686 OutputSection<ELFT> *&Sec = Map[Key];
687 if (!Sec) {
688 Sec = new (CAlloc.Allocate())
689 OutputSection<ELFT>(Key.Name, Key.sh_type, Key.sh_flags);
Rafael Espindolab01b5742015-09-08 18:08:57 +0000690 OutputSections.push_back(Sec);
Rafael Espindola05185742015-08-31 22:07:18 +0000691 }
692 return Sec;
693 };
694
Rafael Espindolafb815282015-09-11 00:30:13 +0000695 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindola222edc62015-09-03 18:56:20 +0000696 for (const std::unique_ptr<ObjectFileBase> &FileB : Symtab.getObjectFiles()) {
Rafael Espindolae7a00e32015-08-05 13:55:34 +0000697 auto &File = cast<ObjectFile<ELFT>>(*FileB);
698 for (SectionChunk<ELFT> *C : File.getChunks()) {
Rafael Espindola832b93f2015-08-24 20:06:32 +0000699 if (!C)
700 continue;
Rafael Espindolaa7471792015-08-13 17:04:50 +0000701 const Elf_Shdr *H = C->getSectionHdr();
Rafael Espindola05185742015-08-31 22:07:18 +0000702 OutputSection<ELFT> *Sec =
703 getSection(C->getSectionName(), H->sh_type, H->sh_flags);
Rafael Espindola29e8d342015-08-13 17:35:13 +0000704 Sec->addChunk(C);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000705 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000706 }
Rafael Espindola05185742015-08-31 22:07:18 +0000707
Rafael Espindola24d07fd2015-09-11 00:10:11 +0000708 BSSSec = getSection(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
Rafael Espindola05185742015-08-31 22:07:18 +0000709 // FIXME: Try to avoid the extra walk over all global symbols.
Rafael Espindolab56cb942015-09-01 00:16:38 +0000710 std::vector<DefinedCommon<ELFT> *> CommonSymbols;
Rafael Espindola05185742015-08-31 22:07:18 +0000711 for (auto &P : Symtab.getSymbols()) {
Rafael Espindolaee1364f2015-09-01 21:47:21 +0000712 StringRef Name = P.first;
Rafael Espindola05185742015-08-31 22:07:18 +0000713 SymbolBody *Body = P.second->Body;
Rafael Espindola1d12ab32015-09-11 21:44:55 +0000714 if (Body->isStrongUndefined())
715 error(Twine("undefined symbol: ") + Name);
716
Rafael Espindolab56cb942015-09-01 00:16:38 +0000717 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
718 CommonSymbols.push_back(C);
Rafael Espindola18173d42015-09-08 15:50:05 +0000719 if (!includeInSymtab(*Body))
Rafael Espindolaee1364f2015-09-01 21:47:21 +0000720 continue;
Rafael Espindolafb815282015-09-11 00:30:13 +0000721 SymTabSec.addSymbol(Name);
722
723 // FIXME: This adds way too much to the dynamic symbol table. We only
724 // need to add the symbols use by dynamic relocations when producing
725 // an executable (ignoring --export-dynamic).
Rafael Espindola4340aad2015-09-11 22:42:45 +0000726 if (needsDynamicSections())
Rafael Espindola80faee82015-09-14 22:08:55 +0000727 HashSec.addSymbol(Name);
Rafael Espindolab56cb942015-09-01 00:16:38 +0000728 }
729
730 // Sort the common symbols by alignment as an heuristic to pack them better.
731 std::stable_sort(CommonSymbols.begin(), CommonSymbols.end(), cmpAlign<ELFT>);
732 uintX_t Off = BSSSec->getSize();
733 for (DefinedCommon<ELFT> *C : CommonSymbols) {
Rafael Espindola05185742015-08-31 22:07:18 +0000734 const Elf_Sym &Sym = C->Sym;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000735 uintX_t Align = C->MaxAlignment;
Rafael Espindola05185742015-08-31 22:07:18 +0000736 Off = RoundUpToAlignment(Off, Align);
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000737 C->OffsetInBSS = Off;
Rafael Espindola05185742015-08-31 22:07:18 +0000738 Off += Sym.st_size;
739 }
Rafael Espindolab56cb942015-09-01 00:16:38 +0000740
Rafael Espindola05185742015-08-31 22:07:18 +0000741 BSSSec->setSize(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000742
Rafael Espindolafb815282015-09-11 00:30:13 +0000743 OutputSections.push_back(&SymTabSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000744 OutputSections.push_back(&StrTabSec);
Rafael Espindolab01b5742015-09-08 18:08:57 +0000745
Rafael Espindola4340aad2015-09-11 22:42:45 +0000746 if (needsDynamicSections()) {
Rafael Espindola70107762015-09-11 18:49:42 +0000747 if (needsInterpSection())
748 OutputSections.push_back(&InterpSec);
Rafael Espindolafb815282015-09-11 00:30:13 +0000749 OutputSections.push_back(&DynSymSec);
Rafael Espindola601771e2015-09-14 20:20:34 +0000750 OutputSections.push_back(&HashSec);
Rafael Espindola740fafe2015-09-08 19:43:27 +0000751 OutputSections.push_back(&DynamicSec);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000752 OutputSections.push_back(&DynStrSec);
753 }
Rafael Espindola740fafe2015-09-08 19:43:27 +0000754
Rafael Espindolab01b5742015-09-08 18:08:57 +0000755 std::stable_sort(OutputSections.begin(), OutputSections.end(),
756 compSec<ELFT::Is64Bits>);
757 for (unsigned I = 0, N = OutputSections.size(); I < N; ++I)
758 OutputSections[I]->setSectionIndex(I + 1);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000759}
760
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000761template <class ELFT>
762static bool outputSectionHasPHDR(OutputSectionBase<ELFT::Is64Bits> *Sec) {
763 return (Sec->getSize() != 0) && (Sec->getFlags() & SHF_ALLOC);
764}
765
Michael J. Spencer84487f12015-07-24 21:03:07 +0000766// Visits all sections to assign incremental, non-overlapping RVAs and
767// file offsets.
768template <class ELFT> void Writer<ELFT>::assignAddresses() {
Rafael Espindola4340aad2015-09-11 22:42:45 +0000769 uintX_t VA = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000770 uintX_t FileOff = 0;
Rafael Espindola60252d82015-09-09 22:53:55 +0000771
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000772 FileOff += sizeof(Elf_Ehdr);
773 VA += sizeof(Elf_Ehdr);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000774
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000775 // Reserve space for PHDRs.
776 ProgramHeaderOff = FileOff;
777 FileOff = RoundUpToAlignment(FileOff, PageSize);
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000778 VA = RoundUpToAlignment(VA, PageSize);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000779
780 NumPhdrs = 0;
Rafael Espindola70107762015-09-11 18:49:42 +0000781
782 // Add a PHDR for PT_INTERP.
783 if (needsInterpSection())
784 ++NumPhdrs;
785
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000786 // Add a PHDR for the elf header and program headers. Some dynamic linkers
787 // (musl at least) require them to be covered by a PT_LOAD.
788 ++NumPhdrs;
789
Rafael Espindolaebd21082015-08-13 22:14:37 +0000790 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000791 StrTabSec.add(Sec->getName());
Rafael Espindolaebd21082015-08-13 22:14:37 +0000792 Sec->finalize();
793
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000794 // Since each output section gets its own PHDR, align each output section to
795 // a page.
796 if (outputSectionHasPHDR<ELFT>(Sec)) {
797 ++NumPhdrs;
798 VA = RoundUpToAlignment(VA, PageSize);
799 FileOff = RoundUpToAlignment(FileOff, PageSize);
800 }
801
Rafael Espindola2db634d2015-08-13 20:24:18 +0000802 uintX_t Align = Sec->getAlign();
803 uintX_t Size = Sec->getSize();
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000804 if (Sec->getFlags() & SHF_ALLOC) {
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000805 VA = RoundUpToAlignment(VA, Align);
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000806 Sec->setVA(VA);
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000807 VA += Size;
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000808 }
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000809 FileOff = RoundUpToAlignment(FileOff, Align);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000810 Sec->setFileOffset(FileOff);
Rafael Espindola058f3432015-08-31 20:23:57 +0000811 if (Sec->getType() != SHT_NOBITS)
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000812 FileOff += Size;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000813 }
Rafael Espindola6b83b902015-08-12 00:00:24 +0000814
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000815 // Add a PHDR for the dynamic table.
Rafael Espindola4340aad2015-09-11 22:42:45 +0000816 if (needsDynamicSections())
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000817 ++NumPhdrs;
818
Rafael Espindola91009b32015-08-12 01:45:28 +0000819 FileOff += OffsetToAlignment(FileOff, ELFT::Is64Bits ? 8 : 4);
820
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000821 // Add space for section headers.
822 SectionHeaderOff = FileOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000823 FileOff += getNumSections() * sizeof(Elf_Shdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000824 FileSize = FileOff;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000825}
826
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000827static uint32_t convertSectionFlagsToPHDRFlags(uint64_t Flags) {
Rafael Espindolae438e072015-09-08 22:55:28 +0000828 uint32_t Ret = PF_R;
829 if (Flags & SHF_WRITE)
830 Ret |= PF_W;
831
832 if (Flags & SHF_EXECINSTR)
833 Ret |= PF_X;
834
835 return Ret;
836}
837
Rafael Espindola70107762015-09-11 18:49:42 +0000838template <class ELFT>
839static void setValuesFromSection(typename ELFFile<ELFT>::Elf_Phdr &P,
840 OutputSectionBase<ELFT::Is64Bits> &S) {
841 P.p_flags = convertSectionFlagsToPHDRFlags(S.getFlags());
842 P.p_offset = S.getFileOff();
843 P.p_vaddr = S.getVA();
844 P.p_paddr = P.p_vaddr;
845 P.p_filesz = S.getSize();
846 P.p_memsz = P.p_filesz;
847 P.p_align = S.getAlign();
848}
849
Michael J. Spencer84487f12015-07-24 21:03:07 +0000850template <class ELFT> void Writer<ELFT>::writeHeader() {
851 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindola18608a02015-09-08 21:57:31 +0000852 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000853 EHdr->e_ident[EI_MAG0] = 0x7F;
854 EHdr->e_ident[EI_MAG1] = 0x45;
855 EHdr->e_ident[EI_MAG2] = 0x4C;
856 EHdr->e_ident[EI_MAG3] = 0x46;
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +0000857 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
858 EHdr->e_ident[EI_DATA] = ELFT::TargetEndianness == llvm::support::little
859 ? ELFDATA2LSB
860 : ELFDATA2MSB;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000861 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Rafael Espindola87ee8dc2015-08-05 11:55:52 +0000862 EHdr->e_ident[EI_OSABI] = ELFOSABI_NONE;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000863
Rafael Espindolae438e072015-09-08 22:55:28 +0000864 // FIXME: Generalize the segment construction similar to how we create
865 // output sections.
Rafael Espindolafb815282015-09-11 00:30:13 +0000866 const SymbolTable &Symtab = SymTabSec.getSymTable();
Rafael Espindolae438e072015-09-08 22:55:28 +0000867
Rafael Espindola4340aad2015-09-11 22:42:45 +0000868 EHdr->e_type = Config->Shared ? ET_DYN : ET_EXEC;
Rafael Espindolaf98d6d82015-09-03 20:03:54 +0000869 auto &FirstObj = cast<ObjectFile<ELFT>>(*Symtab.getFirstELF());
870 EHdr->e_machine = FirstObj.getEMachine();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000871 EHdr->e_version = EV_CURRENT;
Rafael Espindola4340aad2015-09-11 22:42:45 +0000872 SymbolBody *Entry = Symtab.getEntrySym();
873 EHdr->e_entry = Entry ? getSymVA(cast<DefinedRegular<ELFT>>(Entry)) : 0;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000874 EHdr->e_phoff = ProgramHeaderOff;
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000875 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000876 EHdr->e_ehsize = sizeof(Elf_Ehdr);
877 EHdr->e_phentsize = sizeof(Elf_Phdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000878 EHdr->e_phnum = NumPhdrs;
Rafael Espindola18608a02015-09-08 21:57:31 +0000879 EHdr->e_shentsize = sizeof(Elf_Shdr);
Rafael Espindola5f553872015-09-08 17:39:39 +0000880 EHdr->e_shnum = getNumSections();
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000881 EHdr->e_shstrndx = StrTabSec.getSectionIndex();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000882
Rafael Espindola18608a02015-09-08 21:57:31 +0000883 auto PHdrs = reinterpret_cast<Elf_Phdr *>(Buf + EHdr->e_phoff);
Rafael Espindola70107762015-09-11 18:49:42 +0000884 if (needsInterpSection()) {
885 PHdrs->p_type = PT_INTERP;
886 setValuesFromSection<ELFT>(*PHdrs, InterpSec);
887 ++PHdrs;
888 }
889
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000890 PHdrs->p_type = PT_LOAD;
891 PHdrs->p_flags = PF_R;
892 PHdrs->p_offset = 0;
Rafael Espindola4340aad2015-09-11 22:42:45 +0000893 PHdrs->p_vaddr = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000894 PHdrs->p_paddr = PHdrs->p_vaddr;
895 PHdrs->p_filesz = ProgramHeaderOff + NumPhdrs * sizeof(Elf_Phdr);
896 PHdrs->p_memsz = PHdrs->p_filesz;
897 PHdrs->p_align = PageSize;
898 ++PHdrs;
899
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000900 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
901 if (!outputSectionHasPHDR<ELFT>(Sec))
902 continue;
903 PHdrs->p_type = PT_LOAD;
904 PHdrs->p_flags = convertSectionFlagsToPHDRFlags(Sec->getFlags());
905 PHdrs->p_offset = Sec->getFileOff();
906 PHdrs->p_vaddr = Sec->getVA();
907 PHdrs->p_paddr = PHdrs->p_vaddr;
908 PHdrs->p_filesz = Sec->getType() == SHT_NOBITS ? 0 : Sec->getSize();
909 PHdrs->p_memsz = Sec->getSize();
910 PHdrs->p_align = PageSize;
911 ++PHdrs;
912 }
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000913
Rafael Espindola4340aad2015-09-11 22:42:45 +0000914 if (needsDynamicSections()) {
Rafael Espindolae438e072015-09-08 22:55:28 +0000915 PHdrs->p_type = PT_DYNAMIC;
Rafael Espindola70107762015-09-11 18:49:42 +0000916 setValuesFromSection<ELFT>(*PHdrs, DynamicSec);
Rafael Espindolae438e072015-09-08 22:55:28 +0000917 }
918
Rafael Espindola18608a02015-09-08 21:57:31 +0000919 auto SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000920 // First entry is null.
921 ++SHdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000922 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000923 Sec->setNameOffset(StrTabSec.getFileOff(Sec->getName()));
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000924 Sec->template writeHeaderTo<ELFT::TargetEndianness>(SHdrs++);
Rafael Espindola6b83b902015-08-12 00:00:24 +0000925 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000926}
927
928template <class ELFT> void Writer<ELFT>::openFile(StringRef Path) {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +0000929 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
930 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable);
931 error(BufferOrErr, Twine("failed to open ") + Path);
932 Buffer = std::move(*BufferOrErr);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000933}
934
935// Write section contents to a mmap'ed file.
936template <class ELFT> void Writer<ELFT>::writeSections() {
937 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000938 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections)
Rui Ueyama8050d322015-08-14 05:17:30 +0000939 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +0000940}