Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 1 | //===- yaml2elf - Convert YAML to a ELF object file -----------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | /// |
| 9 | /// \file |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 10 | /// The ELF component of yaml2obj. |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 11 | /// |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "yaml2obj.h" |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 15 | #include "llvm/ADT/ArrayRef.h" |
Zachary Turner | 264b5d9 | 2017-06-07 03:48:56 +0000 | [diff] [blame] | 16 | #include "llvm/BinaryFormat/ELF.h" |
Rafael Espindola | 97de474 | 2014-07-03 02:01:39 +0000 | [diff] [blame] | 17 | #include "llvm/MC/StringTableBuilder.h" |
Michael J. Spencer | 126973b | 2013-08-08 22:27:13 +0000 | [diff] [blame] | 18 | #include "llvm/Object/ELFObjectFile.h" |
Rafael Espindola | ebd9193 | 2016-03-01 19:15:06 +0000 | [diff] [blame] | 19 | #include "llvm/ObjectYAML/ELFYAML.h" |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 20 | #include "llvm/Support/MemoryBuffer.h" |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 21 | #include "llvm/Support/WithColor.h" |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 22 | #include "llvm/Support/YAMLTraits.h" |
| 23 | #include "llvm/Support/raw_ostream.h" |
| 24 | |
| 25 | using namespace llvm; |
| 26 | |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 27 | // This class is used to build up a contiguous binary blob while keeping |
| 28 | // track of an offset in the output (which notionally begins at |
| 29 | // `InitialOffset`). |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 30 | namespace { |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 31 | class ContiguousBlobAccumulator { |
| 32 | const uint64_t InitialOffset; |
Sean Silva | bd3bc69 | 2013-06-20 19:11:41 +0000 | [diff] [blame] | 33 | SmallVector<char, 128> Buf; |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 34 | raw_svector_ostream OS; |
| 35 | |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 36 | /// \returns The new offset. |
| 37 | uint64_t padToAlignment(unsigned Align) { |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 38 | if (Align == 0) |
| 39 | Align = 1; |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 40 | uint64_t CurrentOffset = InitialOffset + OS.tell(); |
Rui Ueyama | da00f2f | 2016-01-14 21:06:47 +0000 | [diff] [blame] | 41 | uint64_t AlignedOffset = alignTo(CurrentOffset, Align); |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 42 | for (; CurrentOffset != AlignedOffset; ++CurrentOffset) |
| 43 | OS.write('\0'); |
| 44 | return AlignedOffset; // == CurrentOffset; |
| 45 | } |
| 46 | |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 47 | public: |
Sean Silva | bd3bc69 | 2013-06-20 19:11:41 +0000 | [diff] [blame] | 48 | ContiguousBlobAccumulator(uint64_t InitialOffset_) |
| 49 | : InitialOffset(InitialOffset_), Buf(), OS(Buf) {} |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 50 | template <class Integer> |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 51 | raw_ostream &getOSAndAlignedOffset(Integer &Offset, unsigned Align) { |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 52 | Offset = padToAlignment(Align); |
| 53 | return OS; |
| 54 | } |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 55 | void writeBlobToStream(raw_ostream &Out) { Out << OS.str(); } |
| 56 | }; |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 57 | } // end anonymous namespace |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 58 | |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 59 | // Used to keep track of section and symbol names, so that in the YAML file |
| 60 | // sections and symbols can be referenced by name instead of by index. |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 61 | namespace { |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 62 | class NameToIdxMap { |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 63 | StringMap<int> Map; |
| 64 | public: |
| 65 | /// \returns true if name is already present in the map. |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 66 | bool addName(StringRef Name, unsigned i) { |
David Blaikie | 5106ce7 | 2014-11-19 05:49:42 +0000 | [diff] [blame] | 67 | return !Map.insert(std::make_pair(Name, (int)i)).second; |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 68 | } |
| 69 | /// \returns true if name is not present in the map |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 70 | bool lookup(StringRef Name, unsigned &Idx) const { |
| 71 | StringMap<int>::const_iterator I = Map.find(Name); |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 72 | if (I == Map.end()) |
| 73 | return true; |
| 74 | Idx = I->getValue(); |
| 75 | return false; |
| 76 | } |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 77 | /// asserts if name is not present in the map |
| 78 | unsigned get(StringRef Name) const { |
| 79 | unsigned Idx = 0; |
| 80 | auto missing = lookup(Name, Idx); |
| 81 | (void)missing; |
| 82 | assert(!missing && "Expected section not found in index"); |
| 83 | return Idx; |
| 84 | } |
| 85 | unsigned size() const { return Map.size(); } |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 86 | }; |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 87 | } // end anonymous namespace |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 88 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 89 | template <class T> |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 90 | static size_t arrayDataSize(ArrayRef<T> A) { |
| 91 | return A.size() * sizeof(T); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | template <class T> |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 95 | static void writeArrayData(raw_ostream &OS, ArrayRef<T> A) { |
| 96 | OS.write((const char *)A.data(), arrayDataSize(A)); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | template <class T> |
| 100 | static void zero(T &Obj) { |
| 101 | memset(&Obj, 0, sizeof(Obj)); |
| 102 | } |
| 103 | |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 104 | namespace { |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 105 | /// "Single point of truth" for the ELF file construction. |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 106 | /// TODO: This class still has a ways to go before it is truly a "single |
| 107 | /// point of truth". |
| 108 | template <class ELFT> |
| 109 | class ELFState { |
Rui Ueyama | 478d635 | 2018-01-12 02:28:31 +0000 | [diff] [blame] | 110 | typedef typename ELFT::Ehdr Elf_Ehdr; |
| 111 | typedef typename ELFT::Phdr Elf_Phdr; |
| 112 | typedef typename ELFT::Shdr Elf_Shdr; |
| 113 | typedef typename ELFT::Sym Elf_Sym; |
| 114 | typedef typename ELFT::Rel Elf_Rel; |
| 115 | typedef typename ELFT::Rela Elf_Rela; |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 116 | typedef typename ELFT::Relr Elf_Relr; |
Paul Semel | 1dbbfba | 2018-07-23 18:49:04 +0000 | [diff] [blame] | 117 | typedef typename ELFT::Dyn Elf_Dyn; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 118 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 119 | enum class SymtabType { Static, Dynamic }; |
| 120 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 121 | /// The future ".strtab" section. |
Rafael Espindola | 21956e4 | 2015-10-23 21:48:05 +0000 | [diff] [blame] | 122 | StringTableBuilder DotStrtab{StringTableBuilder::ELF}; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 123 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 124 | /// The future ".shstrtab" section. |
Rafael Espindola | 21956e4 | 2015-10-23 21:48:05 +0000 | [diff] [blame] | 125 | StringTableBuilder DotShStrtab{StringTableBuilder::ELF}; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 126 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 127 | /// The future ".dynstr" section. |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 128 | StringTableBuilder DotDynstr{StringTableBuilder::ELF}; |
| 129 | |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 130 | NameToIdxMap SN2I; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 131 | NameToIdxMap SymN2I; |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 132 | const ELFYAML::Object &Doc; |
Sean Silva | c1c290b | 2013-06-20 20:59:34 +0000 | [diff] [blame] | 133 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 134 | bool buildSectionIndex(); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 135 | bool buildSymbolIndex(std::size_t &StartIndex, |
| 136 | const std::vector<ELFYAML::Symbol> &Symbols); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 137 | void initELFHeader(Elf_Ehdr &Header); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 138 | void initProgramHeaders(std::vector<Elf_Phdr> &PHeaders); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 139 | bool initSectionHeaders(std::vector<Elf_Shdr> &SHeaders, |
| 140 | ContiguousBlobAccumulator &CBA); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 141 | void initSymtabSectionHeader(Elf_Shdr &SHeader, SymtabType STType, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 142 | ContiguousBlobAccumulator &CBA); |
| 143 | void initStrtabSectionHeader(Elf_Shdr &SHeader, StringRef Name, |
| 144 | StringTableBuilder &STB, |
| 145 | ContiguousBlobAccumulator &CBA); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 146 | void setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders, |
| 147 | std::vector<Elf_Shdr> &SHeaders); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 148 | void addSymbols(const std::vector<ELFYAML::Symbol> &Symbols, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 149 | std::vector<Elf_Sym> &Syms, unsigned SymbolBinding, |
| 150 | const StringTableBuilder &Strtab); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 151 | void writeSectionContent(Elf_Shdr &SHeader, |
| 152 | const ELFYAML::RawContentSection &Section, |
| 153 | ContiguousBlobAccumulator &CBA); |
| 154 | bool writeSectionContent(Elf_Shdr &SHeader, |
| 155 | const ELFYAML::RelocationSection &Section, |
| 156 | ContiguousBlobAccumulator &CBA); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 157 | bool writeSectionContent(Elf_Shdr &SHeader, const ELFYAML::Group &Group, |
| 158 | ContiguousBlobAccumulator &CBA); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 159 | bool writeSectionContent(Elf_Shdr &SHeader, |
| 160 | const ELFYAML::MipsABIFlags &Section, |
| 161 | ContiguousBlobAccumulator &CBA); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 162 | bool hasDynamicSymbols() const; |
| 163 | SmallVector<const char *, 5> implicitSectionNames() const; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 164 | |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 165 | // - SHT_NULL entry (placed first, i.e. 0'th entry) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 166 | // - symbol table (.symtab) (defaults to after last yaml section) |
| 167 | // - string table (.strtab) (defaults to after .symtab) |
| 168 | // - section header string table (.shstrtab) (defaults to after .strtab) |
| 169 | // - dynamic symbol table (.dynsym) (defaults to after .shstrtab) |
| 170 | // - dynamic string table (.dynstr) (defaults to after .dynsym) |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 171 | unsigned getDotSymTabSecNo() const { return SN2I.get(".symtab"); } |
| 172 | unsigned getDotStrTabSecNo() const { return SN2I.get(".strtab"); } |
| 173 | unsigned getDotShStrTabSecNo() const { return SN2I.get(".shstrtab"); } |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 174 | unsigned getDotDynSymSecNo() const { return SN2I.get(".dynsym"); } |
| 175 | unsigned getDotDynStrSecNo() const { return SN2I.get(".dynstr"); } |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 176 | unsigned getSectionCount() const { return SN2I.size() + 1; } |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 177 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 178 | ELFState(const ELFYAML::Object &D) : Doc(D) {} |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 179 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 180 | public: |
| 181 | static int writeELF(raw_ostream &OS, const ELFYAML::Object &Doc); |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 182 | }; |
| 183 | } // end anonymous namespace |
| 184 | |
Sean Silva | 37e817c | 2013-06-21 00:33:01 +0000 | [diff] [blame] | 185 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 186 | void ELFState<ELFT>::initELFHeader(Elf_Ehdr &Header) { |
| 187 | using namespace llvm::ELF; |
| 188 | zero(Header); |
| 189 | Header.e_ident[EI_MAG0] = 0x7f; |
| 190 | Header.e_ident[EI_MAG1] = 'E'; |
| 191 | Header.e_ident[EI_MAG2] = 'L'; |
| 192 | Header.e_ident[EI_MAG3] = 'F'; |
| 193 | Header.e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32; |
| 194 | bool IsLittleEndian = ELFT::TargetEndianness == support::little; |
| 195 | Header.e_ident[EI_DATA] = IsLittleEndian ? ELFDATA2LSB : ELFDATA2MSB; |
| 196 | Header.e_ident[EI_VERSION] = EV_CURRENT; |
| 197 | Header.e_ident[EI_OSABI] = Doc.Header.OSABI; |
George Rimar | 6367d7a | 2018-12-20 10:43:49 +0000 | [diff] [blame] | 198 | Header.e_ident[EI_ABIVERSION] = Doc.Header.ABIVersion; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 199 | Header.e_type = Doc.Header.Type; |
| 200 | Header.e_machine = Doc.Header.Machine; |
| 201 | Header.e_version = EV_CURRENT; |
| 202 | Header.e_entry = Doc.Header.Entry; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 203 | Header.e_phoff = sizeof(Header); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 204 | Header.e_flags = Doc.Header.Flags; |
| 205 | Header.e_ehsize = sizeof(Elf_Ehdr); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 206 | Header.e_phentsize = sizeof(Elf_Phdr); |
| 207 | Header.e_phnum = Doc.ProgramHeaders.size(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 208 | Header.e_shentsize = sizeof(Elf_Shdr); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 209 | // Immediately following the ELF header and program headers. |
| 210 | Header.e_shoff = |
| 211 | sizeof(Header) + sizeof(Elf_Phdr) * Doc.ProgramHeaders.size(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 212 | Header.e_shnum = getSectionCount(); |
| 213 | Header.e_shstrndx = getDotShStrTabSecNo(); |
| 214 | } |
| 215 | |
| 216 | template <class ELFT> |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 217 | void ELFState<ELFT>::initProgramHeaders(std::vector<Elf_Phdr> &PHeaders) { |
| 218 | for (const auto &YamlPhdr : Doc.ProgramHeaders) { |
| 219 | Elf_Phdr Phdr; |
| 220 | Phdr.p_type = YamlPhdr.Type; |
| 221 | Phdr.p_flags = YamlPhdr.Flags; |
| 222 | Phdr.p_vaddr = YamlPhdr.VAddr; |
| 223 | Phdr.p_paddr = YamlPhdr.PAddr; |
| 224 | PHeaders.push_back(Phdr); |
| 225 | } |
| 226 | } |
| 227 | |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 228 | static bool convertSectionIndex(NameToIdxMap &SN2I, StringRef SecName, |
| 229 | StringRef IndexSrc, unsigned &IndexDest) { |
| 230 | if (SN2I.lookup(IndexSrc, IndexDest) && !to_integer(IndexSrc, IndexDest)) { |
| 231 | WithColor::error() << "Unknown section referenced: '" << IndexSrc |
| 232 | << "' at YAML section '" << SecName << "'.\n"; |
| 233 | return false; |
| 234 | } |
| 235 | return true; |
| 236 | } |
| 237 | |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 238 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 239 | bool ELFState<ELFT>::initSectionHeaders(std::vector<Elf_Shdr> &SHeaders, |
| 240 | ContiguousBlobAccumulator &CBA) { |
| 241 | // Ensure SHN_UNDEF entry is present. An all-zero section header is a |
| 242 | // valid SHN_UNDEF entry since SHT_NULL == 0. |
| 243 | Elf_Shdr SHeader; |
| 244 | zero(SHeader); |
| 245 | SHeaders.push_back(SHeader); |
| 246 | |
| 247 | for (const auto &Sec : Doc.Sections) { |
| 248 | zero(SHeader); |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 249 | SHeader.sh_name = DotShStrtab.getOffset(Sec->Name); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 250 | SHeader.sh_type = Sec->Type; |
| 251 | SHeader.sh_flags = Sec->Flags; |
| 252 | SHeader.sh_addr = Sec->Address; |
| 253 | SHeader.sh_addralign = Sec->AddressAlign; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 254 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 255 | if (!Sec->Link.empty()) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 256 | unsigned Index; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 257 | if (!convertSectionIndex(SN2I, Sec->Name, Sec->Link, Index)) |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 258 | return false; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 259 | SHeader.sh_link = Index; |
| 260 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 261 | |
| 262 | if (auto S = dyn_cast<ELFYAML::RawContentSection>(Sec.get())) |
| 263 | writeSectionContent(SHeader, *S, CBA); |
| 264 | else if (auto S = dyn_cast<ELFYAML::RelocationSection>(Sec.get())) { |
| 265 | if (S->Link.empty()) |
| 266 | // For relocation section set link to .symtab by default. |
| 267 | SHeader.sh_link = getDotSymTabSecNo(); |
| 268 | |
| 269 | unsigned Index; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 270 | if (!convertSectionIndex(SN2I, S->Name, S->Info, Index)) |
George Rimar | 7f2df7d | 2018-08-16 12:23:22 +0000 | [diff] [blame] | 271 | return false; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 272 | SHeader.sh_info = Index; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 273 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 274 | return false; |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 275 | } else if (auto S = dyn_cast<ELFYAML::Group>(Sec.get())) { |
| 276 | unsigned SymIdx; |
George Rimar | 942e8ed | 2018-08-15 13:55:22 +0000 | [diff] [blame] | 277 | if (SymN2I.lookup(S->Info, SymIdx) && !to_integer(S->Info, SymIdx)) { |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 278 | WithColor::error() << "Unknown symbol referenced: '" << S->Info |
| 279 | << "' at YAML section '" << S->Name << "'.\n"; |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 280 | return false; |
| 281 | } |
| 282 | SHeader.sh_info = SymIdx; |
| 283 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 284 | return false; |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 285 | } else if (auto S = dyn_cast<ELFYAML::MipsABIFlags>(Sec.get())) { |
| 286 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 287 | return false; |
Simon Atanasyan | 5db0276 | 2015-07-03 23:00:54 +0000 | [diff] [blame] | 288 | } else if (auto S = dyn_cast<ELFYAML::NoBitsSection>(Sec.get())) { |
| 289 | SHeader.sh_entsize = 0; |
| 290 | SHeader.sh_size = S->Size; |
| 291 | // SHT_NOBITS section does not have content |
| 292 | // so just to setup the section offset. |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 293 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 294 | } else |
| 295 | llvm_unreachable("Unknown section type"); |
| 296 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 297 | SHeaders.push_back(SHeader); |
| 298 | } |
| 299 | return true; |
| 300 | } |
| 301 | |
| 302 | template <class ELFT> |
| 303 | void ELFState<ELFT>::initSymtabSectionHeader(Elf_Shdr &SHeader, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 304 | SymtabType STType, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 305 | ContiguousBlobAccumulator &CBA) { |
| 306 | zero(SHeader); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 307 | bool IsStatic = STType == SymtabType::Static; |
| 308 | SHeader.sh_name = DotShStrtab.getOffset(IsStatic ? ".symtab" : ".dynsym"); |
| 309 | SHeader.sh_type = IsStatic ? ELF::SHT_SYMTAB : ELF::SHT_DYNSYM; |
| 310 | SHeader.sh_link = IsStatic ? getDotStrTabSecNo() : getDotDynStrSecNo(); |
| 311 | const auto &Symbols = IsStatic ? Doc.Symbols : Doc.DynamicSymbols; |
| 312 | auto &Strtab = IsStatic ? DotStrtab : DotDynstr; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 313 | // One greater than symbol table index of the last local symbol. |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 314 | SHeader.sh_info = Symbols.Local.size() + 1; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 315 | SHeader.sh_entsize = sizeof(Elf_Sym); |
Simon Atanasyan | 3a12092 | 2015-07-09 18:23:02 +0000 | [diff] [blame] | 316 | SHeader.sh_addralign = 8; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 317 | |
| 318 | std::vector<Elf_Sym> Syms; |
| 319 | { |
| 320 | // Ensure STN_UNDEF is present |
| 321 | Elf_Sym Sym; |
| 322 | zero(Sym); |
| 323 | Syms.push_back(Sym); |
| 324 | } |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 325 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 326 | // Add symbol names to .strtab or .dynstr. |
| 327 | for (const auto &Sym : Symbols.Local) |
| 328 | Strtab.add(Sym.Name); |
| 329 | for (const auto &Sym : Symbols.Global) |
| 330 | Strtab.add(Sym.Name); |
| 331 | for (const auto &Sym : Symbols.Weak) |
| 332 | Strtab.add(Sym.Name); |
| 333 | Strtab.finalize(); |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 334 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 335 | addSymbols(Symbols.Local, Syms, ELF::STB_LOCAL, Strtab); |
| 336 | addSymbols(Symbols.Global, Syms, ELF::STB_GLOBAL, Strtab); |
| 337 | addSymbols(Symbols.Weak, Syms, ELF::STB_WEAK, Strtab); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 338 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 339 | writeArrayData( |
| 340 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign), |
| 341 | makeArrayRef(Syms)); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 342 | SHeader.sh_size = arrayDataSize(makeArrayRef(Syms)); |
| 343 | } |
| 344 | |
| 345 | template <class ELFT> |
| 346 | void ELFState<ELFT>::initStrtabSectionHeader(Elf_Shdr &SHeader, StringRef Name, |
| 347 | StringTableBuilder &STB, |
| 348 | ContiguousBlobAccumulator &CBA) { |
| 349 | zero(SHeader); |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 350 | SHeader.sh_name = DotShStrtab.getOffset(Name); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 351 | SHeader.sh_type = ELF::SHT_STRTAB; |
Rafael Espindola | 39751af | 2016-10-04 22:43:25 +0000 | [diff] [blame] | 352 | STB.write(CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign)); |
| 353 | SHeader.sh_size = STB.getSize(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 354 | SHeader.sh_addralign = 1; |
| 355 | } |
| 356 | |
| 357 | template <class ELFT> |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 358 | void ELFState<ELFT>::setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders, |
| 359 | std::vector<Elf_Shdr> &SHeaders) { |
| 360 | uint32_t PhdrIdx = 0; |
| 361 | for (auto &YamlPhdr : Doc.ProgramHeaders) { |
| 362 | auto &PHeader = PHeaders[PhdrIdx++]; |
| 363 | |
| 364 | if (YamlPhdr.Sections.size()) |
| 365 | PHeader.p_offset = UINT32_MAX; |
| 366 | else |
| 367 | PHeader.p_offset = 0; |
| 368 | |
| 369 | // Find the minimum offset for the program header. |
| 370 | for (auto SecName : YamlPhdr.Sections) { |
| 371 | uint32_t Index = 0; |
| 372 | SN2I.lookup(SecName.Section, Index); |
| 373 | const auto &SHeader = SHeaders[Index]; |
| 374 | PHeader.p_offset = std::min(PHeader.p_offset, SHeader.sh_offset); |
| 375 | } |
| 376 | |
| 377 | // Find the maximum offset of the end of a section in order to set p_filesz. |
| 378 | PHeader.p_filesz = 0; |
| 379 | for (auto SecName : YamlPhdr.Sections) { |
| 380 | uint32_t Index = 0; |
| 381 | SN2I.lookup(SecName.Section, Index); |
| 382 | const auto &SHeader = SHeaders[Index]; |
| 383 | uint64_t EndOfSection; |
| 384 | if (SHeader.sh_type == llvm::ELF::SHT_NOBITS) |
| 385 | EndOfSection = SHeader.sh_offset; |
| 386 | else |
| 387 | EndOfSection = SHeader.sh_offset + SHeader.sh_size; |
| 388 | uint64_t EndOfSegment = PHeader.p_offset + PHeader.p_filesz; |
| 389 | EndOfSegment = std::max(EndOfSegment, EndOfSection); |
| 390 | PHeader.p_filesz = EndOfSegment - PHeader.p_offset; |
| 391 | } |
| 392 | |
| 393 | // Find the memory size by adding the size of sections at the end of the |
| 394 | // segment. These should be empty (size of zero) and NOBITS sections. |
| 395 | PHeader.p_memsz = PHeader.p_filesz; |
| 396 | for (auto SecName : YamlPhdr.Sections) { |
| 397 | uint32_t Index = 0; |
| 398 | SN2I.lookup(SecName.Section, Index); |
| 399 | const auto &SHeader = SHeaders[Index]; |
| 400 | if (SHeader.sh_offset == PHeader.p_offset + PHeader.p_filesz) |
| 401 | PHeader.p_memsz += SHeader.sh_size; |
| 402 | } |
| 403 | |
| 404 | // Set the alignment of the segment to be the same as the maximum alignment |
Jake Ehrlich | 03aeeb09 | 2017-11-01 23:14:48 +0000 | [diff] [blame] | 405 | // of the sections with the same offset so that by default the segment |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 406 | // has a valid and sensible alignment. |
Jake Ehrlich | 03aeeb09 | 2017-11-01 23:14:48 +0000 | [diff] [blame] | 407 | if (YamlPhdr.Align) { |
| 408 | PHeader.p_align = *YamlPhdr.Align; |
| 409 | } else { |
| 410 | PHeader.p_align = 1; |
| 411 | for (auto SecName : YamlPhdr.Sections) { |
| 412 | uint32_t Index = 0; |
| 413 | SN2I.lookup(SecName.Section, Index); |
| 414 | const auto &SHeader = SHeaders[Index]; |
| 415 | if (SHeader.sh_offset == PHeader.p_offset) |
| 416 | PHeader.p_align = std::max(PHeader.p_align, SHeader.sh_addralign); |
| 417 | } |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 418 | } |
| 419 | } |
| 420 | } |
| 421 | |
| 422 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 423 | void ELFState<ELFT>::addSymbols(const std::vector<ELFYAML::Symbol> &Symbols, |
| 424 | std::vector<Elf_Sym> &Syms, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 425 | unsigned SymbolBinding, |
| 426 | const StringTableBuilder &Strtab) { |
Simon Atanasyan | 048baca | 2014-03-14 06:53:30 +0000 | [diff] [blame] | 427 | for (const auto &Sym : Symbols) { |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 428 | Elf_Sym Symbol; |
| 429 | zero(Symbol); |
| 430 | if (!Sym.Name.empty()) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 431 | Symbol.st_name = Strtab.getOffset(Sym.Name); |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 432 | Symbol.setBindingAndType(SymbolBinding, Sym.Type); |
Sean Silva | c4afa6d | 2013-06-21 01:11:48 +0000 | [diff] [blame] | 433 | if (!Sym.Section.empty()) { |
| 434 | unsigned Index; |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 435 | if (SN2I.lookup(Sym.Section, Index)) { |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 436 | WithColor::error() << "Unknown section referenced: '" << Sym.Section |
| 437 | << "' by YAML symbol " << Sym.Name << ".\n"; |
Sean Silva | c4afa6d | 2013-06-21 01:11:48 +0000 | [diff] [blame] | 438 | exit(1); |
| 439 | } |
| 440 | Symbol.st_shndx = Index; |
Petr Hosek | 5c469a3 | 2017-09-07 20:44:16 +0000 | [diff] [blame] | 441 | } else if (Sym.Index) { |
| 442 | Symbol.st_shndx = *Sym.Index; |
| 443 | } |
| 444 | // else Symbol.st_shndex == SHN_UNDEF (== 0), since it was zero'd earlier. |
Sean Silva | 05001b9 | 2013-06-20 20:59:47 +0000 | [diff] [blame] | 445 | Symbol.st_value = Sym.Value; |
Simon Atanasyan | 60e1a79 | 2014-11-06 22:46:24 +0000 | [diff] [blame] | 446 | Symbol.st_other = Sym.Other; |
Sean Silva | 05001b9 | 2013-06-20 20:59:47 +0000 | [diff] [blame] | 447 | Symbol.st_size = Sym.Size; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 448 | Syms.push_back(Symbol); |
| 449 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 450 | } |
| 451 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 452 | template <class ELFT> |
| 453 | void |
| 454 | ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 455 | const ELFYAML::RawContentSection &Section, |
| 456 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 457 | assert(Section.Size >= Section.Content.binary_size() && |
| 458 | "Section size and section content are inconsistent"); |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 459 | raw_ostream &OS = |
| 460 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 461 | Section.Content.writeAsBinary(OS); |
| 462 | for (auto i = Section.Content.binary_size(); i < Section.Size; ++i) |
| 463 | OS.write(0); |
George Rimar | 65a6828 | 2018-08-07 08:11:38 +0000 | [diff] [blame] | 464 | if (Section.EntSize) |
| 465 | SHeader.sh_entsize = *Section.EntSize; |
| 466 | else if (Section.Type == llvm::ELF::SHT_RELR) |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 467 | SHeader.sh_entsize = sizeof(Elf_Relr); |
Paul Semel | 1dbbfba | 2018-07-23 18:49:04 +0000 | [diff] [blame] | 468 | else if (Section.Type == llvm::ELF::SHT_DYNAMIC) |
| 469 | SHeader.sh_entsize = sizeof(Elf_Dyn); |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 470 | else |
| 471 | SHeader.sh_entsize = 0; |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 472 | SHeader.sh_size = Section.Size; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 473 | } |
| 474 | |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 475 | static bool isMips64EL(const ELFYAML::Object &Doc) { |
| 476 | return Doc.Header.Machine == ELFYAML::ELF_EM(llvm::ELF::EM_MIPS) && |
| 477 | Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64) && |
| 478 | Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 479 | } |
| 480 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 481 | template <class ELFT> |
| 482 | bool |
| 483 | ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 484 | const ELFYAML::RelocationSection &Section, |
| 485 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 486 | assert((Section.Type == llvm::ELF::SHT_REL || |
| 487 | Section.Type == llvm::ELF::SHT_RELA) && |
| 488 | "Section type is not SHT_REL nor SHT_RELA"); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 489 | |
| 490 | bool IsRela = Section.Type == llvm::ELF::SHT_RELA; |
| 491 | SHeader.sh_entsize = IsRela ? sizeof(Elf_Rela) : sizeof(Elf_Rel); |
| 492 | SHeader.sh_size = SHeader.sh_entsize * Section.Relocations.size(); |
| 493 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 494 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 495 | |
| 496 | for (const auto &Rel : Section.Relocations) { |
Adhemerval Zanella | 9f3dbff | 2015-04-22 15:26:43 +0000 | [diff] [blame] | 497 | unsigned SymIdx = 0; |
| 498 | // Some special relocation, R_ARM_v4BX for instance, does not have |
| 499 | // an external reference. So it ignores the return value of lookup() |
| 500 | // here. |
Petr Hosek | 5aa80f1 | 2017-08-30 23:13:31 +0000 | [diff] [blame] | 501 | if (Rel.Symbol) |
| 502 | SymN2I.lookup(*Rel.Symbol, SymIdx); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 503 | |
| 504 | if (IsRela) { |
| 505 | Elf_Rela REntry; |
| 506 | zero(REntry); |
| 507 | REntry.r_offset = Rel.Offset; |
| 508 | REntry.r_addend = Rel.Addend; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 509 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 510 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 511 | } else { |
| 512 | Elf_Rel REntry; |
| 513 | zero(REntry); |
| 514 | REntry.r_offset = Rel.Offset; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 515 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 516 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 517 | } |
| 518 | } |
| 519 | return true; |
| 520 | } |
| 521 | |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 522 | template <class ELFT> |
| 523 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 524 | const ELFYAML::Group &Section, |
| 525 | ContiguousBlobAccumulator &CBA) { |
Rui Ueyama | 478d635 | 2018-01-12 02:28:31 +0000 | [diff] [blame] | 526 | typedef typename ELFT::Word Elf_Word; |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 527 | assert(Section.Type == llvm::ELF::SHT_GROUP && |
| 528 | "Section type is not SHT_GROUP"); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 529 | |
| 530 | SHeader.sh_entsize = sizeof(Elf_Word); |
| 531 | SHeader.sh_size = SHeader.sh_entsize * Section.Members.size(); |
| 532 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 533 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 534 | |
| 535 | for (auto member : Section.Members) { |
| 536 | Elf_Word SIdx; |
| 537 | unsigned int sectionIndex = 0; |
| 538 | if (member.sectionNameOrType == "GRP_COMDAT") |
| 539 | sectionIndex = llvm::ELF::GRP_COMDAT; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 540 | else if (!convertSectionIndex(SN2I, Section.Name, member.sectionNameOrType, |
| 541 | sectionIndex)) |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 542 | return false; |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 543 | SIdx = sectionIndex; |
| 544 | OS.write((const char *)&SIdx, sizeof(SIdx)); |
| 545 | } |
| 546 | return true; |
| 547 | } |
| 548 | |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 549 | template <class ELFT> |
| 550 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 551 | const ELFYAML::MipsABIFlags &Section, |
| 552 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 553 | assert(Section.Type == llvm::ELF::SHT_MIPS_ABIFLAGS && |
| 554 | "Section type is not SHT_MIPS_ABIFLAGS"); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 555 | |
| 556 | object::Elf_Mips_ABIFlags<ELFT> Flags; |
| 557 | zero(Flags); |
| 558 | SHeader.sh_entsize = sizeof(Flags); |
| 559 | SHeader.sh_size = SHeader.sh_entsize; |
| 560 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 561 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 562 | Flags.version = Section.Version; |
| 563 | Flags.isa_level = Section.ISALevel; |
| 564 | Flags.isa_rev = Section.ISARevision; |
| 565 | Flags.gpr_size = Section.GPRSize; |
| 566 | Flags.cpr1_size = Section.CPR1Size; |
| 567 | Flags.cpr2_size = Section.CPR2Size; |
| 568 | Flags.fp_abi = Section.FpABI; |
| 569 | Flags.isa_ext = Section.ISAExtension; |
| 570 | Flags.ases = Section.ASEs; |
| 571 | Flags.flags1 = Section.Flags1; |
| 572 | Flags.flags2 = Section.Flags2; |
| 573 | OS.write((const char *)&Flags, sizeof(Flags)); |
| 574 | |
| 575 | return true; |
| 576 | } |
| 577 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 578 | template <class ELFT> bool ELFState<ELFT>::buildSectionIndex() { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 579 | for (unsigned i = 0, e = Doc.Sections.size(); i != e; ++i) { |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 580 | StringRef Name = Doc.Sections[i]->Name; |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 581 | DotShStrtab.add(Name); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 582 | // "+ 1" to take into account the SHT_NULL entry. |
| 583 | if (SN2I.addName(Name, i + 1)) { |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 584 | WithColor::error() << "Repeated section name: '" << Name |
| 585 | << "' at YAML section number " << i << ".\n"; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 586 | return false; |
| 587 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 588 | } |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 589 | |
| 590 | auto SecNo = 1 + Doc.Sections.size(); |
| 591 | // Add special sections after input sections, if necessary. |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 592 | for (const auto &Name : implicitSectionNames()) |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 593 | if (!SN2I.addName(Name, SecNo)) { |
| 594 | // Account for this section, since it wasn't in the Doc |
| 595 | ++SecNo; |
| 596 | DotShStrtab.add(Name); |
| 597 | } |
| 598 | |
| 599 | DotShStrtab.finalize(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 600 | return true; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 601 | } |
| 602 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 603 | template <class ELFT> |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 604 | bool |
| 605 | ELFState<ELFT>::buildSymbolIndex(std::size_t &StartIndex, |
| 606 | const std::vector<ELFYAML::Symbol> &Symbols) { |
| 607 | for (const auto &Sym : Symbols) { |
| 608 | ++StartIndex; |
| 609 | if (Sym.Name.empty()) |
| 610 | continue; |
| 611 | if (SymN2I.addName(Sym.Name, StartIndex)) { |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 612 | WithColor::error() << "Repeated symbol name: '" << Sym.Name << "'.\n"; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 613 | return false; |
| 614 | } |
| 615 | } |
| 616 | return true; |
| 617 | } |
| 618 | |
| 619 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 620 | int ELFState<ELFT>::writeELF(raw_ostream &OS, const ELFYAML::Object &Doc) { |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 621 | ELFState<ELFT> State(Doc); |
| 622 | if (!State.buildSectionIndex()) |
| 623 | return 1; |
| 624 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 625 | std::size_t StartSymIndex = 0; |
| 626 | if (!State.buildSymbolIndex(StartSymIndex, Doc.Symbols.Local) || |
| 627 | !State.buildSymbolIndex(StartSymIndex, Doc.Symbols.Global) || |
| 628 | !State.buildSymbolIndex(StartSymIndex, Doc.Symbols.Weak)) |
| 629 | return 1; |
| 630 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 631 | Elf_Ehdr Header; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 632 | State.initELFHeader(Header); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 633 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 634 | // TODO: Flesh out section header support. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 635 | |
| 636 | std::vector<Elf_Phdr> PHeaders; |
| 637 | State.initProgramHeaders(PHeaders); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 638 | |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 639 | // XXX: This offset is tightly coupled with the order that we write |
| 640 | // things to `OS`. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 641 | const size_t SectionContentBeginOffset = Header.e_ehsize + |
| 642 | Header.e_phentsize * Header.e_phnum + |
| 643 | Header.e_shentsize * Header.e_shnum; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 644 | ContiguousBlobAccumulator CBA(SectionContentBeginOffset); |
Sean Silva | c1c290b | 2013-06-20 20:59:34 +0000 | [diff] [blame] | 645 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 646 | std::vector<Elf_Shdr> SHeaders; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 647 | if(!State.initSectionHeaders(SHeaders, CBA)) |
| 648 | return 1; |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 649 | |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 650 | // Populate SHeaders with implicit sections not present in the Doc |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 651 | for (const auto &Name : State.implicitSectionNames()) |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 652 | if (State.SN2I.get(Name) >= SHeaders.size()) |
| 653 | SHeaders.push_back({}); |
Sean Silva | 8217757 | 2013-06-22 01:38:00 +0000 | [diff] [blame] | 654 | |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 655 | // Initialize the implicit sections |
| 656 | auto Index = State.SN2I.get(".symtab"); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 657 | State.initSymtabSectionHeader(SHeaders[Index], SymtabType::Static, CBA); |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 658 | Index = State.SN2I.get(".strtab"); |
| 659 | State.initStrtabSectionHeader(SHeaders[Index], ".strtab", State.DotStrtab, CBA); |
| 660 | Index = State.SN2I.get(".shstrtab"); |
| 661 | State.initStrtabSectionHeader(SHeaders[Index], ".shstrtab", State.DotShStrtab, CBA); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 662 | if (State.hasDynamicSymbols()) { |
| 663 | Index = State.SN2I.get(".dynsym"); |
| 664 | State.initSymtabSectionHeader(SHeaders[Index], SymtabType::Dynamic, CBA); |
| 665 | SHeaders[Index].sh_flags |= ELF::SHF_ALLOC; |
| 666 | Index = State.SN2I.get(".dynstr"); |
| 667 | State.initStrtabSectionHeader(SHeaders[Index], ".dynstr", State.DotDynstr, CBA); |
| 668 | SHeaders[Index].sh_flags |= ELF::SHF_ALLOC; |
| 669 | } |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 670 | |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 671 | // Now we can decide segment offsets |
| 672 | State.setProgramHeaderLayout(PHeaders, SHeaders); |
| 673 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 674 | OS.write((const char *)&Header, sizeof(Header)); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 675 | writeArrayData(OS, makeArrayRef(PHeaders)); |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 676 | writeArrayData(OS, makeArrayRef(SHeaders)); |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 677 | CBA.writeBlobToStream(OS); |
Sean Silva | 415d93f | 2013-06-17 20:14:59 +0000 | [diff] [blame] | 678 | return 0; |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 679 | } |
| 680 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 681 | template <class ELFT> bool ELFState<ELFT>::hasDynamicSymbols() const { |
| 682 | return Doc.DynamicSymbols.Global.size() > 0 || |
| 683 | Doc.DynamicSymbols.Weak.size() > 0 || |
| 684 | Doc.DynamicSymbols.Local.size() > 0; |
| 685 | } |
| 686 | |
Xing GUO | bac7864 | 2018-12-07 11:04:22 +0000 | [diff] [blame] | 687 | template <class ELFT> |
| 688 | SmallVector<const char *, 5> ELFState<ELFT>::implicitSectionNames() const { |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 689 | if (!hasDynamicSymbols()) |
| 690 | return {".symtab", ".strtab", ".shstrtab"}; |
| 691 | return {".symtab", ".strtab", ".shstrtab", ".dynsym", ".dynstr"}; |
| 692 | } |
| 693 | |
Sean Silva | 11caeba | 2013-06-22 01:03:35 +0000 | [diff] [blame] | 694 | static bool is64Bit(const ELFYAML::Object &Doc) { |
| 695 | return Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64); |
| 696 | } |
| 697 | |
| 698 | static bool isLittleEndian(const ELFYAML::Object &Doc) { |
| 699 | return Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 700 | } |
| 701 | |
Chris Bieneman | 8ff0c11 | 2016-06-27 19:53:53 +0000 | [diff] [blame] | 702 | int yaml2elf(llvm::ELFYAML::Object &Doc, raw_ostream &Out) { |
Sean Silva | 11caeba | 2013-06-22 01:03:35 +0000 | [diff] [blame] | 703 | if (is64Bit(Doc)) { |
| 704 | if (isLittleEndian(Doc)) |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 705 | return ELFState<object::ELF64LE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 706 | else |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 707 | return ELFState<object::ELF64BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 708 | } else { |
Sean Silva | 11caeba | 2013-06-22 01:03:35 +0000 | [diff] [blame] | 709 | if (isLittleEndian(Doc)) |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 710 | return ELFState<object::ELF32LE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 711 | else |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 712 | return ELFState<object::ELF32BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 713 | } |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 714 | } |