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