blob: 0846d64f9e41def1d58e40a0a9bc5ca1d7cf641b [file] [log] [blame]
Rafael Espindola9d06ab62015-09-22 00:01:39 +00001//===- InputSection.h -------------------------------------------*- C++ -*-===//
Michael J. Spencer84487f12015-07-24 21:03:07 +00002//
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
Rafael Espindola9d06ab62015-09-22 00:01:39 +000010#ifndef LLD_ELF_INPUT_SECTION_H
11#define LLD_ELF_INPUT_SECTION_H
Michael J. Spencer84487f12015-07-24 21:03:07 +000012
Rui Ueyamac4aaed92015-10-22 18:49:53 +000013#include "Config.h"
Rui Ueyama0fcdc732016-05-24 20:24:43 +000014#include "Relocations.h"
Peter Smithfb05cd92016-07-08 16:10:27 +000015#include "Thunks.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000016#include "lld/Core/LLVM.h"
Rui Ueyama8f687f72016-12-19 03:14:16 +000017#include "llvm/ADT/CachedHashString.h"
Rui Ueyamab91bf1a2016-05-23 16:55:43 +000018#include "llvm/ADT/DenseSet.h"
Rui Ueyamac00718f2016-02-23 03:34:37 +000019#include "llvm/ADT/TinyPtrVector.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000020#include "llvm/Object/ELF.h"
Rui Ueyama77f2a872016-11-18 05:05:43 +000021#include <mutex>
Michael J. Spencer84487f12015-07-24 21:03:07 +000022
23namespace lld {
Rafael Espindolae0df00b2016-02-28 00:25:54 +000024namespace elf {
Michael J. Spencer84487f12015-07-24 21:03:07 +000025
Rafael Espindolae7553e42016-08-31 13:28:33 +000026class DefinedCommon;
Rafael Espindola38c67a22016-04-15 14:41:56 +000027class SymbolBody;
Rafael Espindola32aca872016-10-05 18:40:00 +000028struct SectionPiece;
Rafael Espindola38c67a22016-04-15 14:41:56 +000029
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +000030template <class ELFT> class DefinedRegular;
Rafael Espindola9e9754b2017-02-03 13:06:18 +000031template <class ELFT> class MergeSyntheticSection;
Michael J. Spencer84487f12015-07-24 21:03:07 +000032template <class ELFT> class ObjectFile;
Rafael Espindola832b93f2015-08-24 20:06:32 +000033template <class ELFT> class OutputSection;
Rafael Espindolae08e78d2016-11-09 23:23:45 +000034class OutputSectionBase;
Michael J. Spencer84487f12015-07-24 21:03:07 +000035
Eugene Leviant97403d12016-09-01 09:55:57 +000036// We need non-template input section class to store symbol layout
37// in linker script parser structures, where we do not have ELFT
38// template parameter. For each scripted output section symbol we
39// store pointer to preceding InputSectionData object or nullptr,
40// if symbol should be placed at the very beginning of the output
41// section
42class InputSectionData {
43public:
Eugene Leviant41ca3272016-11-10 09:48:29 +000044 enum Kind { Regular, EHFrame, Merge, Synthetic, };
Eugene Leviant97403d12016-09-01 09:55:57 +000045
46 // The garbage collector sets sections' Live bits.
47 // If GC is disabled, all sections are considered live by default.
Rafael Espindolac7e1e032016-09-12 13:13:53 +000048 InputSectionData(Kind SectionKind, StringRef Name, ArrayRef<uint8_t> Data,
Rui Ueyamac207a892016-12-20 05:47:55 +000049 bool Live)
50 : SectionKind(SectionKind), Live(Live), Assigned(false), Name(Name),
51 Data(Data) {}
Eugene Leviant97403d12016-09-01 09:55:57 +000052
Rafael Espindola16853bb2016-09-08 12:33:41 +000053private:
54 unsigned SectionKind : 3;
Eugene Leviant97403d12016-09-01 09:55:57 +000055
Rafael Espindola16853bb2016-09-08 12:33:41 +000056public:
57 Kind kind() const { return (Kind)SectionKind; }
58
Rui Ueyamaf94efdd2016-11-20 23:15:52 +000059 unsigned Live : 1; // for garbage collection
60 unsigned Assigned : 1; // for linker script
Rafael Espindola16853bb2016-09-08 12:33:41 +000061 uint32_t Alignment;
Rafael Espindola042a3f22016-09-08 14:06:08 +000062 StringRef Name;
Rafael Espindolac7e1e032016-09-12 13:13:53 +000063 ArrayRef<uint8_t> Data;
64
Rafael Espindola0e090522016-10-26 00:54:03 +000065 template <typename T> llvm::ArrayRef<T> getDataAs() const {
66 size_t S = Data.size();
67 assert(S % sizeof(T) == 0);
68 return llvm::makeArrayRef<T>((const T *)Data.data(), S / sizeof(T));
69 }
70
Rafael Espindola0a758502016-09-07 20:41:19 +000071 std::vector<Relocation> Relocations;
Eugene Leviant97403d12016-09-01 09:55:57 +000072};
73
Rafael Espindola71675852015-09-22 00:16:19 +000074// This corresponds to a section of an input file.
Rafael Espindolab4c9b812017-02-23 02:28:28 +000075class InputSectionBase : public InputSectionData {
Rafael Espindola1854a8e2016-10-26 12:36:56 +000076public:
Rafael Espindolab4c9b812017-02-23 02:28:28 +000077 // The file this section is from.
78 InputFile *File;
79
Rafael Espindola0e090522016-10-26 00:54:03 +000080 // These corresponds to the fields in Elf_Shdr.
Rafael Espindolab4c9b812017-02-23 02:28:28 +000081 uint64_t Flags;
82 uint64_t Offset = 0;
83 uint64_t Entsize;
Rafael Espindola0e090522016-10-26 00:54:03 +000084 uint32_t Type;
85 uint32_t Link;
86 uint32_t Info;
87
Rafael Espindola042a3f22016-09-08 14:06:08 +000088 InputSectionBase()
Rui Ueyamac207a892016-12-20 05:47:55 +000089 : InputSectionData(Regular, "", ArrayRef<uint8_t>(), false), Repl(this) {
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +000090 NumRelocations = 0;
91 AreRelocsRela = false;
92 }
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +000093
Rafael Espindolab4c9b812017-02-23 02:28:28 +000094 template <class ELFT>
95 InputSectionBase(ObjectFile<ELFT> *File, const typename ELFT::Shdr *Header,
Rafael Espindola042a3f22016-09-08 14:06:08 +000096 StringRef Name, Kind SectionKind);
Rafael Espindolab4c9b812017-02-23 02:28:28 +000097
98 InputSectionBase(InputFile *File, uint64_t Flags, uint32_t Type,
99 uint64_t Entsize, uint32_t Link, uint32_t Info,
100 uint64_t Addralign, ArrayRef<uint8_t> Data, StringRef Name,
Rafael Espindola0e090522016-10-26 00:54:03 +0000101 Kind SectionKind);
Rafael Espindolae08e78d2016-11-09 23:23:45 +0000102 OutputSectionBase *OutSec = nullptr;
Rui Ueyamac4aaed92015-10-22 18:49:53 +0000103
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000104 // Relocations that refer to this section.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000105 const void *FirstRelocation = nullptr;
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000106 unsigned NumRelocations : 31;
107 unsigned AreRelocsRela : 1;
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000108 template <class ELFT> ArrayRef<typename ELFT::Rel> rels() const {
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000109 assert(!AreRelocsRela);
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000110 return llvm::makeArrayRef(
111 static_cast<const typename ELFT::Rel *>(FirstRelocation),
112 NumRelocations);
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000113 }
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000114 template <class ELFT> ArrayRef<typename ELFT::Rela> relas() const {
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000115 assert(AreRelocsRela);
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000116 return llvm::makeArrayRef(
117 static_cast<const typename ELFT::Rela *>(FirstRelocation),
118 NumRelocations);
Rafael Espindola9f0c4bb2016-11-10 14:53:24 +0000119 }
120
Rui Ueyama0b289522016-02-25 18:43:51 +0000121 // This pointer points to the "real" instance of this instance.
122 // Usually Repl == this. However, if ICF merges two sections,
123 // Repl pointer of one section points to another section. So,
124 // if you need to get a pointer to this instance, do not use
125 // this but instead this->Repl.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000126 InputSectionBase *Repl;
Rui Ueyama0b289522016-02-25 18:43:51 +0000127
George Rimar647c1682017-02-17 19:34:05 +0000128 // InputSections that are dependent on us (reverse dependency for GC)
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000129 llvm::TinyPtrVector<InputSectionBase *> DependentSections;
George Rimar647c1682017-02-17 19:34:05 +0000130
Rafael Espindola1a541122016-11-08 14:47:16 +0000131 // Returns the size of this section (even if this is a common or BSS.)
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000132 template <class ELFT> size_t getSize() const;
Rafael Espindola1a541122016-11-08 14:47:16 +0000133
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000134 template <class ELFT> OutputSectionBase *getOutputSection() const;
Rafael Espindola9e9754b2017-02-03 13:06:18 +0000135
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000136 template <class ELFT> ObjectFile<ELFT> *getFile() const;
137
138 template <class ELFT> llvm::object::ELFFile<ELFT> getObj() const {
139 return getFile<ELFT>()->getObj();
140 }
141
142 template <class ELFT>
143 uint64_t getOffset(const DefinedRegular<ELFT> &Sym) const;
144
145 template <class ELFT> InputSectionBase *getLinkOrderDep() const;
Rafael Espindoladb9bf4d2015-11-11 16:50:37 +0000146 // Translate an offset in the input section to an offset in the output
147 // section.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000148 template <class ELFT> uint64_t getOffset(uint64_t Offset) const;
Rafael Espindoladb9bf4d2015-11-11 16:50:37 +0000149
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000150 template <class ELFT> void uncompress();
George Rimar602fbee2016-06-24 11:18:44 +0000151
Rui Ueyamada06bfb2016-11-25 18:51:53 +0000152 // Returns a source location string. Used to construct an error message.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000153 template <class ELFT> std::string getLocation(uint64_t Offset);
Rui Ueyamada06bfb2016-11-25 18:51:53 +0000154
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000155 template <class ELFT> void relocate(uint8_t *Buf, uint8_t *BufEnd);
Rafael Espindolac159c962015-10-19 21:00:02 +0000156};
157
Rui Ueyama3ea87272016-05-22 00:13:04 +0000158// SectionPiece represents a piece of splittable section contents.
Rafael Espindola113860b2016-10-20 10:55:58 +0000159// We allocate a lot of these and binary search on them. This means that they
160// have to be as compact as possible, which is why we don't store the size (can
161// be found by looking at the next one) and put the hash in a side table.
Rui Ueyama3ea87272016-05-22 00:13:04 +0000162struct SectionPiece {
Rafael Espindola113860b2016-10-20 10:55:58 +0000163 SectionPiece(size_t Off, bool Live = false)
164 : InputOff(Off), OutputOff(-1), Live(Live || !Config->GcSections) {}
Rui Ueyama34dc99e2016-05-22 01:15:32 +0000165
Rui Ueyama3ea87272016-05-22 00:13:04 +0000166 size_t InputOff;
Rafael Espindola113860b2016-10-20 10:55:58 +0000167 ssize_t OutputOff : 8 * sizeof(ssize_t) - 1;
Hans Wennborg7314c482016-10-20 15:59:08 +0000168 size_t Live : 1;
Rui Ueyama3ea87272016-05-22 00:13:04 +0000169};
Rafael Espindola113860b2016-10-20 10:55:58 +0000170static_assert(sizeof(SectionPiece) == 2 * sizeof(size_t),
171 "SectionPiece is too big");
Rui Ueyama3ea87272016-05-22 00:13:04 +0000172
Rafael Espindolac159c962015-10-19 21:00:02 +0000173// This corresponds to a SHF_MERGE section of an input file.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000174template <class ELFT> class MergeInputSection : public InputSectionBase {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000175 typedef typename ELFT::uint uintX_t;
176 typedef typename ELFT::Sym Elf_Sym;
177 typedef typename ELFT::Shdr Elf_Shdr;
Rafael Espindolac159c962015-10-19 21:00:02 +0000178
179public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000180 MergeInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header,
181 StringRef Name);
Rafael Espindola99558ef2016-10-26 18:44:57 +0000182 static bool classof(const InputSectionData *S);
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000183 void splitIntoPieces();
184
185 // Mark the piece at a given offset live. Used by GC.
Rafael Espindola116d83f2016-10-19 23:13:40 +0000186 void markLiveAt(uintX_t Offset) {
Rafael Espindola1854a8e2016-10-26 12:36:56 +0000187 assert(this->Flags & llvm::ELF::SHF_ALLOC);
Rafael Espindola116d83f2016-10-19 23:13:40 +0000188 LiveOffsets.insert(Offset);
189 }
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000190
191 // Translate an offset in the input section to an offset
192 // in the output section.
Rui Ueyama809d8e22016-06-23 04:33:42 +0000193 uintX_t getOffset(uintX_t Offset) const;
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000194
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000195 // Splittable sections are handled as a sequence of data
196 // rather than a single large blob of data.
197 std::vector<SectionPiece> Pieces;
Rui Ueyamac8e68842016-12-06 02:19:30 +0000198
199 // Returns I'th piece's data. This function is very hot when
200 // string merging is enabled, so we want to inline.
201 LLVM_ATTRIBUTE_ALWAYS_INLINE
202 llvm::CachedHashStringRef getData(size_t I) const {
203 size_t Begin = Pieces[I].InputOff;
204 size_t End;
205 if (Pieces.size() - 1 == I)
206 End = this->Data.size();
207 else
208 End = Pieces[I + 1].InputOff;
209
210 StringRef S = {(const char *)(this->Data.data() + Begin), End - Begin};
211 return {S, Hashes[I]};
212 }
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000213
214 // Returns the SectionPiece at a given input section offset.
215 SectionPiece *getSectionPiece(uintX_t Offset);
216 const SectionPiece *getSectionPiece(uintX_t Offset) const;
217
Rafael Espindola9e9754b2017-02-03 13:06:18 +0000218 // MergeInputSections are aggregated to a synthetic input sections,
219 // and then added to an OutputSection. This pointer points to a
220 // synthetic MergeSyntheticSection which this section belongs to.
221 MergeSyntheticSection<ELFT> *MergeSec = nullptr;
222
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000223private:
Rui Ueyamae8a077b2016-11-26 15:15:11 +0000224 void splitStrings(ArrayRef<uint8_t> A, size_t Size);
225 void splitNonStrings(ArrayRef<uint8_t> A, size_t Size);
Rui Ueyamad6bd1372016-08-03 04:39:42 +0000226
Rui Ueyama77f2a872016-11-18 05:05:43 +0000227 std::vector<uint32_t> Hashes;
228
229 mutable llvm::DenseMap<uintX_t, uintX_t> OffsetMap;
230 mutable std::once_flag InitOffsetMap;
231
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000232 llvm::DenseSet<uintX_t> LiveOffsets;
Rafael Espindolac159c962015-10-19 21:00:02 +0000233};
234
Rafael Espindola2deeb602016-07-21 20:18:30 +0000235struct EhSectionPiece : public SectionPiece {
Eugene Leviant531df4f2016-11-23 09:45:17 +0000236 EhSectionPiece(size_t Off, InputSectionData *ID, uint32_t Size,
237 unsigned FirstRelocation)
238 : SectionPiece(Off, false), ID(ID), Size(Size),
Rafael Espindola32aca872016-10-05 18:40:00 +0000239 FirstRelocation(FirstRelocation) {}
Eugene Leviant531df4f2016-11-23 09:45:17 +0000240 InputSectionData *ID;
Rafael Espindola113860b2016-10-20 10:55:58 +0000241 uint32_t Size;
242 uint32_t size() const { return Size; }
243
Eugene Leviant531df4f2016-11-23 09:45:17 +0000244 ArrayRef<uint8_t> data() { return {ID->Data.data() + this->InputOff, Size}; }
Rafael Espindola2deeb602016-07-21 20:18:30 +0000245 unsigned FirstRelocation;
246};
247
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000248// This corresponds to a .eh_frame section of an input file.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000249template <class ELFT> class EhInputSection : public InputSectionBase {
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000250public:
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000251 typedef typename ELFT::Shdr Elf_Shdr;
252 typedef typename ELFT::uint uintX_t;
Rafael Espindola042a3f22016-09-08 14:06:08 +0000253 EhInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header, StringRef Name);
Rafael Espindola99558ef2016-10-26 18:44:57 +0000254 static bool classof(const InputSectionData *S);
Rui Ueyama88abd9b2016-05-22 23:53:00 +0000255 void split();
Rafael Espindola2deeb602016-07-21 20:18:30 +0000256 template <class RelTy> void split(ArrayRef<RelTy> Rels);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000257
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000258 // Splittable sections are handled as a sequence of data
259 // rather than a single large blob of data.
Rafael Espindola2deeb602016-07-21 20:18:30 +0000260 std::vector<EhSectionPiece> Pieces;
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000261};
262
Rafael Espindolac159c962015-10-19 21:00:02 +0000263// This corresponds to a non SHF_MERGE section of an input file.
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000264template <class ELFT> class InputSection : public InputSectionBase {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000265 typedef typename ELFT::Shdr Elf_Shdr;
266 typedef typename ELFT::Rela Elf_Rela;
267 typedef typename ELFT::Rel Elf_Rel;
268 typedef typename ELFT::Sym Elf_Sym;
269 typedef typename ELFT::uint uintX_t;
Eugene Leviant41ca3272016-11-10 09:48:29 +0000270 typedef InputSectionData::Kind Kind;
Rafael Espindolac159c962015-10-19 21:00:02 +0000271
272public:
Rafael Espindola6ff570a2016-11-09 16:55:07 +0000273 InputSection();
Rafael Espindola0e090522016-10-26 00:54:03 +0000274 InputSection(uintX_t Flags, uint32_t Type, uintX_t Addralign,
Eugene Leviant41ca3272016-11-10 09:48:29 +0000275 ArrayRef<uint8_t> Data, StringRef Name,
276 Kind K = InputSectionData::Regular);
Rafael Espindola042a3f22016-09-08 14:06:08 +0000277 InputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header, StringRef Name);
Rafael Espindolac159c962015-10-19 21:00:02 +0000278
Rafael Espindola6ff570a2016-11-09 16:55:07 +0000279 static InputSection<ELFT> Discarded;
280
Rafael Espindolac159c962015-10-19 21:00:02 +0000281 // Write this section to a mmap'ed file, assuming Buf is pointing to
282 // beginning of the output section.
Rafael Espindola1a541122016-11-08 14:47:16 +0000283 void writeTo(uint8_t *Buf);
Rafael Espindolac159c962015-10-19 21:00:02 +0000284
Rui Ueyamaedffd912015-10-14 21:00:23 +0000285 // The offset from beginning of the output sections this section was assigned
286 // to. The writer sets a value.
Rui Ueyama55c3f892015-10-15 01:58:40 +0000287 uint64_t OutSecOff = 0;
Rui Ueyamaedffd912015-10-14 21:00:23 +0000288
Rafael Espindola99558ef2016-10-26 18:44:57 +0000289 static bool classof(const InputSectionData *S);
George Rimar58941ee2016-02-25 08:23:37 +0000290
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000291 InputSectionBase *getRelocatedSection();
George Rimar58941ee2016-02-25 08:23:37 +0000292
Rui Ueyama2b6fb802016-04-28 18:42:04 +0000293 template <class RelTy>
294 void relocateNonAlloc(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels);
295
Rui Ueyamabd1f0632016-11-20 02:39:59 +0000296 // Used by ICF.
Rui Ueyamafcd3fa82016-12-05 18:11:35 +0000297 uint32_t Class[2] = {0, 0};
Rui Ueyama0b289522016-02-25 18:43:51 +0000298
299 // Called by ICF to merge two input sections.
300 void replace(InputSection<ELFT> *Other);
301
Rui Ueyamabd1f0632016-11-20 02:39:59 +0000302private:
303 template <class RelTy>
304 void copyRelocations(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000305};
306
Rafael Espindola6ff570a2016-11-09 16:55:07 +0000307template <class ELFT> InputSection<ELFT> InputSection<ELFT>::Discarded;
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000308} // namespace elf
Rui Ueyamace039262017-01-06 10:04:08 +0000309
Rafael Espindolab4c9b812017-02-23 02:28:28 +0000310std::string toString(const elf::InputSectionBase *);
Michael J. Spencer84487f12015-07-24 21:03:07 +0000311} // namespace lld
312
313#endif