blob: c53a1a6a529dee8e9d1148f26e5eecd6887a6b1f [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"
Chandler Carruthed0881b2012-12-03 16:50:05 +000025#include "llvm/MC/MCSymbol.h"
26#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:
Rafael Espindola2229d332015-05-29 19:07:51 +0000105 Symbol->modifyFlags(COFF::SF_WeakExternal, COFF::SF_WeakExternal);
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);
Rafael Espindola2229d332015-05-29 19:07:51 +0000140 CurSymbol->modifyFlags(StorageClass << COFF::SF_ClassShift,
141 COFF::SF_ClassMask);
Chris Lattner56725be2010-07-11 22:05:00 +0000142}
143
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000144void MCWinCOFFStreamer::EmitCOFFSymbolType(int Type) {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000145 if (!CurSymbol)
146 FatalError("symbol type specified outside of a symbol definition");
147
148 if (Type & ~0xffff)
Benjamin Kramerdba7ee92015-05-28 11:24:24 +0000149 FatalError("type value '" + Twine(Type) + "' out of range");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000150
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000151 getAssembler().registerSymbol(*CurSymbol);
Rafael Espindola2229d332015-05-29 19:07:51 +0000152 CurSymbol->modifyFlags(Type << COFF::SF_TypeShift, COFF::SF_TypeMask);
Chris Lattner56725be2010-07-11 22:05:00 +0000153}
154
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000155void MCWinCOFFStreamer::EndCOFFSymbolDef() {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000156 if (!CurSymbol)
157 FatalError("ending symbol definition without starting one");
Craig Topperbb694de2014-04-13 04:57:38 +0000158 CurSymbol = nullptr;
Chris Lattner56725be2010-07-11 22:05:00 +0000159}
160
David Majnemer4eecd302015-05-30 04:56:02 +0000161void MCWinCOFFStreamer::EmitCOFFSafeSEH(MCSymbol const *Symbol) {
David Majnemer279306c2015-06-01 07:34:26 +0000162 // SafeSEH is a feature specific to 32-bit x86. It does not exist (and is
163 // unnecessary) on all platforms which use table-based exception dispatch.
164 if (getContext().getObjectFileInfo()->getTargetTriple().getArch() !=
165 Triple::x86)
166 return;
167
David Majnemer4eecd302015-05-30 04:56:02 +0000168 if (Symbol->getFlags() & COFF::SF_SafeSEH)
169 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);
179 Symbol->modifyFlags(COFF::SF_SafeSEH, COFF::SF_SafeSEH);
180}
181
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000182void MCWinCOFFStreamer::EmitCOFFSectionIndex(MCSymbol const *Symbol) {
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000183 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000184 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000185 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_2);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000186 DF->getFixups().push_back(Fixup);
Timur Iskhodzhanov5fcaeeb2014-10-08 18:01:49 +0000187 DF->getContents().resize(DF->getContents().size() + 2, 0);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000188}
189
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000190void MCWinCOFFStreamer::EmitCOFFSecRel32(MCSymbol const *Symbol) {
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000191 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000192 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000193 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_4);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000194 DF->getFixups().push_back(Fixup);
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000195 DF->getContents().resize(DF->getContents().size() + 4, 0);
196}
197
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000198void MCWinCOFFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
199 unsigned ByteAlignment) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000200 assert((!Symbol->isInSection() ||
201 Symbol->getSection().getVariant() == MCSection::SV_COFF) &&
202 "Got non-COFF section in the COFF backend!");
David Majnemera9bdb322014-04-08 22:33:40 +0000203
David Majnemer48227a32014-09-21 09:18:07 +0000204 const Triple &T = getContext().getObjectFileInfo()->getTargetTriple();
David Majnemerd7586042014-10-08 06:38:53 +0000205 if (T.isKnownWindowsMSVCEnvironment()) {
David Majnemer48227a32014-09-21 09:18:07 +0000206 if (ByteAlignment > 32)
207 report_fatal_error("alignment is limited to 32-bytes");
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000208
David Majnemerd7586042014-10-08 06:38:53 +0000209 // Round size up to alignment so that we will honor the alignment request.
210 Size = std::max(Size, static_cast<uint64_t>(ByteAlignment));
211 }
David Majnemera9bdb322014-04-08 22:33:40 +0000212
Craig Topperbb694de2014-04-13 04:57:38 +0000213 AssignSection(Symbol, nullptr);
David Majnemera9bdb322014-04-08 22:33:40 +0000214
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000215 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000216 Symbol->setExternal(true);
Rafael Espindola14672502015-05-29 17:48:04 +0000217 Symbol->setCommon(Size, ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000218
219 if (!T.isKnownWindowsMSVCEnvironment() && ByteAlignment > 1) {
220 SmallString<128> Directive;
221 raw_svector_ostream OS(Directive);
222 const MCObjectFileInfo *MFI = getContext().getObjectFileInfo();
223
224 OS << " -aligncomm:\"" << Symbol->getName() << "\","
225 << Log2_32_Ceil(ByteAlignment);
226 OS.flush();
227
228 PushSection();
229 SwitchSection(MFI->getDrectveSection());
230 EmitBytes(Directive);
231 PopSection();
232 }
Chris Lattner56725be2010-07-11 22:05:00 +0000233}
234
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000235void MCWinCOFFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
236 unsigned ByteAlignment) {
David Majnemera9bdb322014-04-08 22:33:40 +0000237 assert(!Symbol->isInSection() && "Symbol must not already have a section!");
238
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000239 MCSection *Section = getContext().getObjectFileInfo()->getBSSSection();
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000240 getAssembler().registerSection(*Section);
Rafael Espindola967d6a62015-05-21 21:02:35 +0000241 if (Section->getAlignment() < ByteAlignment)
242 Section->setAlignment(ByteAlignment);
David Majnemera9bdb322014-04-08 22:33:40 +0000243
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000244 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000245 Symbol->setExternal(false);
David Majnemera9bdb322014-04-08 22:33:40 +0000246
247 AssignSection(Symbol, Section);
248
249 if (ByteAlignment != 1)
David Blaikie9f380a32015-03-16 18:06:57 +0000250 new MCAlignFragment(ByteAlignment, /*Value=*/0, /*ValueSize=*/0,
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000251 ByteAlignment, Section);
David Majnemera9bdb322014-04-08 22:33:40 +0000252
Rafael Espindola8324c2f2015-05-25 23:48:22 +0000253 MCFillFragment *Fragment = new MCFillFragment(
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000254 /*Value=*/0, /*ValueSize=*/0, Size, Section);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000255 Symbol->setFragment(Fragment);
Chris Lattner56725be2010-07-11 22:05:00 +0000256}
257
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000258void MCWinCOFFStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
259 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000260 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000261}
262
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000263void MCWinCOFFStreamer::EmitTBSSSymbol(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
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000268void MCWinCOFFStreamer::EmitFileDirective(StringRef Filename) {
Saleem Abdulrasoola2bf05a2014-04-16 04:15:32 +0000269 getAssembler().addFileName(Filename);
Chris Lattner56725be2010-07-11 22:05:00 +0000270}
271
Rafael Espindola5645bad2013-10-16 01:05:45 +0000272// TODO: Implement this if you want to emit .comment section in COFF obj files.
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000273void MCWinCOFFStreamer::EmitIdent(StringRef IdentString) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000274 llvm_unreachable("not implemented");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000275}
276
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000277void MCWinCOFFStreamer::EmitWinEHHandlerData() {
Saleem Abdulrasoola8b1f722014-04-27 03:48:12 +0000278 llvm_unreachable("not implemented");
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000279}
280
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000281void MCWinCOFFStreamer::FinishImpl() {
Rafael Espindola07082092012-01-07 03:13:18 +0000282 MCObjectStreamer::FinishImpl();
Chris Lattner56725be2010-07-11 22:05:00 +0000283}
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000284
285LLVM_ATTRIBUTE_NORETURN
286void MCWinCOFFStreamer::FatalError(const Twine &Msg) const {
Jim Grosbach6f482002015-05-18 18:43:14 +0000287 getContext().reportFatalError(SMLoc(), Msg);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000288}
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000289}
290