blob: c87bc02fe05c70b08abbc81ec90dc689e4675113 [file] [log] [blame]
Eugene Zelenko1d435522017-02-07 23:02:00 +00001//===- llvm/MC/WinCOFFObjectWriter.cpp ------------------------------------===//
Chris Lattner2c52b792010-07-11 22:07:02 +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 contains an implementation of a Win32 COFF object file writer.
11//
12//===----------------------------------------------------------------------===//
13
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000014#include "llvm/ADT/DenseMap.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000015#include "llvm/ADT/STLExtras.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000016#include "llvm/ADT/SmallString.h"
17#include "llvm/ADT/SmallVector.h"
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000018#include "llvm/ADT/StringRef.h"
Nico Riecka37acf72013-07-06 12:13:10 +000019#include "llvm/ADT/Twine.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000020#include "llvm/BinaryFormat/COFF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/MC/MCAsmLayout.h"
22#include "llvm/MC/MCAssembler.h"
23#include "llvm/MC/MCContext.h"
24#include "llvm/MC/MCExpr.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000025#include "llvm/MC/MCFixup.h"
26#include "llvm/MC/MCFragment.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/MC/MCObjectWriter.h"
28#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCSectionCOFF.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000030#include "llvm/MC/MCSymbol.h"
Pete Cooperad9f9c32015-06-08 17:17:12 +000031#include "llvm/MC/MCSymbolCOFF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000032#include "llvm/MC/MCValue.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000033#include "llvm/MC/MCWinCOFFObjectWriter.h"
Hans Wennborgf26bfc12014-09-29 22:43:20 +000034#include "llvm/MC/StringTableBuilder.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000035#include "llvm/Support/Casting.h"
Hans Wennborgba80b5d2014-09-28 00:22:27 +000036#include "llvm/Support/Endian.h"
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000037#include "llvm/Support/ErrorHandling.h"
David Majnemer6ddc6362015-09-01 21:23:58 +000038#include "llvm/Support/JamCRC.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000039#include "llvm/Support/MathExtras.h"
40#include "llvm/Support/raw_ostream.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000041#include <algorithm>
Eugene Zelenko1d435522017-02-07 23:02:00 +000042#include <cassert>
43#include <cstddef>
44#include <cstdint>
45#include <cstring>
David Majnemer088ba022015-09-01 23:46:11 +000046#include <ctime>
Eugene Zelenko1d435522017-02-07 23:02:00 +000047#include <memory>
48#include <string>
49#include <vector>
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000050
Chris Lattner2c52b792010-07-11 22:07:02 +000051using namespace llvm;
Rui Ueyama86e3ef92017-02-14 23:28:19 +000052using llvm::support::endian::write32le;
Chris Lattner2c52b792010-07-11 22:07:02 +000053
Chandler Carruthf58e3762014-04-22 03:04:17 +000054#define DEBUG_TYPE "WinCOFFObjectWriter"
55
Chris Lattner2c52b792010-07-11 22:07:02 +000056namespace {
Eugene Zelenko1d435522017-02-07 23:02:00 +000057
Eugene Zelenko7975b992017-04-26 22:31:39 +000058using name = SmallString<COFF::NameSize>;
Chris Lattner2c52b792010-07-11 22:07:02 +000059
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000060enum AuxiliaryType {
61 ATFunctionDefinition,
62 ATbfAndefSymbol,
63 ATWeakExternal,
64 ATFile,
65 ATSectionDefinition
66};
Chris Lattner2c52b792010-07-11 22:07:02 +000067
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000068struct AuxSymbol {
Rafael Espindola11e9e212015-05-27 14:37:12 +000069 AuxiliaryType AuxType;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000070 COFF::Auxiliary Aux;
71};
Chris Lattner2c52b792010-07-11 22:07:02 +000072
Michael J. Spencerd6283772010-09-27 08:58:26 +000073class COFFSection;
74
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000075class COFFSymbol {
76public:
Rui Ueyamacbb4e7c2017-02-14 23:28:01 +000077 COFF::symbol Data = {};
Chris Lattner2c52b792010-07-11 22:07:02 +000078
Eugene Zelenko7975b992017-04-26 22:31:39 +000079 using AuxiliarySymbols = SmallVector<AuxSymbol, 1>;
Chris Lattner2c52b792010-07-11 22:07:02 +000080
Rafael Espindola11e9e212015-05-27 14:37:12 +000081 name Name;
82 int Index;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000083 AuxiliarySymbols Aux;
Eugene Zelenko1d435522017-02-07 23:02:00 +000084 COFFSymbol *Other = nullptr;
85 COFFSection *Section = nullptr;
86 int Relocations = 0;
87 const MCSymbol *MC = nullptr;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000088
Rui Ueyamacbb4e7c2017-02-14 23:28:01 +000089 COFFSymbol(StringRef Name) : Name(Name) {}
Eugene Zelenko1d435522017-02-07 23:02:00 +000090
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000091 void set_name_offset(uint32_t Offset);
Michael J. Spencerd6283772010-09-27 08:58:26 +000092
David Majnemer4eecd302015-05-30 04:56:02 +000093 int64_t getIndex() const { return Index; }
94 void setIndex(int Value) {
95 Index = Value;
96 if (MC)
97 MC->setIndex(static_cast<uint32_t>(Value));
98 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +000099};
100
101// This class contains staging data for a COFF relocation entry.
102struct COFFRelocation {
103 COFF::relocation Data;
Eugene Zelenko1d435522017-02-07 23:02:00 +0000104 COFFSymbol *Symb = nullptr;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000105
Eugene Zelenko1d435522017-02-07 23:02:00 +0000106 COFFRelocation() = default;
107
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000108 static size_t size() { return COFF::RelocationSize; }
109};
110
Eugene Zelenko7975b992017-04-26 22:31:39 +0000111using relocations = std::vector<COFFRelocation>;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000112
113class COFFSection {
114public:
Rui Ueyamacbb4e7c2017-02-14 23:28:01 +0000115 COFF::section Header = {};
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000116
Rafael Espindola11e9e212015-05-27 14:37:12 +0000117 std::string Name;
118 int Number;
Eugene Zelenko1d435522017-02-07 23:02:00 +0000119 MCSectionCOFF const *MCSection = nullptr;
120 COFFSymbol *Symbol = nullptr;
Rafael Espindola11e9e212015-05-27 14:37:12 +0000121 relocations Relocations;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000122
Rui Ueyamacbb4e7c2017-02-14 23:28:01 +0000123 COFFSection(StringRef Name) : Name(Name) {}
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000124};
125
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000126class WinCOFFObjectWriter : public MCObjectWriter {
127public:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000128 support::endian::Writer W;
129
Eugene Zelenko7975b992017-04-26 22:31:39 +0000130 using symbols = std::vector<std::unique_ptr<COFFSymbol>>;
131 using sections = std::vector<std::unique_ptr<COFFSection>>;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000132
Eugene Zelenko7975b992017-04-26 22:31:39 +0000133 using symbol_map = DenseMap<MCSymbol const *, COFFSymbol *>;
134 using section_map = DenseMap<MCSection const *, COFFSection *>;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000135
Ahmed Charles56440fd2014-03-06 05:51:42 +0000136 std::unique_ptr<MCWinCOFFObjectTargetWriter> TargetObjectWriter;
Rafael Espindola908d2ed2011-12-24 02:14:02 +0000137
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000138 // Root level file contents.
Rui Ueyamacbb4e7c2017-02-14 23:28:01 +0000139 COFF::header Header = {};
Rafael Espindola11e9e212015-05-27 14:37:12 +0000140 sections Sections;
141 symbols Symbols;
Rafael Espindola21956e42015-10-23 21:48:05 +0000142 StringTableBuilder Strings{StringTableBuilder::WinCOFF};
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000143
144 // Maps used during object file creation.
145 section_map SectionMap;
Rafael Espindola11e9e212015-05-27 14:37:12 +0000146 symbol_map SymbolMap;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000147
David Majnemer4d571592014-09-15 19:42:42 +0000148 bool UseBigObj;
149
Lang Hames77dff392017-10-10 00:50:29 +0000150 WinCOFFObjectWriter(std::unique_ptr<MCWinCOFFObjectTargetWriter> MOTW,
151 raw_pwrite_stream &OS);
Rafael Espindola37099d92015-04-09 18:08:15 +0000152
Yaron Kerencca43c12014-09-16 21:31:04 +0000153 void reset() override {
154 memset(&Header, 0, sizeof(Header));
155 Header.Machine = TargetObjectWriter->getMachine();
156 Sections.clear();
157 Symbols.clear();
158 Strings.clear();
159 SectionMap.clear();
160 SymbolMap.clear();
161 MCObjectWriter::reset();
162 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000163
Michael J. Spencer17990d52010-10-16 08:25:57 +0000164 COFFSymbol *createSymbol(StringRef Name);
Rafael Espindola11e9e212015-05-27 14:37:12 +0000165 COFFSymbol *GetOrCreateCOFFSymbol(const MCSymbol *Symbol);
Michael J. Spencer17990d52010-10-16 08:25:57 +0000166 COFFSection *createSection(StringRef Name);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000167
Rafael Espindolaf59264f2015-05-27 14:45:54 +0000168 void defineSection(MCSectionCOFF const &Sec);
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000169
170 COFFSymbol *getLinkedSymbol(const MCSymbol &Symbol);
Duncan P. N. Exon Smithe8fb3a22015-05-20 19:34:08 +0000171 void DefineSymbol(const MCSymbol &Symbol, MCAssembler &Assembler,
Reid Klecknerc1e76212013-09-17 23:18:05 +0000172 const MCAsmLayout &Layout);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000173
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000174 void SetSymbolName(COFFSymbol &S);
175 void SetSectionName(COFFSection &S);
Michael J. Spencerd6283772010-09-27 08:58:26 +0000176
Michael J. Spencerd6283772010-09-27 08:58:26 +0000177 bool IsPhysicalSection(COFFSection *S);
178
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000179 // Entity writing methods.
180
181 void WriteFileHeader(const COFF::header &Header);
David Blaikief564ab62014-04-15 05:25:03 +0000182 void WriteSymbol(const COFFSymbol &S);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000183 void WriteAuxiliarySymbols(const COFFSymbol::AuxiliarySymbols &S);
Rui Ueyamaac20c172017-02-17 17:32:54 +0000184 void writeSectionHeaders();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000185 void WriteRelocation(const COFF::relocation &R);
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000186 uint32_t writeSectionContents(MCAssembler &Asm, const MCAsmLayout &Layout,
187 const MCSection &MCSec);
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000188 void writeSection(MCAssembler &Asm, const MCAsmLayout &Layout,
189 const COFFSection &Sec, const MCSection &MCSec);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000190
191 // MCObjectWriter interface implementation.
192
Jim Grosbach56ed0bb2015-06-04 23:25:54 +0000193 void executePostLayoutBinding(MCAssembler &Asm,
Craig Topper34a61bc2014-03-08 07:02:02 +0000194 const MCAsmLayout &Layout) override;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000195
Jim Grosbach36e60e92015-06-04 22:24:41 +0000196 bool isSymbolRefDifferenceFullyResolvedImpl(const MCAssembler &Asm,
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +0000197 const MCSymbol &SymA,
David Majnemer2cc4bc772014-11-11 08:43:57 +0000198 const MCFragment &FB, bool InSet,
199 bool IsPCRel) const override;
200
Jim Grosbach36e60e92015-06-04 22:24:41 +0000201 void recordRelocation(MCAssembler &Asm, const MCAsmLayout &Layout,
Craig Topper34a61bc2014-03-08 07:02:02 +0000202 const MCFragment *Fragment, const MCFixup &Fixup,
Rafael Espindolaceecfe5b2017-07-11 23:56:10 +0000203 MCValue Target, uint64_t &FixedValue) override;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000204
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000205 void createFileSymbols(MCAssembler &Asm);
206 void assignSectionNumbers();
207 void assignFileOffsets(MCAssembler &Asm, const MCAsmLayout &Layout);
208
Jim Grosbach36e60e92015-06-04 22:24:41 +0000209 void writeObject(MCAssembler &Asm, const MCAsmLayout &Layout) override;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000210};
Eugene Zelenko1d435522017-02-07 23:02:00 +0000211
212} // end anonymous namespace
Chris Lattner2c52b792010-07-11 22:07:02 +0000213
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000214//------------------------------------------------------------------------------
215// Symbol class implementation
216
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000217// In the case that the name does not fit within 8 bytes, the offset
218// into the string table is stored in the last 4 bytes instead, leaving
219// the first 4 bytes as 0.
220void COFFSymbol::set_name_offset(uint32_t Offset) {
Rui Ueyama86e3ef92017-02-14 23:28:19 +0000221 write32le(Data.Name + 0, 0);
222 write32le(Data.Name + 4, Offset);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000223}
224
225//------------------------------------------------------------------------------
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000226// WinCOFFObjectWriter class implementation
227
Lang Hames77dff392017-10-10 00:50:29 +0000228WinCOFFObjectWriter::WinCOFFObjectWriter(
229 std::unique_ptr<MCWinCOFFObjectTargetWriter> MOTW, raw_pwrite_stream &OS)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000230 : MCObjectWriter(OS, true), W(OS, support::little),
231 TargetObjectWriter(std::move(MOTW)) {
Rafael Espindola908d2ed2011-12-24 02:14:02 +0000232 Header.Machine = TargetObjectWriter->getMachine();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000233}
234
Michael J. Spencer17990d52010-10-16 08:25:57 +0000235COFFSymbol *WinCOFFObjectWriter::createSymbol(StringRef Name) {
Rui Ueyamadfc8aa82017-02-14 23:58:19 +0000236 Symbols.push_back(make_unique<COFFSymbol>(Name));
237 return Symbols.back().get();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000238}
239
Yaron Keren56919ef2014-12-04 08:30:39 +0000240COFFSymbol *WinCOFFObjectWriter::GetOrCreateCOFFSymbol(const MCSymbol *Symbol) {
Rui Ueyama0fcdb482017-02-14 23:47:34 +0000241 COFFSymbol *&Ret = SymbolMap[Symbol];
242 if (!Ret)
Rui Ueyamadfc8aa82017-02-14 23:58:19 +0000243 Ret = createSymbol(Symbol->getName());
Rui Ueyama0fcdb482017-02-14 23:47:34 +0000244 return Ret;
Michael J. Spencer17990d52010-10-16 08:25:57 +0000245}
246
Dmitri Gribenko226fea52013-01-13 16:01:15 +0000247COFFSection *WinCOFFObjectWriter::createSection(StringRef Name) {
Rui Ueyamadfc8aa82017-02-14 23:58:19 +0000248 Sections.emplace_back(make_unique<COFFSection>(Name));
249 return Sections.back().get();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000250}
251
Rui Ueyama24e27b42017-02-15 00:15:54 +0000252static uint32_t getAlignment(const MCSectionCOFF &Sec) {
253 switch (Sec.getAlignment()) {
254 case 1:
255 return COFF::IMAGE_SCN_ALIGN_1BYTES;
256 case 2:
257 return COFF::IMAGE_SCN_ALIGN_2BYTES;
258 case 4:
259 return COFF::IMAGE_SCN_ALIGN_4BYTES;
260 case 8:
261 return COFF::IMAGE_SCN_ALIGN_8BYTES;
262 case 16:
263 return COFF::IMAGE_SCN_ALIGN_16BYTES;
264 case 32:
265 return COFF::IMAGE_SCN_ALIGN_32BYTES;
266 case 64:
267 return COFF::IMAGE_SCN_ALIGN_64BYTES;
268 case 128:
269 return COFF::IMAGE_SCN_ALIGN_128BYTES;
270 case 256:
271 return COFF::IMAGE_SCN_ALIGN_256BYTES;
272 case 512:
273 return COFF::IMAGE_SCN_ALIGN_512BYTES;
274 case 1024:
275 return COFF::IMAGE_SCN_ALIGN_1024BYTES;
276 case 2048:
277 return COFF::IMAGE_SCN_ALIGN_2048BYTES;
278 case 4096:
279 return COFF::IMAGE_SCN_ALIGN_4096BYTES;
280 case 8192:
281 return COFF::IMAGE_SCN_ALIGN_8192BYTES;
282 }
283 llvm_unreachable("unsupported section alignment");
284}
285
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000286/// This function takes a section data object from the assembler
287/// and creates the associated COFF section staging object.
Rui Ueyama09786c42017-02-15 00:28:48 +0000288void WinCOFFObjectWriter::defineSection(const MCSectionCOFF &MCSec) {
289 COFFSection *Section = createSection(MCSec.getSectionName());
290 COFFSymbol *Symbol = createSymbol(MCSec.getSectionName());
291 Section->Symbol = Symbol;
292 Symbol->Section = Section;
293 Symbol->Data.StorageClass = COFF::IMAGE_SYM_CLASS_STATIC;
Rui Ueyama24e27b42017-02-15 00:15:54 +0000294
295 // Create a COMDAT symbol if needed.
Rui Ueyama09786c42017-02-15 00:28:48 +0000296 if (MCSec.getSelection() != COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE) {
297 if (const MCSymbol *S = MCSec.getCOMDATSymbol()) {
Rafael Espindola0766ae02014-06-06 19:26:12 +0000298 COFFSymbol *COMDATSymbol = GetOrCreateCOFFSymbol(S);
299 if (COMDATSymbol->Section)
300 report_fatal_error("two sections have the same comdat");
Rui Ueyama09786c42017-02-15 00:28:48 +0000301 COMDATSymbol->Section = Section;
Rafael Espindola0766ae02014-06-06 19:26:12 +0000302 }
303 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000304
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000305 // In this case the auxiliary symbol is a Section Definition.
Rui Ueyama09786c42017-02-15 00:28:48 +0000306 Symbol->Aux.resize(1);
307 Symbol->Aux[0] = {};
308 Symbol->Aux[0].AuxType = ATSectionDefinition;
309 Symbol->Aux[0].Aux.SectionDefinition.Selection = MCSec.getSelection();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000310
Rui Ueyama09786c42017-02-15 00:28:48 +0000311 // Set section alignment.
312 Section->Header.Characteristics = MCSec.getCharacteristics();
313 Section->Header.Characteristics |= getAlignment(MCSec);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000314
315 // Bind internal COFF section to MC section.
Rui Ueyama09786c42017-02-15 00:28:48 +0000316 Section->MCSection = &MCSec;
317 SectionMap[&MCSec] = Section;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000318}
319
Duncan P. N. Exon Smithe8fb3a22015-05-20 19:34:08 +0000320static uint64_t getSymbolValue(const MCSymbol &Symbol,
Rafael Espindolaff68cb72014-05-01 00:10:17 +0000321 const MCAsmLayout &Layout) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000322 if (Symbol.isCommon() && Symbol.isExternal())
Rafael Espindola14672502015-05-29 17:48:04 +0000323 return Symbol.getCommonSize();
Rafael Espindolaff68cb72014-05-01 00:10:17 +0000324
325 uint64_t Res;
Duncan P. N. Exon Smithe8fb3a22015-05-20 19:34:08 +0000326 if (!Layout.getSymbolOffset(Symbol, Res))
Rafael Espindolaff68cb72014-05-01 00:10:17 +0000327 return 0;
328
329 return Res;
330}
331
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000332COFFSymbol *WinCOFFObjectWriter::getLinkedSymbol(const MCSymbol &Symbol) {
333 if (!Symbol.isVariable())
334 return nullptr;
335
336 const MCSymbolRefExpr *SymRef =
337 dyn_cast<MCSymbolRefExpr>(Symbol.getVariableValue());
338 if (!SymRef)
339 return nullptr;
340
341 const MCSymbol &Aliasee = SymRef->getSymbol();
342 if (!Aliasee.isUndefined())
343 return nullptr;
344 return GetOrCreateCOFFSymbol(&Aliasee);
345}
346
David Majnemera9bdb322014-04-08 22:33:40 +0000347/// This function takes a symbol data object from the assembler
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000348/// and creates the associated COFF symbol staging object.
Rui Ueyama789c4222017-02-15 01:09:01 +0000349void WinCOFFObjectWriter::DefineSymbol(const MCSymbol &MCSym,
Reid Klecknerc1e76212013-09-17 23:18:05 +0000350 MCAssembler &Assembler,
351 const MCAsmLayout &Layout) {
Rui Ueyama789c4222017-02-15 01:09:01 +0000352 COFFSymbol *Sym = GetOrCreateCOFFSymbol(&MCSym);
353 const MCSymbol *Base = Layout.getBaseSymbol(MCSym);
Rafael Espindola30c080a2016-05-26 18:48:23 +0000354 COFFSection *Sec = nullptr;
355 if (Base && Base->getFragment()) {
356 Sec = SectionMap[Base->getFragment()->getParent()];
Rui Ueyama789c4222017-02-15 01:09:01 +0000357 if (Sym->Section && Sym->Section != Sec)
Rafael Espindola30c080a2016-05-26 18:48:23 +0000358 report_fatal_error("conflicting sections for symbol");
359 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000360
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000361 COFFSymbol *Local = nullptr;
Rui Ueyama789c4222017-02-15 01:09:01 +0000362 if (cast<MCSymbolCOFF>(MCSym).isWeakExternal()) {
363 Sym->Data.StorageClass = COFF::IMAGE_SYM_CLASS_WEAK_EXTERNAL;
Michael J. Spencer17990d52010-10-16 08:25:57 +0000364
Rui Ueyama789c4222017-02-15 01:09:01 +0000365 COFFSymbol *WeakDefault = getLinkedSymbol(MCSym);
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000366 if (!WeakDefault) {
Rui Ueyama789c4222017-02-15 01:09:01 +0000367 std::string WeakName = (".weak." + MCSym.getName() + ".default").str();
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000368 WeakDefault = createSymbol(WeakName);
Rafael Espindola30c080a2016-05-26 18:48:23 +0000369 if (!Sec)
370 WeakDefault->Data.SectionNumber = COFF::IMAGE_SYM_ABSOLUTE;
371 else
372 WeakDefault->Section = Sec;
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000373 Local = WeakDefault;
Michael J. Spencer17990d52010-10-16 08:25:57 +0000374 }
375
Rui Ueyama789c4222017-02-15 01:09:01 +0000376 Sym->Other = WeakDefault;
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000377
Michael J. Spencer17990d52010-10-16 08:25:57 +0000378 // Setup the Weak External auxiliary symbol.
Rui Ueyama789c4222017-02-15 01:09:01 +0000379 Sym->Aux.resize(1);
380 memset(&Sym->Aux[0], 0, sizeof(Sym->Aux[0]));
381 Sym->Aux[0].AuxType = ATWeakExternal;
382 Sym->Aux[0].Aux.WeakExternal.TagIndex = 0;
383 Sym->Aux[0].Aux.WeakExternal.Characteristics =
Rafael Espindola11e9e212015-05-27 14:37:12 +0000384 COFF::IMAGE_WEAK_EXTERN_SEARCH_LIBRARY;
Peter Collingbourne89886872013-04-22 18:48:56 +0000385 } else {
Rafael Espindola30c080a2016-05-26 18:48:23 +0000386 if (!Base)
Rui Ueyama789c4222017-02-15 01:09:01 +0000387 Sym->Data.SectionNumber = COFF::IMAGE_SYM_ABSOLUTE;
Rafael Espindola30c080a2016-05-26 18:48:23 +0000388 else
Rui Ueyama789c4222017-02-15 01:09:01 +0000389 Sym->Section = Sec;
390 Local = Sym;
Michael J. Spencer17990d52010-10-16 08:25:57 +0000391 }
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000392
393 if (Local) {
Rui Ueyama789c4222017-02-15 01:09:01 +0000394 Local->Data.Value = getSymbolValue(MCSym, Layout);
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000395
Rui Ueyama789c4222017-02-15 01:09:01 +0000396 const MCSymbolCOFF &SymbolCOFF = cast<MCSymbolCOFF>(MCSym);
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000397 Local->Data.Type = SymbolCOFF.getType();
398 Local->Data.StorageClass = SymbolCOFF.getClass();
399
400 // If no storage class was specified in the streamer, define it here.
401 if (Local->Data.StorageClass == COFF::IMAGE_SYM_CLASS_NULL) {
Rui Ueyama789c4222017-02-15 01:09:01 +0000402 bool IsExternal = MCSym.isExternal() ||
403 (!MCSym.getFragment() && !MCSym.isVariable());
Rafael Espindola732eeaf22016-05-26 20:31:00 +0000404
405 Local->Data.StorageClass = IsExternal ? COFF::IMAGE_SYM_CLASS_EXTERNAL
406 : COFF::IMAGE_SYM_CLASS_STATIC;
407 }
408 }
409
Rui Ueyama789c4222017-02-15 01:09:01 +0000410 Sym->MC = &MCSym;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000411}
412
Nico Rieck01143f92014-02-25 09:50:40 +0000413// Maximum offsets for different string table entry encodings.
David Majnemerf088f522016-01-24 20:46:11 +0000414enum : unsigned { Max7DecimalOffset = 9999999U };
415enum : uint64_t { MaxBase64Offset = 0xFFFFFFFFFULL }; // 64^6, including 0
Nico Rieck01143f92014-02-25 09:50:40 +0000416
Nico Rieck9d2c15e2014-02-22 16:12:20 +0000417// Encode a string table entry offset in base 64, padded to 6 chars, and
418// prefixed with a double slash: '//AAAAAA', '//AAAAAB', ...
419// Buffer must be at least 8 bytes large. No terminating null appended.
Rafael Espindola11e9e212015-05-27 14:37:12 +0000420static void encodeBase64StringEntry(char *Buffer, uint64_t Value) {
Nico Rieck01143f92014-02-25 09:50:40 +0000421 assert(Value > Max7DecimalOffset && Value <= MaxBase64Offset &&
Nico Rieck9d2c15e2014-02-22 16:12:20 +0000422 "Illegal section name encoding for value");
423
424 static const char Alphabet[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
425 "abcdefghijklmnopqrstuvwxyz"
426 "0123456789+/";
427
428 Buffer[0] = '/';
429 Buffer[1] = '/';
430
Rafael Espindola11e9e212015-05-27 14:37:12 +0000431 char *Ptr = Buffer + 7;
Nico Rieck9d2c15e2014-02-22 16:12:20 +0000432 for (unsigned i = 0; i < 6; ++i) {
433 unsigned Rem = Value % 64;
434 Value /= 64;
435 *(Ptr--) = Alphabet[Rem];
436 }
437}
438
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000439void WinCOFFObjectWriter::SetSectionName(COFFSection &S) {
Rui Ueyamaa39d1482017-02-15 01:09:20 +0000440 if (S.Name.size() <= COFF::NameSize) {
Michael J. Spencerd6283772010-09-27 08:58:26 +0000441 std::memcpy(S.Header.Name, S.Name.c_str(), S.Name.size());
Rui Ueyamaa39d1482017-02-15 01:09:20 +0000442 return;
David Majnemerf088f522016-01-24 20:46:11 +0000443 }
Rui Ueyamaa39d1482017-02-15 01:09:20 +0000444
445 uint64_t StringTableEntry = Strings.getOffset(S.Name);
446 if (StringTableEntry <= Max7DecimalOffset) {
Rui Ueyama4b58f5772017-02-15 01:48:33 +0000447 SmallVector<char, COFF::NameSize> Buffer;
448 Twine('/').concat(Twine(StringTableEntry)).toVector(Buffer);
449 assert(Buffer.size() <= COFF::NameSize && Buffer.size() >= 2);
450 std::memcpy(S.Header.Name, Buffer.data(), Buffer.size());
Rui Ueyamaa39d1482017-02-15 01:09:20 +0000451 return;
452 }
453 if (StringTableEntry <= MaxBase64Offset) {
454 // Starting with 10,000,000, offsets are encoded as base64.
455 encodeBase64StringEntry(S.Header.Name, StringTableEntry);
456 return;
457 }
458 report_fatal_error("COFF string table is greater than 64 GB.");
Michael J. Spencerd6283772010-09-27 08:58:26 +0000459}
460
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000461void WinCOFFObjectWriter::SetSymbolName(COFFSymbol &S) {
462 if (S.Name.size() > COFF::NameSize)
463 S.set_name_offset(Strings.getOffset(S.Name));
464 else
Michael J. Spencerd6283772010-09-27 08:58:26 +0000465 std::memcpy(S.Data.Name, S.Name.c_str(), S.Name.size());
Michael J. Spencerd6283772010-09-27 08:58:26 +0000466}
467
Michael J. Spencerd6283772010-09-27 08:58:26 +0000468bool WinCOFFObjectWriter::IsPhysicalSection(COFFSection *S) {
Rafael Espindola11e9e212015-05-27 14:37:12 +0000469 return (S->Header.Characteristics & COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA) ==
470 0;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000471}
472
473//------------------------------------------------------------------------------
474// entity writing methods
475
476void WinCOFFObjectWriter::WriteFileHeader(const COFF::header &Header) {
David Majnemer4d571592014-09-15 19:42:42 +0000477 if (UseBigObj) {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000478 W.write<uint16_t>(COFF::IMAGE_FILE_MACHINE_UNKNOWN);
479 W.write<uint16_t>(0xFFFF);
480 W.write<uint16_t>(COFF::BigObjHeader::MinBigObjectVersion);
481 W.write<uint16_t>(Header.Machine);
482 W.write<uint32_t>(Header.TimeDateStamp);
483 W.OS.write(COFF::BigObjMagic, sizeof(COFF::BigObjMagic));
484 W.write<uint32_t>(0);
485 W.write<uint32_t>(0);
486 W.write<uint32_t>(0);
487 W.write<uint32_t>(0);
488 W.write<uint32_t>(Header.NumberOfSections);
489 W.write<uint32_t>(Header.PointerToSymbolTable);
490 W.write<uint32_t>(Header.NumberOfSymbols);
David Majnemer4d571592014-09-15 19:42:42 +0000491 } else {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000492 W.write<uint16_t>(Header.Machine);
493 W.write<uint16_t>(static_cast<int16_t>(Header.NumberOfSections));
494 W.write<uint32_t>(Header.TimeDateStamp);
495 W.write<uint32_t>(Header.PointerToSymbolTable);
496 W.write<uint32_t>(Header.NumberOfSymbols);
497 W.write<uint16_t>(Header.SizeOfOptionalHeader);
498 W.write<uint16_t>(Header.Characteristics);
David Majnemer4d571592014-09-15 19:42:42 +0000499 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000500}
501
David Blaikief564ab62014-04-15 05:25:03 +0000502void WinCOFFObjectWriter::WriteSymbol(const COFFSymbol &S) {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000503 W.OS.write(S.Data.Name, COFF::NameSize);
504 W.write<uint32_t>(S.Data.Value);
David Majnemer4d571592014-09-15 19:42:42 +0000505 if (UseBigObj)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000506 W.write<uint32_t>(S.Data.SectionNumber);
David Majnemer4d571592014-09-15 19:42:42 +0000507 else
Peter Collingbournef17b1492018-05-21 18:17:42 +0000508 W.write<uint16_t>(static_cast<int16_t>(S.Data.SectionNumber));
509 W.write<uint16_t>(S.Data.Type);
510 W.OS << char(S.Data.StorageClass);
511 W.OS << char(S.Data.NumberOfAuxSymbols);
David Blaikief564ab62014-04-15 05:25:03 +0000512 WriteAuxiliarySymbols(S.Aux);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000513}
514
515void WinCOFFObjectWriter::WriteAuxiliarySymbols(
Rafael Espindola11e9e212015-05-27 14:37:12 +0000516 const COFFSymbol::AuxiliarySymbols &S) {
Benjamin Kramer7b4658f2016-06-26 14:49:00 +0000517 for (const AuxSymbol &i : S) {
518 switch (i.AuxType) {
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000519 case ATFunctionDefinition:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000520 W.write<uint32_t>(i.Aux.FunctionDefinition.TagIndex);
521 W.write<uint32_t>(i.Aux.FunctionDefinition.TotalSize);
522 W.write<uint32_t>(i.Aux.FunctionDefinition.PointerToLinenumber);
523 W.write<uint32_t>(i.Aux.FunctionDefinition.PointerToNextFunction);
524 W.OS.write_zeros(sizeof(i.Aux.FunctionDefinition.unused));
David Majnemer4d571592014-09-15 19:42:42 +0000525 if (UseBigObj)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000526 W.OS.write_zeros(COFF::Symbol32Size - COFF::Symbol16Size);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000527 break;
528 case ATbfAndefSymbol:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000529 W.OS.write_zeros(sizeof(i.Aux.bfAndefSymbol.unused1));
530 W.write<uint16_t>(i.Aux.bfAndefSymbol.Linenumber);
531 W.OS.write_zeros(sizeof(i.Aux.bfAndefSymbol.unused2));
532 W.write<uint32_t>(i.Aux.bfAndefSymbol.PointerToNextFunction);
533 W.OS.write_zeros(sizeof(i.Aux.bfAndefSymbol.unused3));
David Majnemer4d571592014-09-15 19:42:42 +0000534 if (UseBigObj)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000535 W.OS.write_zeros(COFF::Symbol32Size - COFF::Symbol16Size);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000536 break;
537 case ATWeakExternal:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000538 W.write<uint32_t>(i.Aux.WeakExternal.TagIndex);
539 W.write<uint32_t>(i.Aux.WeakExternal.Characteristics);
540 W.OS.write_zeros(sizeof(i.Aux.WeakExternal.unused));
David Majnemer4d571592014-09-15 19:42:42 +0000541 if (UseBigObj)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000542 W.OS.write_zeros(COFF::Symbol32Size - COFF::Symbol16Size);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000543 break;
544 case ATFile:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000545 W.OS.write(reinterpret_cast<const char *>(&i.Aux),
546 UseBigObj ? COFF::Symbol32Size : COFF::Symbol16Size);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000547 break;
548 case ATSectionDefinition:
Peter Collingbournef17b1492018-05-21 18:17:42 +0000549 W.write<uint32_t>(i.Aux.SectionDefinition.Length);
550 W.write<uint16_t>(i.Aux.SectionDefinition.NumberOfRelocations);
551 W.write<uint16_t>(i.Aux.SectionDefinition.NumberOfLinenumbers);
552 W.write<uint32_t>(i.Aux.SectionDefinition.CheckSum);
553 W.write<uint16_t>(static_cast<int16_t>(i.Aux.SectionDefinition.Number));
554 W.OS << char(i.Aux.SectionDefinition.Selection);
555 W.OS.write_zeros(sizeof(i.Aux.SectionDefinition.unused));
556 W.write<uint16_t>(static_cast<int16_t>(i.Aux.SectionDefinition.Number >> 16));
David Majnemer4d571592014-09-15 19:42:42 +0000557 if (UseBigObj)
Peter Collingbournef17b1492018-05-21 18:17:42 +0000558 W.OS.write_zeros(COFF::Symbol32Size - COFF::Symbol16Size);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000559 break;
560 }
561 }
562}
563
Rui Ueyamaac20c172017-02-17 17:32:54 +0000564// Write the section header.
565void WinCOFFObjectWriter::writeSectionHeaders() {
566 // Section numbers must be monotonically increasing in the section
567 // header, but our Sections array is not sorted by section number,
568 // so make a copy of Sections and sort it.
569 std::vector<COFFSection *> Arr;
570 for (auto &Section : Sections)
571 Arr.push_back(Section.get());
Mandeep Singh Grangdb456ef2018-04-13 19:47:01 +0000572 llvm::sort(Arr.begin(), Arr.end(),
573 [](const COFFSection *A, const COFFSection *B) {
574 return A->Number < B->Number;
575 });
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000576
Rui Ueyamaac20c172017-02-17 17:32:54 +0000577 for (auto &Section : Arr) {
578 if (Section->Number == -1)
579 continue;
580
581 COFF::section &S = Section->Header;
582 if (Section->Relocations.size() >= 0xffff)
583 S.Characteristics |= COFF::IMAGE_SCN_LNK_NRELOC_OVFL;
Peter Collingbournef17b1492018-05-21 18:17:42 +0000584 W.OS.write(S.Name, COFF::NameSize);
585 W.write<uint32_t>(S.VirtualSize);
586 W.write<uint32_t>(S.VirtualAddress);
587 W.write<uint32_t>(S.SizeOfRawData);
588 W.write<uint32_t>(S.PointerToRawData);
589 W.write<uint32_t>(S.PointerToRelocations);
590 W.write<uint32_t>(S.PointerToLineNumbers);
591 W.write<uint16_t>(S.NumberOfRelocations);
592 W.write<uint16_t>(S.NumberOfLineNumbers);
593 W.write<uint32_t>(S.Characteristics);
Rui Ueyamaac20c172017-02-17 17:32:54 +0000594 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000595}
596
597void WinCOFFObjectWriter::WriteRelocation(const COFF::relocation &R) {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000598 W.write<uint32_t>(R.VirtualAddress);
599 W.write<uint32_t>(R.SymbolTableIndex);
600 W.write<uint16_t>(R.Type);
Chris Lattner2c52b792010-07-11 22:07:02 +0000601}
602
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000603// Write MCSec's contents. What this function does is essentially
604// "Asm.writeSectionData(&MCSec, Layout)", but it's a bit complicated
605// because it needs to compute a CRC.
606uint32_t WinCOFFObjectWriter::writeSectionContents(MCAssembler &Asm,
607 const MCAsmLayout &Layout,
608 const MCSection &MCSec) {
609 // Save the contents of the section to a temporary buffer, we need this
610 // to CRC the data before we dump it into the object file.
611 SmallVector<char, 128> Buf;
612 raw_svector_ostream VecOS(Buf);
Peter Collingbourne147db3e2018-05-21 18:11:35 +0000613 Asm.writeSectionData(VecOS, &MCSec, Layout);
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000614
615 // Write the section contents to the object file.
Peter Collingbournef17b1492018-05-21 18:17:42 +0000616 W.OS << Buf;
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000617
618 // Calculate our CRC with an initial value of '0', this is not how
619 // JamCRC is specified but it aligns with the expected output.
620 JamCRC JC(/*Init=*/0);
621 JC.update(Buf);
622 return JC.getCRC();
623}
624
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000625void WinCOFFObjectWriter::writeSection(MCAssembler &Asm,
626 const MCAsmLayout &Layout,
627 const COFFSection &Sec,
628 const MCSection &MCSec) {
629 if (Sec.Number == -1)
630 return;
631
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000632 // Write the section contents.
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000633 if (Sec.Header.PointerToRawData != 0) {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000634 assert(W.OS.tell() <= Sec.Header.PointerToRawData &&
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000635 "Section::PointerToRawData is insane!");
636
Peter Collingbournef17b1492018-05-21 18:17:42 +0000637 unsigned PaddingSize = Sec.Header.PointerToRawData - W.OS.tell();
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000638 assert(PaddingSize < 4 &&
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000639 "Should only need at most three bytes of padding!");
Peter Collingbournef17b1492018-05-21 18:17:42 +0000640 W.OS.write_zeros(PaddingSize);
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000641
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000642 uint32_t CRC = writeSectionContents(Asm, Layout, MCSec);
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000643
644 // Update the section definition auxiliary symbol to record the CRC.
645 COFFSection *Sec = SectionMap[&MCSec];
646 COFFSymbol::AuxiliarySymbols &AuxSyms = Sec->Symbol->Aux;
647 assert(AuxSyms.size() == 1 && AuxSyms[0].AuxType == ATSectionDefinition);
648 AuxSymbol &SecDef = AuxSyms[0];
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000649 SecDef.Aux.SectionDefinition.CheckSum = CRC;
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000650 }
651
Rui Ueyama26ca0bd2017-02-16 02:56:06 +0000652 // Write relocations for this section.
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000653 if (Sec.Relocations.empty()) {
654 assert(Sec.Header.PointerToRelocations == 0 &&
655 "Section::PointerToRelocations is insane!");
656 return;
657 }
658
Peter Collingbournef17b1492018-05-21 18:17:42 +0000659 assert(W.OS.tell() == Sec.Header.PointerToRelocations &&
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000660 "Section::PointerToRelocations is insane!");
661
662 if (Sec.Relocations.size() >= 0xffff) {
663 // In case of overflow, write actual relocation count as first
664 // relocation. Including the synthetic reloc itself (+ 1).
665 COFF::relocation R;
666 R.VirtualAddress = Sec.Relocations.size() + 1;
667 R.SymbolTableIndex = 0;
668 R.Type = 0;
669 WriteRelocation(R);
670 }
671
672 for (const auto &Relocation : Sec.Relocations)
673 WriteRelocation(Relocation.Data);
674}
675
Chris Lattner2c52b792010-07-11 22:07:02 +0000676////////////////////////////////////////////////////////////////////////////////
677// MCObjectWriter interface implementations
678
Jim Grosbach56ed0bb2015-06-04 23:25:54 +0000679void WinCOFFObjectWriter::executePostLayoutBinding(MCAssembler &Asm,
Rafael Espindola93e3cf02010-12-07 00:27:36 +0000680 const MCAsmLayout &Layout) {
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000681 // "Define" each section & symbol. This creates section & symbol
Michael J. Spencerd6283772010-09-27 08:58:26 +0000682 // entries in the staging area.
Yaron Keren56919ef2014-12-04 08:30:39 +0000683 for (const auto &Section : Asm)
Rafael Espindolaf59264f2015-05-27 14:45:54 +0000684 defineSection(static_cast<const MCSectionCOFF &>(Section));
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000685
Duncan P. N. Exon Smithf48de1c2015-05-16 00:35:24 +0000686 for (const MCSymbol &Symbol : Asm.symbols())
Peter Collingbourne8359a6a2015-11-26 23:29:27 +0000687 if (!Symbol.isTemporary())
Duncan P. N. Exon Smithe8fb3a22015-05-20 19:34:08 +0000688 DefineSymbol(Symbol, Asm, Layout);
Chris Lattner2c52b792010-07-11 22:07:02 +0000689}
690
Jim Grosbach36e60e92015-06-04 22:24:41 +0000691bool WinCOFFObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(
Duncan P. N. Exon Smithd81ba532015-05-16 01:01:55 +0000692 const MCAssembler &Asm, const MCSymbol &SymA, const MCFragment &FB,
Rafael Espindola35d61892015-04-17 21:15:17 +0000693 bool InSet, bool IsPCRel) const {
Reid Kleckner5a5ac652018-03-14 19:24:32 +0000694 // Don't drop relocations between functions, even if they are in the same text
695 // section. Multiple Visual C++ linker features depend on having the
696 // relocations present. The /INCREMENTAL flag will cause these relocations to
697 // point to thunks, and the /GUARD:CF flag assumes that it can use relocations
698 // to approximate the set of all address taken functions. LLD's implementation
699 // of /GUARD:CF also relies on the existance of these relocations.
Pete Cooperad9f9c32015-06-08 17:17:12 +0000700 uint16_t Type = cast<MCSymbolCOFF>(SymA).getType();
Reid Kleckner5a5ac652018-03-14 19:24:32 +0000701 if ((Type >> COFF::SCT_COMPLEX_TYPE_SHIFT) == COFF::IMAGE_SYM_DTYPE_FUNCTION)
David Majnemer2cc4bc772014-11-11 08:43:57 +0000702 return false;
Jim Grosbach36e60e92015-06-04 22:24:41 +0000703 return MCObjectWriter::isSymbolRefDifferenceFullyResolvedImpl(Asm, SymA, FB,
Rafael Espindola35d61892015-04-17 21:15:17 +0000704 InSet, IsPCRel);
David Majnemer2cc4bc772014-11-11 08:43:57 +0000705}
706
Rafael Espindolaceecfe5b2017-07-11 23:56:10 +0000707void WinCOFFObjectWriter::recordRelocation(MCAssembler &Asm,
708 const MCAsmLayout &Layout,
709 const MCFragment *Fragment,
710 const MCFixup &Fixup, MCValue Target,
711 uint64_t &FixedValue) {
Craig Topperbb694de2014-04-13 04:57:38 +0000712 assert(Target.getSymA() && "Relocation must reference a symbol!");
Michael J. Spencerccd28d02010-08-24 21:04:52 +0000713
Peter Collingbourne8359a6a2015-11-26 23:29:27 +0000714 const MCSymbol &A = Target.getSymA()->getSymbol();
Oliver Stannard9be59af2015-11-17 10:00:43 +0000715 if (!A.isRegistered()) {
716 Asm.getContext().reportError(Fixup.getLoc(),
Rafael Espindola11e9e212015-05-27 14:37:12 +0000717 Twine("symbol '") + A.getName() +
718 "' can not be undefined");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000719 return;
720 }
Reid Kleckner85dfb682015-09-16 16:26:29 +0000721 if (A.isTemporary() && A.isUndefined()) {
Oliver Stannard9be59af2015-11-17 10:00:43 +0000722 Asm.getContext().reportError(Fixup.getLoc(),
Reid Kleckner85dfb682015-09-16 16:26:29 +0000723 Twine("assembler label '") + A.getName() +
724 "' can not be undefined");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000725 return;
Reid Kleckner85dfb682015-09-16 16:26:29 +0000726 }
Timur Iskhodzhanov3e4ac4e2014-01-30 21:13:05 +0000727
Rui Ueyama62376782017-02-16 01:06:45 +0000728 MCSection *MCSec = Fragment->getParent();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000729
Michael J. Spencerccd28d02010-08-24 21:04:52 +0000730 // Mark this symbol as requiring an entry in the symbol table.
Rui Ueyama62376782017-02-16 01:06:45 +0000731 assert(SectionMap.find(MCSec) != SectionMap.end() &&
Jim Grosbach56ed0bb2015-06-04 23:25:54 +0000732 "Section must already have been defined in executePostLayoutBinding!");
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000733
Rui Ueyama62376782017-02-16 01:06:45 +0000734 COFFSection *Sec = SectionMap[MCSec];
Rafael Espindolaed164772011-04-20 14:01:45 +0000735 const MCSymbolRefExpr *SymB = Target.getSymB();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000736
David Majnemera45a1762014-01-06 07:39:46 +0000737 if (SymB) {
738 const MCSymbol *B = &SymB->getSymbol();
Oliver Stannard9be59af2015-11-17 10:00:43 +0000739 if (!B->getFragment()) {
740 Asm.getContext().reportError(
David Majnemera45a1762014-01-06 07:39:46 +0000741 Fixup.getLoc(),
742 Twine("symbol '") + B->getName() +
743 "' can not be undefined in a subtraction expression");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000744 return;
745 }
David Majnemera45a1762014-01-06 07:39:46 +0000746
Rafael Espindolac3dc4862011-04-21 18:36:50 +0000747 // Offset of the symbol in the section
Duncan P. N. Exon Smith2a404832015-05-19 23:53:20 +0000748 int64_t OffsetOfB = Layout.getSymbolOffset(*B);
Michael J. Spencerccd28d02010-08-24 21:04:52 +0000749
David Majnemer1de30942015-02-09 06:31:31 +0000750 // Offset of the relocation in the section
751 int64_t OffsetOfRelocation =
752 Layout.getFragmentOffset(Fragment) + Fixup.getOffset();
753
Andy Ayers9e5c8512015-05-14 01:10:41 +0000754 FixedValue = (OffsetOfRelocation - OffsetOfB) + Target.getConstant();
Michael J. Spencerccd28d02010-08-24 21:04:52 +0000755 } else {
756 FixedValue = Target.getConstant();
757 }
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000758
759 COFFRelocation Reloc;
760
Daniel Dunbar727be432010-07-31 21:08:54 +0000761 Reloc.Data.SymbolTableIndex = 0;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000762 Reloc.Data.VirtualAddress = Layout.getFragmentOffset(Fragment);
Michael J. Spencerd6283772010-09-27 08:58:26 +0000763
Michael J. Spencera65d17a2010-10-05 19:48:12 +0000764 // Turn relocations for temporary symbols into section relocations.
Rafael Espindolad2edd132017-06-22 21:57:04 +0000765 if (A.isTemporary()) {
Peter Collingbourne8359a6a2015-11-26 23:29:27 +0000766 MCSection *TargetSection = &A.getSection();
767 assert(
768 SectionMap.find(TargetSection) != SectionMap.end() &&
769 "Section must already have been defined in executePostLayoutBinding!");
770 Reloc.Symb = SectionMap[TargetSection]->Symbol;
771 FixedValue += Layout.getSymbolOffset(A);
772 } else {
773 assert(
774 SymbolMap.find(&A) != SymbolMap.end() &&
775 "Symbol must already have been defined in executePostLayoutBinding!");
776 Reloc.Symb = SymbolMap[&A];
777 }
Michael J. Spencerd6283772010-09-27 08:58:26 +0000778
779 ++Reloc.Symb->Relocations;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000780
781 Reloc.Data.VirtualAddress += Fixup.getOffset();
Rafael Espindola58173b92017-06-23 04:07:44 +0000782 Reloc.Data.Type = TargetObjectWriter->getRelocType(
783 Asm.getContext(), Target, Fixup, SymB, Asm.getBackend());
Rafael Espindolae61724a2011-12-22 22:21:47 +0000784
785 // FIXME: Can anyone explain what this does other than adjust for the size
786 // of the offset?
Saleem Abdulrasool2c080512014-04-13 20:47:55 +0000787 if ((Header.Machine == COFF::IMAGE_FILE_MACHINE_AMD64 &&
788 Reloc.Data.Type == COFF::IMAGE_REL_AMD64_REL32) ||
789 (Header.Machine == COFF::IMAGE_FILE_MACHINE_I386 &&
790 Reloc.Data.Type == COFF::IMAGE_REL_I386_REL32))
Michael J. Spencerccd28d02010-08-24 21:04:52 +0000791 FixedValue += 4;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000792
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +0000793 if (Header.Machine == COFF::IMAGE_FILE_MACHINE_ARMNT) {
794 switch (Reloc.Data.Type) {
795 case COFF::IMAGE_REL_ARM_ABSOLUTE:
796 case COFF::IMAGE_REL_ARM_ADDR32:
797 case COFF::IMAGE_REL_ARM_ADDR32NB:
798 case COFF::IMAGE_REL_ARM_TOKEN:
799 case COFF::IMAGE_REL_ARM_SECTION:
800 case COFF::IMAGE_REL_ARM_SECREL:
801 break;
802 case COFF::IMAGE_REL_ARM_BRANCH11:
803 case COFF::IMAGE_REL_ARM_BLX11:
Rafael Espindola11e9e212015-05-27 14:37:12 +0000804 // IMAGE_REL_ARM_BRANCH11 and IMAGE_REL_ARM_BLX11 are only used for
805 // pre-ARMv7, which implicitly rules it out of ARMNT (it would be valid
806 // for Windows CE).
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +0000807 case COFF::IMAGE_REL_ARM_BRANCH24:
808 case COFF::IMAGE_REL_ARM_BLX24:
809 case COFF::IMAGE_REL_ARM_MOV32A:
810 // IMAGE_REL_ARM_BRANCH24, IMAGE_REL_ARM_BLX24, IMAGE_REL_ARM_MOV32A are
811 // only used for ARM mode code, which is documented as being unsupported
Alp Tokerbeaca192014-05-15 01:52:21 +0000812 // by Windows on ARM. Empirical proof indicates that masm is able to
Saleem Abdulrasool84b952b2014-04-27 03:48:22 +0000813 // generate the relocations however the rest of the MSVC toolchain is
814 // unable to handle it.
815 llvm_unreachable("unsupported relocation");
816 break;
817 case COFF::IMAGE_REL_ARM_MOV32T:
818 break;
819 case COFF::IMAGE_REL_ARM_BRANCH20T:
820 case COFF::IMAGE_REL_ARM_BRANCH24T:
821 case COFF::IMAGE_REL_ARM_BLX23T:
822 // IMAGE_REL_BRANCH20T, IMAGE_REL_ARM_BRANCH24T, IMAGE_REL_ARM_BLX23T all
823 // perform a 4 byte adjustment to the relocation. Relative branches are
824 // offset by 4 on ARM, however, because there is no RELA relocations, all
825 // branches are offset by 4.
826 FixedValue = FixedValue + 4;
827 break;
828 }
829 }
830
Simon Pilgrimf2fbf432016-11-20 13:47:59 +0000831 // The fixed value never makes sense for section indices, ignore it.
David Majnemer408b5e62016-02-05 01:55:49 +0000832 if (Fixup.getKind() == FK_SecRel_2)
833 FixedValue = 0;
834
Saleem Abdulrasool54bed122014-05-21 23:17:50 +0000835 if (TargetObjectWriter->recordRelocation(Fixup))
Rui Ueyama62376782017-02-16 01:06:45 +0000836 Sec->Relocations.push_back(Reloc);
837}
838
839static std::time_t getTime() {
840 std::time_t Now = time(nullptr);
841 if (Now < 0 || !isUInt<32>(Now))
842 return UINT32_MAX;
843 return Now;
Chris Lattner2c52b792010-07-11 22:07:02 +0000844}
845
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000846// Create .file symbols.
847void WinCOFFObjectWriter::createFileSymbols(MCAssembler &Asm) {
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000848 for (const std::string &Name : Asm.getFileNames()) {
David Majnemer4d571592014-09-15 19:42:42 +0000849 // round up to calculate the number of auxiliary symbols required
850 unsigned SymbolSize = UseBigObj ? COFF::Symbol32Size : COFF::Symbol16Size;
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000851 unsigned Count = (Name.size() + SymbolSize - 1) / SymbolSize;
David Majnemer4d571592014-09-15 19:42:42 +0000852
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000853 COFFSymbol *File = createSymbol(".file");
854 File->Data.SectionNumber = COFF::IMAGE_SYM_DEBUG;
855 File->Data.StorageClass = COFF::IMAGE_SYM_CLASS_FILE;
856 File->Aux.resize(Count);
David Majnemer4d571592014-09-15 19:42:42 +0000857
858 unsigned Offset = 0;
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000859 unsigned Length = Name.size();
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000860 for (auto &Aux : File->Aux) {
David Majnemer4d571592014-09-15 19:42:42 +0000861 Aux.AuxType = ATFile;
862
863 if (Length > SymbolSize) {
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000864 memcpy(&Aux.Aux, Name.c_str() + Offset, SymbolSize);
David Majnemer4d571592014-09-15 19:42:42 +0000865 Length = Length - SymbolSize;
866 } else {
Rafael Espindola66f3c9c2015-05-28 18:03:20 +0000867 memcpy(&Aux.Aux, Name.c_str() + Offset, Length);
David Majnemer4d571592014-09-15 19:42:42 +0000868 memset((char *)&Aux.Aux + Length, 0, SymbolSize - Length);
869 break;
870 }
871
872 Offset += SymbolSize;
873 }
874 }
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000875}
876
Rui Ueyamaac20c172017-02-17 17:32:54 +0000877static bool isAssociative(const COFFSection &Section) {
878 return Section.Symbol->Aux[0].Aux.SectionDefinition.Selection ==
879 COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE;
880}
881
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000882void WinCOFFObjectWriter::assignSectionNumbers() {
883 size_t I = 1;
Rui Ueyamaac20c172017-02-17 17:32:54 +0000884 auto Assign = [&](COFFSection &Section) {
885 Section.Number = I;
886 Section.Symbol->Data.SectionNumber = I;
887 Section.Symbol->Aux[0].Aux.SectionDefinition.Number = I;
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000888 ++I;
Rui Ueyamaac20c172017-02-17 17:32:54 +0000889 };
890
891 // Although it is not explicitly requested by the Microsoft COFF spec,
892 // we should avoid emitting forward associative section references,
893 // because MSVC link.exe as of 2017 cannot handle that.
894 for (const std::unique_ptr<COFFSection> &Section : Sections)
895 if (!isAssociative(*Section))
896 Assign(*Section);
897 for (const std::unique_ptr<COFFSection> &Section : Sections)
898 if (isAssociative(*Section))
899 Assign(*Section);
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000900}
901
902// Assign file offsets to COFF object file structures.
903void WinCOFFObjectWriter::assignFileOffsets(MCAssembler &Asm,
904 const MCAsmLayout &Layout) {
Peter Collingbournef17b1492018-05-21 18:17:42 +0000905 unsigned Offset = W.OS.tell();
Rui Ueyamaaf20f102017-02-16 02:35:48 +0000906
907 Offset += UseBigObj ? COFF::Header32Size : COFF::Header16Size;
908 Offset += COFF::SectionSize * Header.NumberOfSections;
909
910 for (const auto &Section : Asm) {
911 COFFSection *Sec = SectionMap[&Section];
912
913 if (Sec->Number == -1)
914 continue;
915
916 Sec->Header.SizeOfRawData = Layout.getSectionAddressSize(&Section);
917
918 if (IsPhysicalSection(Sec)) {
919 // Align the section data to a four byte boundary.
920 Offset = alignTo(Offset, 4);
921 Sec->Header.PointerToRawData = Offset;
922
923 Offset += Sec->Header.SizeOfRawData;
924 }
925
926 if (!Sec->Relocations.empty()) {
927 bool RelocationsOverflow = Sec->Relocations.size() >= 0xffff;
928
929 if (RelocationsOverflow) {
930 // Signal overflow by setting NumberOfRelocations to max value. Actual
931 // size is found in reloc #0. Microsoft tools understand this.
932 Sec->Header.NumberOfRelocations = 0xffff;
933 } else {
934 Sec->Header.NumberOfRelocations = Sec->Relocations.size();
935 }
936 Sec->Header.PointerToRelocations = Offset;
937
938 if (RelocationsOverflow) {
939 // Reloc #0 will contain actual count, so make room for it.
940 Offset += COFF::RelocationSize;
941 }
942
943 Offset += COFF::RelocationSize * Sec->Relocations.size();
944
945 for (auto &Relocation : Sec->Relocations) {
946 assert(Relocation.Symb->getIndex() != -1);
947 Relocation.Data.SymbolTableIndex = Relocation.Symb->getIndex();
948 }
949 }
950
951 assert(Sec->Symbol->Aux.size() == 1 &&
952 "Section's symbol must have one aux!");
953 AuxSymbol &Aux = Sec->Symbol->Aux[0];
954 assert(Aux.AuxType == ATSectionDefinition &&
955 "Section's symbol's aux symbol must be a Section Definition!");
956 Aux.Aux.SectionDefinition.Length = Sec->Header.SizeOfRawData;
957 Aux.Aux.SectionDefinition.NumberOfRelocations =
958 Sec->Header.NumberOfRelocations;
959 Aux.Aux.SectionDefinition.NumberOfLinenumbers =
960 Sec->Header.NumberOfLineNumbers;
961 }
962
963 Header.PointerToSymbolTable = Offset;
964}
965
966void WinCOFFObjectWriter::writeObject(MCAssembler &Asm,
967 const MCAsmLayout &Layout) {
968 if (Sections.size() > INT32_MAX)
969 report_fatal_error(
970 "PE COFF object files can't have more than 2147483647 sections");
971
972 UseBigObj = Sections.size() > COFF::MaxNumberOfSections16;
973 Header.NumberOfSections = Sections.size();
974 Header.NumberOfSymbols = 0;
975
976 assignSectionNumbers();
977 createFileSymbols(Asm);
David Majnemer4d571592014-09-15 19:42:42 +0000978
David Majnemer9ab5ff12014-08-28 04:02:50 +0000979 for (auto &Symbol : Symbols) {
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000980 // Update section number & offset for symbols that have them.
Rafael Espindola575f79a2014-05-01 13:37:57 +0000981 if (Symbol->Section)
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +0000982 Symbol->Data.SectionNumber = Symbol->Section->Number;
Peter Collingbourne8359a6a2015-11-26 23:29:27 +0000983 Symbol->setIndex(Header.NumberOfSymbols++);
984 // Update auxiliary symbol info.
985 Symbol->Data.NumberOfAuxSymbols = Symbol->Aux.size();
986 Header.NumberOfSymbols += Symbol->Data.NumberOfAuxSymbols;
Michael J. Spencerb5fc1382010-07-26 02:17:32 +0000987 }
988
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000989 // Build string table.
990 for (const auto &S : Sections)
991 if (S->Name.size() > COFF::NameSize)
992 Strings.add(S->Name);
993 for (const auto &S : Symbols)
Peter Collingbourne8359a6a2015-11-26 23:29:27 +0000994 if (S->Name.size() > COFF::NameSize)
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000995 Strings.add(S->Name);
Rafael Espindola21956e42015-10-23 21:48:05 +0000996 Strings.finalize();
Hans Wennborgf26bfc12014-09-29 22:43:20 +0000997
998 // Set names.
999 for (const auto &S : Sections)
1000 SetSectionName(*S);
1001 for (auto &S : Symbols)
Peter Collingbourne8359a6a2015-11-26 23:29:27 +00001002 SetSymbolName(*S);
Hans Wennborgf26bfc12014-09-29 22:43:20 +00001003
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001004 // Fixup weak external references.
Yaron Keren56919ef2014-12-04 08:30:39 +00001005 for (auto &Symbol : Symbols) {
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +00001006 if (Symbol->Other) {
David Majnemer4eecd302015-05-30 04:56:02 +00001007 assert(Symbol->getIndex() != -1);
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +00001008 assert(Symbol->Aux.size() == 1 && "Symbol must contain one aux symbol!");
1009 assert(Symbol->Aux[0].AuxType == ATWeakExternal &&
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001010 "Symbol's aux symbol must be a Weak External!");
David Majnemer4eecd302015-05-30 04:56:02 +00001011 Symbol->Aux[0].Aux.WeakExternal.TagIndex = Symbol->Other->getIndex();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001012 }
1013 }
1014
Nico Riecka37acf72013-07-06 12:13:10 +00001015 // Fixup associative COMDAT sections.
Yaron Keren56919ef2014-12-04 08:30:39 +00001016 for (auto &Section : Sections) {
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +00001017 if (Section->Symbol->Aux[0].Aux.SectionDefinition.Selection !=
Nico Riecka37acf72013-07-06 12:13:10 +00001018 COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE)
1019 continue;
1020
Rafael Espindolaf59264f2015-05-27 14:45:54 +00001021 const MCSectionCOFF &MCSec = *Section->MCSection;
Nico Riecka37acf72013-07-06 12:13:10 +00001022
Rafael Espindola0766ae02014-06-06 19:26:12 +00001023 const MCSymbol *COMDAT = MCSec.getCOMDATSymbol();
1024 assert(COMDAT);
1025 COFFSymbol *COMDATSymbol = GetOrCreateCOFFSymbol(COMDAT);
1026 assert(COMDATSymbol);
1027 COFFSection *Assoc = COMDATSymbol->Section;
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +00001028 if (!Assoc)
Rafael Espindola0766ae02014-06-06 19:26:12 +00001029 report_fatal_error(
1030 Twine("Missing associated COMDAT section for section ") +
1031 MCSec.getSectionName());
Nico Riecka37acf72013-07-06 12:13:10 +00001032
1033 // Skip this section if the associated section is unused.
1034 if (Assoc->Number == -1)
1035 continue;
1036
David Majnemer4eecd302015-05-30 04:56:02 +00001037 Section->Symbol->Aux[0].Aux.SectionDefinition.Number = Assoc->Number;
Nico Riecka37acf72013-07-06 12:13:10 +00001038 }
1039
Rui Ueyamaaf20f102017-02-16 02:35:48 +00001040 assignFileOffsets(Asm, Layout);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001041
David Majnemer088ba022015-09-01 23:46:11 +00001042 // MS LINK expects to be able to use this timestamp to implement their
1043 // /INCREMENTAL feature.
David Majnemer03e2cc32015-12-21 22:09:27 +00001044 if (Asm.isIncrementalLinkerCompatible()) {
Rui Ueyama62376782017-02-16 01:06:45 +00001045 Header.TimeDateStamp = getTime();
David Majnemer03e2cc32015-12-21 22:09:27 +00001046 } else {
Nico Weber891419a2016-01-06 19:05:19 +00001047 // Have deterministic output if /INCREMENTAL isn't needed. Also matches GNU.
David Majnemer03e2cc32015-12-21 22:09:27 +00001048 Header.TimeDateStamp = 0;
1049 }
Michael J. Spencera6cfbeb2010-08-03 04:43:33 +00001050
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001051 // Write it all to disk...
1052 WriteFileHeader(Header);
Rui Ueyamaac20c172017-02-17 17:32:54 +00001053 writeSectionHeaders();
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001054
Rui Ueyamaaf20f102017-02-16 02:35:48 +00001055 // Write section contents.
1056 sections::iterator I = Sections.begin();
1057 sections::iterator IE = Sections.end();
1058 MCAssembler::iterator J = Asm.begin();
1059 MCAssembler::iterator JE = Asm.end();
1060 for (; I != IE && J != JE; ++I, ++J)
1061 writeSection(Asm, Layout, **I, *J);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001062
Peter Collingbournef17b1492018-05-21 18:17:42 +00001063 assert(W.OS.tell() == Header.PointerToSymbolTable &&
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001064 "Header::PointerToSymbolTable is insane!");
1065
Rui Ueyamaaf20f102017-02-16 02:35:48 +00001066 // Write a symbol table.
Yaron Keren56919ef2014-12-04 08:30:39 +00001067 for (auto &Symbol : Symbols)
David Majnemer4eecd302015-05-30 04:56:02 +00001068 if (Symbol->getIndex() != -1)
Saleem Abdulrasool09ced5f2014-04-28 03:34:48 +00001069 WriteSymbol(*Symbol);
Michael J. Spencerb5fc1382010-07-26 02:17:32 +00001070
Rui Ueyamaaf20f102017-02-16 02:35:48 +00001071 // Write a string table, which completes the entire COFF file.
Peter Collingbournef17b1492018-05-21 18:17:42 +00001072 Strings.write(W.OS);
Chris Lattner2c52b792010-07-11 22:07:02 +00001073}
1074
Rafael Espindola11e9e212015-05-27 14:37:12 +00001075MCWinCOFFObjectTargetWriter::MCWinCOFFObjectTargetWriter(unsigned Machine_)
1076 : Machine(Machine_) {}
Rafael Espindola908d2ed2011-12-24 02:14:02 +00001077
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +00001078// Pin the vtable to this file.
1079void MCWinCOFFObjectTargetWriter::anchor() {}
1080
Chris Lattner2c52b792010-07-11 22:07:02 +00001081//------------------------------------------------------------------------------
1082// WinCOFFObjectWriter factory function
1083
Lang Hames60fbc7c2017-10-10 16:28:07 +00001084std::unique_ptr<MCObjectWriter> llvm::createWinCOFFObjectWriter(
Lang Hames77dff392017-10-10 00:50:29 +00001085 std::unique_ptr<MCWinCOFFObjectTargetWriter> MOTW, raw_pwrite_stream &OS) {
Lang Hames60fbc7c2017-10-10 16:28:07 +00001086 return llvm::make_unique<WinCOFFObjectWriter>(std::move(MOTW), OS);
Michael J. Spencerc2129372010-07-26 03:01:28 +00001087}