blob: c26d87f36f83d6edaa4f89b8347edad923976a76 [file] [log] [blame]
Eugene Zelenko1d435522017-02-07 23:02:00 +00001//===- llvm/MC/WinCOFFStreamer.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"
Evan Cheng5928e692011-07-25 23:24:55 +000018#include "llvm/MC/MCAsmBackend.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000019#include "llvm/MC/MCAssembler.h"
20#include "llvm/MC/MCCodeEmitter.h"
21#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000023#include "llvm/MC/MCFixup.h"
24#include "llvm/MC/MCFragment.h"
Rafael Espindolae308c0c2014-01-23 22:49:25 +000025#include "llvm/MC/MCObjectFileInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/MC/MCObjectStreamer.h"
27#include "llvm/MC/MCSection.h"
Pete Cooperad9f9c32015-06-08 17:17:12 +000028#include "llvm/MC/MCSymbolCOFF.h"
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000029#include "llvm/MC/MCWinCOFFStreamer.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000030#include "llvm/Support/Casting.h"
Chris Lattner56725be2010-07-11 22:05:00 +000031#include "llvm/Support/COFF.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"
Chris Lattner56725be2010-07-11 22:05:00 +000034#include "llvm/Support/raw_ostream.h"
Eugene Zelenko1d435522017-02-07 23:02:00 +000035#include "llvm/Support/SMLoc.h"
36#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
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000044MCWinCOFFStreamer::MCWinCOFFStreamer(MCContext &Context, MCAsmBackend &MAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +000045 MCCodeEmitter &CE, raw_pwrite_stream &OS)
Craig Topperbb694de2014-04-13 04:57:38 +000046 : MCObjectStreamer(Context, MAB, OS, &CE), CurSymbol(nullptr) {}
Michael J. Spencere2da0a42010-07-19 06:13:10 +000047
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000048void MCWinCOFFStreamer::EmitInstToData(const MCInst &Inst,
49 const MCSubtargetInfo &STI) {
50 MCDataFragment *DF = getOrCreateDataFragment();
Chris Lattner56725be2010-07-11 22:05:00 +000051
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000052 SmallVector<MCFixup, 4> Fixups;
53 SmallString<256> Code;
54 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +000055 getAssembler().getEmitter().encodeInstruction(Inst, VecOS, Fixups, STI);
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000056
57 // Add the fixups and data.
58 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
59 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
60 DF->getFixups().push_back(Fixups[i]);
61 }
62
63 DF->getContents().append(Code.begin(), Code.end());
64}
65
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000066void MCWinCOFFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf2812532014-01-24 02:28:11 +000067 // FIXME: this is identical to the ELF one.
68 // This emulates the same behavior of GNU as. This makes it easier
69 // to compare the output as the major sections are in the same order.
70 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000071 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000072
73 SwitchSection(getContext().getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000074 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000075
76 SwitchSection(getContext().getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000077 EmitCodeAlignment(4);
Rafael Espindolaf2812532014-01-24 02:28:11 +000078
79 SwitchSection(getContext().getObjectFileInfo()->getTextSection());
Rafael Espindolaf667d922010-09-15 21:48:40 +000080}
81
Rafael Espindolabe991572017-02-10 15:13:12 +000082void MCWinCOFFStreamer::EmitLabel(MCSymbol *S, SMLoc Loc) {
David Majnemer230bbfb2016-07-08 21:54:16 +000083 auto *Symbol = cast<MCSymbolCOFF>(S);
Rafael Espindolabe991572017-02-10 15:13:12 +000084 MCObjectStreamer::EmitLabel(Symbol, Loc);
Rafael Espindola16795802010-11-28 16:22:59 +000085}
86
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000087void MCWinCOFFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +000088 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +000089}
90
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000091void MCWinCOFFStreamer::EmitThumbFunc(MCSymbol *Func) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000092 llvm_unreachable("not implemented");
93}
94
David Majnemer230bbfb2016-07-08 21:54:16 +000095bool MCWinCOFFStreamer::EmitSymbolAttribute(MCSymbol *S,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +000096 MCSymbolAttr Attribute) {
David Majnemer230bbfb2016-07-08 21:54:16 +000097 auto *Symbol = cast<MCSymbolCOFF>(S);
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:
David Majnemer230bbfb2016-07-08 21:54:16 +0000104 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;
Lang Hames6d22d8a2016-04-08 17:38:51 +0000110 case MCSA_AltEntry:
Lang Hamesf9033bb2016-04-11 18:33:45 +0000111 llvm_unreachable("COFF doesn't support the .alt_entry attribute");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000112 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000113
114 return true;
Chris Lattner56725be2010-07-11 22:05:00 +0000115}
116
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000117void MCWinCOFFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000118 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000119}
120
David Majnemer230bbfb2016-07-08 21:54:16 +0000121void MCWinCOFFStreamer::BeginCOFFSymbolDef(MCSymbol const *S) {
122 auto *Symbol = cast<MCSymbolCOFF>(S);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000123 if (CurSymbol)
Oliver Stannard9be59af2015-11-17 10:00:43 +0000124 Error("starting a new symbol definition without completing the "
125 "previous one");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000126 CurSymbol = Symbol;
Chris Lattner56725be2010-07-11 22:05:00 +0000127}
128
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000129void MCWinCOFFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
Oliver Stannard9be59af2015-11-17 10:00:43 +0000130 if (!CurSymbol) {
131 Error("storage class specified outside of symbol definition");
132 return;
133 }
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000134
Oliver Stannard9be59af2015-11-17 10:00:43 +0000135 if (StorageClass & ~COFF::SSC_Invalid) {
136 Error("storage class value '" + Twine(StorageClass) +
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000137 "' out of range");
Oliver Stannard9be59af2015-11-17 10:00:43 +0000138 return;
139 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000140
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000141 getAssembler().registerSymbol(*CurSymbol);
Pete Cooper6bf1f302015-06-08 17:17:19 +0000142 cast<MCSymbolCOFF>(CurSymbol)->setClass((uint16_t)StorageClass);
Chris Lattner56725be2010-07-11 22:05:00 +0000143}
144
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000145void MCWinCOFFStreamer::EmitCOFFSymbolType(int Type) {
Oliver Stannard9be59af2015-11-17 10:00:43 +0000146 if (!CurSymbol) {
147 Error("symbol type specified outside of a symbol definition");
148 return;
149 }
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000150
Oliver Stannard9be59af2015-11-17 10:00:43 +0000151 if (Type & ~0xffff) {
152 Error("type value '" + Twine(Type) + "' out of range");
153 return;
154 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000155
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000156 getAssembler().registerSymbol(*CurSymbol);
Pete Cooperad9f9c32015-06-08 17:17:12 +0000157 cast<MCSymbolCOFF>(CurSymbol)->setType((uint16_t)Type);
Chris Lattner56725be2010-07-11 22:05:00 +0000158}
159
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000160void MCWinCOFFStreamer::EndCOFFSymbolDef() {
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000161 if (!CurSymbol)
Oliver Stannard9be59af2015-11-17 10:00:43 +0000162 Error("ending symbol definition without starting one");
Craig Topperbb694de2014-04-13 04:57:38 +0000163 CurSymbol = nullptr;
Chris Lattner56725be2010-07-11 22:05:00 +0000164}
165
David Majnemer4eecd302015-05-30 04:56:02 +0000166void MCWinCOFFStreamer::EmitCOFFSafeSEH(MCSymbol const *Symbol) {
David Majnemer279306c2015-06-01 07:34:26 +0000167 // SafeSEH is a feature specific to 32-bit x86. It does not exist (and is
168 // unnecessary) on all platforms which use table-based exception dispatch.
169 if (getContext().getObjectFileInfo()->getTargetTriple().getArch() !=
170 Triple::x86)
171 return;
172
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000173 const MCSymbolCOFF *CSymbol = cast<MCSymbolCOFF>(Symbol);
174 if (CSymbol->isSafeSEH())
David Majnemer4eecd302015-05-30 04:56:02 +0000175 return;
176
177 MCSection *SXData = getContext().getObjectFileInfo()->getSXDataSection();
178 getAssembler().registerSection(*SXData);
179 if (SXData->getAlignment() < 4)
180 SXData->setAlignment(4);
181
182 new MCSafeSEHFragment(Symbol, SXData);
183
184 getAssembler().registerSymbol(*Symbol);
Reid Kleckner2bc93ca2015-06-10 01:02:30 +0000185 CSymbol->setIsSafeSEH();
186
187 // The Microsoft linker requires that the symbol type of a handler be
188 // function. Go ahead and oblige it here.
189 CSymbol->setType(COFF::IMAGE_SYM_DTYPE_FUNCTION
190 << COFF::SCT_COMPLEX_TYPE_SHIFT);
David Majnemer4eecd302015-05-30 04:56:02 +0000191}
192
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000193void MCWinCOFFStreamer::EmitCOFFSectionIndex(MCSymbol const *Symbol) {
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000194 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000195 const MCSymbolRefExpr *SRE = MCSymbolRefExpr::create(Symbol, getContext());
Jim Grosbach63661f82015-05-15 19:13:05 +0000196 MCFixup Fixup = MCFixup::create(DF->getContents().size(), SRE, FK_SecRel_2);
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000197 DF->getFixups().push_back(Fixup);
Timur Iskhodzhanov5fcaeeb2014-10-08 18:01:49 +0000198 DF->getContents().resize(DF->getContents().size() + 2, 0);
Timur Iskhodzhanovc1fb2d62013-12-20 18:15:00 +0000199}
200
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000201void MCWinCOFFStreamer::EmitCOFFSecRel32(MCSymbol const *Symbol,
202 uint64_t Offset) {
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000203 MCDataFragment *DF = getOrCreateDataFragment();
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000204 // Create Symbol A for the relocation relative reference.
205 const MCExpr *MCE = MCSymbolRefExpr::create(Symbol, getContext());
206 // Add the constant offset, if given.
207 if (Offset)
208 MCE = MCBinaryExpr::createAdd(
209 MCE, MCConstantExpr::create(Offset, getContext()), getContext());
210 // Build the secrel32 relocation.
211 MCFixup Fixup = MCFixup::create(DF->getContents().size(), MCE, FK_SecRel_4);
212 // Record the relocation.
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000213 DF->getFixups().push_back(Fixup);
Keno Fischerf7d84ee2017-01-02 03:00:19 +0000214 // Emit 4 bytes (zeros) to the object file.
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000215 DF->getContents().resize(DF->getContents().size() + 4, 0);
216}
217
David Majnemer230bbfb2016-07-08 21:54:16 +0000218void MCWinCOFFStreamer::EmitCommonSymbol(MCSymbol *S, uint64_t Size,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000219 unsigned ByteAlignment) {
David Majnemer230bbfb2016-07-08 21:54:16 +0000220 auto *Symbol = cast<MCSymbolCOFF>(S);
David Majnemera9bdb322014-04-08 22:33:40 +0000221
David Majnemer48227a32014-09-21 09:18:07 +0000222 const Triple &T = getContext().getObjectFileInfo()->getTargetTriple();
David Majnemerd7586042014-10-08 06:38:53 +0000223 if (T.isKnownWindowsMSVCEnvironment()) {
David Majnemer48227a32014-09-21 09:18:07 +0000224 if (ByteAlignment > 32)
225 report_fatal_error("alignment is limited to 32-bytes");
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000226
David Majnemerd7586042014-10-08 06:38:53 +0000227 // Round size up to alignment so that we will honor the alignment request.
228 Size = std::max(Size, static_cast<uint64_t>(ByteAlignment));
229 }
David Majnemera9bdb322014-04-08 22:33:40 +0000230
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000231 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000232 Symbol->setExternal(true);
Rafael Espindola14672502015-05-29 17:48:04 +0000233 Symbol->setCommon(Size, ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000234
235 if (!T.isKnownWindowsMSVCEnvironment() && ByteAlignment > 1) {
236 SmallString<128> Directive;
237 raw_svector_ostream OS(Directive);
238 const MCObjectFileInfo *MFI = getContext().getObjectFileInfo();
239
240 OS << " -aligncomm:\"" << Symbol->getName() << "\","
241 << Log2_32_Ceil(ByteAlignment);
Saleem Abdulrasool64d491e2014-10-07 19:37:57 +0000242
243 PushSection();
244 SwitchSection(MFI->getDrectveSection());
245 EmitBytes(Directive);
246 PopSection();
247 }
Chris Lattner56725be2010-07-11 22:05:00 +0000248}
249
David Majnemer230bbfb2016-07-08 21:54:16 +0000250void MCWinCOFFStreamer::EmitLocalCommonSymbol(MCSymbol *S, uint64_t Size,
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000251 unsigned ByteAlignment) {
David Majnemer230bbfb2016-07-08 21:54:16 +0000252 auto *Symbol = cast<MCSymbolCOFF>(S);
David Majnemera9bdb322014-04-08 22:33:40 +0000253
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000254 MCSection *Section = getContext().getObjectFileInfo()->getBSSSection();
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000255 getAssembler().registerSection(*Section);
Rafael Espindola967d6a62015-05-21 21:02:35 +0000256 if (Section->getAlignment() < ByteAlignment)
257 Section->setAlignment(ByteAlignment);
David Majnemera9bdb322014-04-08 22:33:40 +0000258
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000259 getAssembler().registerSymbol(*Symbol);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000260 Symbol->setExternal(false);
David Majnemera9bdb322014-04-08 22:33:40 +0000261
David Majnemera9bdb322014-04-08 22:33:40 +0000262 if (ByteAlignment != 1)
David Blaikie9f380a32015-03-16 18:06:57 +0000263 new MCAlignFragment(ByteAlignment, /*Value=*/0, /*ValueSize=*/0,
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000264 ByteAlignment, Section);
David Majnemera9bdb322014-04-08 22:33:40 +0000265
Rafael Espindola8324c2f2015-05-25 23:48:22 +0000266 MCFillFragment *Fragment = new MCFillFragment(
Rafael Espindola1a7e8b42016-01-19 16:57:08 +0000267 /*Value=*/0, Size, Section);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000268 Symbol->setFragment(Fragment);
Chris Lattner56725be2010-07-11 22:05:00 +0000269}
270
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000271void MCWinCOFFStreamer::EmitZerofill(MCSection *Section, MCSymbol *Symbol,
272 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000273 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000274}
275
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000276void MCWinCOFFStreamer::EmitTBSSSymbol(MCSection *Section, MCSymbol *Symbol,
277 uint64_t Size, unsigned ByteAlignment) {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000278 llvm_unreachable("not implemented");
Chris Lattner56725be2010-07-11 22:05:00 +0000279}
280
Rafael Espindola5645bad2013-10-16 01:05:45 +0000281// TODO: Implement this if you want to emit .comment section in COFF obj files.
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000282void MCWinCOFFStreamer::EmitIdent(StringRef IdentString) {
Saleem Abdulrasool8e4fee02014-04-27 03:48:01 +0000283 llvm_unreachable("not implemented");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000284}
285
Saleem Abdulrasool7206a522014-06-29 01:52:01 +0000286void MCWinCOFFStreamer::EmitWinEHHandlerData() {
Saleem Abdulrasoola8b1f722014-04-27 03:48:12 +0000287 llvm_unreachable("not implemented");
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000288}
289
Saleem Abdulrasoolcf1a29f2014-04-27 03:48:05 +0000290void MCWinCOFFStreamer::FinishImpl() {
Rafael Espindola07082092012-01-07 03:13:18 +0000291 MCObjectStreamer::FinishImpl();
Chris Lattner56725be2010-07-11 22:05:00 +0000292}
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000293
Oliver Stannard9be59af2015-11-17 10:00:43 +0000294void MCWinCOFFStreamer::Error(const Twine &Msg) const {
295 getContext().reportError(SMLoc(), Msg);
Saleem Abdulrasool6663f8f2014-05-22 02:18:10 +0000296}