blob: b60fc7e52b1f1459571d6c81d41d06cdab603b92 [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
Hal Finkel3bae2d82015-10-12 20:51:48 +000016#include "llvm/ADT/StringSwitch.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000017#include "llvm/Support/FileOutputBuffer.h"
Rui Ueyamad9189ce2015-10-15 17:11:03 +000018#include "llvm/Support/StringSaver.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000019
20using namespace llvm;
21using namespace llvm::ELF;
22using namespace llvm::object;
23
24using namespace lld;
25using namespace lld::elf2;
26
Rui Ueyamaafff74e22015-08-05 23:24:46 +000027namespace {
28// The writer writes a SymbolTable result to a file.
29template <class ELFT> class Writer {
30public:
Rafael Espindola18608a02015-09-08 21:57:31 +000031 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
32 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
33 typedef typename ELFFile<ELFT>::Elf_Ehdr Elf_Ehdr;
34 typedef typename ELFFile<ELFT>::Elf_Phdr Elf_Phdr;
35 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Davide Italiano6d328d32015-09-16 20:45:57 +000036 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
Rafael Espindola19e38892015-09-16 15:54:15 +000037 typedef typename ELFFile<ELFT>::Elf_Rela Elf_Rela;
Rui Ueyama3ce825e2015-10-09 21:07:25 +000038 Writer(SymbolTable<ELFT> &S) : Symtab(S) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +000039 void run();
40
41private:
Rui Ueyama5a9640b2015-10-08 23:49:30 +000042 void copyLocalSymbols();
Rui Ueyamaafff74e22015-08-05 23:24:46 +000043 void createSections();
Rafael Espindola67a5da62015-09-17 14:02:10 +000044 template <bool isRela>
Rafael Espindola0c6a4f12015-11-11 19:54:14 +000045 void scanRelocs(InputSectionBase<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +000046 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels);
Rafael Espindolaa0fa8482015-11-11 15:29:50 +000047 void scanRelocs(InputSection<ELFT> &C);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +000048 void scanRelocs(InputSectionBase<ELFT> &S, const Elf_Shdr &RelSec);
Rui Ueyamaafff74e22015-08-05 23:24:46 +000049 void assignAddresses();
50 void openFile(StringRef OutputPath);
51 void writeHeader();
52 void writeSections();
Rafael Espindola70107762015-09-11 18:49:42 +000053 bool needsInterpSection() const {
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000054 return !Symtab.getSharedFiles().empty() && !Config->DynamicLinker.empty();
Rafael Espindola70107762015-09-11 18:49:42 +000055 }
Michael J. Spencerf32446f2015-10-06 20:39:09 +000056 bool isOutputDynamic() const {
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000057 return !Symtab.getSharedFiles().empty() || Config->Shared;
Rafael Espindola4340aad2015-09-11 22:42:45 +000058 }
Rui Ueyamabcb2d0f2015-10-23 22:44:37 +000059 uintX_t getEntryAddr() const;
Rui Ueyama803195e2015-10-23 21:45:59 +000060 int getPhdrsNum() const;
Rui Ueyamaafff74e22015-08-05 23:24:46 +000061
Rafael Espindola443f50a2015-11-03 21:35:14 +000062 OutputSection<ELFT> *getBSS();
63 void addCommonSymbols(std::vector<DefinedCommon<ELFT> *> &Syms);
64 void addSharedCopySymbols(std::vector<SharedSymbol<ELFT> *> &Syms);
65
Rui Ueyamaafff74e22015-08-05 23:24:46 +000066 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Michael J. Spencer2f008242015-09-17 19:58:07 +000067
Rafael Espindola37f0b7d2015-10-15 12:33:04 +000068 SpecificBumpPtrAllocator<OutputSection<ELFT>> SecAlloc;
Rafael Espindolac159c962015-10-19 21:00:02 +000069 SpecificBumpPtrAllocator<MergeOutputSection<ELFT>> MSecAlloc;
Rafael Espindola0c6a4f12015-11-11 19:54:14 +000070 SpecificBumpPtrAllocator<EHOutputSection<ELFT>> EHSecAlloc;
Rui Ueyamad9189ce2015-10-15 17:11:03 +000071 BumpPtrAllocator Alloc;
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000072 std::vector<OutputSectionBase<ELFT> *> OutputSections;
Rafael Espindola5f553872015-09-08 17:39:39 +000073 unsigned getNumSections() const { return OutputSections.size() + 1; }
Rui Ueyamaafff74e22015-08-05 23:24:46 +000074
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000075 void addStartStopSymbols(OutputSectionBase<ELFT> *Sec);
Rui Ueyama536c9992015-10-11 19:45:58 +000076 void setPhdr(Elf_Phdr *PH, uint32_t Type, uint32_t Flags, uintX_t FileOff,
Rui Ueyama803195e2015-10-23 21:45:59 +000077 uintX_t VA, uintX_t Size, uintX_t Align);
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000078 void copyPhdr(Elf_Phdr *PH, OutputSectionBase<ELFT> *From);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +000079
Rui Ueyama3ce825e2015-10-09 21:07:25 +000080 SymbolTable<ELFT> &Symtab;
Rui Ueyama953c2c42015-10-10 23:59:57 +000081 std::vector<Elf_Phdr> Phdrs;
Michael J. Spencer2f008242015-09-17 19:58:07 +000082
Rafael Espindola98f6bd02015-08-11 23:14:13 +000083 uintX_t FileSize;
Rui Ueyamaafff74e22015-08-05 23:24:46 +000084 uintX_t SectionHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +000085};
86} // anonymous namespace
87
Rui Ueyama3ce825e2015-10-09 21:07:25 +000088template <class ELFT> void lld::elf2::writeResult(SymbolTable<ELFT> *Symtab) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +000089 // Initialize output sections that are handled by Writer specially.
90 // Don't reorder because the order of initialization matters.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000091 InterpSection<ELFT> Interp;
Rui Ueyama15ef5e12015-10-07 19:18:16 +000092 Out<ELFT>::Interp = &Interp;
George Rimar0f5ac9f2015-10-20 17:21:35 +000093 StringTableSection<ELFT> ShStrTab(".shstrtab", false);
94 Out<ELFT>::ShStrTab = &ShStrTab;
95 StringTableSection<ELFT> StrTab(".strtab", false);
George Rimar5dad7c12015-10-24 08:52:46 +000096 if (!Config->StripAll)
97 Out<ELFT>::StrTab = &StrTab;
George Rimar0f5ac9f2015-10-20 17:21:35 +000098 StringTableSection<ELFT> DynStrTab(".dynstr", true);
Rui Ueyama15ef5e12015-10-07 19:18:16 +000099 Out<ELFT>::DynStrTab = &DynStrTab;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000100 GotSection<ELFT> Got;
101 Out<ELFT>::Got = &Got;
George Rimar648a2c32015-10-20 08:54:27 +0000102 GotPltSection<ELFT> GotPlt;
103 if (Target->supportsLazyRelocations())
104 Out<ELFT>::GotPlt = &GotPlt;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000105 PltSection<ELFT> Plt;
106 Out<ELFT>::Plt = &Plt;
George Rimar5dad7c12015-10-24 08:52:46 +0000107 std::unique_ptr<SymbolTableSection<ELFT>> SymTab;
108 if (!Config->StripAll) {
109 SymTab.reset(new SymbolTableSection<ELFT>(*Symtab, *Out<ELFT>::StrTab));
110 Out<ELFT>::SymTab = SymTab.get();
111 }
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000112 SymbolTableSection<ELFT> DynSymTab(*Symtab, *Out<ELFT>::DynStrTab);
113 Out<ELFT>::DynSymTab = &DynSymTab;
114 HashTableSection<ELFT> HashTab;
Igor Kudrin1b0d7062015-10-22 08:21:35 +0000115 if (Config->SysvHash)
116 Out<ELFT>::HashTab = &HashTab;
117 GnuHashTableSection<ELFT> GnuHashTab;
118 if (Config->GnuHash)
119 Out<ELFT>::GnuHashTab = &GnuHashTab;
George Rimar648a2c32015-10-20 08:54:27 +0000120 bool IsRela = Symtab->shouldUseRela();
121 RelocationSection<ELFT> RelaDyn(IsRela ? ".rela.dyn" : ".rel.dyn", IsRela);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000122 Out<ELFT>::RelaDyn = &RelaDyn;
George Rimar648a2c32015-10-20 08:54:27 +0000123 RelocationSection<ELFT> RelaPlt(IsRela ? ".rela.plt" : ".rel.plt", IsRela);
124 if (Target->supportsLazyRelocations())
125 Out<ELFT>::RelaPlt = &RelaPlt;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000126 DynamicSection<ELFT> Dynamic(*Symtab);
127 Out<ELFT>::Dynamic = &Dynamic;
128
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000129 Writer<ELFT>(*Symtab).run();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000130}
131
Michael J. Spencer84487f12015-07-24 21:03:07 +0000132// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000133template <class ELFT> void Writer<ELFT>::run() {
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000134 if (!Config->DiscardAll)
135 copyLocalSymbols();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000136 createSections();
137 assignAddresses();
Rui Ueyamacb8474ed2015-08-05 23:51:50 +0000138 openFile(Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000139 writeHeader();
140 writeSections();
141 error(Buffer->commit());
142}
143
Rafael Espindolaa7471792015-08-13 17:04:50 +0000144namespace {
145template <bool Is64Bits> struct SectionKey {
146 typedef typename std::conditional<Is64Bits, uint64_t, uint32_t>::type uintX_t;
147 StringRef Name;
Rui Ueyama0fb1ee02015-10-02 21:13:19 +0000148 uint32_t Type;
149 uintX_t Flags;
Rafael Espindolac159c962015-10-19 21:00:02 +0000150 uintX_t EntSize;
Rafael Espindolaa7471792015-08-13 17:04:50 +0000151};
152}
153namespace llvm {
154template <bool Is64Bits> struct DenseMapInfo<SectionKey<Is64Bits>> {
155 static SectionKey<Is64Bits> getEmptyKey() {
Rafael Espindolac159c962015-10-19 21:00:02 +0000156 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0,
157 0};
Rafael Espindolaa7471792015-08-13 17:04:50 +0000158 }
159 static SectionKey<Is64Bits> getTombstoneKey() {
160 return SectionKey<Is64Bits>{DenseMapInfo<StringRef>::getTombstoneKey(), 0,
Rafael Espindolac159c962015-10-19 21:00:02 +0000161 0, 0};
Rafael Espindolaa7471792015-08-13 17:04:50 +0000162 }
163 static unsigned getHashValue(const SectionKey<Is64Bits> &Val) {
Rafael Espindolac159c962015-10-19 21:00:02 +0000164 return hash_combine(Val.Name, Val.Type, Val.Flags, Val.EntSize);
Rafael Espindolaa7471792015-08-13 17:04:50 +0000165 }
166 static bool isEqual(const SectionKey<Is64Bits> &LHS,
167 const SectionKey<Is64Bits> &RHS) {
168 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
Rafael Espindolac159c962015-10-19 21:00:02 +0000169 LHS.Type == RHS.Type && LHS.Flags == RHS.Flags &&
170 LHS.EntSize == RHS.EntSize;
Rafael Espindolaa7471792015-08-13 17:04:50 +0000171 }
172};
173}
174
Rafael Espindola19e38892015-09-16 15:54:15 +0000175// The reason we have to do this early scan is as follows
176// * To mmap the output file, we need to know the size
177// * For that, we need to know how many dynamic relocs we will have.
178// It might be possible to avoid this by outputting the file with write:
179// * Write the allocated output sections, computing addresses.
180// * Apply relocations, recording which ones require a dynamic reloc.
181// * Write the dynamic relocations.
182// * Write the rest of the file.
183template <class ELFT>
Rafael Espindola67a5da62015-09-17 14:02:10 +0000184template <bool isRela>
185void Writer<ELFT>::scanRelocs(
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000186 InputSectionBase<ELFT> &C,
Rafael Espindola67a5da62015-09-17 14:02:10 +0000187 iterator_range<const Elf_Rel_Impl<ELFT, isRela> *> Rels) {
188 typedef Elf_Rel_Impl<ELFT, isRela> RelType;
189 const ObjectFile<ELFT> &File = *C.getFile();
Rafael Espindola67a5da62015-09-17 14:02:10 +0000190 for (const RelType &RI : Rels) {
Rui Ueyama64558522015-10-16 22:51:43 +0000191 uint32_t SymIndex = RI.getSymbol(Config->Mips64EL);
Rafael Espindola5c2310c2015-09-18 14:40:19 +0000192 SymbolBody *Body = File.getSymbolBody(SymIndex);
Rui Ueyama64558522015-10-16 22:51:43 +0000193 uint32_t Type = RI.getType(Config->Mips64EL);
Rui Ueyama35da9b62015-10-11 20:59:12 +0000194
Michael J. Spencer1e225612015-11-11 01:00:24 +0000195 if (Type == Target->getTlsLocalDynamicReloc()) {
196 if (Out<ELFT>::LocalModuleTlsIndexOffset == uint32_t(-1)) {
197 Out<ELFT>::LocalModuleTlsIndexOffset =
198 Out<ELFT>::Got->addLocalModuleTlsIndex();
199 Out<ELFT>::RelaDyn->addReloc({C, RI});
200 }
201 continue;
202 }
203
Rui Ueyama35da9b62015-10-11 20:59:12 +0000204 // Set "used" bit for --as-needed.
205 if (Body && Body->isUndefined() && !Body->isWeak())
206 if (auto *S = dyn_cast<SharedSymbol<ELFT>>(Body->repl()))
207 S->File->IsUsed = true;
208
209 if (Body)
210 Body = Body->repl();
Rafael Espindolacc6ebb82015-10-14 18:42:16 +0000211 bool NeedsGot = false;
George Rimar648a2c32015-10-20 08:54:27 +0000212 bool NeedsPlt = false;
Rafael Espindolaae244002015-10-05 19:30:12 +0000213 if (Body) {
George Rimarbc590fe2015-10-28 16:48:58 +0000214 if (auto *E = dyn_cast<SharedSymbol<ELFT>>(Body)) {
Rafael Espindola9b896082015-11-03 14:34:11 +0000215 if (E->needsCopy())
George Rimarbc590fe2015-10-28 16:48:58 +0000216 continue;
Rafael Espindola9b896082015-11-03 14:34:11 +0000217 if (Target->relocNeedsCopy(Type, *Body))
218 E->OffsetInBSS = 0;
George Rimarbc590fe2015-10-28 16:48:58 +0000219 }
George Rimar648a2c32015-10-20 08:54:27 +0000220 NeedsPlt = Target->relocNeedsPlt(Type, *Body);
221 if (NeedsPlt) {
Rafael Espindolaae244002015-10-05 19:30:12 +0000222 if (Body->isInPlt())
223 continue;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000224 Out<ELFT>::Plt->addEntry(Body);
Rui Ueyamac58656c2015-10-13 16:59:30 +0000225 }
Rafael Espindolacc6ebb82015-10-14 18:42:16 +0000226 NeedsGot = Target->relocNeedsGot(Type, *Body);
227 if (NeedsGot) {
George Rimar648a2c32015-10-20 08:54:27 +0000228 if (NeedsPlt && Target->supportsLazyRelocations()) {
229 Out<ELFT>::GotPlt->addEntry(Body);
230 } else {
231 if (Body->isInGot())
232 continue;
233 Out<ELFT>::Got->addEntry(Body);
234 }
Rafael Espindolaae244002015-10-05 19:30:12 +0000235 }
Rafael Espindolaeb792732015-09-21 15:11:29 +0000236 }
Rui Ueyama35da9b62015-10-11 20:59:12 +0000237
Igor Kudrin15cd9ff2015-11-06 07:43:03 +0000238 if (Config->EMachine == EM_MIPS && NeedsGot) {
239 // MIPS ABI has special rules to process GOT entries
240 // and doesn't require relocation entries for them.
241 // See "Global Offset Table" in Chapter 5 in the following document
242 // for detailed description:
243 // ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
244 Body->setUsedInDynamicReloc();
245 continue;
246 }
Rafael Espindolacc6ebb82015-10-14 18:42:16 +0000247 bool CBP = canBePreempted(Body, NeedsGot);
Rui Ueyama35da9b62015-10-11 20:59:12 +0000248 if (!CBP && (!Config->Shared || Target->isRelRelative(Type)))
249 continue;
250 if (CBP)
Rafael Espindolaa6627382015-10-06 23:56:53 +0000251 Body->setUsedInDynamicReloc();
George Rimar648a2c32015-10-20 08:54:27 +0000252 if (NeedsPlt && Target->supportsLazyRelocations())
253 Out<ELFT>::RelaPlt->addReloc({C, RI});
254 else
255 Out<ELFT>::RelaDyn->addReloc({C, RI});
Rafael Espindola67a5da62015-09-17 14:02:10 +0000256 }
257}
258
Rafael Espindolaa0fa8482015-11-11 15:29:50 +0000259template <class ELFT> void Writer<ELFT>::scanRelocs(InputSection<ELFT> &C) {
Rafael Espindola19e38892015-09-16 15:54:15 +0000260 if (!(C.getSectionHdr()->sh_flags & SHF_ALLOC))
261 return;
262
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000263 for (const Elf_Shdr *RelSec : C.RelocSections)
264 scanRelocs(C, *RelSec);
265}
266
267template <class ELFT>
268void Writer<ELFT>::scanRelocs(InputSectionBase<ELFT> &S,
269 const Elf_Shdr &RelSec) {
270 ELFFile<ELFT> &EObj = S.getFile()->getObj();
271 if (RelSec.sh_type == SHT_RELA)
272 scanRelocs(S, EObj.relas(&RelSec));
273 else
274 scanRelocs(S, EObj.rels(&RelSec));
Rafael Espindola19e38892015-09-16 15:54:15 +0000275}
276
Rafael Espindola6173f842015-09-23 14:37:01 +0000277template <class ELFT>
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000278static void reportUndefined(const SymbolTable<ELFT> &S, const SymbolBody &Sym) {
Rafael Espindola6173f842015-09-23 14:37:01 +0000279 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
280 typedef typename ELFFile<ELFT>::Elf_Sym_Range Elf_Sym_Range;
281
George Rimar57e40de2015-10-01 20:14:45 +0000282 if (Config->Shared && !Config->NoUndefined)
George Rimaree058282015-10-01 17:24:24 +0000283 return;
284
Rafael Espindola6173f842015-09-23 14:37:01 +0000285 const Elf_Sym &SymE = cast<ELFSymbolBody<ELFT>>(Sym).Sym;
Rafael Espindolaaf707642015-10-12 01:55:32 +0000286 ELFFileBase<ELFT> *SymFile = nullptr;
Rafael Espindola6173f842015-09-23 14:37:01 +0000287
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000288 for (const std::unique_ptr<ObjectFile<ELFT>> &File : S.getObjectFiles()) {
289 Elf_Sym_Range Syms = File->getObj().symbols(File->getSymbolTable());
Rafael Espindola6173f842015-09-23 14:37:01 +0000290 if (&SymE > Syms.begin() && &SymE < Syms.end())
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000291 SymFile = File.get();
Rafael Espindola6173f842015-09-23 14:37:01 +0000292 }
Rafael Espindola551dfd82015-09-25 19:24:57 +0000293
294 std::string Message = "undefined symbol: " + Sym.getName().str();
Rafael Espindola6173f842015-09-23 14:37:01 +0000295 if (SymFile)
Rafael Espindola551dfd82015-09-25 19:24:57 +0000296 Message += " in " + SymFile->getName().str();
297 if (Config->NoInhibitExec)
298 warning(Message);
Rafael Espindola6173f842015-09-23 14:37:01 +0000299 else
Rafael Espindola551dfd82015-09-25 19:24:57 +0000300 error(Message);
Rafael Espindola6173f842015-09-23 14:37:01 +0000301}
302
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000303// Local symbols are not in the linker's symbol table. This function scans
304// each object file's symbol table to copy local symbols to the output.
305template <class ELFT> void Writer<ELFT>::copyLocalSymbols() {
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000306 for (const std::unique_ptr<ObjectFile<ELFT>> &F : Symtab.getObjectFiles()) {
307 for (const Elf_Sym &Sym : F->getLocalSymbols()) {
308 ErrorOr<StringRef> SymNameOrErr = Sym.getName(F->getStringTable());
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000309 error(SymNameOrErr);
310 StringRef SymName = *SymNameOrErr;
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000311 if (!shouldKeepInSymtab<ELFT>(*F, SymName, Sym))
Rafael Espindola444576d2015-10-09 19:25:07 +0000312 continue;
George Rimar5dad7c12015-10-24 08:52:46 +0000313 if (Out<ELFT>::SymTab)
314 Out<ELFT>::SymTab->addLocalSymbol(SymName);
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000315 }
316 }
317}
318
Hal Finkel3bae2d82015-10-12 20:51:48 +0000319// PPC64 has a number of special SHT_PROGBITS+SHF_ALLOC+SHF_WRITE sections that
320// we would like to make sure appear is a specific order to maximize their
321// coverage by a single signed 16-bit offset from the TOC base pointer.
322// Conversely, the special .tocbss section should be first among all SHT_NOBITS
323// sections. This will put it next to the loaded special PPC64 sections (and,
324// thus, within reach of the TOC base pointer).
325static int getPPC64SectionRank(StringRef SectionName) {
326 return StringSwitch<int>(SectionName)
327 .Case(".tocbss", 0)
328 .Case(".branch_lt", 2)
329 .Case(".toc", 3)
330 .Case(".toc1", 4)
331 .Case(".opd", 5)
332 .Default(1);
333}
334
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000335// Output section ordering is determined by this function.
336template <class ELFT>
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000337static bool compareOutputSections(OutputSectionBase<ELFT> *A,
338 OutputSectionBase<ELFT> *B) {
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000339 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
340
341 uintX_t AFlags = A->getFlags();
342 uintX_t BFlags = B->getFlags();
343
344 // Allocatable sections go first to reduce the total PT_LOAD size and
345 // so debug info doesn't change addresses in actual code.
346 bool AIsAlloc = AFlags & SHF_ALLOC;
347 bool BIsAlloc = BFlags & SHF_ALLOC;
348 if (AIsAlloc != BIsAlloc)
349 return AIsAlloc;
350
351 // We don't have any special requirements for the relative order of
352 // two non allocatable sections.
353 if (!AIsAlloc)
354 return false;
355
356 // We want the read only sections first so that they go in the PT_LOAD
357 // covering the program headers at the start of the file.
358 bool AIsWritable = AFlags & SHF_WRITE;
359 bool BIsWritable = BFlags & SHF_WRITE;
360 if (AIsWritable != BIsWritable)
361 return BIsWritable;
362
363 // For a corresponding reason, put non exec sections first (the program
364 // header PT_LOAD is not executable).
365 bool AIsExec = AFlags & SHF_EXECINSTR;
366 bool BIsExec = BFlags & SHF_EXECINSTR;
367 if (AIsExec != BIsExec)
368 return BIsExec;
369
Hal Finkel0d7e83b2015-10-13 17:57:46 +0000370 // If we got here we know that both A and B are in the same PT_LOAD.
Michael J. Spencer1bf73002015-10-16 23:11:07 +0000371
372 // The TLS initialization block needs to be a single contiguous block in a R/W
373 // PT_LOAD, so stick TLS sections directly before R/W sections. The TLS NOBITS
374 // sections are placed here as they don't take up virtual address space in the
375 // PT_LOAD.
376 bool AIsTLS = AFlags & SHF_TLS;
377 bool BIsTLS = BFlags & SHF_TLS;
378 if (AIsTLS != BIsTLS)
379 return AIsTLS;
380
Hal Finkel08be6142015-10-13 18:55:01 +0000381 // The next requirement we have is to put nobits sections last. The
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000382 // reason is that the only thing the dynamic linker will see about
383 // them is a p_memsz that is larger than p_filesz. Seeing that it
384 // zeros the end of the PT_LOAD, so that has to correspond to the
385 // nobits sections.
Hal Finkel600ff142015-10-13 19:27:12 +0000386 bool AIsNoBits = A->getType() == SHT_NOBITS;
387 bool BIsNoBits = B->getType() == SHT_NOBITS;
388 if (AIsNoBits != BIsNoBits)
389 return BIsNoBits;
Hal Finkel3bae2d82015-10-12 20:51:48 +0000390
Hal Finkel9abc2a52015-10-13 19:07:29 +0000391 // Some architectures have additional ordering restrictions for sections
392 // within the same PT_LOAD.
393 if (Config->EMachine == EM_PPC64)
394 return getPPC64SectionRank(A->getName()) <
395 getPPC64SectionRank(B->getName());
396
397 return false;
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000398}
399
Rafael Espindola443f50a2015-11-03 21:35:14 +0000400template <class ELFT> OutputSection<ELFT> *Writer<ELFT>::getBSS() {
401 if (!Out<ELFT>::Bss) {
402 Out<ELFT>::Bss = new (SecAlloc.Allocate())
403 OutputSection<ELFT>(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
404 OutputSections.push_back(Out<ELFT>::Bss);
405 }
406 return Out<ELFT>::Bss;
407}
408
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000409// Until this function is called, common symbols do not belong to any section.
410// This function adds them to end of BSS section.
411template <class ELFT>
Rafael Espindola443f50a2015-11-03 21:35:14 +0000412void Writer<ELFT>::addCommonSymbols(std::vector<DefinedCommon<ELFT> *> &Syms) {
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000413 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
414 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
415
Rafael Espindola443f50a2015-11-03 21:35:14 +0000416 if (Syms.empty())
417 return;
418
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000419 // Sort the common symbols by alignment as an heuristic to pack them better.
420 std::stable_sort(
421 Syms.begin(), Syms.end(),
422 [](const DefinedCommon<ELFT> *A, const DefinedCommon<ELFT> *B) {
423 return A->MaxAlignment > B->MaxAlignment;
424 });
425
Rafael Espindola443f50a2015-11-03 21:35:14 +0000426 uintX_t Off = getBSS()->getSize();
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000427 for (DefinedCommon<ELFT> *C : Syms) {
428 const Elf_Sym &Sym = C->Sym;
429 uintX_t Align = C->MaxAlignment;
430 Off = RoundUpToAlignment(Off, Align);
431 C->OffsetInBSS = Off;
432 Off += Sym.st_size;
433 }
434
435 Out<ELFT>::Bss->setSize(Off);
436}
437
George Rimarbc590fe2015-10-28 16:48:58 +0000438template <class ELFT>
Rafael Espindola443f50a2015-11-03 21:35:14 +0000439void Writer<ELFT>::addSharedCopySymbols(
440 std::vector<SharedSymbol<ELFT> *> &Syms) {
George Rimarbc590fe2015-10-28 16:48:58 +0000441 typedef typename ELFFile<ELFT>::uintX_t uintX_t;
442 typedef typename ELFFile<ELFT>::Elf_Sym Elf_Sym;
Rafael Espindola115f0f32015-11-03 14:13:40 +0000443 typedef typename ELFFile<ELFT>::Elf_Shdr Elf_Shdr;
George Rimarbc590fe2015-10-28 16:48:58 +0000444
Rafael Espindola443f50a2015-11-03 21:35:14 +0000445 if (Syms.empty())
446 return;
447
448 uintX_t Off = getBSS()->getSize();
George Rimarbc590fe2015-10-28 16:48:58 +0000449 for (SharedSymbol<ELFT> *C : Syms) {
450 const Elf_Sym &Sym = C->Sym;
Rafael Espindola115f0f32015-11-03 14:13:40 +0000451 const Elf_Shdr *Sec = C->File->getSection(Sym);
452 uintX_t SecAlign = Sec->sh_addralign;
453 uintX_t Align = Sym.st_value % SecAlign;
454 if (Align == 0)
455 Align = SecAlign;
456 Out<ELFT>::Bss->updateAlign(Align);
457 Off = RoundUpToAlignment(Off, Align);
George Rimarbc590fe2015-10-28 16:48:58 +0000458 C->OffsetInBSS = Off;
459 Off += Sym.st_size;
460 }
461 Out<ELFT>::Bss->setSize(Off);
462}
463
Rui Ueyama4fcadaf2015-10-14 19:21:25 +0000464static StringRef getOutputName(StringRef S) {
465 if (S.startswith(".text."))
466 return ".text";
467 if (S.startswith(".rodata."))
468 return ".rodata";
469 if (S.startswith(".data."))
470 return ".data";
471 if (S.startswith(".bss."))
472 return ".bss";
473 return S;
474}
475
Michael J. Spencer84487f12015-07-24 21:03:07 +0000476// Create output section objects and add them to OutputSections.
477template <class ELFT> void Writer<ELFT>::createSections() {
Rui Ueyama69960ba2015-10-10 23:25:39 +0000478 // .interp needs to be on the first page in the output file.
479 if (needsInterpSection())
480 OutputSections.push_back(Out<ELFT>::Interp);
481
Rafael Espindolac159c962015-10-19 21:00:02 +0000482 SmallDenseMap<SectionKey<ELFT::Is64Bits>, OutputSectionBase<ELFT> *> Map;
Rafael Espindolac2d21192015-09-23 18:25:05 +0000483
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000484 std::vector<OutputSectionBase<ELFT> *> RegularSections;
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000485
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000486 for (const std::unique_ptr<ObjectFile<ELFT>> &F : Symtab.getObjectFiles()) {
Rafael Espindolac159c962015-10-19 21:00:02 +0000487 for (InputSectionBase<ELFT> *C : F->getSections()) {
Rui Ueyamac4aaed92015-10-22 18:49:53 +0000488 if (!C || !C->isLive() || C == &InputSection<ELFT>::Discarded)
Rafael Espindola19e38892015-09-16 15:54:15 +0000489 continue;
490 const Elf_Shdr *H = C->getSectionHdr();
Rafael Espindola444576d2015-10-09 19:25:07 +0000491 uintX_t OutFlags = H->sh_flags & ~SHF_GROUP;
Rafael Espindolac159c962015-10-19 21:00:02 +0000492 // For SHF_MERGE we create different output sections for each sh_entsize.
493 // This makes each output section simple and keeps a single level
494 // mapping from input to output.
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000495 typename InputSectionBase<ELFT>::Kind K = C->SectionKind;
496 uintX_t EntSize = K != InputSectionBase<ELFT>::Merge ? 0 : H->sh_entsize;
Rafael Espindolaa016b1e2015-11-11 17:33:22 +0000497 uint32_t OutType = H->sh_type;
498 if (OutType == SHT_PROGBITS && C->getSectionName() == ".eh_frame" &&
499 Config->EMachine == EM_X86_64)
500 OutType = SHT_X86_64_UNWIND;
Rui Ueyama4fcadaf2015-10-14 19:21:25 +0000501 SectionKey<ELFT::Is64Bits> Key{getOutputName(C->getSectionName()),
Rafael Espindolaa016b1e2015-11-11 17:33:22 +0000502 OutType, OutFlags, EntSize};
Rafael Espindolac159c962015-10-19 21:00:02 +0000503 OutputSectionBase<ELFT> *&Sec = Map[Key];
Rafael Espindolad13d9602015-09-25 15:08:44 +0000504 if (!Sec) {
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000505 switch (K) {
506 case InputSectionBase<ELFT>::Regular:
Rafael Espindolac159c962015-10-19 21:00:02 +0000507 Sec = new (SecAlloc.Allocate())
508 OutputSection<ELFT>(Key.Name, Key.Type, Key.Flags);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000509 break;
510 case InputSectionBase<ELFT>::EHFrame:
511 Sec = new (EHSecAlloc.Allocate())
512 EHOutputSection<ELFT>(Key.Name, Key.Type, Key.Flags);
513 break;
514 case InputSectionBase<ELFT>::Merge:
Rafael Espindolac159c962015-10-19 21:00:02 +0000515 Sec = new (MSecAlloc.Allocate())
516 MergeOutputSection<ELFT>(Key.Name, Key.Type, Key.Flags);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000517 break;
518 }
Rafael Espindolad13d9602015-09-25 15:08:44 +0000519 OutputSections.push_back(Sec);
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000520 RegularSections.push_back(Sec);
Rafael Espindolad13d9602015-09-25 15:08:44 +0000521 }
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000522 switch (K) {
523 case InputSectionBase<ELFT>::Regular:
524 static_cast<OutputSection<ELFT> *>(Sec)
525 ->addSection(cast<InputSection<ELFT>>(C));
526 break;
527 case InputSectionBase<ELFT>::EHFrame:
528 static_cast<EHOutputSection<ELFT> *>(Sec)
529 ->addSection(cast<EHInputSection<ELFT>>(C));
530 break;
531 case InputSectionBase<ELFT>::Merge:
Rafael Espindolac159c962015-10-19 21:00:02 +0000532 static_cast<MergeOutputSection<ELFT> *>(Sec)
533 ->addSection(cast<MergeInputSection<ELFT>>(C));
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000534 break;
535 }
Rafael Espindola19e38892015-09-16 15:54:15 +0000536 }
537 }
538
Rafael Espindola443f50a2015-11-03 21:35:14 +0000539 Out<ELFT>::Bss = static_cast<OutputSection<ELFT> *>(
540 Map[{".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE, 0}]);
541
Rafael Espindolac159c962015-10-19 21:00:02 +0000542 Out<ELFT>::Dynamic->PreInitArraySec = Map.lookup(
543 {".preinit_array", SHT_PREINIT_ARRAY, SHF_WRITE | SHF_ALLOC, 0});
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000544 Out<ELFT>::Dynamic->InitArraySec =
Rafael Espindolac159c962015-10-19 21:00:02 +0000545 Map.lookup({".init_array", SHT_INIT_ARRAY, SHF_WRITE | SHF_ALLOC, 0});
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000546 Out<ELFT>::Dynamic->FiniArraySec =
Rafael Espindolac159c962015-10-19 21:00:02 +0000547 Map.lookup({".fini_array", SHT_FINI_ARRAY, SHF_WRITE | SHF_ALLOC, 0});
Rafael Espindola77572242015-10-02 19:37:55 +0000548
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000549 auto AddStartEnd = [&](StringRef Start, StringRef End,
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000550 OutputSectionBase<ELFT> *OS) {
Michael J. Spencer95538ca2015-10-06 01:16:17 +0000551 if (OS) {
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000552 Symtab.addSyntheticSym(Start, *OS, 0);
553 Symtab.addSyntheticSym(End, *OS, OS->getSize());
Rafael Espindola334c3e12015-10-19 15:21:42 +0000554 } else {
555 Symtab.addIgnoredSym(Start);
556 Symtab.addIgnoredSym(End);
Michael J. Spencer95538ca2015-10-06 01:16:17 +0000557 }
558 };
559
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000560 AddStartEnd("__preinit_array_start", "__preinit_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000561 Out<ELFT>::Dynamic->PreInitArraySec);
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000562 AddStartEnd("__init_array_start", "__init_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000563 Out<ELFT>::Dynamic->InitArraySec);
Michael J. Spencerfcacad22015-10-06 19:57:05 +0000564 AddStartEnd("__fini_array_start", "__fini_array_end",
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000565 Out<ELFT>::Dynamic->FiniArraySec);
Rafael Espindola0e604f92015-09-25 18:56:53 +0000566
Rafael Espindola334c3e12015-10-19 15:21:42 +0000567 for (OutputSectionBase<ELFT> *Sec : RegularSections)
568 addStartStopSymbols(Sec);
569
570 // __tls_get_addr is defined by the dynamic linker for dynamic ELFs. For
571 // static linking the linker is required to optimize away any references to
572 // __tls_get_addr, so it's not defined anywhere. Create a hidden definition
573 // to avoid the undefined symbol error.
574 if (!isOutputDynamic())
575 Symtab.addIgnoredSym("__tls_get_addr");
576
577 // Scan relocations. This must be done after every symbol is declared so that
578 // we can correctly decide if a dynamic relocation is needed.
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000579 for (const std::unique_ptr<ObjectFile<ELFT>> &F : Symtab.getObjectFiles()) {
580 for (InputSectionBase<ELFT> *B : F->getSections()) {
581 if (auto *S = dyn_cast_or_null<InputSection<ELFT>>(B)) {
Rafael Espindolac240e362015-11-11 09:57:08 +0000582 if (S != &InputSection<ELFT>::Discarded && S->isLive())
Rafael Espindola7c84aec2015-11-11 17:40:08 +0000583 scanRelocs(*S);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000584 } else if (auto *S = dyn_cast_or_null<EHInputSection<ELFT>>(B)) {
585 if (S->RelocSection)
586 scanRelocs(*S, *S->RelocSection);
587 }
588 }
589 }
Rafael Espindola334c3e12015-10-19 15:21:42 +0000590
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000591 std::vector<DefinedCommon<ELFT> *> CommonSymbols;
George Rimarbc590fe2015-10-28 16:48:58 +0000592 std::vector<SharedSymbol<ELFT> *> SharedCopySymbols;
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000593 for (auto &P : Symtab.getSymbols()) {
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000594 SymbolBody *Body = P.second->Body;
Rui Ueyama96b19042015-10-15 20:55:20 +0000595 if (auto *U = dyn_cast<Undefined<ELFT>>(Body))
Denis Protivensky22220d52015-10-05 09:43:57 +0000596 if (!U->isWeak() && !U->canKeepUndefined())
597 reportUndefined<ELFT>(Symtab, *Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000598
599 if (auto *C = dyn_cast<DefinedCommon<ELFT>>(Body))
600 CommonSymbols.push_back(C);
George Rimarbc590fe2015-10-28 16:48:58 +0000601 if (auto *SC = dyn_cast<SharedSymbol<ELFT>>(Body))
Rafael Espindola9b896082015-11-03 14:34:11 +0000602 if (SC->needsCopy())
George Rimarbc590fe2015-10-28 16:48:58 +0000603 SharedCopySymbols.push_back(SC);
604
Rafael Espindola4f674ed2015-10-05 15:24:04 +0000605 if (!includeInSymtab<ELFT>(*Body))
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000606 continue;
George Rimar5dad7c12015-10-24 08:52:46 +0000607 if (Out<ELFT>::SymTab)
608 Out<ELFT>::SymTab->addSymbol(Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000609
Michael J. Spencer350e5b52015-10-12 23:39:23 +0000610 if (isOutputDynamic() && includeInDynamicSymtab(*Body))
Igor Kudrinab665fc2015-10-20 21:47:58 +0000611 Out<ELFT>::DynSymTab->addSymbol(Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000612 }
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000613 addCommonSymbols(CommonSymbols);
George Rimarbc590fe2015-10-28 16:48:58 +0000614 addSharedCopySymbols(SharedCopySymbols);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000615
Rui Ueyamac6ef3f22015-10-15 21:50:30 +0000616 // This order is not the same as the final output order
617 // because we sort the sections using their attributes below.
George Rimar5dad7c12015-10-24 08:52:46 +0000618 if (Out<ELFT>::SymTab)
619 OutputSections.push_back(Out<ELFT>::SymTab);
George Rimar0f5ac9f2015-10-20 17:21:35 +0000620 OutputSections.push_back(Out<ELFT>::ShStrTab);
George Rimar5dad7c12015-10-24 08:52:46 +0000621 if (Out<ELFT>::StrTab)
622 OutputSections.push_back(Out<ELFT>::StrTab);
Michael J. Spencer350e5b52015-10-12 23:39:23 +0000623 if (isOutputDynamic()) {
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000624 OutputSections.push_back(Out<ELFT>::DynSymTab);
Igor Kudrin1b0d7062015-10-22 08:21:35 +0000625 if (Out<ELFT>::GnuHashTab)
626 OutputSections.push_back(Out<ELFT>::GnuHashTab);
627 if (Out<ELFT>::HashTab)
628 OutputSections.push_back(Out<ELFT>::HashTab);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000629 OutputSections.push_back(Out<ELFT>::Dynamic);
630 OutputSections.push_back(Out<ELFT>::DynStrTab);
631 if (Out<ELFT>::RelaDyn->hasRelocs())
632 OutputSections.push_back(Out<ELFT>::RelaDyn);
George Rimar648a2c32015-10-20 08:54:27 +0000633 if (Out<ELFT>::RelaPlt && Out<ELFT>::RelaPlt->hasRelocs())
634 OutputSections.push_back(Out<ELFT>::RelaPlt);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000635 }
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000636 if (!Out<ELFT>::Got->empty())
637 OutputSections.push_back(Out<ELFT>::Got);
George Rimar648a2c32015-10-20 08:54:27 +0000638 if (Out<ELFT>::GotPlt && !Out<ELFT>::GotPlt->empty())
639 OutputSections.push_back(Out<ELFT>::GotPlt);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000640 if (!Out<ELFT>::Plt->empty())
641 OutputSections.push_back(Out<ELFT>::Plt);
Rafael Espindola740fafe2015-09-08 19:43:27 +0000642
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000643 std::stable_sort(OutputSections.begin(), OutputSections.end(),
644 compareOutputSections<ELFT>);
Rui Ueyama3f4ec662015-09-25 03:48:25 +0000645
Rafael Espindolab01b5742015-09-08 18:08:57 +0000646 for (unsigned I = 0, N = OutputSections.size(); I < N; ++I)
Rui Ueyama2317d0d2015-10-15 20:55:22 +0000647 OutputSections[I]->SectionIndex = I + 1;
Michael J. Spencer52bf0eb2015-10-01 21:15:02 +0000648
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000649 for (OutputSectionBase<ELFT> *Sec : OutputSections)
George Rimar0f5ac9f2015-10-20 17:21:35 +0000650 Out<ELFT>::ShStrTab->add(Sec->getName());
Rui Ueyamac6ef3f22015-10-15 21:50:30 +0000651
Igor Kudrin2169b1b2015-11-02 10:46:14 +0000652 // Finalizers fix each section's size.
653 // .dynamic section's finalizer may add strings to .dynstr,
654 // so finalize that early.
655 // Likewise, .dynsym is finalized early since that may fill up .gnu.hash.
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000656 Out<ELFT>::Dynamic->finalize();
Igor Kudrin2169b1b2015-11-02 10:46:14 +0000657 if (isOutputDynamic())
658 Out<ELFT>::DynSymTab->finalize();
Rui Ueyamaaf311c12015-10-09 16:03:53 +0000659
Rui Ueyamac6ef3f22015-10-15 21:50:30 +0000660 // Fill other section headers.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000661 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Rui Ueyamaaf311c12015-10-09 16:03:53 +0000662 Sec->finalize();
Hal Finkeldaedc122015-10-12 23:16:53 +0000663
664 // If we have a .opd section (used under PPC64 for function descriptors),
665 // store a pointer to it here so that we can use it later when processing
666 // relocations.
Rafael Espindolac159c962015-10-19 21:00:02 +0000667 Out<ELFT>::Opd = Map.lookup({".opd", SHT_PROGBITS, SHF_WRITE | SHF_ALLOC, 0});
Rafael Espindolaabad6182015-08-13 15:23:46 +0000668}
669
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000670static bool isAlpha(char C) {
671 return ('a' <= C && C <= 'z') || ('A' <= C && C <= 'Z') || C == '_';
672}
673
674static bool isAlnum(char C) { return isAlpha(C) || ('0' <= C && C <= '9'); }
675
676// Returns true if S is valid as a C language identifier.
677static bool isValidCIdentifier(StringRef S) {
678 if (S.empty() || !isAlpha(S[0]))
679 return false;
680 return std::all_of(S.begin() + 1, S.end(), isAlnum);
681}
682
683// If a section name is valid as a C identifier (which is rare because of
684// the leading '.'), linkers are expected to define __start_<secname> and
685// __stop_<secname> symbols. They are at beginning and end of the section,
686// respectively. This is not requested by the ELF standard, but GNU ld and
687// gold provide the feature, and used by many programs.
688template <class ELFT>
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000689void Writer<ELFT>::addStartStopSymbols(OutputSectionBase<ELFT> *Sec) {
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000690 StringRef S = Sec->getName();
691 if (!isValidCIdentifier(S))
692 return;
693 StringSaver Saver(Alloc);
694 StringRef Start = Saver.save("__start_" + S);
695 StringRef Stop = Saver.save("__stop_" + S);
696 if (Symtab.isUndefined(Start))
697 Symtab.addSyntheticSym(Start, *Sec, 0);
698 if (Symtab.isUndefined(Stop))
699 Symtab.addSyntheticSym(Stop, *Sec, Sec->getSize());
700}
701
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000702template <class ELFT> static bool needsPhdr(OutputSectionBase<ELFT> *Sec) {
Michael J. Spencer2f008242015-09-17 19:58:07 +0000703 return Sec->getFlags() & SHF_ALLOC;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000704}
705
Rui Ueyama9eb7ed02015-10-24 18:22:59 +0000706static uint32_t toPhdrFlags(uint64_t Flags) {
707 uint32_t Ret = PF_R;
708 if (Flags & SHF_WRITE)
709 Ret |= PF_W;
710 if (Flags & SHF_EXECINSTR)
711 Ret |= PF_X;
712 return Ret;
713}
714
Rui Ueyama803195e2015-10-23 21:45:59 +0000715// Visits all sections to create PHDRs and to assign incremental,
716// non-overlapping addresses to output sections.
Michael J. Spencer84487f12015-07-24 21:03:07 +0000717template <class ELFT> void Writer<ELFT>::assignAddresses() {
Igor Kudrinf6f45472015-11-10 08:39:27 +0000718 uintX_t VA = Target->getVAStart() + sizeof(Elf_Ehdr);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000719 uintX_t FileOff = sizeof(Elf_Ehdr);
Rafael Espindola60252d82015-09-09 22:53:55 +0000720
Rui Ueyama803195e2015-10-23 21:45:59 +0000721 // Calculate and reserve the space for the program header first so that
722 // the first section can start right after the program header.
723 Phdrs.resize(getPhdrsNum());
724 size_t PhdrSize = sizeof(Elf_Phdr) * Phdrs.size();
Rui Ueyama3486fe52015-10-11 17:44:22 +0000725
Rui Ueyama803195e2015-10-23 21:45:59 +0000726 // The first phdr entry is PT_PHDR which describes the program header itself.
727 setPhdr(&Phdrs[0], PT_PHDR, PF_R, FileOff, VA, PhdrSize, /*Align=*/8);
728 FileOff += PhdrSize;
729 VA += PhdrSize;
Rui Ueyama953c2c42015-10-10 23:59:57 +0000730
Rui Ueyama803195e2015-10-23 21:45:59 +0000731 // PT_INTERP must be the second entry if exists.
732 int PhdrIdx = 0;
Rui Ueyama953c2c42015-10-10 23:59:57 +0000733 Elf_Phdr *Interp = nullptr;
Rui Ueyama803195e2015-10-23 21:45:59 +0000734 if (needsInterpSection())
735 Interp = &Phdrs[++PhdrIdx];
Rafael Espindola70107762015-09-11 18:49:42 +0000736
Rui Ueyama803195e2015-10-23 21:45:59 +0000737 // Add the first PT_LOAD segment for regular output sections.
Igor Kudrinf6f45472015-11-10 08:39:27 +0000738 setPhdr(&Phdrs[++PhdrIdx], PT_LOAD, PF_R, 0, Target->getVAStart(), FileOff,
Rui Ueyama803195e2015-10-23 21:45:59 +0000739 Target->getPageSize());
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000740
Michael J. Spencer2c6f2132015-11-03 22:43:11 +0000741 Elf_Phdr TlsPhdr{};
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000742 uintX_t ThreadBSSOffset = 0;
Rui Ueyama803195e2015-10-23 21:45:59 +0000743 // Create phdrs as we assign VAs and file offsets to all output sections.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000744 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000745 if (needsPhdr<ELFT>(Sec)) {
746 uintX_t Flags = toPhdrFlags(Sec->getFlags());
747 if (Phdrs[PhdrIdx].p_flags != Flags) {
748 // Flags changed. Create a new PT_LOAD.
Rafael Espindola61362ce2015-11-03 22:08:08 +0000749 VA = RoundUpToAlignment(VA, Target->getPageSize());
750 FileOff = RoundUpToAlignment(FileOff, Target->getPageSize());
751 Elf_Phdr *PH = &Phdrs[++PhdrIdx];
752 setPhdr(PH, PT_LOAD, Flags, FileOff, VA, 0, Target->getPageSize());
Michael J. Spencer2f008242015-09-17 19:58:07 +0000753 }
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000754
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000755 if (Sec->getFlags() & SHF_TLS) {
Rafael Espindolaea7a1e902015-11-06 22:14:44 +0000756 if (!TlsPhdr.p_vaddr)
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000757 setPhdr(&TlsPhdr, PT_TLS, PF_R, FileOff, VA, 0, Sec->getAlign());
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000758 if (Sec->getType() != SHT_NOBITS)
759 VA = RoundUpToAlignment(VA, Sec->getAlign());
760 uintX_t TVA = RoundUpToAlignment(VA + ThreadBSSOffset, Sec->getAlign());
761 Sec->setVA(TVA);
762 TlsPhdr.p_memsz += Sec->getSize();
763 if (Sec->getType() == SHT_NOBITS) {
764 ThreadBSSOffset = TVA - VA + Sec->getSize();
765 } else {
766 TlsPhdr.p_filesz += Sec->getSize();
767 VA += Sec->getSize();
768 }
769 TlsPhdr.p_align = std::max<uintX_t>(TlsPhdr.p_align, Sec->getAlign());
Rafael Espindola9eb3e572015-11-03 15:46:15 +0000770 } else {
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000771 VA = RoundUpToAlignment(VA, Sec->getAlign());
772 Sec->setVA(VA);
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000773 VA += Sec->getSize();
774 }
Rafael Espindolaef1ac012015-08-13 15:31:17 +0000775 }
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000776
Rui Ueyama803195e2015-10-23 21:45:59 +0000777 FileOff = RoundUpToAlignment(FileOff, Sec->getAlign());
Michael J. Spencer84487f12015-07-24 21:03:07 +0000778 Sec->setFileOffset(FileOff);
Rafael Espindola058f3432015-08-31 20:23:57 +0000779 if (Sec->getType() != SHT_NOBITS)
Rui Ueyama803195e2015-10-23 21:45:59 +0000780 FileOff += Sec->getSize();
Rafael Espindola5fbe0082015-11-03 23:19:42 +0000781 if (needsPhdr<ELFT>(Sec)) {
782 Elf_Phdr *Cur = &Phdrs[PhdrIdx];
783 Cur->p_filesz = FileOff - Cur->p_offset;
784 Cur->p_memsz = VA - Cur->p_vaddr;
785 }
Michael J. Spencer84487f12015-07-24 21:03:07 +0000786 }
Rafael Espindola6b83b902015-08-12 00:00:24 +0000787
Michael J. Spencer6c34eff2015-11-05 02:00:35 +0000788 if (TlsPhdr.p_vaddr) {
Rafael Espindolaea7a1e902015-11-06 22:14:44 +0000789 // The TLS pointer goes after PT_TLS. At least glibc will align it,
790 // so round up the size to make sure the offsets are correct.
791 TlsPhdr.p_memsz = RoundUpToAlignment(TlsPhdr.p_memsz, TlsPhdr.p_align);
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000792 Phdrs[++PhdrIdx] = TlsPhdr;
Rafael Espindolaea7a1e902015-11-06 22:14:44 +0000793 Out<ELFT>::TlsPhdr = &Phdrs[PhdrIdx];
Michael J. Spencer6c34eff2015-11-05 02:00:35 +0000794 }
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000795
Rui Ueyama803195e2015-10-23 21:45:59 +0000796 // Add an entry for .dynamic.
Michael J. Spencer350e5b52015-10-12 23:39:23 +0000797 if (isOutputDynamic()) {
Rui Ueyama803195e2015-10-23 21:45:59 +0000798 Elf_Phdr *PH = &Phdrs[++PhdrIdx];
Rui Ueyama953c2c42015-10-10 23:59:57 +0000799 PH->p_type = PT_DYNAMIC;
Rui Ueyama536c9992015-10-11 19:45:58 +0000800 copyPhdr(PH, Out<ELFT>::Dynamic);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000801 }
Rafael Espindola91009b32015-08-12 01:45:28 +0000802
Rui Ueyama803195e2015-10-23 21:45:59 +0000803 // Fix up PT_INTERP as we now know the address of .interp section.
804 if (Interp) {
805 Interp->p_type = PT_INTERP;
806 copyPhdr(Interp, Out<ELFT>::Interp);
Rui Ueyama69960ba2015-10-10 23:25:39 +0000807 }
808
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000809 // Add space for section headers.
Rui Ueyama803195e2015-10-23 21:45:59 +0000810 SectionHeaderOff = RoundUpToAlignment(FileOff, ELFT::Is64Bits ? 8 : 4);
811 FileSize = SectionHeaderOff + getNumSections() * sizeof(Elf_Shdr);
Igor Kudrin15cd9ff2015-11-06 07:43:03 +0000812
813 // Update MIPS _gp absolute symbol so that it points to the static data.
814 if (Config->EMachine == EM_MIPS)
815 DefinedAbsolute<ELFT>::MipsGp.st_value = getMipsGpAddr<ELFT>();
Rui Ueyama803195e2015-10-23 21:45:59 +0000816}
817
818// Returns the number of PHDR entries.
819template <class ELFT> int Writer<ELFT>::getPhdrsNum() const {
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000820 bool Tls = false;
Rui Ueyama803195e2015-10-23 21:45:59 +0000821 int I = 2; // 2 for PT_PHDR and the first PT_LOAD
822 if (needsInterpSection())
823 ++I;
824 if (isOutputDynamic())
825 ++I;
826 uintX_t Last = PF_R;
827 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
Rafael Espindola61362ce2015-11-03 22:08:08 +0000828 if (!needsPhdr<ELFT>(Sec))
Rui Ueyama803195e2015-10-23 21:45:59 +0000829 continue;
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000830 if (Sec->getFlags() & SHF_TLS)
831 Tls = true;
Rui Ueyama803195e2015-10-23 21:45:59 +0000832 uintX_t Flags = toPhdrFlags(Sec->getFlags());
833 if (Last != Flags) {
834 Last = Flags;
835 ++I;
836 }
837 }
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000838 if (Tls)
839 ++I;
Rui Ueyama803195e2015-10-23 21:45:59 +0000840 return I;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000841}
842
843template <class ELFT> void Writer<ELFT>::writeHeader() {
844 uint8_t *Buf = Buffer->getBufferStart();
Rui Ueyamae08cd672015-10-23 22:44:39 +0000845 memcpy(Buf, "\177ELF", 4);
846
Rui Ueyama6621d8e2015-10-24 17:57:40 +0000847 // Write the ELF header.
Rafael Espindola18608a02015-09-08 21:57:31 +0000848 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +0000849 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
850 EHdr->e_ident[EI_DATA] = ELFT::TargetEndianness == llvm::support::little
851 ? ELFDATA2LSB
852 : ELFDATA2MSB;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000853 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Davide Italianoaa7c5332015-09-25 01:59:13 +0000854
Rafael Espindolab9ca7bb2015-10-12 11:52:31 +0000855 auto &FirstObj = cast<ELFFileBase<ELFT>>(*Config->FirstElf);
Davide Italianoaa7c5332015-09-25 01:59:13 +0000856 EHdr->e_ident[EI_OSABI] = FirstObj.getOSABI();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000857
Rafael Espindola4340aad2015-09-11 22:42:45 +0000858 EHdr->e_type = Config->Shared ? ET_DYN : ET_EXEC;
Rafael Espindolaf98d6d82015-09-03 20:03:54 +0000859 EHdr->e_machine = FirstObj.getEMachine();
Michael J. Spencer84487f12015-07-24 21:03:07 +0000860 EHdr->e_version = EV_CURRENT;
Rui Ueyamabcb2d0f2015-10-23 22:44:37 +0000861 EHdr->e_entry = getEntryAddr();
Rui Ueyama5bfd7d42015-10-10 22:36:36 +0000862 EHdr->e_phoff = sizeof(Elf_Ehdr);
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000863 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +0000864 EHdr->e_ehsize = sizeof(Elf_Ehdr);
865 EHdr->e_phentsize = sizeof(Elf_Phdr);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000866 EHdr->e_phnum = Phdrs.size();
Rafael Espindola18608a02015-09-08 21:57:31 +0000867 EHdr->e_shentsize = sizeof(Elf_Shdr);
Rafael Espindola5f553872015-09-08 17:39:39 +0000868 EHdr->e_shnum = getNumSections();
George Rimar0f5ac9f2015-10-20 17:21:35 +0000869 EHdr->e_shstrndx = Out<ELFT>::ShStrTab->SectionIndex;
Rui Ueyama6621d8e2015-10-24 17:57:40 +0000870
871 // Write the program header table.
Rui Ueyamabdca0b12015-10-11 00:10:36 +0000872 memcpy(Buf + EHdr->e_phoff, &Phdrs[0], Phdrs.size() * sizeof(Phdrs[0]));
Rafael Espindolae438e072015-09-08 22:55:28 +0000873
Rui Ueyama6621d8e2015-10-24 17:57:40 +0000874 // Write the section header table. Note that the first table entry is null.
Rafael Espindola18608a02015-09-08 21:57:31 +0000875 auto SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
Rui Ueyama157c4332015-10-24 17:57:39 +0000876 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Rui Ueyama6621d8e2015-10-24 17:57:40 +0000877 Sec->writeHeaderTo(++SHdrs);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000878}
879
880template <class ELFT> void Writer<ELFT>::openFile(StringRef Path) {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +0000881 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
882 FileOutputBuffer::create(Path, FileSize, FileOutputBuffer::F_executable);
883 error(BufferOrErr, Twine("failed to open ") + Path);
884 Buffer = std::move(*BufferOrErr);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000885}
886
887// Write section contents to a mmap'ed file.
888template <class ELFT> void Writer<ELFT>::writeSections() {
889 uint8_t *Buf = Buffer->getBufferStart();
Hal Finkeldaedc122015-10-12 23:16:53 +0000890
891 // PPC64 needs to process relocations in the .opd section before processing
892 // relocations in code-containing sections.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000893 if (OutputSectionBase<ELFT> *Sec = Out<ELFT>::Opd) {
Rafael Espindola7a513052015-10-13 14:45:51 +0000894 Out<ELFT>::OpdBuf = Buf + Sec->getFileOff();
895 Sec->writeTo(Buf + Sec->getFileOff());
896 }
Hal Finkeldaedc122015-10-12 23:16:53 +0000897
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000898 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Rafael Espindola7a513052015-10-13 14:45:51 +0000899 if (Sec != Out<ELFT>::Opd)
Hal Finkeldaedc122015-10-12 23:16:53 +0000900 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +0000901}
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000902
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000903template <class ELFT>
Rui Ueyamabcb2d0f2015-10-23 22:44:37 +0000904typename ELFFile<ELFT>::uintX_t Writer<ELFT>::getEntryAddr() const {
905 if (Config->EntrySym) {
906 if (auto *E = dyn_cast<ELFSymbolBody<ELFT>>(Config->EntrySym->repl()))
907 return getSymVA<ELFT>(*E);
908 return 0;
909 }
910 if (Config->EntryAddr != uint64_t(-1))
911 return Config->EntryAddr;
912 return 0;
913}
914
915template <class ELFT>
Rui Ueyama536c9992015-10-11 19:45:58 +0000916void Writer<ELFT>::setPhdr(Elf_Phdr *PH, uint32_t Type, uint32_t Flags,
Rui Ueyama803195e2015-10-23 21:45:59 +0000917 uintX_t FileOff, uintX_t VA, uintX_t Size,
918 uintX_t Align) {
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000919 PH->p_type = Type;
920 PH->p_flags = Flags;
921 PH->p_offset = FileOff;
922 PH->p_vaddr = VA;
923 PH->p_paddr = VA;
Rui Ueyama803195e2015-10-23 21:45:59 +0000924 PH->p_filesz = Size;
925 PH->p_memsz = Size;
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000926 PH->p_align = Align;
927}
928
929template <class ELFT>
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000930void Writer<ELFT>::copyPhdr(Elf_Phdr *PH, OutputSectionBase<ELFT> *From) {
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000931 PH->p_flags = toPhdrFlags(From->getFlags());
932 PH->p_offset = From->getFileOff();
933 PH->p_vaddr = From->getVA();
934 PH->p_paddr = From->getVA();
935 PH->p_filesz = From->getSize();
936 PH->p_memsz = From->getSize();
937 PH->p_align = From->getAlign();
938}
939
Rui Ueyama3ce825e2015-10-09 21:07:25 +0000940template void lld::elf2::writeResult<ELF32LE>(SymbolTable<ELF32LE> *Symtab);
941template void lld::elf2::writeResult<ELF32BE>(SymbolTable<ELF32BE> *Symtab);
942template void lld::elf2::writeResult<ELF64LE>(SymbolTable<ELF64LE> *Symtab);
943template void lld::elf2::writeResult<ELF64BE>(SymbolTable<ELF64BE> *Symtab);