Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 1 | //===- OutputSections.h -----------------------------------------*- C++ -*-===// |
| 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 | #ifndef LLD_ELF_OUTPUT_SECTIONS_H |
| 11 | #define LLD_ELF_OUTPUT_SECTIONS_H |
| 12 | |
Davide Italiano | 85121bb | 2015-09-25 03:56:11 +0000 | [diff] [blame] | 13 | #include "Config.h" |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 14 | #include "InputSection.h" |
Rafael Espindola | 8c022ca | 2017-07-27 19:22:43 +0000 | [diff] [blame^] | 15 | #include "LinkerScript.h" |
Simon Atanasyan | 4132511 | 2016-06-19 21:39:37 +0000 | [diff] [blame] | 16 | #include "Relocations.h" |
Davide Italiano | 85121bb | 2015-09-25 03:56:11 +0000 | [diff] [blame] | 17 | |
Rui Ueyama | a0752a5 | 2016-03-13 20:28:29 +0000 | [diff] [blame] | 18 | #include "lld/Core/LLVM.h" |
| 19 | #include "llvm/MC/StringTableBuilder.h" |
| 20 | #include "llvm/Object/ELF.h" |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 21 | |
| 22 | namespace lld { |
Rafael Espindola | e0df00b | 2016-02-28 00:25:54 +0000 | [diff] [blame] | 23 | namespace elf { |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 24 | |
Rafael Espindola | 17cb7c0 | 2016-12-19 17:01:01 +0000 | [diff] [blame] | 25 | struct PhdrEntry; |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 26 | class SymbolBody; |
Rafael Espindola | 2deeb60 | 2016-07-21 20:18:30 +0000 | [diff] [blame] | 27 | struct EhSectionPiece; |
Rafael Espindola | 5c02b74 | 2017-03-06 21:17:18 +0000 | [diff] [blame] | 28 | class EhInputSection; |
Rafael Espindola | 774ea7d | 2017-02-23 16:49:07 +0000 | [diff] [blame] | 29 | class InputSection; |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 30 | class InputSectionBase; |
Rafael Espindola | 6119b86 | 2017-03-06 20:23:56 +0000 | [diff] [blame] | 31 | class MergeInputSection; |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 32 | class OutputSection; |
Rui Ueyama | 709fb2bb1 | 2017-07-26 22:13:32 +0000 | [diff] [blame] | 33 | template <class ELFT> class ObjFile; |
Peter Collingbourne | 21a12fc | 2016-04-27 20:22:31 +0000 | [diff] [blame] | 34 | template <class ELFT> class SharedFile; |
Rui Ueyama | 4076fa1 | 2017-02-26 23:35:34 +0000 | [diff] [blame] | 35 | class SharedSymbol; |
Rui Ueyama | 80474a2 | 2017-02-28 19:29:55 +0000 | [diff] [blame] | 36 | class DefinedRegular; |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 37 | |
Rafael Espindola | 7167585 | 2015-09-22 00:16:19 +0000 | [diff] [blame] | 38 | // This represents a section in an output file. |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 39 | // It is composed of multiple InputSections. |
Rafael Espindola | 7167585 | 2015-09-22 00:16:19 +0000 | [diff] [blame] | 40 | // The writer creates multiple OutputSections and assign them unique, |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 41 | // non-overlapping file offsets and VAs. |
Rafael Espindola | 8c022ca | 2017-07-27 19:22:43 +0000 | [diff] [blame^] | 42 | class OutputSection final : public BaseCommand, public SectionBase { |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 43 | public: |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 44 | OutputSection(StringRef Name, uint32_t Type, uint64_t Flags); |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 45 | |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 46 | static bool classof(const SectionBase *S) { |
| 47 | return S->kind() == SectionBase::Output; |
| 48 | } |
Rafael Espindola | 8c022ca | 2017-07-27 19:22:43 +0000 | [diff] [blame^] | 49 | static bool classof(const BaseCommand *C); |
Rafael Espindola | 5616adf | 2017-03-08 22:36:28 +0000 | [diff] [blame] | 50 | |
Rafael Espindola | e08e78d | 2016-11-09 23:23:45 +0000 | [diff] [blame] | 51 | uint64_t getLMA() const { return Addr + LMAOffset; } |
| 52 | template <typename ELFT> void writeHeaderTo(typename ELFT::Shdr *SHdr); |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 53 | |
Rui Ueyama | 2317d0d | 2015-10-15 20:55:22 +0000 | [diff] [blame] | 54 | unsigned SectionIndex; |
Rafael Espindola | 5210141 | 2017-05-12 14:52:22 +0000 | [diff] [blame] | 55 | unsigned SortRank; |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 56 | |
Rafael Espindola | 0b11367 | 2016-07-27 14:10:56 +0000 | [diff] [blame] | 57 | uint32_t getPhdrFlags() const; |
Rui Ueyama | 3b04d83 | 2016-07-14 05:46:24 +0000 | [diff] [blame] | 58 | |
Rafael Espindola | 8bb4087 | 2017-03-07 15:51:09 +0000 | [diff] [blame] | 59 | void updateAlignment(uint32_t Val) { |
Rafael Espindola | 3770763 | 2017-03-07 14:55:52 +0000 | [diff] [blame] | 60 | if (Val > Alignment) |
| 61 | Alignment = Val; |
Rafael Espindola | 115f0f3 | 2015-11-03 14:13:40 +0000 | [diff] [blame] | 62 | } |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 63 | |
Eugene Leviant | 3d9abec | 2016-09-29 09:20:33 +0000 | [diff] [blame] | 64 | // Pointer to the first section in PT_LOAD segment, which this section |
| 65 | // also resides in. This field is used to correctly compute file offset |
| 66 | // of a section. When two sections share the same load segment, difference |
| 67 | // between their file offsets should be equal to difference between their |
| 68 | // virtual addresses. To compute some section offset we use the following |
| 69 | // formula: Off = Off_first + VA - VA_first. |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 70 | OutputSection *FirstInPtLoad = nullptr; |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 71 | |
George Rimar | 990c9cb | 2017-06-07 09:20:35 +0000 | [diff] [blame] | 72 | // Pointer to a relocation section for this section. Usually nullptr because |
| 73 | // we consume relocations, but if --emit-relocs is specified (which is rare), |
| 74 | // it may have a non-null value. |
| 75 | OutputSection *RelocationSection = nullptr; |
| 76 | |
Rafael Espindola | 04a2e34 | 2016-11-09 01:42:41 +0000 | [diff] [blame] | 77 | // The following fields correspond to Elf_Shdr members. |
Rafael Espindola | e08e78d | 2016-11-09 23:23:45 +0000 | [diff] [blame] | 78 | uint64_t Size = 0; |
Rafael Espindola | e08e78d | 2016-11-09 23:23:45 +0000 | [diff] [blame] | 79 | uint64_t Offset = 0; |
Rafael Espindola | e08e78d | 2016-11-09 23:23:45 +0000 | [diff] [blame] | 80 | uint64_t LMAOffset = 0; |
| 81 | uint64_t Addr = 0; |
Rafael Espindola | 04a2e34 | 2016-11-09 01:42:41 +0000 | [diff] [blame] | 82 | uint32_t ShName = 0; |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 83 | |
Rafael Espindola | dc8eb81 | 2017-04-07 01:40:21 +0000 | [diff] [blame] | 84 | void addSection(InputSection *S); |
Eugene Leviant | 84569e6 | 2016-11-29 08:05:44 +0000 | [diff] [blame] | 85 | |
George Rimar | dbf9339 | 2017-04-17 08:58:12 +0000 | [diff] [blame] | 86 | // Used for implementation of --compress-debug-sections option. |
Rui Ueyama | 07c62c1 | 2017-04-19 11:32:13 +0000 | [diff] [blame] | 87 | std::vector<uint8_t> ZDebugHeader; |
George Rimar | dbf9339 | 2017-04-17 08:58:12 +0000 | [diff] [blame] | 88 | llvm::SmallVector<char, 1> CompressedData; |
George Rimar | dbf9339 | 2017-04-17 08:58:12 +0000 | [diff] [blame] | 89 | |
Eugene Leviant | 84569e6 | 2016-11-29 08:05:44 +0000 | [diff] [blame] | 90 | // Location in the output buffer. |
| 91 | uint8_t *Loc = nullptr; |
Rafael Espindola | 8c022ca | 2017-07-27 19:22:43 +0000 | [diff] [blame^] | 92 | |
| 93 | // The following members are normally only used in linker scripts. |
| 94 | MemoryRegion *MemRegion = nullptr; |
| 95 | Expr AddrExpr; |
| 96 | Expr AlignExpr; |
| 97 | Expr LMAExpr; |
| 98 | Expr SubalignExpr; |
| 99 | std::vector<BaseCommand *> Commands; |
| 100 | std::vector<StringRef> Phdrs; |
| 101 | llvm::Optional<uint32_t> Filler; |
| 102 | ConstraintKind Constraint = ConstraintKind::NoConstraint; |
| 103 | std::string Location; |
| 104 | std::string MemoryRegionName; |
| 105 | bool Noload = false; |
| 106 | |
| 107 | template <class ELFT> void finalize(); |
| 108 | template <class ELFT> void writeTo(uint8_t *Buf); |
| 109 | template <class ELFT> void maybeCompress(); |
| 110 | uint32_t getFiller(); |
| 111 | |
| 112 | void sort(std::function<int(InputSectionBase *S)> Order); |
| 113 | void sortInitFini(); |
| 114 | void sortCtorsDtors(); |
Rafael Espindola | 5805c4f | 2015-09-21 21:38:08 +0000 | [diff] [blame] | 115 | }; |
| 116 | |
Rafael Espindola | 8c022ca | 2017-07-27 19:22:43 +0000 | [diff] [blame^] | 117 | int getPriority(StringRef S); |
| 118 | |
Rui Ueyama | 9d1bacb1 | 2017-02-27 02:31:26 +0000 | [diff] [blame] | 119 | // All output sections that are handled by the linker specially are |
Rui Ueyama | 15ef5e1 | 2015-10-07 19:18:16 +0000 | [diff] [blame] | 120 | // globally accessible. Writer initializes them, so don't use them |
| 121 | // until Writer is initialized. |
Rui Ueyama | 9d1bacb1 | 2017-02-27 02:31:26 +0000 | [diff] [blame] | 122 | struct Out { |
Rui Ueyama | cfadbd9 | 2016-11-01 23:12:51 +0000 | [diff] [blame] | 123 | static uint8_t First; |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 124 | static OutputSection *Opd; |
Hal Finkel | daedc12 | 2015-10-12 23:16:53 +0000 | [diff] [blame] | 125 | static uint8_t *OpdBuf; |
Rafael Espindola | 17cb7c0 | 2016-12-19 17:01:01 +0000 | [diff] [blame] | 126 | static PhdrEntry *TlsPhdr; |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 127 | static OutputSection *DebugInfo; |
| 128 | static OutputSection *ElfHeader; |
| 129 | static OutputSection *ProgramHeaders; |
| 130 | static OutputSection *PreinitArray; |
| 131 | static OutputSection *InitArray; |
| 132 | static OutputSection *FiniArray; |
Rui Ueyama | 15ef5e1 | 2015-10-07 19:18:16 +0000 | [diff] [blame] | 133 | }; |
Rui Ueyama | d888d10 | 2015-10-09 19:34:55 +0000 | [diff] [blame] | 134 | |
Rafael Espindola | 7244708 | 2017-01-05 14:35:41 +0000 | [diff] [blame] | 135 | struct SectionKey { |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 136 | StringRef Name; |
Rafael Espindola | 7244708 | 2017-01-05 14:35:41 +0000 | [diff] [blame] | 137 | uint64_t Flags; |
Rafael Espindola | fcd208f | 2017-03-08 19:35:29 +0000 | [diff] [blame] | 138 | uint32_t Alignment; |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 139 | }; |
George Rimar | 67c6072 | 2017-07-18 11:55:35 +0000 | [diff] [blame] | 140 | } // namespace elf |
| 141 | } // namespace lld |
Rafael Espindola | 6386628 | 2017-02-16 19:23:15 +0000 | [diff] [blame] | 142 | namespace llvm { |
| 143 | template <> struct DenseMapInfo<lld::elf::SectionKey> { |
| 144 | static lld::elf::SectionKey getEmptyKey(); |
| 145 | static lld::elf::SectionKey getTombstoneKey(); |
| 146 | static unsigned getHashValue(const lld::elf::SectionKey &Val); |
| 147 | static bool isEqual(const lld::elf::SectionKey &LHS, |
| 148 | const lld::elf::SectionKey &RHS); |
| 149 | }; |
George Rimar | 67c6072 | 2017-07-18 11:55:35 +0000 | [diff] [blame] | 150 | } // namespace llvm |
Rafael Espindola | 6386628 | 2017-02-16 19:23:15 +0000 | [diff] [blame] | 151 | namespace lld { |
| 152 | namespace elf { |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 153 | |
| 154 | // This class knows how to create an output section for a given |
| 155 | // input section. Output section type is determined by various |
| 156 | // factors, including input section's sh_flags, sh_type and |
| 157 | // linker scripts. |
Rui Ueyama | 02a036f | 2017-02-27 02:31:48 +0000 | [diff] [blame] | 158 | class OutputSectionFactory { |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 159 | public: |
Rafael Espindola | 0553124 | 2017-07-06 16:40:44 +0000 | [diff] [blame] | 160 | OutputSectionFactory(); |
Rafael Espindola | bd3ab09 | 2017-01-05 14:52:46 +0000 | [diff] [blame] | 161 | ~OutputSectionFactory(); |
Rui Ueyama | 02a036f | 2017-02-27 02:31:48 +0000 | [diff] [blame] | 162 | |
Rafael Espindola | b4c9b81 | 2017-02-23 02:28:28 +0000 | [diff] [blame] | 163 | void addInputSec(InputSectionBase *IS, StringRef OutsecName); |
Rafael Espindola | 4f013bb | 2017-04-26 22:30:15 +0000 | [diff] [blame] | 164 | void addInputSec(InputSectionBase *IS, StringRef OutsecName, |
| 165 | OutputSection *&Sec); |
Rafael Espindola | 8290274 | 2017-02-16 17:32:26 +0000 | [diff] [blame] | 166 | |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 167 | private: |
Rafael Espindola | 24e6f36 | 2017-02-24 15:07:30 +0000 | [diff] [blame] | 168 | llvm::SmallDenseMap<SectionKey, OutputSection *> Map; |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 169 | }; |
| 170 | |
George Rimar | 78aa270 | 2017-03-13 14:40:58 +0000 | [diff] [blame] | 171 | uint64_t getHeaderSize(); |
Rafael Espindola | e39709b | 2017-05-30 20:40:03 +0000 | [diff] [blame] | 172 | void reportDiscarded(InputSectionBase *IS); |
Rafael Espindola | 0d4b6d5 | 2016-09-22 16:47:21 +0000 | [diff] [blame] | 173 | |
Rafael Espindola | f51c805 | 2017-06-13 23:26:31 +0000 | [diff] [blame] | 174 | extern std::vector<OutputSection *> OutputSections; |
Rafael Espindola | e0df00b | 2016-02-28 00:25:54 +0000 | [diff] [blame] | 175 | } // namespace elf |
Eugene Zelenko | 6e43b49 | 2015-11-04 02:11:57 +0000 | [diff] [blame] | 176 | } // namespace lld |
| 177 | |
George Rimar | 6892afa | 2016-07-12 09:49:43 +0000 | [diff] [blame] | 178 | #endif |