blob: 5cfcfe5874eac5bb7ab2c94c3a4ec87b9ccef9f9 [file] [log] [blame]
Nick Lewyckyc1f96942013-03-09 09:31:44 +00001//===- lib/MC/MCELFStreamer.cpp - ELF Object Output -----------------------===//
Matt Fleming6c1ad482010-08-16 18:57:57 +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//
10// This file assembles .s files and emits ELF .o object files.
11//
12//===----------------------------------------------------------------------===//
13
Logan Chien59ff0702012-12-07 15:50:40 +000014#include "llvm/MC/MCELFStreamer.h"
Peter Collingbourneadac4072013-04-10 16:52:15 +000015#include "llvm/ADT/STLExtras.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "llvm/ADT/SmallPtrSet.h"
David Peixotto72667312013-11-25 19:11:13 +000017#include "llvm/MC/MCAsmBackend.h"
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000018#include "llvm/MC/MCAsmInfo.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000019#include "llvm/MC/MCAssembler.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000020#include "llvm/MC/MCCodeEmitter.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000021#include "llvm/MC/MCContext.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000022#include "llvm/MC/MCELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000023#include "llvm/MC/MCELFSymbolFlags.h"
24#include "llvm/MC/MCExpr.h"
25#include "llvm/MC/MCInst.h"
Rafael Espindolae308c0c2014-01-23 22:49:25 +000026#include "llvm/MC/MCObjectFileInfo.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000027#include "llvm/MC/MCObjectStreamer.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000028#include "llvm/MC/MCSection.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000029#include "llvm/MC/MCSectionELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000030#include "llvm/MC/MCSymbol.h"
Rafael Espindola16145972010-11-01 14:28:48 +000031#include "llvm/MC/MCValue.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000032#include "llvm/Support/Debug.h"
33#include "llvm/Support/ELF.h"
34#include "llvm/Support/ErrorHandling.h"
35#include "llvm/Support/raw_ostream.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000036
37using namespace llvm;
38
Logan Chien59ff0702012-12-07 15:50:40 +000039MCELFStreamer::~MCELFStreamer() {
Rafael Espindola81a62742012-01-07 23:18:39 +000040}
41
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000042void MCELFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf667d922010-09-15 21:48:40 +000043 // This emulates the same behavior of GNU as. This makes it easier
44 // to compare the output as the major sections are in the same order.
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000045 MCContext &Ctx = getContext();
46 SwitchSection(Ctx.getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000047 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000048
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000049 SwitchSection(Ctx.getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000050 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000051
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000052 SwitchSection(Ctx.getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000053 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000054
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000055 SwitchSection(Ctx.getObjectFileInfo()->getTextSection());
56
57 if (NoExecStack)
58 SwitchSection(Ctx.getAsmInfo()->getNonexecutableStackSection(Ctx));
Rafael Espindolaf667d922010-09-15 21:48:40 +000059}
60
Matt Fleming6c1ad482010-08-16 18:57:57 +000061void MCELFStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola16795802010-11-28 16:22:59 +000062 assert(Symbol->isUndefined() && "Cannot define a symbol twice!");
63
Rafael Espindolae5b74152010-11-28 17:18:55 +000064 MCObjectStreamer::EmitLabel(Symbol);
Rafael Espindola75d65b92010-09-25 05:42:19 +000065
Rafael Espindola84d03182010-11-11 19:04:55 +000066 const MCSectionELF &Section =
67 static_cast<const MCSectionELF&>(Symbol->getSection());
Rafael Espindolae5b74152010-11-28 17:18:55 +000068 MCSymbolData &SD = getAssembler().getSymbolData(*Symbol);
Rafael Espindola0e7e34e2011-01-23 04:43:11 +000069 if (Section.getFlags() & ELF::SHF_TLS)
Jan Sjödin30a52de2011-02-28 21:45:04 +000070 MCELF::SetType(SD, ELF::STT_TLS);
Matt Fleming6c1ad482010-08-16 18:57:57 +000071}
72
73void MCELFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
David Peixotto72667312013-11-25 19:11:13 +000074 // Let the target do whatever target specific stuff it needs to do.
75 getAssembler().getBackend().handleAssemblerFlag(Flag);
76 // Do any generic stuff we need to do.
Matt Fleming6c1ad482010-08-16 18:57:57 +000077 switch (Flag) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +000078 case MCAF_SyntaxUnified: return; // no-op here.
Evan Cheng481ebb02011-07-27 00:38:12 +000079 case MCAF_Code16: return; // Change parsing mode; no-op here.
80 case MCAF_Code32: return; // Change parsing mode; no-op here.
81 case MCAF_Code64: return; // Change parsing mode; no-op here.
Matt Fleming6c1ad482010-08-16 18:57:57 +000082 case MCAF_SubsectionsViaSymbols:
83 getAssembler().setSubsectionsViaSymbols(true);
84 return;
85 }
86
Craig Toppera2886c22012-02-07 05:05:23 +000087 llvm_unreachable("invalid assembler flag!");
Matt Fleming6c1ad482010-08-16 18:57:57 +000088}
89
Peter Collingbourne2f495b92013-04-17 21:18:16 +000090void MCELFStreamer::ChangeSection(const MCSection *Section,
91 const MCExpr *Subsection) {
Eli Benderskyf483ff92012-12-20 19:05:53 +000092 MCSectionData *CurSection = getCurrentSectionData();
93 if (CurSection && CurSection->isBundleLocked())
94 report_fatal_error("Unterminated .bundle_lock when changing a section");
Rafael Espindolab6613022014-10-17 01:48:58 +000095
96 MCAssembler &Asm = getAssembler();
97 auto *SectionELF = static_cast<const MCSectionELF *>(Section);
98 const MCSymbol *Grp = SectionELF->getGroup();
Rafael Espindola7d0ba342010-11-14 04:17:37 +000099 if (Grp)
Rafael Espindolab6613022014-10-17 01:48:58 +0000100 Asm.getOrCreateSymbolData(*Grp);
101
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000102 this->MCObjectStreamer::ChangeSection(Section, Subsection);
Rafael Espindolab6613022014-10-17 01:48:58 +0000103 MCSymbol *SectionSymbol = getContext().getOrCreateSectionSymbol(*SectionELF);
104 if (SectionSymbol->isUndefined()) {
105 EmitLabel(SectionSymbol);
106 MCELF::SetType(Asm.getSymbolData(*SectionSymbol), ELF::STT_SECTION);
107 }
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000108}
109
Rafael Espindola16145972010-11-01 14:28:48 +0000110void MCELFStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) {
111 getAssembler().getOrCreateSymbolData(*Symbol);
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000112 const MCExpr *Value = MCSymbolRefExpr::Create(
113 Symbol, MCSymbolRefExpr::VK_WEAKREF, getContext());
Rafael Espindola16145972010-11-01 14:28:48 +0000114 Alias->setVariableValue(Value);
115}
116
Peter Collingbourneadac4072013-04-10 16:52:15 +0000117// When GNU as encounters more than one .type declaration for an object it seems
118// to use a mechanism similar to the one below to decide which type is actually
119// used in the object file. The greater of T1 and T2 is selected based on the
120// following ordering:
121// STT_NOTYPE < STT_OBJECT < STT_FUNC < STT_GNU_IFUNC < STT_TLS < anything else
122// If neither T1 < T2 nor T2 < T1 according to this ordering, use T2 (the user
123// provided type).
124static unsigned CombineSymbolTypes(unsigned T1, unsigned T2) {
125 unsigned TypeOrdering[] = {ELF::STT_NOTYPE, ELF::STT_OBJECT, ELF::STT_FUNC,
126 ELF::STT_GNU_IFUNC, ELF::STT_TLS};
127 for (unsigned i = 0; i != array_lengthof(TypeOrdering); ++i) {
128 if (T1 == TypeOrdering[i])
129 return T2;
130 if (T2 == TypeOrdering[i])
131 return T1;
132 }
133
134 return T2;
135}
136
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000137bool MCELFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
138 MCSymbolAttr Attribute) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000139 // Indirect symbols are handled differently, to match how 'as' handles
140 // them. This makes writing matching .o files easier.
141 if (Attribute == MCSA_IndirectSymbol) {
142 // Note that we intentionally cannot use the symbol data here; this is
143 // important for matching the string table that 'as' generates.
144 IndirectSymbolData ISD;
145 ISD.Symbol = Symbol;
146 ISD.SectionData = getCurrentSectionData();
147 getAssembler().getIndirectSymbols().push_back(ISD);
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000148 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000149 }
150
151 // Adding a symbol attribute always introduces the symbol, note that an
152 // important side effect of calling getOrCreateSymbolData here is to register
153 // the symbol with the assembler.
154 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
155
156 // The implementation of symbol attributes is designed to match 'as', but it
157 // leaves much to desired. It doesn't really make sense to arbitrarily add and
158 // remove flags, but 'as' allows this (in particular, see .desc).
159 //
160 // In the future it might be worth trying to make these operations more well
161 // defined.
162 switch (Attribute) {
163 case MCSA_LazyReference:
164 case MCSA_Reference:
Kevin Enderby8be14412010-11-19 18:39:33 +0000165 case MCSA_SymbolResolver:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000166 case MCSA_PrivateExtern:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000167 case MCSA_WeakDefinition:
Eli Friedmanb20b5242010-08-16 19:15:06 +0000168 case MCSA_WeakDefAutoPrivate:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000169 case MCSA_Invalid:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000170 case MCSA_IndirectSymbol:
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000171 return false;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000172
Jim Grosbachb7b750d2012-09-13 23:11:31 +0000173 case MCSA_NoDeadStrip:
Rafael Espindolaeba90222010-11-14 01:34:31 +0000174 // Ignore for now.
175 break;
176
Rafael Espindola5fa925e2015-01-23 04:44:35 +0000177 case MCSA_ELF_TypeGnuUniqueObject:
178 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD), ELF::STT_OBJECT));
179 MCELF::SetBinding(SD, ELF::STB_GNU_UNIQUE);
180 SD.setExternal(true);
181 BindingExplicitlySet.insert(Symbol);
182 break;
183
Matt Fleming6c1ad482010-08-16 18:57:57 +0000184 case MCSA_Global:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000185 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000186 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000187 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000188 break;
189
Benjamin Kramer5af02b02010-09-02 17:18:32 +0000190 case MCSA_WeakReference:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000191 case MCSA_Weak:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000192 MCELF::SetBinding(SD, ELF::STB_WEAK);
Rafael Espindola83b2a332010-10-06 16:47:31 +0000193 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000194 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000195 break;
196
197 case MCSA_Local:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000198 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000199 SD.setExternal(false);
200 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000201 break;
202
203 case MCSA_ELF_TypeFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000204 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
205 ELF::STT_FUNC));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000206 break;
207
Roman Divacky735cb8b2011-12-12 17:34:04 +0000208 case MCSA_ELF_TypeIndFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000209 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
210 ELF::STT_GNU_IFUNC));
Roman Divacky735cb8b2011-12-12 17:34:04 +0000211 break;
212
Matt Fleming6c1ad482010-08-16 18:57:57 +0000213 case MCSA_ELF_TypeObject:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000214 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
215 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000216 break;
217
218 case MCSA_ELF_TypeTLS:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000219 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
220 ELF::STT_TLS));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000221 break;
222
223 case MCSA_ELF_TypeCommon:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000224 // TODO: Emit these as a common symbol.
225 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
226 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000227 break;
228
229 case MCSA_ELF_TypeNoType:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000230 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
231 ELF::STT_NOTYPE));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000232 break;
233
234 case MCSA_Protected:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000235 MCELF::SetVisibility(SD, ELF::STV_PROTECTED);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000236 break;
237
238 case MCSA_Hidden:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000239 MCELF::SetVisibility(SD, ELF::STV_HIDDEN);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000240 break;
241
242 case MCSA_Internal:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000243 MCELF::SetVisibility(SD, ELF::STV_INTERNAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000244 break;
245 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000246
247 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000248}
249
250void MCELFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
251 unsigned ByteAlignment) {
252 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
253
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000254 if (!BindingExplicitlySet.count(Symbol)) {
Jan Sjödin30a52de2011-02-28 21:45:04 +0000255 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000256 SD.setExternal(true);
257 }
258
Jan Sjödin30a52de2011-02-28 21:45:04 +0000259 MCELF::SetType(SD, ELF::STT_OBJECT);
Rafael Espindolaa7d0bed2010-11-14 21:11:16 +0000260
Jan Sjödin30a52de2011-02-28 21:45:04 +0000261 if (MCELF::GetBinding(SD) == ELF_STB_Local) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000262 const MCSection *Section = getAssembler().getContext().getELFSection(".bss",
Jim Grosbach0dde3492011-11-15 16:46:22 +0000263 ELF::SHT_NOBITS,
264 ELF::SHF_WRITE |
265 ELF::SHF_ALLOC,
266 SectionKind::getBSS());
Richard Mitton21101b32013-09-19 23:21:01 +0000267
268 AssignSection(Symbol, Section);
Rafael Espindola9bac6cb2010-09-22 17:43:04 +0000269
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000270 struct LocalCommon L = {&SD, Size, ByteAlignment};
271 LocalCommons.push_back(L);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000272 } else {
273 SD.setCommon(Size, ByteAlignment);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000274 }
275
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000276 SD.setSize(MCConstantExpr::Create(Size, getContext()));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000277}
278
Logan Chien59ff0702012-12-07 15:50:40 +0000279void MCELFStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) {
280 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
281 SD.setSize(Value);
282}
283
Benjamin Kramer63970512011-09-01 23:04:27 +0000284void MCELFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
285 unsigned ByteAlignment) {
Jason W Kim4c1386a2010-12-16 03:12:17 +0000286 // FIXME: Should this be caught and done earlier?
287 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
Jan Sjödin30a52de2011-02-28 21:45:04 +0000288 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000289 SD.setExternal(false);
290 BindingExplicitlySet.insert(Symbol);
Benjamin Kramer63970512011-09-01 23:04:27 +0000291 EmitCommonSymbol(Symbol, Size, ByteAlignment);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000292}
293
Kevin Enderby96918bc2014-04-22 17:27:29 +0000294void MCELFStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
295 const SMLoc &Loc) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000296 if (getCurrentSectionData()->isBundleLocked())
297 report_fatal_error("Emitting values inside a locked bundle is forbidden");
David Meyer44ec69e2012-02-15 15:09:06 +0000298 fixSymbolsInTLSFixups(Value);
Kevin Enderby96918bc2014-04-22 17:27:29 +0000299 MCObjectStreamer::EmitValueImpl(Value, Size, Loc);
David Meyer44ec69e2012-02-15 15:09:06 +0000300}
301
Eli Benderskyf483ff92012-12-20 19:05:53 +0000302void MCELFStreamer::EmitValueToAlignment(unsigned ByteAlignment,
303 int64_t Value,
304 unsigned ValueSize,
305 unsigned MaxBytesToEmit) {
306 if (getCurrentSectionData()->isBundleLocked())
307 report_fatal_error("Emitting values inside a locked bundle is forbidden");
308 MCObjectStreamer::EmitValueToAlignment(ByteAlignment, Value,
309 ValueSize, MaxBytesToEmit);
310}
311
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000312// Add a symbol for the file name of this module. They start after the
313// null symbol and don't count as normal symbol, i.e. a non-STT_FILE symbol
314// with the same name may appear.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000315void MCELFStreamer::EmitFileDirective(StringRef Filename) {
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000316 getAssembler().addFileName(Filename);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000317}
318
Rafael Espindola5645bad2013-10-16 01:05:45 +0000319void MCELFStreamer::EmitIdent(StringRef IdentString) {
320 const MCSection *Comment = getAssembler().getContext().getELFSection(
321 ".comment", ELF::SHT_PROGBITS, ELF::SHF_MERGE | ELF::SHF_STRINGS,
322 SectionKind::getReadOnly(), 1, "");
323 PushSection();
324 SwitchSection(Comment);
325 if (!SeenIdent) {
326 EmitIntValue(0, 1);
327 SeenIdent = true;
328 }
329 EmitBytes(IdentString);
330 EmitIntValue(0, 1);
331 PopSection();
332}
333
334void MCELFStreamer::fixSymbolsInTLSFixups(const MCExpr *expr) {
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000335 switch (expr->getKind()) {
Tim Northovere0e3aef2013-01-31 12:12:40 +0000336 case MCExpr::Target:
337 cast<MCTargetExpr>(expr)->fixELFSymbolsInTLSFixups(getAssembler());
338 break;
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000339 case MCExpr::Constant:
340 break;
341
342 case MCExpr::Binary: {
343 const MCBinaryExpr *be = cast<MCBinaryExpr>(expr);
344 fixSymbolsInTLSFixups(be->getLHS());
345 fixSymbolsInTLSFixups(be->getRHS());
346 break;
347 }
348
349 case MCExpr::SymbolRef: {
350 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(expr);
Rafael Espindolae98d4832010-11-24 18:51:21 +0000351 switch (symRef.getKind()) {
352 default:
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000353 return;
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000354 case MCSymbolRefExpr::VK_GOTTPOFF:
355 case MCSymbolRefExpr::VK_INDNTPOFF:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000356 case MCSymbolRefExpr::VK_NTPOFF:
357 case MCSymbolRefExpr::VK_GOTNTPOFF:
358 case MCSymbolRefExpr::VK_TLSGD:
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000359 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000360 case MCSymbolRefExpr::VK_TLSLDM:
361 case MCSymbolRefExpr::VK_TPOFF:
362 case MCSymbolRefExpr::VK_DTPOFF:
Bruno Cardoso Lopes82b077e2011-10-25 18:13:20 +0000363 case MCSymbolRefExpr::VK_Mips_TLSGD:
364 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
365 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
366 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
Ulrich Weigandf11efe72013-07-01 23:33:29 +0000367 case MCSymbolRefExpr::VK_PPC_DTPMOD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000368 case MCSymbolRefExpr::VK_PPC_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000369 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000370 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000371 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000372 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
373 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
374 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
375 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
376 case MCSymbolRefExpr::VK_PPC_DTPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000377 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000378 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000379 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000380 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
381 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
382 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
383 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
384 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000385 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000386 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000387 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000388 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
389 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
390 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
391 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
Bill Schmidt441907d2013-02-26 16:41:03 +0000392 case MCSymbolRefExpr::VK_PPC_TLS:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000393 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000394 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000395 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000396 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000397 case MCSymbolRefExpr::VK_PPC_TLSGD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000398 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000399 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000400 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000401 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000402 case MCSymbolRefExpr::VK_PPC_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000403 break;
404 }
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000405 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(symRef.getSymbol());
Jan Sjödin30a52de2011-02-28 21:45:04 +0000406 MCELF::SetType(SD, ELF::STT_TLS);
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000407 break;
408 }
409
410 case MCExpr::Unary:
411 fixSymbolsInTLSFixups(cast<MCUnaryExpr>(expr)->getSubExpr());
412 break;
413 }
414}
415
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000416void MCELFStreamer::EmitInstToFragment(const MCInst &Inst,
417 const MCSubtargetInfo &STI) {
418 this->MCObjectStreamer::EmitInstToFragment(Inst, STI);
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000419 MCRelaxableFragment &F = *cast<MCRelaxableFragment>(getCurrentFragment());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000420
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000421 for (unsigned i = 0, e = F.getFixups().size(); i != e; ++i)
422 fixSymbolsInTLSFixups(F.getFixups()[i].getValue());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000423}
424
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000425void MCELFStreamer::EmitInstToData(const MCInst &Inst,
426 const MCSubtargetInfo &STI) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000427 MCAssembler &Assembler = getAssembler();
Benjamin Kramer1f601242010-08-27 10:40:51 +0000428 SmallVector<MCFixup, 4> Fixups;
429 SmallString<256> Code;
430 raw_svector_ostream VecOS(Code);
David Woodhouse9784cef2014-01-28 23:13:07 +0000431 Assembler.getEmitter().EncodeInstruction(Inst, VecOS, Fixups, STI);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000432 VecOS.flush();
433
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000434 for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
435 fixSymbolsInTLSFixups(Fixups[i].getValue());
436
Eli Benderskyf483ff92012-12-20 19:05:53 +0000437 // There are several possibilities here:
438 //
439 // If bundling is disabled, append the encoded instruction to the current data
440 // fragment (or create a new such fragment if the current fragment is not a
441 // data fragment).
442 //
443 // If bundling is enabled:
Eli Benderskycf6009b2013-01-15 23:22:09 +0000444 // - If we're not in a bundle-locked group, emit the instruction into a
445 // fragment of its own. If there are no fixups registered for the
446 // instruction, emit a MCCompactEncodedInstFragment. Otherwise, emit a
447 // MCDataFragment.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000448 // - If we're in a bundle-locked group, append the instruction to the current
449 // data fragment because we want all the instructions in a group to get into
450 // the same fragment. Be careful not to do that for the first instruction in
451 // the group, though.
452 MCDataFragment *DF;
453
454 if (Assembler.isBundlingEnabled()) {
455 MCSectionData *SD = getCurrentSectionData();
456 if (SD->isBundleLocked() && !SD->isBundleGroupBeforeFirstInst())
Derek Schuff8878bcc92013-02-15 22:50:52 +0000457 // If we are bundle-locked, we re-use the current fragment.
458 // The bundle-locking directive ensures this is a new data fragment.
459 DF = cast<MCDataFragment>(getCurrentFragment());
Eli Benderskycf6009b2013-01-15 23:22:09 +0000460 else if (!SD->isBundleLocked() && Fixups.size() == 0) {
461 // Optimize memory usage by emitting the instruction to a
462 // MCCompactEncodedInstFragment when not in a bundle-locked group and
463 // there are no fixups registered.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000464 MCCompactEncodedInstFragment *CEIF = new MCCompactEncodedInstFragment();
465 insert(CEIF);
Eli Benderskycf6009b2013-01-15 23:22:09 +0000466 CEIF->getContents().append(Code.begin(), Code.end());
467 return;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000468 } else {
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000469 DF = new MCDataFragment();
470 insert(DF);
Derek Schuff05fb7352014-10-15 17:10:04 +0000471 }
472 if (SD->getBundleLockState() == MCSectionData::BundleLockedAlignToEnd) {
473 // If this fragment is for a group marked "align_to_end", set a flag
474 // in the fragment. This can happen after the fragment has already been
475 // created if there are nested bundle_align groups and an inner one
476 // is the one marked align_to_end.
477 DF->setAlignToBundleEnd(true);
Eli Bendersky802b6282013-01-07 21:51:08 +0000478 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000479
480 // We're now emitting an instruction in a bundle group, so this flag has
481 // to be turned off.
482 SD->setBundleGroupBeforeFirstInst(false);
483 } else {
484 DF = getOrCreateDataFragment();
485 }
486
Benjamin Kramer1f601242010-08-27 10:40:51 +0000487 // Add the fixups and data.
488 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
489 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
Eli Benderskya31a8942012-12-07 19:13:57 +0000490 DF->getFixups().push_back(Fixups[i]);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000491 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000492 DF->setHasInstructions(true);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000493 DF->getContents().append(Code.begin(), Code.end());
494}
495
Eli Benderskyf483ff92012-12-20 19:05:53 +0000496void MCELFStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
497 assert(AlignPow2 <= 30 && "Invalid bundle alignment");
498 MCAssembler &Assembler = getAssembler();
Derek Schuff05fb7352014-10-15 17:10:04 +0000499 if (AlignPow2 > 0 && (Assembler.getBundleAlignSize() == 0 ||
500 Assembler.getBundleAlignSize() == 1U << AlignPow2))
501 Assembler.setBundleAlignSize(1U << AlignPow2);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000502 else
Derek Schuff05fb7352014-10-15 17:10:04 +0000503 report_fatal_error(".bundle_align_mode cannot be changed once set");
Eli Benderskyf483ff92012-12-20 19:05:53 +0000504}
505
Eli Bendersky802b6282013-01-07 21:51:08 +0000506void MCELFStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000507 MCSectionData *SD = getCurrentSectionData();
508
509 // Sanity checks
510 //
511 if (!getAssembler().isBundlingEnabled())
512 report_fatal_error(".bundle_lock forbidden when bundling is disabled");
Derek Schuff05fb7352014-10-15 17:10:04 +0000513
514 if (!SD->isBundleLocked())
515 SD->setBundleGroupBeforeFirstInst(true);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000516
Eli Bendersky802b6282013-01-07 21:51:08 +0000517 SD->setBundleLockState(AlignToEnd ? MCSectionData::BundleLockedAlignToEnd :
518 MCSectionData::BundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000519}
520
521void MCELFStreamer::EmitBundleUnlock() {
522 MCSectionData *SD = getCurrentSectionData();
523
524 // Sanity checks
525 if (!getAssembler().isBundlingEnabled())
526 report_fatal_error(".bundle_unlock forbidden when bundling is disabled");
527 else if (!SD->isBundleLocked())
528 report_fatal_error(".bundle_unlock without matching lock");
529 else if (SD->isBundleGroupBeforeFirstInst())
530 report_fatal_error("Empty bundle-locked group is forbidden");
531
Eli Bendersky802b6282013-01-07 21:51:08 +0000532 SD->setBundleLockState(MCSectionData::NotBundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000533}
534
Richard Mitton21101b32013-09-19 23:21:01 +0000535void MCELFStreamer::Flush() {
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000536 for (std::vector<LocalCommon>::const_iterator i = LocalCommons.begin(),
537 e = LocalCommons.end();
538 i != e; ++i) {
539 MCSymbolData *SD = i->SD;
540 uint64_t Size = i->Size;
541 unsigned ByteAlignment = i->ByteAlignment;
542 const MCSymbol &Symbol = SD->getSymbol();
543 const MCSection &Section = Symbol.getSection();
544
545 MCSectionData &SectData = getAssembler().getOrCreateSectionData(Section);
546 new MCAlignFragment(ByteAlignment, 0, 1, ByteAlignment, &SectData);
547
548 MCFragment *F = new MCFillFragment(0, 0, Size, &SectData);
549 SD->setFragment(F);
550
551 // Update the maximum alignment of the section if necessary.
552 if (ByteAlignment > SectData.getAlignment())
553 SectData.setAlignment(ByteAlignment);
554 }
555
Richard Mitton21101b32013-09-19 23:21:01 +0000556 LocalCommons.clear();
557}
558
559void MCELFStreamer::FinishImpl() {
Rafael Espindola7f4ccce2014-05-12 13:30:10 +0000560 EmitFrames(nullptr);
Richard Mitton21101b32013-09-19 23:21:01 +0000561
562 Flush();
563
Rafael Espindola07082092012-01-07 03:13:18 +0000564 this->MCObjectStreamer::FinishImpl();
Matt Fleming6c1ad482010-08-16 18:57:57 +0000565}
Richard Mitton21101b32013-09-19 23:21:01 +0000566
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000567MCStreamer *llvm::createELFStreamer(MCContext &Context, MCAsmBackend &MAB,
568 raw_ostream &OS, MCCodeEmitter *CE,
Rafael Espindola7b61ddf2014-10-15 16:12:52 +0000569 bool RelaxAll) {
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000570 MCELFStreamer *S = new MCELFStreamer(Context, MAB, OS, CE);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000571 if (RelaxAll)
572 S->getAssembler().setRelaxAll(true);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000573 return S;
574}
Logan Chien59ff0702012-12-07 15:50:40 +0000575
Tim Northover5cc3dc82012-12-07 16:50:23 +0000576void MCELFStreamer::EmitThumbFunc(MCSymbol *Func) {
577 llvm_unreachable("Generic ELF doesn't support this directive");
578}
579
Logan Chien59ff0702012-12-07 15:50:40 +0000580void MCELFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
581 llvm_unreachable("ELF doesn't support this directive");
582}
583
584void MCELFStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) {
585 llvm_unreachable("ELF doesn't support this directive");
586}
587
588void MCELFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
589 llvm_unreachable("ELF doesn't support this directive");
590}
591
592void MCELFStreamer::EmitCOFFSymbolType(int Type) {
593 llvm_unreachable("ELF doesn't support this directive");
594}
595
596void MCELFStreamer::EndCOFFSymbolDef() {
597 llvm_unreachable("ELF doesn't support this directive");
598}
599
600void MCELFStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol,
601 uint64_t Size, unsigned ByteAlignment) {
602 llvm_unreachable("ELF doesn't support this directive");
603}
604
605void MCELFStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol,
606 uint64_t Size, unsigned ByteAlignment) {
607 llvm_unreachable("ELF doesn't support this directive");
608}