blob: 50b848aec270eba0ffc7870a4980089eaee94699 [file] [log] [blame]
Nick Lewycky4288f9e2013-03-09 09:32:16 +00001//===- lib/MC/ELFObjectWriter.cpp - ELF File Writer -----------------------===//
Matt Fleming6c1ad482010-08-16 18:57:57 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements ELF object file writer information.
11//
12//===----------------------------------------------------------------------===//
13
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/MC/MCELFObjectWriter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/ADT/STLExtras.h"
Rafael Espindola29abd972011-12-22 03:38:00 +000016#include "llvm/ADT/SmallPtrSet.h"
17#include "llvm/ADT/SmallString.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000018#include "llvm/ADT/StringMap.h"
Evan Cheng5928e692011-07-25 23:24:55 +000019#include "llvm/MC/MCAsmBackend.h"
David Blaikie8019bf82014-04-10 21:53:53 +000020#include "llvm/MC/MCAsmInfo.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000021#include "llvm/MC/MCAsmLayout.h"
Rafael Espindola29abd972011-12-22 03:38:00 +000022#include "llvm/MC/MCAssembler.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000023#include "llvm/MC/MCContext.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000024#include "llvm/MC/MCELF.h"
Rafael Espindola29abd972011-12-22 03:38:00 +000025#include "llvm/MC/MCELFSymbolFlags.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000026#include "llvm/MC/MCExpr.h"
Craig Topper6e80c282012-03-26 06:58:25 +000027#include "llvm/MC/MCFixupKindInfo.h"
28#include "llvm/MC/MCObjectWriter.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000029#include "llvm/MC/MCSectionELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000030#include "llvm/MC/MCValue.h"
Rafael Espindola97de4742014-07-03 02:01:39 +000031#include "llvm/MC/StringTableBuilder.h"
David Blaikie8019bf82014-04-10 21:53:53 +000032#include "llvm/Support/Compression.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000033#include "llvm/Support/Debug.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000034#include "llvm/Support/ELF.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000035#include "llvm/Support/Endian.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000036#include "llvm/Support/ErrorHandling.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000037#include <vector>
38using namespace llvm;
39
Jason W Kimc09e7262011-05-11 22:53:06 +000040#undef DEBUG_TYPE
41#define DEBUG_TYPE "reloc-info"
42
Rafael Espindola29abd972011-12-22 03:38:00 +000043namespace {
Rafael Espindola0ce09712014-03-25 22:43:53 +000044
Rafael Espindola10be0832014-03-25 23:44:25 +000045typedef DenseMap<const MCSectionELF *, uint32_t> SectionIndexMapTy;
46
Rafael Espindola91fd2772015-04-29 21:09:32 +000047class ELFObjectWriter;
48
Rafael Espindola10be0832014-03-25 23:44:25 +000049class SymbolTableWriter {
Rafael Espindola91fd2772015-04-29 21:09:32 +000050 ELFObjectWriter &EWriter;
Rafael Espindola10be0832014-03-25 23:44:25 +000051 bool Is64Bit;
Rafael Espindola10be0832014-03-25 23:44:25 +000052
Rafael Espindola91fd2772015-04-29 21:09:32 +000053 // indexes we are going to write to .symtab_shndx.
54 std::vector<uint32_t> ShndxIndexes;
Rafael Espindola10be0832014-03-25 23:44:25 +000055
56 // The numbel of symbols written so far.
57 unsigned NumWritten;
58
59 void createSymtabShndx();
60
Rafael Espindola91fd2772015-04-29 21:09:32 +000061 template <typename T> void write(T Value);
Rafael Espindola10be0832014-03-25 23:44:25 +000062
63public:
Rafael Espindola91fd2772015-04-29 21:09:32 +000064 SymbolTableWriter(ELFObjectWriter &EWriter, bool Is64Bit);
Rafael Espindola10be0832014-03-25 23:44:25 +000065
66 void writeSymbol(uint32_t name, uint8_t info, uint64_t value, uint64_t size,
67 uint8_t other, uint32_t shndx, bool Reserved);
Rafael Espindola91fd2772015-04-29 21:09:32 +000068
69 ArrayRef<uint32_t> getShndxIndexes() const { return ShndxIndexes; }
Rafael Espindola10be0832014-03-25 23:44:25 +000070};
71
Rafael Espindola29abd972011-12-22 03:38:00 +000072class ELFObjectWriter : public MCObjectWriter {
Rafael Espindola29abd972011-12-22 03:38:00 +000073 static bool isFixupKindPCRel(const MCAssembler &Asm, unsigned Kind);
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +000074 static uint64_t SymbolValue(const MCSymbol &Sym, const MCAsmLayout &Layout);
75 static bool isInSymtab(const MCAsmLayout &Layout, const MCSymbol &Symbol,
Rafael Espindola29abd972011-12-22 03:38:00 +000076 bool Used, bool Renamed);
Rafael Espindola10d23872015-05-29 14:20:40 +000077 static bool isLocal(const MCSymbol &Symbol, bool IsUsedInReloc,
78 bool IsSignature);
Rafael Espindola29abd972011-12-22 03:38:00 +000079
Rafael Espindola6cd21802015-04-07 22:35:40 +000080 /// Helper struct for containing some precomputed information on symbols.
Rafael Espindola29abd972011-12-22 03:38:00 +000081 struct ELFSymbolData {
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +000082 const MCSymbol *Symbol;
Rafael Espindola29abd972011-12-22 03:38:00 +000083 uint32_t SectionIndex;
Hans Wennborg83e6e1e2014-04-30 16:25:02 +000084 StringRef Name;
Rafael Espindola29abd972011-12-22 03:38:00 +000085
86 // Support lexicographic sorting.
87 bool operator<(const ELFSymbolData &RHS) const {
Rafael Espindolae3b2acf2015-05-29 18:47:23 +000088 unsigned LHSType = MCELF::GetType(*Symbol);
89 unsigned RHSType = MCELF::GetType(*RHS.Symbol);
Rafael Espindolab6613022014-10-17 01:48:58 +000090 if (LHSType == ELF::STT_SECTION && RHSType != ELF::STT_SECTION)
91 return false;
92 if (LHSType != ELF::STT_SECTION && RHSType == ELF::STT_SECTION)
93 return true;
94 if (LHSType == ELF::STT_SECTION && RHSType == ELF::STT_SECTION)
95 return SectionIndex < RHS.SectionIndex;
Hans Wennborg83e6e1e2014-04-30 16:25:02 +000096 return Name < RHS.Name;
Rafael Espindola29abd972011-12-22 03:38:00 +000097 }
98 };
99
Rafael Espindola29abd972011-12-22 03:38:00 +0000100 /// The target specific ELF writer instance.
Ahmed Charles56440fd2014-03-06 05:51:42 +0000101 std::unique_ptr<MCELFObjectTargetWriter> TargetObjectWriter;
Rafael Espindola29abd972011-12-22 03:38:00 +0000102
103 SmallPtrSet<const MCSymbol *, 16> UsedInReloc;
104 SmallPtrSet<const MCSymbol *, 16> WeakrefUsedInReloc;
105 DenseMap<const MCSymbol *, const MCSymbol *> Renames;
106
Rafael Espindola34948e52015-04-30 00:45:46 +0000107 llvm::DenseMap<const MCSectionELF *, std::vector<ELFRelocationEntry>>
108 Relocations;
Rafael Espindola29abd972011-12-22 03:38:00 +0000109
110 /// @}
111 /// @name Symbol Table Data
112 /// @{
113
Hans Wennborg83e6e1e2014-04-30 16:25:02 +0000114 StringTableBuilder StrTabBuilder;
Rafael Espindola29abd972011-12-22 03:38:00 +0000115
116 /// @}
117
Rafael Espindola29abd972011-12-22 03:38:00 +0000118 // This holds the symbol table index of the last local symbol.
119 unsigned LastLocalSymbolIndex;
120 // This holds the .strtab section index.
121 unsigned StringTableIndex;
122 // This holds the .symtab section index.
123 unsigned SymbolTableIndex;
Rafael Espindola5960cee2015-05-22 23:58:30 +0000124 // This holds the .symtab_shndx section index.
125 unsigned SymtabShndxSectionIndex = 0;
Rafael Espindola29abd972011-12-22 03:38:00 +0000126
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000127 // Sections in the order they are to be output in the section table.
Rafael Espindola08850b32015-05-25 21:56:55 +0000128 std::vector<const MCSectionELF *> SectionTable;
129 unsigned addToSectionTable(const MCSectionELF *Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000130
Rafael Espindola29abd972011-12-22 03:38:00 +0000131 // TargetObjectWriter wrappers.
Rafael Espindola29abd972011-12-22 03:38:00 +0000132 bool is64Bit() const { return TargetObjectWriter->is64Bit(); }
133 bool hasRelocationAddend() const {
134 return TargetObjectWriter->hasRelocationAddend();
135 }
Rafael Espindola29abd972011-12-22 03:38:00 +0000136 unsigned GetRelocType(const MCValue &Target, const MCFixup &Fixup,
Rafael Espindolac03f44c2014-03-27 20:49:35 +0000137 bool IsPCRel) const {
138 return TargetObjectWriter->GetRelocType(Target, Fixup, IsPCRel);
Rafael Espindola29abd972011-12-22 03:38:00 +0000139 }
140
Rafael Espindola29abd972011-12-22 03:38:00 +0000141 public:
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000142 ELFObjectWriter(MCELFObjectTargetWriter *MOTW, raw_pwrite_stream &OS,
Rafael Espindola0ce09712014-03-25 22:43:53 +0000143 bool IsLittleEndian)
Rafael Espindolae2b355d2015-05-28 15:20:00 +0000144 : MCObjectWriter(OS, IsLittleEndian), TargetObjectWriter(MOTW) {}
Rafael Espindola29abd972011-12-22 03:38:00 +0000145
Yaron Keren7773a722015-03-23 18:35:01 +0000146 void reset() override {
147 UsedInReloc.clear();
148 WeakrefUsedInReloc.clear();
149 Renames.clear();
150 Relocations.clear();
Yaron Keren7773a722015-03-23 18:35:01 +0000151 StrTabBuilder.clear();
Yaron Kerenf3465e12015-05-13 15:17:19 +0000152 SectionTable.clear();
Yaron Keren7773a722015-03-23 18:35:01 +0000153 MCObjectWriter::reset();
154 }
155
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000156 ~ELFObjectWriter() override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000157
158 void WriteWord(uint64_t W) {
159 if (is64Bit())
160 Write64(W);
161 else
162 Write32(W);
163 }
164
Rafael Espindola91fd2772015-04-29 21:09:32 +0000165 template <typename T> void write(T Val) {
166 if (IsLittleEndian)
167 support::endian::Writer<support::little>(OS).write(Val);
168 else
169 support::endian::Writer<support::big>(OS).write(Val);
170 }
171
Rafael Espindola8c7829b2015-04-29 20:39:37 +0000172 void writeHeader(const MCAssembler &Asm);
Rafael Espindola29abd972011-12-22 03:38:00 +0000173
Rafael Espindolae48421f2015-05-28 20:25:29 +0000174 void writeSymbol(SymbolTableWriter &Writer, uint32_t StringIndex,
175 ELFSymbolData &MSD, const MCAsmLayout &Layout);
Rafael Espindola29abd972011-12-22 03:38:00 +0000176
Rafael Espindola91fd2772015-04-29 21:09:32 +0000177 // Start and end offset of each section
Rafael Espindolabda19802015-04-30 14:21:49 +0000178 typedef std::map<const MCSectionELF *, std::pair<uint64_t, uint64_t>>
179 SectionOffsetsTy;
Rafael Espindola91fd2772015-04-29 21:09:32 +0000180
Rafael Espindolab60c8292014-04-29 12:46:50 +0000181 bool shouldRelocateWithSymbol(const MCAssembler &Asm,
182 const MCSymbolRefExpr *RefA,
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000183 const MCSymbol *Sym, uint64_t C,
Rafael Espindola5904e122014-03-29 06:26:49 +0000184 unsigned Type) const;
185
Rafael Espindola26585542015-01-19 21:11:14 +0000186 void RecordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout,
Craig Topper34a61bc2014-03-08 07:02:02 +0000187 const MCFragment *Fragment, const MCFixup &Fixup,
Rafael Espindola5904e122014-03-29 06:26:49 +0000188 MCValue Target, bool &IsPCRel,
189 uint64_t &FixedValue) override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000190
Rafael Espindola89feff32015-04-28 22:59:58 +0000191 // Map from a signature symbol to the group section index
192 typedef DenseMap<const MCSymbol *, unsigned> RevGroupMapTy;
Rafael Espindola29abd972011-12-22 03:38:00 +0000193
Rafael Espindola022bb762014-03-24 03:43:21 +0000194 /// Compute the symbol table data
Rafael Espindola29abd972011-12-22 03:38:00 +0000195 ///
Rafael Espindola073ee7d2012-08-27 16:04:24 +0000196 /// \param Asm - The assembler.
197 /// \param SectionIndexMap - Maps a section to its index.
198 /// \param RevGroupMap - Maps a signature symbol to the group section.
Rafael Espindola022bb762014-03-24 03:43:21 +0000199 void computeSymbolTable(MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindola29abd972011-12-22 03:38:00 +0000200 const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000201 const RevGroupMapTy &RevGroupMap,
202 SectionOffsetsTy &SectionOffsets);
Rafael Espindola29abd972011-12-22 03:38:00 +0000203
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000204 MCSectionELF *createRelocationSection(MCContext &Ctx,
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000205 const MCSectionELF &Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000206
Rafael Espindolab1863912015-04-30 21:10:06 +0000207 const MCSectionELF *createStringTable(MCContext &Ctx);
Rafael Espindola29abd972011-12-22 03:38:00 +0000208
Craig Topper34a61bc2014-03-08 07:02:02 +0000209 void ExecutePostLayoutBinding(MCAssembler &Asm,
210 const MCAsmLayout &Layout) override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000211
Rafael Espindola1aa20fc2015-05-21 19:46:39 +0000212 void writeSectionHeader(const MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindola29abd972011-12-22 03:38:00 +0000213 const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaa8201692015-04-28 15:26:21 +0000214 const SectionOffsetsTy &SectionOffsets);
Rafael Espindola29abd972011-12-22 03:38:00 +0000215
Rafael Espindolae15b1b72015-05-27 13:30:50 +0000216 void writeSectionData(const MCAssembler &Asm, MCSection &Sec,
Rafael Espindola868b3f42015-04-30 21:51:58 +0000217 const MCAsmLayout &Layout);
218
Rafael Espindola29abd972011-12-22 03:38:00 +0000219 void WriteSecHdrEntry(uint32_t Name, uint32_t Type, uint64_t Flags,
Rafael Espindola868b3f42015-04-30 21:51:58 +0000220 uint64_t Address, uint64_t Offset, uint64_t Size,
221 uint32_t Link, uint32_t Info, uint64_t Alignment,
222 uint64_t EntrySize);
Rafael Espindola29abd972011-12-22 03:38:00 +0000223
Rafael Espindola34948e52015-04-30 00:45:46 +0000224 void writeRelocations(const MCAssembler &Asm, const MCSectionELF &Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000225
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +0000226 bool IsSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm,
227 const MCSymbol &SymA,
228 const MCFragment &FB,
229 bool InSet,
230 bool IsPCRel) const override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000231
Duncan P. N. Exon Smith5266ad92015-05-20 15:10:03 +0000232 bool isWeak(const MCSymbol &Sym) const override;
Rafael Espindolaf275ad82015-03-25 13:16:53 +0000233
Craig Topper34a61bc2014-03-08 07:02:02 +0000234 void WriteObject(MCAssembler &Asm, const MCAsmLayout &Layout) override;
Rafael Espindolae92c1bf2015-05-21 19:42:35 +0000235 void writeSection(const SectionIndexMapTy &SectionIndexMap,
Rafael Espindola28687582015-05-21 19:36:43 +0000236 uint32_t GroupSymbolIndex, uint64_t Offset, uint64_t Size,
Rafael Espindola29abd972011-12-22 03:38:00 +0000237 const MCSectionELF &Section);
238 };
239}
240
Rafael Espindola08850b32015-05-25 21:56:55 +0000241unsigned ELFObjectWriter::addToSectionTable(const MCSectionELF *Sec) {
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000242 SectionTable.push_back(Sec);
Rafael Espindola5960cee2015-05-22 23:58:30 +0000243 StrTabBuilder.add(Sec->getSectionName());
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000244 return SectionTable.size();
245}
246
Rafael Espindola10be0832014-03-25 23:44:25 +0000247void SymbolTableWriter::createSymtabShndx() {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000248 if (!ShndxIndexes.empty())
Rafael Espindola10be0832014-03-25 23:44:25 +0000249 return;
250
Rafael Espindola91fd2772015-04-29 21:09:32 +0000251 ShndxIndexes.resize(NumWritten);
Rafael Espindola10be0832014-03-25 23:44:25 +0000252}
253
Rafael Espindola91fd2772015-04-29 21:09:32 +0000254template <typename T> void SymbolTableWriter::write(T Value) {
255 EWriter.write(Value);
Rafael Espindola10be0832014-03-25 23:44:25 +0000256}
257
Rafael Espindola91fd2772015-04-29 21:09:32 +0000258SymbolTableWriter::SymbolTableWriter(ELFObjectWriter &EWriter, bool Is64Bit)
259 : EWriter(EWriter), Is64Bit(Is64Bit), NumWritten(0) {}
Rafael Espindola10be0832014-03-25 23:44:25 +0000260
261void SymbolTableWriter::writeSymbol(uint32_t name, uint8_t info, uint64_t value,
262 uint64_t size, uint8_t other,
263 uint32_t shndx, bool Reserved) {
264 bool LargeIndex = shndx >= ELF::SHN_LORESERVE && !Reserved;
265
266 if (LargeIndex)
267 createSymtabShndx();
268
Rafael Espindola91fd2772015-04-29 21:09:32 +0000269 if (!ShndxIndexes.empty()) {
Rafael Espindola10be0832014-03-25 23:44:25 +0000270 if (LargeIndex)
Rafael Espindola91fd2772015-04-29 21:09:32 +0000271 ShndxIndexes.push_back(shndx);
Rafael Espindola10be0832014-03-25 23:44:25 +0000272 else
Rafael Espindola91fd2772015-04-29 21:09:32 +0000273 ShndxIndexes.push_back(0);
Rafael Espindola10be0832014-03-25 23:44:25 +0000274 }
275
276 uint16_t Index = LargeIndex ? uint16_t(ELF::SHN_XINDEX) : shndx;
277
Rafael Espindola10be0832014-03-25 23:44:25 +0000278 if (Is64Bit) {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000279 write(name); // st_name
280 write(info); // st_info
281 write(other); // st_other
282 write(Index); // st_shndx
283 write(value); // st_value
284 write(size); // st_size
Rafael Espindola10be0832014-03-25 23:44:25 +0000285 } else {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000286 write(name); // st_name
287 write(uint32_t(value)); // st_value
288 write(uint32_t(size)); // st_size
289 write(info); // st_info
290 write(other); // st_other
291 write(Index); // st_shndx
Rafael Espindola10be0832014-03-25 23:44:25 +0000292 }
293
294 ++NumWritten;
295}
296
Jan Sjödin30a52de2011-02-28 21:45:04 +0000297bool ELFObjectWriter::isFixupKindPCRel(const MCAssembler &Asm, unsigned Kind) {
298 const MCFixupKindInfo &FKI =
299 Asm.getBackend().getFixupKindInfo((MCFixupKind) Kind);
300
301 return FKI.Flags & MCFixupKindInfo::FKF_IsPCRel;
302}
303
Jason W Kim96f4c012010-11-15 16:18:39 +0000304ELFObjectWriter::~ELFObjectWriter()
305{}
306
Matt Fleming6c1ad482010-08-16 18:57:57 +0000307// Emit the ELF header.
Rafael Espindola8c7829b2015-04-29 20:39:37 +0000308void ELFObjectWriter::writeHeader(const MCAssembler &Asm) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000309 // ELF Header
310 // ----------
311 //
312 // Note
313 // ----
314 // emitWord method behaves differently for ELF32 and ELF64, writing
315 // 4 bytes in the former and 8 in the latter.
316
Benjamin Kramer97fbdd52015-04-17 11:12:43 +0000317 WriteBytes(ELF::ElfMagic); // e_ident[EI_MAG0] to e_ident[EI_MAG3]
Matt Fleming6c1ad482010-08-16 18:57:57 +0000318
Rafael Espindolafdaae0d2010-12-18 03:27:34 +0000319 Write8(is64Bit() ? ELF::ELFCLASS64 : ELF::ELFCLASS32); // e_ident[EI_CLASS]
Matt Fleming6c1ad482010-08-16 18:57:57 +0000320
321 // e_ident[EI_DATA]
Daniel Dunbarfe0c28f2010-11-13 07:33:40 +0000322 Write8(isLittleEndian() ? ELF::ELFDATA2LSB : ELF::ELFDATA2MSB);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000323
324 Write8(ELF::EV_CURRENT); // e_ident[EI_VERSION]
Roman Divacky3b727f52010-09-09 17:57:50 +0000325 // e_ident[EI_OSABI]
Rafael Espindola1ad40952011-12-21 17:00:36 +0000326 Write8(TargetObjectWriter->getOSABI());
Matt Fleming6c1ad482010-08-16 18:57:57 +0000327 Write8(0); // e_ident[EI_ABIVERSION]
328
329 WriteZeros(ELF::EI_NIDENT - ELF::EI_PAD);
330
331 Write16(ELF::ET_REL); // e_type
332
Rafael Espindolafdaae0d2010-12-18 03:27:34 +0000333 Write16(TargetObjectWriter->getEMachine()); // e_machine = target
Matt Fleming6c1ad482010-08-16 18:57:57 +0000334
335 Write32(ELF::EV_CURRENT); // e_version
336 WriteWord(0); // e_entry, no entry point in .o file
337 WriteWord(0); // e_phoff, no program header for .o
Rafael Espindola642a2212015-04-14 22:54:16 +0000338 WriteWord(0); // e_shoff = sec hdr table off in bytes
Matt Fleming6c1ad482010-08-16 18:57:57 +0000339
Jason W Kim4761fba2011-02-04 21:41:11 +0000340 // e_flags = whatever the target wants
Jack Carter1bd90ff2013-01-30 02:09:52 +0000341 Write32(Asm.getELFHeaderEFlags());
Matt Fleming6c1ad482010-08-16 18:57:57 +0000342
343 // e_ehsize = ELF header size
Rafael Espindolafdaae0d2010-12-18 03:27:34 +0000344 Write16(is64Bit() ? sizeof(ELF::Elf64_Ehdr) : sizeof(ELF::Elf32_Ehdr));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000345
346 Write16(0); // e_phentsize = prog header entry size
347 Write16(0); // e_phnum = # prog header entries = 0
348
349 // e_shentsize = Section header entry size
Rafael Espindolafdaae0d2010-12-18 03:27:34 +0000350 Write16(is64Bit() ? sizeof(ELF::Elf64_Shdr) : sizeof(ELF::Elf32_Shdr));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000351
352 // e_shnum = # of section header ents
Rafael Espindola8c7829b2015-04-29 20:39:37 +0000353 Write16(0);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000354
355 // e_shstrndx = Section # of '.shstrtab'
Rafael Espindola5960cee2015-05-22 23:58:30 +0000356 assert(StringTableIndex < ELF::SHN_LORESERVE);
357 Write16(StringTableIndex);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000358}
359
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000360uint64_t ELFObjectWriter::SymbolValue(const MCSymbol &Sym,
Jan Sjödin30a52de2011-02-28 21:45:04 +0000361 const MCAsmLayout &Layout) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000362 if (Sym.isCommon() && Sym.isExternal())
Rafael Espindola14672502015-05-29 17:48:04 +0000363 return Sym.getCommonAlignment();
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000364
Rafael Espindolafee224f2014-04-30 21:51:13 +0000365 uint64_t Res;
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000366 if (!Layout.getSymbolOffset(Sym, Res))
Rafael Espindola553e5eb2014-04-30 16:59:35 +0000367 return 0;
368
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000369 if (Layout.getAssembler().isThumbFunc(&Sym))
Rafael Espindola66f96fe2014-03-21 22:00:29 +0000370 Res |= 1;
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000371
Rafael Espindola66f96fe2014-03-21 22:00:29 +0000372 return Res;
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000373}
374
Rafael Espindola93e3cf02010-12-07 00:27:36 +0000375void ELFObjectWriter::ExecutePostLayoutBinding(MCAssembler &Asm,
376 const MCAsmLayout &Layout) {
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000377 // The presence of symbol versions causes undefined symbols and
378 // versions declared with @@@ to be renamed.
379
Duncan P. N. Exon Smithf48de1c2015-05-16 00:35:24 +0000380 for (const MCSymbol &Alias : Asm.symbols()) {
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000381 // Not an alias.
Rafael Espindola6efaf112014-04-28 17:05:36 +0000382 if (!Alias.isVariable())
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000383 continue;
Rafael Espindola6efaf112014-04-28 17:05:36 +0000384 auto *Ref = dyn_cast<MCSymbolRefExpr>(Alias.getVariableValue());
385 if (!Ref)
386 continue;
387 const MCSymbol &Symbol = Ref->getSymbol();
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000388
Benjamin Kramer14807272010-10-27 19:53:52 +0000389 StringRef AliasName = Alias.getName();
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000390 size_t Pos = AliasName.find('@');
391 if (Pos == StringRef::npos)
392 continue;
393
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000394 // Aliases defined with .symvar copy the binding from the symbol they alias.
395 // This is the first place we are able to copy this information.
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000396 Alias.setExternal(Symbol.isExternal());
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000397 MCELF::SetBinding(Alias, MCELF::GetBinding(Symbol));
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000398
Benjamin Kramer14807272010-10-27 19:53:52 +0000399 StringRef Rest = AliasName.substr(Pos);
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000400 if (!Symbol.isUndefined() && !Rest.startswith("@@@"))
401 continue;
402
Rafael Espindola26496e62010-10-27 17:56:18 +0000403 // FIXME: produce a better error message.
404 if (Symbol.isUndefined() && Rest.startswith("@@") &&
405 !Rest.startswith("@@@"))
406 report_fatal_error("A @@ version cannot be undefined");
407
Benjamin Kramer14807272010-10-27 19:53:52 +0000408 Renames.insert(std::make_pair(&Symbol, &Alias));
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000409 }
410}
411
Roman Divacky5a1c5492014-01-07 20:17:03 +0000412static uint8_t mergeTypeForSet(uint8_t origType, uint8_t newType) {
413 uint8_t Type = newType;
414
415 // Propagation rules:
416 // IFUNC > FUNC > OBJECT > NOTYPE
417 // TLS_OBJECT > OBJECT > NOTYPE
418 //
419 // dont let the new type degrade the old type
420 switch (origType) {
421 default:
422 break;
423 case ELF::STT_GNU_IFUNC:
424 if (Type == ELF::STT_FUNC || Type == ELF::STT_OBJECT ||
425 Type == ELF::STT_NOTYPE || Type == ELF::STT_TLS)
426 Type = ELF::STT_GNU_IFUNC;
427 break;
428 case ELF::STT_FUNC:
429 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE ||
430 Type == ELF::STT_TLS)
431 Type = ELF::STT_FUNC;
432 break;
433 case ELF::STT_OBJECT:
434 if (Type == ELF::STT_NOTYPE)
435 Type = ELF::STT_OBJECT;
436 break;
437 case ELF::STT_TLS:
438 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE ||
439 Type == ELF::STT_GNU_IFUNC || Type == ELF::STT_FUNC)
440 Type = ELF::STT_TLS;
441 break;
442 }
443
444 return Type;
445}
446
Rafael Espindolae48421f2015-05-28 20:25:29 +0000447void ELFObjectWriter::writeSymbol(SymbolTableWriter &Writer,
448 uint32_t StringIndex, ELFSymbolData &MSD,
Daniel Dunbarfe0c28f2010-11-13 07:33:40 +0000449 const MCAsmLayout &Layout) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000450 const MCSymbol &Symbol = *MSD.Symbol;
451 assert((!Symbol.getFragment() ||
452 (Symbol.getFragment()->getParent() == &Symbol.getSection())) &&
David Blaikieb5956d22014-04-19 00:50:15 +0000453 "The symbol's section doesn't match the fragment's symbol");
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000454 const MCSymbol *Base = Layout.getBaseSymbol(Symbol);
Rafael Espindola85a84912014-03-26 00:16:43 +0000455
456 // This has to be in sync with when computeSymbolTable uses SHN_ABS or
457 // SHN_COMMON.
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000458 bool IsReserved = !Base || Symbol.isCommon();
Rafael Espindola3fe87a12010-10-31 00:16:26 +0000459
Jack Carter2f8d9d92013-02-19 21:57:35 +0000460 // Binding and Type share the same byte as upper and lower nibbles
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000461 uint8_t Binding = MCELF::GetBinding(Symbol);
462 uint8_t Type = MCELF::GetType(Symbol);
Rafael Espindolaa6e3a592014-03-23 03:33:20 +0000463 if (Base) {
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000464 Type = mergeTypeForSet(Type, MCELF::GetType(*Base));
Rafael Espindolaa6e3a592014-03-23 03:33:20 +0000465 }
Rafael Espindola5f2d6a52010-10-06 21:02:29 +0000466 uint8_t Info = (Binding << ELF_STB_Shift) | (Type << ELF_STT_Shift);
Jack Carter2f8d9d92013-02-19 21:57:35 +0000467
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000468 // Other and Visibility share the same byte with Visibility using the lower
Jack Carter2f8d9d92013-02-19 21:57:35 +0000469 // 2 bits
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000470 uint8_t Visibility = MCELF::GetVisibility(Symbol);
471 uint8_t Other = MCELF::getOther(Symbol) << (ELF_STO_Shift - ELF_STV_Shift);
Jack Carter2f8d9d92013-02-19 21:57:35 +0000472 Other |= Visibility;
Rafael Espindola5f2d6a52010-10-06 21:02:29 +0000473
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000474 uint64_t Value = SymbolValue(*MSD.Symbol, Layout);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000475 uint64_t Size = 0;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000476
Rafael Espindola7c23cba2015-05-29 17:24:52 +0000477 const MCExpr *ESize = MSD.Symbol->getSize();
Rafael Espindolaa041ef12014-03-27 00:28:24 +0000478 if (!ESize && Base)
Rafael Espindola7c23cba2015-05-29 17:24:52 +0000479 ESize = Base->getSize();
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000480
Rafael Espindola73c0ae72010-12-22 16:03:00 +0000481 if (ESize) {
482 int64_t Res;
Rafael Espindola94a88d72015-04-06 15:27:57 +0000483 if (!ESize->evaluateKnownAbsolute(Res, Layout))
Rafael Espindola73c0ae72010-12-22 16:03:00 +0000484 report_fatal_error("Size expression must be absolute.");
485 Size = Res;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000486 }
487
488 // Write out the symbol table entry
Rafael Espindolae48421f2015-05-28 20:25:29 +0000489 Writer.writeSymbol(StringIndex, Info, Value, Size, Other, MSD.SectionIndex,
490 IsReserved);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000491}
492
Rafael Espindola5904e122014-03-29 06:26:49 +0000493// It is always valid to create a relocation with a symbol. It is preferable
494// to use a relocation with a section if that is possible. Using the section
495// allows us to omit some local symbols from the symbol table.
Rafael Espindolab60c8292014-04-29 12:46:50 +0000496bool ELFObjectWriter::shouldRelocateWithSymbol(const MCAssembler &Asm,
497 const MCSymbolRefExpr *RefA,
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000498 const MCSymbol *Sym, uint64_t C,
Rafael Espindola5904e122014-03-29 06:26:49 +0000499 unsigned Type) const {
500 // A PCRel relocation to an absolute value has no symbol (or section). We
501 // represent that with a relocation to a null section.
502 if (!RefA)
503 return false;
Rafael Espindola240028d2010-11-14 23:53:26 +0000504
Rafael Espindola5904e122014-03-29 06:26:49 +0000505 MCSymbolRefExpr::VariantKind Kind = RefA->getKind();
506 switch (Kind) {
507 default:
508 break;
509 // The .odp creation emits a relocation against the symbol ".TOC." which
510 // create a R_PPC64_TOC relocation. However the relocation symbol name
511 // in final object creation should be NULL, since the symbol does not
512 // really exist, it is just the reference to TOC base for the current
513 // object file. Since the symbol is undefined, returning false results
514 // in a relocation with a null section which is the desired result.
515 case MCSymbolRefExpr::VK_PPC_TOCBASE:
516 return false;
517
518 // These VariantKind cause the relocation to refer to something other than
519 // the symbol itself, like a linker generated table. Since the address of
520 // symbol is not relevant, we cannot replace the symbol with the
521 // section and patch the difference in the addend.
522 case MCSymbolRefExpr::VK_GOT:
523 case MCSymbolRefExpr::VK_PLT:
524 case MCSymbolRefExpr::VK_GOTPCREL:
525 case MCSymbolRefExpr::VK_Mips_GOT:
526 case MCSymbolRefExpr::VK_PPC_GOT_LO:
527 case MCSymbolRefExpr::VK_PPC_GOT_HI:
528 case MCSymbolRefExpr::VK_PPC_GOT_HA:
529 return true;
Rafael Espindola240028d2010-11-14 23:53:26 +0000530 }
Rafael Espindola240028d2010-11-14 23:53:26 +0000531
Rafael Espindola5904e122014-03-29 06:26:49 +0000532 // An undefined symbol is not in any section, so the relocation has to point
533 // to the symbol itself.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000534 assert(Sym && "Expected a symbol");
535 if (Sym->isUndefined())
Rafael Espindola5904e122014-03-29 06:26:49 +0000536 return true;
537
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000538 unsigned Binding = MCELF::GetBinding(*Sym);
Rafael Espindola5904e122014-03-29 06:26:49 +0000539 switch(Binding) {
540 default:
541 llvm_unreachable("Invalid Binding");
542 case ELF::STB_LOCAL:
543 break;
544 case ELF::STB_WEAK:
545 // If the symbol is weak, it might be overridden by a symbol in another
546 // file. The relocation has to point to the symbol so that the linker
547 // can update it.
548 return true;
549 case ELF::STB_GLOBAL:
550 // Global ELF symbols can be preempted by the dynamic linker. The relocation
551 // has to point to the symbol for a reason analogous to the STB_WEAK case.
552 return true;
Rafael Espindola8c3039b2010-11-15 16:33:49 +0000553 }
Rafael Espindola75d65b92010-09-25 05:42:19 +0000554
Rafael Espindola5904e122014-03-29 06:26:49 +0000555 // If a relocation points to a mergeable section, we have to be careful.
556 // If the offset is zero, a relocation with the section will encode the
557 // same information. With a non-zero offset, the situation is different.
558 // For example, a relocation can point 42 bytes past the end of a string.
559 // If we change such a relocation to use the section, the linker would think
560 // that it pointed to another string and subtracting 42 at runtime will
561 // produce the wrong value.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000562 auto &Sec = cast<MCSectionELF>(Sym->getSection());
Rafael Espindola5904e122014-03-29 06:26:49 +0000563 unsigned Flags = Sec.getFlags();
564 if (Flags & ELF::SHF_MERGE) {
565 if (C != 0)
566 return true;
Rafael Espindolab1b49782014-04-02 12:15:20 +0000567
568 // It looks like gold has a bug (http://sourceware.org/PR16794) and can
569 // only handle section relocations to mergeable sections if using RELA.
570 if (!hasRelocationAddend())
571 return true;
Rafael Espindola9f75d5d2010-11-24 21:57:39 +0000572 }
573
Rafael Espindola5904e122014-03-29 06:26:49 +0000574 // Most TLS relocations use a got, so they need the symbol. Even those that
Rafael Espindola11527a12014-10-06 12:33:27 +0000575 // are just an offset (@tpoff), require a symbol in gold versions before
576 // 5efeedf61e4fe720fd3e9a08e6c91c10abb66d42 (2014-09-26) which fixed
577 // http://sourceware.org/PR16773.
Rafael Espindola5904e122014-03-29 06:26:49 +0000578 if (Flags & ELF::SHF_TLS)
579 return true;
Rafael Espindolad7565c32010-10-05 23:57:26 +0000580
Rafael Espindola9ef84412014-04-11 19:18:01 +0000581 // If the symbol is a thumb function the final relocation must set the lowest
582 // bit. With a symbol that is done by just having the symbol have that bit
583 // set, so we would lose the bit if we relocated with the section.
584 // FIXME: We could use the section but add the bit to the relocation value.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000585 if (Asm.isThumbFunc(Sym))
Rafael Espindola9ef84412014-04-11 19:18:01 +0000586 return true;
587
Rafael Espindolaece40ca2015-05-29 18:26:09 +0000588 if (TargetObjectWriter->needsRelocateWithSymbol(*Sym, Type))
Rafael Espindola5904e122014-03-29 06:26:49 +0000589 return true;
590 return false;
Rafael Espindola75d65b92010-09-25 05:42:19 +0000591}
592
Rafael Espindola3d082fa2014-05-03 19:57:04 +0000593static const MCSymbol *getWeakRef(const MCSymbolRefExpr &Ref) {
594 const MCSymbol &Sym = Ref.getSymbol();
595
596 if (Ref.getKind() == MCSymbolRefExpr::VK_WEAKREF)
597 return &Sym;
598
599 if (!Sym.isVariable())
600 return nullptr;
601
602 const MCExpr *Expr = Sym.getVariableValue();
603 const auto *Inner = dyn_cast<MCSymbolRefExpr>(Expr);
604 if (!Inner)
605 return nullptr;
606
607 if (Inner->getKind() == MCSymbolRefExpr::VK_WEAKREF)
608 return &Inner->getSymbol();
609 return nullptr;
610}
611
Rafael Espindoladb8a5862015-04-17 20:05:17 +0000612// True if the assembler knows nothing about the final value of the symbol.
613// This doesn't cover the comdat issues, since in those cases the assembler
614// can at least know that all symbols in the section will move together.
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000615static bool isWeak(const MCSymbol &Sym) {
616 if (MCELF::GetType(Sym) == ELF::STT_GNU_IFUNC)
Rafael Espindolaa635d832015-04-17 08:46:11 +0000617 return true;
618
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000619 switch (MCELF::GetBinding(Sym)) {
Rafael Espindolaa635d832015-04-17 08:46:11 +0000620 default:
621 llvm_unreachable("Unknown binding");
622 case ELF::STB_LOCAL:
623 return false;
624 case ELF::STB_GLOBAL:
Rafael Espindoladb8a5862015-04-17 20:05:17 +0000625 return false;
Rafael Espindolaa635d832015-04-17 08:46:11 +0000626 case ELF::STB_WEAK:
627 case ELF::STB_GNU_UNIQUE:
628 return true;
629 }
Rafael Espindolac9e70682015-03-24 23:48:44 +0000630}
631
Rafael Espindola26585542015-01-19 21:11:14 +0000632void ELFObjectWriter::RecordRelocation(MCAssembler &Asm,
Jason W Kim495c2bb2010-12-06 21:57:34 +0000633 const MCAsmLayout &Layout,
634 const MCFragment *Fragment,
Rafael Espindola26585542015-01-19 21:11:14 +0000635 const MCFixup &Fixup, MCValue Target,
636 bool &IsPCRel, uint64_t &FixedValue) {
Rafael Espindola7549f872015-05-26 00:36:57 +0000637 const MCSectionELF &FixupSection = cast<MCSectionELF>(*Fragment->getParent());
Rafael Espindola5904e122014-03-29 06:26:49 +0000638 uint64_t C = Target.getConstant();
639 uint64_t FixupOffset = Layout.getFragmentOffset(Fragment) + Fixup.getOffset();
Jason W Kim495c2bb2010-12-06 21:57:34 +0000640
Rafael Espindola5904e122014-03-29 06:26:49 +0000641 if (const MCSymbolRefExpr *RefB = Target.getSymB()) {
642 assert(RefB->getKind() == MCSymbolRefExpr::VK_None &&
643 "Should not have constructed this");
Jason W Kim495c2bb2010-12-06 21:57:34 +0000644
Rafael Espindola5904e122014-03-29 06:26:49 +0000645 // Let A, B and C being the components of Target and R be the location of
646 // the fixup. If the fixup is not pcrel, we want to compute (A - B + C).
647 // If it is pcrel, we want to compute (A - B + C - R).
Jason W Kim495c2bb2010-12-06 21:57:34 +0000648
Rafael Espindola5904e122014-03-29 06:26:49 +0000649 // In general, ELF has no relocations for -B. It can only represent (A + C)
650 // or (A + C - R). If B = R + K and the relocation is not pcrel, we can
651 // replace B to implement it: (A - R - K + C)
652 if (IsPCRel)
Jim Grosbach6f482002015-05-18 18:43:14 +0000653 Asm.getContext().reportFatalError(
Rafael Espindola5904e122014-03-29 06:26:49 +0000654 Fixup.getLoc(),
655 "No relocation available to represent this relative expression");
David Majnemera45a1762014-01-06 07:39:46 +0000656
Rafael Espindola5904e122014-03-29 06:26:49 +0000657 const MCSymbol &SymB = RefB->getSymbol();
Jason W Kim495c2bb2010-12-06 21:57:34 +0000658
Rafael Espindola5904e122014-03-29 06:26:49 +0000659 if (SymB.isUndefined())
Jim Grosbach6f482002015-05-18 18:43:14 +0000660 Asm.getContext().reportFatalError(
Rafael Espindola5904e122014-03-29 06:26:49 +0000661 Fixup.getLoc(),
662 Twine("symbol '") + SymB.getName() +
663 "' can not be undefined in a subtraction expression");
Jason W Kim495c2bb2010-12-06 21:57:34 +0000664
Rafael Espindola5904e122014-03-29 06:26:49 +0000665 assert(!SymB.isAbsolute() && "Should have been folded");
666 const MCSection &SecB = SymB.getSection();
Rafael Espindola34948e52015-04-30 00:45:46 +0000667 if (&SecB != &FixupSection)
Jim Grosbach6f482002015-05-18 18:43:14 +0000668 Asm.getContext().reportFatalError(
Rafael Espindola5904e122014-03-29 06:26:49 +0000669 Fixup.getLoc(), "Cannot represent a difference across sections");
Jason W Kim495c2bb2010-12-06 21:57:34 +0000670
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000671 if (::isWeak(SymB))
Jim Grosbach6f482002015-05-18 18:43:14 +0000672 Asm.getContext().reportFatalError(
Rafael Espindolac9e70682015-03-24 23:48:44 +0000673 Fixup.getLoc(), "Cannot represent a subtraction with a weak symbol");
674
Duncan P. N. Exon Smith2a404832015-05-19 23:53:20 +0000675 uint64_t SymBOffset = Layout.getSymbolOffset(SymB);
Rafael Espindola5904e122014-03-29 06:26:49 +0000676 uint64_t K = SymBOffset - FixupOffset;
677 IsPCRel = true;
678 C -= K;
Jason W Kim495c2bb2010-12-06 21:57:34 +0000679 }
680
Rafael Espindola5904e122014-03-29 06:26:49 +0000681 // We either rejected the fixup or folded B into C at this point.
682 const MCSymbolRefExpr *RefA = Target.getSymA();
683 const MCSymbol *SymA = RefA ? &RefA->getSymbol() : nullptr;
Rafael Espindola5904e122014-03-29 06:26:49 +0000684
Rafael Espindolac03f44c2014-03-27 20:49:35 +0000685 unsigned Type = GetRelocType(Target, Fixup, IsPCRel);
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000686 bool RelocateWithSymbol = shouldRelocateWithSymbol(Asm, RefA, SymA, C, Type);
Rafael Espindola5904e122014-03-29 06:26:49 +0000687 if (!RelocateWithSymbol && SymA && !SymA->isUndefined())
Duncan P. N. Exon Smith2a404832015-05-19 23:53:20 +0000688 C += Layout.getSymbolOffset(*SymA);
Rafael Espindola5904e122014-03-29 06:26:49 +0000689
690 uint64_t Addend = 0;
691 if (hasRelocationAddend()) {
692 Addend = C;
693 C = 0;
694 }
695
696 FixedValue = C;
697
Rafael Espindola5904e122014-03-29 06:26:49 +0000698 if (!RelocateWithSymbol) {
699 const MCSection *SecA =
700 (SymA && !SymA->isUndefined()) ? &SymA->getSection() : nullptr;
Rafael Espindolab6613022014-10-17 01:48:58 +0000701 auto *ELFSec = cast_or_null<MCSectionELF>(SecA);
Rafael Espindola2f9bdd82015-05-27 20:52:32 +0000702 const MCSymbol *SectionSymbol = ELFSec ? ELFSec->getBeginSymbol() : nullptr;
Rafael Espindolab6613022014-10-17 01:48:58 +0000703 ELFRelocationEntry Rec(FixupOffset, SectionSymbol, Type, Addend);
Rafael Espindola34948e52015-04-30 00:45:46 +0000704 Relocations[&FixupSection].push_back(Rec);
Rafael Espindola5904e122014-03-29 06:26:49 +0000705 return;
706 }
Roman Divackydfbecd12011-08-04 19:08:19 +0000707
Rafael Espindola5904e122014-03-29 06:26:49 +0000708 if (SymA) {
709 if (const MCSymbol *R = Renames.lookup(SymA))
710 SymA = R;
Rafael Espindolad7facaf2011-08-04 13:05:26 +0000711
Rafael Espindola3d082fa2014-05-03 19:57:04 +0000712 if (const MCSymbol *WeakRef = getWeakRef(*RefA))
713 WeakrefUsedInReloc.insert(WeakRef);
Rafael Espindola5904e122014-03-29 06:26:49 +0000714 else
715 UsedInReloc.insert(SymA);
716 }
717 ELFRelocationEntry Rec(FixupOffset, SymA, Type, Addend);
Rafael Espindola34948e52015-04-30 00:45:46 +0000718 Relocations[&FixupSection].push_back(Rec);
Rafael Espindola5904e122014-03-29 06:26:49 +0000719 return;
Jason W Kim495c2bb2010-12-06 21:57:34 +0000720}
721
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000722bool ELFObjectWriter::isInSymtab(const MCAsmLayout &Layout,
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000723 const MCSymbol &Symbol, bool Used,
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000724 bool Renamed) {
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000725 if (Symbol.isVariable()) {
726 const MCExpr *Expr = Symbol.getVariableValue();
727 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(Expr)) {
728 if (Ref->getKind() == MCSymbolRefExpr::VK_WEAKREF)
729 return false;
730 }
731 }
Rafael Espindola16145972010-11-01 14:28:48 +0000732
Rafael Espindolaee8d1512010-10-19 19:31:37 +0000733 if (Used)
734 return true;
735
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000736 if (Renamed)
737 return false;
738
Rafael Espindola45834a02010-10-29 23:09:31 +0000739 if (Symbol.getName() == "_GLOBAL_OFFSET_TABLE_")
740 return true;
741
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000742 if (Symbol.isVariable()) {
Rafael Espindola2aeac7a2014-05-01 13:24:25 +0000743 const MCSymbol *Base = Layout.getBaseSymbol(Symbol);
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000744 if (Base && Base->isUndefined())
745 return false;
746 }
Rafael Espindola9e18e962011-02-23 20:22:07 +0000747
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000748 bool IsGlobal = MCELF::GetBinding(Symbol) == ELF::STB_GLOBAL;
Rafael Espindola9e18e962011-02-23 20:22:07 +0000749 if (!Symbol.isVariable() && Symbol.isUndefined() && !IsGlobal)
Rafael Espindolaa5efd6a2010-10-27 14:44:52 +0000750 return false;
751
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000752 if (MCELF::GetType(Symbol) == ELF::STT_SECTION)
Rafael Espindola2f9bdd82015-05-27 20:52:32 +0000753 return true;
754
Rafael Espindolaee8d1512010-10-19 19:31:37 +0000755 if (Symbol.isTemporary())
Rafael Espindolab1d07892010-10-05 18:01:23 +0000756 return false;
757
758 return true;
759}
760
Rafael Espindola10d23872015-05-29 14:20:40 +0000761bool ELFObjectWriter::isLocal(const MCSymbol &Symbol, bool IsUsedInReloc,
762 bool IsSignature) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000763 if (Symbol.isExternal())
Rafael Espindolab1d07892010-10-05 18:01:23 +0000764 return false;
765
Rafael Espindola39f50422014-04-28 14:24:44 +0000766 if (Symbol.isDefined())
767 return true;
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000768
Rafael Espindola10d23872015-05-29 14:20:40 +0000769 if (IsUsedInReloc)
Rafael Espindolab1d07892010-10-05 18:01:23 +0000770 return false;
771
Rafael Espindola10d23872015-05-29 14:20:40 +0000772 return IsSignature;
Rafael Espindolab1d07892010-10-05 18:01:23 +0000773}
774
Rafael Espindolaea1b3942015-04-07 19:00:17 +0000775void ELFObjectWriter::computeSymbolTable(
776 MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000777 const SectionIndexMapTy &SectionIndexMap, const RevGroupMapTy &RevGroupMap,
778 SectionOffsetsTy &SectionOffsets) {
Rafael Espindola5960cee2015-05-22 23:58:30 +0000779 MCContext &Ctx = Asm.getContext();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000780 SymbolTableWriter Writer(*this, is64Bit());
781
Rafael Espindola5960cee2015-05-22 23:58:30 +0000782 // Symbol table
783 unsigned EntrySize = is64Bit() ? ELF::SYMENTRY_SIZE64 : ELF::SYMENTRY_SIZE32;
784 MCSectionELF *SymtabSection =
785 Ctx.getELFSection(".symtab", ELF::SHT_SYMTAB, 0, EntrySize, "");
786 SymtabSection->setAlignment(is64Bit() ? 8 : 4);
787 SymbolTableIndex = addToSectionTable(SymtabSection);
788
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000789 uint64_t Padding =
790 OffsetToAlignment(OS.tell(), SymtabSection->getAlignment());
791 WriteZeros(Padding);
792
793 uint64_t SecStart = OS.tell();
794
795 // The first entry is the undefined symbol entry.
796 Writer.writeSymbol(0, 0, 0, 0, 0, 0, false);
797
Rafael Espindolacfbd35c2015-05-28 20:11:34 +0000798 std::vector<ELFSymbolData> LocalSymbolData;
799 std::vector<ELFSymbolData> ExternalSymbolData;
Rafael Espindolacfbd35c2015-05-28 20:11:34 +0000800
Rafael Espindolabee6e9f2010-10-14 16:34:44 +0000801 // Add the data for the symbols.
Rafael Espindola5960cee2015-05-22 23:58:30 +0000802 bool HasLargeSectionIndex = false;
Duncan P. N. Exon Smithf48de1c2015-05-16 00:35:24 +0000803 for (const MCSymbol &Symbol : Asm.symbols()) {
Rafael Espindola16145972010-11-01 14:28:48 +0000804 bool Used = UsedInReloc.count(&Symbol);
805 bool WeakrefUsed = WeakrefUsedInReloc.count(&Symbol);
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000806 bool isSignature = RevGroupMap.count(&Symbol);
807
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000808 if (!isInSymtab(Layout, Symbol, Used || WeakrefUsed || isSignature,
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000809 Renames.count(&Symbol)))
Matt Fleming6c1ad482010-08-16 18:57:57 +0000810 continue;
811
Matt Fleming6c1ad482010-08-16 18:57:57 +0000812 ELFSymbolData MSD;
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000813 MSD.Symbol = &Symbol;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000814
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000815 // Undefined symbols are global, but this is the first place we
816 // are able to set it.
Rafael Espindola10d23872015-05-29 14:20:40 +0000817 bool Local = isLocal(Symbol, Used, isSignature);
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000818 if (!Local && MCELF::GetBinding(Symbol) == ELF::STB_LOCAL)
819 MCELF::SetBinding(Symbol, ELF::STB_GLOBAL);
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000820
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000821 if (Symbol.isAbsolute()) {
Rafael Espindola022bb762014-03-24 03:43:21 +0000822 MSD.SectionIndex = ELF::SHN_ABS;
Rafael Espindola14672502015-05-29 17:48:04 +0000823 } else if (Symbol.isCommon()) {
Rafael Espindolabee6e9f2010-10-14 16:34:44 +0000824 assert(!Local);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000825 MSD.SectionIndex = ELF::SHN_COMMON;
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000826 } else if (Symbol.isUndefined()) {
Rafael Espindola5960cee2015-05-22 23:58:30 +0000827 if (isSignature && !Used) {
Rafael Espindola89feff32015-04-28 22:59:58 +0000828 MSD.SectionIndex = RevGroupMap.lookup(&Symbol);
Rafael Espindola5960cee2015-05-22 23:58:30 +0000829 if (MSD.SectionIndex >= ELF::SHN_LORESERVE)
830 HasLargeSectionIndex = true;
831 } else {
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000832 MSD.SectionIndex = ELF::SHN_UNDEF;
Rafael Espindola5960cee2015-05-22 23:58:30 +0000833 }
Rafael Espindola022bb762014-03-24 03:43:21 +0000834 if (!Used && WeakrefUsed)
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000835 MCELF::SetBinding(Symbol, ELF::STB_WEAK);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000836 } else {
Rafael Espindolad6340032010-11-10 21:51:05 +0000837 const MCSectionELF &Section =
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000838 static_cast<const MCSectionELF &>(Symbol.getSection());
Rafael Espindolad6340032010-11-10 21:51:05 +0000839 MSD.SectionIndex = SectionIndexMap.lookup(&Section);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000840 assert(MSD.SectionIndex && "Invalid section index!");
Rafael Espindola5960cee2015-05-22 23:58:30 +0000841 if (MSD.SectionIndex >= ELF::SHN_LORESERVE)
842 HasLargeSectionIndex = true;
Rafael Espindolafbcf0db2010-10-15 15:39:06 +0000843 }
844
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000845 // The @@@ in symbol version is replaced with @ in undefined symbols and @@
846 // in defined ones.
847 //
848 // FIXME: All name handling should be done before we get to the writer,
NAKAMURA Takumib01d86b2015-02-25 11:02:00 +0000849 // including dealing with GNU-style version suffixes. Fixing this isn't
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000850 // trivial.
851 //
852 // We thus have to be careful to not perform the symbol version replacement
853 // blindly:
854 //
855 // The ELF format is used on Windows by the MCJIT engine. Thus, on
856 // Windows, the ELFObjectWriter can encounter symbols mangled using the MS
857 // Visual Studio C++ name mangling scheme. Symbols mangled using the MSVC
858 // C++ name mangling can legally have "@@@" as a sub-string. In that case,
859 // the EFLObjectWriter should not interpret the "@@@" sub-string as
860 // specifying GNU-style symbol versioning. The ELFObjectWriter therefore
861 // checks for the MSVC C++ name mangling prefix which is either "?", "@?",
862 // "__imp_?" or "__imp_@?".
863 //
864 // It would have been interesting to perform the MS mangling prefix check
865 // only when the target triple is of the form *-pc-windows-elf. But, it
866 // seems that this information is not easily accessible from the
867 // ELFObjectWriter.
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000868 StringRef Name = Symbol.getName();
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000869 if (!Name.startswith("?") && !Name.startswith("@?") &&
870 !Name.startswith("__imp_?") && !Name.startswith("__imp_@?")) {
871 // This symbol isn't following the MSVC C++ name mangling convention. We
872 // can thus safely interpret the @@@ in symbol names as specifying symbol
873 // versioning.
874 SmallString<32> Buf;
875 size_t Pos = Name.find("@@@");
876 if (Pos != StringRef::npos) {
877 Buf += Name.substr(0, Pos);
878 unsigned Skip = MSD.SectionIndex == ELF::SHN_UNDEF ? 2 : 1;
879 Buf += Name.substr(Pos + Skip);
880 Name = Buf;
881 }
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000882 }
Rafael Espindolab6613022014-10-17 01:48:58 +0000883
884 // Sections have their own string table
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000885 if (MCELF::GetType(Symbol) != ELF::STT_SECTION)
Rafael Espindolab6613022014-10-17 01:48:58 +0000886 MSD.Name = StrTabBuilder.add(Name);
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000887
Rafael Espindola10d23872015-05-29 14:20:40 +0000888 if (Local)
Rafael Espindolaa5efd6a2010-10-27 14:44:52 +0000889 LocalSymbolData.push_back(MSD);
890 else
891 ExternalSymbolData.push_back(MSD);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000892 }
893
Rafael Espindola5960cee2015-05-22 23:58:30 +0000894 if (HasLargeSectionIndex) {
895 MCSectionELF *SymtabShndxSection =
896 Ctx.getELFSection(".symtab_shndxr", ELF::SHT_SYMTAB_SHNDX, 0, 4, "");
897 SymtabShndxSectionIndex = addToSectionTable(SymtabShndxSection);
898 SymtabShndxSection->setAlignment(4);
899 }
900
Rafael Espindola1fd36272015-05-28 19:29:15 +0000901 ArrayRef<std::string> FileNames = Asm.getFileNames();
902 for (const std::string &Name : FileNames)
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000903 StrTabBuilder.add(Name);
Hans Wennborg83e6e1e2014-04-30 16:25:02 +0000904
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000905 StrTabBuilder.finalize(StringTableBuilder::ELF);
Hans Wennborg83e6e1e2014-04-30 16:25:02 +0000906
Rafael Espindola0cbea292015-05-28 20:00:13 +0000907 for (const std::string &Name : FileNames)
908 Writer.writeSymbol(StrTabBuilder.getOffset(Name),
909 ELF::STT_FILE | ELF::STB_LOCAL, 0, 0, ELF::STV_DEFAULT,
910 ELF::SHN_ABS, true);
911
Matt Fleming6c1ad482010-08-16 18:57:57 +0000912 // Symbols are required to be in lexicographic order.
913 array_pod_sort(LocalSymbolData.begin(), LocalSymbolData.end());
914 array_pod_sort(ExternalSymbolData.begin(), ExternalSymbolData.end());
Matt Fleming6c1ad482010-08-16 18:57:57 +0000915
916 // Set the symbol indices. Local symbols must come before all other
917 // symbols with non-local bindings.
Rafael Espindola1fd36272015-05-28 19:29:15 +0000918 unsigned Index = FileNames.size() + 1;
Rafael Espindola0e3decf2010-11-14 03:12:24 +0000919
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000920 for (ELFSymbolData &MSD : LocalSymbolData) {
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000921 unsigned StringIndex = MCELF::GetType(*MSD.Symbol) == ELF::STT_SECTION
922 ? 0
923 : StrTabBuilder.getOffset(MSD.Name);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000924 MSD.Symbol->setIndex(Index++);
Rafael Espindolae48421f2015-05-28 20:25:29 +0000925 writeSymbol(Writer, StringIndex, MSD, Layout);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000926 }
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000927
928 // Write the symbol table entries.
Rafael Espindola0cbea292015-05-28 20:00:13 +0000929 LastLocalSymbolIndex = Index;
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000930
Rafael Espindoladcda9972015-05-28 19:43:20 +0000931 for (ELFSymbolData &MSD : ExternalSymbolData) {
Rafael Espindolae48421f2015-05-28 20:25:29 +0000932 unsigned StringIndex = StrTabBuilder.getOffset(MSD.Name);
Rafael Espindola0cbea292015-05-28 20:00:13 +0000933 MSD.Symbol->setIndex(Index++);
Rafael Espindolae48421f2015-05-28 20:25:29 +0000934 writeSymbol(Writer, StringIndex, MSD, Layout);
Rafael Espindolae3b2acf2015-05-29 18:47:23 +0000935 assert(MCELF::GetBinding(*MSD.Symbol) != ELF::STB_LOCAL);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000936 }
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000937
938 uint64_t SecEnd = OS.tell();
939 SectionOffsets[SymtabSection] = std::make_pair(SecStart, SecEnd);
940
941 ArrayRef<uint32_t> ShndxIndexes = Writer.getShndxIndexes();
942 if (ShndxIndexes.empty()) {
943 assert(SymtabShndxSectionIndex == 0);
944 return;
945 }
946 assert(SymtabShndxSectionIndex != 0);
947
948 SecStart = OS.tell();
949 const MCSectionELF *SymtabShndxSection =
950 SectionTable[SymtabShndxSectionIndex - 1];
951 for (uint32_t Index : ShndxIndexes)
952 write(Index);
953 SecEnd = OS.tell();
954 SectionOffsets[SymtabShndxSection] = std::make_pair(SecStart, SecEnd);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000955}
956
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000957MCSectionELF *
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000958ELFObjectWriter::createRelocationSection(MCContext &Ctx,
Rafael Espindolabda19802015-04-30 14:21:49 +0000959 const MCSectionELF &Sec) {
Rafael Espindola34948e52015-04-30 00:45:46 +0000960 if (Relocations[&Sec].empty())
Rafael Espindolabda19802015-04-30 14:21:49 +0000961 return nullptr;
Rafael Espindola1557fd62011-03-20 18:44:20 +0000962
Rafael Espindola34948e52015-04-30 00:45:46 +0000963 const StringRef SectionName = Sec.getSectionName();
Rafael Espindolaead85492015-02-17 20:31:13 +0000964 std::string RelaSectionName = hasRelocationAddend() ? ".rela" : ".rel";
965 RelaSectionName += SectionName;
Benjamin Kramerfd054152010-08-17 17:56:13 +0000966
Rafael Espindolaead85492015-02-17 20:31:13 +0000967 unsigned EntrySize;
968 if (hasRelocationAddend())
969 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rela) : sizeof(ELF::Elf32_Rela);
970 else
971 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rel) : sizeof(ELF::Elf32_Rel);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000972
Rafael Espindolaead85492015-02-17 20:31:13 +0000973 unsigned Flags = 0;
Rafael Espindola34948e52015-04-30 00:45:46 +0000974 if (Sec.getFlags() & ELF::SHF_GROUP)
Rafael Espindolaead85492015-02-17 20:31:13 +0000975 Flags = ELF::SHF_GROUP;
Rafael Espindolaead85492015-02-17 20:31:13 +0000976
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000977 MCSectionELF *RelaSection = Ctx.createELFRelSection(
Rafael Espindolaead85492015-02-17 20:31:13 +0000978 RelaSectionName, hasRelocationAddend() ? ELF::SHT_RELA : ELF::SHT_REL,
Rafael Espindola34948e52015-04-30 00:45:46 +0000979 Flags, EntrySize, Sec.getGroup(), &Sec);
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000980 RelaSection->setAlignment(is64Bit() ? 8 : 4);
Rafael Espindolabda19802015-04-30 14:21:49 +0000981 return RelaSection;
Rafael Espindola1557fd62011-03-20 18:44:20 +0000982}
Matt Fleming6c1ad482010-08-16 18:57:57 +0000983
David Blaikiee06e8012014-04-11 22:11:50 +0000984static SmallVector<char, 128>
Rafael Espindolaae7e4992015-04-29 19:20:10 +0000985getUncompressedData(const MCAsmLayout &Layout,
Rafael Espindolaa32d0e92015-05-27 15:14:11 +0000986 const MCSection::FragmentListType &Fragments) {
David Blaikie8019bf82014-04-10 21:53:53 +0000987 SmallVector<char, 128> UncompressedData;
988 for (const MCFragment &F : Fragments) {
989 const SmallVectorImpl<char> *Contents;
990 switch (F.getKind()) {
991 case MCFragment::FT_Data:
992 Contents = &cast<MCDataFragment>(F).getContents();
993 break;
994 case MCFragment::FT_Dwarf:
995 Contents = &cast<MCDwarfLineAddrFragment>(F).getContents();
996 break;
997 case MCFragment::FT_DwarfFrame:
998 Contents = &cast<MCDwarfCallFrameFragment>(F).getContents();
999 break;
1000 default:
1001 llvm_unreachable(
1002 "Not expecting any other fragment types in a debug_* section");
1003 }
1004 UncompressedData.append(Contents->begin(), Contents->end());
1005 }
1006 return UncompressedData;
1007}
1008
1009// Include the debug info compression header:
1010// "ZLIB" followed by 8 bytes representing the uncompressed size of the section,
1011// useful for consumers to preallocate a buffer to decompress into.
David Blaikie76d3a3c2014-04-18 21:52:26 +00001012static bool
David Blaikiee06e8012014-04-11 22:11:50 +00001013prependCompressionHeader(uint64_t Size,
1014 SmallVectorImpl<char> &CompressedContents) {
Benjamin Kramer7149aab2015-03-01 18:09:56 +00001015 const StringRef Magic = "ZLIB";
David Blaikie76d3a3c2014-04-18 21:52:26 +00001016 if (Size <= Magic.size() + sizeof(Size) + CompressedContents.size())
1017 return false;
David Blaikie8019bf82014-04-10 21:53:53 +00001018 if (sys::IsLittleEndianHost)
Artyom Skrobov9aea8432014-06-14 13:18:07 +00001019 sys::swapByteOrder(Size);
David Blaikie8019bf82014-04-10 21:53:53 +00001020 CompressedContents.insert(CompressedContents.begin(),
1021 Magic.size() + sizeof(Size), 0);
1022 std::copy(Magic.begin(), Magic.end(), CompressedContents.begin());
1023 std::copy(reinterpret_cast<char *>(&Size),
1024 reinterpret_cast<char *>(&Size + 1),
1025 CompressedContents.begin() + Magic.size());
David Blaikie76d3a3c2014-04-18 21:52:26 +00001026 return true;
David Blaikie8019bf82014-04-10 21:53:53 +00001027}
1028
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001029void ELFObjectWriter::writeSectionData(const MCAssembler &Asm, MCSection &Sec,
Rafael Espindola868b3f42015-04-30 21:51:58 +00001030 const MCAsmLayout &Layout) {
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001031 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001032 StringRef SectionName = Section.getSectionName();
David Blaikie8019bf82014-04-10 21:53:53 +00001033
Rafael Espindola868b3f42015-04-30 21:51:58 +00001034 // Compressing debug_frame requires handling alignment fragments which is
1035 // more work (possibly generalizing MCAssembler.cpp:writeFragment to allow
1036 // for writing to arbitrary buffers) for little benefit.
1037 if (!Asm.getContext().getAsmInfo()->compressDebugSections() ||
1038 !SectionName.startswith(".debug_") || SectionName == ".debug_frame") {
Rafael Espindola64acc7f2015-05-26 02:17:21 +00001039 Asm.writeSectionData(&Section, Layout);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001040 return;
1041 }
1042
1043 // Gather the uncompressed data from all the fragments.
Rafael Espindolaa32d0e92015-05-27 15:14:11 +00001044 const MCSection::FragmentListType &Fragments = Section.getFragmentList();
David Blaikie8019bf82014-04-10 21:53:53 +00001045 SmallVector<char, 128> UncompressedData =
1046 getUncompressedData(Layout, Fragments);
1047
Rafael Espindola868b3f42015-04-30 21:51:58 +00001048 SmallVector<char, 128> CompressedContents;
David Blaikie8019bf82014-04-10 21:53:53 +00001049 zlib::Status Success = zlib::compress(
1050 StringRef(UncompressedData.data(), UncompressedData.size()),
1051 CompressedContents);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001052 if (Success != zlib::StatusOK) {
Rafael Espindola64acc7f2015-05-26 02:17:21 +00001053 Asm.writeSectionData(&Section, Layout);
David Blaikie8019bf82014-04-10 21:53:53 +00001054 return;
Rafael Espindola868b3f42015-04-30 21:51:58 +00001055 }
David Blaikie8019bf82014-04-10 21:53:53 +00001056
Rafael Espindola868b3f42015-04-30 21:51:58 +00001057 if (!prependCompressionHeader(UncompressedData.size(), CompressedContents)) {
Rafael Espindola64acc7f2015-05-26 02:17:21 +00001058 Asm.writeSectionData(&Section, Layout);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001059 return;
1060 }
David Blaikie8019bf82014-04-10 21:53:53 +00001061 Asm.getContext().renameELFSection(&Section,
1062 (".z" + SectionName.drop_front(1)).str());
Rafael Espindola868b3f42015-04-30 21:51:58 +00001063 OS << CompressedContents;
David Blaikie8019bf82014-04-10 21:53:53 +00001064}
1065
Daniel Dunbarfe0c28f2010-11-13 07:33:40 +00001066void ELFObjectWriter::WriteSecHdrEntry(uint32_t Name, uint32_t Type,
1067 uint64_t Flags, uint64_t Address,
1068 uint64_t Offset, uint64_t Size,
1069 uint32_t Link, uint32_t Info,
1070 uint64_t Alignment,
1071 uint64_t EntrySize) {
Matt Fleming6c1ad482010-08-16 18:57:57 +00001072 Write32(Name); // sh_name: index into string table
1073 Write32(Type); // sh_type
1074 WriteWord(Flags); // sh_flags
1075 WriteWord(Address); // sh_addr
1076 WriteWord(Offset); // sh_offset
1077 WriteWord(Size); // sh_size
1078 Write32(Link); // sh_link
1079 Write32(Info); // sh_info
1080 WriteWord(Alignment); // sh_addralign
1081 WriteWord(EntrySize); // sh_entsize
1082}
1083
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001084void ELFObjectWriter::writeRelocations(const MCAssembler &Asm,
Rafael Espindola34948e52015-04-30 00:45:46 +00001085 const MCSectionELF &Sec) {
1086 std::vector<ELFRelocationEntry> &Relocs = Relocations[&Sec];
Akira Hatanaka64ad2cf2012-03-23 23:06:45 +00001087
Petar Jovanovic0380d0b2015-04-14 13:23:34 +00001088 // Sort the relocation entries. Most targets just sort by Offset, but some
1089 // (e.g., MIPS) have additional constraints.
1090 TargetObjectWriter->sortRelocs(Asm, Relocs);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001091
1092 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindola5904e122014-03-29 06:26:49 +00001093 const ELFRelocationEntry &Entry = Relocs[e - i - 1];
Rafael Espindola5e9ed902015-05-28 20:53:09 +00001094 unsigned Index = Entry.Symbol ? Entry.Symbol->getIndex() : 0;
Rafael Espindola5904e122014-03-29 06:26:49 +00001095
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001096 if (is64Bit()) {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001097 write(Entry.Offset);
Jack Carter8ad0c272012-06-27 22:28:30 +00001098 if (TargetObjectWriter->isN64()) {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001099 write(uint32_t(Index));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001100
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001101 write(TargetObjectWriter->getRSsym(Entry.Type));
1102 write(TargetObjectWriter->getRType3(Entry.Type));
1103 write(TargetObjectWriter->getRType2(Entry.Type));
1104 write(TargetObjectWriter->getRType(Entry.Type));
Rafael Espindola5904e122014-03-29 06:26:49 +00001105 } else {
Jack Carter8ad0c272012-06-27 22:28:30 +00001106 struct ELF::Elf64_Rela ERE64;
Rafael Espindola5904e122014-03-29 06:26:49 +00001107 ERE64.setSymbolAndType(Index, Entry.Type);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001108 write(ERE64.r_info);
Jack Carter8ad0c272012-06-27 22:28:30 +00001109 }
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001110 if (hasRelocationAddend())
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001111 write(Entry.Addend);
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001112 } else {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001113 write(uint32_t(Entry.Offset));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001114
Rafael Espindolabce26a12010-10-05 15:11:03 +00001115 struct ELF::Elf32_Rela ERE32;
Rafael Espindola5904e122014-03-29 06:26:49 +00001116 ERE32.setSymbolAndType(Index, Entry.Type);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001117 write(ERE32.r_info);
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001118
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001119 if (hasRelocationAddend())
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001120 write(uint32_t(Entry.Addend));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001121 }
Matt Fleming6c1ad482010-08-16 18:57:57 +00001122 }
1123}
1124
Rafael Espindolab1863912015-04-30 21:10:06 +00001125const MCSectionELF *ELFObjectWriter::createStringTable(MCContext &Ctx) {
Rafael Espindola08850b32015-05-25 21:56:55 +00001126 const MCSectionELF *StrtabSection = SectionTable[StringTableIndex - 1];
Rafael Espindola88abc392015-04-29 20:34:31 +00001127 OS << StrTabBuilder.data();
Rafael Espindolabda19802015-04-30 14:21:49 +00001128 return StrtabSection;
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001129}
1130
Rafael Espindolae92c1bf2015-05-21 19:42:35 +00001131void ELFObjectWriter::writeSection(const SectionIndexMapTy &SectionIndexMap,
1132 uint32_t GroupSymbolIndex, uint64_t Offset,
1133 uint64_t Size, const MCSectionELF &Section) {
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001134 uint64_t sh_link = 0;
1135 uint64_t sh_info = 0;
1136
1137 switch(Section.getType()) {
Rafael Espindola86fe2fe2015-04-06 03:16:51 +00001138 default:
1139 // Nothing to do.
1140 break;
1141
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001142 case ELF::SHT_DYNAMIC:
Rafael Espindola74ef4802015-04-30 21:20:06 +00001143 llvm_unreachable("SHT_DYNAMIC in a relocatable object");
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001144
1145 case ELF::SHT_REL:
1146 case ELF::SHT_RELA: {
Rafael Espindola3a7c0eb2015-02-17 20:37:50 +00001147 sh_link = SymbolTableIndex;
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001148 assert(sh_link && ".symtab not found");
Rafael Espindolab73b70e2015-04-06 03:09:30 +00001149 const MCSectionELF *InfoSection = Section.getAssociatedSection();
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001150 sh_info = SectionIndexMap.lookup(InfoSection);
1151 break;
1152 }
1153
1154 case ELF::SHT_SYMTAB:
1155 case ELF::SHT_DYNSYM:
1156 sh_link = StringTableIndex;
1157 sh_info = LastLocalSymbolIndex;
1158 break;
1159
1160 case ELF::SHT_SYMTAB_SHNDX:
1161 sh_link = SymbolTableIndex;
1162 break;
1163
Nick Lewyckyc6ac5f72011-10-07 23:28:32 +00001164 case ELF::SHT_GROUP:
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001165 sh_link = SymbolTableIndex;
1166 sh_info = GroupSymbolIndex;
1167 break;
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001168 }
1169
Logan Chien4b724422013-02-05 14:18:59 +00001170 if (TargetObjectWriter->getEMachine() == ELF::EM_ARM &&
Rafael Espindola61e8ce32015-04-06 04:25:18 +00001171 Section.getType() == ELF::SHT_ARM_EXIDX)
1172 sh_link = SectionIndexMap.lookup(Section.getAssociatedSection());
Logan Chien4b724422013-02-05 14:18:59 +00001173
Rafael Espindola5960cee2015-05-22 23:58:30 +00001174 WriteSecHdrEntry(StrTabBuilder.getOffset(Section.getSectionName()),
Rafael Espindola28687582015-05-21 19:36:43 +00001175 Section.getType(), Section.getFlags(), 0, Offset, Size,
1176 sh_link, sh_info, Section.getAlignment(),
1177 Section.getEntrySize());
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001178}
1179
Rafael Espindola7fe7e052015-02-17 20:40:59 +00001180void ELFObjectWriter::writeSectionHeader(
Rafael Espindola1aa20fc2015-05-21 19:46:39 +00001181 const MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001182 const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaa8201692015-04-28 15:26:21 +00001183 const SectionOffsetsTy &SectionOffsets) {
Rafael Espindolab1863912015-04-30 21:10:06 +00001184 const unsigned NumSections = SectionTable.size();
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001185
Matt Fleming6c1ad482010-08-16 18:57:57 +00001186 // Null section first.
Rafael Espindola3fe87a12010-10-31 00:16:26 +00001187 uint64_t FirstSectionSize =
Rafael Espindolabf0db6c2015-04-15 13:07:47 +00001188 (NumSections + 1) >= ELF::SHN_LORESERVE ? NumSections + 1 : 0;
Rafael Espindola88d1f632015-04-29 20:25:24 +00001189 WriteSecHdrEntry(0, 0, 0, 0, 0, FirstSectionSize, 0, 0, 0, 0);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001190
Rafael Espindola08850b32015-05-25 21:56:55 +00001191 for (const MCSectionELF *Section : SectionTable) {
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001192 uint32_t GroupSymbolIndex;
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001193 unsigned Type = Section->getType();
1194 if (Type != ELF::SHT_GROUP)
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001195 GroupSymbolIndex = 0;
1196 else
Rafael Espindola5e9ed902015-05-28 20:53:09 +00001197 GroupSymbolIndex = Section->getGroup()->getIndex();
Matt Fleming6c1ad482010-08-16 18:57:57 +00001198
Rafael Espindolabda19802015-04-30 14:21:49 +00001199 const std::pair<uint64_t, uint64_t> &Offsets =
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001200 SectionOffsets.find(Section)->second;
Rafael Espindola1aa20fc2015-05-21 19:46:39 +00001201 uint64_t Size;
Rafael Espindola5a1e80b2015-05-26 02:00:36 +00001202 if (Type == ELF::SHT_NOBITS)
1203 Size = Layout.getSectionAddressSize(Section);
1204 else
Rafael Espindola1aa20fc2015-05-21 19:46:39 +00001205 Size = Offsets.second - Offsets.first;
Rafael Espindola60ebca92010-12-02 03:09:06 +00001206
Rafael Espindolae92c1bf2015-05-21 19:42:35 +00001207 writeSection(SectionIndexMap, GroupSymbolIndex, Offsets.first, Size,
Rafael Espindola28687582015-05-21 19:36:43 +00001208 *Section);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001209 }
1210}
1211
Rafael Espindola1557fd62011-03-20 18:44:20 +00001212void ELFObjectWriter::WriteObject(MCAssembler &Asm,
1213 const MCAsmLayout &Layout) {
Rafael Espindolabda19802015-04-30 14:21:49 +00001214 MCContext &Ctx = Asm.getContext();
Rafael Espindola5960cee2015-05-22 23:58:30 +00001215 MCSectionELF *StrtabSection =
1216 Ctx.getELFSection(".strtab", ELF::SHT_STRTAB, 0);
1217 StringTableIndex = addToSectionTable(StrtabSection);
Rafael Espindolabda19802015-04-30 14:21:49 +00001218
Rafael Espindola1557fd62011-03-20 18:44:20 +00001219 RevGroupMapTy RevGroupMap;
1220 SectionIndexMapTy SectionIndexMap;
1221
Rafael Espindolabda19802015-04-30 14:21:49 +00001222 std::map<const MCSymbol *, std::vector<const MCSectionELF *>> GroupMembers;
Rafael Espindola1557fd62011-03-20 18:44:20 +00001223
Rafael Espindola1557fd62011-03-20 18:44:20 +00001224 // Write out the ELF header ...
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001225 writeHeader(Asm);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001226
Rafael Espindola7230f802015-04-08 11:41:24 +00001227 // ... then the sections ...
Rafael Espindolabda19802015-04-30 14:21:49 +00001228 SectionOffsetsTy SectionOffsets;
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001229 std::vector<MCSectionELF *> Groups;
1230 std::vector<MCSectionELF *> Relocations;
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001231 for (MCSection &Sec : Asm) {
1232 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec);
Rafael Espindolabda19802015-04-30 14:21:49 +00001233
Rafael Espindola967d6a62015-05-21 21:02:35 +00001234 uint64_t Padding = OffsetToAlignment(OS.tell(), Section.getAlignment());
Rafael Espindola642a2212015-04-14 22:54:16 +00001235 WriteZeros(Padding);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001236
Rafael Espindola642a2212015-04-14 22:54:16 +00001237 // Remember the offset into the file for this section.
Rafael Espindolab6417502015-04-28 15:04:09 +00001238 uint64_t SecStart = OS.tell();
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001239
Rafael Espindolabda19802015-04-30 14:21:49 +00001240 const MCSymbol *SignatureSymbol = Section.getGroup();
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001241 writeSectionData(Asm, Section, Layout);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001242
Rafael Espindolab6417502015-04-28 15:04:09 +00001243 uint64_t SecEnd = OS.tell();
Rafael Espindolabda19802015-04-30 14:21:49 +00001244 SectionOffsets[&Section] = std::make_pair(SecStart, SecEnd);
1245
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001246 MCSectionELF *RelSection = createRelocationSection(Ctx, Section);
Rafael Espindolabda19802015-04-30 14:21:49 +00001247
1248 if (SignatureSymbol) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +00001249 Asm.registerSymbol(*SignatureSymbol);
Rafael Espindolabda19802015-04-30 14:21:49 +00001250 unsigned &GroupIdx = RevGroupMap[SignatureSymbol];
1251 if (!GroupIdx) {
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001252 MCSectionELF *Group = Ctx.createELFGroupSection(SignatureSymbol);
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001253 GroupIdx = addToSectionTable(Group);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001254 Group->setAlignment(4);
1255 Groups.push_back(Group);
Rafael Espindolabda19802015-04-30 14:21:49 +00001256 }
1257 GroupMembers[SignatureSymbol].push_back(&Section);
1258 if (RelSection)
1259 GroupMembers[SignatureSymbol].push_back(RelSection);
1260 }
1261
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001262 SectionIndexMap[&Section] = addToSectionTable(&Section);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001263 if (RelSection) {
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001264 SectionIndexMap[RelSection] = addToSectionTable(RelSection);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001265 Relocations.push_back(RelSection);
1266 }
Rafael Espindolabda19802015-04-30 14:21:49 +00001267 }
1268
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001269 for (MCSectionELF *Group : Groups) {
1270 uint64_t Padding = OffsetToAlignment(OS.tell(), Group->getAlignment());
1271 WriteZeros(Padding);
1272
1273 // Remember the offset into the file for this section.
1274 uint64_t SecStart = OS.tell();
1275
1276 const MCSymbol *SignatureSymbol = Group->getGroup();
1277 assert(SignatureSymbol);
1278 write(uint32_t(ELF::GRP_COMDAT));
1279 for (const MCSectionELF *Member : GroupMembers[SignatureSymbol]) {
1280 uint32_t SecIndex = SectionIndexMap.lookup(Member);
1281 write(SecIndex);
1282 }
1283
1284 uint64_t SecEnd = OS.tell();
1285 SectionOffsets[Group] = std::make_pair(SecStart, SecEnd);
1286 }
1287
1288 // Compute symbol table information.
Rafael Espindolaaa486e92015-05-28 17:54:01 +00001289 computeSymbolTable(Asm, Layout, SectionIndexMap, RevGroupMap, SectionOffsets);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001290
1291 for (MCSectionELF *RelSection : Relocations) {
1292 uint64_t Padding = OffsetToAlignment(OS.tell(), RelSection->getAlignment());
1293 WriteZeros(Padding);
1294
1295 // Remember the offset into the file for this section.
1296 uint64_t SecStart = OS.tell();
1297
1298 writeRelocations(Asm, *RelSection->getAssociatedSection());
1299
1300 uint64_t SecEnd = OS.tell();
1301 SectionOffsets[RelSection] = std::make_pair(SecStart, SecEnd);
Rafael Espindola642a2212015-04-14 22:54:16 +00001302 }
1303
Rafael Espindola88d1f632015-04-29 20:25:24 +00001304 {
1305 uint64_t SecStart = OS.tell();
Rafael Espindolab1863912015-04-30 21:10:06 +00001306 const MCSectionELF *Sec = createStringTable(Ctx);
Rafael Espindola88abc392015-04-29 20:34:31 +00001307 uint64_t SecEnd = OS.tell();
Rafael Espindolabda19802015-04-30 14:21:49 +00001308 SectionOffsets[Sec] = std::make_pair(SecStart, SecEnd);
Rafael Espindola88abc392015-04-29 20:34:31 +00001309 }
1310
Rafael Espindola642a2212015-04-14 22:54:16 +00001311 uint64_t NaturalAlignment = is64Bit() ? 8 : 4;
Benjamin Kramer084b9f42012-01-20 14:42:32 +00001312 uint64_t Padding = OffsetToAlignment(OS.tell(), NaturalAlignment);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001313 WriteZeros(Padding);
1314
Rafael Espindola642a2212015-04-14 22:54:16 +00001315 const unsigned SectionHeaderOffset = OS.tell();
1316
Rafael Espindola1557fd62011-03-20 18:44:20 +00001317 // ... then the section header table ...
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001318 writeSectionHeader(Asm, Layout, SectionIndexMap, SectionOffsets);
Rafael Espindola642a2212015-04-14 22:54:16 +00001319
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001320 uint16_t NumSections = (SectionTable.size() + 1 >= ELF::SHN_LORESERVE)
Aaron Ballman9cab7322015-04-30 14:03:12 +00001321 ? (uint16_t)ELF::SHN_UNDEF
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001322 : SectionTable.size() + 1;
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001323 if (sys::IsLittleEndianHost != IsLittleEndian)
1324 sys::swapByteOrder(NumSections);
1325 unsigned NumSectionsOffset;
1326
Rafael Espindola642a2212015-04-14 22:54:16 +00001327 if (is64Bit()) {
1328 uint64_t Val = SectionHeaderOffset;
1329 if (sys::IsLittleEndianHost != IsLittleEndian)
1330 sys::swapByteOrder(Val);
1331 OS.pwrite(reinterpret_cast<char *>(&Val), sizeof(Val),
1332 offsetof(ELF::Elf64_Ehdr, e_shoff));
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001333 NumSectionsOffset = offsetof(ELF::Elf64_Ehdr, e_shnum);
Rafael Espindola642a2212015-04-14 22:54:16 +00001334 } else {
1335 uint32_t Val = SectionHeaderOffset;
1336 if (sys::IsLittleEndianHost != IsLittleEndian)
1337 sys::swapByteOrder(Val);
1338 OS.pwrite(reinterpret_cast<char *>(&Val), sizeof(Val),
1339 offsetof(ELF::Elf32_Ehdr, e_shoff));
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001340 NumSectionsOffset = offsetof(ELF::Elf32_Ehdr, e_shnum);
Rafael Espindola642a2212015-04-14 22:54:16 +00001341 }
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001342 OS.pwrite(reinterpret_cast<char *>(&NumSections), sizeof(NumSections),
1343 NumSectionsOffset);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001344}
1345
Rafael Espindola94a88d72015-04-06 15:27:57 +00001346bool ELFObjectWriter::IsSymbolRefDifferenceFullyResolvedImpl(
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +00001347 const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB,
Rafael Espindola35d61892015-04-17 21:15:17 +00001348 bool InSet, bool IsPCRel) const {
1349 if (IsPCRel) {
1350 assert(!InSet);
Rafael Espindolae3b2acf2015-05-29 18:47:23 +00001351 if (::isWeak(SymA))
Rafael Espindola35d61892015-04-17 21:15:17 +00001352 return false;
1353 }
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +00001354 return MCObjectWriter::IsSymbolRefDifferenceFullyResolvedImpl(Asm, SymA, FB,
Rafael Espindola35d61892015-04-17 21:15:17 +00001355 InSet, IsPCRel);
Eli Friedmand92d17b2011-03-03 07:24:36 +00001356}
1357
Duncan P. N. Exon Smith5266ad92015-05-20 15:10:03 +00001358bool ELFObjectWriter::isWeak(const MCSymbol &Sym) const {
Rafael Espindolae3b2acf2015-05-29 18:47:23 +00001359 if (::isWeak(Sym))
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001360 return true;
1361
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001362 // It is invalid to replace a reference to a global in a comdat
1363 // with a reference to a local since out of comdat references
1364 // to a local are forbidden.
1365 // We could try to return false for more cases, like the reference
1366 // being in the same comdat or Sym being an alias to another global,
1367 // but it is not clear if it is worth the effort.
Rafael Espindolae3b2acf2015-05-29 18:47:23 +00001368 if (MCELF::GetBinding(Sym) != ELF::STB_GLOBAL)
Rafael Espindola29c82702015-04-20 12:44:06 +00001369 return false;
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001370
Rafael Espindola29c82702015-04-20 12:44:06 +00001371 if (!Sym.isInSection())
1372 return false;
1373
1374 const auto &Sec = cast<MCSectionELF>(Sym.getSection());
1375 return Sec.getGroup();
Rafael Espindolaf275ad82015-03-25 13:16:53 +00001376}
1377
Rafael Espindola6b5e56c2010-12-17 17:45:22 +00001378MCObjectWriter *llvm::createELFObjectWriter(MCELFObjectTargetWriter *MOTW,
Rafael Espindola5560a4c2015-04-14 22:14:34 +00001379 raw_pwrite_stream &OS,
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001380 bool IsLittleEndian) {
Rafael Espindola34a68af2011-12-22 03:24:43 +00001381 return new ELFObjectWriter(MOTW, OS, IsLittleEndian);
Rafael Espindolab264d332011-12-21 17:30:17 +00001382}