blob: c78a2e17c8d180114d3e014cf9a9effcb250a533 [file] [log] [blame]
Sam Clegg9fa8af62017-06-21 20:58:17 +00001//===- llvm/MC/MCWinCOFFStreamer.cpp --------------------------------------===//
Chris Lattner56725be2010-07-11 22:05:00 +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//
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000010// This file contains an implementation of a Windows COFF object file streamer.
Chris Lattner56725be2010-07-11 22:05:00 +000011//
12//===----------------------------------------------------------------------===//
13
Eugene Zelenko1d435522017-02-07 23:02:00 +000014#include "llvm/ADT/SmallString.h"
15#include "llvm/ADT/SmallVector.h"
16#include "llvm/ADT/Triple.h"
17#include "llvm/ADT/Twine.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000018#include "llvm/BinaryFormat/COFF.h"
Evan Cheng5928e692011-07-25 23:24:55 +000019#include "llvm/MC/MCAsmBackend.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/MC/MCAssembler.h"
21#include "llvm/MC/MCCodeEmitter.h"
22#include "llvm/MC/MCContext.h"
23#include "llvm/MC/MCExpr.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000024#include "llvm/MC/MCFixup.h"
25#include "llvm/MC/MCFragment.h"
Rafael Espindolae308c0c2014-01-23 22:49:25 +000026#include "llvm/MC/MCObjectFileInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/MC/MCObjectStreamer.h"
28#include "llvm/MC/MCSection.h"
Pete Cooperad9f9c32015-06-08 17:17:12 +000029#include "llvm/MC/MCSymbolCOFF.h"
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000030#include "llvm/MC/MCWinCOFFStreamer.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000031#include "llvm/Support/Casting.h"
Chris Lattner56725be2010-07-11 22:05:00 +000032#include "llvm/Support/ErrorHandling.h"
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +000033#include "llvm/Support/MathExtras.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000034#include "llvm/Support/SMLoc.h"
Chandler Carruth6bda14b2017-06-06 11:49:48 +000035#include "llvm/Support/raw_ostream.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000036#include <algorithm>
37#include <cassert>
38#include <cstdint>
Rafael Espindolad3df3d32011-12-17 01:14:52 +000039
Chris Lattner56725be2010-07-11 22:05:00 +000040using namespace llvm;
41
Chandler Carruthf58e3762014-04-22 03:04:17 +000042#define DEBUG_TYPE "WinCOFFStreamer"
43
Lang Hames02d33052017-10-11 01:57:21 +000044MCWinCOFFStreamer::MCWinCOFFStreamer(MCContext &Context,
45 std::unique_ptr<MCAsmBackend> MAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +000046 MCCodeEmitter &CE, raw_pwrite_stream &OS)
Lang Hames02d33052017-10-11 01:57:21 +000047 : MCObjectStreamer(Context, std::move(MAB), OS, &CE), CurSymbol(nullptr) {}
Michael J. Spencere2da0a42010-07-19 06:13:10 +000048
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000049void MCWinCOFFStreamer::EmitInstToData(const MCInst &Inst,
50 const MCSubtargetInfo &STI) {
51 MCDataFragment *DF = getOrCreateDataFragment();
Chris Lattner56725be2010-07-11 22:05:00 +000052
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000053 SmallVector<MCFixup, 4> Fixups;
54 SmallString<256> Code;
55 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +000056 getAssembler().getEmitter().encodeInstruction(Inst, VecOS, Fixups, STI);
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000057
58 // Add the fixups and data.
59 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
60 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
61 DF->getFixups().push_back(Fixups[i]);
62 }
63
64 DF->getContents().append(Code.begin(), Code.end());
65}
66
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000067void MCWinCOFFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf2812532014-01-24 02:28:11 +000068 // FIXME: this is identical to the ELF one.
69 // This emulates the same behavior of GNU as. This makes it easier
70 // to compare the output as the major sections are in the same order.
71 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000072 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000073
74 SwitchSection(getContext().getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000075 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000076
77 SwitchSection(getContext().getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000078 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000079
80 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindolaf667d922010-09-15 21:48:40 +000081}
82
Rafael Espindolabe991572017-02-10 15:13:12 +000083void MCWinCOFFStreamer::EmitLabel(MCSymbol *S, SMLoc Loc) {
David Majnemer230bbfb2016-07-08 21:54:16 +000084 auto *Symbol = cast<MCSymbolCOFF>(S);
Rafael Espindolabe991572017-02-10 15:13:12 +000085 MCObjectStreamer::EmitLabel(Symbol, Loc);
Rafael Espindola16795802010-11-28 16:22:59 +000086}
87
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000088void MCWinCOFFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +000089 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +000090}
91
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000092void MCWinCOFFStreamer::EmitThumbFunc(MCSymbol *Func) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000093 llvm_unreachable("not implemented");
94}
95
David Majnemer230bbfb2016-07-08 21:54:16 +000096bool MCWinCOFFStreamer::EmitSymbolAttribute(MCSymbol *S,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000097 MCSymbolAttr Attribute) {
David Majnemer230bbfb2016-07-08 21:54:16 +000098 auto *Symbol = cast<MCSymbolCOFF>(S);
Rafael Espindolab5d316b2015-05-29 20:21:02 +000099 getAssembler().registerSymbol(*Symbol);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000100
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000101 switch (Attribute) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000102 default: return false;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000103 case MCSA_WeakReference:
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000104 case MCSA_Weak:
David Majnemer230bbfb2016-07-08 21:54:16 +0000105 Symbol->setIsWeakExternal();
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000106 Symbol->setExternal(true);
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000107 break;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000108 case MCSA_Global:
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000109 Symbol->setExternal(true);
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000110 break;
Lang Hames6d22d8a2016-04-08 17:38:51 +0000111 case MCSA_AltEntry:
Lang Hamesf9033bb2016-04-11 18:33:45 +0000112 llvm_unreachable("COFF doesn't support the .alt_entry attribute");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000113 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000114
115 return true;
Chris Lattner56725be2010-07-11 22:05:00 +0000116}
117
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000118void MCWinCOFFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000119 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000120}
121
David Majnemer230bbfb2016-07-08 21:54:16 +0000122void MCWinCOFFStreamer::BeginCOFFSymbolDef(MCSymbol const *S) {
123 auto *Symbol = cast<MCSymbolCOFF>(S);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000124 if (CurSymbol)
Oliver Stannard9be59af2015-11-17 10:00:43 +0000125 Error("starting a new symbol definition without completing the "
126 "previous one");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000127 CurSymbol = Symbol;
Chris Lattner56725be2010-07-11 22:05:00 +0000128}
129
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000130void MCWinCOFFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
Oliver Stannard9be59af2015-11-17 10:00:43 +0000131 if (!CurSymbol) {
132 Error("storage class specified outside of symbol definition");
133 return;
134 }
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000135
Oliver Stannard9be59af2015-11-17 10:00:43 +0000136 if (StorageClass & ~COFF::SSC_Invalid) {
137 Error("storage class value '" + Twine(StorageClass) +
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000138 "' out of range");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000139 return;
140 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000141
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000142 getAssembler().registerSymbol(*CurSymbol);
Pete Cooper6bf1f302015-06-08 17:17:19 +0000143 cast<MCSymbolCOFF>(CurSymbol)->setClass((uint16_t)StorageClass);
Chris Lattner56725be2010-07-11 22:05:00 +0000144}
145
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000146void MCWinCOFFStreamer::EmitCOFFSymbolType(int Type) {
Oliver Stannard9be59af2015-11-17 10:00:43 +0000147 if (!CurSymbol) {
148 Error("symbol type specified outside of a symbol definition");
149 return;
150 }
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000151
Oliver Stannard9be59af2015-11-17 10:00:43 +0000152 if (Type & ~0xffff) {
153 Error("type value '" + Twine(Type) + "' out of range");
154 return;
155 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000156
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000157 getAssembler().registerSymbol(*CurSymbol);
Pete Cooperad9f9c32015-06-08 17:17:12 +0000158 cast<MCSymbolCOFF>(CurSymbol)->setType((uint16_t)Type);
Chris Lattner56725be2010-07-11 22:05:00 +0000159}
160
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000161void MCWinCOFFStreamer::EndCOFFSymbolDef() {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000162 if (!CurSymbol)
Oliver Stannard9be59af2015-11-17 10:00:43 +0000163 Error("ending symbol definition without starting one");
Craig Topperbb694de2014-04-13 04:57:38 +0000164 CurSymbol = nullptr;
Chris Lattner56725be2010-07-11 22:05:00 +0000165}
166
David Majnemer4eecd302015-05-30 04:56:02 +0000167void MCWinCOFFStreamer::EmitCOFFSafeSEH(MCSymbol const *Symbol) {
David Majnemer279306c2015-06-01 07:34:26 +0000168 // SafeSEH is a feature specific to 32-bit x86. It does not exist (and is
169 // unnecessary) on all platforms which use table-based exception dispatch.
170 if (getContext().getObjectFileInfo()->getTargetTriple().getArch() !=
171 Triple::x86)
172 return;
173
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000174 const MCSymbolCOFF *CSymbol = cast<MCSymbolCOFF>(Symbol);
175 if (CSymbol->isSafeSEH())
David Majnemer4eecd302015-05-30 04:56:02 +0000176 return;
177
178 MCSection *SXData = getContext().getObjectFileInfo()->getSXDataSection();
179 getAssembler().registerSection(*SXData);
180 if (SXData->getAlignment() < 4)
181 SXData->setAlignment(4);
182
183 new MCSafeSEHFragment(Symbol, SXData);
184
185 getAssembler().registerSymbol(*Symbol);
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000186 CSymbol->setIsSafeSEH();
187
188 // The Microsoft linker requires that the symbol type of a handler be
189 // function. Go ahead and oblige it here.
190 CSymbol->setType(COFF::IMAGE_SYM_DTYPE_FUNCTION
191 << COFF::SCT_COMPLEX_TYPE_SHIFT);
David Majnemer4eecd302015-05-30 04:56:02 +0000192}
193
Reid Kleckner40a47a82017-06-22 21:02:14 +0000194void MCWinCOFFStreamer::EmitCOFFSectionIndex(const MCSymbol *Symbol) {
195 visitUsedSymbol(*Symbol);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000196 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000197 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000198 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_2);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000199 DF->getFixups().push_back(Fixup);
Timur Iskhodzhanov5fcaeeb2014-10-08 18:01:49 +0000200 DF->getContents().resize(DF->getContents().size() + 2, 0);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000201}
202
Reid Kleckner40a47a82017-06-22 21:02:14 +0000203void MCWinCOFFStreamer::EmitCOFFSecRel32(const MCSymbol *Symbol,
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000204 uint64_t Offset) {
Reid Kleckner40a47a82017-06-22 21:02:14 +0000205 visitUsedSymbol(*Symbol);
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000206 MCDataFragment *DF = getOrCreateDataFragment();
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000207 // Create Symbol A for the relocation relative reference.
208 const MCExpr *MCE = MCSymbolRefExpr::create(Symbol, getContext());
209 // Add the constant offset, if given.
210 if (Offset)
211 MCE = MCBinaryExpr::createAdd(
212 MCE, MCConstantExpr::create(Offset, getContext()), getContext());
213 // Build the secrel32 relocation.
214 MCFixup Fixup = MCFixup::create(DF->getContents().size(), MCE, FK_SecRel_4);
215 // Record the relocation.
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000216 DF->getFixups().push_back(Fixup);
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000217 // Emit 4 bytes (zeros) to the object file.
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000218 DF->getContents().resize(DF->getContents().size() + 4, 0);
219}
220
David Majnemer230bbfb2016-07-08 21:54:16 +0000221void MCWinCOFFStreamer::EmitCommonSymbol(MCSymbol *S, uint64_t Size,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000222 unsigned ByteAlignment) {
David Majnemer230bbfb2016-07-08 21:54:16 +0000223 auto *Symbol = cast<MCSymbolCOFF>(S);
David Majnemera9bdb322014-04-08 22:33:40 +0000224
David Majnemer48227a32014-09-21 09:18:07 +0000225 const Triple &T = getContext().getObjectFileInfo()->getTargetTriple();
David Majnemerd7586042014-10-08 06:38:53 +0000226 if (T.isKnownWindowsMSVCEnvironment()) {
David Majnemer48227a32014-09-21 09:18:07 +0000227 if (ByteAlignment > 32)
228 report_fatal_error("alignment is limited to 32-bytes");
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000229
David Majnemerd7586042014-10-08 06:38:53 +0000230 // Round size up to alignment so that we will honor the alignment request.
231 Size = std::max(Size, static_cast<uint64_t>(ByteAlignment));
232 }
David Majnemera9bdb322014-04-08 22:33:40 +0000233
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000234 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000235 Symbol->setExternal(true);
Rafael Espindola14672502015-05-29 17:48:04 +0000236 Symbol->setCommon(Size, ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000237
238 if (!T.isKnownWindowsMSVCEnvironment() && ByteAlignment > 1) {
239 SmallString<128> Directive;
240 raw_svector_ostream OS(Directive);
241 const MCObjectFileInfo *MFI = getContext().getObjectFileInfo();
242
243 OS << " -aligncomm:\"" << Symbol->getName() << "\","
244 << Log2_32_Ceil(ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000245
246 PushSection();
247 SwitchSection(MFI->getDrectveSection());
248 EmitBytes(Directive);
249 PopSection();
250 }
Chris Lattner56725be2010-07-11 22:05:00 +0000251}
252
David Majnemer230bbfb2016-07-08 21:54:16 +0000253void MCWinCOFFStreamer::EmitLocalCommonSymbol(MCSymbol *S, uint64_t Size,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000254 unsigned ByteAlignment) {
David Majnemer230bbfb2016-07-08 21:54:16 +0000255 auto *Symbol = cast<MCSymbolCOFF>(S);
David Majnemera9bdb322014-04-08 22:33:40 +0000256
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000257 MCSection *Section = getContext().getObjectFileInfo()->getBSSSection();
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000258 getAssembler().registerSection(*Section);
Rafael Espindola967d6a62015-05-21 21:02:35 +0000259 if (Section->getAlignment() < ByteAlignment)
260 Section->setAlignment(ByteAlignment);
David Majnemera9bdb322014-04-08 22:33:40 +0000261
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000262 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000263 Symbol->setExternal(false);
David Majnemera9bdb322014-04-08 22:33:40 +0000264
David Majnemera9bdb322014-04-08 22:33:40 +0000265 if (ByteAlignment != 1)
David Blaikie9f380a32015-03-16 18:06:57 +0000266 new MCAlignFragment(ByteAlignment, /*Value=*/0, /*ValueSize=*/0,
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000267 ByteAlignment, Section);
David Majnemera9bdb322014-04-08 22:33:40 +0000268
Rafael Espindola8324c2f2015-05-25 23:48:22 +0000269 MCFillFragment *Fragment = new MCFillFragment(
Rafael Espindola1a7e8b42016-01-19 16:57:08 +0000270 /*Value=*/0, Size, Section);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000271 Symbol->setFragment(Fragment);
Chris Lattner56725be2010-07-11 22:05:00 +0000272}
273
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000274void MCWinCOFFStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
275 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000276 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000277}
278
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000279void MCWinCOFFStreamer::EmitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
280 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000281 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000282}
283
Rafael Espindola5645bad2013-10-16 01:05:45 +0000284// TODO: Implement this if you want to emit .comment section in COFF obj files.
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000285void MCWinCOFFStreamer::EmitIdent(StringRef IdentString) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000286 llvm_unreachable("not implemented");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000287}
288
Reid Klecknere52d1e62017-10-10 01:26:25 +0000289void MCWinCOFFStreamer::EmitWinEHHandlerData(SMLoc Loc) {
Saleem Abdulrasoola8b1f722014-04-27 03:48:12 +0000290 llvm_unreachable("not implemented");
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000291}
292
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000293void MCWinCOFFStreamer::FinishImpl() {
Rafael Espindola07082092012-01-07 03:13:18 +0000294 MCObjectStreamer::FinishImpl();
Chris Lattner56725be2010-07-11 22:05:00 +0000295}
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000296
Oliver Stannard9be59af2015-11-17 10:00:43 +0000297void MCWinCOFFStreamer::Error(const Twine &Msg) const {
298 getContext().reportError(SMLoc(), Msg);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000299}