blob: 4d1e8b0ff68c7490d1761e80c3a58f6949308acc [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"
Rui Ueyamacb8474ed2015-08-05 23:51:50 +000011#include "Config.h"
Rafael Espindola5805c4f2015-09-21 21:38:08 +000012#include "OutputSections.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000013#include "SymbolTable.h"
Rafael Espindola01205f72015-09-22 18:19:46 +000014#include "Target.h"
Rafael Espindola6b83b902015-08-12 00:00:24 +000015
Rui Ueyamaafff74e22015-08-05 23:24:46 +000016#include "llvm/Support/FileOutputBuffer.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000017
18using namespace llvm;
19using namespace llvm::ELF;
20using namespace llvm::object;
21
22using namespace lld;
23using namespace lld::elf2;
24
Rui Ueyamaafff74e22015-08-05 23:24:46 +000025namespace {
Rafael Espindola740fafe2015-09-08 19:43:27 +000026
Rui Ueyama04dae552015-10-02 21:23:17 +000027static uint32_t toPHDRFlags(uint64_t Flags) {
Michael J. Spencer2f008242015-09-17 19:58:07 +000028 uint32_t Ret = PF_R;
29 if (Flags & SHF_WRITE)
30 Ret |= PF_W;
Michael J. Spencer2f008242015-09-17 19:58:07 +000031 if (Flags & SHF_EXECINSTR)
32 Ret |= PF_X;
Michael J. Spencer2f008242015-09-17 19:58:07 +000033 return Ret;
34}
35
Rui Ueyama5713b8d2015-10-02 22:17:07 +000036template <class ELFT> struct ProgramHeader {
37 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
38 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
Michael J. Spencer2f008242015-09-17 19:58:07 +000039
Rui Ueyama04dae552015-10-02 21:23:17 +000040 ProgramHeader(uintX_t Type, uintX_t Flags, uintX_t FileOff, uintX_t VA) {
Rui Ueyama5713b8d2015-10-02 22:17:07 +000041 std::memset(&Header, 0, sizeof(Elf_Phdr));
Rui Ueyama0fb1ee02015-10-02 21:13:19 +000042 Header.p_type = Type;
43 Header.p_flags = Flags;
Hal Finkele3c26262015-10-08 22:23:54 +000044 Header.p_align = Target->getPageSize();
Rui Ueyama04dae552015-10-02 21:23:17 +000045 Header.p_offset = FileOff;
46 Header.p_vaddr = VA;
47 Header.p_paddr = VA;
Michael J. Spencer2f008242015-09-17 19:58:07 +000048 }
49
Rui Ueyama15ef5e12015-10-07 19:18:16 +000050 void setValuesFromSection(OutputSectionBase<ELFT::Is64Bits> *Sec) {
51 Header.p_flags = toPHDRFlags(Sec->getFlags());
52 Header.p_offset = Sec->getFileOff();
53 Header.p_vaddr = Sec->getVA();
Michael J. Spencer2f008242015-09-17 19:58:07 +000054 Header.p_paddr = Header.p_vaddr;
Rui Ueyama15ef5e12015-10-07 19:18:16 +000055 Header.p_filesz = Sec->getSize();
Michael J. Spencer2f008242015-09-17 19:58:07 +000056 Header.p_memsz = Header.p_filesz;
Rui Ueyama15ef5e12015-10-07 19:18:16 +000057 Header.p_align = Sec->getAlign();
Michael J. Spencer2f008242015-09-17 19:58:07 +000058 }
59
Rui Ueyama5713b8d2015-10-02 22:17:07 +000060 Elf_Phdr Header;
Michael J. Spencer2f008242015-09-17 19:58:07 +000061 bool Closed = false;
62};
63
Rui Ueyamaafff74e22015-08-05 23:24:46 +000064// The writer writes a SymbolTable result to a file.
65template <class ELFT> class Writer {
66public:
Rafael Espindola18608a02015-09-08 21:57:31 +000067 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
68 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
69 typedef typename ELFFile<ELFT>::Elf_Ehdr Elf_Ehdr;
70 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
71 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Davide Italiano6d328d32015-09-16 20:45:57 +000072 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
Rafael Espindola19e38892015-09-16 15:54:15 +000073 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000074 Writer(SymbolTable &S) : Symtab(S) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +000075 void run();
76
77private:
78 void createSections();
Rafael Espindola67a5da62015-09-17 14:02:10 +000079 template <bool isRela>
Rafael Espindola53d5cea2015-09-21 17:47:00 +000080 void scanRelocs(const InputSection<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +000081 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels);
Rafael Espindola53d5cea2015-09-21 17:47:00 +000082 void scanRelocs(const InputSection<ELFT> &C);
Rui Ueyamaafff74e22015-08-05 23:24:46 +000083 void assignAddresses();
84 void openFile(StringRef OutputPath);
85 void writeHeader();
86 void writeSections();
Rafael Espindola70107762015-09-11 18:49:42 +000087 bool needsInterpSection() const {
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000088 return !Symtab.getSharedFiles().empty() && !Config->DynamicLinker.empty();
Rafael Espindola70107762015-09-11 18:49:42 +000089 }
Michael J. Spencerf32446f2015-10-06 20:39:09 +000090 bool isOutputDynamic() const {
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000091 return !Symtab.getSharedFiles().empty() || Config->Shared;
Rafael Espindola4340aad2015-09-11 22:42:45 +000092 }
Michael J. Spencerf32446f2015-10-06 20:39:09 +000093 bool needsDynamicSections() const { return isOutputDynamic(); }
Rui Ueyama00851fd2015-10-08 22:43:55 +000094 uintX_t getVAStart() const { return Config->Shared ? 0 : Target->getVAStart(); }
Rui Ueyamaafff74e22015-08-05 23:24:46 +000095
Rui Ueyamaafff74e22015-08-05 23:24:46 +000096 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Michael J. Spencer2f008242015-09-17 19:58:07 +000097
Rafael Espindola83b0dc62015-08-13 22:21:37 +000098 llvm::SpecificBumpPtrAllocator<OutputSection<ELFT>> CAlloc;
Rafael Espindolaebd21082015-08-13 22:14:37 +000099 std::vector<OutputSectionBase<ELFT::Is64Bits> *> OutputSections;
Rafael Espindola5f553872015-09-08 17:39:39 +0000100 unsigned getNumSections() const { return OutputSections.size() + 1; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000101
Michael J. Spencer2f008242015-09-17 19:58:07 +0000102 llvm::BumpPtrAllocator PAlloc;
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000103 SymbolTable &Symtab;
Rui Ueyama5713b8d2015-10-02 22:17:07 +0000104 std::vector<ProgramHeader<ELFT> *> PHDRs;
105 ProgramHeader<ELFT> FileHeaderPHDR{PT_LOAD, PF_R, 0, 0};
106 ProgramHeader<ELFT> InterpPHDR{PT_INTERP, 0, 0, 0};
107 ProgramHeader<ELFT> DynamicPHDR{PT_DYNAMIC, 0, 0, 0};
Michael J. Spencer2f008242015-09-17 19:58:07 +0000108
Rafael Espindola98f6bd02015-08-11 23:14:13 +0000109 uintX_t FileSize;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000110 uintX_t ProgramHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000111 uintX_t SectionHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000112};
113} // anonymous namespace
114
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000115template <class ELFT> static void doWriteResult(SymbolTable *Symtab) {
116 // Initialize output sections that are handled by Writer specially.
117 // Don't reorder because the order of initialization matters.
118 InterpSection<ELFT::Is64Bits> Interp;
119 Out<ELFT>::Interp = &Interp;
120 StringTableSection<ELFT::Is64Bits> StrTab(false);
121 Out<ELFT>::StrTab = &StrTab;
122 StringTableSection<ELFT::Is64Bits> DynStrTab(true);
123 Out<ELFT>::DynStrTab = &DynStrTab;
124 OutputSection<ELFT> Bss(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
125 Out<ELFT>::Bss = &Bss;
126 GotSection<ELFT> Got;
127 Out<ELFT>::Got = &Got;
128 PltSection<ELFT> Plt;
129 Out<ELFT>::Plt = &Plt;
130 SymbolTableSection<ELFT> SymTab(*Symtab, *Out<ELFT>::StrTab);
131 Out<ELFT>::SymTab = &SymTab;
132 SymbolTableSection<ELFT> DynSymTab(*Symtab, *Out<ELFT>::DynStrTab);
133 Out<ELFT>::DynSymTab = &DynSymTab;
134 HashTableSection<ELFT> HashTab;
135 Out<ELFT>::HashTab = &HashTab;
136 RelocationSection<ELFT> RelaDyn(Symtab->shouldUseRela());
137 Out<ELFT>::RelaDyn = &RelaDyn;
138 DynamicSection<ELFT> Dynamic(*Symtab);
139 Out<ELFT>::Dynamic = &Dynamic;
140
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000141 Writer<ELFT>(*Symtab).run();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000142}
143
Rui Ueyama75230392015-10-07 18:29:51 +0000144void lld::elf2::writeResult(SymbolTable *Symtab) {
145 switch (Symtab->getFirstELF()->getELFKind()) {
146 case ELF32LEKind:
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000147 doWriteResult<object::ELF32LE>(Symtab);
Rui Ueyama75230392015-10-07 18:29:51 +0000148 return;
149 case ELF32BEKind:
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000150 doWriteResult<object::ELF32BE>(Symtab);
Rui Ueyama75230392015-10-07 18:29:51 +0000151 return;
152 case ELF64LEKind:
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000153 doWriteResult<object::ELF64LE>(Symtab);
Rui Ueyama75230392015-10-07 18:29:51 +0000154 return;
155 case ELF64BEKind:
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000156 doWriteResult<object::ELF64BE>(Symtab);
Rui Ueyama75230392015-10-07 18:29:51 +0000157 return;
158 default:
159 llvm_unreachable("Invalid kind");
160 }
161}
Michael J. Spencer84487f12015-07-24 21:03:07 +0000162
163// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000164template <class ELFT> void Writer<ELFT>::run() {
Michael J. Spencer84487f12015-07-24 21:03:07 +0000165 createSections();
166 assignAddresses();
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000167 openFile(Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000168 writeHeader();
169 writeSections();
170 error(Buffer->commit());
171}
172
Rafael Espindolaa7471792015-08-13 17:04:50 +0000173namespace {
174template <bool Is64Bits> struct SectionKey {
175 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
176 StringRef Name;
Rui Ueyama0fb1ee02015-10-02 21:13:19 +0000177 uint32_t Type;
178 uintX_t Flags;
Rafael Espindolaa7471792015-08-13 17:04:50 +0000179};
180}
181namespace llvm {
182template <bool Is64Bits> struct DenseMapInfo<SectionKey<Is64Bits>> {
183 static SectionKey<Is64Bits> getEmptyKey() {
184 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0};
185 }
186 static SectionKey<Is64Bits> getTombstoneKey() {
187 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getTombstoneKey(), 0,
188 0};
189 }
190 static unsigned getHashValue(const SectionKey<Is64Bits> &Val) {
Rui Ueyama0fb1ee02015-10-02 21:13:19 +0000191 return hash_combine(Val.Name, Val.Type, Val.Flags);
Rafael Espindolaa7471792015-08-13 17:04:50 +0000192 }
193 static bool isEqual(const SectionKey<Is64Bits> &LHS,
194 const SectionKey<Is64Bits> &RHS) {
195 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
Rui Ueyama0fb1ee02015-10-02 21:13:19 +0000196 LHS.Type == RHS.Type && LHS.Flags == RHS.Flags;
Rafael Espindolaa7471792015-08-13 17:04:50 +0000197 }
198};
199}
200
Rafael Espindola19e38892015-09-16 15:54:15 +0000201// The reason we have to do this early scan is as follows
202// * To mmap the output file, we need to know the size
203// * For that, we need to know how many dynamic relocs we will have.
204// It might be possible to avoid this by outputting the file with write:
205// * Write the allocated output sections, computing addresses.
206// * Apply relocations, recording which ones require a dynamic reloc.
207// * Write the dynamic relocations.
208// * Write the rest of the file.
209template <class ELFT>
Rafael Espindola67a5da62015-09-17 14:02:10 +0000210template <bool isRela>
211void Writer<ELFT>::scanRelocs(
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000212 const InputSection<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +0000213 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels) {
214 typedef Elf_Rel_Impl<ELFT, isRela> RelType;
215 const ObjectFile<ELFT> &File = *C.getFile();
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000216 bool IsMips64EL = File.getObj().isMips64EL();
Rafael Espindola67a5da62015-09-17 14:02:10 +0000217 for (const RelType &RI : Rels) {
218 uint32_t SymIndex = RI.getSymbol(IsMips64EL);
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000219 SymbolBody *Body = File.getSymbolBody(SymIndex);
Rafael Espindolaeb792732015-09-21 15:11:29 +0000220 uint32_t Type = RI.getType(IsMips64EL);
Rafael Espindolaae244002015-10-05 19:30:12 +0000221 if (Body) {
222 if (Target->relocNeedsPlt(Type, *Body)) {
223 if (Body->isInPlt())
224 continue;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000225 Out<ELFT>::Plt->addEntry(Body);
Rafael Espindolaae244002015-10-05 19:30:12 +0000226 }
227 if (Target->relocNeedsGot(Type, *Body)) {
228 if (Body->isInGot())
229 continue;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000230 Out<ELFT>::Got->addEntry(Body);
Rafael Espindolaae244002015-10-05 19:30:12 +0000231 }
Rafael Espindolaeb792732015-09-21 15:11:29 +0000232 }
Rafael Espindolaa6627382015-10-06 23:56:53 +0000233 if (canBePreempted(Body)) {
234 Body->setUsedInDynamicReloc();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000235 Out<ELFT>::RelaDyn->addReloc({C, RI});
Rafael Espindolaa6627382015-10-06 23:56:53 +0000236 } else if (Config->Shared && !Target->isRelRelative(Type)) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000237 Out<ELFT>::RelaDyn->addReloc({C, RI});
Rafael Espindolaa6627382015-10-06 23:56:53 +0000238 }
Rafael Espindola67a5da62015-09-17 14:02:10 +0000239 }
240}
241
242template <class ELFT>
Rafael Espindola53d5cea2015-09-21 17:47:00 +0000243void Writer<ELFT>::scanRelocs(const InputSection<ELFT> &C) {
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000244 ObjectFile<ELFT> *File = C.getFile();
245 ELFFile<ELFT> &EObj = File->getObj();
Rafael Espindola19e38892015-09-16 15:54:15 +0000246
247 if (!(C.getSectionHdr()->sh_flags & SHF_ALLOC))
248 return;
249
250 for (const Elf_Shdr *RelSec : C.RelocSections) {
Rafael Espindola67a5da62015-09-17 14:02:10 +0000251 if (RelSec->sh_type == SHT_RELA)
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000252 scanRelocs(C, EObj.relas(RelSec));
Rafael Espindola67a5da62015-09-17 14:02:10 +0000253 else
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000254 scanRelocs(C, EObj.rels(RelSec));
Rafael Espindola19e38892015-09-16 15:54:15 +0000255 }
256}
257
Rafael Espindola6173f842015-09-23 14:37:01 +0000258template <class ELFT>
Rui Ueyama44f5d912015-10-01 14:46:54 +0000259static void reportUndefined(const SymbolTable &S, const SymbolBody &Sym) {
Rafael Espindola6173f842015-09-23 14:37:01 +0000260 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
261 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
262
George Rimar57e40de2015-10-01 20:14:45 +0000263 if (Config->Shared && !Config->NoUndefined)
George Rimaree058282015-10-01 17:24:24 +0000264 return;
265
Rafael Espindola6173f842015-09-23 14:37:01 +0000266 const Elf_Sym &SymE = cast<ELFSymbolBody<ELFT>>(Sym).Sym;
267 ELFFileBase *SymFile = nullptr;
268
269 for (const std::unique_ptr<ObjectFileBase> &F : S.getObjectFiles()) {
270 const auto &File = cast<ObjectFile<ELFT>>(*F);
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000271 Elf_Sym_Range Syms = File.getObj().symbols(File.getSymbolTable());
Rafael Espindola6173f842015-09-23 14:37:01 +0000272 if (&SymE > Syms.begin() && &SymE < Syms.end())
273 SymFile = F.get();
274 }
Rafael Espindola551dfd82015-09-25 19:24:57 +0000275
276 std::string Message = "undefined symbol: " + Sym.getName().str();
Rafael Espindola6173f842015-09-23 14:37:01 +0000277 if (SymFile)
Rafael Espindola551dfd82015-09-25 19:24:57 +0000278 Message += " in " + SymFile->getName().str();
279 if (Config->NoInhibitExec)
280 warning(Message);
Rafael Espindola6173f842015-09-23 14:37:01 +0000281 else
Rafael Espindola551dfd82015-09-25 19:24:57 +0000282 error(Message);
Rafael Espindola6173f842015-09-23 14:37:01 +0000283}
284
Michael J. Spencer84487f12015-07-24 21:03:07 +0000285// Create output section objects and add them to OutputSections.
286template <class ELFT> void Writer<ELFT>::createSections() {
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000287 SmallDenseMap<SectionKey<ELFT::Is64Bits>, OutputSection<ELFT> *> Map;
Rafael Espindolac2d21192015-09-23 18:25:05 +0000288
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000289 OutputSections.push_back(Out<ELFT>::Bss);
290 Map[{Out<ELFT>::Bss->getName(), Out<ELFT>::Bss->getType(),
291 Out<ELFT>::Bss->getFlags()}] = Out<ELFT>::Bss;
Rafael Espindolac2d21192015-09-23 18:25:05 +0000292
Rafael Espindolac05ad3d2015-10-07 02:51:44 +0000293 // Declare linker generated symbols.
294 // This must be done before the relocation scan to make sure we can correctly
295 // decide if a dynamic relocation is needed or not.
296 // FIXME: Make this more declarative.
297 for (StringRef Name :
298 {"__preinit_array_start", "__preinit_array_end", "__init_array_start",
299 "__init_array_end", "__fini_array_start", "__fini_array_end"})
300 Symtab.addIgnoredSym<ELFT>(Name);
301
302 // __tls_get_addr is defined by the dynamic linker for dynamic ELFs. For
303 // static linking the linker is required to optimize away any references to
304 // __tls_get_addr, so it's not defined anywhere. Create a hidden definition
305 // to avoid the undefined symbol error.
306 if (!isOutputDynamic())
307 Symtab.addIgnoredSym<ELFT>("__tls_get_addr");
308
Rafael Espindola19e38892015-09-16 15:54:15 +0000309 for (const std::unique_ptr<ObjectFileBase> &FileB : Symtab.getObjectFiles()) {
310 auto &File = cast<ObjectFile<ELFT>>(*FileB);
Davide Italiano6d328d32015-09-16 20:45:57 +0000311 if (!Config->DiscardAll) {
312 Elf_Sym_Range Syms = File.getLocalSymbols();
313 for (const Elf_Sym &Sym : Syms) {
Rafael Espindola6390d162015-10-08 20:43:19 +0000314 ErrorOr<StringRef> SymNameOrErr = Sym.getName(File.getStringTable());
315 error(SymNameOrErr);
316 StringRef SymName = *SymNameOrErr;
317 if (shouldKeepInSymtab<ELFT>(SymName, Sym))
318 Out<ELFT>::SymTab->addSymbol(SymName, true);
Davide Italiano6d328d32015-09-16 20:45:57 +0000319 }
320 }
Rafael Espindola71675852015-09-22 00:16:19 +0000321 for (InputSection<ELFT> *C : File.getSections()) {
Rafael Espindola19e38892015-09-16 15:54:15 +0000322 if (!C)
323 continue;
324 const Elf_Shdr *H = C->getSectionHdr();
Rafael Espindolad13d9602015-09-25 15:08:44 +0000325 SectionKey<ELFT::Is64Bits> Key{C->getSectionName(), H->sh_type,
326 H->sh_flags};
327 OutputSection<ELFT> *&Sec = Map[Key];
328 if (!Sec) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000329 Sec = new (CAlloc.Allocate())
330 OutputSection<ELFT>(Key.Name, Key.Type, Key.Flags);
Rafael Espindolad13d9602015-09-25 15:08:44 +0000331 OutputSections.push_back(Sec);
332 }
Rafael Espindola71675852015-09-22 00:16:19 +0000333 Sec->addSection(C);
Rafael Espindola19e38892015-09-16 15:54:15 +0000334 scanRelocs(*C);
335 }
336 }
337
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000338 Out<ELFT>::Dynamic->PreInitArraySec =
Rafael Espindola77572242015-10-02 19:37:55 +0000339 Map.lookup({".preinit_array", SHT_PREINIT_ARRAY, SHF_WRITE | SHF_ALLOC});
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000340 Out<ELFT>::Dynamic->InitArraySec =
Rafael Espindola77572242015-10-02 19:37:55 +0000341 Map.lookup({".init_array", SHT_INIT_ARRAY, SHF_WRITE | SHF_ALLOC});
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000342 Out<ELFT>::Dynamic->FiniArraySec =
Rafael Espindola77572242015-10-02 19:37:55 +0000343 Map.lookup({".fini_array", SHT_FINI_ARRAY, SHF_WRITE | SHF_ALLOC});
344
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000345 auto AddStartEnd = [&](StringRef Start, StringRef End,
346 OutputSection<ELFT> *OS) {
Michael J. Spencer95538ca2015-10-06 01:16:17 +0000347 if (OS) {
Michael J. Spencer6e78d162015-10-06 02:13:54 +0000348 Symtab.addSyntheticSym<ELFT>(Start, *OS, 0);
349 Symtab.addSyntheticSym<ELFT>(End, *OS, OS->getSize());
Michael J. Spencer95538ca2015-10-06 01:16:17 +0000350 }
351 };
352
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000353 AddStartEnd("__preinit_array_start", "__preinit_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000354 Out<ELFT>::Dynamic->PreInitArraySec);
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000355 AddStartEnd("__init_array_start", "__init_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000356 Out<ELFT>::Dynamic->InitArraySec);
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000357 AddStartEnd("__fini_array_start", "__fini_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000358 Out<ELFT>::Dynamic->FiniArraySec);
Rafael Espindola0e604f92015-09-25 18:56:53 +0000359
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000360 // FIXME: Try to avoid the extra walk over all global symbols.
361 std::vector<DefinedCommon<ELFT> *> CommonSymbols;
362 for (auto &P : Symtab.getSymbols()) {
363 StringRef Name = P.first;
364 SymbolBody *Body = P.second->Body;
Denis Protivensky22220d52015-10-05 09:43:57 +0000365 if (auto *U = dyn_cast<Undefined<ELFT>>(Body)) {
366 if (!U->isWeak() && !U->canKeepUndefined())
367 reportUndefined<ELFT>(Symtab, *Body);
368 }
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000369
370 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
371 CommonSymbols.push_back(C);
Rafael Espindola4f674ed2015-10-05 15:24:04 +0000372 if (!includeInSymtab<ELFT>(*Body))
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000373 continue;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000374 Out<ELFT>::SymTab->addSymbol(Name);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000375
376 if (needsDynamicSections() && includeInDynamicSymtab(*Body))
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000377 Out<ELFT>::HashTab->addSymbol(Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000378 }
379
Rafael Espindolab56cb942015-09-01 00:16:38 +0000380 // Sort the common symbols by alignment as an heuristic to pack them better.
Rui Ueyama3f4ec662015-09-25 03:48:25 +0000381 std::stable_sort(
382 CommonSymbols.begin(), CommonSymbols.end(),
383 [](const DefinedCommon<ELFT> *A, const DefinedCommon<ELFT> *B) {
384 return A->MaxAlignment > B->MaxAlignment;
385 });
386
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000387 uintX_t Off = Out<ELFT>::Bss->getSize();
Rafael Espindolab56cb942015-09-01 00:16:38 +0000388 for (DefinedCommon<ELFT> *C : CommonSymbols) {
Rafael Espindola05185742015-08-31 22:07:18 +0000389 const Elf_Sym &Sym = C->Sym;
Rafael Espindolaf31f9612015-09-01 01:19:12 +0000390 uintX_t Align = C->MaxAlignment;
Rafael Espindola05185742015-08-31 22:07:18 +0000391 Off = RoundUpToAlignment(Off, Align);
Rafael Espindolace8c9c02015-08-31 22:55:21 +0000392 C->OffsetInBSS = Off;
Rafael Espindola05185742015-08-31 22:07:18 +0000393 Off += Sym.st_size;
394 }
Rafael Espindolab56cb942015-09-01 00:16:38 +0000395
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000396 Out<ELFT>::Bss->setSize(Off);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000397
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000398 OutputSections.push_back(Out<ELFT>::SymTab);
Rafael Espindolab01b5742015-09-08 18:08:57 +0000399
Rafael Espindola4340aad2015-09-11 22:42:45 +0000400 if (needsDynamicSections()) {
Rafael Espindola70107762015-09-11 18:49:42 +0000401 if (needsInterpSection())
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000402 OutputSections.push_back(Out<ELFT>::Interp);
403 OutputSections.push_back(Out<ELFT>::DynSymTab);
404 OutputSections.push_back(Out<ELFT>::HashTab);
405 OutputSections.push_back(Out<ELFT>::Dynamic);
406 OutputSections.push_back(Out<ELFT>::DynStrTab);
407 if (Out<ELFT>::RelaDyn->hasRelocs())
408 OutputSections.push_back(Out<ELFT>::RelaDyn);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000409 }
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000410 if (!Out<ELFT>::Got->empty())
411 OutputSections.push_back(Out<ELFT>::Got);
412 if (!Out<ELFT>::Plt->empty())
413 OutputSections.push_back(Out<ELFT>::Plt);
Rafael Espindola740fafe2015-09-08 19:43:27 +0000414
Rui Ueyama3f4ec662015-09-25 03:48:25 +0000415 std::stable_sort(
416 OutputSections.begin(), OutputSections.end(),
417 [](OutputSectionBase<ELFT::Is64Bits> *A,
418 OutputSectionBase<ELFT::Is64Bits> *B) {
Michael J. Spencer52bf0eb2015-10-01 21:15:02 +0000419 uintX_t AFlags = A->getFlags();
420 uintX_t BFlags = B->getFlags();
421
422 // Allocatable sections go first to reduce the total PT_LOAD size and
423 // so debug info doesn't change addresses in actual code.
424 bool AIsAlloc = AFlags & SHF_ALLOC;
425 bool BIsAlloc = BFlags & SHF_ALLOC;
426 if (AIsAlloc != BIsAlloc)
427 return AIsAlloc;
428
429 // We don't have any special requirements for the relative order of
430 // two non allocatable sections.
431 if (!AIsAlloc)
432 return false;
433
434 // We want the read only sections first so that they go in the PT_LOAD
435 // covering the program headers at the start of the file.
436 bool AIsWritable = AFlags & SHF_WRITE;
437 bool BIsWritable = BFlags & SHF_WRITE;
438 if (AIsWritable != BIsWritable)
439 return BIsWritable;
440
441 // For a corresponding reason, put non exec sections first (the program
442 // header PT_LOAD is not executable).
443 bool AIsExec = AFlags & SHF_EXECINSTR;
444 bool BIsExec = BFlags & SHF_EXECINSTR;
445 if (AIsExec != BIsExec)
446 return BIsExec;
447
448 // If we got here we know that both A and B and in the same PT_LOAD.
449 // The last requirement we have is to put nobits section last. The
450 // reason is that the only thing the dynamic linker will see about
451 // them is a p_memsz that is larger than p_filesz. Seeing that it
452 // zeros the end of the PT_LOAD, so that has to correspond to the
453 // nobits sections.
454 return A->getType() != SHT_NOBITS && B->getType() == SHT_NOBITS;
Rui Ueyama3f4ec662015-09-25 03:48:25 +0000455 });
456
Michael J. Spencer52bf0eb2015-10-01 21:15:02 +0000457 // Always put StrTabSec last so that no section names are added to it after
458 // it's finalized.
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000459 OutputSections.push_back(Out<ELFT>::StrTab);
Michael J. Spencer52bf0eb2015-10-01 21:15:02 +0000460
Rafael Espindolab01b5742015-09-08 18:08:57 +0000461 for (unsigned I = 0, N = OutputSections.size(); I < N; ++I)
462 OutputSections[I]->setSectionIndex(I + 1);
Michael J. Spencer52bf0eb2015-10-01 21:15:02 +0000463
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000464 // Fill the DynStrTab early.
465 Out<ELFT>::Dynamic->finalize();
Rafael Espindolaabad6182015-08-13 15:23:46 +0000466}
467
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000468template <class ELFT>
Rui Ueyama04dae552015-10-02 21:23:17 +0000469static bool needsPHDR(OutputSectionBase<ELFT::Is64Bits> *Sec) {
Michael J. Spencer2f008242015-09-17 19:58:07 +0000470 return Sec->getFlags() & SHF_ALLOC;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000471}
472
Michael J. Spencer84487f12015-07-24 21:03:07 +0000473// Visits all sections to assign incremental, non-overlapping RVAs and
474// file offsets.
475template <class ELFT> void Writer<ELFT>::assignAddresses() {
Michael J. Spencer2f008242015-09-17 19:58:07 +0000476 assert(!OutputSections.empty() && "No output sections to layout!");
Rafael Espindola4340aad2015-09-11 22:42:45 +0000477 uintX_t VA = getVAStart();
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000478 uintX_t FileOff = 0;
Rafael Espindola60252d82015-09-09 22:53:55 +0000479
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000480 FileOff += sizeof(Elf_Ehdr);
481 VA += sizeof(Elf_Ehdr);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000482
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000483 // Reserve space for PHDRs.
484 ProgramHeaderOff = FileOff;
Hal Finkele3c26262015-10-08 22:23:54 +0000485 FileOff = RoundUpToAlignment(FileOff, Target->getPageSize());
486 VA = RoundUpToAlignment(VA, Target->getPageSize());
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000487
Rafael Espindola70107762015-09-11 18:49:42 +0000488 if (needsInterpSection())
Michael J. Spencer2f008242015-09-17 19:58:07 +0000489 PHDRs.push_back(&InterpPHDR);
Rafael Espindola70107762015-09-11 18:49:42 +0000490
Michael J. Spencer2f008242015-09-17 19:58:07 +0000491 // Create a PHDR for the file header.
492 PHDRs.push_back(&FileHeaderPHDR);
493 FileHeaderPHDR.Header.p_vaddr = getVAStart();
494 FileHeaderPHDR.Header.p_paddr = getVAStart();
Hal Finkele3c26262015-10-08 22:23:54 +0000495 FileHeaderPHDR.Header.p_align = Target->getPageSize();
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000496
Rafael Espindolaebd21082015-08-13 22:14:37 +0000497 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000498 Out<ELFT>::StrTab->add(Sec->getName());
Rafael Espindolaebd21082015-08-13 22:14:37 +0000499 Sec->finalize();
500
Michael J. Spencer2f008242015-09-17 19:58:07 +0000501 if (Sec->getSize()) {
Rui Ueyama04dae552015-10-02 21:23:17 +0000502 uintX_t Flags = toPHDRFlags(Sec->getFlags());
Rui Ueyama5713b8d2015-10-02 22:17:07 +0000503 ProgramHeader<ELFT> *Last = PHDRs.back();
Rui Ueyama04dae552015-10-02 21:23:17 +0000504 if (Last->Header.p_flags != Flags || !needsPHDR<ELFT>(Sec)) {
Michael J. Spencer2f008242015-09-17 19:58:07 +0000505 // Flags changed. End current PHDR and potentially create a new one.
Rui Ueyama04dae552015-10-02 21:23:17 +0000506 if (!Last->Closed) {
507 Last->Header.p_filesz = FileOff - Last->Header.p_offset;
508 Last->Header.p_memsz = VA - Last->Header.p_vaddr;
509 Last->Closed = true;
Michael J. Spencer2f008242015-09-17 19:58:07 +0000510 }
511
Rui Ueyama04dae552015-10-02 21:23:17 +0000512 if (needsPHDR<ELFT>(Sec)) {
Hal Finkele3c26262015-10-08 22:23:54 +0000513 VA = RoundUpToAlignment(VA, Target->getPageSize());
514 FileOff = RoundUpToAlignment(FileOff, Target->getPageSize());
Rui Ueyama5713b8d2015-10-02 22:17:07 +0000515 PHDRs.push_back(new (PAlloc)
516 ProgramHeader<ELFT>(PT_LOAD, Flags, FileOff, VA));
Michael J. Spencer2f008242015-09-17 19:58:07 +0000517 }
518 }
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000519 }
520
Rafael Espindola2db634d2015-08-13 20:24:18 +0000521 uintX_t Align = Sec->getAlign();
522 uintX_t Size = Sec->getSize();
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000523 if (Sec->getFlags() & SHF_ALLOC) {
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000524 VA = RoundUpToAlignment(VA, Align);
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000525 Sec->setVA(VA);
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000526 VA += Size;
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000527 }
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000528 FileOff = RoundUpToAlignment(FileOff, Align);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000529 Sec->setFileOffset(FileOff);
Rafael Espindola058f3432015-08-31 20:23:57 +0000530 if (Sec->getType() != SHT_NOBITS)
Rafael Espindolabfcdfb32015-09-14 19:00:35 +0000531 FileOff += Size;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000532 }
Rafael Espindola6b83b902015-08-12 00:00:24 +0000533
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000534 // Add a PHDR for the dynamic table.
Rafael Espindola4340aad2015-09-11 22:42:45 +0000535 if (needsDynamicSections())
Michael J. Spencer2f008242015-09-17 19:58:07 +0000536 PHDRs.push_back(&DynamicPHDR);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000537
Rafael Espindola91009b32015-08-12 01:45:28 +0000538 FileOff += OffsetToAlignment(FileOff, ELFT::Is64Bits ? 8 : 4);
539
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000540 // Add space for section headers.
541 SectionHeaderOff = FileOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000542 FileOff += getNumSections() * sizeof(Elf_Shdr);
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000543 FileSize = FileOff;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000544}
545
546template <class ELFT> void Writer<ELFT>::writeHeader() {
547 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindola18608a02015-09-08 21:57:31 +0000548 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000549 EHdr->e_ident[EI_MAG0] = 0x7F;
550 EHdr->e_ident[EI_MAG1] = 0x45;
551 EHdr->e_ident[EI_MAG2] = 0x4C;
552 EHdr->e_ident[EI_MAG3] = 0x46;
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +0000553 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
554 EHdr->e_ident[EI_DATA] = ELFT::TargetEndianness == llvm::support::little
555 ? ELFDATA2LSB
556 : ELFDATA2MSB;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000557 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Davide Italianoaa7c5332015-09-25 01:59:13 +0000558
Davide Italianoaa7c5332015-09-25 01:59:13 +0000559 auto &FirstObj = cast<ObjectFile<ELFT>>(*Symtab.getFirstELF());
560 EHdr->e_ident[EI_OSABI] = FirstObj.getOSABI();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000561
Rafael Espindolae438e072015-09-08 22:55:28 +0000562 // FIXME: Generalize the segment construction similar to how we create
563 // output sections.
Rafael Espindolae438e072015-09-08 22:55:28 +0000564
Rafael Espindola4340aad2015-09-11 22:42:45 +0000565 EHdr->e_type = Config->Shared ? ET_DYN : ET_EXEC;
Rafael Espindolaf98d6d82015-09-03 20:03:54 +0000566 EHdr->e_machine = FirstObj.getEMachine();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000567 EHdr->e_version = EV_CURRENT;
Rafael Espindola4340aad2015-09-11 22:42:45 +0000568 SymbolBody *Entry = Symtab.getEntrySym();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000569 EHdr->e_entry = Entry ? getSymVA<ELFT>(cast<ELFSymbolBody<ELFT>>(*Entry)) : 0;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000570 EHdr->e_phoff = ProgramHeaderOff;
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000571 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000572 EHdr->e_ehsize = sizeof(Elf_Ehdr);
573 EHdr->e_phentsize = sizeof(Elf_Phdr);
Michael J. Spencer2f008242015-09-17 19:58:07 +0000574 EHdr->e_phnum = PHDRs.size();
Rafael Espindola18608a02015-09-08 21:57:31 +0000575 EHdr->e_shentsize = sizeof(Elf_Shdr);
Rafael Espindola5f553872015-09-08 17:39:39 +0000576 EHdr->e_shnum = getNumSections();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000577 EHdr->e_shstrndx = Out<ELFT>::StrTab->getSectionIndex();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000578
Michael J. Spencer2f008242015-09-17 19:58:07 +0000579 // If nothing was merged into the file header PT_LOAD, set the size correctly.
Hal Finkele3c26262015-10-08 22:23:54 +0000580 if (FileHeaderPHDR.Header.p_filesz == Target->getPageSize()) {
Rui Ueyama5713b8d2015-10-02 22:17:07 +0000581 uint64_t Size = sizeof(Elf_Ehdr) + sizeof(Elf_Phdr) * PHDRs.size();
582 FileHeaderPHDR.Header.p_filesz = Size;
583 FileHeaderPHDR.Header.p_memsz = Size;
584 }
Michael J. Spencer2f008242015-09-17 19:58:07 +0000585
586 if (needsInterpSection())
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000587 InterpPHDR.setValuesFromSection(Out<ELFT>::Interp);
Michael J. Spencer2f008242015-09-17 19:58:07 +0000588 if (needsDynamicSections())
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000589 DynamicPHDR.setValuesFromSection(Out<ELFT>::Dynamic);
Michael J. Spencer2f008242015-09-17 19:58:07 +0000590
Rafael Espindola18608a02015-09-08 21:57:31 +0000591 auto PHdrs = reinterpret_cast<Elf_Phdr *>(Buf + EHdr->e_phoff);
Rui Ueyama5713b8d2015-10-02 22:17:07 +0000592 for (ProgramHeader<ELFT> *PHDR : PHDRs)
593 *PHdrs++ = PHDR->Header;
Rafael Espindolae438e072015-09-08 22:55:28 +0000594
Rafael Espindola18608a02015-09-08 21:57:31 +0000595 auto SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000596 // First entry is null.
597 ++SHdrs;
Rafael Espindolaebd21082015-08-13 22:14:37 +0000598 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000599 Sec->setNameOffset(Out<ELFT>::StrTab->getFileOff(Sec->getName()));
Rafael Espindolaa175eb62015-08-13 18:37:23 +0000600 Sec->template writeHeaderTo<ELFT::TargetEndianness>(SHdrs++);
Rafael Espindola6b83b902015-08-12 00:00:24 +0000601 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000602}
603
604template <class ELFT> void Writer<ELFT>::openFile(StringRef Path) {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +0000605 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
606 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable);
607 error(BufferOrErr, Twine("failed to open ") + Path);
608 Buffer = std::move(*BufferOrErr);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000609}
610
611// Write section contents to a mmap'ed file.
612template <class ELFT> void Writer<ELFT>::writeSections() {
613 uint8_t *Buf = Buffer->getBufferStart();
Rafael Espindolaebd21082015-08-13 22:14:37 +0000614 for (OutputSectionBase<ELFT::Is64Bits> *Sec : OutputSections)
Rui Ueyama8050d322015-08-14 05:17:30 +0000615 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +0000616}