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" |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 20 | #include "llvm/Support/EndianStream.h" |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 21 | #include "llvm/Support/MemoryBuffer.h" |
Jonas Devlieghere | 2cd41eb | 2018-04-21 21:11:59 +0000 | [diff] [blame] | 22 | #include "llvm/Support/WithColor.h" |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 23 | #include "llvm/Support/YAMLTraits.h" |
| 24 | #include "llvm/Support/raw_ostream.h" |
| 25 | |
| 26 | using namespace llvm; |
| 27 | |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 28 | // This class is used to build up a contiguous binary blob while keeping |
| 29 | // track of an offset in the output (which notionally begins at |
| 30 | // `InitialOffset`). |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 31 | namespace { |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 32 | class ContiguousBlobAccumulator { |
| 33 | const uint64_t InitialOffset; |
Sean Silva | bd3bc69 | 2013-06-20 19:11:41 +0000 | [diff] [blame] | 34 | SmallVector<char, 128> Buf; |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 35 | raw_svector_ostream OS; |
| 36 | |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 37 | /// \returns The new offset. |
| 38 | uint64_t padToAlignment(unsigned Align) { |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 39 | if (Align == 0) |
| 40 | Align = 1; |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 41 | uint64_t CurrentOffset = InitialOffset + OS.tell(); |
Rui Ueyama | da00f2f | 2016-01-14 21:06:47 +0000 | [diff] [blame] | 42 | uint64_t AlignedOffset = alignTo(CurrentOffset, Align); |
George Rimar | bd8bfd3 | 2019-04-29 12:05:53 +0000 | [diff] [blame] | 43 | OS.write_zeros(AlignedOffset - CurrentOffset); |
Sean Silva | d93323f | 2013-06-22 00:47:43 +0000 | [diff] [blame] | 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 |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 60 | // sections and symbols can be referenced by name instead of by index. |
| 61 | namespace { |
| 62 | class NameToIdxMap { |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 63 | StringMap<unsigned> Map; |
| 64 | |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 65 | public: |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 66 | /// \Returns false if name is already present in the map. |
| 67 | bool addName(StringRef Name, unsigned Ndx) { |
| 68 | return Map.insert({Name, Ndx}).second; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 69 | } |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 70 | /// \Returns false if name is not present in the map. |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 71 | bool lookup(StringRef Name, unsigned &Idx) const { |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 72 | auto I = Map.find(Name); |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 73 | if (I == Map.end()) |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 74 | return false; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 75 | Idx = I->getValue(); |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 76 | return true; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 77 | } |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 78 | /// Asserts if name is not present in the map. |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 79 | unsigned get(StringRef Name) const { |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 80 | unsigned Idx; |
| 81 | if (lookup(Name, Idx)) |
| 82 | return Idx; |
| 83 | assert(false && "Expected section not found in index"); |
| 84 | return 0; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 85 | } |
| 86 | unsigned size() const { return Map.size(); } |
| 87 | }; |
Sean Silva | 2a74f70 | 2013-06-15 00:31:46 +0000 | [diff] [blame] | 88 | } // end anonymous namespace |
Sean Silva | a6423eb | 2013-06-15 00:25:26 +0000 | [diff] [blame] | 89 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 90 | template <class T> |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 91 | static size_t arrayDataSize(ArrayRef<T> A) { |
| 92 | return A.size() * sizeof(T); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | template <class T> |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 96 | static void writeArrayData(raw_ostream &OS, ArrayRef<T> A) { |
| 97 | OS.write((const char *)A.data(), arrayDataSize(A)); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 98 | } |
| 99 | |
| 100 | template <class T> |
| 101 | static void zero(T &Obj) { |
| 102 | memset(&Obj, 0, sizeof(Obj)); |
| 103 | } |
| 104 | |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 105 | namespace { |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 106 | /// "Single point of truth" for the ELF file construction. |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 107 | /// TODO: This class still has a ways to go before it is truly a "single |
| 108 | /// point of truth". |
| 109 | template <class ELFT> |
| 110 | class ELFState { |
Rui Ueyama | 478d635 | 2018-01-12 02:28:31 +0000 | [diff] [blame] | 111 | typedef typename ELFT::Ehdr Elf_Ehdr; |
| 112 | typedef typename ELFT::Phdr Elf_Phdr; |
| 113 | typedef typename ELFT::Shdr Elf_Shdr; |
| 114 | typedef typename ELFT::Sym Elf_Sym; |
| 115 | typedef typename ELFT::Rel Elf_Rel; |
| 116 | typedef typename ELFT::Rela Elf_Rela; |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 117 | typedef typename ELFT::Relr Elf_Relr; |
Paul Semel | 1dbbfba | 2018-07-23 18:49:04 +0000 | [diff] [blame] | 118 | typedef typename ELFT::Dyn Elf_Dyn; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 119 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 120 | enum class SymtabType { Static, Dynamic }; |
| 121 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 122 | /// The future ".strtab" section. |
Rafael Espindola | 21956e4 | 2015-10-23 21:48:05 +0000 | [diff] [blame] | 123 | StringTableBuilder DotStrtab{StringTableBuilder::ELF}; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 124 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 125 | /// The future ".shstrtab" section. |
Rafael Espindola | 21956e4 | 2015-10-23 21:48:05 +0000 | [diff] [blame] | 126 | StringTableBuilder DotShStrtab{StringTableBuilder::ELF}; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 127 | |
Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 128 | /// The future ".dynstr" section. |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 129 | StringTableBuilder DotDynstr{StringTableBuilder::ELF}; |
| 130 | |
Simon Atanasyan | 35babf9 | 2014-04-06 09:02:55 +0000 | [diff] [blame] | 131 | NameToIdxMap SN2I; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 132 | NameToIdxMap SymN2I; |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 133 | const ELFYAML::Object &Doc; |
Sean Silva | c1c290b | 2013-06-20 20:59:34 +0000 | [diff] [blame] | 134 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 135 | bool buildSectionIndex(); |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 136 | bool buildSymbolIndex(ArrayRef<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); |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 139 | bool initImplicitHeader(ELFState<ELFT> &State, ContiguousBlobAccumulator &CBA, |
| 140 | Elf_Shdr &Header, StringRef SecName, |
| 141 | ELFYAML::Section *YAMLSec); |
| 142 | bool initSectionHeaders(ELFState<ELFT> &State, |
| 143 | std::vector<Elf_Shdr> &SHeaders, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 144 | ContiguousBlobAccumulator &CBA); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 145 | void initSymtabSectionHeader(Elf_Shdr &SHeader, SymtabType STType, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 146 | ContiguousBlobAccumulator &CBA, |
| 147 | ELFYAML::Section *YAMLSec); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 148 | void initStrtabSectionHeader(Elf_Shdr &SHeader, StringRef Name, |
| 149 | StringTableBuilder &STB, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 150 | ContiguousBlobAccumulator &CBA, |
| 151 | ELFYAML::Section *YAMLSec); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 152 | void setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders, |
| 153 | std::vector<Elf_Shdr> &SHeaders); |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 154 | void addSymbols(ArrayRef<ELFYAML::Symbol> Symbols, std::vector<Elf_Sym> &Syms, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 155 | const StringTableBuilder &Strtab); |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 156 | bool writeSectionContent(Elf_Shdr &SHeader, |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 157 | const ELFYAML::RawContentSection &Section, |
| 158 | ContiguousBlobAccumulator &CBA); |
| 159 | bool writeSectionContent(Elf_Shdr &SHeader, |
| 160 | const ELFYAML::RelocationSection &Section, |
| 161 | ContiguousBlobAccumulator &CBA); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 162 | bool writeSectionContent(Elf_Shdr &SHeader, const ELFYAML::Group &Group, |
| 163 | ContiguousBlobAccumulator &CBA); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 164 | bool writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 165 | const ELFYAML::SymverSection &Section, |
| 166 | ContiguousBlobAccumulator &CBA); |
| 167 | bool writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 168 | const ELFYAML::VerneedSection &Section, |
| 169 | ContiguousBlobAccumulator &CBA); |
| 170 | bool writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 171 | const ELFYAML::VerdefSection &Section, |
| 172 | ContiguousBlobAccumulator &CBA); |
| 173 | bool writeSectionContent(Elf_Shdr &SHeader, |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 174 | const ELFYAML::MipsABIFlags &Section, |
| 175 | ContiguousBlobAccumulator &CBA); |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 176 | bool writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 177 | const ELFYAML::DynamicSection &Section, |
| 178 | ContiguousBlobAccumulator &CBA); |
George Rimar | 5fcdebe | 2019-04-26 13:09:11 +0000 | [diff] [blame] | 179 | std::vector<StringRef> implicitSectionNames() const; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 180 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 181 | ELFState(const ELFYAML::Object &D) : Doc(D) {} |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 182 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 183 | public: |
| 184 | static int writeELF(raw_ostream &OS, const ELFYAML::Object &Doc); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 185 | |
| 186 | private: |
| 187 | void finalizeStrings(); |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 188 | }; |
| 189 | } // end anonymous namespace |
| 190 | |
Sean Silva | 37e817c | 2013-06-21 00:33:01 +0000 | [diff] [blame] | 191 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 192 | void ELFState<ELFT>::initELFHeader(Elf_Ehdr &Header) { |
| 193 | using namespace llvm::ELF; |
| 194 | zero(Header); |
| 195 | Header.e_ident[EI_MAG0] = 0x7f; |
| 196 | Header.e_ident[EI_MAG1] = 'E'; |
| 197 | Header.e_ident[EI_MAG2] = 'L'; |
| 198 | Header.e_ident[EI_MAG3] = 'F'; |
| 199 | Header.e_ident[EI_CLASS] = ELFT::Is64Bits ? ELFCLASS64 : ELFCLASS32; |
George Rimar | a5a0a0f | 2019-03-07 12:09:19 +0000 | [diff] [blame] | 200 | Header.e_ident[EI_DATA] = Doc.Header.Data; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 201 | Header.e_ident[EI_VERSION] = EV_CURRENT; |
| 202 | Header.e_ident[EI_OSABI] = Doc.Header.OSABI; |
George Rimar | 6367d7a | 2018-12-20 10:43:49 +0000 | [diff] [blame] | 203 | Header.e_ident[EI_ABIVERSION] = Doc.Header.ABIVersion; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 204 | Header.e_type = Doc.Header.Type; |
| 205 | Header.e_machine = Doc.Header.Machine; |
| 206 | Header.e_version = EV_CURRENT; |
| 207 | Header.e_entry = Doc.Header.Entry; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 208 | Header.e_phoff = sizeof(Header); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 209 | Header.e_flags = Doc.Header.Flags; |
| 210 | Header.e_ehsize = sizeof(Elf_Ehdr); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 211 | Header.e_phentsize = sizeof(Elf_Phdr); |
| 212 | Header.e_phnum = Doc.ProgramHeaders.size(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 213 | Header.e_shentsize = sizeof(Elf_Shdr); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 214 | // Immediately following the ELF header and program headers. |
| 215 | Header.e_shoff = |
| 216 | sizeof(Header) + sizeof(Elf_Phdr) * Doc.ProgramHeaders.size(); |
George Rimar | d71017b | 2019-06-10 09:57:29 +0000 | [diff] [blame] | 217 | Header.e_shnum = SN2I.size() + 1; |
| 218 | Header.e_shstrndx = SN2I.get(".shstrtab"); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 219 | } |
| 220 | |
| 221 | template <class ELFT> |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 222 | void ELFState<ELFT>::initProgramHeaders(std::vector<Elf_Phdr> &PHeaders) { |
| 223 | for (const auto &YamlPhdr : Doc.ProgramHeaders) { |
| 224 | Elf_Phdr Phdr; |
| 225 | Phdr.p_type = YamlPhdr.Type; |
| 226 | Phdr.p_flags = YamlPhdr.Flags; |
| 227 | Phdr.p_vaddr = YamlPhdr.VAddr; |
| 228 | Phdr.p_paddr = YamlPhdr.PAddr; |
| 229 | PHeaders.push_back(Phdr); |
| 230 | } |
| 231 | } |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 232 | |
| 233 | static bool convertSectionIndex(NameToIdxMap &SN2I, StringRef SecName, |
| 234 | StringRef IndexSrc, unsigned &IndexDest) { |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 235 | if (!SN2I.lookup(IndexSrc, IndexDest) && !to_integer(IndexSrc, IndexDest)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 236 | WithColor::error() << "Unknown section referenced: '" << IndexSrc |
| 237 | << "' at YAML section '" << SecName << "'.\n"; |
| 238 | return false; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 239 | } |
| 240 | return true; |
| 241 | } |
| 242 | |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 243 | template <class ELFT> |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 244 | bool ELFState<ELFT>::initImplicitHeader(ELFState<ELFT> &State, |
| 245 | ContiguousBlobAccumulator &CBA, |
| 246 | Elf_Shdr &Header, StringRef SecName, |
| 247 | ELFYAML::Section *YAMLSec) { |
| 248 | // Check if the header was already initialized. |
| 249 | if (Header.sh_offset) |
| 250 | return false; |
| 251 | |
| 252 | if (SecName == ".symtab") |
| 253 | State.initSymtabSectionHeader(Header, SymtabType::Static, CBA, YAMLSec); |
| 254 | else if (SecName == ".strtab") |
| 255 | State.initStrtabSectionHeader(Header, SecName, State.DotStrtab, CBA, |
| 256 | YAMLSec); |
| 257 | else if (SecName == ".shstrtab") |
| 258 | State.initStrtabSectionHeader(Header, SecName, State.DotShStrtab, CBA, |
| 259 | YAMLSec); |
| 260 | |
| 261 | else if (SecName == ".dynsym") |
| 262 | State.initSymtabSectionHeader(Header, SymtabType::Dynamic, CBA, YAMLSec); |
| 263 | else if (SecName == ".dynstr") |
| 264 | State.initStrtabSectionHeader(Header, SecName, State.DotDynstr, CBA, |
| 265 | YAMLSec); |
| 266 | else |
| 267 | return false; |
| 268 | return true; |
| 269 | } |
| 270 | |
| 271 | template <class ELFT> |
| 272 | bool ELFState<ELFT>::initSectionHeaders(ELFState<ELFT> &State, |
| 273 | std::vector<Elf_Shdr> &SHeaders, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 274 | ContiguousBlobAccumulator &CBA) { |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 275 | // Build a list of sections we are going to add implicitly. |
| 276 | std::vector<StringRef> ImplicitSections; |
| 277 | for (StringRef Name : State.implicitSectionNames()) |
| 278 | if (State.SN2I.get(Name) > Doc.Sections.size()) |
| 279 | ImplicitSections.push_back(Name); |
| 280 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 281 | // Ensure SHN_UNDEF entry is present. An all-zero section header is a |
| 282 | // valid SHN_UNDEF entry since SHT_NULL == 0. |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 283 | SHeaders.resize(Doc.Sections.size() + ImplicitSections.size() + 1); |
| 284 | zero(SHeaders[0]); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 285 | |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 286 | for (size_t I = 1; I < Doc.Sections.size() + ImplicitSections.size() + 1; ++I) { |
| 287 | Elf_Shdr &SHeader = SHeaders[I]; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 288 | zero(SHeader); |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 289 | ELFYAML::Section *Sec = |
| 290 | I > Doc.Sections.size() ? nullptr : Doc.Sections[I - 1].get(); |
| 291 | |
| 292 | // We have a few sections like string or symbol tables that are usually |
| 293 | // added implicitly to the end. However, if they are explicitly specified |
| 294 | // in the YAML, we need to write them here. This ensures the file offset |
| 295 | // remains correct. |
| 296 | StringRef SecName = |
| 297 | Sec ? Sec->Name : ImplicitSections[I - Doc.Sections.size() - 1]; |
| 298 | if (initImplicitHeader(State, CBA, SHeader, SecName, Sec)) |
| 299 | continue; |
| 300 | |
| 301 | assert(Sec && "It can't be null unless it is an implicit section. But all " |
| 302 | "implicit sections should already have been handled above."); |
| 303 | |
| 304 | SHeader.sh_name = DotShStrtab.getOffset(SecName); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 305 | SHeader.sh_type = Sec->Type; |
George Rimar | cfa1a62 | 2019-06-14 11:01:14 +0000 | [diff] [blame] | 306 | if (Sec->Flags) |
| 307 | SHeader.sh_flags = *Sec->Flags; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 308 | SHeader.sh_addr = Sec->Address; |
| 309 | SHeader.sh_addralign = Sec->AddressAlign; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 310 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 311 | if (!Sec->Link.empty()) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 312 | unsigned Index; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 313 | if (!convertSectionIndex(SN2I, Sec->Name, Sec->Link, Index)) |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 314 | return false; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 315 | SHeader.sh_link = Index; |
| 316 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 317 | |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 318 | if (auto S = dyn_cast<ELFYAML::RawContentSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 319 | if (!writeSectionContent(SHeader, *S, CBA)) |
George Rimar | 7f2df7d | 2018-08-16 12:23:22 +0000 | [diff] [blame] | 320 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 321 | } else if (auto S = dyn_cast<ELFYAML::RelocationSection>(Sec)) { |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 322 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 323 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 324 | } else if (auto S = dyn_cast<ELFYAML::Group>(Sec)) { |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 325 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 326 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 327 | } else if (auto S = dyn_cast<ELFYAML::MipsABIFlags>(Sec)) { |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 328 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 329 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 330 | } else if (auto S = dyn_cast<ELFYAML::NoBitsSection>(Sec)) { |
Simon Atanasyan | 5db0276 | 2015-07-03 23:00:54 +0000 | [diff] [blame] | 331 | SHeader.sh_entsize = 0; |
| 332 | SHeader.sh_size = S->Size; |
| 333 | // SHT_NOBITS section does not have content |
| 334 | // so just to setup the section offset. |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 335 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 336 | } else if (auto S = dyn_cast<ELFYAML::DynamicSection>(Sec)) { |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 337 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 338 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 339 | } else if (auto S = dyn_cast<ELFYAML::SymverSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 340 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 341 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 342 | } else if (auto S = dyn_cast<ELFYAML::VerneedSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 343 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 344 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 345 | } else if (auto S = dyn_cast<ELFYAML::VerdefSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 346 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 347 | return false; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 348 | } else |
| 349 | llvm_unreachable("Unknown section type"); |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 350 | } |
| 351 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 352 | return true; |
| 353 | } |
| 354 | |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 355 | static size_t findFirstNonGlobal(ArrayRef<ELFYAML::Symbol> Symbols) { |
| 356 | for (size_t I = 0; I < Symbols.size(); ++I) |
| 357 | if (Symbols[I].Binding.value != ELF::STB_LOCAL) |
| 358 | return I; |
| 359 | return Symbols.size(); |
| 360 | } |
| 361 | |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 362 | static uint64_t writeRawSectionData(raw_ostream &OS, |
| 363 | const ELFYAML::RawContentSection &RawSec) { |
| 364 | size_t ContentSize = 0; |
| 365 | if (RawSec.Content) { |
| 366 | RawSec.Content->writeAsBinary(OS); |
| 367 | ContentSize = RawSec.Content->binary_size(); |
| 368 | } |
| 369 | |
| 370 | if (!RawSec.Size) |
| 371 | return ContentSize; |
| 372 | |
| 373 | OS.write_zeros(*RawSec.Size - ContentSize); |
| 374 | return *RawSec.Size; |
| 375 | } |
| 376 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 377 | template <class ELFT> |
| 378 | void ELFState<ELFT>::initSymtabSectionHeader(Elf_Shdr &SHeader, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 379 | SymtabType STType, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 380 | ContiguousBlobAccumulator &CBA, |
| 381 | ELFYAML::Section *YAMLSec) { |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 382 | |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 383 | bool IsStatic = STType == SymtabType::Static; |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 384 | const auto &Symbols = IsStatic ? Doc.Symbols : Doc.DynamicSymbols; |
| 385 | |
| 386 | ELFYAML::RawContentSection *RawSec = |
| 387 | dyn_cast_or_null<ELFYAML::RawContentSection>(YAMLSec); |
| 388 | if (RawSec && !Symbols.empty() && (RawSec->Content || RawSec->Size)) { |
| 389 | if (RawSec->Content) |
| 390 | WithColor::error() << "Cannot specify both `Content` and " + |
| 391 | (IsStatic ? Twine("`Symbols`") |
| 392 | : Twine("`DynamicSymbols`")) + |
| 393 | " for symbol table section '" |
| 394 | << RawSec->Name << "'.\n"; |
| 395 | if (RawSec->Size) |
| 396 | WithColor::error() << "Cannot specify both `Size` and " + |
| 397 | (IsStatic ? Twine("`Symbols`") |
| 398 | : Twine("`DynamicSymbols`")) + |
| 399 | " for symbol table section '" |
| 400 | << RawSec->Name << "'.\n"; |
| 401 | exit(1); |
| 402 | } |
| 403 | |
| 404 | zero(SHeader); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 405 | SHeader.sh_name = DotShStrtab.getOffset(IsStatic ? ".symtab" : ".dynsym"); |
| 406 | SHeader.sh_type = IsStatic ? ELF::SHT_SYMTAB : ELF::SHT_DYNSYM; |
George Rimar | 379aa18 | 2019-06-10 11:38:06 +0000 | [diff] [blame] | 407 | |
George Rimar | ffb3c72 | 2019-06-11 10:00:51 +0000 | [diff] [blame] | 408 | if (RawSec && !RawSec->Link.empty()) { |
| 409 | // If the Link field is explicitly defined in the document, |
| 410 | // we should use it. |
| 411 | unsigned Index; |
| 412 | if (!convertSectionIndex(SN2I, RawSec->Name, RawSec->Link, Index)) |
| 413 | return; |
| 414 | SHeader.sh_link = Index; |
| 415 | } else { |
| 416 | // When we describe the .dynsym section in the document explicitly, it is |
| 417 | // allowed to omit the "DynamicSymbols" tag. In this case .dynstr is not |
| 418 | // added implicitly and we should be able to leave the Link zeroed if |
| 419 | // .dynstr is not defined. |
| 420 | unsigned Link = 0; |
| 421 | if (IsStatic) |
| 422 | Link = SN2I.get(".strtab"); |
| 423 | else |
| 424 | SN2I.lookup(".dynstr", Link); |
| 425 | SHeader.sh_link = Link; |
| 426 | } |
George Rimar | 379aa18 | 2019-06-10 11:38:06 +0000 | [diff] [blame] | 427 | |
George Rimar | cfa1a62 | 2019-06-14 11:01:14 +0000 | [diff] [blame] | 428 | if (YAMLSec && YAMLSec->Flags) |
| 429 | SHeader.sh_flags = *YAMLSec->Flags; |
| 430 | else if (!IsStatic) |
| 431 | SHeader.sh_flags = ELF::SHF_ALLOC; |
George Rimar | c1da149 | 2019-04-26 12:45:54 +0000 | [diff] [blame] | 432 | |
George Rimar | a7ba1a0 | 2019-03-01 10:18:16 +0000 | [diff] [blame] | 433 | // If the symbol table section is explicitly described in the YAML |
| 434 | // then we should set the fields requested. |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 435 | SHeader.sh_info = |
| 436 | RawSec ? (unsigned)RawSec->Info : findFirstNonGlobal(Symbols) + 1; |
| 437 | SHeader.sh_entsize = (YAMLSec && YAMLSec->EntSize) |
| 438 | ? (uint64_t)(*YAMLSec->EntSize) |
| 439 | : sizeof(Elf_Sym); |
| 440 | SHeader.sh_addralign = YAMLSec ? (uint64_t)YAMLSec->AddressAlign : 8; |
| 441 | SHeader.sh_addr = YAMLSec ? (uint64_t)YAMLSec->Address : 0; |
| 442 | |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 443 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
| 444 | if (RawSec && (RawSec->Content || RawSec->Size)) { |
| 445 | assert(Symbols.empty()); |
| 446 | SHeader.sh_size = writeRawSectionData(OS, *RawSec); |
| 447 | return; |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 448 | } |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 449 | |
| 450 | std::vector<Elf_Sym> Syms; |
| 451 | { |
| 452 | // Ensure STN_UNDEF is present |
| 453 | Elf_Sym Sym; |
| 454 | zero(Sym); |
| 455 | Syms.push_back(Sym); |
| 456 | } |
| 457 | |
| 458 | addSymbols(Symbols, Syms, IsStatic ? DotStrtab : DotDynstr); |
| 459 | writeArrayData(OS, makeArrayRef(Syms)); |
| 460 | SHeader.sh_size = arrayDataSize(makeArrayRef(Syms)); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 461 | } |
| 462 | |
| 463 | template <class ELFT> |
| 464 | void ELFState<ELFT>::initStrtabSectionHeader(Elf_Shdr &SHeader, StringRef Name, |
| 465 | StringTableBuilder &STB, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 466 | ContiguousBlobAccumulator &CBA, |
| 467 | ELFYAML::Section *YAMLSec) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 468 | zero(SHeader); |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 469 | SHeader.sh_name = DotShStrtab.getOffset(Name); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 470 | SHeader.sh_type = ELF::SHT_STRTAB; |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 471 | SHeader.sh_addralign = YAMLSec ? (uint64_t)YAMLSec->AddressAlign : 1; |
| 472 | |
| 473 | ELFYAML::RawContentSection *RawSec = |
| 474 | dyn_cast_or_null<ELFYAML::RawContentSection>(YAMLSec); |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 475 | |
| 476 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
| 477 | if (RawSec && (RawSec->Content || RawSec->Size)) { |
| 478 | SHeader.sh_size = writeRawSectionData(OS, *RawSec); |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 479 | } else { |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 480 | STB.write(OS); |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 481 | SHeader.sh_size = STB.getSize(); |
| 482 | } |
| 483 | |
| 484 | if (YAMLSec && YAMLSec->EntSize) |
| 485 | SHeader.sh_entsize = *YAMLSec->EntSize; |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 486 | |
George Rimar | cfa1a62 | 2019-06-14 11:01:14 +0000 | [diff] [blame] | 487 | if (YAMLSec && YAMLSec->Flags) |
| 488 | SHeader.sh_flags = *YAMLSec->Flags; |
| 489 | else if (Name == ".dynstr") |
| 490 | SHeader.sh_flags = ELF::SHF_ALLOC; |
| 491 | |
George Rimar | 43f62ff | 2019-06-14 11:13:32 +0000 | [diff] [blame^] | 492 | // If the section is explicitly described in the YAML |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 493 | // then we want to use its section address. |
George Rimar | 43f62ff | 2019-06-14 11:13:32 +0000 | [diff] [blame^] | 494 | if (YAMLSec) |
George Rimar | cfa1a62 | 2019-06-14 11:01:14 +0000 | [diff] [blame] | 495 | SHeader.sh_addr = YAMLSec->Address; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 496 | } |
| 497 | |
| 498 | template <class ELFT> |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 499 | void ELFState<ELFT>::setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders, |
| 500 | std::vector<Elf_Shdr> &SHeaders) { |
| 501 | uint32_t PhdrIdx = 0; |
| 502 | for (auto &YamlPhdr : Doc.ProgramHeaders) { |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 503 | Elf_Phdr &PHeader = PHeaders[PhdrIdx++]; |
| 504 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 505 | std::vector<Elf_Shdr *> Sections; |
| 506 | for (const ELFYAML::SectionName &SecName : YamlPhdr.Sections) { |
| 507 | unsigned Index; |
| 508 | if (!SN2I.lookup(SecName.Section, Index)) { |
| 509 | WithColor::error() << "Unknown section referenced: '" << SecName.Section |
| 510 | << "' by program header.\n"; |
| 511 | exit(1); |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 512 | } |
| 513 | Sections.push_back(&SHeaders[Index]); |
| 514 | } |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 515 | |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 516 | if (YamlPhdr.Offset) { |
| 517 | PHeader.p_offset = *YamlPhdr.Offset; |
| 518 | } else { |
| 519 | if (YamlPhdr.Sections.size()) |
| 520 | PHeader.p_offset = UINT32_MAX; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 521 | else |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 522 | PHeader.p_offset = 0; |
| 523 | |
| 524 | // Find the minimum offset for the program header. |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 525 | for (Elf_Shdr *SHeader : Sections) |
| 526 | PHeader.p_offset = std::min(PHeader.p_offset, SHeader->sh_offset); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 527 | } |
| 528 | |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 529 | // Find the maximum offset of the end of a section in order to set p_filesz, |
| 530 | // if not set explicitly. |
| 531 | if (YamlPhdr.FileSize) { |
| 532 | PHeader.p_filesz = *YamlPhdr.FileSize; |
| 533 | } else { |
| 534 | PHeader.p_filesz = 0; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 535 | for (Elf_Shdr *SHeader : Sections) { |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 536 | uint64_t EndOfSection; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 537 | if (SHeader->sh_type == llvm::ELF::SHT_NOBITS) |
| 538 | EndOfSection = SHeader->sh_offset; |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 539 | else |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 540 | EndOfSection = SHeader->sh_offset + SHeader->sh_size; |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 541 | uint64_t EndOfSegment = PHeader.p_offset + PHeader.p_filesz; |
| 542 | EndOfSegment = std::max(EndOfSegment, EndOfSection); |
| 543 | PHeader.p_filesz = EndOfSegment - PHeader.p_offset; |
| 544 | } |
| 545 | } |
| 546 | |
| 547 | // If not set explicitly, find the memory size by adding the size of |
| 548 | // sections at the end of the segment. These should be empty (size of zero) |
| 549 | // and NOBITS sections. |
| 550 | if (YamlPhdr.MemSize) { |
| 551 | PHeader.p_memsz = *YamlPhdr.MemSize; |
| 552 | } else { |
| 553 | PHeader.p_memsz = PHeader.p_filesz; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 554 | for (Elf_Shdr *SHeader : Sections) |
| 555 | if (SHeader->sh_offset == PHeader.p_offset + PHeader.p_filesz) |
| 556 | PHeader.p_memsz += SHeader->sh_size; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 557 | } |
| 558 | |
| 559 | // 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] | 560 | // 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] | 561 | // has a valid and sensible alignment. |
Jake Ehrlich | 03aeeb09 | 2017-11-01 23:14:48 +0000 | [diff] [blame] | 562 | if (YamlPhdr.Align) { |
| 563 | PHeader.p_align = *YamlPhdr.Align; |
| 564 | } else { |
| 565 | PHeader.p_align = 1; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 566 | for (Elf_Shdr *SHeader : Sections) |
| 567 | if (SHeader->sh_offset == PHeader.p_offset) |
| 568 | PHeader.p_align = std::max(PHeader.p_align, SHeader->sh_addralign); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 569 | } |
| 570 | } |
| 571 | } |
| 572 | |
| 573 | template <class ELFT> |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 574 | void ELFState<ELFT>::addSymbols(ArrayRef<ELFYAML::Symbol> Symbols, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 575 | std::vector<Elf_Sym> &Syms, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 576 | const StringTableBuilder &Strtab) { |
Simon Atanasyan | 048baca | 2014-03-14 06:53:30 +0000 | [diff] [blame] | 577 | for (const auto &Sym : Symbols) { |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 578 | Elf_Sym Symbol; |
| 579 | zero(Symbol); |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 580 | |
| 581 | // If NameIndex, which contains the name offset, is explicitly specified, we |
| 582 | // use it. This is useful for preparing broken objects. Otherwise, we add |
| 583 | // the specified Name to the string table builder to get its offset. |
| 584 | if (Sym.NameIndex) |
| 585 | Symbol.st_name = *Sym.NameIndex; |
| 586 | else if (!Sym.Name.empty()) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 587 | Symbol.st_name = Strtab.getOffset(Sym.Name); |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 588 | |
| 589 | Symbol.setBindingAndType(Sym.Binding, Sym.Type); |
| 590 | if (!Sym.Section.empty()) { |
| 591 | unsigned Index; |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 592 | if (!SN2I.lookup(Sym.Section, Index)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 593 | WithColor::error() << "Unknown section referenced: '" << Sym.Section |
| 594 | << "' by YAML symbol " << Sym.Name << ".\n"; |
| 595 | exit(1); |
Sean Silva | c4afa6d | 2013-06-21 01:11:48 +0000 | [diff] [blame] | 596 | } |
| 597 | Symbol.st_shndx = Index; |
Petr Hosek | 5c469a3 | 2017-09-07 20:44:16 +0000 | [diff] [blame] | 598 | } else if (Sym.Index) { |
| 599 | Symbol.st_shndx = *Sym.Index; |
| 600 | } |
| 601 | // 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] | 602 | Symbol.st_value = Sym.Value; |
Simon Atanasyan | 60e1a79 | 2014-11-06 22:46:24 +0000 | [diff] [blame] | 603 | Symbol.st_other = Sym.Other; |
Sean Silva | 05001b9 | 2013-06-20 20:59:47 +0000 | [diff] [blame] | 604 | Symbol.st_size = Sym.Size; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 605 | Syms.push_back(Symbol); |
| 606 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 607 | } |
| 608 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 609 | template <class ELFT> |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 610 | bool ELFState<ELFT>::writeSectionContent( |
George Rimar | b49e192 | 2019-04-24 13:02:15 +0000 | [diff] [blame] | 611 | Elf_Shdr &SHeader, const ELFYAML::RawContentSection &Section, |
| 612 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 613 | raw_ostream &OS = |
| 614 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | 1e41007 | 2019-06-10 12:43:18 +0000 | [diff] [blame] | 615 | SHeader.sh_size = writeRawSectionData(OS, Section); |
George Rimar | b49e192 | 2019-04-24 13:02:15 +0000 | [diff] [blame] | 616 | |
George Rimar | 65a6828 | 2018-08-07 08:11:38 +0000 | [diff] [blame] | 617 | if (Section.EntSize) |
| 618 | SHeader.sh_entsize = *Section.EntSize; |
| 619 | else if (Section.Type == llvm::ELF::SHT_RELR) |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 620 | SHeader.sh_entsize = sizeof(Elf_Relr); |
| 621 | else |
| 622 | SHeader.sh_entsize = 0; |
George Rimar | a7ba1a0 | 2019-03-01 10:18:16 +0000 | [diff] [blame] | 623 | SHeader.sh_info = Section.Info; |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 624 | return true; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 625 | } |
| 626 | |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 627 | static bool isMips64EL(const ELFYAML::Object &Doc) { |
| 628 | return Doc.Header.Machine == ELFYAML::ELF_EM(llvm::ELF::EM_MIPS) && |
| 629 | Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64) && |
| 630 | Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 631 | } |
| 632 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 633 | template <class ELFT> |
| 634 | bool |
| 635 | ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 636 | const ELFYAML::RelocationSection &Section, |
| 637 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 638 | assert((Section.Type == llvm::ELF::SHT_REL || |
| 639 | Section.Type == llvm::ELF::SHT_RELA) && |
| 640 | "Section type is not SHT_REL nor SHT_RELA"); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 641 | |
| 642 | bool IsRela = Section.Type == llvm::ELF::SHT_RELA; |
| 643 | SHeader.sh_entsize = IsRela ? sizeof(Elf_Rela) : sizeof(Elf_Rel); |
| 644 | SHeader.sh_size = SHeader.sh_entsize * Section.Relocations.size(); |
| 645 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 646 | // For relocation section set link to .symtab by default. |
| 647 | if (Section.Link.empty()) |
George Rimar | d71017b | 2019-06-10 09:57:29 +0000 | [diff] [blame] | 648 | SHeader.sh_link = SN2I.get(".symtab"); |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 649 | |
| 650 | unsigned Index = 0; |
| 651 | if (!Section.RelocatableSec.empty() && |
| 652 | !convertSectionIndex(SN2I, Section.Name, Section.RelocatableSec, Index)) |
| 653 | return false; |
| 654 | SHeader.sh_info = Index; |
| 655 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 656 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 657 | |
| 658 | for (const auto &Rel : Section.Relocations) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 659 | unsigned SymIdx = 0; |
| 660 | // If a relocation references a symbol, try to look one up in the symbol |
| 661 | // table. If it is not there, treat the value as a symbol index. |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 662 | if (Rel.Symbol && !SymN2I.lookup(*Rel.Symbol, SymIdx) && |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 663 | !to_integer(*Rel.Symbol, SymIdx)) { |
| 664 | WithColor::error() << "Unknown symbol referenced: '" << *Rel.Symbol |
| 665 | << "' at YAML section '" << Section.Name << "'.\n"; |
James Henderson | 9bc817a | 2019-03-12 17:00:25 +0000 | [diff] [blame] | 666 | return false; |
| 667 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 668 | |
| 669 | if (IsRela) { |
| 670 | Elf_Rela REntry; |
| 671 | zero(REntry); |
| 672 | REntry.r_offset = Rel.Offset; |
| 673 | REntry.r_addend = Rel.Addend; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 674 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 675 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 676 | } else { |
| 677 | Elf_Rel REntry; |
| 678 | zero(REntry); |
| 679 | REntry.r_offset = Rel.Offset; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 680 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 681 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 682 | } |
| 683 | } |
| 684 | return true; |
| 685 | } |
| 686 | |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 687 | template <class ELFT> |
| 688 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 689 | const ELFYAML::Group &Section, |
| 690 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 691 | assert(Section.Type == llvm::ELF::SHT_GROUP && |
| 692 | "Section type is not SHT_GROUP"); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 693 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 694 | SHeader.sh_entsize = 4; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 695 | SHeader.sh_size = SHeader.sh_entsize * Section.Members.size(); |
| 696 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 697 | unsigned SymIdx; |
| 698 | if (!SymN2I.lookup(Section.Signature, SymIdx) && |
| 699 | !to_integer(Section.Signature, SymIdx)) { |
| 700 | WithColor::error() << "Unknown symbol referenced: '" << Section.Signature |
| 701 | << "' at YAML section '" << Section.Name << "'.\n"; |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 702 | return false; |
| 703 | } |
| 704 | SHeader.sh_info = SymIdx; |
| 705 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 706 | raw_ostream &OS = |
| 707 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 708 | |
George Rimar | fb7780a | 2019-04-26 12:20:51 +0000 | [diff] [blame] | 709 | for (const ELFYAML::SectionOrType &Member : Section.Members) { |
| 710 | unsigned int SectionIndex = 0; |
| 711 | if (Member.sectionNameOrType == "GRP_COMDAT") |
| 712 | SectionIndex = llvm::ELF::GRP_COMDAT; |
| 713 | else if (!convertSectionIndex(SN2I, Section.Name, Member.sectionNameOrType, |
| 714 | SectionIndex)) |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 715 | return false; |
George Rimar | fb7780a | 2019-04-26 12:20:51 +0000 | [diff] [blame] | 716 | support::endian::write<uint32_t>(OS, SectionIndex, ELFT::TargetEndianness); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 717 | } |
| 718 | return true; |
| 719 | } |
| 720 | |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 721 | template <class ELFT> |
| 722 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 723 | const ELFYAML::SymverSection &Section, |
| 724 | ContiguousBlobAccumulator &CBA) { |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 725 | raw_ostream &OS = |
| 726 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | dac37fb | 2019-02-20 14:01:02 +0000 | [diff] [blame] | 727 | for (uint16_t Version : Section.Entries) |
| 728 | support::endian::write<uint16_t>(OS, Version, ELFT::TargetEndianness); |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 729 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 730 | SHeader.sh_entsize = 2; |
| 731 | SHeader.sh_size = Section.Entries.size() * SHeader.sh_entsize; |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 732 | return true; |
| 733 | } |
| 734 | |
| 735 | template <class ELFT> |
| 736 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 737 | const ELFYAML::VerdefSection &Section, |
| 738 | ContiguousBlobAccumulator &CBA) { |
| 739 | typedef typename ELFT::Verdef Elf_Verdef; |
| 740 | typedef typename ELFT::Verdaux Elf_Verdaux; |
| 741 | raw_ostream &OS = |
| 742 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
| 743 | |
| 744 | uint64_t AuxCnt = 0; |
| 745 | for (size_t I = 0; I < Section.Entries.size(); ++I) { |
| 746 | const ELFYAML::VerdefEntry &E = Section.Entries[I]; |
| 747 | |
| 748 | Elf_Verdef VerDef; |
| 749 | VerDef.vd_version = E.Version; |
| 750 | VerDef.vd_flags = E.Flags; |
| 751 | VerDef.vd_ndx = E.VersionNdx; |
| 752 | VerDef.vd_hash = E.Hash; |
| 753 | VerDef.vd_aux = sizeof(Elf_Verdef); |
| 754 | VerDef.vd_cnt = E.VerNames.size(); |
| 755 | if (I == Section.Entries.size() - 1) |
| 756 | VerDef.vd_next = 0; |
| 757 | else |
| 758 | VerDef.vd_next = |
| 759 | sizeof(Elf_Verdef) + E.VerNames.size() * sizeof(Elf_Verdaux); |
| 760 | OS.write((const char *)&VerDef, sizeof(Elf_Verdef)); |
| 761 | |
| 762 | for (size_t J = 0; J < E.VerNames.size(); ++J, ++AuxCnt) { |
| 763 | Elf_Verdaux VernAux; |
| 764 | VernAux.vda_name = DotDynstr.getOffset(E.VerNames[J]); |
| 765 | if (J == E.VerNames.size() - 1) |
| 766 | VernAux.vda_next = 0; |
| 767 | else |
| 768 | VernAux.vda_next = sizeof(Elf_Verdaux); |
| 769 | OS.write((const char *)&VernAux, sizeof(Elf_Verdaux)); |
| 770 | } |
| 771 | } |
| 772 | |
| 773 | SHeader.sh_size = Section.Entries.size() * sizeof(Elf_Verdef) + |
| 774 | AuxCnt * sizeof(Elf_Verdaux); |
| 775 | SHeader.sh_info = Section.Info; |
| 776 | |
| 777 | return true; |
| 778 | } |
| 779 | |
| 780 | template <class ELFT> |
| 781 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 782 | const ELFYAML::VerneedSection &Section, |
| 783 | ContiguousBlobAccumulator &CBA) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 784 | typedef typename ELFT::Verneed Elf_Verneed; |
| 785 | typedef typename ELFT::Vernaux Elf_Vernaux; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 786 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 787 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 788 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 789 | uint64_t AuxCnt = 0; |
| 790 | for (size_t I = 0; I < Section.VerneedV.size(); ++I) { |
| 791 | const ELFYAML::VerneedEntry &VE = Section.VerneedV[I]; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 792 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 793 | Elf_Verneed VerNeed; |
| 794 | VerNeed.vn_version = VE.Version; |
| 795 | VerNeed.vn_file = DotDynstr.getOffset(VE.File); |
| 796 | if (I == Section.VerneedV.size() - 1) |
| 797 | VerNeed.vn_next = 0; |
| 798 | else |
| 799 | VerNeed.vn_next = |
| 800 | sizeof(Elf_Verneed) + VE.AuxV.size() * sizeof(Elf_Vernaux); |
| 801 | VerNeed.vn_cnt = VE.AuxV.size(); |
| 802 | VerNeed.vn_aux = sizeof(Elf_Verneed); |
| 803 | OS.write((const char *)&VerNeed, sizeof(Elf_Verneed)); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 804 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 805 | for (size_t J = 0; J < VE.AuxV.size(); ++J, ++AuxCnt) { |
| 806 | const ELFYAML::VernauxEntry &VAuxE = VE.AuxV[J]; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 807 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 808 | Elf_Vernaux VernAux; |
| 809 | VernAux.vna_hash = VAuxE.Hash; |
| 810 | VernAux.vna_flags = VAuxE.Flags; |
| 811 | VernAux.vna_other = VAuxE.Other; |
| 812 | VernAux.vna_name = DotDynstr.getOffset(VAuxE.Name); |
| 813 | if (J == VE.AuxV.size() - 1) |
| 814 | VernAux.vna_next = 0; |
| 815 | else |
| 816 | VernAux.vna_next = sizeof(Elf_Vernaux); |
| 817 | OS.write((const char *)&VernAux, sizeof(Elf_Vernaux)); |
| 818 | } |
| 819 | } |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 820 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 821 | SHeader.sh_size = Section.VerneedV.size() * sizeof(Elf_Verneed) + |
| 822 | AuxCnt * sizeof(Elf_Vernaux); |
| 823 | SHeader.sh_info = Section.Info; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 824 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 825 | return true; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 826 | } |
| 827 | |
| 828 | template <class ELFT> |
| 829 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 830 | const ELFYAML::MipsABIFlags &Section, |
| 831 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 832 | assert(Section.Type == llvm::ELF::SHT_MIPS_ABIFLAGS && |
| 833 | "Section type is not SHT_MIPS_ABIFLAGS"); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 834 | |
| 835 | object::Elf_Mips_ABIFlags<ELFT> Flags; |
| 836 | zero(Flags); |
| 837 | SHeader.sh_entsize = sizeof(Flags); |
| 838 | SHeader.sh_size = SHeader.sh_entsize; |
| 839 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 840 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 841 | Flags.version = Section.Version; |
| 842 | Flags.isa_level = Section.ISALevel; |
| 843 | Flags.isa_rev = Section.ISARevision; |
| 844 | Flags.gpr_size = Section.GPRSize; |
| 845 | Flags.cpr1_size = Section.CPR1Size; |
| 846 | Flags.cpr2_size = Section.CPR2Size; |
| 847 | Flags.fp_abi = Section.FpABI; |
| 848 | Flags.isa_ext = Section.ISAExtension; |
| 849 | Flags.ases = Section.ASEs; |
| 850 | Flags.flags1 = Section.Flags1; |
| 851 | Flags.flags2 = Section.Flags2; |
| 852 | OS.write((const char *)&Flags, sizeof(Flags)); |
| 853 | |
| 854 | return true; |
| 855 | } |
| 856 | |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 857 | template <class ELFT> |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 858 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 859 | const ELFYAML::DynamicSection &Section, |
| 860 | ContiguousBlobAccumulator &CBA) { |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 861 | typedef typename ELFT::uint uintX_t; |
| 862 | |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 863 | assert(Section.Type == llvm::ELF::SHT_DYNAMIC && |
| 864 | "Section type is not SHT_DYNAMIC"); |
| 865 | |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 866 | if (!Section.Entries.empty() && Section.Content) { |
| 867 | WithColor::error() |
| 868 | << "Cannot specify both raw content and explicit entries " |
| 869 | "for dynamic section '" |
| 870 | << Section.Name << "'.\n"; |
| 871 | return false; |
| 872 | } |
| 873 | |
| 874 | if (Section.Content) |
| 875 | SHeader.sh_size = Section.Content->binary_size(); |
| 876 | else |
| 877 | SHeader.sh_size = 2 * sizeof(uintX_t) * Section.Entries.size(); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 878 | if (Section.EntSize) |
| 879 | SHeader.sh_entsize = *Section.EntSize; |
| 880 | else |
| 881 | SHeader.sh_entsize = sizeof(Elf_Dyn); |
| 882 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 883 | raw_ostream &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 884 | for (const ELFYAML::DynamicEntry &DE : Section.Entries) { |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 885 | support::endian::write<uintX_t>(OS, DE.Tag, ELFT::TargetEndianness); |
| 886 | support::endian::write<uintX_t>(OS, DE.Val, ELFT::TargetEndianness); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 887 | } |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 888 | if (Section.Content) |
| 889 | Section.Content->writeAsBinary(OS); |
| 890 | |
| 891 | return true; |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 892 | } |
| 893 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 894 | template <class ELFT> bool ELFState<ELFT>::buildSectionIndex() { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 895 | for (unsigned i = 0, e = Doc.Sections.size(); i != e; ++i) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 896 | StringRef Name = Doc.Sections[i]->Name; |
| 897 | DotShStrtab.add(Name); |
| 898 | // "+ 1" to take into account the SHT_NULL entry. |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 899 | if (!SN2I.addName(Name, i + 1)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 900 | WithColor::error() << "Repeated section name: '" << Name |
| 901 | << "' at YAML section number " << i << ".\n"; |
| 902 | return false; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 903 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 904 | } |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 905 | |
| 906 | auto SecNo = 1 + Doc.Sections.size(); |
| 907 | // Add special sections after input sections, if necessary. |
George Rimar | 5fcdebe | 2019-04-26 13:09:11 +0000 | [diff] [blame] | 908 | for (StringRef Name : implicitSectionNames()) |
George Rimar | 3662127 | 2019-05-02 19:28:04 +0000 | [diff] [blame] | 909 | if (SN2I.addName(Name, SecNo)) { |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 910 | // Account for this section, since it wasn't in the Doc |
| 911 | ++SecNo; |
| 912 | DotShStrtab.add(Name); |
| 913 | } |
| 914 | |
| 915 | DotShStrtab.finalize(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 916 | return true; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 917 | } |
| 918 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 919 | template <class ELFT> |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 920 | bool ELFState<ELFT>::buildSymbolIndex(ArrayRef<ELFYAML::Symbol> Symbols) { |
| 921 | bool GlobalSymbolSeen = false; |
George Rimar | 33e498b | 2019-03-11 16:10:02 +0000 | [diff] [blame] | 922 | std::size_t I = 0; |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 923 | for (const auto &Sym : Symbols) { |
| 924 | ++I; |
| 925 | |
| 926 | StringRef Name = Sym.Name; |
| 927 | if (Sym.Binding.value == ELF::STB_LOCAL && GlobalSymbolSeen) { |
| 928 | WithColor::error() << "Local symbol '" + Name + |
| 929 | "' after global in Symbols list.\n"; |
| 930 | return false; |
| 931 | } |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 932 | if (Sym.Binding.value != ELF::STB_LOCAL) |
| 933 | GlobalSymbolSeen = true; |
| 934 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 935 | if (!Name.empty() && !SymN2I.addName(Name, I)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 936 | WithColor::error() << "Repeated symbol name: '" << Name << "'.\n"; |
| 937 | return false; |
| 938 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 939 | } |
| 940 | return true; |
| 941 | } |
| 942 | |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 943 | template <class ELFT> void ELFState<ELFT>::finalizeStrings() { |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 944 | // Add the regular symbol names to .strtab section. |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 945 | for (const ELFYAML::Symbol &Sym : Doc.Symbols) |
| 946 | DotStrtab.add(Sym.Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 947 | DotStrtab.finalize(); |
| 948 | |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 949 | // Add the dynamic symbol names to .dynstr section. |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 950 | for (const ELFYAML::Symbol &Sym : Doc.DynamicSymbols) |
| 951 | DotDynstr.add(Sym.Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 952 | |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 953 | // SHT_GNU_verdef and SHT_GNU_verneed sections might also |
| 954 | // add strings to .dynstr section. |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 955 | for (const std::unique_ptr<ELFYAML::Section> &Sec : Doc.Sections) { |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 956 | if (auto VerNeed = dyn_cast<ELFYAML::VerneedSection>(Sec.get())) { |
| 957 | for (const ELFYAML::VerneedEntry &VE : VerNeed->VerneedV) { |
| 958 | DotDynstr.add(VE.File); |
| 959 | for (const ELFYAML::VernauxEntry &Aux : VE.AuxV) |
| 960 | DotDynstr.add(Aux.Name); |
| 961 | } |
| 962 | } else if (auto VerDef = dyn_cast<ELFYAML::VerdefSection>(Sec.get())) { |
| 963 | for (const ELFYAML::VerdefEntry &E : VerDef->Entries) |
| 964 | for (StringRef Name : E.VerNames) |
| 965 | DotDynstr.add(Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 966 | } |
| 967 | } |
| 968 | |
| 969 | DotDynstr.finalize(); |
| 970 | } |
| 971 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 972 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 973 | int ELFState<ELFT>::writeELF(raw_ostream &OS, const ELFYAML::Object &Doc) { |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 974 | ELFState<ELFT> State(Doc); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 975 | |
| 976 | // Finalize .strtab and .dynstr sections. We do that early because want to |
| 977 | // finalize the string table builders before writing the content of the |
| 978 | // sections that might want to use them. |
| 979 | State.finalizeStrings(); |
| 980 | |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 981 | if (!State.buildSectionIndex()) |
| 982 | return 1; |
| 983 | |
George Rimar | 33e498b | 2019-03-11 16:10:02 +0000 | [diff] [blame] | 984 | if (!State.buildSymbolIndex(Doc.Symbols)) |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 985 | return 1; |
| 986 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 987 | Elf_Ehdr Header; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 988 | State.initELFHeader(Header); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 989 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 990 | // TODO: Flesh out section header support. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 991 | |
| 992 | std::vector<Elf_Phdr> PHeaders; |
| 993 | State.initProgramHeaders(PHeaders); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 994 | |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 995 | // XXX: This offset is tightly coupled with the order that we write |
| 996 | // things to `OS`. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 997 | const size_t SectionContentBeginOffset = Header.e_ehsize + |
| 998 | Header.e_phentsize * Header.e_phnum + |
| 999 | Header.e_shentsize * Header.e_shnum; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 1000 | ContiguousBlobAccumulator CBA(SectionContentBeginOffset); |
Sean Silva | c1c290b | 2013-06-20 20:59:34 +0000 | [diff] [blame] | 1001 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 1002 | std::vector<Elf_Shdr> SHeaders; |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 1003 | if (!State.initSectionHeaders(State, SHeaders, CBA)) |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 1004 | return 1; |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 1005 | |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 1006 | // Now we can decide segment offsets |
| 1007 | State.setProgramHeaderLayout(PHeaders, SHeaders); |
| 1008 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 1009 | OS.write((const char *)&Header, sizeof(Header)); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 1010 | writeArrayData(OS, makeArrayRef(PHeaders)); |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 1011 | writeArrayData(OS, makeArrayRef(SHeaders)); |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 1012 | CBA.writeBlobToStream(OS); |
Sean Silva | 415d93f | 2013-06-17 20:14:59 +0000 | [diff] [blame] | 1013 | return 0; |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 1014 | } |
| 1015 | |
Xing GUO | bac7864 | 2018-12-07 11:04:22 +0000 | [diff] [blame] | 1016 | template <class ELFT> |
George Rimar | 5fcdebe | 2019-04-26 13:09:11 +0000 | [diff] [blame] | 1017 | std::vector<StringRef> ELFState<ELFT>::implicitSectionNames() const { |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 1018 | if (Doc.DynamicSymbols.empty()) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 1019 | return {".symtab", ".strtab", ".shstrtab"}; |
| 1020 | return {".symtab", ".strtab", ".shstrtab", ".dynsym", ".dynstr"}; |
| 1021 | } |
| 1022 | |
Chris Bieneman | 8ff0c11 | 2016-06-27 19:53:53 +0000 | [diff] [blame] | 1023 | int yaml2elf(llvm::ELFYAML::Object &Doc, raw_ostream &Out) { |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 1024 | bool IsLE = Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 1025 | bool Is64Bit = Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64); |
| 1026 | if (Is64Bit) { |
| 1027 | if (IsLE) |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 1028 | return ELFState<object::ELF64LE>::writeELF(Out, Doc); |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 1029 | return ELFState<object::ELF64BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 1030 | } |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 1031 | if (IsLE) |
| 1032 | return ELFState<object::ELF32LE>::writeELF(Out, Doc); |
| 1033 | return ELFState<object::ELF32BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 1034 | } |