blob: 17b10259d8f33fe2405ed653b04917a2ab7aab05 [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"
Rui Ueyama717677a2016-02-11 21:17:59 +000012#include "LinkerScript.h"
Rafael Espindola5805c4f2015-09-21 21:38:08 +000013#include "OutputSections.h"
Rui Ueyama0fcdc732016-05-24 20:24:43 +000014#include "Relocations.h"
Rui Ueyamafbbde542016-06-29 09:08:02 +000015#include "Strings.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000016#include "SymbolTable.h"
Rafael Espindola01205f72015-09-22 18:19:46 +000017#include "Target.h"
Rafael Espindola6b83b902015-08-12 00:00:24 +000018
Denis Protivensky8e3b38a2015-11-12 09:52:08 +000019#include "llvm/ADT/StringMap.h"
Hal Finkel3bae2d82015-10-12 20:51:48 +000020#include "llvm/ADT/StringSwitch.h"
Rui Ueyamaafff74e22015-08-05 23:24:46 +000021#include "llvm/Support/FileOutputBuffer.h"
Rui Ueyamad9189ce2015-10-15 17:11:03 +000022#include "llvm/Support/StringSaver.h"
Rafael Espindolad0078b22016-02-06 00:06:26 +000023#include "llvm/Support/raw_ostream.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000024
25using namespace llvm;
26using namespace llvm::ELF;
27using namespace llvm::object;
28
29using namespace lld;
Rafael Espindolae0df00b2016-02-28 00:25:54 +000030using namespace lld::elf;
Michael J. Spencer84487f12015-07-24 21:03:07 +000031
Rui Ueyamaafff74e22015-08-05 23:24:46 +000032namespace {
33// The writer writes a SymbolTable result to a file.
34template <class ELFT> class Writer {
35public:
Rui Ueyama9328b2c2016-03-14 23:16:09 +000036 typedef typename ELFT::uint uintX_t;
37 typedef typename ELFT::Shdr Elf_Shdr;
38 typedef typename ELFT::Ehdr Elf_Ehdr;
39 typedef typename ELFT::Phdr Elf_Phdr;
40 typedef typename ELFT::Sym Elf_Sym;
41 typedef typename ELFT::SymRange Elf_Sym_Range;
42 typedef typename ELFT::Rela Elf_Rela;
Rui Ueyama3ce825e2015-10-09 21:07:25 +000043 Writer(SymbolTable<ELFT> &S) : Symtab(S) {}
Rui Ueyamaafff74e22015-08-05 23:24:46 +000044 void run();
45
46private:
Rafael Espindola4fc60442016-02-10 22:43:13 +000047 // This describes a program header entry.
48 // Each contains type, access flags and range of output sections that will be
49 // placed in it.
50 struct Phdr {
51 Phdr(unsigned Type, unsigned Flags) {
52 H.p_type = Type;
53 H.p_flags = Flags;
54 }
55 Elf_Phdr H = {};
56 OutputSectionBase<ELFT> *First = nullptr;
57 OutputSectionBase<ELFT> *Last = nullptr;
58 };
59
Rui Ueyama5a9640b2015-10-08 23:49:30 +000060 void copyLocalSymbols();
Rui Ueyamaf18fe7b2015-12-26 07:50:39 +000061 void addReservedSymbols();
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +000062 void createSections();
Rui Ueyama84417f82015-12-26 07:50:41 +000063 void addPredefinedSections();
Rui Ueyama30951482016-02-25 19:34:37 +000064 bool needsGot();
Rui Ueyama2df0fd82015-12-25 07:38:58 +000065
Rafael Espindola4fc60442016-02-10 22:43:13 +000066 void createPhdrs();
Rui Ueyamaafff74e22015-08-05 23:24:46 +000067 void assignAddresses();
Rui Ueyamae044e9c2016-04-01 17:07:17 +000068 void assignFileOffsets();
69 void setPhdrs();
George Rimar7ca06272016-04-06 07:20:45 +000070 void fixHeaders();
Rui Ueyama47091902016-03-30 19:41:51 +000071 void fixSectionAlignments();
Rui Ueyama1a311f12015-12-26 10:52:26 +000072 void fixAbsoluteSymbols();
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +000073 void openFile();
Rui Ueyamaafff74e22015-08-05 23:24:46 +000074 void writeHeader();
75 void writeSections();
Rui Ueyama634ddf02016-03-11 20:51:53 +000076 void writeBuildId();
Rafael Espindola70107762015-09-11 18:49:42 +000077 bool needsInterpSection() const {
Rui Ueyama0d0bcf72015-10-07 21:25:39 +000078 return !Symtab.getSharedFiles().empty() && !Config->DynamicLinker.empty();
Rafael Espindola70107762015-09-11 18:49:42 +000079 }
Michael J. Spencerf32446f2015-10-06 20:39:09 +000080 bool isOutputDynamic() const {
George Rimar786e8662016-03-17 05:57:33 +000081 return !Symtab.getSharedFiles().empty() || Config->Pic;
Rafael Espindola4340aad2015-09-11 22:42:45 +000082 }
Rui Ueyamaafff74e22015-08-05 23:24:46 +000083
Rafael Espindola11191912015-12-24 16:23:37 +000084 void addCommonSymbols(std::vector<DefinedCommon *> &Syms);
Rafael Espindola443f50a2015-11-03 21:35:14 +000085
Rui Ueyamaafff74e22015-08-05 23:24:46 +000086 std::unique_ptr<llvm::FileOutputBuffer> Buffer;
Michael J. Spencer2f008242015-09-17 19:58:07 +000087
Rui Ueyamad9189ce2015-10-15 17:11:03 +000088 BumpPtrAllocator Alloc;
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000089 std::vector<OutputSectionBase<ELFT> *> OutputSections;
Rui Ueyamad4ea7dd2015-12-26 07:01:26 +000090 std::vector<std::unique_ptr<OutputSectionBase<ELFT>>> OwningSections;
Rafael Espindola4fc60442016-02-10 22:43:13 +000091
Rui Ueyama01687222015-12-26 09:47:57 +000092 void addRelIpltSymbols();
Rui Ueyamaa5d79d12015-12-26 09:48:00 +000093 void addStartEndSymbols();
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000094 void addStartStopSymbols(OutputSectionBase<ELFT> *Sec);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +000095
Rui Ueyama3ce825e2015-10-09 21:07:25 +000096 SymbolTable<ELFT> &Symtab;
Rafael Espindola4fc60442016-02-10 22:43:13 +000097 std::vector<Phdr> Phdrs;
Michael J. Spencer2f008242015-09-17 19:58:07 +000098
Rafael Espindola98f6bd02015-08-11 23:14:13 +000099 uintX_t FileSize;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000100 uintX_t SectionHeaderOff;
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000101};
102} // anonymous namespace
103
George Rimar5d53d1f2016-07-12 08:50:42 +0000104template <class ELFT>
105StringRef elf::getOutputSectionName(InputSectionBase<ELFT> *S) {
106 StringRef Dest = Script<ELFT>::X->getOutputSection(S);
107 if (!Dest.empty())
108 return Dest;
109
110 StringRef Name = S->getSectionName();
111 for (StringRef V : {".text.", ".rodata.", ".data.rel.ro.", ".data.", ".bss.",
112 ".init_array.", ".fini_array.", ".ctors.", ".dtors.",
113 ".tbss.", ".gcc_except_table.", ".tdata."})
114 if (Name.startswith(V))
115 return V.drop_back();
116 return Name;
117}
118
119template <class ELFT>
120void elf::reportDiscarded(InputSectionBase<ELFT> *IS,
121 const std::unique_ptr<elf::ObjectFile<ELFT>> &File) {
122 if (!Config->PrintGcSections || !IS || IS->Live)
123 return;
124 errs() << "removing unused section from '" << IS->getSectionName()
125 << "' in file '" << File->getName() << "'\n";
126}
127
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000128template <class ELFT> void elf::writeResult(SymbolTable<ELFT> *Symtab) {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000129 typedef typename ELFT::uint uintX_t;
George Rimar687788c2016-04-01 17:30:52 +0000130 typedef typename ELFT::Ehdr Elf_Ehdr;
Rafael Espindola4fc60442016-02-10 22:43:13 +0000131
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000132 // Create singleton output sections.
Rui Ueyamaafa35a22016-05-24 03:16:51 +0000133 OutputSection<ELFT> Bss(".bss", SHT_NOBITS, SHF_ALLOC | SHF_WRITE);
Rui Ueyamaace4f902016-05-24 04:25:47 +0000134 DynamicSection<ELFT> Dynamic;
Rui Ueyama3b31e672016-05-23 16:24:16 +0000135 EhOutputSection<ELFT> EhFrame;
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000136 GotSection<ELFT> Got;
137 InterpSection<ELFT> Interp;
138 PltSection<ELFT> Plt;
George Rimarc191acf2016-05-10 15:47:57 +0000139 RelocationSection<ELFT> RelaDyn(Config->Rela ? ".rela.dyn" : ".rel.dyn",
140 Config->ZCombreloc);
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000141 StringTableSection<ELFT> DynStrTab(".dynstr", true);
142 StringTableSection<ELFT> ShStrTab(".shstrtab", false);
Rui Ueyamaace4f902016-05-24 04:25:47 +0000143 SymbolTableSection<ELFT> DynSymTab(DynStrTab);
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000144 VersionTableSection<ELFT> VerSym;
145 VersionNeedSection<ELFT> VerNeed;
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000146
Rafael Espindola4fc60442016-02-10 22:43:13 +0000147 OutputSectionBase<ELFT> ElfHeader("", 0, SHF_ALLOC);
George Rimar687788c2016-04-01 17:30:52 +0000148 ElfHeader.setSize(sizeof(Elf_Ehdr));
Rafael Espindola4fc60442016-02-10 22:43:13 +0000149 OutputSectionBase<ELFT> ProgramHeaders("", 0, SHF_ALLOC);
Rui Ueyama424b4082016-06-17 01:18:46 +0000150 ProgramHeaders.updateAlignment(sizeof(uintX_t));
Rafael Espindola4fc60442016-02-10 22:43:13 +0000151
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000152 // Instantiate optional output sections if they are needed.
Rui Ueyama634ddf02016-03-11 20:51:53 +0000153 std::unique_ptr<BuildIdSection<ELFT>> BuildId;
Rui Ueyama3b31e672016-05-23 16:24:16 +0000154 std::unique_ptr<EhFrameHeader<ELFT>> EhFrameHdr;
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000155 std::unique_ptr<GnuHashTableSection<ELFT>> GnuHashTab;
156 std::unique_ptr<GotPltSection<ELFT>> GotPlt;
157 std::unique_ptr<HashTableSection<ELFT>> HashTab;
158 std::unique_ptr<RelocationSection<ELFT>> RelaPlt;
159 std::unique_ptr<StringTableSection<ELFT>> StrTab;
160 std::unique_ptr<SymbolTableSection<ELFT>> SymTabSec;
Rui Ueyamaa354c5c2016-02-25 23:54:49 +0000161 std::unique_ptr<OutputSection<ELFT>> MipsRldMap;
George Rimard3566302016-06-20 11:55:12 +0000162 std::unique_ptr<VersionDefinitionSection<ELFT>> VerDef;
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000163
Rui Ueyama3a41be22016-04-07 22:49:21 +0000164 if (Config->BuildId == BuildIdKind::Fnv1)
165 BuildId.reset(new BuildIdFnv1<ELFT>);
166 else if (Config->BuildId == BuildIdKind::Md5)
167 BuildId.reset(new BuildIdMd5<ELFT>);
Rui Ueyamad86ec302016-04-07 23:51:56 +0000168 else if (Config->BuildId == BuildIdKind::Sha1)
169 BuildId.reset(new BuildIdSha1<ELFT>);
Rui Ueyama9194db72016-05-13 21:55:56 +0000170 else if (Config->BuildId == BuildIdKind::Hexstring)
171 BuildId.reset(new BuildIdHexstring<ELFT>);
Rui Ueyama3a41be22016-04-07 22:49:21 +0000172
Rui Ueyama3b31e672016-05-23 16:24:16 +0000173 if (Config->EhFrameHdr)
174 EhFrameHdr.reset(new EhFrameHeader<ELFT>);
175
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000176 if (Config->GnuHash)
177 GnuHashTab.reset(new GnuHashTableSection<ELFT>);
178 if (Config->SysvHash)
179 HashTab.reset(new HashTableSection<ELFT>);
Rafael Espindolae4c86d832016-05-18 21:03:36 +0000180 StringRef S = Config->Rela ? ".rela.plt" : ".rel.plt";
181 GotPlt.reset(new GotPltSection<ELFT>);
182 RelaPlt.reset(new RelocationSection<ELFT>(S, false /*Sort*/));
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000183 if (!Config->StripAll) {
184 StrTab.reset(new StringTableSection<ELFT>(".strtab", false));
Rui Ueyamaace4f902016-05-24 04:25:47 +0000185 SymTabSec.reset(new SymbolTableSection<ELFT>(*StrTab));
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000186 }
Rui Ueyamaa354c5c2016-02-25 23:54:49 +0000187 if (Config->EMachine == EM_MIPS && !Config->Shared) {
188 // This is a MIPS specific section to hold a space within the data segment
189 // of executable file which is pointed to by the DT_MIPS_RLD_MAP entry.
190 // See "Dynamic section" in Chapter 5 in the following document:
191 // ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
192 MipsRldMap.reset(new OutputSection<ELFT>(".rld_map", SHT_PROGBITS,
193 SHF_ALLOC | SHF_WRITE));
194 MipsRldMap->setSize(sizeof(uintX_t));
Rui Ueyama424b4082016-06-17 01:18:46 +0000195 MipsRldMap->updateAlignment(sizeof(uintX_t));
Rui Ueyamaa354c5c2016-02-25 23:54:49 +0000196 }
George Rimard3566302016-06-20 11:55:12 +0000197 if (!Config->SymbolVersions.empty())
198 VerDef.reset(new VersionDefinitionSection<ELFT>());
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000199
Rui Ueyamaafa35a22016-05-24 03:16:51 +0000200 Out<ELFT>::Bss = &Bss;
Rui Ueyama634ddf02016-03-11 20:51:53 +0000201 Out<ELFT>::BuildId = BuildId.get();
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000202 Out<ELFT>::DynStrTab = &DynStrTab;
203 Out<ELFT>::DynSymTab = &DynSymTab;
204 Out<ELFT>::Dynamic = &Dynamic;
Rui Ueyama3b31e672016-05-23 16:24:16 +0000205 Out<ELFT>::EhFrame = &EhFrame;
206 Out<ELFT>::EhFrameHdr = EhFrameHdr.get();
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000207 Out<ELFT>::GnuHashTab = GnuHashTab.get();
208 Out<ELFT>::Got = &Got;
209 Out<ELFT>::GotPlt = GotPlt.get();
210 Out<ELFT>::HashTab = HashTab.get();
211 Out<ELFT>::Interp = &Interp;
212 Out<ELFT>::Plt = &Plt;
213 Out<ELFT>::RelaDyn = &RelaDyn;
214 Out<ELFT>::RelaPlt = RelaPlt.get();
215 Out<ELFT>::ShStrTab = &ShStrTab;
216 Out<ELFT>::StrTab = StrTab.get();
217 Out<ELFT>::SymTab = SymTabSec.get();
George Rimard3566302016-06-20 11:55:12 +0000218 Out<ELFT>::VerDef = VerDef.get();
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000219 Out<ELFT>::VerSym = &VerSym;
220 Out<ELFT>::VerNeed = &VerNeed;
Rui Ueyamaa354c5c2016-02-25 23:54:49 +0000221 Out<ELFT>::MipsRldMap = MipsRldMap.get();
Rui Ueyama4197a6a2016-02-05 18:41:40 +0000222 Out<ELFT>::Opd = nullptr;
223 Out<ELFT>::OpdBuf = nullptr;
224 Out<ELFT>::TlsPhdr = nullptr;
Rafael Espindola4fc60442016-02-10 22:43:13 +0000225 Out<ELFT>::ElfHeader = &ElfHeader;
226 Out<ELFT>::ProgramHeaders = &ProgramHeaders;
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000227
Rui Ueyama0d0bcf72015-10-07 21:25:39 +0000228 Writer<ELFT>(*Symtab).run();
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000229}
230
Michael J. Spencer84487f12015-07-24 21:03:07 +0000231// The main function of the writer.
Rui Ueyamaafff74e22015-08-05 23:24:46 +0000232template <class ELFT> void Writer<ELFT>::run() {
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000233 if (!Config->DiscardAll)
234 copyLocalSymbols();
Rui Ueyamaf18fe7b2015-12-26 07:50:39 +0000235 addReservedSymbols();
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +0000236 createSections();
237 if (HasError)
Rui Ueyamac2a0d7e2016-01-28 22:56:29 +0000238 return;
Rui Ueyamae044e9c2016-04-01 17:07:17 +0000239
240 if (Config->Relocatable) {
241 assignFileOffsets();
242 } else {
George Rimar58941ee2016-02-25 08:23:37 +0000243 createPhdrs();
George Rimar7ca06272016-04-06 07:20:45 +0000244 fixHeaders();
Rui Ueyama07320e42016-04-20 20:13:41 +0000245 if (ScriptConfig->DoLayout) {
246 Script<ELFT>::X->assignAddresses(OutputSections);
George Rimar652852c2016-04-16 10:10:32 +0000247 } else {
248 fixSectionAlignments();
249 assignAddresses();
250 }
Rui Ueyamae044e9c2016-04-01 17:07:17 +0000251 assignFileOffsets();
252 setPhdrs();
Rui Ueyamaa63baf12016-04-01 17:11:42 +0000253 fixAbsoluteSymbols();
George Rimar58941ee2016-02-25 08:23:37 +0000254 }
Rui Ueyamae044e9c2016-04-01 17:07:17 +0000255
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +0000256 openFile();
257 if (HasError)
Rui Ueyamacbe39262016-02-02 22:48:04 +0000258 return;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000259 writeHeader();
260 writeSections();
Rui Ueyama634ddf02016-03-11 20:51:53 +0000261 writeBuildId();
Rui Ueyama21923992016-02-01 23:28:21 +0000262 if (HasError)
263 return;
Rafael Espindola75714f62016-03-03 22:24:39 +0000264 check(Buffer->commit());
Michael J. Spencer84487f12015-07-24 21:03:07 +0000265}
266
Rafael Espindola6173f842015-09-23 14:37:01 +0000267template <class ELFT>
Rui Ueyama2a65a492016-01-05 20:01:29 +0000268static void reportUndefined(SymbolTable<ELFT> &Symtab, SymbolBody *Sym) {
George Rimare86dcd02016-06-29 12:35:04 +0000269 if (Config->UnresolvedSymbols == UnresolvedPolicy::Ignore)
270 return;
271
272 if (Config->Shared && Sym->symbol()->Visibility == STV_DEFAULT &&
273 Config->UnresolvedSymbols != UnresolvedPolicy::NoUndef)
274 return;
George Rimaree058282015-10-01 17:24:24 +0000275
George Rimar57610422016-03-11 14:43:02 +0000276 std::string Msg = "undefined symbol: " + Sym->getName().str();
Peter Collingbournec3572782016-05-03 01:48:25 +0000277 if (InputFile *File = Sym->getSourceFile<ELFT>())
Rafael Espindola78db5a92016-05-09 21:40:06 +0000278 Msg += " in " + getFilename(File);
George Rimare86dcd02016-06-29 12:35:04 +0000279 if (Config->UnresolvedSymbols == UnresolvedPolicy::Warn)
Rui Ueyama2a65a492016-01-05 20:01:29 +0000280 warning(Msg);
Rafael Espindola6173f842015-09-23 14:37:01 +0000281 else
Rui Ueyamac2a0d7e2016-01-28 22:56:29 +0000282 error(Msg);
Rafael Espindola6173f842015-09-23 14:37:01 +0000283}
284
Rafael Espindola10d71ff2016-01-27 18:04:26 +0000285template <class ELFT>
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000286static bool shouldKeepInSymtab(InputSectionBase<ELFT> *Sec, StringRef SymName,
287 const SymbolBody &B) {
288 if (B.isFile())
Rafael Espindola10d71ff2016-01-27 18:04:26 +0000289 return false;
290
George Rimar4cfe5722016-03-03 07:49:35 +0000291 // We keep sections in symtab for relocatable output.
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000292 if (B.isSection())
George Rimar4cfe5722016-03-03 07:49:35 +0000293 return Config->Relocatable;
294
Rafael Espindola10d71ff2016-01-27 18:04:26 +0000295 // If sym references a section in a discarded group, don't keep it.
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000296 if (Sec == &InputSection<ELFT>::Discarded)
Rafael Espindola10d71ff2016-01-27 18:04:26 +0000297 return false;
298
299 if (Config->DiscardNone)
300 return true;
301
302 // In ELF assembly .L symbols are normally discarded by the assembler.
303 // If the assembler fails to do so, the linker discards them if
304 // * --discard-locals is used.
305 // * The symbol is in a SHF_MERGE section, which is normally the reason for
306 // the assembler keeping the .L symbol.
307 if (!SymName.startswith(".L") && !SymName.empty())
308 return true;
309
310 if (Config->DiscardLocals)
311 return false;
312
313 return !(Sec->getSectionHdr()->sh_flags & SHF_MERGE);
314}
315
Rafael Espindola474eb012016-05-05 16:40:28 +0000316template <class ELFT> static bool includeInSymtab(const SymbolBody &B) {
317 if (!B.isLocal() && !B.symbol()->IsUsedInRegularObj)
318 return false;
319
320 if (auto *D = dyn_cast<DefinedRegular<ELFT>>(&B)) {
321 // Always include absolute symbols.
322 if (!D->Section)
323 return true;
324 // Exclude symbols pointing to garbage-collected sections.
325 if (!D->Section->Live)
326 return false;
327 if (auto *S = dyn_cast<MergeInputSection<ELFT>>(D->Section))
Rui Ueyama90fa3722016-05-22 00:41:38 +0000328 if (!S->getSectionPiece(D->Value)->Live)
Rafael Espindola474eb012016-05-05 16:40:28 +0000329 return false;
330 }
331 return true;
332}
Rafael Espindola462220d2016-05-05 16:38:46 +0000333
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000334// Local symbols are not in the linker's symbol table. This function scans
335// each object file's symbol table to copy local symbols to the output.
336template <class ELFT> void Writer<ELFT>::copyLocalSymbols() {
Rui Ueyama90f76fb2016-01-21 03:07:38 +0000337 if (!Out<ELFT>::SymTab)
338 return;
Rafael Espindola78620972016-03-11 16:41:23 +0000339 for (const std::unique_ptr<elf::ObjectFile<ELFT>> &F :
340 Symtab.getObjectFiles()) {
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000341 const char *StrTab = F->getStringTable().data();
Rafael Espindola67d72c02016-03-11 12:06:30 +0000342 for (SymbolBody *B : F->getLocalSymbols()) {
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000343 auto *DR = dyn_cast<DefinedRegular<ELFT>>(B);
344 // No reason to keep local undefined symbol in symtab.
345 if (!DR)
Rafael Espindola444576d2015-10-09 19:25:07 +0000346 continue;
Rafael Espindola462220d2016-05-05 16:38:46 +0000347 if (!includeInSymtab<ELFT>(*B))
348 continue;
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000349 StringRef SymName(StrTab + B->getNameOffset());
350 InputSectionBase<ELFT> *Sec = DR->Section;
351 if (!shouldKeepInSymtab<ELFT>(Sec, SymName, *B))
352 continue;
Rafael Espindolae2c24612016-01-29 01:24:25 +0000353 ++Out<ELFT>::SymTab->NumLocals;
George Rimar4cfe5722016-03-03 07:49:35 +0000354 if (Config->Relocatable)
Rui Ueyama98a4b8b2016-03-13 20:18:12 +0000355 B->DynsymIndex = Out<ELFT>::SymTab->NumLocals;
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000356 F->KeptLocalSyms.push_back(
357 std::make_pair(DR, Out<ELFT>::SymTab->StrTabSec.addString(SymName)));
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000358 }
359 }
360}
361
Hal Finkel3bae2d82015-10-12 20:51:48 +0000362// PPC64 has a number of special SHT_PROGBITS+SHF_ALLOC+SHF_WRITE sections that
363// we would like to make sure appear is a specific order to maximize their
364// coverage by a single signed 16-bit offset from the TOC base pointer.
365// Conversely, the special .tocbss section should be first among all SHT_NOBITS
366// sections. This will put it next to the loaded special PPC64 sections (and,
367// thus, within reach of the TOC base pointer).
368static int getPPC64SectionRank(StringRef SectionName) {
369 return StringSwitch<int>(SectionName)
George Rimaree741cf2016-04-14 13:23:02 +0000370 .Case(".tocbss", 0)
371 .Case(".branch_lt", 2)
372 .Case(".toc", 3)
373 .Case(".toc1", 4)
374 .Case(".opd", 5)
375 .Default(1);
Hal Finkel3bae2d82015-10-12 20:51:48 +0000376}
377
George Rimare3336c02015-11-24 10:15:50 +0000378template <class ELFT> static bool isRelroSection(OutputSectionBase<ELFT> *Sec) {
Rafael Espindola4fc60442016-02-10 22:43:13 +0000379 if (!Config->ZRelro)
380 return false;
Rui Ueyama389aa8e2016-04-27 03:04:56 +0000381 typename ELFT::uint Flags = Sec->getFlags();
George Rimare3336c02015-11-24 10:15:50 +0000382 if (!(Flags & SHF_ALLOC) || !(Flags & SHF_WRITE))
383 return false;
Rui Ueyamaccfc3262015-12-10 19:13:08 +0000384 if (Flags & SHF_TLS)
385 return true;
George Rimare3336c02015-11-24 10:15:50 +0000386 uint32_t Type = Sec->getType();
Rui Ueyamaccfc3262015-12-10 19:13:08 +0000387 if (Type == SHT_INIT_ARRAY || Type == SHT_FINI_ARRAY ||
388 Type == SHT_PREINIT_ARRAY)
George Rimare3336c02015-11-24 10:15:50 +0000389 return true;
390 if (Sec == Out<ELFT>::GotPlt)
391 return Config->ZNow;
392 if (Sec == Out<ELFT>::Dynamic || Sec == Out<ELFT>::Got)
393 return true;
Rui Ueyama01faef02015-12-10 19:19:04 +0000394 StringRef S = Sec->getName();
395 return S == ".data.rel.ro" || S == ".ctors" || S == ".dtors" || S == ".jcr" ||
396 S == ".eh_frame";
George Rimare3336c02015-11-24 10:15:50 +0000397}
398
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000399// Output section ordering is determined by this function.
400template <class ELFT>
Rui Ueyama717677a2016-02-11 21:17:59 +0000401static bool compareSections(OutputSectionBase<ELFT> *A,
402 OutputSectionBase<ELFT> *B) {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000403 typedef typename ELFT::uint uintX_t;
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000404
Rui Ueyama07320e42016-04-20 20:13:41 +0000405 int Comp = Script<ELFT>::X->compareSections(A->getName(), B->getName());
Rui Ueyama717677a2016-02-11 21:17:59 +0000406 if (Comp != 0)
407 return Comp < 0;
408
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000409 uintX_t AFlags = A->getFlags();
410 uintX_t BFlags = B->getFlags();
411
412 // Allocatable sections go first to reduce the total PT_LOAD size and
413 // so debug info doesn't change addresses in actual code.
414 bool AIsAlloc = AFlags & SHF_ALLOC;
415 bool BIsAlloc = BFlags & SHF_ALLOC;
416 if (AIsAlloc != BIsAlloc)
417 return AIsAlloc;
418
419 // We don't have any special requirements for the relative order of
420 // two non allocatable sections.
421 if (!AIsAlloc)
422 return false;
423
424 // We want the read only sections first so that they go in the PT_LOAD
425 // covering the program headers at the start of the file.
426 bool AIsWritable = AFlags & SHF_WRITE;
427 bool BIsWritable = BFlags & SHF_WRITE;
428 if (AIsWritable != BIsWritable)
429 return BIsWritable;
430
431 // For a corresponding reason, put non exec sections first (the program
432 // header PT_LOAD is not executable).
433 bool AIsExec = AFlags & SHF_EXECINSTR;
434 bool BIsExec = BFlags & SHF_EXECINSTR;
435 if (AIsExec != BIsExec)
436 return BIsExec;
437
Hal Finkel0d7e83b2015-10-13 17:57:46 +0000438 // 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 +0000439
440 // The TLS initialization block needs to be a single contiguous block in a R/W
441 // PT_LOAD, so stick TLS sections directly before R/W sections. The TLS NOBITS
442 // sections are placed here as they don't take up virtual address space in the
443 // PT_LOAD.
Rui Ueyama61805ec2015-12-17 00:12:03 +0000444 bool AIsTls = AFlags & SHF_TLS;
445 bool BIsTls = BFlags & SHF_TLS;
446 if (AIsTls != BIsTls)
447 return AIsTls;
Michael J. Spencer1bf73002015-10-16 23:11:07 +0000448
Hal Finkel08be6142015-10-13 18:55:01 +0000449 // The next requirement we have is to put nobits sections last. The
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000450 // 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.
Hal Finkel600ff142015-10-13 19:27:12 +0000454 bool AIsNoBits = A->getType() == SHT_NOBITS;
455 bool BIsNoBits = B->getType() == SHT_NOBITS;
456 if (AIsNoBits != BIsNoBits)
457 return BIsNoBits;
Hal Finkel3bae2d82015-10-12 20:51:48 +0000458
George Rimare3336c02015-11-24 10:15:50 +0000459 // We place RelRo section before plain r/w ones.
460 bool AIsRelRo = isRelroSection(A);
461 bool BIsRelRo = isRelroSection(B);
462 if (AIsRelRo != BIsRelRo)
463 return AIsRelRo;
464
Hal Finkel9abc2a52015-10-13 19:07:29 +0000465 // Some architectures have additional ordering restrictions for sections
466 // within the same PT_LOAD.
467 if (Config->EMachine == EM_PPC64)
468 return getPPC64SectionRank(A->getName()) <
469 getPPC64SectionRank(B->getName());
470
471 return false;
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000472}
473
474// Until this function is called, common symbols do not belong to any section.
475// This function adds them to end of BSS section.
476template <class ELFT>
Rafael Espindola11191912015-12-24 16:23:37 +0000477void Writer<ELFT>::addCommonSymbols(std::vector<DefinedCommon *> &Syms) {
Rafael Espindola443f50a2015-11-03 21:35:14 +0000478 if (Syms.empty())
479 return;
480
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000481 // Sort the common symbols by alignment as an heuristic to pack them better.
Rafael Espindola11191912015-12-24 16:23:37 +0000482 std::stable_sort(Syms.begin(), Syms.end(),
483 [](const DefinedCommon *A, const DefinedCommon *B) {
Rui Ueyama17d69832016-03-10 18:58:53 +0000484 return A->Alignment > B->Alignment;
Rafael Espindola11191912015-12-24 16:23:37 +0000485 });
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000486
Rui Ueyamab30f73562016-03-13 04:11:53 +0000487 uintX_t Off = Out<ELFT>::Bss->getSize();
Rafael Espindola11191912015-12-24 16:23:37 +0000488 for (DefinedCommon *C : Syms) {
Rui Ueyama17d69832016-03-10 18:58:53 +0000489 Off = alignTo(Off, C->Alignment);
Rui Ueyama424b4082016-06-17 01:18:46 +0000490 Out<ELFT>::Bss->updateAlignment(C->Alignment);
Rui Ueyamae57c4872016-01-05 16:35:43 +0000491 C->OffsetInBss = Off;
Rafael Espindola11191912015-12-24 16:23:37 +0000492 Off += C->Size;
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000493 }
494
495 Out<ELFT>::Bss->setSize(Off);
496}
497
Denis Protivensky8e3b38a2015-11-12 09:52:08 +0000498template <class ELFT>
Peter Collingbourne4f952702016-05-01 04:55:03 +0000499static Symbol *addOptionalSynthetic(SymbolTable<ELFT> &Table, StringRef Name,
Peter Collingbourne6a422592016-05-03 01:21:08 +0000500 OutputSectionBase<ELFT> *Sec,
Peter Collingbourne4f952702016-05-01 04:55:03 +0000501 typename ELFT::uint Val) {
Rafael Espindola45a33fb2016-05-09 15:25:54 +0000502 SymbolBody *S = Table.find(Name);
503 if (!S)
Rafael Espindola6f92e142016-04-12 13:26:51 +0000504 return nullptr;
Rafael Espindola45a33fb2016-05-09 15:25:54 +0000505 if (!S->isUndefined() && !S->isShared())
506 return S->symbol();
Peter Collingbournef6e9b4e2016-04-13 16:57:28 +0000507 return Table.addSynthetic(Name, Sec, Val);
Rafael Espindola6f92e142016-04-12 13:26:51 +0000508}
509
Rui Ueyama01687222015-12-26 09:47:57 +0000510// The beginning and the ending of .rel[a].plt section are marked
511// with __rel[a]_iplt_{start,end} symbols if it is a statically linked
512// executable. The runtime needs these symbols in order to resolve
513// all IRELATIVE relocs on startup. For dynamic executables, we don't
514// need these symbols, since IRELATIVE relocs are resolved through GOT
515// and PLT. For details, see http://www.airs.com/blog/archives/403.
George Rimaree741cf2016-04-14 13:23:02 +0000516template <class ELFT> void Writer<ELFT>::addRelIpltSymbols() {
Rui Ueyama01687222015-12-26 09:47:57 +0000517 if (isOutputDynamic() || !Out<ELFT>::RelaPlt)
George Rimara07ff662015-12-21 10:12:06 +0000518 return;
Rui Ueyama6c5638b2016-03-13 20:10:20 +0000519 StringRef S = Config->Rela ? "__rela_iplt_start" : "__rel_iplt_start";
Peter Collingbourne6a422592016-05-03 01:21:08 +0000520 addOptionalSynthetic(Symtab, S, Out<ELFT>::RelaPlt, 0);
Rui Ueyama01687222015-12-26 09:47:57 +0000521
Rui Ueyama6c5638b2016-03-13 20:10:20 +0000522 S = Config->Rela ? "__rela_iplt_end" : "__rel_iplt_end";
Peter Collingbourne6a422592016-05-03 01:21:08 +0000523 addOptionalSynthetic(Symtab, S, Out<ELFT>::RelaPlt,
Peter Collingbourne4f952702016-05-01 04:55:03 +0000524 DefinedSynthetic<ELFT>::SectionEnd);
George Rimara07ff662015-12-21 10:12:06 +0000525}
526
Rui Ueyamaf18fe7b2015-12-26 07:50:39 +0000527// The linker is expected to define some symbols depending on
528// the linking result. This function defines such symbols.
529template <class ELFT> void Writer<ELFT>::addReservedSymbols() {
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000530 if (Config->EMachine == EM_MIPS) {
Rafael Espindola9b3f99e2016-04-12 02:24:43 +0000531 // Define _gp for MIPS. st_value of _gp symbol will be updated by Writer
532 // so that it points to an absolute address which is relative to GOT.
533 // See "Global Data Symbols" in Chapter 6 in the following document:
534 // ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
Peter Collingbourne6a422592016-05-03 01:21:08 +0000535 Symtab.addSynthetic("_gp", Out<ELFT>::Got, MipsGPOffset);
Rafael Espindola9b3f99e2016-04-12 02:24:43 +0000536
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000537 // On MIPS O32 ABI, _gp_disp is a magic symbol designates offset between
538 // start of function and 'gp' pointer into GOT.
Peter Collingbourne6f535b72016-05-03 18:03:45 +0000539 Symbol *Sym =
540 addOptionalSynthetic(Symtab, "_gp_disp", Out<ELFT>::Got, MipsGPOffset);
541 if (Sym)
542 ElfSym<ELFT>::MipsGpDisp = Sym->body();
543
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000544 // The __gnu_local_gp is a magic symbol equal to the current value of 'gp'
545 // pointer. This symbol is used in the code generated by .cpload pseudo-op
546 // in case of using -mno-shared option.
547 // https://sourceware.org/ml/binutils/2004-12/msg00094.html
Peter Collingbourne6a422592016-05-03 01:21:08 +0000548 addOptionalSynthetic(Symtab, "__gnu_local_gp", Out<ELFT>::Got,
Peter Collingbourne4f952702016-05-01 04:55:03 +0000549 MipsGPOffset);
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000550 }
551
552 // In the assembly for 32 bit x86 the _GLOBAL_OFFSET_TABLE_ symbol
553 // is magical and is used to produce a R_386_GOTPC relocation.
554 // The R_386_GOTPC relocation value doesn't actually depend on the
555 // symbol value, so it could use an index of STN_UNDEF which, according
556 // to the spec, means the symbol value is 0.
557 // Unfortunately both gas and MC keep the _GLOBAL_OFFSET_TABLE_ symbol in
558 // the object file.
559 // The situation is even stranger on x86_64 where the assembly doesn't
560 // need the magical symbol, but gas still puts _GLOBAL_OFFSET_TABLE_ as
561 // an undefined symbol in the .o files.
562 // Given that the symbol is effectively unused, we just create a dummy
563 // hidden one to avoid the undefined symbol error.
564 if (!Config->Relocatable)
565 Symtab.addIgnored("_GLOBAL_OFFSET_TABLE_");
566
Rui Ueyamaf18fe7b2015-12-26 07:50:39 +0000567 // __tls_get_addr is defined by the dynamic linker for dynamic ELFs. For
568 // static linking the linker is required to optimize away any references to
569 // __tls_get_addr, so it's not defined anywhere. Create a hidden definition
570 // to avoid the undefined symbol error.
571 if (!isOutputDynamic())
572 Symtab.addIgnored("__tls_get_addr");
573
Rui Ueyama467dbdd2016-04-21 20:50:15 +0000574 auto Define = [this](StringRef S, DefinedRegular<ELFT> *&Sym1,
575 DefinedRegular<ELFT> *&Sym2) {
576 Sym1 = Symtab.addIgnored(S, STV_DEFAULT);
Rui Ueyama4d169bd2016-02-26 16:38:39 +0000577
578 // The name without the underscore is not a reserved name,
579 // so it is defined only when there is a reference against it.
Rui Ueyama68e15552016-02-26 16:49:54 +0000580 assert(S.startswith("_"));
Rui Ueyama4d169bd2016-02-26 16:38:39 +0000581 S = S.substr(1);
582 if (SymbolBody *B = Symtab.find(S))
George Rimar9e859392016-02-26 14:36:36 +0000583 if (B->isUndefined())
Rui Ueyama467dbdd2016-04-21 20:50:15 +0000584 Sym2 = Symtab.addAbsolute(S, STV_DEFAULT);
George Rimar9e859392016-02-26 14:36:36 +0000585 };
586
Rui Ueyama467dbdd2016-04-21 20:50:15 +0000587 Define("_end", ElfSym<ELFT>::End, ElfSym<ELFT>::End2);
588 Define("_etext", ElfSym<ELFT>::Etext, ElfSym<ELFT>::Etext2);
589 Define("_edata", ElfSym<ELFT>::Edata, ElfSym<ELFT>::Edata2);
Rui Ueyamaf18fe7b2015-12-26 07:50:39 +0000590}
591
Rui Ueyamac4185702016-02-10 23:20:42 +0000592// Sort input sections by section name suffixes for
593// __attribute__((init_priority(N))).
Rui Ueyama5af83682016-02-11 23:41:38 +0000594template <class ELFT> static void sortInitFini(OutputSectionBase<ELFT> *S) {
Rui Ueyamac4185702016-02-10 23:20:42 +0000595 if (S)
Rui Ueyama5af83682016-02-11 23:41:38 +0000596 reinterpret_cast<OutputSection<ELFT> *>(S)->sortInitFini();
597}
598
599// Sort input sections by the special rule for .ctors and .dtors.
600template <class ELFT> static void sortCtorsDtors(OutputSectionBase<ELFT> *S) {
601 if (S)
602 reinterpret_cast<OutputSection<ELFT> *>(S)->sortCtorsDtors();
Rui Ueyamac4185702016-02-10 23:20:42 +0000603}
604
Michael J. Spencer84487f12015-07-24 21:03:07 +0000605// Create output section objects and add them to OutputSections.
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +0000606template <class ELFT> void Writer<ELFT>::createSections() {
Rui Ueyama1b2a8bf2015-12-26 10:22:16 +0000607 // Add .interp first because some loaders want to see that section
608 // on the first page of the executable file when loaded into memory.
Rui Ueyama69960ba2015-10-10 23:25:39 +0000609 if (needsInterpSection())
610 OutputSections.push_back(Out<ELFT>::Interp);
611
Rui Ueyama28286cd2016-03-13 01:54:48 +0000612 // A core file does not usually contain unmodified segments except
613 // the first page of the executable. Add the build ID section now
614 // so that the section is included in the first page.
615 if (Out<ELFT>::BuildId)
616 OutputSections.push_back(Out<ELFT>::BuildId);
617
Rui Ueyama1b2a8bf2015-12-26 10:22:16 +0000618 // Create output sections for input object file sections.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000619 std::vector<OutputSectionBase<ELFT> *> RegularSections;
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000620 OutputSectionFactory<ELFT> Factory;
Rafael Espindola78620972016-03-11 16:41:23 +0000621 for (const std::unique_ptr<elf::ObjectFile<ELFT>> &F :
622 Symtab.getObjectFiles()) {
Rafael Espindolac159c962015-10-19 21:00:02 +0000623 for (InputSectionBase<ELFT> *C : F->getSections()) {
George Rimara5fbebc2015-12-10 09:12:18 +0000624 if (isDiscarded(C)) {
625 reportDiscarded(C, F);
Rafael Espindola19e38892015-09-16 15:54:15 +0000626 continue;
George Rimara5fbebc2015-12-10 09:12:18 +0000627 }
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000628 OutputSectionBase<ELFT> *Sec;
629 bool IsNew;
Rui Ueyama1ebc8ed2016-02-12 21:47:28 +0000630 std::tie(Sec, IsNew) = Factory.create(C, getOutputSectionName(C));
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000631 if (IsNew) {
Rui Ueyamad4ea7dd2015-12-26 07:01:26 +0000632 OwningSections.emplace_back(Sec);
Rafael Espindolad13d9602015-09-25 15:08:44 +0000633 OutputSections.push_back(Sec);
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000634 RegularSections.push_back(Sec);
Rafael Espindolad13d9602015-09-25 15:08:44 +0000635 }
Rui Ueyama40845e62015-12-26 05:51:07 +0000636 Sec->addSection(C);
Rafael Espindola19e38892015-09-16 15:54:15 +0000637 }
638 }
639
Rui Ueyama84417f82015-12-26 07:50:41 +0000640 // If we have a .opd section (used under PPC64 for function descriptors),
641 // store a pointer to it here so that we can use it later when processing
642 // relocations.
643 Out<ELFT>::Opd = Factory.lookup(".opd", SHT_PROGBITS, SHF_WRITE | SHF_ALLOC);
644
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000645 Out<ELFT>::Dynamic->PreInitArraySec = Factory.lookup(
646 ".preinit_array", SHT_PREINIT_ARRAY, SHF_WRITE | SHF_ALLOC);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000647 Out<ELFT>::Dynamic->InitArraySec =
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000648 Factory.lookup(".init_array", SHT_INIT_ARRAY, SHF_WRITE | SHF_ALLOC);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000649 Out<ELFT>::Dynamic->FiniArraySec =
Rui Ueyama3a1f0362015-12-26 07:01:28 +0000650 Factory.lookup(".fini_array", SHT_FINI_ARRAY, SHF_WRITE | SHF_ALLOC);
Rafael Espindola77572242015-10-02 19:37:55 +0000651
Rui Ueyamac4185702016-02-10 23:20:42 +0000652 // Sort section contents for __attribute__((init_priority(N)).
Rui Ueyama5af83682016-02-11 23:41:38 +0000653 sortInitFini(Out<ELFT>::Dynamic->InitArraySec);
654 sortInitFini(Out<ELFT>::Dynamic->FiniArraySec);
655 sortCtorsDtors(Factory.lookup(".ctors", SHT_PROGBITS, SHF_WRITE | SHF_ALLOC));
656 sortCtorsDtors(Factory.lookup(".dtors", SHT_PROGBITS, SHF_WRITE | SHF_ALLOC));
Rui Ueyamac4185702016-02-10 23:20:42 +0000657
Rui Ueyamaa5d79d12015-12-26 09:48:00 +0000658 // The linker needs to define SECNAME_start, SECNAME_end and SECNAME_stop
659 // symbols for sections, so that the runtime can get the start and end
660 // addresses of each section by section name. Add such symbols.
George Rimarc1034a82016-03-01 19:12:35 +0000661 if (!Config->Relocatable) {
662 addStartEndSymbols();
663 for (OutputSectionBase<ELFT> *Sec : RegularSections)
664 addStartStopSymbols(Sec);
665 }
Rui Ueyamad4530c62016-03-04 18:34:14 +0000666
667 // Add _DYNAMIC symbol. Unlike GNU gold, our _DYNAMIC symbol has no type.
668 // It should be okay as no one seems to care about the type.
669 // Even the author of gold doesn't remember why gold behaves that way.
670 // https://sourceware.org/ml/binutils/2002-03/msg00360.html
George Rimaraa4dc202016-03-01 16:23:13 +0000671 if (isOutputDynamic())
Peter Collingbourne6a422592016-05-03 01:21:08 +0000672 Symtab.addSynthetic("_DYNAMIC", Out<ELFT>::Dynamic, 0);
Rafael Espindola334c3e12015-10-19 15:21:42 +0000673
Rafael Espindolade9857e2016-02-04 21:33:05 +0000674 // Define __rel[a]_iplt_{start,end} symbols if needed.
675 addRelIpltSymbols();
676
Eugene Levianteda81a12016-07-12 06:39:48 +0000677 // Add scripted symbols with zero values now.
678 // Real values will be assigned later
679 Script<ELFT>::X->addScriptedSymbols();
680
Rui Ueyama3b31e672016-05-23 16:24:16 +0000681 if (!Out<ELFT>::EhFrame->empty()) {
682 OutputSections.push_back(Out<ELFT>::EhFrame);
683 Out<ELFT>::EhFrame->finalize();
684 }
Rafael Espindola56004c52016-04-07 14:22:09 +0000685
Rafael Espindola334c3e12015-10-19 15:21:42 +0000686 // Scan relocations. This must be done after every symbol is declared so that
687 // we can correctly decide if a dynamic relocation is needed.
Rui Ueyama809d8e22016-06-23 04:33:42 +0000688 for (const std::unique_ptr<elf::ObjectFile<ELFT>> &F :
689 Symtab.getObjectFiles()) {
690 for (InputSectionBase<ELFT> *C : F->getSections()) {
691 if (isDiscarded(C))
692 continue;
693 if (auto *S = dyn_cast<InputSection<ELFT>>(C)) {
694 scanRelocations(*S);
695 continue;
Rafael Espindola56004c52016-04-07 14:22:09 +0000696 }
Rui Ueyama809d8e22016-06-23 04:33:42 +0000697 if (auto *S = dyn_cast<EhInputSection<ELFT>>(C))
698 if (S->RelocSection)
699 scanRelocations(*S, *S->RelocSection);
700 }
Rafael Espindola56004c52016-04-07 14:22:09 +0000701 }
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000702
Rui Ueyama809d8e22016-06-23 04:33:42 +0000703 for (OutputSectionBase<ELFT> *Sec : OutputSections)
704 Sec->assignOffsets();
705
Rui Ueyama1b2a8bf2015-12-26 10:22:16 +0000706 // Now that we have defined all possible symbols including linker-
707 // synthesized ones. Visit all symbols to give the finishing touches.
Rafael Espindola11191912015-12-24 16:23:37 +0000708 std::vector<DefinedCommon *> CommonSymbols;
Rafael Espindola7f0b7272016-04-14 20:42:43 +0000709 for (Symbol *S : Symtab.getSymbols()) {
Peter Collingbourne4f952702016-05-01 04:55:03 +0000710 SymbolBody *Body = S->body();
Rafael Espindola0baa73f2016-04-26 13:56:26 +0000711
Peter Collingbourne3ad1c1e2016-05-05 17:13:49 +0000712 // We only report undefined symbols in regular objects. This means that we
713 // will accept an undefined reference in bitcode if it can be optimized out.
714 if (S->IsUsedInRegularObj && Body->isUndefined() && !S->isWeak())
Peter Collingbourne892d49802016-04-27 00:05:03 +0000715 reportUndefined<ELFT>(Symtab, Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000716
Rafael Espindola11191912015-12-24 16:23:37 +0000717 if (auto *C = dyn_cast<DefinedCommon>(Body))
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000718 CommonSymbols.push_back(C);
George Rimarbc590fe2015-10-28 16:48:58 +0000719
Rafael Espindola4f674ed2015-10-05 15:24:04 +0000720 if (!includeInSymtab<ELFT>(*Body))
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000721 continue;
George Rimar5dad7c12015-10-24 08:52:46 +0000722 if (Out<ELFT>::SymTab)
723 Out<ELFT>::SymTab->addSymbol(Body);
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000724
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000725 if (isOutputDynamic() && S->includeInDynsym()) {
Igor Kudrinab665fc2015-10-20 21:47:58 +0000726 Out<ELFT>::DynSymTab->addSymbol(Body);
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000727 if (auto *SS = dyn_cast<SharedSymbol<ELFT>>(Body))
Peter Collingbourneca8c9942016-06-09 18:01:35 +0000728 if (SS->File->isNeeded())
729 Out<ELFT>::VerNeed->addSymbol(SS);
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000730 }
Rafael Espindola05a3dd22015-09-22 23:38:23 +0000731 }
Rui Ueyamac2a0d7e2016-01-28 22:56:29 +0000732
733 // Do not proceed if there was an undefined symbol.
734 if (HasError)
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +0000735 return;
Rui Ueyamac2a0d7e2016-01-28 22:56:29 +0000736
Rui Ueyama5a9640b2015-10-08 23:49:30 +0000737 addCommonSymbols(CommonSymbols);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000738
Rui Ueyama84417f82015-12-26 07:50:41 +0000739 // So far we have added sections from input object files.
740 // This function adds linker-created Out<ELFT>::* sections.
741 addPredefinedSections();
742
743 std::stable_sort(OutputSections.begin(), OutputSections.end(),
744 compareSections<ELFT>);
745
George Rimar7ca06272016-04-06 07:20:45 +0000746 unsigned I = 1;
747 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
748 Sec->SectionIndex = I++;
Rafael Espindolae2c24612016-01-29 01:24:25 +0000749 Sec->setSHName(Out<ELFT>::ShStrTab->addString(Sec->getName()));
George Rimar7ca06272016-04-06 07:20:45 +0000750 }
Rui Ueyama84417f82015-12-26 07:50:41 +0000751
752 // Finalizers fix each section's size.
Rafael Espindolade069362016-01-25 21:32:04 +0000753 // .dynsym is finalized early since that may fill up .gnu.hash.
Rui Ueyama84417f82015-12-26 07:50:41 +0000754 if (isOutputDynamic())
755 Out<ELFT>::DynSymTab->finalize();
756
Simon Atanasyan40d25f32016-02-02 09:07:47 +0000757 // Fill other section headers. The dynamic table is finalized
758 // at the end because some tags like RELSZ depend on result
759 // of finalizing other sections. The dynamic string table is
760 // finalized once the .dynamic finalizer has added a few last
761 // strings. See DynamicSection::finalize()
Rui Ueyama84417f82015-12-26 07:50:41 +0000762 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Simon Atanasyan40d25f32016-02-02 09:07:47 +0000763 if (Sec != Out<ELFT>::DynStrTab && Sec != Out<ELFT>::Dynamic)
Rafael Espindolade069362016-01-25 21:32:04 +0000764 Sec->finalize();
Simon Atanasyan40d25f32016-02-02 09:07:47 +0000765
766 if (isOutputDynamic())
767 Out<ELFT>::Dynamic->finalize();
Rui Ueyama406b4692016-05-27 14:39:13 +0000768
769 // Now that all output offsets are fixed. Finalize mergeable sections
770 // to fix their maps from input offsets to output offsets.
771 for (OutputSectionBase<ELFT> *Sec : OutputSections)
772 Sec->finalizePieces();
Rui Ueyama84417f82015-12-26 07:50:41 +0000773}
774
Rui Ueyama30951482016-02-25 19:34:37 +0000775template <class ELFT> bool Writer<ELFT>::needsGot() {
776 if (!Out<ELFT>::Got->empty())
777 return true;
778
779 // We add the .got section to the result for dynamic MIPS target because
780 // its address and properties are mentioned in the .dynamic section.
Rafael Espindolaa22b0822016-04-12 13:21:13 +0000781 if (Config->EMachine == EM_MIPS)
Rui Ueyama30951482016-02-25 19:34:37 +0000782 return true;
783
784 // If we have a relocation that is relative to GOT (such as GOTOFFREL),
785 // we need to emit a GOT even if it's empty.
Rui Ueyama022d8e82016-05-24 03:36:07 +0000786 return Out<ELFT>::Got->HasGotOffRel;
Rui Ueyama30951482016-02-25 19:34:37 +0000787}
788
Rui Ueyama84417f82015-12-26 07:50:41 +0000789// This function add Out<ELFT>::* sections to OutputSections.
790template <class ELFT> void Writer<ELFT>::addPredefinedSections() {
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000791 auto Add = [&](OutputSectionBase<ELFT> *C) {
792 if (C)
793 OutputSections.push_back(C);
794 };
795
Rui Ueyamac6ef3f22015-10-15 21:50:30 +0000796 // This order is not the same as the final output order
797 // because we sort the sections using their attributes below.
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000798 Add(Out<ELFT>::SymTab);
799 Add(Out<ELFT>::ShStrTab);
800 Add(Out<ELFT>::StrTab);
Michael J. Spencer350e5b52015-10-12 23:39:23 +0000801 if (isOutputDynamic()) {
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000802 Add(Out<ELFT>::DynSymTab);
George Rimard3566302016-06-20 11:55:12 +0000803
804 bool HasVerNeed = Out<ELFT>::VerNeed->getNeedNum() != 0;
805 if (Out<ELFT>::VerDef || HasVerNeed)
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000806 Add(Out<ELFT>::VerSym);
George Rimar086fcae2016-06-20 13:22:54 +0000807 Add(Out<ELFT>::VerDef);
George Rimard3566302016-06-20 11:55:12 +0000808 if (HasVerNeed)
Peter Collingbourne21a12fc2016-04-27 20:22:31 +0000809 Add(Out<ELFT>::VerNeed);
George Rimard3566302016-06-20 11:55:12 +0000810
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000811 Add(Out<ELFT>::GnuHashTab);
812 Add(Out<ELFT>::HashTab);
813 Add(Out<ELFT>::Dynamic);
814 Add(Out<ELFT>::DynStrTab);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000815 if (Out<ELFT>::RelaDyn->hasRelocs())
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000816 Add(Out<ELFT>::RelaDyn);
Rui Ueyamaa354c5c2016-02-25 23:54:49 +0000817 Add(Out<ELFT>::MipsRldMap);
Rafael Espindola3f4228f2015-09-09 15:33:08 +0000818 }
Igor Kudrin304860a2015-11-12 04:39:49 +0000819
George Rimara07ff662015-12-21 10:12:06 +0000820 // We always need to add rel[a].plt to output if it has entries.
821 // Even during static linking it can contain R_[*]_IRELATIVE relocations.
822 if (Out<ELFT>::RelaPlt && Out<ELFT>::RelaPlt->hasRelocs()) {
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000823 Add(Out<ELFT>::RelaPlt);
George Rimara07ff662015-12-21 10:12:06 +0000824 Out<ELFT>::RelaPlt->Static = !isOutputDynamic();
825 }
826
Rui Ueyama30951482016-02-25 19:34:37 +0000827 if (needsGot())
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000828 Add(Out<ELFT>::Got);
George Rimar648a2c32015-10-20 08:54:27 +0000829 if (Out<ELFT>::GotPlt && !Out<ELFT>::GotPlt->empty())
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000830 Add(Out<ELFT>::GotPlt);
Rui Ueyama15ef5e12015-10-07 19:18:16 +0000831 if (!Out<ELFT>::Plt->empty())
Rui Ueyama5a4ae1f2015-12-26 10:34:33 +0000832 Add(Out<ELFT>::Plt);
Rui Ueyama3b31e672016-05-23 16:24:16 +0000833 if (!Out<ELFT>::EhFrame->empty())
George Rimarf6bc65a2016-01-15 13:34:52 +0000834 Add(Out<ELFT>::EhFrameHdr);
Rui Ueyamaafa35a22016-05-24 03:16:51 +0000835 if (Out<ELFT>::Bss->getSize() > 0)
836 Add(Out<ELFT>::Bss);
Rafael Espindolaabad6182015-08-13 15:23:46 +0000837}
838
Rui Ueyamaa5d79d12015-12-26 09:48:00 +0000839// The linker is expected to define SECNAME_start and SECNAME_end
840// symbols for a few sections. This function defines them.
841template <class ELFT> void Writer<ELFT>::addStartEndSymbols() {
842 auto Define = [&](StringRef Start, StringRef End,
843 OutputSectionBase<ELFT> *OS) {
844 if (OS) {
Peter Collingbourne6a422592016-05-03 01:21:08 +0000845 this->Symtab.addSynthetic(Start, OS, 0);
846 this->Symtab.addSynthetic(End, OS, DefinedSynthetic<ELFT>::SectionEnd);
Rui Ueyamaa5d79d12015-12-26 09:48:00 +0000847 } else {
Peter Collingbourne6a422592016-05-03 01:21:08 +0000848 addOptionalSynthetic(this->Symtab, Start,
849 (OutputSectionBase<ELFT> *)nullptr, 0);
850 addOptionalSynthetic(this->Symtab, End,
851 (OutputSectionBase<ELFT> *)nullptr, 0);
Rui Ueyamaa5d79d12015-12-26 09:48:00 +0000852 }
853 };
854
855 Define("__preinit_array_start", "__preinit_array_end",
856 Out<ELFT>::Dynamic->PreInitArraySec);
857 Define("__init_array_start", "__init_array_end",
858 Out<ELFT>::Dynamic->InitArraySec);
859 Define("__fini_array_start", "__fini_array_end",
860 Out<ELFT>::Dynamic->FiniArraySec);
861}
862
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000863// If a section name is valid as a C identifier (which is rare because of
864// the leading '.'), linkers are expected to define __start_<secname> and
865// __stop_<secname> symbols. They are at beginning and end of the section,
866// respectively. This is not requested by the ELF standard, but GNU ld and
867// gold provide the feature, and used by many programs.
868template <class ELFT>
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000869void Writer<ELFT>::addStartStopSymbols(OutputSectionBase<ELFT> *Sec) {
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000870 StringRef S = Sec->getName();
871 if (!isValidCIdentifier(S))
872 return;
873 StringSaver Saver(Alloc);
874 StringRef Start = Saver.save("__start_" + S);
875 StringRef Stop = Saver.save("__stop_" + S);
Rui Ueyama2ef58a12016-01-05 20:35:16 +0000876 if (SymbolBody *B = Symtab.find(Start))
877 if (B->isUndefined())
Peter Collingbourne6a422592016-05-03 01:21:08 +0000878 Symtab.addSynthetic(Start, Sec, 0);
Rui Ueyama2ef58a12016-01-05 20:35:16 +0000879 if (SymbolBody *B = Symtab.find(Stop))
880 if (B->isUndefined())
Peter Collingbourne6a422592016-05-03 01:21:08 +0000881 Symtab.addSynthetic(Stop, Sec, DefinedSynthetic<ELFT>::SectionEnd);
Rui Ueyamad9189ce2015-10-15 17:11:03 +0000882}
883
Rafael Espindolaef762f22016-02-10 23:29:38 +0000884template <class ELFT> static bool needsPtLoad(OutputSectionBase<ELFT> *Sec) {
885 if (!(Sec->getFlags() & SHF_ALLOC))
886 return false;
887
888 // Don't allocate VA space for TLS NOBITS sections. The PT_TLS PHDR is
889 // responsible for allocating space for them, not the PT_LOAD that
890 // contains the TLS initialization image.
891 if (Sec->getFlags() & SHF_TLS && Sec->getType() == SHT_NOBITS)
892 return false;
893 return true;
Michael J. Spencer1d299a82015-09-09 20:48:09 +0000894}
895
Rui Ueyama9eb7ed02015-10-24 18:22:59 +0000896static uint32_t toPhdrFlags(uint64_t Flags) {
897 uint32_t Ret = PF_R;
898 if (Flags & SHF_WRITE)
899 Ret |= PF_W;
900 if (Flags & SHF_EXECINSTR)
901 Ret |= PF_X;
902 return Ret;
903}
904
Rafael Espindola4fc60442016-02-10 22:43:13 +0000905// Decide which program headers to create and which sections to include in each
906// one.
907template <class ELFT> void Writer<ELFT>::createPhdrs() {
908 auto AddHdr = [this](unsigned Type, unsigned Flags) {
909 return &*Phdrs.emplace(Phdrs.end(), Type, Flags);
910 };
George Rimare3336c02015-11-24 10:15:50 +0000911
Rafael Espindola4fc60442016-02-10 22:43:13 +0000912 auto AddSec = [](Phdr &Hdr, OutputSectionBase<ELFT> *Sec) {
913 Hdr.Last = Sec;
914 if (!Hdr.First)
915 Hdr.First = Sec;
Rui Ueyama424b4082016-06-17 01:18:46 +0000916 Hdr.H.p_align = std::max<uintX_t>(Hdr.H.p_align, Sec->getAlignment());
Rafael Espindola4fc60442016-02-10 22:43:13 +0000917 };
Rui Ueyama3486fe52015-10-11 17:44:22 +0000918
Rui Ueyama803195e2015-10-23 21:45:59 +0000919 // The first phdr entry is PT_PHDR which describes the program header itself.
Rafael Espindola4fc60442016-02-10 22:43:13 +0000920 Phdr &Hdr = *AddHdr(PT_PHDR, PF_R);
921 AddSec(Hdr, Out<ELFT>::ProgramHeaders);
Rui Ueyama953c2c42015-10-10 23:59:57 +0000922
Rui Ueyama803195e2015-10-23 21:45:59 +0000923 // PT_INTERP must be the second entry if exists.
Rafael Espindola4fc60442016-02-10 22:43:13 +0000924 if (needsInterpSection()) {
925 Phdr &Hdr = *AddHdr(PT_INTERP, toPhdrFlags(Out<ELFT>::Interp->getFlags()));
926 AddSec(Hdr, Out<ELFT>::Interp);
927 }
Rafael Espindola70107762015-09-11 18:49:42 +0000928
Rui Ueyama803195e2015-10-23 21:45:59 +0000929 // Add the first PT_LOAD segment for regular output sections.
Rafael Espindola4fc60442016-02-10 22:43:13 +0000930 uintX_t Flags = PF_R;
931 Phdr *Load = AddHdr(PT_LOAD, Flags);
932 AddSec(*Load, Out<ELFT>::ElfHeader);
George Rimar7ca06272016-04-06 07:20:45 +0000933 AddSec(*Load, Out<ELFT>::ProgramHeaders);
Rafael Espindola0a2e2112015-09-10 15:41:34 +0000934
Rafael Espindola4fc60442016-02-10 22:43:13 +0000935 Phdr TlsHdr(PT_TLS, PF_R);
936 Phdr RelRo(PT_GNU_RELRO, PF_R);
Rafael Espindola9907eb02016-03-01 13:23:29 +0000937 Phdr Note(PT_NOTE, PF_R);
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +0000938 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
Rafael Espindolaef762f22016-02-10 23:29:38 +0000939 if (!(Sec->getFlags() & SHF_ALLOC))
Rafael Espindola4fc60442016-02-10 22:43:13 +0000940 break;
Rafael Espindola97cbe3e32015-12-23 15:20:38 +0000941
Rafael Espindolaef762f22016-02-10 23:29:38 +0000942 // If we meet TLS section then we create TLS header
943 // and put all TLS sections inside for futher use when
944 // assign addresses.
945 if (Sec->getFlags() & SHF_TLS)
946 AddSec(TlsHdr, Sec);
947
948 if (!needsPtLoad<ELFT>(Sec))
949 continue;
950
Rafael Espindola4fc60442016-02-10 22:43:13 +0000951 // If flags changed then we want new load segment.
952 uintX_t NewFlags = toPhdrFlags(Sec->getFlags());
953 if (Flags != NewFlags) {
Rafael Espindolae090fb22016-03-09 21:37:22 +0000954 Load = AddHdr(PT_LOAD, NewFlags);
Rafael Espindola4fc60442016-02-10 22:43:13 +0000955 Flags = NewFlags;
956 }
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000957
Rafael Espindola4fc60442016-02-10 22:43:13 +0000958 AddSec(*Load, Sec);
959
960 if (isRelroSection(Sec))
961 AddSec(RelRo, Sec);
Rafael Espindola9907eb02016-03-01 13:23:29 +0000962 if (Sec->getType() == SHT_NOTE)
963 AddSec(Note, Sec);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000964 }
Rafael Espindola6b83b902015-08-12 00:00:24 +0000965
Rafael Espindola4fc60442016-02-10 22:43:13 +0000966 // Add the TLS segment unless it's empty.
967 if (TlsHdr.First)
968 Phdrs.push_back(std::move(TlsHdr));
Michael J. Spencer78aa1de2015-11-03 00:34:39 +0000969
Rui Ueyama803195e2015-10-23 21:45:59 +0000970 // Add an entry for .dynamic.
Michael J. Spencer350e5b52015-10-12 23:39:23 +0000971 if (isOutputDynamic()) {
Rafael Espindola4fc60442016-02-10 22:43:13 +0000972 Phdr &H = *AddHdr(PT_DYNAMIC, toPhdrFlags(Out<ELFT>::Dynamic->getFlags()));
973 AddSec(H, Out<ELFT>::Dynamic);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +0000974 }
Rafael Espindola91009b32015-08-12 01:45:28 +0000975
Rafael Espindola4fc60442016-02-10 22:43:13 +0000976 // PT_GNU_RELRO includes all sections that should be marked as
977 // read-only by dynamic linker after proccessing relocations.
978 if (RelRo.First)
979 Phdrs.push_back(std::move(RelRo));
George Rimare3336c02015-11-24 10:15:50 +0000980
Rafael Espindola4fc60442016-02-10 22:43:13 +0000981 // PT_GNU_EH_FRAME is a special section pointing on .eh_frame_hdr.
Rui Ueyama3b31e672016-05-23 16:24:16 +0000982 if (!Out<ELFT>::EhFrame->empty() && Out<ELFT>::EhFrameHdr) {
Rafael Espindola4fc60442016-02-10 22:43:13 +0000983 Phdr &Hdr = *AddHdr(PT_GNU_EH_FRAME,
984 toPhdrFlags(Out<ELFT>::EhFrameHdr->getFlags()));
985 AddSec(Hdr, Out<ELFT>::EhFrameHdr);
George Rimarf6bc65a2016-01-15 13:34:52 +0000986 }
987
Rui Ueyamae79b09a2015-11-21 22:19:32 +0000988 // PT_GNU_STACK is a special section to tell the loader to make the
989 // pages for the stack non-executable.
Rafael Espindola4fc60442016-02-10 22:43:13 +0000990 if (!Config->ZExecStack)
991 AddHdr(PT_GNU_STACK, PF_R | PF_W);
Rafael Espindola9907eb02016-03-01 13:23:29 +0000992
993 if (Note.First)
994 Phdrs.push_back(std::move(Note));
George Rimar687788c2016-04-01 17:30:52 +0000995
996 Out<ELFT>::ProgramHeaders->setSize(sizeof(Elf_Phdr) * Phdrs.size());
Rafael Espindola4fc60442016-02-10 22:43:13 +0000997}
998
Rui Ueyama47091902016-03-30 19:41:51 +0000999// The first section of each PT_LOAD and the first section after PT_GNU_RELRO
1000// have to be page aligned so that the dynamic linker can set the permissions.
1001template <class ELFT> void Writer<ELFT>::fixSectionAlignments() {
1002 for (const Phdr &P : Phdrs)
1003 if (P.H.p_type == PT_LOAD)
1004 P.First->PageAlign = true;
1005
1006 for (const Phdr &P : Phdrs) {
1007 if (P.H.p_type != PT_GNU_RELRO)
1008 continue;
1009 // Find the first section after PT_GNU_RELRO. If it is in a PT_LOAD we
1010 // have to align it to a page.
1011 auto End = OutputSections.end();
1012 auto I = std::find(OutputSections.begin(), End, P.Last);
1013 if (I == End || (I + 1) == End)
1014 continue;
1015 OutputSectionBase<ELFT> *Sec = *(I + 1);
1016 if (needsPtLoad(Sec))
1017 Sec->PageAlign = true;
1018 }
1019}
1020
George Rimar7ca06272016-04-06 07:20:45 +00001021// We should set file offsets and VAs for elf header and program headers
1022// sections. These are special, we do not include them into output sections
1023// list, but have them to simplify the code.
1024template <class ELFT> void Writer<ELFT>::fixHeaders() {
Rui Ueyama07320e42016-04-20 20:13:41 +00001025 uintX_t BaseVA = ScriptConfig->DoLayout ? 0 : Target->getVAStart();
Rui Ueyama52c4e172016-07-01 10:42:25 +00001026 Out<ELFT>::ElfHeader->setVA(BaseVA);
George Rimar7ca06272016-04-06 07:20:45 +00001027 uintX_t Off = Out<ELFT>::ElfHeader->getSize();
Rui Ueyama52c4e172016-07-01 10:42:25 +00001028 Out<ELFT>::ProgramHeaders->setVA(Off + BaseVA);
George Rimar7ca06272016-04-06 07:20:45 +00001029}
1030
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001031// Assign VAs (addresses at run-time) to output sections.
Rafael Espindola4fc60442016-02-10 22:43:13 +00001032template <class ELFT> void Writer<ELFT>::assignAddresses() {
George Rimar7ca06272016-04-06 07:20:45 +00001033 uintX_t VA = Target->getVAStart() + Out<ELFT>::ElfHeader->getSize() +
1034 Out<ELFT>::ProgramHeaders->getSize();
Rafael Espindola4fc60442016-02-10 22:43:13 +00001035
George Rimar7ca06272016-04-06 07:20:45 +00001036 uintX_t ThreadBssOffset = 0;
Rafael Espindola4fc60442016-02-10 22:43:13 +00001037 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
Rui Ueyama424b4082016-06-17 01:18:46 +00001038 uintX_t Alignment = Sec->getAlignment();
Rui Ueyama47091902016-03-30 19:41:51 +00001039 if (Sec->PageAlign)
Rui Ueyama424b4082016-06-17 01:18:46 +00001040 Alignment = std::max<uintX_t>(Alignment, Target->PageSize);
Rafael Espindola4fc60442016-02-10 22:43:13 +00001041
1042 // We only assign VAs to allocated sections.
Rafael Espindolaef762f22016-02-10 23:29:38 +00001043 if (needsPtLoad<ELFT>(Sec)) {
Rui Ueyama424b4082016-06-17 01:18:46 +00001044 VA = alignTo(VA, Alignment);
Rafael Espindolaef762f22016-02-10 23:29:38 +00001045 Sec->setVA(VA);
1046 VA += Sec->getSize();
1047 } else if (Sec->getFlags() & SHF_TLS && Sec->getType() == SHT_NOBITS) {
1048 uintX_t TVA = VA + ThreadBssOffset;
Rui Ueyama424b4082016-06-17 01:18:46 +00001049 TVA = alignTo(TVA, Alignment);
Rafael Espindolaef762f22016-02-10 23:29:38 +00001050 Sec->setVA(TVA);
1051 ThreadBssOffset = TVA - VA + Sec->getSize();
Rafael Espindola4fc60442016-02-10 22:43:13 +00001052 }
Rui Ueyama69960ba2015-10-10 23:25:39 +00001053 }
George Rimar900a2602016-04-01 10:49:14 +00001054}
1055
George Rimar5f857322016-04-27 09:16:28 +00001056// Adjusts the file alignment for a given output section and returns
1057// its new file offset. The file offset must be the same with its
1058// virtual address (modulo the page size) so that the loader can load
1059// executables without any address adjustment.
1060template <class ELFT, class uintX_t>
1061static uintX_t getFileAlignment(uintX_t Off, OutputSectionBase<ELFT> *Sec) {
Rui Ueyama424b4082016-06-17 01:18:46 +00001062 uintX_t Alignment = Sec->getAlignment();
George Rimar5f857322016-04-27 09:16:28 +00001063 if (Sec->PageAlign)
Rui Ueyama424b4082016-06-17 01:18:46 +00001064 Alignment = std::max<uintX_t>(Alignment, Target->PageSize);
1065 Off = alignTo(Off, Alignment);
George Rimar5f857322016-04-27 09:16:28 +00001066
1067 // Relocatable output does not have program headers
1068 // and does not need any other offset adjusting.
1069 if (Config->Relocatable || !(Sec->getFlags() & SHF_ALLOC))
1070 return Off;
1071 return alignTo(Off, Target->PageSize, Sec->getVA());
1072}
1073
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001074// Assign file offsets to output sections.
1075template <class ELFT> void Writer<ELFT>::assignFileOffsets() {
Eugene Leviant467c4d52016-07-01 10:27:36 +00001076 uintX_t Off = 0;
George Rimar7ca06272016-04-06 07:20:45 +00001077
Eugene Leviant467c4d52016-07-01 10:27:36 +00001078 auto Set = [&](OutputSectionBase<ELFT> *Sec) {
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001079 if (Sec->getType() == SHT_NOBITS) {
1080 Sec->setFileOffset(Off);
Eugene Leviant467c4d52016-07-01 10:27:36 +00001081 return;
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001082 }
George Rimar5f857322016-04-27 09:16:28 +00001083
1084 Off = getFileAlignment<ELFT>(Off, Sec);
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001085 Sec->setFileOffset(Off);
1086 Off += Sec->getSize();
Eugene Leviant467c4d52016-07-01 10:27:36 +00001087 };
1088
1089 Set(Out<ELFT>::ElfHeader);
1090 Set(Out<ELFT>::ProgramHeaders);
1091 for (OutputSectionBase<ELFT> *Sec : OutputSections)
1092 Set(Sec);
1093
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001094 SectionHeaderOff = alignTo(Off, sizeof(uintX_t));
George Rimar7ca06272016-04-06 07:20:45 +00001095 FileSize = SectionHeaderOff + (OutputSections.size() + 1) * sizeof(Elf_Shdr);
Rui Ueyamae044e9c2016-04-01 17:07:17 +00001096}
1097
1098// Finalize the program headers. We call this function after we assign
1099// file offsets and VAs to all sections.
1100template <class ELFT> void Writer<ELFT>::setPhdrs() {
Rui Ueyamae8a45e42016-04-01 22:42:04 +00001101 for (Phdr &P : Phdrs) {
1102 Elf_Phdr &H = P.H;
1103 OutputSectionBase<ELFT> *First = P.First;
1104 OutputSectionBase<ELFT> *Last = P.Last;
1105 if (First) {
1106 H.p_filesz = Last->getFileOff() - First->getFileOff();
Rafael Espindola4fc60442016-02-10 22:43:13 +00001107 if (Last->getType() != SHT_NOBITS)
1108 H.p_filesz += Last->getSize();
Rui Ueyamae8a45e42016-04-01 22:42:04 +00001109 H.p_memsz = Last->getVA() + Last->getSize() - First->getVA();
1110 H.p_offset = First->getFileOff();
1111 H.p_vaddr = First->getVA();
Rafael Espindola4fc60442016-02-10 22:43:13 +00001112 }
George Rimar6de3f632016-03-01 08:46:03 +00001113 if (H.p_type == PT_LOAD)
Rafael Espindola4fc60442016-02-10 22:43:13 +00001114 H.p_align = Target->PageSize;
George Rimar6de3f632016-03-01 08:46:03 +00001115 else if (H.p_type == PT_GNU_RELRO)
Rafael Espindola4fc60442016-02-10 22:43:13 +00001116 H.p_align = 1;
1117 H.p_paddr = H.p_vaddr;
1118
1119 // The TLS pointer goes after PT_TLS. At least glibc will align it,
1120 // so round up the size to make sure the offsets are correct.
George Rimar6de3f632016-03-01 08:46:03 +00001121 if (H.p_type == PT_TLS) {
Rafael Espindola4fc60442016-02-10 22:43:13 +00001122 Out<ELFT>::TlsPhdr = &H;
1123 H.p_memsz = alignTo(H.p_memsz, H.p_align);
Rui Ueyama803195e2015-10-23 21:45:59 +00001124 }
1125 }
Michael J. Spencer84487f12015-07-24 21:03:07 +00001126}
1127
Simon Atanasyanae77ab72016-04-29 10:39:17 +00001128static uint32_t getMipsEFlags(bool Is64Bits) {
Simon Atanasyan034c4cd2015-12-19 05:51:49 +00001129 // FIXME: In fact ELF flags depends on ELF flags of input object files
Simon Atanasyandb147eb2016-01-12 06:24:02 +00001130 // and selected emulation. For now just use hard coded values.
Simon Atanasyanae77ab72016-04-29 10:39:17 +00001131 if (Is64Bits)
1132 return EF_MIPS_CPIC | EF_MIPS_PIC | EF_MIPS_ARCH_64R2;
1133
1134 uint32_t V = EF_MIPS_CPIC | EF_MIPS_ABI_O32 | EF_MIPS_ARCH_32R2;
Simon Atanasyan034c4cd2015-12-19 05:51:49 +00001135 if (Config->Shared)
1136 V |= EF_MIPS_PIC;
1137 return V;
1138}
1139
Rui Ueyama9328b2c2016-03-14 23:16:09 +00001140template <class ELFT> static typename ELFT::uint getEntryAddr() {
Rafael Espindola38c67a22016-04-15 14:41:56 +00001141 if (Symbol *S = Config->EntrySym)
Peter Collingbourne4f952702016-05-01 04:55:03 +00001142 return S->body()->getVA<ELFT>();
Rui Ueyama3bfaba92015-12-24 08:37:34 +00001143 if (Config->EntryAddr != uint64_t(-1))
1144 return Config->EntryAddr;
1145 return 0;
1146}
1147
Rui Ueyama4cea4e82016-02-25 19:28:37 +00001148template <class ELFT> static uint8_t getELFEncoding() {
1149 if (ELFT::TargetEndianness == llvm::support::little)
1150 return ELFDATA2LSB;
1151 return ELFDATA2MSB;
1152}
1153
1154static uint16_t getELFType() {
George Rimar786e8662016-03-17 05:57:33 +00001155 if (Config->Pic)
Rui Ueyama4cea4e82016-02-25 19:28:37 +00001156 return ET_DYN;
1157 if (Config->Relocatable)
1158 return ET_REL;
1159 return ET_EXEC;
1160}
1161
Rui Ueyama1a311f12015-12-26 10:52:26 +00001162// This function is called after we have assigned address and size
1163// to each section. This function fixes some predefined absolute
1164// symbol values that depend on section address and size.
1165template <class ELFT> void Writer<ELFT>::fixAbsoluteSymbols() {
George Rimard5d54472016-06-20 13:30:37 +00001166 auto Set = [](DefinedRegular<ELFT> *S1, DefinedRegular<ELFT> *S2, uintX_t V) {
Rui Ueyama467dbdd2016-04-21 20:50:15 +00001167 if (S1)
1168 S1->Value = V;
1169 if (S2)
1170 S2->Value = V;
1171 };
1172
George Rimar2abc5872016-03-01 19:18:07 +00001173 // _etext is the first location after the last read-only loadable segment.
1174 // _edata is the first location after the last read-write loadable segment.
George Rimarefded312016-04-01 10:23:32 +00001175 // _end is the first location after the uninitialized data region.
Rui Ueyamae8a45e42016-04-01 22:42:04 +00001176 for (Phdr &P : Phdrs) {
1177 Elf_Phdr &H = P.H;
1178 if (H.p_type != PT_LOAD)
George Rimar9e859392016-02-26 14:36:36 +00001179 continue;
Rui Ueyama467dbdd2016-04-21 20:50:15 +00001180 Set(ElfSym<ELFT>::End, ElfSym<ELFT>::End2, H.p_vaddr + H.p_memsz);
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +00001181
George Rimar8bbff7e2016-04-14 14:37:59 +00001182 uintX_t Val = H.p_vaddr + H.p_filesz;
1183 if (H.p_flags & PF_W)
Rui Ueyama467dbdd2016-04-21 20:50:15 +00001184 Set(ElfSym<ELFT>::Edata, ElfSym<ELFT>::Edata2, Val);
George Rimar8bbff7e2016-04-14 14:37:59 +00001185 else
Rui Ueyama467dbdd2016-04-21 20:50:15 +00001186 Set(ElfSym<ELFT>::Etext, ElfSym<ELFT>::Etext2, Val);
George Rimar9e859392016-02-26 14:36:36 +00001187 }
Rui Ueyama1a311f12015-12-26 10:52:26 +00001188}
1189
Michael J. Spencer84487f12015-07-24 21:03:07 +00001190template <class ELFT> void Writer<ELFT>::writeHeader() {
1191 uint8_t *Buf = Buffer->getBufferStart();
Rui Ueyamae08cd672015-10-23 22:44:39 +00001192 memcpy(Buf, "\177ELF", 4);
1193
Rui Ueyama4cea4e82016-02-25 19:28:37 +00001194 auto &FirstObj = cast<ELFFileBase<ELFT>>(*Config->FirstElf);
1195
Rui Ueyama6621d8e2015-10-24 17:57:40 +00001196 // Write the ELF header.
Rafael Espindola18608a02015-09-08 21:57:31 +00001197 auto *EHdr = reinterpret_cast<Elf_Ehdr *>(Buf);
Rafael Espindola4b7c2fc2015-08-05 15:08:40 +00001198 EHdr->e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32;
Rui Ueyama4cea4e82016-02-25 19:28:37 +00001199 EHdr->e_ident[EI_DATA] = getELFEncoding<ELFT>();
Michael J. Spencer84487f12015-07-24 21:03:07 +00001200 EHdr->e_ident[EI_VERSION] = EV_CURRENT;
Davide Italianoaa7c5332015-09-25 01:59:13 +00001201 EHdr->e_ident[EI_OSABI] = FirstObj.getOSABI();
Rui Ueyama4cea4e82016-02-25 19:28:37 +00001202 EHdr->e_type = getELFType();
Rui Ueyama5e64d3f2016-06-29 01:30:50 +00001203 EHdr->e_machine = FirstObj.EMachine;
Michael J. Spencer84487f12015-07-24 21:03:07 +00001204 EHdr->e_version = EV_CURRENT;
Rui Ueyama3bfaba92015-12-24 08:37:34 +00001205 EHdr->e_entry = getEntryAddr<ELFT>();
Michael J. Spencer8039dae22015-07-29 00:30:10 +00001206 EHdr->e_shoff = SectionHeaderOff;
Rafael Espindola18608a02015-09-08 21:57:31 +00001207 EHdr->e_ehsize = sizeof(Elf_Ehdr);
Rui Ueyama2f1b79f2015-10-10 22:34:30 +00001208 EHdr->e_phnum = Phdrs.size();
Rafael Espindola18608a02015-09-08 21:57:31 +00001209 EHdr->e_shentsize = sizeof(Elf_Shdr);
George Rimar7ca06272016-04-06 07:20:45 +00001210 EHdr->e_shnum = OutputSections.size() + 1;
George Rimar0f5ac9f2015-10-20 17:21:35 +00001211 EHdr->e_shstrndx = Out<ELFT>::ShStrTab->SectionIndex;
Rui Ueyama6621d8e2015-10-24 17:57:40 +00001212
Rui Ueyama22b5d1f2016-03-13 19:29:17 +00001213 if (Config->EMachine == EM_MIPS)
Simon Atanasyanae77ab72016-04-29 10:39:17 +00001214 EHdr->e_flags = getMipsEFlags(ELFT::Is64Bits);
Rui Ueyama22b5d1f2016-03-13 19:29:17 +00001215
George Rimar58941ee2016-02-25 08:23:37 +00001216 if (!Config->Relocatable) {
1217 EHdr->e_phoff = sizeof(Elf_Ehdr);
1218 EHdr->e_phentsize = sizeof(Elf_Phdr);
1219 }
1220
Rui Ueyama6621d8e2015-10-24 17:57:40 +00001221 // Write the program header table.
Rafael Espindola4fc60442016-02-10 22:43:13 +00001222 auto *HBuf = reinterpret_cast<Elf_Phdr *>(Buf + EHdr->e_phoff);
1223 for (Phdr &P : Phdrs)
1224 *HBuf++ = P.H;
Rafael Espindolae438e072015-09-08 22:55:28 +00001225
Rui Ueyama6621d8e2015-10-24 17:57:40 +00001226 // Write the section header table. Note that the first table entry is null.
Rui Ueyamaad59b652016-02-25 23:58:21 +00001227 auto *SHdrs = reinterpret_cast<Elf_Shdr *>(Buf + EHdr->e_shoff);
George Rimar7ca06272016-04-06 07:20:45 +00001228 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Rui Ueyama6621d8e2015-10-24 17:57:40 +00001229 Sec->writeHeaderTo(++SHdrs);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001230}
1231
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +00001232template <class ELFT> void Writer<ELFT>::openFile() {
Rafael Espindolabdc8f2f2015-08-13 00:31:46 +00001233 ErrorOr<std::unique_ptr<FileOutputBuffer>> BufferOrErr =
Rui Ueyamacbe39262016-02-02 22:48:04 +00001234 FileOutputBuffer::create(Config->OutputFile, FileSize,
1235 FileOutputBuffer::F_executable);
Rui Ueyamaf7f52ef2016-04-01 17:24:19 +00001236 if (BufferOrErr)
1237 Buffer = std::move(*BufferOrErr);
1238 else
Rui Ueyama6eafa7f2016-03-13 04:25:41 +00001239 error(BufferOrErr, "failed to open " + Config->OutputFile);
Michael J. Spencer84487f12015-07-24 21:03:07 +00001240}
1241
1242// Write section contents to a mmap'ed file.
1243template <class ELFT> void Writer<ELFT>::writeSections() {
1244 uint8_t *Buf = Buffer->getBufferStart();
Hal Finkeldaedc122015-10-12 23:16:53 +00001245
1246 // PPC64 needs to process relocations in the .opd section before processing
1247 // relocations in code-containing sections.
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +00001248 if (OutputSectionBase<ELFT> *Sec = Out<ELFT>::Opd) {
Rafael Espindola7a513052015-10-13 14:45:51 +00001249 Out<ELFT>::OpdBuf = Buf + Sec->getFileOff();
1250 Sec->writeTo(Buf + Sec->getFileOff());
1251 }
Hal Finkeldaedc122015-10-12 23:16:53 +00001252
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +00001253 for (OutputSectionBase<ELFT> *Sec : OutputSections)
Rafael Espindola4d91f7f2016-02-01 21:52:00 +00001254 if (Sec != Out<ELFT>::Opd)
Hal Finkeldaedc122015-10-12 23:16:53 +00001255 Sec->writeTo(Buf + Sec->getFileOff());
Michael J. Spencer84487f12015-07-24 21:03:07 +00001256}
Rui Ueyama3ce825e2015-10-09 21:07:25 +00001257
Rui Ueyama634ddf02016-03-11 20:51:53 +00001258template <class ELFT> void Writer<ELFT>::writeBuildId() {
1259 BuildIdSection<ELFT> *S = Out<ELFT>::BuildId;
1260 if (!S)
1261 return;
1262
1263 // Compute a hash of all sections except .debug_* sections.
1264 // We skip debug sections because they tend to be very large
1265 // and their contents are very likely to be the same as long as
1266 // other sections are the same.
1267 uint8_t *Start = Buffer->getBufferStart();
1268 uint8_t *Last = Start;
Rui Ueyamadd368fc2016-05-02 23:35:59 +00001269 std::vector<ArrayRef<uint8_t>> Regions;
Rui Ueyama634ddf02016-03-11 20:51:53 +00001270 for (OutputSectionBase<ELFT> *Sec : OutputSections) {
1271 uint8_t *End = Start + Sec->getFileOff();
1272 if (!Sec->getName().startswith(".debug_"))
Rui Ueyamadd368fc2016-05-02 23:35:59 +00001273 Regions.push_back({Last, End});
Rui Ueyama634ddf02016-03-11 20:51:53 +00001274 Last = End;
1275 }
Rui Ueyamadd368fc2016-05-02 23:35:59 +00001276 Regions.push_back({Last, Start + FileSize});
1277 S->writeBuildId(Regions);
Rui Ueyama634ddf02016-03-11 20:51:53 +00001278}
1279
Rafael Espindolae0df00b2016-02-28 00:25:54 +00001280template void elf::writeResult<ELF32LE>(SymbolTable<ELF32LE> *Symtab);
1281template void elf::writeResult<ELF32BE>(SymbolTable<ELF32BE> *Symtab);
1282template void elf::writeResult<ELF64LE>(SymbolTable<ELF64LE> *Symtab);
1283template void elf::writeResult<ELF64BE>(SymbolTable<ELF64BE> *Symtab);