blob: 36dd691f07b8764c086992b4a501a860bf9d650d [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 VecOS.flush();
53
54 // Add the fixups and data.
55 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
56 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
57 DF->getFixups().push_back(Fixups[i]);
58 }
59
60 DF->getContents().append(Code.begin(), Code.end());
61}
62
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000063void MCWinCOFFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf2812532014-01-24 02:28:11 +000064 // FIXME: this is identical to the ELF one.
65 // This emulates the same behavior of GNU as. This makes it easier
66 // to compare the output as the major sections are in the same order.
67 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000068 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000069
70 SwitchSection(getContext().getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000071 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000072
73 SwitchSection(getContext().getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000074 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000075
76 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindolaf667d922010-09-15 21:48:40 +000077}
78
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000079void MCWinCOFFStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola16795802010-11-28 16:22:59 +000080 assert(Symbol->isUndefined() && "Cannot define a symbol twice!");
Rafael Espindolae5b74152010-11-28 17:18:55 +000081 MCObjectStreamer::EmitLabel(Symbol);
Rafael Espindola16795802010-11-28 16:22:59 +000082}
83
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000084void MCWinCOFFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +000085 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +000086}
87
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000088void MCWinCOFFStreamer::EmitThumbFunc(MCSymbol *Func) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000089 llvm_unreachable("not implemented");
90}
91
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000092bool MCWinCOFFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
93 MCSymbolAttr Attribute) {
Michael J. Spencerbe52c622010-10-09 11:00:37 +000094 assert(Symbol && "Symbol must be non-null!");
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +000095 assert((!Symbol->isInSection() ||
96 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
97 "Got non-COFF section in the COFF backend!");
98
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:
Pete Cooper6bf1f302015-06-08 17:17:19 +0000105 cast<MCSymbolCOFF>(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;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000111 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000112
113 return true;
Chris Lattner56725be2010-07-11 22:05:00 +0000114}
115
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000116void MCWinCOFFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000117 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000118}
119
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000120void MCWinCOFFStreamer::BeginCOFFSymbolDef(MCSymbol const *Symbol) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000121 assert((!Symbol->isInSection() ||
122 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
123 "Got non-COFF section in the COFF backend!");
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000124
125 if (CurSymbol)
126 FatalError("starting a new symbol definition without completing the "
127 "previous one");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000128 CurSymbol = Symbol;
Chris Lattner56725be2010-07-11 22:05:00 +0000129}
130
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000131void MCWinCOFFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000132 if (!CurSymbol)
133 FatalError("storage class specified outside of symbol definition");
134
David Majnemer2cc4bc772014-11-11 08:43:57 +0000135 if (StorageClass & ~COFF::SSC_Invalid)
Benjamin Kramerdba7ee92015-05-28 11:24:24 +0000136 FatalError("storage class value '" + Twine(StorageClass) +
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000137 "' out of range");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000138
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000139 getAssembler().registerSymbol(*CurSymbol);
Pete Cooper6bf1f302015-06-08 17:17:19 +0000140 cast<MCSymbolCOFF>(CurSymbol)->setClass((uint16_t)StorageClass);
Chris Lattner56725be2010-07-11 22:05:00 +0000141}
142
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000143void MCWinCOFFStreamer::EmitCOFFSymbolType(int Type) {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000144 if (!CurSymbol)
145 FatalError("symbol type specified outside of a symbol definition");
146
147 if (Type & ~0xffff)
Benjamin Kramerdba7ee92015-05-28 11:24:24 +0000148 FatalError("type value '" + Twine(Type) + "' out of range");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000149
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000150 getAssembler().registerSymbol(*CurSymbol);
Pete Cooperad9f9c32015-06-08 17:17:12 +0000151 cast<MCSymbolCOFF>(CurSymbol)->setType((uint16_t)Type);
Chris Lattner56725be2010-07-11 22:05:00 +0000152}
153
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000154void MCWinCOFFStreamer::EndCOFFSymbolDef() {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000155 if (!CurSymbol)
156 FatalError("ending symbol definition without starting one");
Craig Topperbb694de2014-04-13 04:57:38 +0000157 CurSymbol = nullptr;
Chris Lattner56725be2010-07-11 22:05:00 +0000158}
159
David Majnemer4eecd302015-05-30 04:56:02 +0000160void MCWinCOFFStreamer::EmitCOFFSafeSEH(MCSymbol const *Symbol) {
David Majnemer279306c2015-06-01 07:34:26 +0000161 // SafeSEH is a feature specific to 32-bit x86. It does not exist (and is
162 // unnecessary) on all platforms which use table-based exception dispatch.
163 if (getContext().getObjectFileInfo()->getTargetTriple().getArch() !=
164 Triple::x86)
165 return;
166
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000167 const MCSymbolCOFF *CSymbol = cast<MCSymbolCOFF>(Symbol);
168 if (CSymbol->isSafeSEH())
David Majnemer4eecd302015-05-30 04:56:02 +0000169 return;
170
171 MCSection *SXData = getContext().getObjectFileInfo()->getSXDataSection();
172 getAssembler().registerSection(*SXData);
173 if (SXData->getAlignment() < 4)
174 SXData->setAlignment(4);
175
176 new MCSafeSEHFragment(Symbol, SXData);
177
178 getAssembler().registerSymbol(*Symbol);
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000179 CSymbol->setIsSafeSEH();
180
181 // The Microsoft linker requires that the symbol type of a handler be
182 // function. Go ahead and oblige it here.
183 CSymbol->setType(COFF::IMAGE_SYM_DTYPE_FUNCTION
184 << COFF::SCT_COMPLEX_TYPE_SHIFT);
David Majnemer4eecd302015-05-30 04:56:02 +0000185}
186
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000187void MCWinCOFFStreamer::EmitCOFFSectionIndex(MCSymbol const *Symbol) {
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000188 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000189 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000190 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_2);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000191 DF->getFixups().push_back(Fixup);
Timur Iskhodzhanov5fcaeeb2014-10-08 18:01:49 +0000192 DF->getContents().resize(DF->getContents().size() + 2, 0);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000193}
194
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000195void MCWinCOFFStreamer::EmitCOFFSecRel32(MCSymbol const *Symbol) {
Rafael Espindolad3df3d32011-12-17 01:14:52 +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_4);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000199 DF->getFixups().push_back(Fixup);
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000200 DF->getContents().resize(DF->getContents().size() + 4, 0);
201}
202
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000203void MCWinCOFFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
204 unsigned ByteAlignment) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000205 assert((!Symbol->isInSection() ||
206 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
207 "Got non-COFF section in the COFF backend!");
David Majnemera9bdb322014-04-08 22:33:40 +0000208
David Majnemer48227a32014-09-21 09:18:07 +0000209 const Triple &T = getContext().getObjectFileInfo()->getTargetTriple();
David Majnemerd7586042014-10-08 06:38:53 +0000210 if (T.isKnownWindowsMSVCEnvironment()) {
David Majnemer48227a32014-09-21 09:18:07 +0000211 if (ByteAlignment > 32)
212 report_fatal_error("alignment is limited to 32-bytes");
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000213
David Majnemerd7586042014-10-08 06:38:53 +0000214 // Round size up to alignment so that we will honor the alignment request.
215 Size = std::max(Size, static_cast<uint64_t>(ByteAlignment));
216 }
David Majnemera9bdb322014-04-08 22:33:40 +0000217
Craig Topperbb694de2014-04-13 04:57:38 +0000218 AssignSection(Symbol, nullptr);
David Majnemera9bdb322014-04-08 22:33:40 +0000219
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000220 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000221 Symbol->setExternal(true);
Rafael Espindola14672502015-05-29 17:48:04 +0000222 Symbol->setCommon(Size, ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000223
224 if (!T.isKnownWindowsMSVCEnvironment() && ByteAlignment > 1) {
225 SmallString<128> Directive;
226 raw_svector_ostream OS(Directive);
227 const MCObjectFileInfo *MFI = getContext().getObjectFileInfo();
228
229 OS << " -aligncomm:\"" << Symbol->getName() << "\","
230 << Log2_32_Ceil(ByteAlignment);
231 OS.flush();
232
233 PushSection();
234 SwitchSection(MFI->getDrectveSection());
235 EmitBytes(Directive);
236 PopSection();
237 }
Chris Lattner56725be2010-07-11 22:05:00 +0000238}
239
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000240void MCWinCOFFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
241 unsigned ByteAlignment) {
David Majnemera9bdb322014-04-08 22:33:40 +0000242 assert(!Symbol->isInSection() && "Symbol must not already have a section!");
243
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000244 MCSection *Section = getContext().getObjectFileInfo()->getBSSSection();
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000245 getAssembler().registerSection(*Section);
Rafael Espindola967d6a62015-05-21 21:02:35 +0000246 if (Section->getAlignment() < ByteAlignment)
247 Section->setAlignment(ByteAlignment);
David Majnemera9bdb322014-04-08 22:33:40 +0000248
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000249 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000250 Symbol->setExternal(false);
David Majnemera9bdb322014-04-08 22:33:40 +0000251
252 AssignSection(Symbol, Section);
253
254 if (ByteAlignment != 1)
David Blaikie9f380a32015-03-16 18:06:57 +0000255 new MCAlignFragment(ByteAlignment, /*Value=*/0, /*ValueSize=*/0,
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000256 ByteAlignment, Section);
David Majnemera9bdb322014-04-08 22:33:40 +0000257
Rafael Espindola8324c2f2015-05-25 23:48:22 +0000258 MCFillFragment *Fragment = new MCFillFragment(
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000259 /*Value=*/0, /*ValueSize=*/0, Size, Section);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000260 Symbol->setFragment(Fragment);
Chris Lattner56725be2010-07-11 22:05:00 +0000261}
262
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000263void MCWinCOFFStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
264 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000265 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000266}
267
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000268void MCWinCOFFStreamer::EmitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
269 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000270 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000271}
272
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000273void MCWinCOFFStreamer::EmitFileDirective(StringRef Filename) {
Saleem Abdulrasoola2bf05a2014-04-16 04:15:32 +0000274 getAssembler().addFileName(Filename);
Chris Lattner56725be2010-07-11 22:05:00 +0000275}
276
Rafael Espindola5645bad2013-10-16 01:05:45 +0000277// TODO: Implement this if you want to emit .comment section in COFF obj files.
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000278void MCWinCOFFStreamer::EmitIdent(StringRef IdentString) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000279 llvm_unreachable("not implemented");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000280}
281
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000282void MCWinCOFFStreamer::EmitWinEHHandlerData() {
Saleem Abdulrasoola8b1f722014-04-27 03:48:12 +0000283 llvm_unreachable("not implemented");
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000284}
285
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000286void MCWinCOFFStreamer::FinishImpl() {
Rafael Espindola07082092012-01-07 03:13:18 +0000287 MCObjectStreamer::FinishImpl();
Chris Lattner56725be2010-07-11 22:05:00 +0000288}
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000289
290LLVM_ATTRIBUTE_NORETURN
291void MCWinCOFFStreamer::FatalError(const Twine &Msg) const {
Jim Grosbach6f482002015-05-18 18:43:14 +0000292 getContext().reportFatalError(SMLoc(), Msg);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000293}
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000294}
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000295