blob: b25aa0683655fc1294aa9762ef06024f9b375a7c [file] [log] [blame]
Rafael Espindola5805c4f2015-09-21 21:38:08 +00001//===- OutputSections.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
10#include "OutputSections.h"
11#include "Config.h"
Rui Ueyama95642b92016-11-01 23:09:07 +000012#include "LinkerScript.h"
Rui Ueyama9381eb12016-12-18 14:06:06 +000013#include "Memory.h"
Rui Ueyamafbbde542016-06-29 09:08:02 +000014#include "Strings.h"
Rafael Espindola5805c4f2015-09-21 21:38:08 +000015#include "SymbolTable.h"
Rui Ueyamae8a61022016-11-05 23:05:47 +000016#include "SyntheticSections.h"
Rafael Espindola01205f72015-09-22 18:19:46 +000017#include "Target.h"
Rui Ueyama244a4352016-12-03 21:24:51 +000018#include "Threads.h"
George Rimardbf93392017-04-17 08:58:12 +000019#include "llvm/Support/Compression.h"
George Rimarf6bc65a2016-01-15 13:34:52 +000020#include "llvm/Support/Dwarf.h"
Rui Ueyama3a41be22016-04-07 22:49:21 +000021#include "llvm/Support/MD5.h"
Igor Kudrin1b0d7062015-10-22 08:21:35 +000022#include "llvm/Support/MathExtras.h"
Rafael Espindolaa42b3bc2016-09-27 16:43:49 +000023#include "llvm/Support/SHA1.h"
Rafael Espindola5805c4f2015-09-21 21:38:08 +000024
Rafael Espindola5805c4f2015-09-21 21:38:08 +000025using namespace llvm;
Rui Ueyamadbcfedb2016-02-09 21:46:11 +000026using namespace llvm::dwarf;
Rafael Espindola5805c4f2015-09-21 21:38:08 +000027using namespace llvm::object;
Rafael Espindolaa6627382015-10-06 23:56:53 +000028using namespace llvm::support::endian;
Rafael Espindola5805c4f2015-09-21 21:38:08 +000029using namespace llvm::ELF;
30
31using namespace lld;
Rafael Espindolae0df00b2016-02-28 00:25:54 +000032using namespace lld::elf;
Rafael Espindola5805c4f2015-09-21 21:38:08 +000033
Rui Ueyama9d1bacb12017-02-27 02:31:26 +000034uint8_t Out::First;
Rui Ueyama9d1bacb12017-02-27 02:31:26 +000035OutputSection *Out::Opd;
36uint8_t *Out::OpdBuf;
37PhdrEntry *Out::TlsPhdr;
38OutputSection *Out::DebugInfo;
39OutputSection *Out::ElfHeader;
40OutputSection *Out::ProgramHeaders;
41OutputSection *Out::PreinitArray;
42OutputSection *Out::InitArray;
43OutputSection *Out::FiniArray;
44
Rafael Espindola24e6f362017-02-24 15:07:30 +000045uint32_t OutputSection::getPhdrFlags() const {
Rafael Espindola0b113672016-07-27 14:10:56 +000046 uint32_t Ret = PF_R;
47 if (Flags & SHF_WRITE)
48 Ret |= PF_W;
49 if (Flags & SHF_EXECINSTR)
50 Ret |= PF_X;
51 return Ret;
52}
53
Rafael Espindola35c6af32015-09-25 17:19:10 +000054template <class ELFT>
Rafael Espindola24e6f362017-02-24 15:07:30 +000055void OutputSection::writeHeaderTo(typename ELFT::Shdr *Shdr) {
Rafael Espindola04a2e342016-11-09 01:42:41 +000056 Shdr->sh_entsize = Entsize;
Rafael Espindola37707632017-03-07 14:55:52 +000057 Shdr->sh_addralign = Alignment;
Rafael Espindola04a2e342016-11-09 01:42:41 +000058 Shdr->sh_type = Type;
59 Shdr->sh_offset = Offset;
60 Shdr->sh_flags = Flags;
61 Shdr->sh_info = Info;
62 Shdr->sh_link = Link;
Rafael Espindolaea590d92017-02-08 15:19:03 +000063 Shdr->sh_addr = Addr;
Rafael Espindola04a2e342016-11-09 01:42:41 +000064 Shdr->sh_size = Size;
65 Shdr->sh_name = ShName;
Rui Ueyamac63c1db2016-03-13 06:50:33 +000066}
67
Rafael Espindola24e6f362017-02-24 15:07:30 +000068OutputSection::OutputSection(StringRef Name, uint32_t Type, uint64_t Flags)
Rafael Espindola5616adf2017-03-08 22:36:28 +000069 : SectionBase(Output, Name, Flags, /*Entsize*/ 0, /*Alignment*/ 1, Type,
70 /*Info*/ 0,
Rafael Espindola660c9ab2017-05-05 21:34:26 +000071 /*Link*/ 0),
72 SectionIndex(INT_MAX) {}
George Rimar58941ee2016-02-25 08:23:37 +000073
Rafael Espindola774ea7d2017-02-23 16:49:07 +000074static bool compareByFilePosition(InputSection *A, InputSection *B) {
Peter Smith719eb8e2016-11-24 11:43:55 +000075 // Synthetic doesn't have link order dependecy, stable_sort will keep it last
Rafael Espindolac404d502017-02-23 02:32:18 +000076 if (A->kind() == InputSectionBase::Synthetic ||
77 B->kind() == InputSectionBase::Synthetic)
Peter Smith719eb8e2016-11-24 11:43:55 +000078 return false;
George Rimar9353e2d2017-03-21 08:29:48 +000079 auto *LA = cast<InputSection>(A->getLinkOrderDep());
80 auto *LB = cast<InputSection>(B->getLinkOrderDep());
Rafael Espindola24e6f362017-02-24 15:07:30 +000081 OutputSection *AOut = LA->OutSec;
82 OutputSection *BOut = LB->OutSec;
Rafael Espindola4d2d9c02016-11-18 19:02:15 +000083 if (AOut != BOut)
84 return AOut->SectionIndex < BOut->SectionIndex;
85 return LA->OutSecOff < LB->OutSecOff;
86}
87
Rui Ueyama066c4ab2017-04-19 11:31:58 +000088// Compress section contents if this section contains debug info.
George Rimardbf93392017-04-17 08:58:12 +000089template <class ELFT> void OutputSection::maybeCompress() {
Rui Ueyama066c4ab2017-04-19 11:31:58 +000090 typedef typename ELFT::Chdr Elf_Chdr;
91
92 // Compress only DWARF debug sections.
Rui Ueyama196adec2017-04-19 11:58:59 +000093 if (!Config->CompressDebugSections || (Flags & SHF_ALLOC) ||
Rui Ueyama066c4ab2017-04-19 11:31:58 +000094 !Name.startswith(".debug_"))
George Rimardbf93392017-04-17 08:58:12 +000095 return;
96
Rui Ueyama066c4ab2017-04-19 11:31:58 +000097 // Create a section header.
Rui Ueyama07c62c12017-04-19 11:32:13 +000098 ZDebugHeader.resize(sizeof(Elf_Chdr));
99 auto *Hdr = reinterpret_cast<Elf_Chdr *>(ZDebugHeader.data());
Rui Ueyama066c4ab2017-04-19 11:31:58 +0000100 Hdr->ch_type = ELFCOMPRESS_ZLIB;
101 Hdr->ch_size = Size;
102 Hdr->ch_addralign = Alignment;
George Rimardbf93392017-04-17 08:58:12 +0000103
Rui Ueyama066c4ab2017-04-19 11:31:58 +0000104 // Write section contents to a temporary buffer and compress it.
105 std::vector<uint8_t> Buf(Size);
106 writeTo<ELFT>(Buf.data());
107 if (Error E = zlib::compress(toStringRef(Buf), CompressedData))
George Rimardbf93392017-04-17 08:58:12 +0000108 fatal("compress failed: " + llvm::toString(std::move(E)));
109
Rui Ueyama066c4ab2017-04-19 11:31:58 +0000110 // Update section headers.
111 Size = sizeof(Elf_Chdr) + CompressedData.size();
112 Flags |= SHF_COMPRESSED;
George Rimardbf93392017-04-17 08:58:12 +0000113}
114
Rafael Espindola24e6f362017-02-24 15:07:30 +0000115template <class ELFT> void OutputSection::finalize() {
Eugene Levianta96d9022016-11-16 10:02:27 +0000116 if ((this->Flags & SHF_LINK_ORDER) && !this->Sections.empty()) {
George Rimar9353e2d2017-03-21 08:29:48 +0000117 std::sort(Sections.begin(), Sections.end(), compareByFilePosition);
George Rimarf98c5c12017-03-16 10:24:54 +0000118 assignOffsets();
Rafael Espindola4d2d9c02016-11-18 19:02:15 +0000119
Rafael Espindola933fcab2016-11-17 23:16:39 +0000120 // We must preserve the link order dependency of sections with the
121 // SHF_LINK_ORDER flag. The dependency is indicated by the sh_link field. We
122 // need to translate the InputSection sh_link to the OutputSection sh_link,
123 // all InputSections in the OutputSection have the same dependency.
George Rimar9353e2d2017-03-21 08:29:48 +0000124 if (auto *D = this->Sections.front()->getLinkOrderDep())
Eugene Levianta96d9022016-11-16 10:02:27 +0000125 this->Link = D->OutSec->SectionIndex;
Peter Smith580ba952016-10-21 11:25:33 +0000126 }
Eugene Leviant22eb0262016-11-14 09:16:00 +0000127
Rafael Espindola933fcab2016-11-17 23:16:39 +0000128 uint32_t Type = this->Type;
Rui Ueyamad57e74b72017-03-17 23:29:01 +0000129 if (!Config->CopyRelocs || (Type != SHT_RELA && Type != SHT_REL))
George Rimar58941ee2016-02-25 08:23:37 +0000130 return;
Rafael Espindola933fcab2016-11-17 23:16:39 +0000131
Rafael Espindola774ea7d2017-02-23 16:49:07 +0000132 InputSection *First = Sections[0];
Rui Ueyama9320cb02017-02-27 02:56:02 +0000133 if (isa<SyntheticSection>(First))
Rafael Espindola82f00ec2017-02-16 14:23:43 +0000134 return;
135
Eugene Leviant9230db92016-11-17 09:16:34 +0000136 this->Link = In<ELFT>::SymTab->OutSec->SectionIndex;
George Rimar58941ee2016-02-25 08:23:37 +0000137 // sh_info for SHT_REL[A] sections should contain the section header index of
138 // the section to which the relocation applies.
George Rimar1ec03e42017-03-21 09:13:27 +0000139 InputSectionBase *S = First->getRelocatedSection();
Rafael Espindola04a2e342016-11-09 01:42:41 +0000140 this->Info = S->OutSec->SectionIndex;
George Rimar58941ee2016-02-25 08:23:37 +0000141}
Rafael Espindola35c6af32015-09-25 17:19:10 +0000142
George Rimard86a4e52017-05-08 10:18:12 +0000143static uint64_t updateOffset(uint64_t Off, InputSection *S) {
144 Off = alignTo(Off, S->Alignment);
145 S->OutSecOff = Off;
146 return Off + S->getSize();
147}
148
Rafael Espindoladc8eb812017-04-07 01:40:21 +0000149void OutputSection::addSection(InputSection *S) {
150 assert(S->Live);
Rui Ueyama40845e62015-12-26 05:51:07 +0000151 Sections.push_back(S);
152 S->OutSec = this;
Rui Ueyama424b4082016-06-17 01:18:46 +0000153 this->updateAlignment(S->Alignment);
Rui Ueyama27876642017-03-01 04:04:23 +0000154
George Rimard86a4e52017-05-08 10:18:12 +0000155 // The actual offsets will be computed by assignAddresses. For now, use
156 // crude approximation so that it is at least easy for other code to know the
157 // section order. It is also used to calculate the output section size early
158 // for compressed debug sections.
159 this->Size = updateOffset(Size, S);
160
Rui Ueyama27876642017-03-01 04:04:23 +0000161 // If this section contains a table of fixed-size entries, sh_entsize
162 // holds the element size. Consequently, if this contains two or more
163 // input sections, all of them must have the same sh_entsize. However,
164 // you can put different types of input sections into one output
165 // sectin by using linker scripts. I don't know what to do here.
166 // Probably we sholuld handle that as an error. But for now we just
167 // pick the largest sh_entsize.
168 this->Entsize = std::max(this->Entsize, S->Entsize);
Rafael Espindola5805c4f2015-09-21 21:38:08 +0000169}
170
Rui Ueyama809d8e22016-06-23 04:33:42 +0000171// This function is called after we sort input sections
172// and scan relocations to setup sections' offsets.
George Rimarf98c5c12017-03-16 10:24:54 +0000173void OutputSection::assignOffsets() {
George Rimarefc31dd2017-03-01 11:10:53 +0000174 uint64_t Off = 0;
George Rimard86a4e52017-05-08 10:18:12 +0000175 for (InputSection *S : Sections)
176 Off = updateOffset(Off, S);
Rafael Espindola04a2e342016-11-09 01:42:41 +0000177 this->Size = Off;
Rui Ueyama5af83682016-02-11 23:41:38 +0000178}
179
Rafael Espindola24e6f362017-02-24 15:07:30 +0000180void OutputSection::sort(std::function<int(InputSectionBase *S)> Order) {
Rafael Espindola774ea7d2017-02-23 16:49:07 +0000181 typedef std::pair<unsigned, InputSection *> Pair;
George Rimar1a33c0f2016-11-10 09:05:20 +0000182 auto Comp = [](const Pair &A, const Pair &B) { return A.first < B.first; };
183
184 std::vector<Pair> V;
Rafael Espindola774ea7d2017-02-23 16:49:07 +0000185 for (InputSection *S : Sections)
George Rimar1a33c0f2016-11-10 09:05:20 +0000186 V.push_back({Order(S), S});
187 std::stable_sort(V.begin(), V.end(), Comp);
188 Sections.clear();
189 for (Pair &P : V)
190 Sections.push_back(P.second);
191}
192
Rui Ueyamac4185702016-02-10 23:20:42 +0000193// Sorts input sections by section name suffixes, so that .foo.N comes
194// before .foo.M if N < M. Used to sort .{init,fini}_array.N sections.
Rui Ueyama5af83682016-02-11 23:41:38 +0000195// We want to keep the original order if the priorities are the same
196// because the compiler keeps the original initialization order in a
197// translation unit and we need to respect that.
Rui Ueyamac4185702016-02-10 23:20:42 +0000198// For more detail, read the section of the GCC's manual about init_priority.
Rafael Espindola24e6f362017-02-24 15:07:30 +0000199void OutputSection::sortInitFini() {
Rui Ueyamac4185702016-02-10 23:20:42 +0000200 // Sort sections by priority.
Rafael Espindolac404d502017-02-23 02:32:18 +0000201 sort([](InputSectionBase *S) { return getPriority(S->Name); });
Rui Ueyama5af83682016-02-11 23:41:38 +0000202}
Rui Ueyamac4185702016-02-10 23:20:42 +0000203
Rui Ueyama5af83682016-02-11 23:41:38 +0000204// Returns true if S matches /Filename.?\.o$/.
205static bool isCrtBeginEnd(StringRef S, StringRef Filename) {
206 if (!S.endswith(".o"))
207 return false;
208 S = S.drop_back(2);
209 if (S.endswith(Filename))
210 return true;
211 return !S.empty() && S.drop_back().endswith(Filename);
212}
213
214static bool isCrtbegin(StringRef S) { return isCrtBeginEnd(S, "crtbegin"); }
215static bool isCrtend(StringRef S) { return isCrtBeginEnd(S, "crtend"); }
216
217// .ctors and .dtors are sorted by this priority from highest to lowest.
218//
219// 1. The section was contained in crtbegin (crtbegin contains
220// some sentinel value in its .ctors and .dtors so that the runtime
221// can find the beginning of the sections.)
222//
223// 2. The section has an optional priority value in the form of ".ctors.N"
224// or ".dtors.N" where N is a number. Unlike .{init,fini}_array,
225// they are compared as string rather than number.
226//
227// 3. The section is just ".ctors" or ".dtors".
228//
229// 4. The section was contained in crtend, which contains an end marker.
230//
231// In an ideal world, we don't need this function because .init_array and
232// .ctors are duplicate features (and .init_array is newer.) However, there
233// are too many real-world use cases of .ctors, so we had no choice to
234// support that with this rather ad-hoc semantics.
Rafael Espindola774ea7d2017-02-23 16:49:07 +0000235static bool compCtors(const InputSection *A, const InputSection *B) {
Rafael Espindolaa2e3fee2017-02-24 13:19:33 +0000236 bool BeginA = isCrtbegin(A->File->getName());
237 bool BeginB = isCrtbegin(B->File->getName());
Rui Ueyama5af83682016-02-11 23:41:38 +0000238 if (BeginA != BeginB)
239 return BeginA;
Rafael Espindolaa2e3fee2017-02-24 13:19:33 +0000240 bool EndA = isCrtend(A->File->getName());
241 bool EndB = isCrtend(B->File->getName());
Rui Ueyama5af83682016-02-11 23:41:38 +0000242 if (EndA != EndB)
243 return EndB;
Rafael Espindola042a3f22016-09-08 14:06:08 +0000244 StringRef X = A->Name;
245 StringRef Y = B->Name;
Rui Ueyama5af83682016-02-11 23:41:38 +0000246 assert(X.startswith(".ctors") || X.startswith(".dtors"));
247 assert(Y.startswith(".ctors") || Y.startswith(".dtors"));
248 X = X.substr(6);
249 Y = Y.substr(6);
Rui Ueyama24b794e2016-02-12 00:38:46 +0000250 if (X.empty() && Y.empty())
251 return false;
Rui Ueyama5af83682016-02-11 23:41:38 +0000252 return X < Y;
253}
254
255// Sorts input sections by the special rules for .ctors and .dtors.
256// Unfortunately, the rules are different from the one for .{init,fini}_array.
257// Read the comment above.
Rafael Espindola24e6f362017-02-24 15:07:30 +0000258void OutputSection::sortCtorsDtors() {
Rafael Espindolaa2e3fee2017-02-24 13:19:33 +0000259 std::stable_sort(Sections.begin(), Sections.end(), compCtors);
Rui Ueyamac4185702016-02-10 23:20:42 +0000260}
261
Rui Ueyamab58079d42017-04-11 22:45:57 +0000262// Fill [Buf, Buf + Size) with Filler.
263// This is used for linker script "=fillexp" command.
Rui Ueyamac49bb0f2017-04-03 19:14:35 +0000264static void fill(uint8_t *Buf, size_t Size, uint32_t Filler) {
George Rimare2ee72b2016-02-26 14:48:31 +0000265 size_t I = 0;
Rui Ueyama16068ae2016-11-19 18:05:56 +0000266 for (; I + 4 < Size; I += 4)
Rui Ueyamab58079d42017-04-11 22:45:57 +0000267 memcpy(Buf + I, &Filler, 4);
268 memcpy(Buf + I, &Filler, Size - I);
George Rimare2ee72b2016-02-26 14:48:31 +0000269}
270
Rui Ueyama8f8c2f92017-04-11 22:45:38 +0000271uint32_t OutputSection::getFiller() {
James Henderson9d9a6632017-04-07 10:36:42 +0000272 // Determine what to fill gaps between InputSections with, as specified by the
273 // linker script. If nothing is specified and this is an executable section,
274 // fall back to trap instructions to prevent bad diassembly and detect invalid
275 // jumps to padding.
Rafael Espindolac5b612b2017-05-10 14:01:13 +0000276 if (Optional<uint32_t> Filler = Script->getFiller(this))
James Henderson9d9a6632017-04-07 10:36:42 +0000277 return *Filler;
278 if (Flags & SHF_EXECINSTR)
279 return Target->TrapInstr;
280 return 0;
281}
282
Rafael Espindola24e6f362017-02-24 15:07:30 +0000283template <class ELFT> void OutputSection::writeTo(uint8_t *Buf) {
Eugene Leviant84569e62016-11-29 08:05:44 +0000284 Loc = Buf;
Rui Ueyama16068ae2016-11-19 18:05:56 +0000285
George Rimardbf93392017-04-17 08:58:12 +0000286 // We may have already rendered compressed content when using
287 // -compress-debug-sections option. Write it together with header.
288 if (!CompressedData.empty()) {
Rui Ueyama07c62c12017-04-19 11:32:13 +0000289 memcpy(Buf, ZDebugHeader.data(), ZDebugHeader.size());
290 memcpy(Buf + ZDebugHeader.size(), CompressedData.data(),
291 CompressedData.size());
George Rimardbf93392017-04-17 08:58:12 +0000292 return;
293 }
294
James Henderson9d9a6632017-04-07 10:36:42 +0000295 // Write leading padding.
Rui Ueyama8f8c2f92017-04-11 22:45:38 +0000296 uint32_t Filler = getFiller();
297 if (Filler)
298 fill(Buf, Sections.empty() ? Size : Sections[0]->OutSecOff, Filler);
James Henderson9d9a6632017-04-07 10:36:42 +0000299
300 parallelFor(0, Sections.size(), [=](size_t I) {
301 InputSection *Sec = Sections[I];
302 Sec->writeTo<ELFT>(Buf);
303
Rui Ueyama8f8c2f92017-04-11 22:45:38 +0000304 // Fill gaps between sections.
305 if (Filler) {
306 uint8_t *Start = Buf + Sec->OutSecOff + Sec->getSize();
307 uint8_t *End;
308 if (I + 1 == Sections.size())
309 End = Buf + Size;
310 else
311 End = Buf + Sections[I + 1]->OutSecOff;
312 fill(Start, End - Start, Filler);
313 }
James Henderson9d9a6632017-04-07 10:36:42 +0000314 });
Rui Ueyama16068ae2016-11-19 18:05:56 +0000315
George Rimare38cbab2016-09-26 19:22:50 +0000316 // Linker scripts may have BYTE()-family commands with which you
317 // can write arbitrary bytes to the output. Process them if any.
Rafael Espindola660c9ab2017-05-05 21:34:26 +0000318 Script->writeDataBytes(this, Buf);
Rafael Espindola5805c4f2015-09-21 21:38:08 +0000319}
320
George Rimar788fe382017-03-14 09:14:28 +0000321static uint64_t getOutFlags(InputSectionBase *S) {
Rafael Espindola1854a8e2016-10-26 12:36:56 +0000322 return S->Flags & ~SHF_GROUP & ~SHF_COMPRESSED;
Rafael Espindola10897f12016-09-13 14:23:14 +0000323}
324
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000325static SectionKey createKey(InputSectionBase *C, StringRef OutsecName) {
Rafael Espindola33713982017-01-05 14:20:35 +0000326 // The ELF spec just says
327 // ----------------------------------------------------------------
328 // In the first phase, input sections that match in name, type and
329 // attribute flags should be concatenated into single sections.
330 // ----------------------------------------------------------------
331 //
332 // However, it is clear that at least some flags have to be ignored for
333 // section merging. At the very least SHF_GROUP and SHF_COMPRESSED have to be
334 // ignored. We should not have two output .text sections just because one was
335 // in a group and another was not for example.
336 //
337 // It also seems that that wording was a late addition and didn't get the
338 // necessary scrutiny.
339 //
340 // Merging sections with different flags is expected by some users. One
341 // reason is that if one file has
342 //
343 // int *const bar __attribute__((section(".foo"))) = (int *)0;
344 //
345 // gcc with -fPIC will produce a read only .foo section. But if another
346 // file has
347 //
348 // int zed;
349 // int *const bar __attribute__((section(".foo"))) = (int *)&zed;
350 //
351 // gcc with -fPIC will produce a read write section.
352 //
353 // Last but not least, when using linker script the merge rules are forced by
354 // the script. Unfortunately, linker scripts are name based. This means that
355 // expressions like *(.foo*) can refer to multiple input sections with
356 // different flags. We cannot put them in different output sections or we
357 // would produce wrong results for
358 //
359 // start = .; *(.foo.*) end = .; *(.bar)
360 //
361 // and a mapping of .foo1 and .bar1 to one section and .foo2 and .bar2 to
362 // another. The problem is that there is no way to layout those output
363 // sections such that the .foo sections are the only thing between the start
364 // and end symbols.
365 //
366 // Given the above issues, we instead merge sections by name and error on
367 // incompatible types and flags.
Rafael Espindola17c35832016-09-13 12:25:30 +0000368
Rafael Espindolafcd208f2017-03-08 19:35:29 +0000369 uint32_t Alignment = 0;
George Rimar09268b72017-03-14 09:25:03 +0000370 uint64_t Flags = 0;
Rafael Espindola9e9754b2017-02-03 13:06:18 +0000371 if (Config->Relocatable && (C->Flags & SHF_MERGE)) {
George Rimar09268b72017-03-14 09:25:03 +0000372 Alignment = std::max<uint64_t>(C->Alignment, C->Entsize);
Rafael Espindola9e9754b2017-02-03 13:06:18 +0000373 Flags = C->Flags & (SHF_MERGE | SHF_STRINGS);
374 }
Rafael Espindola17c35832016-09-13 12:25:30 +0000375
Rafael Espindola72447082017-01-05 14:35:41 +0000376 return SectionKey{OutsecName, Flags, Alignment};
Rafael Espindola17c35832016-09-13 12:25:30 +0000377}
378
Rui Ueyama02a036f2017-02-27 02:31:48 +0000379OutputSectionFactory::OutputSectionFactory(
Rafael Espindola24e6f362017-02-24 15:07:30 +0000380 std::vector<OutputSection *> &OutputSections)
Rafael Espindola82902742017-02-16 17:32:26 +0000381 : OutputSections(OutputSections) {}
George Rimar6892afa2016-07-12 09:49:43 +0000382
Rafael Espindola33713982017-01-05 14:20:35 +0000383static uint64_t getIncompatibleFlags(uint64_t Flags) {
384 return Flags & (SHF_ALLOC | SHF_TLS);
385}
386
Eugene Leviant0c0789b2017-01-31 10:26:52 +0000387// We allow sections of types listed below to merged into a
388// single progbits section. This is typically done by linker
389// scripts. Merging nobits and progbits will force disk space
390// to be allocated for nobits sections. Other ones don't require
391// any special treatment on top of progbits, so there doesn't
392// seem to be a harm in merging them.
393static bool canMergeToProgbits(unsigned Type) {
394 return Type == SHT_NOBITS || Type == SHT_PROGBITS || Type == SHT_INIT_ARRAY ||
395 Type == SHT_PREINIT_ARRAY || Type == SHT_FINI_ARRAY ||
396 Type == SHT_NOTE;
397}
398
George Rimarf08b5922017-03-14 09:19:34 +0000399static void reportDiscarded(InputSectionBase *IS) {
Rafael Espindolaecbfd872017-02-17 17:35:07 +0000400 if (!Config->PrintGcSections)
401 return;
Rui Ueyamae6e206d2017-02-21 23:22:56 +0000402 message("removing unused section from '" + IS->Name + "' in file '" +
George Rimarf08b5922017-03-14 09:19:34 +0000403 IS->File->getName());
Rafael Espindolaecbfd872017-02-17 17:35:07 +0000404}
405
Rui Ueyama02a036f2017-02-27 02:31:48 +0000406void OutputSectionFactory::addInputSec(InputSectionBase *IS,
407 StringRef OutsecName) {
Rafael Espindola4f013bb2017-04-26 22:30:15 +0000408 SectionKey Key = createKey(IS, OutsecName);
409 OutputSection *&Sec = Map[Key];
410 return addInputSec(IS, OutsecName, Sec);
411}
412
413void OutputSectionFactory::addInputSec(InputSectionBase *IS,
414 StringRef OutsecName,
415 OutputSection *&Sec) {
Rafael Espindola82902742017-02-16 17:32:26 +0000416 if (!IS->Live) {
George Rimarf08b5922017-03-14 09:19:34 +0000417 reportDiscarded(IS);
Rafael Espindola82902742017-02-16 17:32:26 +0000418 return;
419 }
420
George Rimar788fe382017-03-14 09:14:28 +0000421 uint64_t Flags = getOutFlags(IS);
Rafael Espindola10897f12016-09-13 14:23:14 +0000422 if (Sec) {
Rafael Espindola82902742017-02-16 17:32:26 +0000423 if (getIncompatibleFlags(Sec->Flags) != getIncompatibleFlags(IS->Flags))
Rui Ueyama577168e2017-04-25 16:00:44 +0000424 error("incompatible section flags for " + Sec->Name +
425 "\n>>> " + toString(IS) + ": 0x" + utohexstr(IS->Flags) +
426 "\n>>> output section " + Sec->Name + ": 0x" +
427 utohexstr(Sec->Flags));
Rafael Espindola82902742017-02-16 17:32:26 +0000428 if (Sec->Type != IS->Type) {
429 if (canMergeToProgbits(Sec->Type) && canMergeToProgbits(IS->Type))
Eugene Leviant0c0789b2017-01-31 10:26:52 +0000430 Sec->Type = SHT_PROGBITS;
431 else
Rui Ueyama896cbc42017-05-10 16:57:50 +0000432 error("section type mismatch for " + IS->Name +
433 "\n>>> " + toString(IS) + ": " +
434 getELFSectionTypeName(Config->EMachine, IS->Type) +
435 "\n>>> output section " + Sec->Name + ": " +
436 getELFSectionTypeName(Config->EMachine, Sec->Type));
Eugene Leviant0c0789b2017-01-31 10:26:52 +0000437 }
Rafael Espindola04a2e342016-11-09 01:42:41 +0000438 Sec->Flags |= Flags;
Rafael Espindola82902742017-02-16 17:32:26 +0000439 } else {
Rafael Espindola4f013bb2017-04-26 22:30:15 +0000440 Sec = make<OutputSection>(OutsecName, IS->Type, Flags);
Rafael Espindola82902742017-02-16 17:32:26 +0000441 OutputSections.push_back(Sec);
Rafael Espindola10897f12016-09-13 14:23:14 +0000442 }
443
Rafael Espindoladc8eb812017-04-07 01:40:21 +0000444 Sec->addSection(cast<InputSection>(IS));
George Rimar6892afa2016-07-12 09:49:43 +0000445}
446
Rui Ueyama02a036f2017-02-27 02:31:48 +0000447OutputSectionFactory::~OutputSectionFactory() {}
Rafael Espindola82902742017-02-16 17:32:26 +0000448
Rafael Espindola72447082017-01-05 14:35:41 +0000449SectionKey DenseMapInfo<SectionKey>::getEmptyKey() {
450 return SectionKey{DenseMapInfo<StringRef>::getEmptyKey(), 0, 0};
George Rimar6892afa2016-07-12 09:49:43 +0000451}
452
Rafael Espindola72447082017-01-05 14:35:41 +0000453SectionKey DenseMapInfo<SectionKey>::getTombstoneKey() {
454 return SectionKey{DenseMapInfo<StringRef>::getTombstoneKey(), 0, 0};
George Rimar6892afa2016-07-12 09:49:43 +0000455}
456
Rafael Espindola72447082017-01-05 14:35:41 +0000457unsigned DenseMapInfo<SectionKey>::getHashValue(const SectionKey &Val) {
Rafael Espindola33713982017-01-05 14:20:35 +0000458 return hash_combine(Val.Name, Val.Flags, Val.Alignment);
George Rimar6892afa2016-07-12 09:49:43 +0000459}
460
Rafael Espindola72447082017-01-05 14:35:41 +0000461bool DenseMapInfo<SectionKey>::isEqual(const SectionKey &LHS,
462 const SectionKey &RHS) {
George Rimar6892afa2016-07-12 09:49:43 +0000463 return DenseMapInfo<StringRef>::isEqual(LHS.Name, RHS.Name) &&
Rafael Espindola33713982017-01-05 14:20:35 +0000464 LHS.Flags == RHS.Flags && LHS.Alignment == RHS.Alignment;
George Rimar6892afa2016-07-12 09:49:43 +0000465}
466
George Rimar78aa2702017-03-13 14:40:58 +0000467uint64_t elf::getHeaderSize() {
468 if (Config->OFormatBinary)
469 return 0;
470 return Out::ElfHeader->Size + Out::ProgramHeaders->Size;
471}
472
Rafael Espindola24e6f362017-02-24 15:07:30 +0000473template void OutputSection::writeHeaderTo<ELF32LE>(ELF32LE::Shdr *Shdr);
474template void OutputSection::writeHeaderTo<ELF32BE>(ELF32BE::Shdr *Shdr);
475template void OutputSection::writeHeaderTo<ELF64LE>(ELF64LE::Shdr *Shdr);
476template void OutputSection::writeHeaderTo<ELF64BE>(ELF64BE::Shdr *Shdr);
Rafael Espindola5805c4f2015-09-21 21:38:08 +0000477
Rafael Espindola24e6f362017-02-24 15:07:30 +0000478template void OutputSection::finalize<ELF32LE>();
479template void OutputSection::finalize<ELF32BE>();
480template void OutputSection::finalize<ELF64LE>();
481template void OutputSection::finalize<ELF64BE>();
482
George Rimardbf93392017-04-17 08:58:12 +0000483template void OutputSection::maybeCompress<ELF32LE>();
484template void OutputSection::maybeCompress<ELF32BE>();
485template void OutputSection::maybeCompress<ELF64LE>();
486template void OutputSection::maybeCompress<ELF64BE>();
487
Rafael Espindola24e6f362017-02-24 15:07:30 +0000488template void OutputSection::writeTo<ELF32LE>(uint8_t *Buf);
489template void OutputSection::writeTo<ELF32BE>(uint8_t *Buf);
490template void OutputSection::writeTo<ELF64LE>(uint8_t *Buf);
491template void OutputSection::writeTo<ELF64BE>(uint8_t *Buf);