blob: 02814fa7d28d000d3f57ba78eadd6e7e5fc57b0a [file] [log] [blame]
Chris Lattner56725be2010-07-11 22:05:00 +00001//===-- llvm/MC/WinCOFFStreamer.cpp -----------------------------*- C++ -*-===//
2//
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
Evan Cheng5928e692011-07-25 23:24:55 +000014#include "llvm/MC/MCAsmBackend.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/MC/MCAsmLayout.h"
16#include "llvm/MC/MCAssembler.h"
17#include "llvm/MC/MCCodeEmitter.h"
18#include "llvm/MC/MCContext.h"
19#include "llvm/MC/MCExpr.h"
Rafael Espindolae308c0c2014-01-23 22:49:25 +000020#include "llvm/MC/MCObjectFileInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/MC/MCObjectStreamer.h"
22#include "llvm/MC/MCSection.h"
23#include "llvm/MC/MCSectionCOFF.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000024#include "llvm/MC/MCStreamer.h"
Pete Cooperad9f9c32015-06-08 17:17:12 +000025#include "llvm/MC/MCSymbolCOFF.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/MC/MCValue.h"
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000027#include "llvm/MC/MCWinCOFFStreamer.h"
Chris Lattner56725be2010-07-11 22:05:00 +000028#include "llvm/Support/COFF.h"
29#include "llvm/Support/Debug.h"
30#include "llvm/Support/ErrorHandling.h"
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +000031#include "llvm/Support/MathExtras.h"
Evan Cheng2bb40352011-08-24 18:08:43 +000032#include "llvm/Support/TargetRegistry.h"
Chris Lattner56725be2010-07-11 22:05:00 +000033#include "llvm/Support/raw_ostream.h"
Rafael Espindolad3df3d32011-12-17 01:14:52 +000034
Chris Lattner56725be2010-07-11 22:05:00 +000035using namespace llvm;
36
Chandler Carruthf58e3762014-04-22 03:04:17 +000037#define DEBUG_TYPE "WinCOFFStreamer"
38
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000039namespace llvm {
40MCWinCOFFStreamer::MCWinCOFFStreamer(MCContext &Context, MCAsmBackend &MAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +000041 MCCodeEmitter &CE, raw_pwrite_stream &OS)
Craig Topperbb694de2014-04-13 04:57:38 +000042 : MCObjectStreamer(Context, MAB, OS, &CE), CurSymbol(nullptr) {}
Michael J. Spencere2da0a42010-07-19 06:13:10 +000043
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000044void MCWinCOFFStreamer::EmitInstToData(const MCInst &Inst,
45 const MCSubtargetInfo &STI) {
46 MCDataFragment *DF = getOrCreateDataFragment();
Chris Lattner56725be2010-07-11 22:05:00 +000047
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000048 SmallVector<MCFixup, 4> Fixups;
49 SmallString<256> Code;
50 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +000051 getAssembler().getEmitter().encodeInstruction(Inst, VecOS, Fixups, STI);
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000052
53 // Add the fixups and data.
54 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
55 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
56 DF->getFixups().push_back(Fixups[i]);
57 }
58
59 DF->getContents().append(Code.begin(), Code.end());
60}
61
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000062void MCWinCOFFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf2812532014-01-24 02:28:11 +000063 // FIXME: this is identical to the ELF one.
64 // This emulates the same behavior of GNU as. This makes it easier
65 // to compare the output as the major sections are in the same order.
66 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000067 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000068
69 SwitchSection(getContext().getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000070 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000071
72 SwitchSection(getContext().getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000073 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000074
75 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindolaf667d922010-09-15 21:48:40 +000076}
77
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000078void MCWinCOFFStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola16795802010-11-28 16:22:59 +000079 assert(Symbol->isUndefined() && "Cannot define a symbol twice!");
Rafael Espindolae5b74152010-11-28 17:18:55 +000080 MCObjectStreamer::EmitLabel(Symbol);
Rafael Espindola16795802010-11-28 16:22:59 +000081}
82
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000083void MCWinCOFFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +000084 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +000085}
86
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000087void MCWinCOFFStreamer::EmitThumbFunc(MCSymbol *Func) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000088 llvm_unreachable("not implemented");
89}
90
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000091bool MCWinCOFFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
92 MCSymbolAttr Attribute) {
Michael J. Spencerbe52c622010-10-09 11:00:37 +000093 assert(Symbol && "Symbol must be non-null!");
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +000094 assert((!Symbol->isInSection() ||
95 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
96 "Got non-COFF section in the COFF backend!");
97
Rafael Espindolab5d316b2015-05-29 20:21:02 +000098 getAssembler().registerSymbol(*Symbol);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +000099
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000100 switch (Attribute) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000101 default: return false;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000102 case MCSA_WeakReference:
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000103 case MCSA_Weak:
Pete Cooper6bf1f302015-06-08 17:17:19 +0000104 cast<MCSymbolCOFF>(Symbol)->setIsWeakExternal();
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000105 Symbol->setExternal(true);
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000106 break;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000107 case MCSA_Global:
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000108 Symbol->setExternal(true);
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000109 break;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000110 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000111
112 return true;
Chris Lattner56725be2010-07-11 22:05:00 +0000113}
114
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000115void MCWinCOFFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000116 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000117}
118
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000119void MCWinCOFFStreamer::BeginCOFFSymbolDef(MCSymbol const *Symbol) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000120 assert((!Symbol->isInSection() ||
121 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
122 "Got non-COFF section in the COFF backend!");
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000123
124 if (CurSymbol)
125 FatalError("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) {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000131 if (!CurSymbol)
132 FatalError("storage class specified outside of symbol definition");
133
David Majnemer2cc4bc772014-11-11 08:43:57 +0000134 if (StorageClass & ~COFF::SSC_Invalid)
Benjamin Kramerdba7ee92015-05-28 11:24:24 +0000135 FatalError("storage class value '" + Twine(StorageClass) +
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000136 "' out of range");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000137
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000138 getAssembler().registerSymbol(*CurSymbol);
Pete Cooper6bf1f302015-06-08 17:17:19 +0000139 cast<MCSymbolCOFF>(CurSymbol)->setClass((uint16_t)StorageClass);
Chris Lattner56725be2010-07-11 22:05:00 +0000140}
141
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000142void MCWinCOFFStreamer::EmitCOFFSymbolType(int Type) {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000143 if (!CurSymbol)
144 FatalError("symbol type specified outside of a symbol definition");
145
146 if (Type & ~0xffff)
Benjamin Kramerdba7ee92015-05-28 11:24:24 +0000147 FatalError("type value '" + Twine(Type) + "' out of range");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000148
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000149 getAssembler().registerSymbol(*CurSymbol);
Pete Cooperad9f9c32015-06-08 17:17:12 +0000150 cast<MCSymbolCOFF>(CurSymbol)->setType((uint16_t)Type);
Chris Lattner56725be2010-07-11 22:05:00 +0000151}
152
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000153void MCWinCOFFStreamer::EndCOFFSymbolDef() {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000154 if (!CurSymbol)
155 FatalError("ending symbol definition without starting one");
Craig Topperbb694de2014-04-13 04:57:38 +0000156 CurSymbol = nullptr;
Chris Lattner56725be2010-07-11 22:05:00 +0000157}
158
David Majnemer4eecd302015-05-30 04:56:02 +0000159void MCWinCOFFStreamer::EmitCOFFSafeSEH(MCSymbol const *Symbol) {
David Majnemer279306c2015-06-01 07:34:26 +0000160 // SafeSEH is a feature specific to 32-bit x86. It does not exist (and is
161 // unnecessary) on all platforms which use table-based exception dispatch.
162 if (getContext().getObjectFileInfo()->getTargetTriple().getArch() !=
163 Triple::x86)
164 return;
165
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000166 const MCSymbolCOFF *CSymbol = cast<MCSymbolCOFF>(Symbol);
167 if (CSymbol->isSafeSEH())
David Majnemer4eecd302015-05-30 04:56:02 +0000168 return;
169
170 MCSection *SXData = getContext().getObjectFileInfo()->getSXDataSection();
171 getAssembler().registerSection(*SXData);
172 if (SXData->getAlignment() < 4)
173 SXData->setAlignment(4);
174
175 new MCSafeSEHFragment(Symbol, SXData);
176
177 getAssembler().registerSymbol(*Symbol);
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000178 CSymbol->setIsSafeSEH();
179
180 // The Microsoft linker requires that the symbol type of a handler be
181 // function. Go ahead and oblige it here.
182 CSymbol->setType(COFF::IMAGE_SYM_DTYPE_FUNCTION
183 << COFF::SCT_COMPLEX_TYPE_SHIFT);
David Majnemer4eecd302015-05-30 04:56:02 +0000184}
185
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000186void MCWinCOFFStreamer::EmitCOFFSectionIndex(MCSymbol const *Symbol) {
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000187 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000188 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000189 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_2);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000190 DF->getFixups().push_back(Fixup);
Timur Iskhodzhanov5fcaeeb2014-10-08 18:01:49 +0000191 DF->getContents().resize(DF->getContents().size() + 2, 0);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000192}
193
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000194void MCWinCOFFStreamer::EmitCOFFSecRel32(MCSymbol const *Symbol) {
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000195 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000196 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000197 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_4);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000198 DF->getFixups().push_back(Fixup);
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000199 DF->getContents().resize(DF->getContents().size() + 4, 0);
200}
201
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000202void MCWinCOFFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
203 unsigned ByteAlignment) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000204 assert((!Symbol->isInSection() ||
205 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
206 "Got non-COFF section in the COFF backend!");
David Majnemera9bdb322014-04-08 22:33:40 +0000207
David Majnemer48227a32014-09-21 09:18:07 +0000208 const Triple &T = getContext().getObjectFileInfo()->getTargetTriple();
David Majnemerd7586042014-10-08 06:38:53 +0000209 if (T.isKnownWindowsMSVCEnvironment()) {
David Majnemer48227a32014-09-21 09:18:07 +0000210 if (ByteAlignment > 32)
211 report_fatal_error("alignment is limited to 32-bytes");
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000212
David Majnemerd7586042014-10-08 06:38:53 +0000213 // Round size up to alignment so that we will honor the alignment request.
214 Size = std::max(Size, static_cast<uint64_t>(ByteAlignment));
215 }
David Majnemera9bdb322014-04-08 22:33:40 +0000216
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000217 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000218 Symbol->setExternal(true);
Rafael Espindola14672502015-05-29 17:48:04 +0000219 Symbol->setCommon(Size, ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000220
221 if (!T.isKnownWindowsMSVCEnvironment() && ByteAlignment > 1) {
222 SmallString<128> Directive;
223 raw_svector_ostream OS(Directive);
224 const MCObjectFileInfo *MFI = getContext().getObjectFileInfo();
225
226 OS << " -aligncomm:\"" << Symbol->getName() << "\","
227 << Log2_32_Ceil(ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000228
229 PushSection();
230 SwitchSection(MFI->getDrectveSection());
231 EmitBytes(Directive);
232 PopSection();
233 }
Chris Lattner56725be2010-07-11 22:05:00 +0000234}
235
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000236void MCWinCOFFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
237 unsigned ByteAlignment) {
David Majnemera9bdb322014-04-08 22:33:40 +0000238 assert(!Symbol->isInSection() && "Symbol must not already have a section!");
239
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000240 MCSection *Section = getContext().getObjectFileInfo()->getBSSSection();
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000241 getAssembler().registerSection(*Section);
Rafael Espindola967d6a62015-05-21 21:02:35 +0000242 if (Section->getAlignment() < ByteAlignment)
243 Section->setAlignment(ByteAlignment);
David Majnemera9bdb322014-04-08 22:33:40 +0000244
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000245 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000246 Symbol->setExternal(false);
David Majnemera9bdb322014-04-08 22:33:40 +0000247
David Majnemera9bdb322014-04-08 22:33:40 +0000248 if (ByteAlignment != 1)
David Blaikie9f380a32015-03-16 18:06:57 +0000249 new MCAlignFragment(ByteAlignment, /*Value=*/0, /*ValueSize=*/0,
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000250 ByteAlignment, Section);
David Majnemera9bdb322014-04-08 22:33:40 +0000251
Rafael Espindola8324c2f2015-05-25 23:48:22 +0000252 MCFillFragment *Fragment = new MCFillFragment(
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000253 /*Value=*/0, /*ValueSize=*/0, Size, Section);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000254 Symbol->setFragment(Fragment);
Chris Lattner56725be2010-07-11 22:05:00 +0000255}
256
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000257void MCWinCOFFStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
258 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000259 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000260}
261
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000262void MCWinCOFFStreamer::EmitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
263 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000264 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000265}
266
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000267void MCWinCOFFStreamer::EmitFileDirective(StringRef Filename) {
Saleem Abdulrasoola2bf05a2014-04-16 04:15:32 +0000268 getAssembler().addFileName(Filename);
Chris Lattner56725be2010-07-11 22:05:00 +0000269}
270
Rafael Espindola5645bad2013-10-16 01:05:45 +0000271// TODO: Implement this if you want to emit .comment section in COFF obj files.
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000272void MCWinCOFFStreamer::EmitIdent(StringRef IdentString) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000273 llvm_unreachable("not implemented");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000274}
275
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000276void MCWinCOFFStreamer::EmitWinEHHandlerData() {
Saleem Abdulrasoola8b1f722014-04-27 03:48:12 +0000277 llvm_unreachable("not implemented");
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000278}
279
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000280void MCWinCOFFStreamer::FinishImpl() {
Rafael Espindola07082092012-01-07 03:13:18 +0000281 MCObjectStreamer::FinishImpl();
Chris Lattner56725be2010-07-11 22:05:00 +0000282}
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000283
284LLVM_ATTRIBUTE_NORETURN
285void MCWinCOFFStreamer::FatalError(const Twine &Msg) const {
Jim Grosbach6f482002015-05-18 18:43:14 +0000286 getContext().reportFatalError(SMLoc(), Msg);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000287}
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000288}
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000289