blob: 68c3cb13a1b83763169c43cafae3039791de0560 [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"
Matt Fleming6c1ad482010-08-16 18:57:57 +000024#include "llvm/MC/MCExpr.h"
Craig Topper6e80c282012-03-26 06:58:25 +000025#include "llvm/MC/MCFixupKindInfo.h"
26#include "llvm/MC/MCObjectWriter.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000027#include "llvm/MC/MCSectionELF.h"
Rafael Espindolaa8695762015-06-02 00:25:12 +000028#include "llvm/MC/MCSymbolELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000029#include "llvm/MC/MCValue.h"
Rafael Espindola97de4742014-07-03 02:01:39 +000030#include "llvm/MC/StringTableBuilder.h"
David Blaikie8019bf82014-04-10 21:53:53 +000031#include "llvm/Support/Compression.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000032#include "llvm/Support/Debug.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000033#include "llvm/Support/ELF.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000034#include "llvm/Support/Endian.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000035#include "llvm/Support/ErrorHandling.h"
Rafael Espindolafc063e82015-10-22 18:32:06 +000036#include "llvm/Support/StringSaver.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000037#include <vector>
Eugene Zelenkoecefe5a2016-02-02 18:20:45 +000038
Matt Fleming6c1ad482010-08-16 18:57:57 +000039using namespace llvm;
40
Jason W Kimc09e7262011-05-11 22:53:06 +000041#undef DEBUG_TYPE
42#define DEBUG_TYPE "reloc-info"
43
Rafael Espindola29abd972011-12-22 03:38:00 +000044namespace {
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);
Rafael Espindola95fb9b92015-06-02 20:38:46 +000075 static bool isInSymtab(const MCAsmLayout &Layout, const MCSymbolELF &Symbol,
Rafael Espindola29abd972011-12-22 03:38:00 +000076 bool Used, bool Renamed);
Rafael Espindola29abd972011-12-22 03:38:00 +000077
Rafael Espindola6cd21802015-04-07 22:35:40 +000078 /// Helper struct for containing some precomputed information on symbols.
Rafael Espindola29abd972011-12-22 03:38:00 +000079 struct ELFSymbolData {
Rafael Espindolaa8695762015-06-02 00:25:12 +000080 const MCSymbolELF *Symbol;
Rafael Espindola29abd972011-12-22 03:38:00 +000081 uint32_t SectionIndex;
Hans Wennborg83e6e1e2014-04-30 16:25:02 +000082 StringRef Name;
Rafael Espindola29abd972011-12-22 03:38:00 +000083
84 // Support lexicographic sorting.
85 bool operator<(const ELFSymbolData &RHS) const {
Rafael Espindola95fb9b92015-06-02 20:38:46 +000086 unsigned LHSType = Symbol->getType();
87 unsigned RHSType = RHS.Symbol->getType();
Rafael Espindolab6613022014-10-17 01:48:58 +000088 if (LHSType == ELF::STT_SECTION && RHSType != ELF::STT_SECTION)
89 return false;
90 if (LHSType != ELF::STT_SECTION && RHSType == ELF::STT_SECTION)
91 return true;
92 if (LHSType == ELF::STT_SECTION && RHSType == ELF::STT_SECTION)
93 return SectionIndex < RHS.SectionIndex;
Hans Wennborg83e6e1e2014-04-30 16:25:02 +000094 return Name < RHS.Name;
Rafael Espindola29abd972011-12-22 03:38:00 +000095 }
96 };
97
Rafael Espindola29abd972011-12-22 03:38:00 +000098 /// The target specific ELF writer instance.
Ahmed Charles56440fd2014-03-06 05:51:42 +000099 std::unique_ptr<MCELFObjectTargetWriter> TargetObjectWriter;
Rafael Espindola29abd972011-12-22 03:38:00 +0000100
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000101 DenseMap<const MCSymbolELF *, const MCSymbolELF *> Renames;
Rafael Espindola29abd972011-12-22 03:38:00 +0000102
Rafael Espindola34948e52015-04-30 00:45:46 +0000103 llvm::DenseMap<const MCSectionELF *, std::vector<ELFRelocationEntry>>
104 Relocations;
Rafael Espindola29abd972011-12-22 03:38:00 +0000105
106 /// @}
107 /// @name Symbol Table Data
108 /// @{
109
Rafael Espindolafc063e82015-10-22 18:32:06 +0000110 BumpPtrAllocator Alloc;
111 StringSaver VersionSymSaver{Alloc};
Rafael Espindola21956e42015-10-23 21:48:05 +0000112 StringTableBuilder StrTabBuilder{StringTableBuilder::ELF};
Rafael Espindola29abd972011-12-22 03:38:00 +0000113
114 /// @}
115
Rafael Espindola29abd972011-12-22 03:38:00 +0000116 // This holds the symbol table index of the last local symbol.
117 unsigned LastLocalSymbolIndex;
118 // This holds the .strtab section index.
119 unsigned StringTableIndex;
120 // This holds the .symtab section index.
121 unsigned SymbolTableIndex;
Rafael Espindola29abd972011-12-22 03:38:00 +0000122
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000123 // Sections in the order they are to be output in the section table.
Rafael Espindola08850b32015-05-25 21:56:55 +0000124 std::vector<const MCSectionELF *> SectionTable;
125 unsigned addToSectionTable(const MCSectionELF *Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000126
Rafael Espindola29abd972011-12-22 03:38:00 +0000127 // TargetObjectWriter wrappers.
Rafael Espindola29abd972011-12-22 03:38:00 +0000128 bool is64Bit() const { return TargetObjectWriter->is64Bit(); }
129 bool hasRelocationAddend() const {
130 return TargetObjectWriter->hasRelocationAddend();
131 }
Rafael Espindola8340f942016-01-13 22:56:57 +0000132 unsigned getRelocType(MCContext &Ctx, const MCValue &Target,
133 const MCFixup &Fixup, bool IsPCRel) const {
134 return TargetObjectWriter->getRelocType(Ctx, Target, Fixup, IsPCRel);
Rafael Espindola29abd972011-12-22 03:38:00 +0000135 }
136
Rafael Espindolab20fbb82015-06-05 18:21:00 +0000137 void align(unsigned Alignment);
138
Rafael Espindola29abd972011-12-22 03:38:00 +0000139 public:
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000140 ELFObjectWriter(MCELFObjectTargetWriter *MOTW, raw_pwrite_stream &OS,
Rafael Espindola0ce09712014-03-25 22:43:53 +0000141 bool IsLittleEndian)
Rafael Espindolae2b355d2015-05-28 15:20:00 +0000142 : MCObjectWriter(OS, IsLittleEndian), TargetObjectWriter(MOTW) {}
Rafael Espindola29abd972011-12-22 03:38:00 +0000143
Yaron Keren7773a722015-03-23 18:35:01 +0000144 void reset() override {
Yaron Keren7773a722015-03-23 18:35:01 +0000145 Renames.clear();
146 Relocations.clear();
Yaron Keren7773a722015-03-23 18:35:01 +0000147 StrTabBuilder.clear();
Yaron Kerenf3465e12015-05-13 15:17:19 +0000148 SectionTable.clear();
Yaron Keren7773a722015-03-23 18:35:01 +0000149 MCObjectWriter::reset();
150 }
151
Alexander Kornienkof817c1c2015-04-11 02:11:45 +0000152 ~ELFObjectWriter() override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000153
154 void WriteWord(uint64_t W) {
155 if (is64Bit())
Jim Grosbach36e60e92015-06-04 22:24:41 +0000156 write64(W);
Rafael Espindola29abd972011-12-22 03:38:00 +0000157 else
Jim Grosbach36e60e92015-06-04 22:24:41 +0000158 write32(W);
Rafael Espindola29abd972011-12-22 03:38:00 +0000159 }
160
Rafael Espindola91fd2772015-04-29 21:09:32 +0000161 template <typename T> void write(T Val) {
162 if (IsLittleEndian)
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000163 support::endian::Writer<support::little>(getStream()).write(Val);
Rafael Espindola91fd2772015-04-29 21:09:32 +0000164 else
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000165 support::endian::Writer<support::big>(getStream()).write(Val);
Rafael Espindola91fd2772015-04-29 21:09:32 +0000166 }
167
Rafael Espindola8c7829b2015-04-29 20:39:37 +0000168 void writeHeader(const MCAssembler &Asm);
Rafael Espindola29abd972011-12-22 03:38:00 +0000169
Rafael Espindolae48421f2015-05-28 20:25:29 +0000170 void writeSymbol(SymbolTableWriter &Writer, uint32_t StringIndex,
171 ELFSymbolData &MSD, const MCAsmLayout &Layout);
Rafael Espindola29abd972011-12-22 03:38:00 +0000172
Rafael Espindola91fd2772015-04-29 21:09:32 +0000173 // Start and end offset of each section
Rafael Espindolabda19802015-04-30 14:21:49 +0000174 typedef std::map<const MCSectionELF *, std::pair<uint64_t, uint64_t>>
175 SectionOffsetsTy;
Rafael Espindola91fd2772015-04-29 21:09:32 +0000176
Rafael Espindolab60c8292014-04-29 12:46:50 +0000177 bool shouldRelocateWithSymbol(const MCAssembler &Asm,
178 const MCSymbolRefExpr *RefA,
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000179 const MCSymbol *Sym, uint64_t C,
Rafael Espindola5904e122014-03-29 06:26:49 +0000180 unsigned Type) const;
181
Jim Grosbach36e60e92015-06-04 22:24:41 +0000182 void recordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout,
Craig Topper34a61bc2014-03-08 07:02:02 +0000183 const MCFragment *Fragment, const MCFixup &Fixup,
Rafael Espindola5904e122014-03-29 06:26:49 +0000184 MCValue Target, bool &IsPCRel,
185 uint64_t &FixedValue) override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000186
Rafael Espindola89feff32015-04-28 22:59:58 +0000187 // Map from a signature symbol to the group section index
188 typedef DenseMap<const MCSymbol *, unsigned> RevGroupMapTy;
Rafael Espindola29abd972011-12-22 03:38:00 +0000189
Rafael Espindola022bb762014-03-24 03:43:21 +0000190 /// Compute the symbol table data
Rafael Espindola29abd972011-12-22 03:38:00 +0000191 ///
Rafael Espindola073ee7d2012-08-27 16:04:24 +0000192 /// \param Asm - The assembler.
193 /// \param SectionIndexMap - Maps a section to its index.
194 /// \param RevGroupMap - Maps a signature symbol to the group section.
Rafael Espindola022bb762014-03-24 03:43:21 +0000195 void computeSymbolTable(MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindola29abd972011-12-22 03:38:00 +0000196 const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000197 const RevGroupMapTy &RevGroupMap,
198 SectionOffsetsTy &SectionOffsets);
Rafael Espindola29abd972011-12-22 03:38:00 +0000199
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000200 MCSectionELF *createRelocationSection(MCContext &Ctx,
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000201 const MCSectionELF &Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000202
Rafael Espindolab1863912015-04-30 21:10:06 +0000203 const MCSectionELF *createStringTable(MCContext &Ctx);
Rafael Espindola29abd972011-12-22 03:38:00 +0000204
Jim Grosbach56ed0bb2015-06-04 23:25:54 +0000205 void executePostLayoutBinding(MCAssembler &Asm,
Craig Topper34a61bc2014-03-08 07:02:02 +0000206 const MCAsmLayout &Layout) override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000207
Rafael Espindola57c80832015-06-04 20:55:49 +0000208 void writeSectionHeader(const MCAsmLayout &Layout,
Rafael Espindola29abd972011-12-22 03:38:00 +0000209 const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaa8201692015-04-28 15:26:21 +0000210 const SectionOffsetsTy &SectionOffsets);
Rafael Espindola29abd972011-12-22 03:38:00 +0000211
Rafael Espindolae15b1b72015-05-27 13:30:50 +0000212 void writeSectionData(const MCAssembler &Asm, MCSection &Sec,
Rafael Espindola868b3f42015-04-30 21:51:58 +0000213 const MCAsmLayout &Layout);
214
Rafael Espindola29abd972011-12-22 03:38:00 +0000215 void WriteSecHdrEntry(uint32_t Name, uint32_t Type, uint64_t Flags,
Rafael Espindola868b3f42015-04-30 21:51:58 +0000216 uint64_t Address, uint64_t Offset, uint64_t Size,
217 uint32_t Link, uint32_t Info, uint64_t Alignment,
218 uint64_t EntrySize);
Rafael Espindola29abd972011-12-22 03:38:00 +0000219
Rafael Espindola34948e52015-04-30 00:45:46 +0000220 void writeRelocations(const MCAssembler &Asm, const MCSectionELF &Sec);
Rafael Espindola29abd972011-12-22 03:38:00 +0000221
Jim Grosbach36e60e92015-06-04 22:24:41 +0000222 bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm,
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +0000223 const MCSymbol &SymA,
224 const MCFragment &FB,
225 bool InSet,
226 bool IsPCRel) const override;
Rafael Espindola29abd972011-12-22 03:38:00 +0000227
Duncan P. N. Exon Smith5266ad92015-05-20 15:10:03 +0000228 bool isWeak(const MCSymbol &Sym) const override;
Rafael Espindolaf275ad82015-03-25 13:16:53 +0000229
Jim Grosbach36e60e92015-06-04 22:24:41 +0000230 void writeObject(MCAssembler &Asm, const MCAsmLayout &Layout) override;
Rafael Espindolae92c1bf2015-05-21 19:42:35 +0000231 void writeSection(const SectionIndexMapTy &SectionIndexMap,
Rafael Espindola28687582015-05-21 19:36:43 +0000232 uint32_t GroupSymbolIndex, uint64_t Offset, uint64_t Size,
Rafael Espindola29abd972011-12-22 03:38:00 +0000233 const MCSectionELF &Section);
234 };
Eugene Zelenkoecefe5a2016-02-02 18:20:45 +0000235} // end anonymous namespace
Rafael Espindola29abd972011-12-22 03:38:00 +0000236
Rafael Espindolab20fbb82015-06-05 18:21:00 +0000237void ELFObjectWriter::align(unsigned Alignment) {
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000238 uint64_t Padding = OffsetToAlignment(getStream().tell(), Alignment);
Rafael Espindolab20fbb82015-06-05 18:21:00 +0000239 WriteZeros(Padding);
240}
241
Rafael Espindola08850b32015-05-25 21:56:55 +0000242unsigned ELFObjectWriter::addToSectionTable(const MCSectionELF *Sec) {
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000243 SectionTable.push_back(Sec);
Rafael Espindola5960cee2015-05-22 23:58:30 +0000244 StrTabBuilder.add(Sec->getSectionName());
Rafael Espindola03d7abb2015-04-30 20:53:27 +0000245 return SectionTable.size();
246}
247
Rafael Espindola10be0832014-03-25 23:44:25 +0000248void SymbolTableWriter::createSymtabShndx() {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000249 if (!ShndxIndexes.empty())
Rafael Espindola10be0832014-03-25 23:44:25 +0000250 return;
251
Rafael Espindola91fd2772015-04-29 21:09:32 +0000252 ShndxIndexes.resize(NumWritten);
Rafael Espindola10be0832014-03-25 23:44:25 +0000253}
254
Rafael Espindola91fd2772015-04-29 21:09:32 +0000255template <typename T> void SymbolTableWriter::write(T Value) {
256 EWriter.write(Value);
Rafael Espindola10be0832014-03-25 23:44:25 +0000257}
258
Rafael Espindola91fd2772015-04-29 21:09:32 +0000259SymbolTableWriter::SymbolTableWriter(ELFObjectWriter &EWriter, bool Is64Bit)
260 : EWriter(EWriter), Is64Bit(Is64Bit), NumWritten(0) {}
Rafael Espindola10be0832014-03-25 23:44:25 +0000261
262void SymbolTableWriter::writeSymbol(uint32_t name, uint8_t info, uint64_t value,
263 uint64_t size, uint8_t other,
264 uint32_t shndx, bool Reserved) {
265 bool LargeIndex = shndx >= ELF::SHN_LORESERVE && !Reserved;
266
267 if (LargeIndex)
268 createSymtabShndx();
269
Rafael Espindola91fd2772015-04-29 21:09:32 +0000270 if (!ShndxIndexes.empty()) {
Rafael Espindola10be0832014-03-25 23:44:25 +0000271 if (LargeIndex)
Rafael Espindola91fd2772015-04-29 21:09:32 +0000272 ShndxIndexes.push_back(shndx);
Rafael Espindola10be0832014-03-25 23:44:25 +0000273 else
Rafael Espindola91fd2772015-04-29 21:09:32 +0000274 ShndxIndexes.push_back(0);
Rafael Espindola10be0832014-03-25 23:44:25 +0000275 }
276
277 uint16_t Index = LargeIndex ? uint16_t(ELF::SHN_XINDEX) : shndx;
278
Rafael Espindola10be0832014-03-25 23:44:25 +0000279 if (Is64Bit) {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000280 write(name); // st_name
281 write(info); // st_info
282 write(other); // st_other
283 write(Index); // st_shndx
284 write(value); // st_value
285 write(size); // st_size
Rafael Espindola10be0832014-03-25 23:44:25 +0000286 } else {
Rafael Espindola91fd2772015-04-29 21:09:32 +0000287 write(name); // st_name
288 write(uint32_t(value)); // st_value
289 write(uint32_t(size)); // st_size
290 write(info); // st_info
291 write(other); // st_other
292 write(Index); // st_shndx
Rafael Espindola10be0832014-03-25 23:44:25 +0000293 }
294
295 ++NumWritten;
296}
297
Jan Sjödin30a52de2011-02-28 21:45:04 +0000298bool ELFObjectWriter::isFixupKindPCRel(const MCAssembler &Asm, unsigned Kind) {
299 const MCFixupKindInfo &FKI =
300 Asm.getBackend().getFixupKindInfo((MCFixupKind) Kind);
301
302 return FKI.Flags & MCFixupKindInfo::FKF_IsPCRel;
303}
304
Jason W Kim96f4c012010-11-15 16:18:39 +0000305ELFObjectWriter::~ELFObjectWriter()
306{}
307
Matt Fleming6c1ad482010-08-16 18:57:57 +0000308// Emit the ELF header.
Rafael Espindola8c7829b2015-04-29 20:39:37 +0000309void ELFObjectWriter::writeHeader(const MCAssembler &Asm) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000310 // ELF Header
311 // ----------
312 //
313 // Note
314 // ----
315 // emitWord method behaves differently for ELF32 and ELF64, writing
316 // 4 bytes in the former and 8 in the latter.
317
Jim Grosbach36e60e92015-06-04 22:24:41 +0000318 writeBytes(ELF::ElfMagic); // e_ident[EI_MAG0] to e_ident[EI_MAG3]
Matt Fleming6c1ad482010-08-16 18:57:57 +0000319
Jim Grosbach36e60e92015-06-04 22:24:41 +0000320 write8(is64Bit() ? ELF::ELFCLASS64 : ELF::ELFCLASS32); // e_ident[EI_CLASS]
Matt Fleming6c1ad482010-08-16 18:57:57 +0000321
322 // e_ident[EI_DATA]
Jim Grosbach36e60e92015-06-04 22:24:41 +0000323 write8(isLittleEndian() ? ELF::ELFDATA2LSB : ELF::ELFDATA2MSB);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000324
Jim Grosbach36e60e92015-06-04 22:24:41 +0000325 write8(ELF::EV_CURRENT); // e_ident[EI_VERSION]
Roman Divacky3b727f52010-09-09 17:57:50 +0000326 // e_ident[EI_OSABI]
Jim Grosbach36e60e92015-06-04 22:24:41 +0000327 write8(TargetObjectWriter->getOSABI());
328 write8(0); // e_ident[EI_ABIVERSION]
Matt Fleming6c1ad482010-08-16 18:57:57 +0000329
330 WriteZeros(ELF::EI_NIDENT - ELF::EI_PAD);
331
Jim Grosbach36e60e92015-06-04 22:24:41 +0000332 write16(ELF::ET_REL); // e_type
Matt Fleming6c1ad482010-08-16 18:57:57 +0000333
Jim Grosbach36e60e92015-06-04 22:24:41 +0000334 write16(TargetObjectWriter->getEMachine()); // e_machine = target
Matt Fleming6c1ad482010-08-16 18:57:57 +0000335
Jim Grosbach36e60e92015-06-04 22:24:41 +0000336 write32(ELF::EV_CURRENT); // e_version
Matt Fleming6c1ad482010-08-16 18:57:57 +0000337 WriteWord(0); // e_entry, no entry point in .o file
338 WriteWord(0); // e_phoff, no program header for .o
Rafael Espindola642a2212015-04-14 22:54:16 +0000339 WriteWord(0); // e_shoff = sec hdr table off in bytes
Matt Fleming6c1ad482010-08-16 18:57:57 +0000340
Jason W Kim4761fba2011-02-04 21:41:11 +0000341 // e_flags = whatever the target wants
Jim Grosbach36e60e92015-06-04 22:24:41 +0000342 write32(Asm.getELFHeaderEFlags());
Matt Fleming6c1ad482010-08-16 18:57:57 +0000343
344 // e_ehsize = ELF header size
Jim Grosbach36e60e92015-06-04 22:24:41 +0000345 write16(is64Bit() ? sizeof(ELF::Elf64_Ehdr) : sizeof(ELF::Elf32_Ehdr));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000346
Jim Grosbach36e60e92015-06-04 22:24:41 +0000347 write16(0); // e_phentsize = prog header entry size
348 write16(0); // e_phnum = # prog header entries = 0
Matt Fleming6c1ad482010-08-16 18:57:57 +0000349
350 // e_shentsize = Section header entry size
Jim Grosbach36e60e92015-06-04 22:24:41 +0000351 write16(is64Bit() ? sizeof(ELF::Elf64_Shdr) : sizeof(ELF::Elf32_Shdr));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000352
353 // e_shnum = # of section header ents
Jim Grosbach36e60e92015-06-04 22:24:41 +0000354 write16(0);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000355
356 // e_shstrndx = Section # of '.shstrtab'
Rafael Espindola5960cee2015-05-22 23:58:30 +0000357 assert(StringTableIndex < ELF::SHN_LORESERVE);
Jim Grosbach36e60e92015-06-04 22:24:41 +0000358 write16(StringTableIndex);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000359}
360
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000361uint64_t ELFObjectWriter::SymbolValue(const MCSymbol &Sym,
Jan Sjödin30a52de2011-02-28 21:45:04 +0000362 const MCAsmLayout &Layout) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000363 if (Sym.isCommon() && Sym.isExternal())
Rafael Espindola14672502015-05-29 17:48:04 +0000364 return Sym.getCommonAlignment();
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000365
Rafael Espindolafee224f2014-04-30 21:51:13 +0000366 uint64_t Res;
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000367 if (!Layout.getSymbolOffset(Sym, Res))
Rafael Espindola553e5eb2014-04-30 16:59:35 +0000368 return 0;
369
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000370 if (Layout.getAssembler().isThumbFunc(&Sym))
Rafael Espindola66f96fe2014-03-21 22:00:29 +0000371 Res |= 1;
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000372
Rafael Espindola66f96fe2014-03-21 22:00:29 +0000373 return Res;
Rafael Espindola9735f4f2010-09-27 21:23:02 +0000374}
375
Jim Grosbach56ed0bb2015-06-04 23:25:54 +0000376void ELFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
Rafael Espindola93e3cf02010-12-07 00:27:36 +0000377 const MCAsmLayout &Layout) {
Evgeniy Stepanova023f792016-03-28 20:36:28 +0000378 // Section symbols are used as definitions for undefined symbols with matching
379 // names. If there are multiple sections with the same name, the first one is
380 // used.
381 for (const MCSection &Sec : Asm) {
382 const MCSymbol *Begin = Sec.getBeginSymbol();
383 if (!Begin)
384 continue;
385
386 const MCSymbol *Alias = Asm.getContext().lookupSymbol(Begin->getName());
387 if (!Alias || !Alias->isUndefined())
388 continue;
389
390 Renames.insert(
391 std::make_pair(cast<MCSymbolELF>(Alias), cast<MCSymbolELF>(Begin)));
392 }
393
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000394 // The presence of symbol versions causes undefined symbols and
395 // versions declared with @@@ to be renamed.
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000396 for (const MCSymbol &A : Asm.symbols()) {
397 const auto &Alias = cast<MCSymbolELF>(A);
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000398 // Not an alias.
Rafael Espindola6efaf112014-04-28 17:05:36 +0000399 if (!Alias.isVariable())
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000400 continue;
Rafael Espindola6efaf112014-04-28 17:05:36 +0000401 auto *Ref = dyn_cast<MCSymbolRefExpr>(Alias.getVariableValue());
402 if (!Ref)
403 continue;
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000404 const auto &Symbol = cast<MCSymbolELF>(Ref->getSymbol());
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000405
Benjamin Kramer14807272010-10-27 19:53:52 +0000406 StringRef AliasName = Alias.getName();
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000407 size_t Pos = AliasName.find('@');
408 if (Pos == StringRef::npos)
409 continue;
410
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000411 // Aliases defined with .symvar copy the binding from the symbol they alias.
412 // This is the first place we are able to copy this information.
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000413 Alias.setExternal(Symbol.isExternal());
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000414 Alias.setBinding(Symbol.getBinding());
Rafael Espindola6cd76e62010-10-28 18:33:03 +0000415
Benjamin Kramer14807272010-10-27 19:53:52 +0000416 StringRef Rest = AliasName.substr(Pos);
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000417 if (!Symbol.isUndefined() && !Rest.startswith("@@@"))
418 continue;
419
Rafael Espindola26496e62010-10-27 17:56:18 +0000420 // FIXME: produce a better error message.
421 if (Symbol.isUndefined() && Rest.startswith("@@") &&
422 !Rest.startswith("@@@"))
423 report_fatal_error("A @@ version cannot be undefined");
424
Benjamin Kramer14807272010-10-27 19:53:52 +0000425 Renames.insert(std::make_pair(&Symbol, &Alias));
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000426 }
427}
428
Roman Divacky5a1c5492014-01-07 20:17:03 +0000429static uint8_t mergeTypeForSet(uint8_t origType, uint8_t newType) {
430 uint8_t Type = newType;
431
432 // Propagation rules:
433 // IFUNC > FUNC > OBJECT > NOTYPE
434 // TLS_OBJECT > OBJECT > NOTYPE
435 //
436 // dont let the new type degrade the old type
437 switch (origType) {
438 default:
439 break;
440 case ELF::STT_GNU_IFUNC:
441 if (Type == ELF::STT_FUNC || Type == ELF::STT_OBJECT ||
442 Type == ELF::STT_NOTYPE || Type == ELF::STT_TLS)
443 Type = ELF::STT_GNU_IFUNC;
444 break;
445 case ELF::STT_FUNC:
446 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE ||
447 Type == ELF::STT_TLS)
448 Type = ELF::STT_FUNC;
449 break;
450 case ELF::STT_OBJECT:
451 if (Type == ELF::STT_NOTYPE)
452 Type = ELF::STT_OBJECT;
453 break;
454 case ELF::STT_TLS:
455 if (Type == ELF::STT_OBJECT || Type == ELF::STT_NOTYPE ||
456 Type == ELF::STT_GNU_IFUNC || Type == ELF::STT_FUNC)
457 Type = ELF::STT_TLS;
458 break;
459 }
460
461 return Type;
462}
463
Rafael Espindolae48421f2015-05-28 20:25:29 +0000464void ELFObjectWriter::writeSymbol(SymbolTableWriter &Writer,
465 uint32_t StringIndex, ELFSymbolData &MSD,
Daniel Dunbarfe0c28f2010-11-13 07:33:40 +0000466 const MCAsmLayout &Layout) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000467 const auto &Symbol = cast<MCSymbolELF>(*MSD.Symbol);
Rafael Espindolaa8695762015-06-02 00:25:12 +0000468 const MCSymbolELF *Base =
469 cast_or_null<MCSymbolELF>(Layout.getBaseSymbol(Symbol));
Rafael Espindola85a84912014-03-26 00:16:43 +0000470
471 // This has to be in sync with when computeSymbolTable uses SHN_ABS or
472 // SHN_COMMON.
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000473 bool IsReserved = !Base || Symbol.isCommon();
Rafael Espindola3fe87a12010-10-31 00:16:26 +0000474
Jack Carter2f8d9d92013-02-19 21:57:35 +0000475 // Binding and Type share the same byte as upper and lower nibbles
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000476 uint8_t Binding = Symbol.getBinding();
477 uint8_t Type = Symbol.getType();
Rafael Espindolaa6e3a592014-03-23 03:33:20 +0000478 if (Base) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000479 Type = mergeTypeForSet(Type, Base->getType());
Rafael Espindolaa6e3a592014-03-23 03:33:20 +0000480 }
Rafael Espindolaf8794ff2015-06-04 00:47:43 +0000481 uint8_t Info = (Binding << 4) | Type;
Jack Carter2f8d9d92013-02-19 21:57:35 +0000482
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000483 // Other and Visibility share the same byte with Visibility using the lower
Jack Carter2f8d9d92013-02-19 21:57:35 +0000484 // 2 bits
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000485 uint8_t Visibility = Symbol.getVisibility();
Rafael Espindola8c006ee2015-06-04 05:59:23 +0000486 uint8_t Other = Symbol.getOther() | Visibility;
Rafael Espindola5f2d6a52010-10-06 21:02:29 +0000487
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000488 uint64_t Value = SymbolValue(*MSD.Symbol, Layout);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000489 uint64_t Size = 0;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000490
Rafael Espindola7c23cba2015-05-29 17:24:52 +0000491 const MCExpr *ESize = MSD.Symbol->getSize();
Rafael Espindolaa041ef12014-03-27 00:28:24 +0000492 if (!ESize && Base)
Rafael Espindola7c23cba2015-05-29 17:24:52 +0000493 ESize = Base->getSize();
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000494
Rafael Espindola73c0ae72010-12-22 16:03:00 +0000495 if (ESize) {
496 int64_t Res;
Rafael Espindola94a88d72015-04-06 15:27:57 +0000497 if (!ESize->evaluateKnownAbsolute(Res, Layout))
Rafael Espindola73c0ae72010-12-22 16:03:00 +0000498 report_fatal_error("Size expression must be absolute.");
499 Size = Res;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000500 }
501
502 // Write out the symbol table entry
Rafael Espindolae48421f2015-05-28 20:25:29 +0000503 Writer.writeSymbol(StringIndex, Info, Value, Size, Other, MSD.SectionIndex,
504 IsReserved);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000505}
506
Rafael Espindola5904e122014-03-29 06:26:49 +0000507// It is always valid to create a relocation with a symbol. It is preferable
508// to use a relocation with a section if that is possible. Using the section
509// allows us to omit some local symbols from the symbol table.
Rafael Espindolab60c8292014-04-29 12:46:50 +0000510bool ELFObjectWriter::shouldRelocateWithSymbol(const MCAssembler &Asm,
511 const MCSymbolRefExpr *RefA,
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000512 const MCSymbol *S, uint64_t C,
Rafael Espindola5904e122014-03-29 06:26:49 +0000513 unsigned Type) const {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000514 const auto *Sym = cast_or_null<MCSymbolELF>(S);
Rafael Espindola5904e122014-03-29 06:26:49 +0000515 // A PCRel relocation to an absolute value has no symbol (or section). We
516 // represent that with a relocation to a null section.
517 if (!RefA)
518 return false;
Rafael Espindola240028d2010-11-14 23:53:26 +0000519
Rafael Espindola5904e122014-03-29 06:26:49 +0000520 MCSymbolRefExpr::VariantKind Kind = RefA->getKind();
521 switch (Kind) {
522 default:
523 break;
524 // The .odp creation emits a relocation against the symbol ".TOC." which
525 // create a R_PPC64_TOC relocation. However the relocation symbol name
526 // in final object creation should be NULL, since the symbol does not
527 // really exist, it is just the reference to TOC base for the current
528 // object file. Since the symbol is undefined, returning false results
529 // in a relocation with a null section which is the desired result.
530 case MCSymbolRefExpr::VK_PPC_TOCBASE:
531 return false;
532
533 // These VariantKind cause the relocation to refer to something other than
534 // the symbol itself, like a linker generated table. Since the address of
535 // symbol is not relevant, we cannot replace the symbol with the
536 // section and patch the difference in the addend.
537 case MCSymbolRefExpr::VK_GOT:
538 case MCSymbolRefExpr::VK_PLT:
539 case MCSymbolRefExpr::VK_GOTPCREL:
540 case MCSymbolRefExpr::VK_Mips_GOT:
541 case MCSymbolRefExpr::VK_PPC_GOT_LO:
542 case MCSymbolRefExpr::VK_PPC_GOT_HI:
543 case MCSymbolRefExpr::VK_PPC_GOT_HA:
544 return true;
Rafael Espindola240028d2010-11-14 23:53:26 +0000545 }
Rafael Espindola240028d2010-11-14 23:53:26 +0000546
Rafael Espindola5904e122014-03-29 06:26:49 +0000547 // An undefined symbol is not in any section, so the relocation has to point
548 // to the symbol itself.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000549 assert(Sym && "Expected a symbol");
550 if (Sym->isUndefined())
Rafael Espindola5904e122014-03-29 06:26:49 +0000551 return true;
552
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000553 unsigned Binding = Sym->getBinding();
Rafael Espindola5904e122014-03-29 06:26:49 +0000554 switch(Binding) {
555 default:
556 llvm_unreachable("Invalid Binding");
557 case ELF::STB_LOCAL:
558 break;
559 case ELF::STB_WEAK:
560 // If the symbol is weak, it might be overridden by a symbol in another
561 // file. The relocation has to point to the symbol so that the linker
562 // can update it.
563 return true;
564 case ELF::STB_GLOBAL:
565 // Global ELF symbols can be preempted by the dynamic linker. The relocation
566 // has to point to the symbol for a reason analogous to the STB_WEAK case.
567 return true;
Rafael Espindola8c3039b2010-11-15 16:33:49 +0000568 }
Rafael Espindola75d65b92010-09-25 05:42:19 +0000569
Rafael Espindola5904e122014-03-29 06:26:49 +0000570 // If a relocation points to a mergeable section, we have to be careful.
571 // If the offset is zero, a relocation with the section will encode the
572 // same information. With a non-zero offset, the situation is different.
573 // For example, a relocation can point 42 bytes past the end of a string.
574 // If we change such a relocation to use the section, the linker would think
575 // that it pointed to another string and subtracting 42 at runtime will
576 // produce the wrong value.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000577 auto &Sec = cast<MCSectionELF>(Sym->getSection());
Rafael Espindola5904e122014-03-29 06:26:49 +0000578 unsigned Flags = Sec.getFlags();
579 if (Flags & ELF::SHF_MERGE) {
580 if (C != 0)
581 return true;
Rafael Espindolab1b49782014-04-02 12:15:20 +0000582
583 // It looks like gold has a bug (http://sourceware.org/PR16794) and can
584 // only handle section relocations to mergeable sections if using RELA.
585 if (!hasRelocationAddend())
586 return true;
Rafael Espindola9f75d5d2010-11-24 21:57:39 +0000587 }
588
Rafael Espindola5904e122014-03-29 06:26:49 +0000589 // Most TLS relocations use a got, so they need the symbol. Even those that
Rafael Espindola11527a12014-10-06 12:33:27 +0000590 // are just an offset (@tpoff), require a symbol in gold versions before
591 // 5efeedf61e4fe720fd3e9a08e6c91c10abb66d42 (2014-09-26) which fixed
592 // http://sourceware.org/PR16773.
Rafael Espindola5904e122014-03-29 06:26:49 +0000593 if (Flags & ELF::SHF_TLS)
594 return true;
Rafael Espindolad7565c32010-10-05 23:57:26 +0000595
Rafael Espindola9ef84412014-04-11 19:18:01 +0000596 // If the symbol is a thumb function the final relocation must set the lowest
597 // bit. With a symbol that is done by just having the symbol have that bit
598 // set, so we would lose the bit if we relocated with the section.
599 // FIXME: We could use the section but add the bit to the relocation value.
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000600 if (Asm.isThumbFunc(Sym))
Rafael Espindola9ef84412014-04-11 19:18:01 +0000601 return true;
602
Rafael Espindolaece40ca2015-05-29 18:26:09 +0000603 if (TargetObjectWriter->needsRelocateWithSymbol(*Sym, Type))
Rafael Espindola5904e122014-03-29 06:26:49 +0000604 return true;
605 return false;
Rafael Espindola75d65b92010-09-25 05:42:19 +0000606}
607
Rafael Espindoladb8a5862015-04-17 20:05:17 +0000608// True if the assembler knows nothing about the final value of the symbol.
609// This doesn't cover the comdat issues, since in those cases the assembler
610// can at least know that all symbols in the section will move together.
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000611static bool isWeak(const MCSymbolELF &Sym) {
612 if (Sym.getType() == ELF::STT_GNU_IFUNC)
Rafael Espindolaa635d832015-04-17 08:46:11 +0000613 return true;
614
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000615 switch (Sym.getBinding()) {
Rafael Espindolaa635d832015-04-17 08:46:11 +0000616 default:
617 llvm_unreachable("Unknown binding");
618 case ELF::STB_LOCAL:
619 return false;
620 case ELF::STB_GLOBAL:
Rafael Espindoladb8a5862015-04-17 20:05:17 +0000621 return false;
Rafael Espindolaa635d832015-04-17 08:46:11 +0000622 case ELF::STB_WEAK:
623 case ELF::STB_GNU_UNIQUE:
624 return true;
625 }
Rafael Espindolac9e70682015-03-24 23:48:44 +0000626}
627
Jim Grosbach36e60e92015-06-04 22:24:41 +0000628void ELFObjectWriter::recordRelocation(MCAssembler &Asm,
Jason W Kim495c2bb2010-12-06 21:57:34 +0000629 const MCAsmLayout &Layout,
630 const MCFragment *Fragment,
Rafael Espindola26585542015-01-19 21:11:14 +0000631 const MCFixup &Fixup, MCValue Target,
632 bool &IsPCRel, uint64_t &FixedValue) {
Rafael Espindola7549f872015-05-26 00:36:57 +0000633 const MCSectionELF &FixupSection = cast<MCSectionELF>(*Fragment->getParent());
Rafael Espindola5904e122014-03-29 06:26:49 +0000634 uint64_t C = Target.getConstant();
635 uint64_t FixupOffset = Layout.getFragmentOffset(Fragment) + Fixup.getOffset();
Rafael Espindola00ebfd42016-01-13 22:23:36 +0000636 MCContext &Ctx = Asm.getContext();
Jason W Kim495c2bb2010-12-06 21:57:34 +0000637
Rafael Espindola5904e122014-03-29 06:26:49 +0000638 if (const MCSymbolRefExpr *RefB = Target.getSymB()) {
639 assert(RefB->getKind() == MCSymbolRefExpr::VK_None &&
640 "Should not have constructed this");
Jason W Kim495c2bb2010-12-06 21:57:34 +0000641
Rafael Espindola5904e122014-03-29 06:26:49 +0000642 // Let A, B and C being the components of Target and R be the location of
643 // the fixup. If the fixup is not pcrel, we want to compute (A - B + C).
644 // If it is pcrel, we want to compute (A - B + C - R).
Jason W Kim495c2bb2010-12-06 21:57:34 +0000645
Rafael Espindola5904e122014-03-29 06:26:49 +0000646 // In general, ELF has no relocations for -B. It can only represent (A + C)
647 // or (A + C - R). If B = R + K and the relocation is not pcrel, we can
648 // replace B to implement it: (A - R - K + C)
Oliver Stannard9be59af2015-11-17 10:00:43 +0000649 if (IsPCRel) {
Rafael Espindola00ebfd42016-01-13 22:23:36 +0000650 Ctx.reportError(
Rafael Espindola5904e122014-03-29 06:26:49 +0000651 Fixup.getLoc(),
652 "No relocation available to represent this relative expression");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000653 return;
654 }
David Majnemera45a1762014-01-06 07:39:46 +0000655
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000656 const auto &SymB = cast<MCSymbolELF>(RefB->getSymbol());
Jason W Kim495c2bb2010-12-06 21:57:34 +0000657
Oliver Stannard9be59af2015-11-17 10:00:43 +0000658 if (SymB.isUndefined()) {
Rafael Espindola00ebfd42016-01-13 22:23:36 +0000659 Ctx.reportError(Fixup.getLoc(),
660 Twine("symbol '") + SymB.getName() +
661 "' can not be undefined in a subtraction expression");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000662 return;
663 }
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();
Oliver Stannard9be59af2015-11-17 10:00:43 +0000667 if (&SecB != &FixupSection) {
Rafael Espindola00ebfd42016-01-13 22:23:36 +0000668 Ctx.reportError(Fixup.getLoc(),
669 "Cannot represent a difference across sections");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000670 return;
671 }
Jason W Kim495c2bb2010-12-06 21:57:34 +0000672
Duncan P. N. Exon Smith2a404832015-05-19 23:53:20 +0000673 uint64_t SymBOffset = Layout.getSymbolOffset(SymB);
Rafael Espindola5904e122014-03-29 06:26:49 +0000674 uint64_t K = SymBOffset - FixupOffset;
675 IsPCRel = true;
676 C -= K;
Jason W Kim495c2bb2010-12-06 21:57:34 +0000677 }
678
Rafael Espindola5904e122014-03-29 06:26:49 +0000679 // We either rejected the fixup or folded B into C at this point.
680 const MCSymbolRefExpr *RefA = Target.getSymA();
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000681 const auto *SymA = RefA ? cast<MCSymbolELF>(&RefA->getSymbol()) : nullptr;
Rafael Espindola5904e122014-03-29 06:26:49 +0000682
Rafael Espindola212fdde2015-06-03 21:52:06 +0000683 bool ViaWeakRef = false;
684 if (SymA && SymA->isVariable()) {
685 const MCExpr *Expr = SymA->getVariableValue();
686 if (const auto *Inner = dyn_cast<MCSymbolRefExpr>(Expr)) {
687 if (Inner->getKind() == MCSymbolRefExpr::VK_WEAKREF) {
688 SymA = cast<MCSymbolELF>(&Inner->getSymbol());
689 ViaWeakRef = true;
690 }
691 }
692 }
693
Rafael Espindola8340f942016-01-13 22:56:57 +0000694 unsigned Type = getRelocType(Ctx, Target, Fixup, IsPCRel);
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000695 bool RelocateWithSymbol = shouldRelocateWithSymbol(Asm, RefA, SymA, C, Type);
Rafael Espindola5904e122014-03-29 06:26:49 +0000696 if (!RelocateWithSymbol && SymA && !SymA->isUndefined())
Duncan P. N. Exon Smith2a404832015-05-19 23:53:20 +0000697 C += Layout.getSymbolOffset(*SymA);
Rafael Espindola5904e122014-03-29 06:26:49 +0000698
699 uint64_t Addend = 0;
700 if (hasRelocationAddend()) {
701 Addend = C;
702 C = 0;
703 }
704
705 FixedValue = C;
706
Rafael Espindola5904e122014-03-29 06:26:49 +0000707 if (!RelocateWithSymbol) {
708 const MCSection *SecA =
709 (SymA && !SymA->isUndefined()) ? &SymA->getSection() : nullptr;
Rafael Espindolab6613022014-10-17 01:48:58 +0000710 auto *ELFSec = cast_or_null<MCSectionELF>(SecA);
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000711 const auto *SectionSymbol =
712 ELFSec ? cast<MCSymbolELF>(ELFSec->getBeginSymbol()) : nullptr;
Rafael Espindolaa401eee2015-06-04 15:33:30 +0000713 if (SectionSymbol)
714 SectionSymbol->setUsedInReloc();
Rafael Espindolab6613022014-10-17 01:48:58 +0000715 ELFRelocationEntry Rec(FixupOffset, SectionSymbol, Type, Addend);
Rafael Espindola34948e52015-04-30 00:45:46 +0000716 Relocations[&FixupSection].push_back(Rec);
Rafael Espindola5904e122014-03-29 06:26:49 +0000717 return;
718 }
Roman Divackydfbecd12011-08-04 19:08:19 +0000719
Rafael Espindola5904e122014-03-29 06:26:49 +0000720 if (SymA) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000721 if (const MCSymbolELF *R = Renames.lookup(SymA))
Rafael Espindola5904e122014-03-29 06:26:49 +0000722 SymA = R;
Rafael Espindolad7facaf2011-08-04 13:05:26 +0000723
Rafael Espindola212fdde2015-06-03 21:52:06 +0000724 if (ViaWeakRef)
725 SymA->setIsWeakrefUsedInReloc();
Rafael Espindola5904e122014-03-29 06:26:49 +0000726 else
Rafael Espindolaada43f62015-06-03 21:30:10 +0000727 SymA->setUsedInReloc();
Rafael Espindola5904e122014-03-29 06:26:49 +0000728 }
729 ELFRelocationEntry Rec(FixupOffset, SymA, Type, Addend);
Rafael Espindola34948e52015-04-30 00:45:46 +0000730 Relocations[&FixupSection].push_back(Rec);
Jason W Kim495c2bb2010-12-06 21:57:34 +0000731}
732
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000733bool ELFObjectWriter::isInSymtab(const MCAsmLayout &Layout,
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000734 const MCSymbolELF &Symbol, bool Used,
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000735 bool Renamed) {
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000736 if (Symbol.isVariable()) {
737 const MCExpr *Expr = Symbol.getVariableValue();
738 if (const MCSymbolRefExpr *Ref = dyn_cast<MCSymbolRefExpr>(Expr)) {
739 if (Ref->getKind() == MCSymbolRefExpr::VK_WEAKREF)
740 return false;
741 }
742 }
Rafael Espindola16145972010-11-01 14:28:48 +0000743
Rafael Espindolaee8d1512010-10-19 19:31:37 +0000744 if (Used)
745 return true;
746
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000747 if (Renamed)
748 return false;
749
Rafael Espindolaef1e8632015-06-03 21:23:21 +0000750 if (Symbol.isVariable() && Symbol.isUndefined()) {
751 // FIXME: this is here just to diagnose the case of a var = commmon_sym.
752 Layout.getBaseSymbol(Symbol);
753 return false;
Rafael Espindola3b5ee552014-04-28 13:39:57 +0000754 }
Rafael Espindola9e18e962011-02-23 20:22:07 +0000755
Rafael Espindolaef1e8632015-06-03 21:23:21 +0000756 if (Symbol.isUndefined() && !Symbol.isBindingSet())
Rafael Espindolaa5efd6a2010-10-27 14:44:52 +0000757 return false;
758
Rafael Espindolaee8d1512010-10-19 19:31:37 +0000759 if (Symbol.isTemporary())
Rafael Espindolab1d07892010-10-05 18:01:23 +0000760 return false;
761
Rafael Espindolaa401eee2015-06-04 15:33:30 +0000762 if (Symbol.getType() == ELF::STT_SECTION)
763 return false;
764
Rafael Espindolab1d07892010-10-05 18:01:23 +0000765 return true;
766}
767
Rafael Espindolaea1b3942015-04-07 19:00:17 +0000768void ELFObjectWriter::computeSymbolTable(
769 MCAssembler &Asm, const MCAsmLayout &Layout,
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000770 const SectionIndexMapTy &SectionIndexMap, const RevGroupMapTy &RevGroupMap,
771 SectionOffsetsTy &SectionOffsets) {
Rafael Espindola5960cee2015-05-22 23:58:30 +0000772 MCContext &Ctx = Asm.getContext();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000773 SymbolTableWriter Writer(*this, is64Bit());
774
Rafael Espindola5960cee2015-05-22 23:58:30 +0000775 // Symbol table
776 unsigned EntrySize = is64Bit() ? ELF::SYMENTRY_SIZE64 : ELF::SYMENTRY_SIZE32;
777 MCSectionELF *SymtabSection =
778 Ctx.getELFSection(".symtab", ELF::SHT_SYMTAB, 0, EntrySize, "");
779 SymtabSection->setAlignment(is64Bit() ? 8 : 4);
780 SymbolTableIndex = addToSectionTable(SymtabSection);
781
Rafael Espindolab20fbb82015-06-05 18:21:00 +0000782 align(SymtabSection->getAlignment());
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000783 uint64_t SecStart = getStream().tell();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000784
785 // The first entry is the undefined symbol entry.
786 Writer.writeSymbol(0, 0, 0, 0, 0, 0, false);
787
Rafael Espindolacfbd35c2015-05-28 20:11:34 +0000788 std::vector<ELFSymbolData> LocalSymbolData;
789 std::vector<ELFSymbolData> ExternalSymbolData;
Rafael Espindolacfbd35c2015-05-28 20:11:34 +0000790
Rafael Espindolabee6e9f2010-10-14 16:34:44 +0000791 // Add the data for the symbols.
Rafael Espindola5960cee2015-05-22 23:58:30 +0000792 bool HasLargeSectionIndex = false;
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000793 for (const MCSymbol &S : Asm.symbols()) {
794 const auto &Symbol = cast<MCSymbolELF>(S);
Rafael Espindolaada43f62015-06-03 21:30:10 +0000795 bool Used = Symbol.isUsedInReloc();
Rafael Espindola212fdde2015-06-03 21:52:06 +0000796 bool WeakrefUsed = Symbol.isWeakrefUsedInReloc();
Rafael Espindola8c52a9b2015-06-03 21:41:59 +0000797 bool isSignature = Symbol.isSignature();
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000798
Duncan P. N. Exon Smith469f9db2015-05-20 04:39:01 +0000799 if (!isInSymtab(Layout, Symbol, Used || WeakrefUsed || isSignature,
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000800 Renames.count(&Symbol)))
Matt Fleming6c1ad482010-08-16 18:57:57 +0000801 continue;
802
Oliver Stannard9be59af2015-11-17 10:00:43 +0000803 if (Symbol.isTemporary() && Symbol.isUndefined()) {
804 Ctx.reportError(SMLoc(), "Undefined temporary symbol");
805 continue;
806 }
Rafael Espindola6dff8142015-06-25 20:10:45 +0000807
Matt Fleming6c1ad482010-08-16 18:57:57 +0000808 ELFSymbolData MSD;
Rafael Espindolaa8695762015-06-02 00:25:12 +0000809 MSD.Symbol = cast<MCSymbolELF>(&Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000810
Rafael Espindola8c52a9b2015-06-03 21:41:59 +0000811 bool Local = Symbol.getBinding() == ELF::STB_LOCAL;
Rafael Espindola6dff8142015-06-25 20:10:45 +0000812 assert(Local || !Symbol.isTemporary());
813
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000814 if (Symbol.isAbsolute()) {
Rafael Espindola022bb762014-03-24 03:43:21 +0000815 MSD.SectionIndex = ELF::SHN_ABS;
Rafael Espindola14672502015-05-29 17:48:04 +0000816 } else if (Symbol.isCommon()) {
Rafael Espindolabee6e9f2010-10-14 16:34:44 +0000817 assert(!Local);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000818 MSD.SectionIndex = ELF::SHN_COMMON;
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000819 } else if (Symbol.isUndefined()) {
Rafael Espindola5960cee2015-05-22 23:58:30 +0000820 if (isSignature && !Used) {
Rafael Espindola89feff32015-04-28 22:59:58 +0000821 MSD.SectionIndex = RevGroupMap.lookup(&Symbol);
Rafael Espindola5960cee2015-05-22 23:58:30 +0000822 if (MSD.SectionIndex >= ELF::SHN_LORESERVE)
823 HasLargeSectionIndex = true;
824 } else {
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000825 MSD.SectionIndex = ELF::SHN_UNDEF;
Rafael Espindola5960cee2015-05-22 23:58:30 +0000826 }
Matt Fleming6c1ad482010-08-16 18:57:57 +0000827 } else {
Rafael Espindolad6340032010-11-10 21:51:05 +0000828 const MCSectionELF &Section =
Rafael Espindolaf4b44302015-05-29 15:07:27 +0000829 static_cast<const MCSectionELF &>(Symbol.getSection());
Rafael Espindolad6340032010-11-10 21:51:05 +0000830 MSD.SectionIndex = SectionIndexMap.lookup(&Section);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000831 assert(MSD.SectionIndex && "Invalid section index!");
Rafael Espindola5960cee2015-05-22 23:58:30 +0000832 if (MSD.SectionIndex >= ELF::SHN_LORESERVE)
833 HasLargeSectionIndex = true;
Rafael Espindolafbcf0db2010-10-15 15:39:06 +0000834 }
835
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000836 // The @@@ in symbol version is replaced with @ in undefined symbols and @@
837 // in defined ones.
838 //
839 // FIXME: All name handling should be done before we get to the writer,
NAKAMURA Takumib01d86b2015-02-25 11:02:00 +0000840 // including dealing with GNU-style version suffixes. Fixing this isn't
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000841 // trivial.
842 //
843 // We thus have to be careful to not perform the symbol version replacement
844 // blindly:
845 //
846 // The ELF format is used on Windows by the MCJIT engine. Thus, on
847 // Windows, the ELFObjectWriter can encounter symbols mangled using the MS
848 // Visual Studio C++ name mangling scheme. Symbols mangled using the MSVC
849 // C++ name mangling can legally have "@@@" as a sub-string. In that case,
850 // the EFLObjectWriter should not interpret the "@@@" sub-string as
851 // specifying GNU-style symbol versioning. The ELFObjectWriter therefore
852 // checks for the MSVC C++ name mangling prefix which is either "?", "@?",
853 // "__imp_?" or "__imp_@?".
854 //
855 // It would have been interesting to perform the MS mangling prefix check
856 // only when the target triple is of the form *-pc-windows-elf. But, it
857 // seems that this information is not easily accessible from the
858 // ELFObjectWriter.
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000859 StringRef Name = Symbol.getName();
Evgeniy Stepanov9e0d41a2015-06-22 23:36:03 +0000860 SmallString<32> Buf;
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000861 if (!Name.startswith("?") && !Name.startswith("@?") &&
862 !Name.startswith("__imp_?") && !Name.startswith("__imp_@?")) {
863 // This symbol isn't following the MSVC C++ name mangling convention. We
864 // can thus safely interpret the @@@ in symbol names as specifying symbol
865 // versioning.
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000866 size_t Pos = Name.find("@@@");
867 if (Pos != StringRef::npos) {
868 Buf += Name.substr(0, Pos);
869 unsigned Skip = MSD.SectionIndex == ELF::SHN_UNDEF ? 2 : 1;
870 Buf += Name.substr(Pos + Skip);
Rafael Espindolafc063e82015-10-22 18:32:06 +0000871 Name = VersionSymSaver.save(Buf.c_str());
Rafael Espindola5a67ed12015-01-22 14:20:45 +0000872 }
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000873 }
Rafael Espindolab6613022014-10-17 01:48:58 +0000874
875 // Sections have their own string table
Rafael Espindolafc063e82015-10-22 18:32:06 +0000876 if (Symbol.getType() != ELF::STT_SECTION) {
877 MSD.Name = Name;
878 StrTabBuilder.add(Name);
879 }
Rafael Espindolaeb0c2c12010-10-27 15:18:17 +0000880
Rafael Espindola10d23872015-05-29 14:20:40 +0000881 if (Local)
Rafael Espindolaa5efd6a2010-10-27 14:44:52 +0000882 LocalSymbolData.push_back(MSD);
883 else
884 ExternalSymbolData.push_back(MSD);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000885 }
886
Rafael Espindola2cd19512015-07-02 16:59:57 +0000887 // This holds the .symtab_shndx section index.
888 unsigned SymtabShndxSectionIndex = 0;
889
Rafael Espindola5960cee2015-05-22 23:58:30 +0000890 if (HasLargeSectionIndex) {
891 MCSectionELF *SymtabShndxSection =
892 Ctx.getELFSection(".symtab_shndxr", ELF::SHT_SYMTAB_SHNDX, 0, 4, "");
893 SymtabShndxSectionIndex = addToSectionTable(SymtabShndxSection);
894 SymtabShndxSection->setAlignment(4);
895 }
896
Rafael Espindola1fd36272015-05-28 19:29:15 +0000897 ArrayRef<std::string> FileNames = Asm.getFileNames();
898 for (const std::string &Name : FileNames)
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000899 StrTabBuilder.add(Name);
Hans Wennborg83e6e1e2014-04-30 16:25:02 +0000900
Rafael Espindola21956e42015-10-23 21:48:05 +0000901 StrTabBuilder.finalize();
Hans Wennborg83e6e1e2014-04-30 16:25:02 +0000902
Rafael Espindola0cbea292015-05-28 20:00:13 +0000903 for (const std::string &Name : FileNames)
904 Writer.writeSymbol(StrTabBuilder.getOffset(Name),
905 ELF::STT_FILE | ELF::STB_LOCAL, 0, 0, ELF::STV_DEFAULT,
906 ELF::SHN_ABS, true);
907
Matt Fleming6c1ad482010-08-16 18:57:57 +0000908 // Symbols are required to be in lexicographic order.
909 array_pod_sort(LocalSymbolData.begin(), LocalSymbolData.end());
910 array_pod_sort(ExternalSymbolData.begin(), ExternalSymbolData.end());
Matt Fleming6c1ad482010-08-16 18:57:57 +0000911
912 // Set the symbol indices. Local symbols must come before all other
913 // symbols with non-local bindings.
Rafael Espindola1fd36272015-05-28 19:29:15 +0000914 unsigned Index = FileNames.size() + 1;
Rafael Espindola0e3decf2010-11-14 03:12:24 +0000915
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000916 for (ELFSymbolData &MSD : LocalSymbolData) {
Daniel Jasper41de8022015-06-23 11:31:32 +0000917 unsigned StringIndex = MSD.Symbol->getType() == ELF::STT_SECTION
918 ? 0
919 : StrTabBuilder.getOffset(MSD.Name);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000920 MSD.Symbol->setIndex(Index++);
Rafael Espindolae48421f2015-05-28 20:25:29 +0000921 writeSymbol(Writer, StringIndex, MSD, Layout);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000922 }
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000923
924 // Write the symbol table entries.
Rafael Espindola0cbea292015-05-28 20:00:13 +0000925 LastLocalSymbolIndex = Index;
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000926
Rafael Espindoladcda9972015-05-28 19:43:20 +0000927 for (ELFSymbolData &MSD : ExternalSymbolData) {
Rafael Espindolae48421f2015-05-28 20:25:29 +0000928 unsigned StringIndex = StrTabBuilder.getOffset(MSD.Name);
Rafael Espindola0cbea292015-05-28 20:00:13 +0000929 MSD.Symbol->setIndex(Index++);
Rafael Espindolae48421f2015-05-28 20:25:29 +0000930 writeSymbol(Writer, StringIndex, MSD, Layout);
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000931 assert(MSD.Symbol->getBinding() != ELF::STB_LOCAL);
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000932 }
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000933
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000934 uint64_t SecEnd = getStream().tell();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000935 SectionOffsets[SymtabSection] = std::make_pair(SecStart, SecEnd);
936
937 ArrayRef<uint32_t> ShndxIndexes = Writer.getShndxIndexes();
938 if (ShndxIndexes.empty()) {
939 assert(SymtabShndxSectionIndex == 0);
940 return;
941 }
942 assert(SymtabShndxSectionIndex != 0);
943
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000944 SecStart = getStream().tell();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000945 const MCSectionELF *SymtabShndxSection =
946 SectionTable[SymtabShndxSectionIndex - 1];
947 for (uint32_t Index : ShndxIndexes)
948 write(Index);
David Majnemerabdb2d2a2015-09-01 16:19:03 +0000949 SecEnd = getStream().tell();
Rafael Espindolaaa486e92015-05-28 17:54:01 +0000950 SectionOffsets[SymtabShndxSection] = std::make_pair(SecStart, SecEnd);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000951}
952
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000953MCSectionELF *
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000954ELFObjectWriter::createRelocationSection(MCContext &Ctx,
Rafael Espindolabda19802015-04-30 14:21:49 +0000955 const MCSectionELF &Sec) {
Rafael Espindola34948e52015-04-30 00:45:46 +0000956 if (Relocations[&Sec].empty())
Rafael Espindolabda19802015-04-30 14:21:49 +0000957 return nullptr;
Rafael Espindola1557fd62011-03-20 18:44:20 +0000958
Rafael Espindola34948e52015-04-30 00:45:46 +0000959 const StringRef SectionName = Sec.getSectionName();
Rafael Espindolaead85492015-02-17 20:31:13 +0000960 std::string RelaSectionName = hasRelocationAddend() ? ".rela" : ".rel";
961 RelaSectionName += SectionName;
Benjamin Kramerfd054152010-08-17 17:56:13 +0000962
Rafael Espindolaead85492015-02-17 20:31:13 +0000963 unsigned EntrySize;
964 if (hasRelocationAddend())
965 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rela) : sizeof(ELF::Elf32_Rela);
966 else
967 EntrySize = is64Bit() ? sizeof(ELF::Elf64_Rel) : sizeof(ELF::Elf32_Rel);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000968
Rafael Espindolaead85492015-02-17 20:31:13 +0000969 unsigned Flags = 0;
Rafael Espindola34948e52015-04-30 00:45:46 +0000970 if (Sec.getFlags() & ELF::SHF_GROUP)
Rafael Espindolaead85492015-02-17 20:31:13 +0000971 Flags = ELF::SHF_GROUP;
Rafael Espindolaead85492015-02-17 20:31:13 +0000972
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000973 MCSectionELF *RelaSection = Ctx.createELFRelSection(
Rafael Espindolaead85492015-02-17 20:31:13 +0000974 RelaSectionName, hasRelocationAddend() ? ELF::SHT_RELA : ELF::SHT_REL,
Rafael Espindola34948e52015-04-30 00:45:46 +0000975 Flags, EntrySize, Sec.getGroup(), &Sec);
Rafael Espindola0a82ad72015-05-21 20:43:13 +0000976 RelaSection->setAlignment(is64Bit() ? 8 : 4);
Rafael Espindolabda19802015-04-30 14:21:49 +0000977 return RelaSection;
Rafael Espindola1557fd62011-03-20 18:44:20 +0000978}
Matt Fleming6c1ad482010-08-16 18:57:57 +0000979
David Blaikie8019bf82014-04-10 21:53:53 +0000980// Include the debug info compression header:
981// "ZLIB" followed by 8 bytes representing the uncompressed size of the section,
982// useful for consumers to preallocate a buffer to decompress into.
David Blaikie76d3a3c2014-04-18 21:52:26 +0000983static bool
David Blaikiee06e8012014-04-11 22:11:50 +0000984prependCompressionHeader(uint64_t Size,
985 SmallVectorImpl<char> &CompressedContents) {
Benjamin Kramer7149aab2015-03-01 18:09:56 +0000986 const StringRef Magic = "ZLIB";
David Blaikie76d3a3c2014-04-18 21:52:26 +0000987 if (Size <= Magic.size() + sizeof(Size) + CompressedContents.size())
988 return false;
David Blaikie8019bf82014-04-10 21:53:53 +0000989 if (sys::IsLittleEndianHost)
Artyom Skrobov9aea8432014-06-14 13:18:07 +0000990 sys::swapByteOrder(Size);
David Blaikie8019bf82014-04-10 21:53:53 +0000991 CompressedContents.insert(CompressedContents.begin(),
992 Magic.size() + sizeof(Size), 0);
993 std::copy(Magic.begin(), Magic.end(), CompressedContents.begin());
994 std::copy(reinterpret_cast<char *>(&Size),
995 reinterpret_cast<char *>(&Size + 1),
996 CompressedContents.begin() + Magic.size());
David Blaikie76d3a3c2014-04-18 21:52:26 +0000997 return true;
David Blaikie8019bf82014-04-10 21:53:53 +0000998}
999
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001000void ELFObjectWriter::writeSectionData(const MCAssembler &Asm, MCSection &Sec,
Rafael Espindola868b3f42015-04-30 21:51:58 +00001001 const MCAsmLayout &Layout) {
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001002 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001003 StringRef SectionName = Section.getSectionName();
David Blaikie8019bf82014-04-10 21:53:53 +00001004
Rafael Espindola868b3f42015-04-30 21:51:58 +00001005 // Compressing debug_frame requires handling alignment fragments which is
1006 // more work (possibly generalizing MCAssembler.cpp:writeFragment to allow
1007 // for writing to arbitrary buffers) for little benefit.
1008 if (!Asm.getContext().getAsmInfo()->compressDebugSections() ||
1009 !SectionName.startswith(".debug_") || SectionName == ".debug_frame") {
Rafael Espindola64acc7f2015-05-26 02:17:21 +00001010 Asm.writeSectionData(&Section, Layout);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001011 return;
1012 }
1013
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001014 SmallVector<char, 128> UncompressedData;
1015 raw_svector_ostream VecOS(UncompressedData);
1016 raw_pwrite_stream &OldStream = getStream();
1017 setStream(VecOS);
1018 Asm.writeSectionData(&Section, Layout);
1019 setStream(OldStream);
David Blaikie8019bf82014-04-10 21:53:53 +00001020
Rafael Espindola868b3f42015-04-30 21:51:58 +00001021 SmallVector<char, 128> CompressedContents;
David Blaikie8019bf82014-04-10 21:53:53 +00001022 zlib::Status Success = zlib::compress(
1023 StringRef(UncompressedData.data(), UncompressedData.size()),
1024 CompressedContents);
Rafael Espindola868b3f42015-04-30 21:51:58 +00001025 if (Success != zlib::StatusOK) {
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001026 getStream() << UncompressedData;
David Blaikie8019bf82014-04-10 21:53:53 +00001027 return;
Rafael Espindola868b3f42015-04-30 21:51:58 +00001028 }
David Blaikie8019bf82014-04-10 21:53:53 +00001029
Rafael Espindola868b3f42015-04-30 21:51:58 +00001030 if (!prependCompressionHeader(UncompressedData.size(), CompressedContents)) {
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001031 getStream() << UncompressedData;
Rafael Espindola868b3f42015-04-30 21:51:58 +00001032 return;
1033 }
David Blaikie8019bf82014-04-10 21:53:53 +00001034 Asm.getContext().renameELFSection(&Section,
1035 (".z" + SectionName.drop_front(1)).str());
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001036 getStream() << CompressedContents;
David Blaikie8019bf82014-04-10 21:53:53 +00001037}
1038
Daniel Dunbarfe0c28f2010-11-13 07:33:40 +00001039void ELFObjectWriter::WriteSecHdrEntry(uint32_t Name, uint32_t Type,
1040 uint64_t Flags, uint64_t Address,
1041 uint64_t Offset, uint64_t Size,
1042 uint32_t Link, uint32_t Info,
1043 uint64_t Alignment,
1044 uint64_t EntrySize) {
Jim Grosbach36e60e92015-06-04 22:24:41 +00001045 write32(Name); // sh_name: index into string table
1046 write32(Type); // sh_type
Matt Fleming6c1ad482010-08-16 18:57:57 +00001047 WriteWord(Flags); // sh_flags
1048 WriteWord(Address); // sh_addr
1049 WriteWord(Offset); // sh_offset
1050 WriteWord(Size); // sh_size
Jim Grosbach36e60e92015-06-04 22:24:41 +00001051 write32(Link); // sh_link
1052 write32(Info); // sh_info
Matt Fleming6c1ad482010-08-16 18:57:57 +00001053 WriteWord(Alignment); // sh_addralign
1054 WriteWord(EntrySize); // sh_entsize
1055}
1056
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001057void ELFObjectWriter::writeRelocations(const MCAssembler &Asm,
Rafael Espindola34948e52015-04-30 00:45:46 +00001058 const MCSectionELF &Sec) {
1059 std::vector<ELFRelocationEntry> &Relocs = Relocations[&Sec];
Akira Hatanaka64ad2cf2012-03-23 23:06:45 +00001060
Rafael Espindolaf44db242015-12-17 16:22:06 +00001061 // We record relocations by pushing to the end of a vector. Reverse the vector
1062 // to get the relocations in the order they were created.
1063 // In most cases that is not important, but it can be for special sections
1064 // (.eh_frame) or specific relocations (TLS optimizations on SystemZ).
1065 std::reverse(Relocs.begin(), Relocs.end());
Rafael Espindolad0e16522015-12-17 15:08:24 +00001066
Rafael Espindolaf44db242015-12-17 16:22:06 +00001067 // Sort the relocation entries. MIPS needs this.
Petar Jovanovic0380d0b2015-04-14 13:23:34 +00001068 TargetObjectWriter->sortRelocs(Asm, Relocs);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001069
1070 for (unsigned i = 0, e = Relocs.size(); i != e; ++i) {
Rafael Espindola5904e122014-03-29 06:26:49 +00001071 const ELFRelocationEntry &Entry = Relocs[e - i - 1];
Rafael Espindola5e9ed902015-05-28 20:53:09 +00001072 unsigned Index = Entry.Symbol ? Entry.Symbol->getIndex() : 0;
Rafael Espindola5904e122014-03-29 06:26:49 +00001073
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001074 if (is64Bit()) {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001075 write(Entry.Offset);
Jack Carter8ad0c272012-06-27 22:28:30 +00001076 if (TargetObjectWriter->isN64()) {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001077 write(uint32_t(Index));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001078
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001079 write(TargetObjectWriter->getRSsym(Entry.Type));
1080 write(TargetObjectWriter->getRType3(Entry.Type));
1081 write(TargetObjectWriter->getRType2(Entry.Type));
1082 write(TargetObjectWriter->getRType(Entry.Type));
Rafael Espindola5904e122014-03-29 06:26:49 +00001083 } else {
Jack Carter8ad0c272012-06-27 22:28:30 +00001084 struct ELF::Elf64_Rela ERE64;
Rafael Espindola5904e122014-03-29 06:26:49 +00001085 ERE64.setSymbolAndType(Index, Entry.Type);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001086 write(ERE64.r_info);
Jack Carter8ad0c272012-06-27 22:28:30 +00001087 }
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001088 if (hasRelocationAddend())
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001089 write(Entry.Addend);
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001090 } else {
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001091 write(uint32_t(Entry.Offset));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001092
Rafael Espindolabce26a12010-10-05 15:11:03 +00001093 struct ELF::Elf32_Rela ERE32;
Rafael Espindola5904e122014-03-29 06:26:49 +00001094 ERE32.setSymbolAndType(Index, Entry.Type);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001095 write(ERE32.r_info);
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001096
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001097 if (hasRelocationAddend())
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001098 write(uint32_t(Entry.Addend));
Benjamin Kramer6c3c3492010-09-09 18:01:29 +00001099 }
Matt Fleming6c1ad482010-08-16 18:57:57 +00001100 }
1101}
1102
Rafael Espindolab1863912015-04-30 21:10:06 +00001103const MCSectionELF *ELFObjectWriter::createStringTable(MCContext &Ctx) {
Rafael Espindola08850b32015-05-25 21:56:55 +00001104 const MCSectionELF *StrtabSection = SectionTable[StringTableIndex - 1];
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001105 getStream() << StrTabBuilder.data();
Rafael Espindolabda19802015-04-30 14:21:49 +00001106 return StrtabSection;
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001107}
1108
Rafael Espindolae92c1bf2015-05-21 19:42:35 +00001109void ELFObjectWriter::writeSection(const SectionIndexMapTy &SectionIndexMap,
1110 uint32_t GroupSymbolIndex, uint64_t Offset,
1111 uint64_t Size, const MCSectionELF &Section) {
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001112 uint64_t sh_link = 0;
1113 uint64_t sh_info = 0;
1114
1115 switch(Section.getType()) {
Rafael Espindola86fe2fe2015-04-06 03:16:51 +00001116 default:
1117 // Nothing to do.
1118 break;
1119
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001120 case ELF::SHT_DYNAMIC:
Rafael Espindola74ef4802015-04-30 21:20:06 +00001121 llvm_unreachable("SHT_DYNAMIC in a relocatable object");
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001122
1123 case ELF::SHT_REL:
1124 case ELF::SHT_RELA: {
Rafael Espindola3a7c0eb2015-02-17 20:37:50 +00001125 sh_link = SymbolTableIndex;
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001126 assert(sh_link && ".symtab not found");
Rafael Espindolab73b70e2015-04-06 03:09:30 +00001127 const MCSectionELF *InfoSection = Section.getAssociatedSection();
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001128 sh_info = SectionIndexMap.lookup(InfoSection);
1129 break;
1130 }
1131
1132 case ELF::SHT_SYMTAB:
1133 case ELF::SHT_DYNSYM:
1134 sh_link = StringTableIndex;
1135 sh_info = LastLocalSymbolIndex;
1136 break;
1137
1138 case ELF::SHT_SYMTAB_SHNDX:
1139 sh_link = SymbolTableIndex;
1140 break;
1141
Nick Lewyckyc6ac5f72011-10-07 23:28:32 +00001142 case ELF::SHT_GROUP:
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001143 sh_link = SymbolTableIndex;
1144 sh_info = GroupSymbolIndex;
1145 break;
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001146 }
1147
Logan Chien4b724422013-02-05 14:18:59 +00001148 if (TargetObjectWriter->getEMachine() == ELF::EM_ARM &&
Rafael Espindola61e8ce32015-04-06 04:25:18 +00001149 Section.getType() == ELF::SHT_ARM_EXIDX)
1150 sh_link = SectionIndexMap.lookup(Section.getAssociatedSection());
Logan Chien4b724422013-02-05 14:18:59 +00001151
Rafael Espindola5960cee2015-05-22 23:58:30 +00001152 WriteSecHdrEntry(StrTabBuilder.getOffset(Section.getSectionName()),
Rafael Espindola28687582015-05-21 19:36:43 +00001153 Section.getType(), Section.getFlags(), 0, Offset, Size,
1154 sh_link, sh_info, Section.getAlignment(),
1155 Section.getEntrySize());
Rafael Espindola5a8d7812010-11-10 23:36:59 +00001156}
1157
Rafael Espindola7fe7e052015-02-17 20:40:59 +00001158void ELFObjectWriter::writeSectionHeader(
Rafael Espindola57c80832015-06-04 20:55:49 +00001159 const MCAsmLayout &Layout, const SectionIndexMapTy &SectionIndexMap,
Rafael Espindolaa8201692015-04-28 15:26:21 +00001160 const SectionOffsetsTy &SectionOffsets) {
Rafael Espindolab1863912015-04-30 21:10:06 +00001161 const unsigned NumSections = SectionTable.size();
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001162
Matt Fleming6c1ad482010-08-16 18:57:57 +00001163 // Null section first.
Rafael Espindola3fe87a12010-10-31 00:16:26 +00001164 uint64_t FirstSectionSize =
Rafael Espindolabf0db6c2015-04-15 13:07:47 +00001165 (NumSections + 1) >= ELF::SHN_LORESERVE ? NumSections + 1 : 0;
Rafael Espindola88d1f632015-04-29 20:25:24 +00001166 WriteSecHdrEntry(0, 0, 0, 0, 0, FirstSectionSize, 0, 0, 0, 0);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001167
Rafael Espindola08850b32015-05-25 21:56:55 +00001168 for (const MCSectionELF *Section : SectionTable) {
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001169 uint32_t GroupSymbolIndex;
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001170 unsigned Type = Section->getType();
1171 if (Type != ELF::SHT_GROUP)
Rafael Espindolaa3e9a222010-11-11 18:13:52 +00001172 GroupSymbolIndex = 0;
1173 else
Rafael Espindola5e9ed902015-05-28 20:53:09 +00001174 GroupSymbolIndex = Section->getGroup()->getIndex();
Matt Fleming6c1ad482010-08-16 18:57:57 +00001175
Rafael Espindolabda19802015-04-30 14:21:49 +00001176 const std::pair<uint64_t, uint64_t> &Offsets =
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001177 SectionOffsets.find(Section)->second;
Rafael Espindola1aa20fc2015-05-21 19:46:39 +00001178 uint64_t Size;
Rafael Espindola5a1e80b2015-05-26 02:00:36 +00001179 if (Type == ELF::SHT_NOBITS)
1180 Size = Layout.getSectionAddressSize(Section);
1181 else
Rafael Espindola1aa20fc2015-05-21 19:46:39 +00001182 Size = Offsets.second - Offsets.first;
Rafael Espindola60ebca92010-12-02 03:09:06 +00001183
Rafael Espindolae92c1bf2015-05-21 19:42:35 +00001184 writeSection(SectionIndexMap, GroupSymbolIndex, Offsets.first, Size,
Rafael Espindola28687582015-05-21 19:36:43 +00001185 *Section);
Matt Fleming6c1ad482010-08-16 18:57:57 +00001186 }
1187}
1188
Jim Grosbach36e60e92015-06-04 22:24:41 +00001189void ELFObjectWriter::writeObject(MCAssembler &Asm,
Rafael Espindola1557fd62011-03-20 18:44:20 +00001190 const MCAsmLayout &Layout) {
Rafael Espindolabda19802015-04-30 14:21:49 +00001191 MCContext &Ctx = Asm.getContext();
Rafael Espindola5960cee2015-05-22 23:58:30 +00001192 MCSectionELF *StrtabSection =
1193 Ctx.getELFSection(".strtab", ELF::SHT_STRTAB, 0);
1194 StringTableIndex = addToSectionTable(StrtabSection);
Rafael Espindolabda19802015-04-30 14:21:49 +00001195
Rafael Espindola1557fd62011-03-20 18:44:20 +00001196 RevGroupMapTy RevGroupMap;
1197 SectionIndexMapTy SectionIndexMap;
1198
Rafael Espindolabda19802015-04-30 14:21:49 +00001199 std::map<const MCSymbol *, std::vector<const MCSectionELF *>> GroupMembers;
Rafael Espindola1557fd62011-03-20 18:44:20 +00001200
Rafael Espindola1557fd62011-03-20 18:44:20 +00001201 // Write out the ELF header ...
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001202 writeHeader(Asm);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001203
Rafael Espindola7230f802015-04-08 11:41:24 +00001204 // ... then the sections ...
Rafael Espindolabda19802015-04-30 14:21:49 +00001205 SectionOffsetsTy SectionOffsets;
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001206 std::vector<MCSectionELF *> Groups;
1207 std::vector<MCSectionELF *> Relocations;
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001208 for (MCSection &Sec : Asm) {
1209 MCSectionELF &Section = static_cast<MCSectionELF &>(Sec);
Rafael Espindolabda19802015-04-30 14:21:49 +00001210
Rafael Espindolab20fbb82015-06-05 18:21:00 +00001211 align(Section.getAlignment());
Rafael Espindola1557fd62011-03-20 18:44:20 +00001212
Rafael Espindola642a2212015-04-14 22:54:16 +00001213 // Remember the offset into the file for this section.
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001214 uint64_t SecStart = getStream().tell();
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001215
Rafael Espindola0ccf9b72015-06-02 21:30:13 +00001216 const MCSymbolELF *SignatureSymbol = Section.getGroup();
Rafael Espindolae15b1b72015-05-27 13:30:50 +00001217 writeSectionData(Asm, Section, Layout);
Rafael Espindolab8cbb262015-04-30 00:30:40 +00001218
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001219 uint64_t SecEnd = getStream().tell();
Rafael Espindolabda19802015-04-30 14:21:49 +00001220 SectionOffsets[&Section] = std::make_pair(SecStart, SecEnd);
1221
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001222 MCSectionELF *RelSection = createRelocationSection(Ctx, Section);
Rafael Espindolabda19802015-04-30 14:21:49 +00001223
1224 if (SignatureSymbol) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +00001225 Asm.registerSymbol(*SignatureSymbol);
Rafael Espindolabda19802015-04-30 14:21:49 +00001226 unsigned &GroupIdx = RevGroupMap[SignatureSymbol];
1227 if (!GroupIdx) {
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001228 MCSectionELF *Group = Ctx.createELFGroupSection(SignatureSymbol);
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001229 GroupIdx = addToSectionTable(Group);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001230 Group->setAlignment(4);
1231 Groups.push_back(Group);
Rafael Espindolabda19802015-04-30 14:21:49 +00001232 }
Rafael Espindola7830fc82015-06-05 17:54:25 +00001233 std::vector<const MCSectionELF *> &Members =
1234 GroupMembers[SignatureSymbol];
1235 Members.push_back(&Section);
Rafael Espindolabda19802015-04-30 14:21:49 +00001236 if (RelSection)
Rafael Espindola7830fc82015-06-05 17:54:25 +00001237 Members.push_back(RelSection);
Rafael Espindolabda19802015-04-30 14:21:49 +00001238 }
1239
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001240 SectionIndexMap[&Section] = addToSectionTable(&Section);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001241 if (RelSection) {
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001242 SectionIndexMap[RelSection] = addToSectionTable(RelSection);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001243 Relocations.push_back(RelSection);
1244 }
Rafael Espindolabda19802015-04-30 14:21:49 +00001245 }
1246
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001247 for (MCSectionELF *Group : Groups) {
Rafael Espindolab20fbb82015-06-05 18:21:00 +00001248 align(Group->getAlignment());
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001249
1250 // Remember the offset into the file for this section.
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001251 uint64_t SecStart = getStream().tell();
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001252
1253 const MCSymbol *SignatureSymbol = Group->getGroup();
1254 assert(SignatureSymbol);
1255 write(uint32_t(ELF::GRP_COMDAT));
1256 for (const MCSectionELF *Member : GroupMembers[SignatureSymbol]) {
1257 uint32_t SecIndex = SectionIndexMap.lookup(Member);
1258 write(SecIndex);
1259 }
1260
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001261 uint64_t SecEnd = getStream().tell();
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001262 SectionOffsets[Group] = std::make_pair(SecStart, SecEnd);
1263 }
1264
1265 // Compute symbol table information.
Rafael Espindolaaa486e92015-05-28 17:54:01 +00001266 computeSymbolTable(Asm, Layout, SectionIndexMap, RevGroupMap, SectionOffsets);
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001267
1268 for (MCSectionELF *RelSection : Relocations) {
Rafael Espindolab20fbb82015-06-05 18:21:00 +00001269 align(RelSection->getAlignment());
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001270
1271 // Remember the offset into the file for this section.
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001272 uint64_t SecStart = getStream().tell();
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001273
1274 writeRelocations(Asm, *RelSection->getAssociatedSection());
1275
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001276 uint64_t SecEnd = getStream().tell();
Rafael Espindola0a82ad72015-05-21 20:43:13 +00001277 SectionOffsets[RelSection] = std::make_pair(SecStart, SecEnd);
Rafael Espindola642a2212015-04-14 22:54:16 +00001278 }
1279
Rafael Espindola88d1f632015-04-29 20:25:24 +00001280 {
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001281 uint64_t SecStart = getStream().tell();
Rafael Espindolab1863912015-04-30 21:10:06 +00001282 const MCSectionELF *Sec = createStringTable(Ctx);
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001283 uint64_t SecEnd = getStream().tell();
Rafael Espindolabda19802015-04-30 14:21:49 +00001284 SectionOffsets[Sec] = std::make_pair(SecStart, SecEnd);
Rafael Espindola88abc392015-04-29 20:34:31 +00001285 }
1286
Rafael Espindola642a2212015-04-14 22:54:16 +00001287 uint64_t NaturalAlignment = is64Bit() ? 8 : 4;
Rafael Espindolab20fbb82015-06-05 18:21:00 +00001288 align(NaturalAlignment);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001289
Rafael Espindola5568c832016-01-19 15:19:08 +00001290 const uint64_t SectionHeaderOffset = getStream().tell();
Rafael Espindola642a2212015-04-14 22:54:16 +00001291
Rafael Espindola1557fd62011-03-20 18:44:20 +00001292 // ... then the section header table ...
Rafael Espindola57c80832015-06-04 20:55:49 +00001293 writeSectionHeader(Layout, SectionIndexMap, SectionOffsets);
Rafael Espindola642a2212015-04-14 22:54:16 +00001294
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001295 uint16_t NumSections = (SectionTable.size() + 1 >= ELF::SHN_LORESERVE)
Aaron Ballman9cab7322015-04-30 14:03:12 +00001296 ? (uint16_t)ELF::SHN_UNDEF
Rafael Espindola03d7abb2015-04-30 20:53:27 +00001297 : SectionTable.size() + 1;
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001298 if (sys::IsLittleEndianHost != IsLittleEndian)
1299 sys::swapByteOrder(NumSections);
1300 unsigned NumSectionsOffset;
1301
Rafael Espindola642a2212015-04-14 22:54:16 +00001302 if (is64Bit()) {
1303 uint64_t Val = SectionHeaderOffset;
1304 if (sys::IsLittleEndianHost != IsLittleEndian)
1305 sys::swapByteOrder(Val);
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001306 getStream().pwrite(reinterpret_cast<char *>(&Val), sizeof(Val),
1307 offsetof(ELF::Elf64_Ehdr, e_shoff));
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001308 NumSectionsOffset = offsetof(ELF::Elf64_Ehdr, e_shnum);
Rafael Espindola642a2212015-04-14 22:54:16 +00001309 } else {
1310 uint32_t Val = SectionHeaderOffset;
1311 if (sys::IsLittleEndianHost != IsLittleEndian)
1312 sys::swapByteOrder(Val);
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001313 getStream().pwrite(reinterpret_cast<char *>(&Val), sizeof(Val),
1314 offsetof(ELF::Elf32_Ehdr, e_shoff));
Rafael Espindola8c7829b2015-04-29 20:39:37 +00001315 NumSectionsOffset = offsetof(ELF::Elf32_Ehdr, e_shnum);
Rafael Espindola642a2212015-04-14 22:54:16 +00001316 }
David Majnemerabdb2d2a2015-09-01 16:19:03 +00001317 getStream().pwrite(reinterpret_cast<char *>(&NumSections),
1318 sizeof(NumSections), NumSectionsOffset);
Rafael Espindola1557fd62011-03-20 18:44:20 +00001319}
1320
Jim Grosbach36e60e92015-06-04 22:24:41 +00001321bool ELFObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001322 const MCAssembler &Asm, const MCSymbol &SA, const MCFragment &FB,
Rafael Espindola35d61892015-04-17 21:15:17 +00001323 bool InSet, bool IsPCRel) const {
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001324 const auto &SymA = cast<MCSymbolELF>(SA);
Rafael Espindola35d61892015-04-17 21:15:17 +00001325 if (IsPCRel) {
1326 assert(!InSet);
Rafael Espindolae3b2acf2015-05-29 18:47:23 +00001327 if (::isWeak(SymA))
Rafael Espindola35d61892015-04-17 21:15:17 +00001328 return false;
1329 }
Jim Grosbach36e60e92015-06-04 22:24:41 +00001330 return MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(Asm, SymA, FB,
Rafael Espindola35d61892015-04-17 21:15:17 +00001331 InSet, IsPCRel);
Eli Friedmand92d17b2011-03-03 07:24:36 +00001332}
1333
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001334bool ELFObjectWriter::isWeak(const MCSymbol &S) const {
1335 const auto &Sym = cast<MCSymbolELF>(S);
Rafael Espindolae3b2acf2015-05-29 18:47:23 +00001336 if (::isWeak(Sym))
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001337 return true;
1338
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001339 // It is invalid to replace a reference to a global in a comdat
1340 // with a reference to a local since out of comdat references
1341 // to a local are forbidden.
1342 // We could try to return false for more cases, like the reference
1343 // being in the same comdat or Sym being an alias to another global,
1344 // but it is not clear if it is worth the effort.
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001345 if (Sym.getBinding() != ELF::STB_GLOBAL)
Rafael Espindola29c82702015-04-20 12:44:06 +00001346 return false;
Rafael Espindoladb8a5862015-04-17 20:05:17 +00001347
Rafael Espindola29c82702015-04-20 12:44:06 +00001348 if (!Sym.isInSection())
1349 return false;
1350
1351 const auto &Sec = cast<MCSectionELF>(Sym.getSection());
1352 return Sec.getGroup();
Rafael Espindolaf275ad82015-03-25 13:16:53 +00001353}
1354
Rafael Espindola6b5e56c2010-12-17 17:45:22 +00001355MCObjectWriter *llvm::createELFObjectWriter(MCELFObjectTargetWriter *MOTW,
Rafael Espindola5560a4c2015-04-14 22:14:34 +00001356 raw_pwrite_stream &OS,
Rafael Espindolafdaae0d2010-12-18 03:27:34 +00001357 bool IsLittleEndian) {
Rafael Espindola34a68af2011-12-22 03:24:43 +00001358 return new ELFObjectWriter(MOTW, OS, IsLittleEndian);
Rafael Espindolab264d332011-12-21 17:30:17 +00001359}