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; |
| 306 | SHeader.sh_flags = Sec->Flags; |
| 307 | SHeader.sh_addr = Sec->Address; |
| 308 | SHeader.sh_addralign = Sec->AddressAlign; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 309 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 310 | if (!Sec->Link.empty()) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 311 | unsigned Index; |
Xing GUO | 9822835 | 2018-12-04 14:27:51 +0000 | [diff] [blame] | 312 | if (!convertSectionIndex(SN2I, Sec->Name, Sec->Link, Index)) |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 313 | return false; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 314 | SHeader.sh_link = Index; |
| 315 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 316 | |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 317 | if (auto S = dyn_cast<ELFYAML::RawContentSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 318 | if (!writeSectionContent(SHeader, *S, CBA)) |
George Rimar | 7f2df7d | 2018-08-16 12:23:22 +0000 | [diff] [blame] | 319 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 320 | } else if (auto S = dyn_cast<ELFYAML::RelocationSection>(Sec)) { |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 321 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 322 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 323 | } else if (auto S = dyn_cast<ELFYAML::Group>(Sec)) { |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 324 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 325 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 326 | } else if (auto S = dyn_cast<ELFYAML::MipsABIFlags>(Sec)) { |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 327 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 328 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 329 | } else if (auto S = dyn_cast<ELFYAML::NoBitsSection>(Sec)) { |
Simon Atanasyan | 5db0276 | 2015-07-03 23:00:54 +0000 | [diff] [blame] | 330 | SHeader.sh_entsize = 0; |
| 331 | SHeader.sh_size = S->Size; |
| 332 | // SHT_NOBITS section does not have content |
| 333 | // so just to setup the section offset. |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 334 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 335 | } else if (auto S = dyn_cast<ELFYAML::DynamicSection>(Sec)) { |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 336 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 337 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 338 | } else if (auto S = dyn_cast<ELFYAML::SymverSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 339 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 340 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 341 | } else if (auto S = dyn_cast<ELFYAML::VerneedSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 342 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 343 | return false; |
George Rimar | eb394e9 | 2019-06-07 08:31:36 +0000 | [diff] [blame] | 344 | } else if (auto S = dyn_cast<ELFYAML::VerdefSection>(Sec)) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 345 | if (!writeSectionContent(SHeader, *S, CBA)) |
| 346 | return false; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 347 | } else |
| 348 | llvm_unreachable("Unknown section type"); |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 349 | } |
| 350 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 351 | return true; |
| 352 | } |
| 353 | |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 354 | static size_t findFirstNonGlobal(ArrayRef<ELFYAML::Symbol> Symbols) { |
| 355 | for (size_t I = 0; I < Symbols.size(); ++I) |
| 356 | if (Symbols[I].Binding.value != ELF::STB_LOCAL) |
| 357 | return I; |
| 358 | return Symbols.size(); |
| 359 | } |
| 360 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 361 | template <class ELFT> |
| 362 | void ELFState<ELFT>::initSymtabSectionHeader(Elf_Shdr &SHeader, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 363 | SymtabType STType, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 364 | ContiguousBlobAccumulator &CBA, |
| 365 | ELFYAML::Section *YAMLSec) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 366 | zero(SHeader); |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 367 | bool IsStatic = STType == SymtabType::Static; |
| 368 | SHeader.sh_name = DotShStrtab.getOffset(IsStatic ? ".symtab" : ".dynsym"); |
| 369 | SHeader.sh_type = IsStatic ? ELF::SHT_SYMTAB : ELF::SHT_DYNSYM; |
George Rimar | 379aa18 | 2019-06-10 11:38:06 +0000 | [diff] [blame] | 370 | |
| 371 | // When we describe the .dynsym section in the document explicitly, it is |
| 372 | // allowed to omit the "DynamicSymbols" tag. In this case .dynstr is not added |
| 373 | // implicitly and we should be able to leave the Link zeroed if .dynstr is not |
| 374 | // defined. |
| 375 | unsigned Link = 0; |
| 376 | if (IsStatic) |
| 377 | Link = SN2I.get(".strtab"); |
| 378 | else |
| 379 | SN2I.lookup(".dynstr", Link); |
| 380 | SHeader.sh_link = Link; |
| 381 | |
George Rimar | 4828811 | 2019-04-29 11:54:10 +0000 | [diff] [blame] | 382 | if (!IsStatic) |
| 383 | SHeader.sh_flags |= ELF::SHF_ALLOC; |
George Rimar | c1da149 | 2019-04-26 12:45:54 +0000 | [diff] [blame] | 384 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 385 | // One greater than symbol table index of the last local symbol. |
George Rimar | c1da149 | 2019-04-26 12:45:54 +0000 | [diff] [blame] | 386 | const auto &Symbols = IsStatic ? Doc.Symbols : Doc.DynamicSymbols; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 387 | |
George Rimar | a7ba1a0 | 2019-03-01 10:18:16 +0000 | [diff] [blame] | 388 | // If the symbol table section is explicitly described in the YAML |
| 389 | // then we should set the fields requested. |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 390 | ELFYAML::RawContentSection *RawSec = |
| 391 | dyn_cast_or_null<ELFYAML::RawContentSection>(YAMLSec); |
| 392 | SHeader.sh_info = |
| 393 | RawSec ? (unsigned)RawSec->Info : findFirstNonGlobal(Symbols) + 1; |
| 394 | SHeader.sh_entsize = (YAMLSec && YAMLSec->EntSize) |
| 395 | ? (uint64_t)(*YAMLSec->EntSize) |
| 396 | : sizeof(Elf_Sym); |
| 397 | SHeader.sh_addralign = YAMLSec ? (uint64_t)YAMLSec->AddressAlign : 8; |
| 398 | SHeader.sh_addr = YAMLSec ? (uint64_t)YAMLSec->Address : 0; |
| 399 | |
| 400 | if (RawSec && RawSec->Content.binary_size()) { |
| 401 | RawSec->Content.writeAsBinary( |
| 402 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign)); |
| 403 | SHeader.sh_size = RawSec->Size; |
| 404 | } else { |
| 405 | std::vector<Elf_Sym> Syms; |
| 406 | { |
| 407 | // Ensure STN_UNDEF is present |
| 408 | Elf_Sym Sym; |
| 409 | zero(Sym); |
| 410 | Syms.push_back(Sym); |
| 411 | } |
| 412 | |
| 413 | addSymbols(Symbols, Syms, IsStatic ? DotStrtab : DotDynstr); |
| 414 | |
| 415 | writeArrayData( |
| 416 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign), |
| 417 | makeArrayRef(Syms)); |
| 418 | SHeader.sh_size = arrayDataSize(makeArrayRef(Syms)); |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 419 | } |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 420 | } |
| 421 | |
| 422 | template <class ELFT> |
| 423 | void ELFState<ELFT>::initStrtabSectionHeader(Elf_Shdr &SHeader, StringRef Name, |
| 424 | StringTableBuilder &STB, |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 425 | ContiguousBlobAccumulator &CBA, |
| 426 | ELFYAML::Section *YAMLSec) { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 427 | zero(SHeader); |
Hans Wennborg | 59f0cba | 2014-04-30 19:38:09 +0000 | [diff] [blame] | 428 | SHeader.sh_name = DotShStrtab.getOffset(Name); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 429 | SHeader.sh_type = ELF::SHT_STRTAB; |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 430 | SHeader.sh_addralign = YAMLSec ? (uint64_t)YAMLSec->AddressAlign : 1; |
| 431 | |
| 432 | ELFYAML::RawContentSection *RawSec = |
| 433 | dyn_cast_or_null<ELFYAML::RawContentSection>(YAMLSec); |
| 434 | if (RawSec && RawSec->Content.binary_size()) { |
| 435 | RawSec->Content.writeAsBinary( |
| 436 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign)); |
| 437 | SHeader.sh_size = RawSec->Size; |
| 438 | } else { |
| 439 | STB.write( |
| 440 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign)); |
| 441 | SHeader.sh_size = STB.getSize(); |
| 442 | } |
| 443 | |
| 444 | if (YAMLSec && YAMLSec->EntSize) |
| 445 | SHeader.sh_entsize = *YAMLSec->EntSize; |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 446 | |
| 447 | // If .dynstr section is explicitly described in the YAML |
| 448 | // then we want to use its section address. |
| 449 | if (Name == ".dynstr") { |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 450 | if (YAMLSec) |
| 451 | SHeader.sh_addr = YAMLSec->Address; |
George Rimar | 4828811 | 2019-04-29 11:54:10 +0000 | [diff] [blame] | 452 | // We assume that .dynstr is always allocatable. |
| 453 | SHeader.sh_flags |= ELF::SHF_ALLOC; |
George Rimar | 6947acd | 2019-02-19 12:15:04 +0000 | [diff] [blame] | 454 | } |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 455 | } |
| 456 | |
| 457 | template <class ELFT> |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 458 | void ELFState<ELFT>::setProgramHeaderLayout(std::vector<Elf_Phdr> &PHeaders, |
| 459 | std::vector<Elf_Shdr> &SHeaders) { |
| 460 | uint32_t PhdrIdx = 0; |
| 461 | for (auto &YamlPhdr : Doc.ProgramHeaders) { |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 462 | Elf_Phdr &PHeader = PHeaders[PhdrIdx++]; |
| 463 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 464 | std::vector<Elf_Shdr *> Sections; |
| 465 | for (const ELFYAML::SectionName &SecName : YamlPhdr.Sections) { |
| 466 | unsigned Index; |
| 467 | if (!SN2I.lookup(SecName.Section, Index)) { |
| 468 | WithColor::error() << "Unknown section referenced: '" << SecName.Section |
| 469 | << "' by program header.\n"; |
| 470 | exit(1); |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 471 | } |
| 472 | Sections.push_back(&SHeaders[Index]); |
| 473 | } |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 474 | |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 475 | if (YamlPhdr.Offset) { |
| 476 | PHeader.p_offset = *YamlPhdr.Offset; |
| 477 | } else { |
| 478 | if (YamlPhdr.Sections.size()) |
| 479 | PHeader.p_offset = UINT32_MAX; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 480 | else |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 481 | PHeader.p_offset = 0; |
| 482 | |
| 483 | // Find the minimum offset for the program header. |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 484 | for (Elf_Shdr *SHeader : Sections) |
| 485 | PHeader.p_offset = std::min(PHeader.p_offset, SHeader->sh_offset); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 486 | } |
| 487 | |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 488 | // Find the maximum offset of the end of a section in order to set p_filesz, |
| 489 | // if not set explicitly. |
| 490 | if (YamlPhdr.FileSize) { |
| 491 | PHeader.p_filesz = *YamlPhdr.FileSize; |
| 492 | } else { |
| 493 | PHeader.p_filesz = 0; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 494 | for (Elf_Shdr *SHeader : Sections) { |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 495 | uint64_t EndOfSection; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 496 | if (SHeader->sh_type == llvm::ELF::SHT_NOBITS) |
| 497 | EndOfSection = SHeader->sh_offset; |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 498 | else |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 499 | EndOfSection = SHeader->sh_offset + SHeader->sh_size; |
James Henderson | b10f48b | 2019-03-15 10:35:27 +0000 | [diff] [blame] | 500 | uint64_t EndOfSegment = PHeader.p_offset + PHeader.p_filesz; |
| 501 | EndOfSegment = std::max(EndOfSegment, EndOfSection); |
| 502 | PHeader.p_filesz = EndOfSegment - PHeader.p_offset; |
| 503 | } |
| 504 | } |
| 505 | |
| 506 | // If not set explicitly, find the memory size by adding the size of |
| 507 | // sections at the end of the segment. These should be empty (size of zero) |
| 508 | // and NOBITS sections. |
| 509 | if (YamlPhdr.MemSize) { |
| 510 | PHeader.p_memsz = *YamlPhdr.MemSize; |
| 511 | } else { |
| 512 | PHeader.p_memsz = PHeader.p_filesz; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 513 | for (Elf_Shdr *SHeader : Sections) |
| 514 | if (SHeader->sh_offset == PHeader.p_offset + PHeader.p_filesz) |
| 515 | PHeader.p_memsz += SHeader->sh_size; |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 516 | } |
| 517 | |
| 518 | // 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] | 519 | // 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] | 520 | // has a valid and sensible alignment. |
Jake Ehrlich | 03aeeb09 | 2017-11-01 23:14:48 +0000 | [diff] [blame] | 521 | if (YamlPhdr.Align) { |
| 522 | PHeader.p_align = *YamlPhdr.Align; |
| 523 | } else { |
| 524 | PHeader.p_align = 1; |
George Rimar | f5345a3 | 2019-05-01 09:45:55 +0000 | [diff] [blame] | 525 | for (Elf_Shdr *SHeader : Sections) |
| 526 | if (SHeader->sh_offset == PHeader.p_offset) |
| 527 | PHeader.p_align = std::max(PHeader.p_align, SHeader->sh_addralign); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 528 | } |
| 529 | } |
| 530 | } |
| 531 | |
| 532 | template <class ELFT> |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 533 | void ELFState<ELFT>::addSymbols(ArrayRef<ELFYAML::Symbol> Symbols, |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 534 | std::vector<Elf_Sym> &Syms, |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 535 | const StringTableBuilder &Strtab) { |
Simon Atanasyan | 048baca | 2014-03-14 06:53:30 +0000 | [diff] [blame] | 536 | for (const auto &Sym : Symbols) { |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 537 | Elf_Sym Symbol; |
| 538 | zero(Symbol); |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 539 | |
| 540 | // If NameIndex, which contains the name offset, is explicitly specified, we |
| 541 | // use it. This is useful for preparing broken objects. Otherwise, we add |
| 542 | // the specified Name to the string table builder to get its offset. |
| 543 | if (Sym.NameIndex) |
| 544 | Symbol.st_name = *Sym.NameIndex; |
| 545 | else if (!Sym.Name.empty()) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 546 | Symbol.st_name = Strtab.getOffset(Sym.Name); |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 547 | |
| 548 | Symbol.setBindingAndType(Sym.Binding, Sym.Type); |
| 549 | if (!Sym.Section.empty()) { |
| 550 | unsigned Index; |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 551 | if (!SN2I.lookup(Sym.Section, Index)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 552 | WithColor::error() << "Unknown section referenced: '" << Sym.Section |
| 553 | << "' by YAML symbol " << Sym.Name << ".\n"; |
| 554 | exit(1); |
Sean Silva | c4afa6d | 2013-06-21 01:11:48 +0000 | [diff] [blame] | 555 | } |
| 556 | Symbol.st_shndx = Index; |
Petr Hosek | 5c469a3 | 2017-09-07 20:44:16 +0000 | [diff] [blame] | 557 | } else if (Sym.Index) { |
| 558 | Symbol.st_shndx = *Sym.Index; |
| 559 | } |
| 560 | // 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] | 561 | Symbol.st_value = Sym.Value; |
Simon Atanasyan | 60e1a79 | 2014-11-06 22:46:24 +0000 | [diff] [blame] | 562 | Symbol.st_other = Sym.Other; |
Sean Silva | 05001b9 | 2013-06-20 20:59:47 +0000 | [diff] [blame] | 563 | Symbol.st_size = Sym.Size; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 564 | Syms.push_back(Symbol); |
| 565 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 566 | } |
| 567 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 568 | template <class ELFT> |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 569 | bool ELFState<ELFT>::writeSectionContent( |
George Rimar | b49e192 | 2019-04-24 13:02:15 +0000 | [diff] [blame] | 570 | Elf_Shdr &SHeader, const ELFYAML::RawContentSection &Section, |
| 571 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 572 | assert(Section.Size >= Section.Content.binary_size() && |
| 573 | "Section size and section content are inconsistent"); |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 574 | raw_ostream &OS = |
| 575 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 576 | Section.Content.writeAsBinary(OS); |
George Rimar | b49e192 | 2019-04-24 13:02:15 +0000 | [diff] [blame] | 577 | OS.write_zeros(Section.Size - Section.Content.binary_size()); |
| 578 | |
George Rimar | 65a6828 | 2018-08-07 08:11:38 +0000 | [diff] [blame] | 579 | if (Section.EntSize) |
| 580 | SHeader.sh_entsize = *Section.EntSize; |
| 581 | else if (Section.Type == llvm::ELF::SHT_RELR) |
Jake Ehrlich | 0f440d8 | 2018-06-28 21:07:34 +0000 | [diff] [blame] | 582 | SHeader.sh_entsize = sizeof(Elf_Relr); |
| 583 | else |
| 584 | SHeader.sh_entsize = 0; |
Simon Atanasyan | b83f380 | 2014-05-16 16:01:00 +0000 | [diff] [blame] | 585 | SHeader.sh_size = Section.Size; |
George Rimar | a7ba1a0 | 2019-03-01 10:18:16 +0000 | [diff] [blame] | 586 | SHeader.sh_info = Section.Info; |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 587 | return true; |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 588 | } |
| 589 | |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 590 | static bool isMips64EL(const ELFYAML::Object &Doc) { |
| 591 | return Doc.Header.Machine == ELFYAML::ELF_EM(llvm::ELF::EM_MIPS) && |
| 592 | Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64) && |
| 593 | Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 594 | } |
| 595 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 596 | template <class ELFT> |
| 597 | bool |
| 598 | ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 599 | const ELFYAML::RelocationSection &Section, |
| 600 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 601 | assert((Section.Type == llvm::ELF::SHT_REL || |
| 602 | Section.Type == llvm::ELF::SHT_RELA) && |
| 603 | "Section type is not SHT_REL nor SHT_RELA"); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 604 | |
| 605 | bool IsRela = Section.Type == llvm::ELF::SHT_RELA; |
| 606 | SHeader.sh_entsize = IsRela ? sizeof(Elf_Rela) : sizeof(Elf_Rel); |
| 607 | SHeader.sh_size = SHeader.sh_entsize * Section.Relocations.size(); |
| 608 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 609 | // For relocation section set link to .symtab by default. |
| 610 | if (Section.Link.empty()) |
George Rimar | d71017b | 2019-06-10 09:57:29 +0000 | [diff] [blame] | 611 | SHeader.sh_link = SN2I.get(".symtab"); |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 612 | |
| 613 | unsigned Index = 0; |
| 614 | if (!Section.RelocatableSec.empty() && |
| 615 | !convertSectionIndex(SN2I, Section.Name, Section.RelocatableSec, Index)) |
| 616 | return false; |
| 617 | SHeader.sh_info = Index; |
| 618 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 619 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 620 | |
| 621 | for (const auto &Rel : Section.Relocations) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 622 | unsigned SymIdx = 0; |
| 623 | // If a relocation references a symbol, try to look one up in the symbol |
| 624 | // 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] | 625 | if (Rel.Symbol && !SymN2I.lookup(*Rel.Symbol, SymIdx) && |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 626 | !to_integer(*Rel.Symbol, SymIdx)) { |
| 627 | WithColor::error() << "Unknown symbol referenced: '" << *Rel.Symbol |
| 628 | << "' at YAML section '" << Section.Name << "'.\n"; |
James Henderson | 9bc817a | 2019-03-12 17:00:25 +0000 | [diff] [blame] | 629 | return false; |
| 630 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 631 | |
| 632 | if (IsRela) { |
| 633 | Elf_Rela REntry; |
| 634 | zero(REntry); |
| 635 | REntry.r_offset = Rel.Offset; |
| 636 | REntry.r_addend = Rel.Addend; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 637 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 638 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 639 | } else { |
| 640 | Elf_Rel REntry; |
| 641 | zero(REntry); |
| 642 | REntry.r_offset = Rel.Offset; |
Simon Atanasyan | 5d19c67 | 2015-01-25 13:29:25 +0000 | [diff] [blame] | 643 | REntry.setSymbolAndType(SymIdx, Rel.Type, isMips64EL(Doc)); |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 644 | OS.write((const char *)&REntry, sizeof(REntry)); |
| 645 | } |
| 646 | } |
| 647 | return true; |
| 648 | } |
| 649 | |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 650 | template <class ELFT> |
| 651 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
| 652 | const ELFYAML::Group &Section, |
| 653 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 654 | assert(Section.Type == llvm::ELF::SHT_GROUP && |
| 655 | "Section type is not SHT_GROUP"); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 656 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 657 | SHeader.sh_entsize = 4; |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 658 | SHeader.sh_size = SHeader.sh_entsize * Section.Members.size(); |
| 659 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 660 | unsigned SymIdx; |
| 661 | if (!SymN2I.lookup(Section.Signature, SymIdx) && |
| 662 | !to_integer(Section.Signature, SymIdx)) { |
| 663 | WithColor::error() << "Unknown symbol referenced: '" << Section.Signature |
| 664 | << "' at YAML section '" << Section.Name << "'.\n"; |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 665 | return false; |
| 666 | } |
| 667 | SHeader.sh_info = SymIdx; |
| 668 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 669 | raw_ostream &OS = |
| 670 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 671 | |
George Rimar | fb7780a | 2019-04-26 12:20:51 +0000 | [diff] [blame] | 672 | for (const ELFYAML::SectionOrType &Member : Section.Members) { |
| 673 | unsigned int SectionIndex = 0; |
| 674 | if (Member.sectionNameOrType == "GRP_COMDAT") |
| 675 | SectionIndex = llvm::ELF::GRP_COMDAT; |
| 676 | else if (!convertSectionIndex(SN2I, Section.Name, Member.sectionNameOrType, |
| 677 | SectionIndex)) |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 678 | return false; |
George Rimar | fb7780a | 2019-04-26 12:20:51 +0000 | [diff] [blame] | 679 | support::endian::write<uint32_t>(OS, SectionIndex, ELFT::TargetEndianness); |
Shankar Easwaran | 6fbbe20 | 2015-02-21 04:28:26 +0000 | [diff] [blame] | 680 | } |
| 681 | return true; |
| 682 | } |
| 683 | |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 684 | template <class ELFT> |
| 685 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 686 | const ELFYAML::SymverSection &Section, |
| 687 | ContiguousBlobAccumulator &CBA) { |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 688 | raw_ostream &OS = |
| 689 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | dac37fb | 2019-02-20 14:01:02 +0000 | [diff] [blame] | 690 | for (uint16_t Version : Section.Entries) |
| 691 | support::endian::write<uint16_t>(OS, Version, ELFT::TargetEndianness); |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 692 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 693 | SHeader.sh_entsize = 2; |
| 694 | SHeader.sh_size = Section.Entries.size() * SHeader.sh_entsize; |
George Rimar | 646af08 | 2019-02-19 15:29:07 +0000 | [diff] [blame] | 695 | return true; |
| 696 | } |
| 697 | |
| 698 | template <class ELFT> |
| 699 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 700 | const ELFYAML::VerdefSection &Section, |
| 701 | ContiguousBlobAccumulator &CBA) { |
| 702 | typedef typename ELFT::Verdef Elf_Verdef; |
| 703 | typedef typename ELFT::Verdaux Elf_Verdaux; |
| 704 | raw_ostream &OS = |
| 705 | CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
| 706 | |
| 707 | uint64_t AuxCnt = 0; |
| 708 | for (size_t I = 0; I < Section.Entries.size(); ++I) { |
| 709 | const ELFYAML::VerdefEntry &E = Section.Entries[I]; |
| 710 | |
| 711 | Elf_Verdef VerDef; |
| 712 | VerDef.vd_version = E.Version; |
| 713 | VerDef.vd_flags = E.Flags; |
| 714 | VerDef.vd_ndx = E.VersionNdx; |
| 715 | VerDef.vd_hash = E.Hash; |
| 716 | VerDef.vd_aux = sizeof(Elf_Verdef); |
| 717 | VerDef.vd_cnt = E.VerNames.size(); |
| 718 | if (I == Section.Entries.size() - 1) |
| 719 | VerDef.vd_next = 0; |
| 720 | else |
| 721 | VerDef.vd_next = |
| 722 | sizeof(Elf_Verdef) + E.VerNames.size() * sizeof(Elf_Verdaux); |
| 723 | OS.write((const char *)&VerDef, sizeof(Elf_Verdef)); |
| 724 | |
| 725 | for (size_t J = 0; J < E.VerNames.size(); ++J, ++AuxCnt) { |
| 726 | Elf_Verdaux VernAux; |
| 727 | VernAux.vda_name = DotDynstr.getOffset(E.VerNames[J]); |
| 728 | if (J == E.VerNames.size() - 1) |
| 729 | VernAux.vda_next = 0; |
| 730 | else |
| 731 | VernAux.vda_next = sizeof(Elf_Verdaux); |
| 732 | OS.write((const char *)&VernAux, sizeof(Elf_Verdaux)); |
| 733 | } |
| 734 | } |
| 735 | |
| 736 | SHeader.sh_size = Section.Entries.size() * sizeof(Elf_Verdef) + |
| 737 | AuxCnt * sizeof(Elf_Verdaux); |
| 738 | SHeader.sh_info = Section.Info; |
| 739 | |
| 740 | return true; |
| 741 | } |
| 742 | |
| 743 | template <class ELFT> |
| 744 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 745 | const ELFYAML::VerneedSection &Section, |
| 746 | ContiguousBlobAccumulator &CBA) { |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 747 | typedef typename ELFT::Verneed Elf_Verneed; |
| 748 | typedef typename ELFT::Vernaux Elf_Vernaux; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 749 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 750 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 751 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 752 | uint64_t AuxCnt = 0; |
| 753 | for (size_t I = 0; I < Section.VerneedV.size(); ++I) { |
| 754 | const ELFYAML::VerneedEntry &VE = Section.VerneedV[I]; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 755 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 756 | Elf_Verneed VerNeed; |
| 757 | VerNeed.vn_version = VE.Version; |
| 758 | VerNeed.vn_file = DotDynstr.getOffset(VE.File); |
| 759 | if (I == Section.VerneedV.size() - 1) |
| 760 | VerNeed.vn_next = 0; |
| 761 | else |
| 762 | VerNeed.vn_next = |
| 763 | sizeof(Elf_Verneed) + VE.AuxV.size() * sizeof(Elf_Vernaux); |
| 764 | VerNeed.vn_cnt = VE.AuxV.size(); |
| 765 | VerNeed.vn_aux = sizeof(Elf_Verneed); |
| 766 | OS.write((const char *)&VerNeed, sizeof(Elf_Verneed)); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 767 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 768 | for (size_t J = 0; J < VE.AuxV.size(); ++J, ++AuxCnt) { |
| 769 | const ELFYAML::VernauxEntry &VAuxE = VE.AuxV[J]; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 770 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 771 | Elf_Vernaux VernAux; |
| 772 | VernAux.vna_hash = VAuxE.Hash; |
| 773 | VernAux.vna_flags = VAuxE.Flags; |
| 774 | VernAux.vna_other = VAuxE.Other; |
| 775 | VernAux.vna_name = DotDynstr.getOffset(VAuxE.Name); |
| 776 | if (J == VE.AuxV.size() - 1) |
| 777 | VernAux.vna_next = 0; |
| 778 | else |
| 779 | VernAux.vna_next = sizeof(Elf_Vernaux); |
| 780 | OS.write((const char *)&VernAux, sizeof(Elf_Vernaux)); |
| 781 | } |
| 782 | } |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 783 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 784 | SHeader.sh_size = Section.VerneedV.size() * sizeof(Elf_Verneed) + |
| 785 | AuxCnt * sizeof(Elf_Vernaux); |
| 786 | SHeader.sh_info = Section.Info; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 787 | |
George Rimar | da1b3ab | 2019-04-26 12:15:32 +0000 | [diff] [blame] | 788 | return true; |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 789 | } |
| 790 | |
| 791 | template <class ELFT> |
| 792 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 793 | const ELFYAML::MipsABIFlags &Section, |
| 794 | ContiguousBlobAccumulator &CBA) { |
Simon Atanasyan | 8eb9d1b | 2015-05-08 07:05:04 +0000 | [diff] [blame] | 795 | assert(Section.Type == llvm::ELF::SHT_MIPS_ABIFLAGS && |
| 796 | "Section type is not SHT_MIPS_ABIFLAGS"); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 797 | |
| 798 | object::Elf_Mips_ABIFlags<ELFT> Flags; |
| 799 | zero(Flags); |
| 800 | SHeader.sh_entsize = sizeof(Flags); |
| 801 | SHeader.sh_size = SHeader.sh_entsize; |
| 802 | |
Simon Atanasyan | 22c4c9e | 2015-07-08 10:12:40 +0000 | [diff] [blame] | 803 | auto &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
Simon Atanasyan | 04d9e65 | 2015-05-07 15:40:48 +0000 | [diff] [blame] | 804 | Flags.version = Section.Version; |
| 805 | Flags.isa_level = Section.ISALevel; |
| 806 | Flags.isa_rev = Section.ISARevision; |
| 807 | Flags.gpr_size = Section.GPRSize; |
| 808 | Flags.cpr1_size = Section.CPR1Size; |
| 809 | Flags.cpr2_size = Section.CPR2Size; |
| 810 | Flags.fp_abi = Section.FpABI; |
| 811 | Flags.isa_ext = Section.ISAExtension; |
| 812 | Flags.ases = Section.ASEs; |
| 813 | Flags.flags1 = Section.Flags1; |
| 814 | Flags.flags2 = Section.Flags2; |
| 815 | OS.write((const char *)&Flags, sizeof(Flags)); |
| 816 | |
| 817 | return true; |
| 818 | } |
| 819 | |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 820 | template <class ELFT> |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 821 | bool ELFState<ELFT>::writeSectionContent(Elf_Shdr &SHeader, |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 822 | const ELFYAML::DynamicSection &Section, |
| 823 | ContiguousBlobAccumulator &CBA) { |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 824 | typedef typename ELFT::uint uintX_t; |
| 825 | |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 826 | assert(Section.Type == llvm::ELF::SHT_DYNAMIC && |
| 827 | "Section type is not SHT_DYNAMIC"); |
| 828 | |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 829 | if (!Section.Entries.empty() && Section.Content) { |
| 830 | WithColor::error() |
| 831 | << "Cannot specify both raw content and explicit entries " |
| 832 | "for dynamic section '" |
| 833 | << Section.Name << "'.\n"; |
| 834 | return false; |
| 835 | } |
| 836 | |
| 837 | if (Section.Content) |
| 838 | SHeader.sh_size = Section.Content->binary_size(); |
| 839 | else |
| 840 | SHeader.sh_size = 2 * sizeof(uintX_t) * Section.Entries.size(); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 841 | if (Section.EntSize) |
| 842 | SHeader.sh_entsize = *Section.EntSize; |
| 843 | else |
| 844 | SHeader.sh_entsize = sizeof(Elf_Dyn); |
| 845 | |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 846 | raw_ostream &OS = CBA.getOSAndAlignedOffset(SHeader.sh_offset, SHeader.sh_addralign); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 847 | for (const ELFYAML::DynamicEntry &DE : Section.Entries) { |
George Rimar | d063c7d | 2019-02-20 13:58:43 +0000 | [diff] [blame] | 848 | support::endian::write<uintX_t>(OS, DE.Tag, ELFT::TargetEndianness); |
| 849 | support::endian::write<uintX_t>(OS, DE.Val, ELFT::TargetEndianness); |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 850 | } |
James Henderson | fd99780 | 2019-02-25 11:02:24 +0000 | [diff] [blame] | 851 | if (Section.Content) |
| 852 | Section.Content->writeAsBinary(OS); |
| 853 | |
| 854 | return true; |
George Rimar | 0e7ed91 | 2019-02-09 11:34:28 +0000 | [diff] [blame] | 855 | } |
| 856 | |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 857 | template <class ELFT> bool ELFState<ELFT>::buildSectionIndex() { |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 858 | for (unsigned i = 0, e = Doc.Sections.size(); i != e; ++i) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 859 | StringRef Name = Doc.Sections[i]->Name; |
| 860 | DotShStrtab.add(Name); |
| 861 | // "+ 1" to take into account the SHT_NULL entry. |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 862 | if (!SN2I.addName(Name, i + 1)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 863 | WithColor::error() << "Repeated section name: '" << Name |
| 864 | << "' at YAML section number " << i << ".\n"; |
| 865 | return false; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 866 | } |
Sean Silva | aff5125 | 2013-06-21 00:27:50 +0000 | [diff] [blame] | 867 | } |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 868 | |
| 869 | auto SecNo = 1 + Doc.Sections.size(); |
| 870 | // Add special sections after input sections, if necessary. |
George Rimar | 5fcdebe | 2019-04-26 13:09:11 +0000 | [diff] [blame] | 871 | for (StringRef Name : implicitSectionNames()) |
George Rimar | 3662127 | 2019-05-02 19:28:04 +0000 | [diff] [blame] | 872 | if (SN2I.addName(Name, SecNo)) { |
Dave Lee | 17307d9 | 2017-11-09 14:53:43 +0000 | [diff] [blame] | 873 | // Account for this section, since it wasn't in the Doc |
| 874 | ++SecNo; |
| 875 | DotShStrtab.add(Name); |
| 876 | } |
| 877 | |
| 878 | DotShStrtab.finalize(); |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 879 | return true; |
Sean Silva | 6b08388 | 2013-06-18 23:14:03 +0000 | [diff] [blame] | 880 | } |
| 881 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 882 | template <class ELFT> |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 883 | bool ELFState<ELFT>::buildSymbolIndex(ArrayRef<ELFYAML::Symbol> Symbols) { |
| 884 | bool GlobalSymbolSeen = false; |
George Rimar | 33e498b | 2019-03-11 16:10:02 +0000 | [diff] [blame] | 885 | std::size_t I = 0; |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 886 | for (const auto &Sym : Symbols) { |
| 887 | ++I; |
| 888 | |
| 889 | StringRef Name = Sym.Name; |
| 890 | if (Sym.Binding.value == ELF::STB_LOCAL && GlobalSymbolSeen) { |
| 891 | WithColor::error() << "Local symbol '" + Name + |
| 892 | "' after global in Symbols list.\n"; |
| 893 | return false; |
| 894 | } |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 895 | if (Sym.Binding.value != ELF::STB_LOCAL) |
| 896 | GlobalSymbolSeen = true; |
| 897 | |
Puyan Lotfi | a10f016 | 2019-05-11 17:03:36 +0000 | [diff] [blame] | 898 | if (!Name.empty() && !SymN2I.addName(Name, I)) { |
George Rimar | 0974688 | 2019-05-07 12:10:51 +0000 | [diff] [blame] | 899 | WithColor::error() << "Repeated symbol name: '" << Name << "'.\n"; |
| 900 | return false; |
| 901 | } |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 902 | } |
| 903 | return true; |
| 904 | } |
| 905 | |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 906 | template <class ELFT> void ELFState<ELFT>::finalizeStrings() { |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 907 | // Add the regular symbol names to .strtab section. |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 908 | for (const ELFYAML::Symbol &Sym : Doc.Symbols) |
| 909 | DotStrtab.add(Sym.Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 910 | DotStrtab.finalize(); |
| 911 | |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 912 | // Add the dynamic symbol names to .dynstr section. |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 913 | for (const ELFYAML::Symbol &Sym : Doc.DynamicSymbols) |
| 914 | DotDynstr.add(Sym.Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 915 | |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 916 | // SHT_GNU_verdef and SHT_GNU_verneed sections might also |
| 917 | // add strings to .dynstr section. |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 918 | for (const std::unique_ptr<ELFYAML::Section> &Sec : Doc.Sections) { |
George Rimar | 623ae72 | 2019-02-21 12:21:43 +0000 | [diff] [blame] | 919 | if (auto VerNeed = dyn_cast<ELFYAML::VerneedSection>(Sec.get())) { |
| 920 | for (const ELFYAML::VerneedEntry &VE : VerNeed->VerneedV) { |
| 921 | DotDynstr.add(VE.File); |
| 922 | for (const ELFYAML::VernauxEntry &Aux : VE.AuxV) |
| 923 | DotDynstr.add(Aux.Name); |
| 924 | } |
| 925 | } else if (auto VerDef = dyn_cast<ELFYAML::VerdefSection>(Sec.get())) { |
| 926 | for (const ELFYAML::VerdefEntry &E : VerDef->Entries) |
| 927 | for (StringRef Name : E.VerNames) |
| 928 | DotDynstr.add(Name); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 929 | } |
| 930 | } |
| 931 | |
| 932 | DotDynstr.finalize(); |
| 933 | } |
| 934 | |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 935 | template <class ELFT> |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 936 | int ELFState<ELFT>::writeELF(raw_ostream &OS, const ELFYAML::Object &Doc) { |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 937 | ELFState<ELFT> State(Doc); |
George Rimar | 0621b79 | 2019-02-19 14:53:48 +0000 | [diff] [blame] | 938 | |
| 939 | // Finalize .strtab and .dynstr sections. We do that early because want to |
| 940 | // finalize the string table builders before writing the content of the |
| 941 | // sections that might want to use them. |
| 942 | State.finalizeStrings(); |
| 943 | |
Simon Atanasyan | 220c54a | 2014-04-02 16:34:40 +0000 | [diff] [blame] | 944 | if (!State.buildSectionIndex()) |
| 945 | return 1; |
| 946 | |
George Rimar | 33e498b | 2019-03-11 16:10:02 +0000 | [diff] [blame] | 947 | if (!State.buildSymbolIndex(Doc.Symbols)) |
Simon Atanasyan | 42ac0dd | 2014-04-11 04:13:39 +0000 | [diff] [blame] | 948 | return 1; |
| 949 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 950 | Elf_Ehdr Header; |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 951 | State.initELFHeader(Header); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 952 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 953 | // TODO: Flesh out section header support. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 954 | |
| 955 | std::vector<Elf_Phdr> PHeaders; |
| 956 | State.initProgramHeaders(PHeaders); |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 957 | |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 958 | // XXX: This offset is tightly coupled with the order that we write |
| 959 | // things to `OS`. |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 960 | const size_t SectionContentBeginOffset = Header.e_ehsize + |
| 961 | Header.e_phentsize * Header.e_phnum + |
| 962 | Header.e_shentsize * Header.e_shnum; |
Sean Silva | 08a75ae | 2013-06-20 19:11:44 +0000 | [diff] [blame] | 963 | ContiguousBlobAccumulator CBA(SectionContentBeginOffset); |
Sean Silva | c1c290b | 2013-06-20 20:59:34 +0000 | [diff] [blame] | 964 | |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 965 | std::vector<Elf_Shdr> SHeaders; |
George Rimar | 66296dc | 2019-06-05 13:16:53 +0000 | [diff] [blame] | 966 | if (!State.initSectionHeaders(State, SHeaders, CBA)) |
Simon Atanasyan | 3ee21b0 | 2014-04-02 16:34:54 +0000 | [diff] [blame] | 967 | return 1; |
Sean Silva | 3820593 | 2013-06-13 22:19:48 +0000 | [diff] [blame] | 968 | |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 969 | // Now we can decide segment offsets |
| 970 | State.setProgramHeaderLayout(PHeaders, SHeaders); |
| 971 | |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 972 | OS.write((const char *)&Header, sizeof(Header)); |
Petr Hosek | eb04da3 | 2017-07-19 20:38:46 +0000 | [diff] [blame] | 973 | writeArrayData(OS, makeArrayRef(PHeaders)); |
Will Dietz | 0b48c73 | 2013-10-12 21:29:16 +0000 | [diff] [blame] | 974 | writeArrayData(OS, makeArrayRef(SHeaders)); |
Sean Silva | 46dffff | 2013-06-13 22:20:01 +0000 | [diff] [blame] | 975 | CBA.writeBlobToStream(OS); |
Sean Silva | 415d93f | 2013-06-17 20:14:59 +0000 | [diff] [blame] | 976 | return 0; |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 977 | } |
| 978 | |
Xing GUO | bac7864 | 2018-12-07 11:04:22 +0000 | [diff] [blame] | 979 | template <class ELFT> |
George Rimar | 5fcdebe | 2019-04-26 13:09:11 +0000 | [diff] [blame] | 980 | std::vector<StringRef> ELFState<ELFT>::implicitSectionNames() const { |
George Rimar | 6da44ad | 2019-04-03 14:53:42 +0000 | [diff] [blame] | 981 | if (Doc.DynamicSymbols.empty()) |
Dave Lee | 67b4966 | 2017-11-16 18:10:15 +0000 | [diff] [blame] | 982 | return {".symtab", ".strtab", ".shstrtab"}; |
| 983 | return {".symtab", ".strtab", ".shstrtab", ".dynsym", ".dynstr"}; |
| 984 | } |
| 985 | |
Chris Bieneman | 8ff0c11 | 2016-06-27 19:53:53 +0000 | [diff] [blame] | 986 | int yaml2elf(llvm::ELFYAML::Object &Doc, raw_ostream &Out) { |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 987 | bool IsLE = Doc.Header.Data == ELFYAML::ELF_ELFDATA(ELF::ELFDATA2LSB); |
| 988 | bool Is64Bit = Doc.Header.Class == ELFYAML::ELF_ELFCLASS(ELF::ELFCLASS64); |
| 989 | if (Is64Bit) { |
| 990 | if (IsLE) |
Rui Ueyama | 1b31eb9 | 2018-01-12 01:40:32 +0000 | [diff] [blame] | 991 | return ELFState<object::ELF64LE>::writeELF(Out, Doc); |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 992 | return ELFState<object::ELF64BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 993 | } |
George Rimar | bc4d3c4 | 2019-04-29 12:25:01 +0000 | [diff] [blame] | 994 | if (IsLE) |
| 995 | return ELFState<object::ELF32LE>::writeELF(Out, Doc); |
| 996 | return ELFState<object::ELF32BE>::writeELF(Out, Doc); |
Sean Silva | f99309c | 2013-06-10 23:44:15 +0000 | [diff] [blame] | 997 | } |