blob: 34549156f6be5e4fb5eea591fec6ed8593ca79ec [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 Ueyamab91bf1a2016-05-23 16:55:43 +000017#include "llvm/ADT/DenseSet.h"
Rui Ueyamac00718f2016-02-23 03:34:37 +000018#include "llvm/ADT/TinyPtrVector.h"
Michael J. Spencer84487f12015-07-24 21:03:07 +000019#include "llvm/Object/ELF.h"
20
21namespace lld {
Rafael Espindolae0df00b2016-02-28 00:25:54 +000022namespace elf {
Michael J. Spencer84487f12015-07-24 21:03:07 +000023
Rafael Espindolae7553e42016-08-31 13:28:33 +000024class DefinedCommon;
Rafael Espindola38c67a22016-04-15 14:41:56 +000025class SymbolBody;
26
Rui Ueyama0b289522016-02-25 18:43:51 +000027template <class ELFT> class ICF;
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +000028template <class ELFT> class DefinedRegular;
Michael J. Spencer84487f12015-07-24 21:03:07 +000029template <class ELFT> class ObjectFile;
Rafael Espindola832b93f2015-08-24 20:06:32 +000030template <class ELFT> class OutputSection;
Rui Ueyamac7cc6ec2015-10-15 22:27:29 +000031template <class ELFT> class OutputSectionBase;
Michael J. Spencer84487f12015-07-24 21:03:07 +000032
Eugene Leviant97403d12016-09-01 09:55:57 +000033// We need non-template input section class to store symbol layout
34// in linker script parser structures, where we do not have ELFT
35// template parameter. For each scripted output section symbol we
36// store pointer to preceding InputSectionData object or nullptr,
37// if symbol should be placed at the very beginning of the output
38// section
39class InputSectionData {
40public:
41 enum Kind { Regular, EHFrame, Merge, MipsReginfo, MipsOptions, MipsAbiFlags };
42
43 // The garbage collector sets sections' Live bits.
44 // If GC is disabled, all sections are considered live by default.
Rafael Espindolac7e1e032016-09-12 13:13:53 +000045 InputSectionData(Kind SectionKind, StringRef Name, ArrayRef<uint8_t> Data,
46 bool Compressed, bool Live)
Rafael Espindola042a3f22016-09-08 14:06:08 +000047 : SectionKind(SectionKind), Live(Live), Compressed(Compressed),
Rafael Espindolac7e1e032016-09-12 13:13:53 +000048 Name(Name), Data(Data) {}
Eugene Leviant97403d12016-09-01 09:55:57 +000049
Rafael Espindola16853bb2016-09-08 12:33:41 +000050private:
51 unsigned SectionKind : 3;
Eugene Leviant97403d12016-09-01 09:55:57 +000052
Rafael Espindola16853bb2016-09-08 12:33:41 +000053public:
54 Kind kind() const { return (Kind)SectionKind; }
55
56 // Used for garbage collection.
57 unsigned Live : 1;
58
59 unsigned Compressed : 1;
60
61 uint32_t Alignment;
62
Rafael Espindola042a3f22016-09-08 14:06:08 +000063 StringRef Name;
64
Rafael Espindolac7e1e032016-09-12 13:13:53 +000065 ArrayRef<uint8_t> Data;
66
Rafael Espindola54f16142016-09-12 13:06:10 +000067 // If a section is compressed, this has the uncompressed section data.
68 std::unique_ptr<char[]> UncompressedData;
Rafael Espindola0a758502016-09-07 20:41:19 +000069
70 std::vector<Relocation> Relocations;
Eugene Leviant97403d12016-09-01 09:55:57 +000071};
72
Rafael Espindola71675852015-09-22 00:16:19 +000073// This corresponds to a section of an input file.
Eugene Leviant97403d12016-09-01 09:55:57 +000074template <class ELFT> class InputSectionBase : public InputSectionData {
Rafael Espindolac159c962015-10-19 21:00:02 +000075protected:
Rui Ueyama1d12ac12016-07-07 03:55:55 +000076 typedef typename ELFT::Chdr Elf_Chdr;
Rafael Espindola197d6a82016-04-22 16:39:59 +000077 typedef typename ELFT::Rel Elf_Rel;
78 typedef typename ELFT::Rela Elf_Rela;
Rui Ueyama9328b2c2016-03-14 23:16:09 +000079 typedef typename ELFT::Shdr Elf_Shdr;
80 typedef typename ELFT::Sym Elf_Sym;
81 typedef typename ELFT::uint uintX_t;
Rafael Espindolac159c962015-10-19 21:00:02 +000082 const Elf_Shdr *Header;
83
84 // The file this section is from.
85 ObjectFile<ELFT> *File;
Michael J. Spencer84487f12015-07-24 21:03:07 +000086
87public:
Rafael Espindola042a3f22016-09-08 14:06:08 +000088 InputSectionBase()
Rafael Espindolac7e1e032016-09-12 13:13:53 +000089 : InputSectionData(Regular, "", ArrayRef<uint8_t>(), false, false),
90 Repl(this) {}
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +000091
Rafael Espindolac159c962015-10-19 21:00:02 +000092 InputSectionBase(ObjectFile<ELFT> *File, const Elf_Shdr *Header,
Rafael Espindola042a3f22016-09-08 14:06:08 +000093 StringRef Name, Kind SectionKind);
Rafael Espindolac159c962015-10-19 21:00:02 +000094 OutputSectionBase<ELFT> *OutSec = nullptr;
Rui Ueyamac4aaed92015-10-22 18:49:53 +000095
Rui Ueyama0b289522016-02-25 18:43:51 +000096 // This pointer points to the "real" instance of this instance.
97 // Usually Repl == this. However, if ICF merges two sections,
98 // Repl pointer of one section points to another section. So,
99 // if you need to get a pointer to this instance, do not use
100 // this but instead this->Repl.
101 InputSectionBase<ELFT> *Repl;
102
Rafael Espindola71675852015-09-22 00:16:19 +0000103 // Returns the size of this section (even if this is a common or BSS.)
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000104 size_t getSize() const;
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000105
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000106 static InputSectionBase<ELFT> Discarded;
Rafael Espindola83b0dc62015-08-13 22:21:37 +0000107
Michael J. Spencer8039dae22015-07-29 00:30:10 +0000108 const Elf_Shdr *getSectionHdr() const { return Header; }
Rafael Espindolae1901cc2015-09-24 15:11:50 +0000109 ObjectFile<ELFT> *getFile() const { return File; }
Rui Ueyama809d8e22016-06-23 04:33:42 +0000110 uintX_t getOffset(const DefinedRegular<ELFT> &Sym) const;
Rafael Espindoladb9bf4d2015-11-11 16:50:37 +0000111
112 // Translate an offset in the input section to an offset in the output
113 // section.
Rui Ueyama809d8e22016-06-23 04:33:42 +0000114 uintX_t getOffset(uintX_t Offset) const;
Rafael Espindoladb9bf4d2015-11-11 16:50:37 +0000115
George Rimar602fbee2016-06-24 11:18:44 +0000116 void uncompress();
117
Rafael Espindola22ef9562016-04-13 01:40:19 +0000118 void relocate(uint8_t *Buf, uint8_t *BufEnd);
Rafael Espindolac159c962015-10-19 21:00:02 +0000119};
120
Rafael Espindolaccfe3cb2016-04-04 14:04:16 +0000121template <class ELFT> InputSectionBase<ELFT> InputSectionBase<ELFT>::Discarded;
Rafael Espindolac159c962015-10-19 21:00:02 +0000122
Rui Ueyama3ea87272016-05-22 00:13:04 +0000123// SectionPiece represents a piece of splittable section contents.
124struct SectionPiece {
Rafael Espindola939e9492016-10-05 17:02:09 +0000125 SectionPiece(size_t Off, ArrayRef<uint8_t> Data, bool Live = false)
Davide Italianoe6c8fa42016-05-28 23:27:38 +0000126 : InputOff(Off), Data((const uint8_t *)Data.data()), Size(Data.size()),
Rafael Espindola939e9492016-10-05 17:02:09 +0000127 Live(Live || !Config->GcSections) {}
Rui Ueyamad8849272016-05-25 16:37:01 +0000128
129 ArrayRef<uint8_t> data() { return {Data, Size}; }
130 size_t size() const { return Size; }
Rui Ueyama34dc99e2016-05-22 01:15:32 +0000131
Rui Ueyama3ea87272016-05-22 00:13:04 +0000132 size_t InputOff;
133 size_t OutputOff = -1;
Rui Ueyamad8849272016-05-25 16:37:01 +0000134
135private:
136 // We use bitfields because SplitInputSection is accessed by
137 // std::upper_bound very often.
138 // We want to save bits to make it cache friendly.
Davide Italianoe6c8fa42016-05-28 23:27:38 +0000139 const uint8_t *Data;
Rui Ueyamad8849272016-05-25 16:37:01 +0000140 uint32_t Size : 31;
141
142public:
143 uint32_t Live : 1;
Rui Ueyama3ea87272016-05-22 00:13:04 +0000144};
145
Rafael Espindolac159c962015-10-19 21:00:02 +0000146// This corresponds to a SHF_MERGE section of an input file.
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000147template <class ELFT> class MergeInputSection : public InputSectionBase<ELFT> {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000148 typedef typename ELFT::uint uintX_t;
149 typedef typename ELFT::Sym Elf_Sym;
150 typedef typename ELFT::Shdr Elf_Shdr;
Rafael Espindolac159c962015-10-19 21:00:02 +0000151
152public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000153 MergeInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header,
154 StringRef Name);
Rafael Espindolac159c962015-10-19 21:00:02 +0000155 static bool classof(const InputSectionBase<ELFT> *S);
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000156 void splitIntoPieces();
157
158 // Mark the piece at a given offset live. Used by GC.
159 void markLiveAt(uintX_t Offset) { LiveOffsets.insert(Offset); }
160
161 // Translate an offset in the input section to an offset
162 // in the output section.
Rui Ueyama809d8e22016-06-23 04:33:42 +0000163 uintX_t getOffset(uintX_t Offset) const;
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000164
Rui Ueyama406b4692016-05-27 14:39:13 +0000165 void finalizePieces();
166
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000167 // Splittable sections are handled as a sequence of data
168 // rather than a single large blob of data.
169 std::vector<SectionPiece> Pieces;
170
171 // Returns the SectionPiece at a given input section offset.
172 SectionPiece *getSectionPiece(uintX_t Offset);
173 const SectionPiece *getSectionPiece(uintX_t Offset) const;
174
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000175private:
Rui Ueyamad6bd1372016-08-03 04:39:42 +0000176 std::vector<SectionPiece> splitStrings(ArrayRef<uint8_t> A, size_t Size);
177 std::vector<SectionPiece> splitNonStrings(ArrayRef<uint8_t> A, size_t Size);
178
Rui Ueyama406b4692016-05-27 14:39:13 +0000179 llvm::DenseMap<uintX_t, uintX_t> OffsetMap;
Rui Ueyamab91bf1a2016-05-23 16:55:43 +0000180 llvm::DenseSet<uintX_t> LiveOffsets;
Rafael Espindolac159c962015-10-19 21:00:02 +0000181};
182
Rafael Espindola2deeb602016-07-21 20:18:30 +0000183struct EhSectionPiece : public SectionPiece {
184 EhSectionPiece(size_t Off, ArrayRef<uint8_t> Data, unsigned FirstRelocation)
185 : SectionPiece(Off, Data), FirstRelocation(FirstRelocation) {}
186 unsigned FirstRelocation;
187};
188
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000189// This corresponds to a .eh_frame section of an input file.
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000190template <class ELFT> class EhInputSection : public InputSectionBase<ELFT> {
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000191public:
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000192 typedef typename ELFT::Shdr Elf_Shdr;
193 typedef typename ELFT::uint uintX_t;
Rafael Espindola042a3f22016-09-08 14:06:08 +0000194 EhInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header, StringRef Name);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000195 static bool classof(const InputSectionBase<ELFT> *S);
Rui Ueyama88abd9b2016-05-22 23:53:00 +0000196 void split();
Rafael Espindola2deeb602016-07-21 20:18:30 +0000197 template <class RelTy> void split(ArrayRef<RelTy> Rels);
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000198
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000199 // Splittable sections are handled as a sequence of data
200 // rather than a single large blob of data.
Rafael Espindola2deeb602016-07-21 20:18:30 +0000201 std::vector<EhSectionPiece> Pieces;
Rafael Espindola6eae9f22016-07-21 13:32:37 +0000202
Rafael Espindola0c6a4f12015-11-11 19:54:14 +0000203 // Relocation section that refer to this one.
204 const Elf_Shdr *RelocSection = nullptr;
205};
206
Rafael Espindolac159c962015-10-19 21:00:02 +0000207// This corresponds to a non SHF_MERGE section of an input file.
208template <class ELFT> class InputSection : public InputSectionBase<ELFT> {
Rui Ueyama0b289522016-02-25 18:43:51 +0000209 friend ICF<ELFT>;
Rafael Espindolac159c962015-10-19 21:00:02 +0000210 typedef InputSectionBase<ELFT> Base;
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000211 typedef typename ELFT::Shdr Elf_Shdr;
212 typedef typename ELFT::Rela Elf_Rela;
213 typedef typename ELFT::Rel Elf_Rel;
214 typedef typename ELFT::Sym Elf_Sym;
215 typedef typename ELFT::uint uintX_t;
Rafael Espindolac159c962015-10-19 21:00:02 +0000216
217public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000218 InputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Header, StringRef Name);
Rafael Espindolac159c962015-10-19 21:00:02 +0000219
220 // Write this section to a mmap'ed file, assuming Buf is pointing to
221 // beginning of the output section.
222 void writeTo(uint8_t *Buf);
223
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000224 // Relocation sections that refer to this one.
Rui Ueyamac00718f2016-02-23 03:34:37 +0000225 llvm::TinyPtrVector<const Elf_Shdr *> RelocSections;
Michael J. Spencer67bc8d62015-08-27 23:15:56 +0000226
Rui Ueyamaedffd912015-10-14 21:00:23 +0000227 // The offset from beginning of the output sections this section was assigned
228 // to. The writer sets a value.
Rui Ueyama55c3f892015-10-15 01:58:40 +0000229 uint64_t OutSecOff = 0;
Rui Ueyamaedffd912015-10-14 21:00:23 +0000230
Rafael Espindolac159c962015-10-19 21:00:02 +0000231 static bool classof(const InputSectionBase<ELFT> *S);
George Rimar58941ee2016-02-25 08:23:37 +0000232
233 InputSectionBase<ELFT> *getRelocatedSection();
234
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000235 // Register thunk related to the symbol. When the section is written
236 // to a mmap'ed file, target is requested to write an actual thunk code.
Peter Smithfb05cd92016-07-08 16:10:27 +0000237 // Now thunks is supported for MIPS and ARM target only.
238 void addThunk(const Thunk<ELFT> *T);
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000239
240 // The offset of synthetic thunk code from beginning of this section.
241 uint64_t getThunkOff() const;
242
243 // Size of chunk with thunks code.
244 uint64_t getThunksSize() const;
245
Rui Ueyama2b6fb802016-04-28 18:42:04 +0000246 template <class RelTy>
247 void relocateNonAlloc(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels);
248
George Rimar58941ee2016-02-25 08:23:37 +0000249private:
Rui Ueyamafc467e72016-03-13 05:06:50 +0000250 template <class RelTy>
Rafael Espindola0f7ccc32016-04-05 14:47:28 +0000251 void copyRelocations(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels);
Rui Ueyama0b289522016-02-25 18:43:51 +0000252
253 // Called by ICF to merge two input sections.
254 void replace(InputSection<ELFT> *Other);
255
256 // Used by ICF.
257 uint64_t GroupId = 0;
Simon Atanasyan13f6da12016-03-31 21:26:23 +0000258
Peter Smithfb05cd92016-07-08 16:10:27 +0000259 llvm::TinyPtrVector<const Thunk<ELFT> *> Thunks;
Michael J. Spencer84487f12015-07-24 21:03:07 +0000260};
261
Simon Atanasyan1d7df402015-12-20 10:57:34 +0000262// MIPS .reginfo section provides information on the registers used by the code
263// in the object file. Linker should collect this information and write a single
264// .reginfo section in the output file. The output section contains a union of
265// used registers masks taken from input .reginfo sections and final value
266// of the `_gp` symbol. For details: Chapter 4 / "Register Information" at
267// ftp://www.linux-mips.org/pub/linux/mips/doc/ABI/mipsabi.pdf
268template <class ELFT>
269class MipsReginfoInputSection : public InputSectionBase<ELFT> {
Rui Ueyama9328b2c2016-03-14 23:16:09 +0000270 typedef typename ELFT::Shdr Elf_Shdr;
Simon Atanasyan1d7df402015-12-20 10:57:34 +0000271
272public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000273 MipsReginfoInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Hdr,
274 StringRef Name);
Simon Atanasyan1d7df402015-12-20 10:57:34 +0000275 static bool classof(const InputSectionBase<ELFT> *S);
Rui Ueyama70eed362016-01-06 22:42:43 +0000276
Simon Atanasyanadd74f32016-05-04 10:07:38 +0000277 const llvm::object::Elf_Mips_RegInfo<ELFT> *Reginfo = nullptr;
278};
279
280template <class ELFT>
281class MipsOptionsInputSection : public InputSectionBase<ELFT> {
282 typedef typename ELFT::Shdr Elf_Shdr;
283
284public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000285 MipsOptionsInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Hdr,
286 StringRef Name);
Simon Atanasyanadd74f32016-05-04 10:07:38 +0000287 static bool classof(const InputSectionBase<ELFT> *S);
288
289 const llvm::object::Elf_Mips_RegInfo<ELFT> *Reginfo = nullptr;
Simon Atanasyan1d7df402015-12-20 10:57:34 +0000290};
291
Simon Atanasyan85c6b442016-08-12 06:28:49 +0000292template <class ELFT>
293class MipsAbiFlagsInputSection : public InputSectionBase<ELFT> {
294 typedef typename ELFT::Shdr Elf_Shdr;
295
296public:
Rafael Espindola042a3f22016-09-08 14:06:08 +0000297 MipsAbiFlagsInputSection(ObjectFile<ELFT> *F, const Elf_Shdr *Hdr,
298 StringRef Name);
Simon Atanasyan85c6b442016-08-12 06:28:49 +0000299 static bool classof(const InputSectionBase<ELFT> *S);
300
301 const llvm::object::Elf_Mips_ABIFlags<ELFT> *Flags = nullptr;
302};
303
Rui Ueyamaad10c3d2016-07-28 21:05:04 +0000304// Common symbols don't belong to any section. But it is easier for us
305// to handle them as if they belong to some input section. So we defined
306// this class. CommonInputSection is a virtual singleton class that
307// "contains" all common symbols.
Eugene Leviant3e6b0272016-07-28 19:24:13 +0000308template <class ELFT> class CommonInputSection : public InputSection<ELFT> {
309 typedef typename ELFT::uint uintX_t;
310
311public:
Rafael Espindolae7553e42016-08-31 13:28:33 +0000312 CommonInputSection(std::vector<DefinedCommon *> Syms);
Eugene Leviant3e6b0272016-07-28 19:24:13 +0000313
Rui Ueyamaad10c3d2016-07-28 21:05:04 +0000314 // The singleton instance of this class.
315 static CommonInputSection<ELFT> *X;
316
Eugene Leviant3e6b0272016-07-28 19:24:13 +0000317private:
Rui Ueyamaad10c3d2016-07-28 21:05:04 +0000318 static typename ELFT::Shdr Hdr;
Eugene Leviant3e6b0272016-07-28 19:24:13 +0000319};
320
Rui Ueyamaad10c3d2016-07-28 21:05:04 +0000321template <class ELFT> CommonInputSection<ELFT> *CommonInputSection<ELFT>::X;
322template <class ELFT> typename ELFT::Shdr CommonInputSection<ELFT>::Hdr;
323
Rafael Espindolae0df00b2016-02-28 00:25:54 +0000324} // namespace elf
Michael J. Spencer84487f12015-07-24 21:03:07 +0000325} // namespace lld
326
327#endif