Rafael Espindola | 9d06ab6 | 2015-09-22 00:01:39 +0000 | [diff] [blame] | 1 | //===- InputSection.h -------------------------------------------*- C++ -*-===// |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 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 | |
Rafael Espindola | 9d06ab6 | 2015-09-22 00:01:39 +0000 | [diff] [blame] | 10 | #ifndef LLD_ELF_INPUT_SECTION_H |
| 11 | #define LLD_ELF_INPUT_SECTION_H |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 12 | |
Rui Ueyama | c4aaed9 | 2015-10-22 18:49:53 +0000 | [diff] [blame] | 13 | #include "Config.h" |
Rui Ueyama | 0fcdc73 | 2016-05-24 20:24:43 +0000 | [diff] [blame] | 14 | #include "Relocations.h" |
Peter Smith | fb05cd9 | 2016-07-08 16:10:27 +0000 | [diff] [blame] | 15 | #include "Thunks.h" |
Rui Ueyama | 3f85170 | 2017-10-02 21:00:41 +0000 | [diff] [blame] | 16 | #include "lld/Common/LLVM.h" |
Rui Ueyama | 8f687f7 | 2016-12-19 03:14:16 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/CachedHashString.h" |
Rui Ueyama | b91bf1a | 2016-05-23 16:55:43 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/DenseSet.h" |
Rui Ueyama | c00718f | 2016-02-23 03:34:37 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/TinyPtrVector.h" |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 20 | #include "llvm/Object/ELF.h" |
Kamil Rytarowski | e739e49 | 2017-05-24 18:31:48 +0000 | [diff] [blame] | 21 | #include "llvm/Support/Threading.h" |
Rui Ueyama | 77f2a87 | 2016-11-18 05:05:43 +0000 | [diff] [blame] | 22 | #include <mutex> |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 23 | |
| 24 | namespace lld { |
Rafael Espindola | e0df00b | 2016-02-28 00:25:54 +0000 | [diff] [blame] | 25 | namespace elf { |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 26 | |
Rafael Espindola | e7553e4 | 2016-08-31 13:28:33 +0000 | [diff] [blame] | 27 | class DefinedCommon; |
Rafael Espindola | 38c67a2 | 2016-04-15 14:41:56 +0000 | [diff] [blame] | 28 | class SymbolBody; |
Rafael Espindola | 32aca87 | 2016-10-05 18:40:00 +0000 | [diff] [blame] | 29 | struct SectionPiece; |
Rafael Espindola | 38c67a2 | 2016-04-15 14:41:56 +0000 | [diff] [blame] | 30 | |
Rui Ueyama | 80474a2 | 2017-02-28 19:29:55 +0000 | [diff] [blame] | 31 | class DefinedRegular; |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 32 | class SyntheticSection; |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 33 | class MergeSyntheticSection; |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 34 | template <class ELFT> class ObjFile; |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 35 | class OutputSection; |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 36 | |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 37 | // This is the base class of all sections that lld handles. Some are sections in |
| 38 | // input files, some are sections in the produced output file and some exist |
| 39 | // just as a convenience for implementing special ways of combining some |
| 40 | // sections. |
| 41 | class SectionBase { |
Eugene Leviant | 97403d1 | 2016-09-01 09:55:57 +0000 | [diff] [blame] | 42 | public: |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 43 | enum Kind { Regular, EHFrame, Merge, Synthetic, Output }; |
Eugene Leviant | 97403d1 | 2016-09-01 09:55:57 +0000 | [diff] [blame] | 44 | |
Rafael Espindola | 16853bb | 2016-09-08 12:33:41 +0000 | [diff] [blame] | 45 | Kind kind() const { return (Kind)SectionKind; } |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 46 | |
| 47 | StringRef Name; |
| 48 | |
| 49 | unsigned SectionKind : 3; |
| 50 | |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 51 | // The next two bit fields are only used by InputSectionBase, but we |
| 52 | // put them here so the struct packs better. |
| 53 | |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 54 | // The garbage collector sets sections' Live bits. |
| 55 | // If GC is disabled, all sections are considered live by default. |
Rui Ueyama | e8936bc | 2017-10-08 01:55:29 +0000 | [diff] [blame] | 56 | unsigned Live : 1; |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 57 | |
Rui Ueyama | e8936bc | 2017-10-08 01:55:29 +0000 | [diff] [blame] | 58 | // True if this section has already been placed to a linker script |
| 59 | // output section. This is needed because, in a linker script, you |
| 60 | // can refer to the same section more than once. For example, in |
| 61 | // the following linker script, |
| 62 | // |
| 63 | // .foo : { *(.text) } |
| 64 | // .bar : { *(.text) } |
| 65 | // |
| 66 | // .foo takes all .text sections, and .bar becomes empty. To achieve |
| 67 | // this, we need to memorize whether a section has been placed or |
| 68 | // not for each input section. |
| 69 | unsigned Assigned : 1; |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 70 | |
Rafael Espindola | 0e09052 | 2016-10-26 00:54:03 +0000 | [diff] [blame] | 71 | // These corresponds to the fields in Elf_Shdr. |
Rui Ueyama | e8936bc | 2017-10-08 01:55:29 +0000 | [diff] [blame] | 72 | uint32_t Alignment; |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 73 | uint64_t Flags; |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 74 | uint64_t Entsize; |
Rafael Espindola | 0e09052 | 2016-10-26 00:54:03 +0000 | [diff] [blame] | 75 | uint32_t Type; |
| 76 | uint32_t Link; |
| 77 | uint32_t Info; |
| 78 | |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 79 | OutputSection *getOutputSection(); |
| 80 | const OutputSection *getOutputSection() const { |
| 81 | return const_cast<SectionBase *>(this)->getOutputSection(); |
| 82 | } |
| 83 | |
| 84 | // Translate an offset in the input section to an offset in the output |
| 85 | // section. |
| 86 | uint64_t getOffset(uint64_t Offset) const; |
| 87 | |
| 88 | uint64_t getOffset(const DefinedRegular &Sym) const; |
| 89 | |
| 90 | protected: |
| 91 | SectionBase(Kind SectionKind, StringRef Name, uint64_t Flags, |
| 92 | uint64_t Entsize, uint64_t Alignment, uint32_t Type, |
| 93 | uint32_t Info, uint32_t Link) |
| 94 | : Name(Name), SectionKind(SectionKind), Alignment(Alignment), |
| 95 | Flags(Flags), Entsize(Entsize), Type(Type), Link(Link), Info(Info) { |
| 96 | Live = false; |
| 97 | Assigned = false; |
| 98 | } |
| 99 | }; |
| 100 | |
| 101 | // This corresponds to a section of an input file. |
| 102 | class InputSectionBase : public SectionBase { |
| 103 | public: |
Rafael Espindola | 042a3f2 | 2016-09-08 14:06:08 +0000 | [diff] [blame] | 104 | InputSectionBase() |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 105 | : SectionBase(Regular, "", /*Flags*/ 0, /*Entsize*/ 0, /*Alignment*/ 0, |
| 106 | /*Type*/ 0, |
| 107 | /*Info*/ 0, /*Link*/ 0), |
| 108 | Repl(this) { |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 109 | NumRelocations = 0; |
| 110 | AreRelocsRela = false; |
| 111 | } |
Rafael Espindola | ccfe3cb | 2016-04-04 14:04:16 +0000 | [diff] [blame] | 112 | |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 113 | template <class ELFT> |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 114 | InputSectionBase(ObjFile<ELFT> *File, const typename ELFT::Shdr *Header, |
Rafael Espindola | 042a3f2 | 2016-09-08 14:06:08 +0000 | [diff] [blame] | 115 | StringRef Name, Kind SectionKind); |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 116 | |
| 117 | InputSectionBase(InputFile *File, uint64_t Flags, uint32_t Type, |
| 118 | uint64_t Entsize, uint32_t Link, uint32_t Info, |
Rafael Espindola | fcd208f | 2017-03-08 19:35:29 +0000 | [diff] [blame] | 119 | uint32_t Alignment, ArrayRef<uint8_t> Data, StringRef Name, |
Rafael Espindola | 0e09052 | 2016-10-26 00:54:03 +0000 | [diff] [blame] | 120 | Kind SectionKind); |
Rafael Espindola | db5e56f | 2017-05-31 20:17:44 +0000 | [diff] [blame] | 121 | |
Rui Ueyama | 124bedb | 2017-10-10 03:22:29 +0000 | [diff] [blame] | 122 | static bool classof(const SectionBase *S) { return S->kind() != Output; } |
| 123 | |
| 124 | // The file which contains this section. It's dynamic type is always |
| 125 | // ObjFile<ELFT>, but in order to avoid ELFT, we use InputFile as |
| 126 | // its static type. |
| 127 | InputFile *File; |
| 128 | |
| 129 | template <class ELFT> ObjFile<ELFT> *getFile() const { |
| 130 | return cast_or_null<ObjFile<ELFT>>(File); |
| 131 | } |
| 132 | |
| 133 | ArrayRef<uint8_t> Data; |
| 134 | uint64_t getOffsetInFile() const; |
| 135 | |
| 136 | static InputSectionBase Discarded; |
| 137 | |
Rafael Espindola | db5e56f | 2017-05-31 20:17:44 +0000 | [diff] [blame] | 138 | // Input sections are part of an output section. Special sections |
| 139 | // like .eh_frame and merge sections are first combined into a |
| 140 | // synthetic section that is then added to an output section. In all |
| 141 | // cases this points one level up. |
| 142 | SectionBase *Parent = nullptr; |
Rui Ueyama | c4aaed9 | 2015-10-22 18:49:53 +0000 | [diff] [blame] | 143 | |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 144 | // Relocations that refer to this section. |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 145 | const void *FirstRelocation = nullptr; |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 146 | unsigned NumRelocations : 31; |
| 147 | unsigned AreRelocsRela : 1; |
Rui Ueyama | 124bedb | 2017-10-10 03:22:29 +0000 | [diff] [blame] | 148 | |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 149 | template <class ELFT> ArrayRef<typename ELFT::Rel> rels() const { |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 150 | assert(!AreRelocsRela); |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 151 | return llvm::makeArrayRef( |
| 152 | static_cast<const typename ELFT::Rel *>(FirstRelocation), |
| 153 | NumRelocations); |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 154 | } |
Rui Ueyama | 124bedb | 2017-10-10 03:22:29 +0000 | [diff] [blame] | 155 | |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 156 | template <class ELFT> ArrayRef<typename ELFT::Rela> relas() const { |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 157 | assert(AreRelocsRela); |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 158 | return llvm::makeArrayRef( |
| 159 | static_cast<const typename ELFT::Rela *>(FirstRelocation), |
| 160 | NumRelocations); |
Rafael Espindola | 9f0c4bb | 2016-11-10 14:53:24 +0000 | [diff] [blame] | 161 | } |
| 162 | |
Rui Ueyama | 0b28952 | 2016-02-25 18:43:51 +0000 | [diff] [blame] | 163 | // This pointer points to the "real" instance of this instance. |
| 164 | // Usually Repl == this. However, if ICF merges two sections, |
| 165 | // Repl pointer of one section points to another section. So, |
| 166 | // if you need to get a pointer to this instance, do not use |
| 167 | // this but instead this->Repl. |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 168 | InputSectionBase *Repl; |
Rui Ueyama | 0b28952 | 2016-02-25 18:43:51 +0000 | [diff] [blame] | 169 | |
George Rimar | 647c168 | 2017-02-17 19:34:05 +0000 | [diff] [blame] | 170 | // InputSections that are dependent on us (reverse dependency for GC) |
Rui Ueyama | 0543343 | 2017-10-11 04:01:13 +0000 | [diff] [blame] | 171 | llvm::TinyPtrVector<InputSection *> DependentSections; |
George Rimar | 647c168 | 2017-02-17 19:34:05 +0000 | [diff] [blame] | 172 | |
Rafael Espindola | 1a54112 | 2016-11-08 14:47:16 +0000 | [diff] [blame] | 173 | // Returns the size of this section (even if this is a common or BSS.) |
Rafael Espindola | 76b6bd3 | 2017-03-08 15:44:30 +0000 | [diff] [blame] | 174 | size_t getSize() const; |
Rafael Espindola | 1a54112 | 2016-11-08 14:47:16 +0000 | [diff] [blame] | 175 | |
Rafael Espindola | b47c6e5 | 2017-05-31 19:09:52 +0000 | [diff] [blame] | 176 | InputSection *getLinkOrderDep() const; |
Rafael Espindola | db9bf4d | 2015-11-11 16:50:37 +0000 | [diff] [blame] | 177 | |
Rui Ueyama | f987fe7 | 2017-10-10 03:40:57 +0000 | [diff] [blame] | 178 | // Compilers emit zlib-compressed debug sections if the -gz option |
| 179 | // is given. This function checks if this section is compressed, and |
| 180 | // if so, decompress in memory. |
Shoaib Meenai | 50d7b36 | 2017-10-04 00:19:41 +0000 | [diff] [blame] | 181 | void maybeUncompress(); |
George Rimar | 602fbee | 2016-06-24 11:18:44 +0000 | [diff] [blame] | 182 | |
Rui Ueyama | da06bfb | 2016-11-25 18:51:53 +0000 | [diff] [blame] | 183 | // Returns a source location string. Used to construct an error message. |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 184 | template <class ELFT> std::string getLocation(uint64_t Offset); |
Rui Ueyama | b876020 | 2017-03-30 19:13:47 +0000 | [diff] [blame] | 185 | template <class ELFT> std::string getSrcMsg(uint64_t Offset); |
Rui Ueyama | d6b7a39 | 2017-10-27 03:13:54 +0000 | [diff] [blame^] | 186 | std::string getObjMsg(uint64_t Offset); |
Rui Ueyama | da06bfb | 2016-11-25 18:51:53 +0000 | [diff] [blame] | 187 | |
Rui Ueyama | f987fe7 | 2017-10-10 03:40:57 +0000 | [diff] [blame] | 188 | // Each section knows how to relocate itself. These functions apply |
| 189 | // relocations, assuming that Buf points to this section's copy in |
| 190 | // the mmap'ed output buffer. |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 191 | template <class ELFT> void relocate(uint8_t *Buf, uint8_t *BufEnd); |
Rafael Espindola | a6465bb | 2017-05-18 16:45:36 +0000 | [diff] [blame] | 192 | void relocateAlloc(uint8_t *Buf, uint8_t *BufEnd); |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 193 | |
Rui Ueyama | f987fe7 | 2017-10-10 03:40:57 +0000 | [diff] [blame] | 194 | // The native ELF reloc data type is not very convenient to handle. |
| 195 | // So we convert ELF reloc records to our own records in Relocations.cpp. |
| 196 | // This vector contains such "cooked" relocations. |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 197 | std::vector<Relocation> Relocations; |
| 198 | |
| 199 | template <typename T> llvm::ArrayRef<T> getDataAs() const { |
| 200 | size_t S = Data.size(); |
| 201 | assert(S % sizeof(T) == 0); |
| 202 | return llvm::makeArrayRef<T>((const T *)Data.data(), S / sizeof(T)); |
| 203 | } |
Rui Ueyama | 314a005 | 2017-08-17 00:27:55 +0000 | [diff] [blame] | 204 | |
| 205 | private: |
| 206 | // A pointer that owns uncompressed data if a section is compressed by zlib. |
| 207 | // Since the feature is not used often, this is usually a nullptr. |
Rafael Espindola | 17e93d2 | 2017-09-06 22:16:32 +0000 | [diff] [blame] | 208 | std::unique_ptr<char[]> UncompressBuf; |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 209 | }; |
| 210 | |
Rui Ueyama | 3ea8727 | 2016-05-22 00:13:04 +0000 | [diff] [blame] | 211 | // SectionPiece represents a piece of splittable section contents. |
Rafael Espindola | 113860b | 2016-10-20 10:55:58 +0000 | [diff] [blame] | 212 | // We allocate a lot of these and binary search on them. This means that they |
| 213 | // have to be as compact as possible, which is why we don't store the size (can |
Rui Ueyama | d5135b7 | 2017-10-24 21:44:43 +0000 | [diff] [blame] | 214 | // be found by looking at the next one). |
Rui Ueyama | 3ea8727 | 2016-05-22 00:13:04 +0000 | [diff] [blame] | 215 | struct SectionPiece { |
Rui Ueyama | 95bf509 | 2017-10-21 23:20:13 +0000 | [diff] [blame] | 216 | SectionPiece(size_t Off, uint32_t Hash, bool Live) |
| 217 | : InputOff(Off), Hash(Hash), OutputOff(-1), |
| 218 | Live(Live || !Config->GcSections) {} |
Rui Ueyama | 34dc99e | 2016-05-22 01:15:32 +0000 | [diff] [blame] | 219 | |
Rui Ueyama | 95bf509 | 2017-10-21 23:20:13 +0000 | [diff] [blame] | 220 | uint32_t InputOff; |
| 221 | uint32_t Hash; |
Konstantin Zhuravlyov | 70abb6e | 2017-10-23 19:31:31 +0000 | [diff] [blame] | 222 | int64_t OutputOff : 63; |
Rui Ueyama | 95bf509 | 2017-10-21 23:20:13 +0000 | [diff] [blame] | 223 | uint64_t Live : 1; |
Rui Ueyama | 3ea8727 | 2016-05-22 00:13:04 +0000 | [diff] [blame] | 224 | }; |
Rui Ueyama | 95bf509 | 2017-10-21 23:20:13 +0000 | [diff] [blame] | 225 | |
| 226 | static_assert(sizeof(SectionPiece) == 16, "SectionPiece is too big"); |
Rui Ueyama | 3ea8727 | 2016-05-22 00:13:04 +0000 | [diff] [blame] | 227 | |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 228 | // This corresponds to a SHF_MERGE section of an input file. |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 229 | class MergeInputSection : public InputSectionBase { |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 230 | public: |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 231 | template <class ELFT> |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 232 | MergeInputSection(ObjFile<ELFT> *F, const typename ELFT::Shdr *Header, |
Rafael Espindola | 042a3f2 | 2016-09-08 14:06:08 +0000 | [diff] [blame] | 233 | StringRef Name); |
Rui Ueyama | 43ca716 | 2017-10-01 23:46:31 +0000 | [diff] [blame] | 234 | static bool classof(const SectionBase *S) { return S->kind() == Merge; } |
Rui Ueyama | b91bf1a | 2016-05-23 16:55:43 +0000 | [diff] [blame] | 235 | void splitIntoPieces(); |
| 236 | |
| 237 | // Mark the piece at a given offset live. Used by GC. |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 238 | void markLiveAt(uint64_t Offset) { |
George Rimar | f4ca4a6 | 2017-10-24 08:26:32 +0000 | [diff] [blame] | 239 | if (this->Flags & llvm::ELF::SHF_ALLOC) |
| 240 | LiveOffsets.insert(Offset); |
Rafael Espindola | 116d83f | 2016-10-19 23:13:40 +0000 | [diff] [blame] | 241 | } |
Rui Ueyama | b91bf1a | 2016-05-23 16:55:43 +0000 | [diff] [blame] | 242 | |
| 243 | // Translate an offset in the input section to an offset |
| 244 | // in the output section. |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 245 | uint64_t getOffset(uint64_t Offset) const; |
Rui Ueyama | b91bf1a | 2016-05-23 16:55:43 +0000 | [diff] [blame] | 246 | |
Rafael Espindola | 6eae9f2 | 2016-07-21 13:32:37 +0000 | [diff] [blame] | 247 | // Splittable sections are handled as a sequence of data |
| 248 | // rather than a single large blob of data. |
| 249 | std::vector<SectionPiece> Pieces; |
Rui Ueyama | c8e6884 | 2016-12-06 02:19:30 +0000 | [diff] [blame] | 250 | |
| 251 | // Returns I'th piece's data. This function is very hot when |
| 252 | // string merging is enabled, so we want to inline. |
| 253 | LLVM_ATTRIBUTE_ALWAYS_INLINE |
| 254 | llvm::CachedHashStringRef getData(size_t I) const { |
| 255 | size_t Begin = Pieces[I].InputOff; |
Rui Ueyama | 95bf509 | 2017-10-21 23:20:13 +0000 | [diff] [blame] | 256 | size_t End = |
| 257 | (Pieces.size() - 1 == I) ? Data.size() : Pieces[I + 1].InputOff; |
| 258 | return {toStringRef(Data.slice(Begin, End - Begin)), Pieces[I].Hash}; |
Rui Ueyama | c8e6884 | 2016-12-06 02:19:30 +0000 | [diff] [blame] | 259 | } |
Rafael Espindola | 6eae9f2 | 2016-07-21 13:32:37 +0000 | [diff] [blame] | 260 | |
| 261 | // Returns the SectionPiece at a given input section offset. |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 262 | SectionPiece *getSectionPiece(uint64_t Offset); |
| 263 | const SectionPiece *getSectionPiece(uint64_t Offset) const; |
Rafael Espindola | 6eae9f2 | 2016-07-21 13:32:37 +0000 | [diff] [blame] | 264 | |
Rafael Espindola | db5e56f | 2017-05-31 20:17:44 +0000 | [diff] [blame] | 265 | SyntheticSection *getParent() const; |
Rafael Espindola | 9e9754b | 2017-02-03 13:06:18 +0000 | [diff] [blame] | 266 | |
Rui Ueyama | b91bf1a | 2016-05-23 16:55:43 +0000 | [diff] [blame] | 267 | private: |
Rui Ueyama | e8a077b | 2016-11-26 15:15:11 +0000 | [diff] [blame] | 268 | void splitStrings(ArrayRef<uint8_t> A, size_t Size); |
| 269 | void splitNonStrings(ArrayRef<uint8_t> A, size_t Size); |
Rui Ueyama | d6bd137 | 2016-08-03 04:39:42 +0000 | [diff] [blame] | 270 | |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 271 | llvm::DenseSet<uint64_t> LiveOffsets; |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 272 | }; |
| 273 | |
Rui Ueyama | e084aac | 2017-09-18 23:07:21 +0000 | [diff] [blame] | 274 | struct EhSectionPiece { |
NAKAMURA Takumi | 169dbde | 2017-09-20 08:03:18 +0000 | [diff] [blame] | 275 | EhSectionPiece(size_t Off, InputSectionBase *Sec, uint32_t Size, |
| 276 | unsigned FirstRelocation) |
| 277 | : InputOff(Off), Sec(Sec), Size(Size), FirstRelocation(FirstRelocation) {} |
Rafael Espindola | 113860b | 2016-10-20 10:55:58 +0000 | [diff] [blame] | 278 | |
NAKAMURA Takumi | 169dbde | 2017-09-20 08:03:18 +0000 | [diff] [blame] | 279 | ArrayRef<uint8_t> data() { return {Sec->Data.data() + this->InputOff, Size}; } |
| 280 | |
| 281 | size_t InputOff; |
| 282 | ssize_t OutputOff = -1; |
| 283 | InputSectionBase *Sec; |
Rui Ueyama | e084aac | 2017-09-18 23:07:21 +0000 | [diff] [blame] | 284 | uint32_t Size; |
NAKAMURA Takumi | 169dbde | 2017-09-20 08:03:18 +0000 | [diff] [blame] | 285 | unsigned FirstRelocation; |
Rafael Espindola | 2deeb60 | 2016-07-21 20:18:30 +0000 | [diff] [blame] | 286 | }; |
| 287 | |
Rafael Espindola | 0c6a4f1 | 2015-11-11 19:54:14 +0000 | [diff] [blame] | 288 | // This corresponds to a .eh_frame section of an input file. |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 289 | class EhInputSection : public InputSectionBase { |
Rafael Espindola | 0c6a4f1 | 2015-11-11 19:54:14 +0000 | [diff] [blame] | 290 | public: |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 291 | template <class ELFT> |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 292 | EhInputSection(ObjFile<ELFT> *F, const typename ELFT::Shdr *Header, |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 293 | StringRef Name); |
Rui Ueyama | 43ca716 | 2017-10-01 23:46:31 +0000 | [diff] [blame] | 294 | static bool classof(const SectionBase *S) { return S->kind() == EHFrame; } |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 295 | template <class ELFT> void split(); |
| 296 | template <class ELFT, class RelTy> void split(ArrayRef<RelTy> Rels); |
Rafael Espindola | 0c6a4f1 | 2015-11-11 19:54:14 +0000 | [diff] [blame] | 297 | |
Rafael Espindola | 6eae9f2 | 2016-07-21 13:32:37 +0000 | [diff] [blame] | 298 | // Splittable sections are handled as a sequence of data |
| 299 | // rather than a single large blob of data. |
Rafael Espindola | 2deeb60 | 2016-07-21 20:18:30 +0000 | [diff] [blame] | 300 | std::vector<EhSectionPiece> Pieces; |
Rafael Espindola | db5e56f | 2017-05-31 20:17:44 +0000 | [diff] [blame] | 301 | |
| 302 | SyntheticSection *getParent() const; |
Rafael Espindola | 0c6a4f1 | 2015-11-11 19:54:14 +0000 | [diff] [blame] | 303 | }; |
| 304 | |
Rafael Espindola | 798ad9a | 2017-02-24 13:06:59 +0000 | [diff] [blame] | 305 | // This is a section that is added directly to an output section |
| 306 | // instead of needing special combination via a synthetic section. This |
| 307 | // includes all input sections with the exceptions of SHF_MERGE and |
| 308 | // .eh_frame. It also includes the synthetic sections themselves. |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 309 | class InputSection : public InputSectionBase { |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 310 | public: |
Rafael Espindola | fcd208f | 2017-03-08 19:35:29 +0000 | [diff] [blame] | 311 | InputSection(uint64_t Flags, uint32_t Type, uint32_t Alignment, |
Rafael Espindola | c404d50 | 2017-02-23 02:32:18 +0000 | [diff] [blame] | 312 | ArrayRef<uint8_t> Data, StringRef Name, Kind K = Regular); |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 313 | template <class ELFT> |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 314 | InputSection(ObjFile<ELFT> *F, const typename ELFT::Shdr *Header, |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 315 | StringRef Name); |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 316 | |
| 317 | // Write this section to a mmap'ed file, assuming Buf is pointing to |
| 318 | // beginning of the output section. |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 319 | template <class ELFT> void writeTo(uint8_t *Buf); |
Rafael Espindola | c159c96 | 2015-10-19 21:00:02 +0000 | [diff] [blame] | 320 | |
Rafael Espindola | db5e56f | 2017-05-31 20:17:44 +0000 | [diff] [blame] | 321 | OutputSection *getParent() const; |
| 322 | |
Rui Ueyama | edffd91 | 2015-10-14 21:00:23 +0000 | [diff] [blame] | 323 | // The offset from beginning of the output sections this section was assigned |
| 324 | // to. The writer sets a value. |
Rui Ueyama | 55c3f89 | 2015-10-15 01:58:40 +0000 | [diff] [blame] | 325 | uint64_t OutSecOff = 0; |
Rui Ueyama | edffd91 | 2015-10-14 21:00:23 +0000 | [diff] [blame] | 326 | |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 327 | static bool classof(const SectionBase *S); |
George Rimar | 58941ee | 2016-02-25 08:23:37 +0000 | [diff] [blame] | 328 | |
George Rimar | 1ec03e4 | 2017-03-21 09:13:27 +0000 | [diff] [blame] | 329 | InputSectionBase *getRelocatedSection(); |
George Rimar | 58941ee | 2016-02-25 08:23:37 +0000 | [diff] [blame] | 330 | |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 331 | template <class ELFT, class RelTy> |
Rui Ueyama | 2b6fb80 | 2016-04-28 18:42:04 +0000 | [diff] [blame] | 332 | void relocateNonAlloc(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels); |
| 333 | |
Rui Ueyama | bd1f063 | 2016-11-20 02:39:59 +0000 | [diff] [blame] | 334 | // Used by ICF. |
Rui Ueyama | fcd3fa8 | 2016-12-05 18:11:35 +0000 | [diff] [blame] | 335 | uint32_t Class[2] = {0, 0}; |
Rui Ueyama | 0b28952 | 2016-02-25 18:43:51 +0000 | [diff] [blame] | 336 | |
| 337 | // Called by ICF to merge two input sections. |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 338 | void replace(InputSection *Other); |
Rui Ueyama | 0b28952 | 2016-02-25 18:43:51 +0000 | [diff] [blame] | 339 | |
Rui Ueyama | bd1f063 | 2016-11-20 02:39:59 +0000 | [diff] [blame] | 340 | private: |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 341 | template <class ELFT, class RelTy> |
Rui Ueyama | bd1f063 | 2016-11-20 02:39:59 +0000 | [diff] [blame] | 342 | void copyRelocations(uint8_t *Buf, llvm::ArrayRef<RelTy> Rels); |
George Rimar | 3b189d1 | 2017-05-29 08:37:50 +0000 | [diff] [blame] | 343 | |
Rui Ueyama | f08b38c | 2017-06-09 03:19:08 +0000 | [diff] [blame] | 344 | template <class ELFT> void copyShtGroup(uint8_t *Buf); |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 345 | }; |
| 346 | |
Rui Ueyama | 536a267 | 2017-02-27 02:32:08 +0000 | [diff] [blame] | 347 | // The list of all input sections. |
| 348 | extern std::vector<InputSectionBase *> InputSections; |
| 349 | |
George Rimar | d6bcde3 | 2017-08-04 10:25:29 +0000 | [diff] [blame] | 350 | // Builds section order for handling --symbol-ordering-file. |
George Rimar | 696a7f9 | 2017-09-19 09:20:54 +0000 | [diff] [blame] | 351 | llvm::DenseMap<SectionBase *, int> buildSectionOrder(); |
George Rimar | d6bcde3 | 2017-08-04 10:25:29 +0000 | [diff] [blame] | 352 | |
Rafael Espindola | e0df00b | 2016-02-28 00:25:54 +0000 | [diff] [blame] | 353 | } // namespace elf |
Rui Ueyama | ce03926 | 2017-01-06 10:04:08 +0000 | [diff] [blame] | 354 | |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 355 | std::string toString(const elf::InputSectionBase *); |
Michael J. Spencer | 84487f1 | 2015-07-24 21:03:07 +0000 | [diff] [blame] | 356 | } // namespace lld |
| 357 | |
| 358 | #endif |