blob: 8f0691b70c80b03636902fcb088bf206ac7ea679 [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"
Petr Hosek9e0c8902015-04-12 23:42:25 +000018#include "llvm/MC/MCAsmLayout.h"
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000019#include "llvm/MC/MCAsmInfo.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000020#include "llvm/MC/MCAssembler.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000021#include "llvm/MC/MCCodeEmitter.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000022#include "llvm/MC/MCContext.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000023#include "llvm/MC/MCELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000024#include "llvm/MC/MCELFSymbolFlags.h"
25#include "llvm/MC/MCExpr.h"
26#include "llvm/MC/MCInst.h"
Rafael Espindolae308c0c2014-01-23 22:49:25 +000027#include "llvm/MC/MCObjectFileInfo.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000028#include "llvm/MC/MCObjectStreamer.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000029#include "llvm/MC/MCSection.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/MC/MCSectionELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000031#include "llvm/MC/MCSymbol.h"
Rafael Espindola16145972010-11-01 14:28:48 +000032#include "llvm/MC/MCValue.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000033#include "llvm/Support/Debug.h"
34#include "llvm/Support/ELF.h"
35#include "llvm/Support/ErrorHandling.h"
Rafael Espindolacd584a82015-03-19 01:50:16 +000036#include "llvm/Support/TargetRegistry.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000037#include "llvm/Support/raw_ostream.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000038
39using namespace llvm;
40
Logan Chien59ff0702012-12-07 15:50:40 +000041MCELFStreamer::~MCELFStreamer() {
Rafael Espindola81a62742012-01-07 23:18:39 +000042}
43
Petr Hosek9e0c8902015-04-12 23:42:25 +000044void MCELFStreamer::mergeFragment(MCDataFragment *DF,
45 MCEncodedFragmentWithFixups *EF) {
46 MCAssembler &Assembler = getAssembler();
47
48 if (Assembler.isBundlingEnabled() && Assembler.getRelaxAll()) {
49 uint64_t FSize = EF->getContents().size();
50
51 if (FSize > Assembler.getBundleAlignSize())
52 report_fatal_error("Fragment can't be larger than a bundle size");
53
54 uint64_t RequiredBundlePadding = computeBundlePadding(
55 Assembler, EF, DF->getContents().size(), FSize);
56
57 if (RequiredBundlePadding > UINT8_MAX)
58 report_fatal_error("Padding cannot exceed 255 bytes");
59
60 if (RequiredBundlePadding > 0) {
61 SmallString<256> Code;
62 raw_svector_ostream VecOS(Code);
63 MCObjectWriter *OW = Assembler.getBackend().createObjectWriter(VecOS);
64
65 EF->setBundlePadding(static_cast<uint8_t>(RequiredBundlePadding));
66
67 Assembler.writeFragmentPadding(*EF, FSize, OW);
68 VecOS.flush();
69 delete OW;
70
71 DF->getContents().append(Code.begin(), Code.end());
72 }
73 }
74
75 flushPendingLabels(DF, DF->getContents().size());
76
77 for (unsigned i = 0, e = EF->getFixups().size(); i != e; ++i) {
78 EF->getFixups()[i].setOffset(EF->getFixups()[i].getOffset() +
79 DF->getContents().size());
80 DF->getFixups().push_back(EF->getFixups()[i]);
81 }
82 DF->setHasInstructions(true);
83 DF->getContents().append(EF->getContents().begin(), EF->getContents().end());
84}
85
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000086void MCELFStreamer::InitSections(bool NoExecStack) {
Rafael Espindolaf667d922010-09-15 21:48:40 +000087 // This emulates the same behavior of GNU as. This makes it easier
88 // to compare the output as the major sections are in the same order.
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000089 MCContext &Ctx = getContext();
90 SwitchSection(Ctx.getObjectFileInfo()->getTextSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000091 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000092
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000093 SwitchSection(Ctx.getObjectFileInfo()->getDataSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000094 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000095
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000096 SwitchSection(Ctx.getObjectFileInfo()->getBSSSection());
Rafael Espindola7b514962014-02-04 18:34:04 +000097 EmitCodeAlignment(4);
Rafael Espindola247f9512014-01-24 02:18:40 +000098
Rafael Espindola7b61ddf2014-10-15 16:12:52 +000099 SwitchSection(Ctx.getObjectFileInfo()->getTextSection());
100
101 if (NoExecStack)
102 SwitchSection(Ctx.getAsmInfo()->getNonexecutableStackSection(Ctx));
Rafael Espindolaf667d922010-09-15 21:48:40 +0000103}
104
Matt Fleming6c1ad482010-08-16 18:57:57 +0000105void MCELFStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola16795802010-11-28 16:22:59 +0000106 assert(Symbol->isUndefined() && "Cannot define a symbol twice!");
107
Rafael Espindolae5b74152010-11-28 17:18:55 +0000108 MCObjectStreamer::EmitLabel(Symbol);
Rafael Espindola75d65b92010-09-25 05:42:19 +0000109
Rafael Espindola84d03182010-11-11 19:04:55 +0000110 const MCSectionELF &Section =
111 static_cast<const MCSectionELF&>(Symbol->getSection());
Rafael Espindolae5b74152010-11-28 17:18:55 +0000112 MCSymbolData &SD = getAssembler().getSymbolData(*Symbol);
Rafael Espindola0e7e34e2011-01-23 04:43:11 +0000113 if (Section.getFlags() & ELF::SHF_TLS)
Jan Sjödin30a52de2011-02-28 21:45:04 +0000114 MCELF::SetType(SD, ELF::STT_TLS);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000115}
116
117void MCELFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
David Peixotto72667312013-11-25 19:11:13 +0000118 // Let the target do whatever target specific stuff it needs to do.
119 getAssembler().getBackend().handleAssemblerFlag(Flag);
120 // Do any generic stuff we need to do.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000121 switch (Flag) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +0000122 case MCAF_SyntaxUnified: return; // no-op here.
Evan Cheng481ebb02011-07-27 00:38:12 +0000123 case MCAF_Code16: return; // Change parsing mode; no-op here.
124 case MCAF_Code32: return; // Change parsing mode; no-op here.
125 case MCAF_Code64: return; // Change parsing mode; no-op here.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000126 case MCAF_SubsectionsViaSymbols:
127 getAssembler().setSubsectionsViaSymbols(true);
128 return;
129 }
130
Craig Toppera2886c22012-02-07 05:05:23 +0000131 llvm_unreachable("invalid assembler flag!");
Matt Fleming6c1ad482010-08-16 18:57:57 +0000132}
133
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000134void MCELFStreamer::ChangeSection(const MCSection *Section,
135 const MCExpr *Subsection) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000136 MCSectionData *CurSection = getCurrentSectionData();
137 if (CurSection && CurSection->isBundleLocked())
138 report_fatal_error("Unterminated .bundle_lock when changing a section");
Rafael Espindolab6613022014-10-17 01:48:58 +0000139
140 MCAssembler &Asm = getAssembler();
141 auto *SectionELF = static_cast<const MCSectionELF *>(Section);
142 const MCSymbol *Grp = SectionELF->getGroup();
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000143 if (Grp)
Rafael Espindolab6613022014-10-17 01:48:58 +0000144 Asm.getOrCreateSymbolData(*Grp);
145
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000146 this->MCObjectStreamer::ChangeSection(Section, Subsection);
Rafael Espindolab6613022014-10-17 01:48:58 +0000147 MCSymbol *SectionSymbol = getContext().getOrCreateSectionSymbol(*SectionELF);
148 if (SectionSymbol->isUndefined()) {
149 EmitLabel(SectionSymbol);
150 MCELF::SetType(Asm.getSymbolData(*SectionSymbol), ELF::STT_SECTION);
151 }
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000152}
153
Rafael Espindola16145972010-11-01 14:28:48 +0000154void MCELFStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) {
155 getAssembler().getOrCreateSymbolData(*Symbol);
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000156 const MCExpr *Value = MCSymbolRefExpr::Create(
157 Symbol, MCSymbolRefExpr::VK_WEAKREF, getContext());
Rafael Espindola16145972010-11-01 14:28:48 +0000158 Alias->setVariableValue(Value);
159}
160
Peter Collingbourneadac4072013-04-10 16:52:15 +0000161// When GNU as encounters more than one .type declaration for an object it seems
162// to use a mechanism similar to the one below to decide which type is actually
163// used in the object file. The greater of T1 and T2 is selected based on the
164// following ordering:
165// STT_NOTYPE < STT_OBJECT < STT_FUNC < STT_GNU_IFUNC < STT_TLS < anything else
166// If neither T1 < T2 nor T2 < T1 according to this ordering, use T2 (the user
167// provided type).
168static unsigned CombineSymbolTypes(unsigned T1, unsigned T2) {
Benjamin Kramer867bfc52015-03-07 17:41:00 +0000169 for (unsigned Type : {ELF::STT_NOTYPE, ELF::STT_OBJECT, ELF::STT_FUNC,
170 ELF::STT_GNU_IFUNC, ELF::STT_TLS}) {
171 if (T1 == Type)
Peter Collingbourneadac4072013-04-10 16:52:15 +0000172 return T2;
Benjamin Kramer867bfc52015-03-07 17:41:00 +0000173 if (T2 == Type)
Peter Collingbourneadac4072013-04-10 16:52:15 +0000174 return T1;
175 }
176
177 return T2;
178}
179
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000180bool MCELFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
181 MCSymbolAttr Attribute) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000182 // Indirect symbols are handled differently, to match how 'as' handles
183 // them. This makes writing matching .o files easier.
184 if (Attribute == MCSA_IndirectSymbol) {
185 // Note that we intentionally cannot use the symbol data here; this is
186 // important for matching the string table that 'as' generates.
187 IndirectSymbolData ISD;
188 ISD.Symbol = Symbol;
189 ISD.SectionData = getCurrentSectionData();
190 getAssembler().getIndirectSymbols().push_back(ISD);
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000191 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000192 }
193
194 // Adding a symbol attribute always introduces the symbol, note that an
195 // important side effect of calling getOrCreateSymbolData here is to register
196 // the symbol with the assembler.
197 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
198
199 // The implementation of symbol attributes is designed to match 'as', but it
200 // leaves much to desired. It doesn't really make sense to arbitrarily add and
201 // remove flags, but 'as' allows this (in particular, see .desc).
202 //
203 // In the future it might be worth trying to make these operations more well
204 // defined.
205 switch (Attribute) {
206 case MCSA_LazyReference:
207 case MCSA_Reference:
Kevin Enderby8be14412010-11-19 18:39:33 +0000208 case MCSA_SymbolResolver:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000209 case MCSA_PrivateExtern:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000210 case MCSA_WeakDefinition:
Eli Friedmanb20b5242010-08-16 19:15:06 +0000211 case MCSA_WeakDefAutoPrivate:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000212 case MCSA_Invalid:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000213 case MCSA_IndirectSymbol:
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000214 return false;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000215
Jim Grosbachb7b750d2012-09-13 23:11:31 +0000216 case MCSA_NoDeadStrip:
Rafael Espindolaeba90222010-11-14 01:34:31 +0000217 // Ignore for now.
218 break;
219
Rafael Espindola5fa925e2015-01-23 04:44:35 +0000220 case MCSA_ELF_TypeGnuUniqueObject:
221 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD), ELF::STT_OBJECT));
222 MCELF::SetBinding(SD, ELF::STB_GNU_UNIQUE);
223 SD.setExternal(true);
224 BindingExplicitlySet.insert(Symbol);
225 break;
226
Matt Fleming6c1ad482010-08-16 18:57:57 +0000227 case MCSA_Global:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000228 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000229 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000230 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000231 break;
232
Benjamin Kramer5af02b02010-09-02 17:18:32 +0000233 case MCSA_WeakReference:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000234 case MCSA_Weak:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000235 MCELF::SetBinding(SD, ELF::STB_WEAK);
Rafael Espindola83b2a332010-10-06 16:47:31 +0000236 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000237 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000238 break;
239
240 case MCSA_Local:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000241 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000242 SD.setExternal(false);
243 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000244 break;
245
246 case MCSA_ELF_TypeFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000247 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
248 ELF::STT_FUNC));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000249 break;
250
Roman Divacky735cb8b2011-12-12 17:34:04 +0000251 case MCSA_ELF_TypeIndFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000252 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
253 ELF::STT_GNU_IFUNC));
Roman Divacky735cb8b2011-12-12 17:34:04 +0000254 break;
255
Matt Fleming6c1ad482010-08-16 18:57:57 +0000256 case MCSA_ELF_TypeObject:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000257 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
258 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000259 break;
260
261 case MCSA_ELF_TypeTLS:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000262 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
263 ELF::STT_TLS));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000264 break;
265
266 case MCSA_ELF_TypeCommon:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000267 // TODO: Emit these as a common symbol.
268 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
269 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000270 break;
271
272 case MCSA_ELF_TypeNoType:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000273 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
274 ELF::STT_NOTYPE));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000275 break;
276
277 case MCSA_Protected:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000278 MCELF::SetVisibility(SD, ELF::STV_PROTECTED);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000279 break;
280
281 case MCSA_Hidden:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000282 MCELF::SetVisibility(SD, ELF::STV_HIDDEN);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000283 break;
284
285 case MCSA_Internal:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000286 MCELF::SetVisibility(SD, ELF::STV_INTERNAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000287 break;
288 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000289
290 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000291}
292
293void MCELFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
294 unsigned ByteAlignment) {
295 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
296
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000297 if (!BindingExplicitlySet.count(Symbol)) {
Jan Sjödin30a52de2011-02-28 21:45:04 +0000298 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000299 SD.setExternal(true);
300 }
301
Jan Sjödin30a52de2011-02-28 21:45:04 +0000302 MCELF::SetType(SD, ELF::STT_OBJECT);
Rafael Espindolaa7d0bed2010-11-14 21:11:16 +0000303
Jan Sjödin30a52de2011-02-28 21:45:04 +0000304 if (MCELF::GetBinding(SD) == ELF_STB_Local) {
Rafael Espindolaba31e272015-01-29 17:33:21 +0000305 const MCSection *Section = getAssembler().getContext().getELFSection(
306 ".bss", ELF::SHT_NOBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
Richard Mitton21101b32013-09-19 23:21:01 +0000307
308 AssignSection(Symbol, Section);
Rafael Espindola9bac6cb2010-09-22 17:43:04 +0000309
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000310 struct LocalCommon L = {&SD, Size, ByteAlignment};
311 LocalCommons.push_back(L);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000312 } else {
313 SD.setCommon(Size, ByteAlignment);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000314 }
315
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000316 SD.setSize(MCConstantExpr::Create(Size, getContext()));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000317}
318
Logan Chien59ff0702012-12-07 15:50:40 +0000319void MCELFStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) {
320 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
321 SD.setSize(Value);
322}
323
Benjamin Kramer63970512011-09-01 23:04:27 +0000324void MCELFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
325 unsigned ByteAlignment) {
Jason W Kim4c1386a2010-12-16 03:12:17 +0000326 // FIXME: Should this be caught and done earlier?
327 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
Jan Sjödin30a52de2011-02-28 21:45:04 +0000328 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000329 SD.setExternal(false);
330 BindingExplicitlySet.insert(Symbol);
Benjamin Kramer63970512011-09-01 23:04:27 +0000331 EmitCommonSymbol(Symbol, Size, ByteAlignment);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000332}
333
Kevin Enderby96918bc2014-04-22 17:27:29 +0000334void MCELFStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
335 const SMLoc &Loc) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000336 if (getCurrentSectionData()->isBundleLocked())
337 report_fatal_error("Emitting values inside a locked bundle is forbidden");
David Meyer44ec69e2012-02-15 15:09:06 +0000338 fixSymbolsInTLSFixups(Value);
Kevin Enderby96918bc2014-04-22 17:27:29 +0000339 MCObjectStreamer::EmitValueImpl(Value, Size, Loc);
David Meyer44ec69e2012-02-15 15:09:06 +0000340}
341
Eli Benderskyf483ff92012-12-20 19:05:53 +0000342void MCELFStreamer::EmitValueToAlignment(unsigned ByteAlignment,
343 int64_t Value,
344 unsigned ValueSize,
345 unsigned MaxBytesToEmit) {
346 if (getCurrentSectionData()->isBundleLocked())
347 report_fatal_error("Emitting values inside a locked bundle is forbidden");
348 MCObjectStreamer::EmitValueToAlignment(ByteAlignment, Value,
349 ValueSize, MaxBytesToEmit);
350}
351
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000352// Add a symbol for the file name of this module. They start after the
353// null symbol and don't count as normal symbol, i.e. a non-STT_FILE symbol
354// with the same name may appear.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000355void MCELFStreamer::EmitFileDirective(StringRef Filename) {
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000356 getAssembler().addFileName(Filename);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000357}
358
Rafael Espindola5645bad2013-10-16 01:05:45 +0000359void MCELFStreamer::EmitIdent(StringRef IdentString) {
360 const MCSection *Comment = getAssembler().getContext().getELFSection(
Rafael Espindolaba31e272015-01-29 17:33:21 +0000361 ".comment", ELF::SHT_PROGBITS, ELF::SHF_MERGE | ELF::SHF_STRINGS, 1, "");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000362 PushSection();
363 SwitchSection(Comment);
364 if (!SeenIdent) {
365 EmitIntValue(0, 1);
366 SeenIdent = true;
367 }
368 EmitBytes(IdentString);
369 EmitIntValue(0, 1);
370 PopSection();
371}
372
373void MCELFStreamer::fixSymbolsInTLSFixups(const MCExpr *expr) {
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000374 switch (expr->getKind()) {
Tim Northovere0e3aef2013-01-31 12:12:40 +0000375 case MCExpr::Target:
376 cast<MCTargetExpr>(expr)->fixELFSymbolsInTLSFixups(getAssembler());
377 break;
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000378 case MCExpr::Constant:
379 break;
380
381 case MCExpr::Binary: {
382 const MCBinaryExpr *be = cast<MCBinaryExpr>(expr);
383 fixSymbolsInTLSFixups(be->getLHS());
384 fixSymbolsInTLSFixups(be->getRHS());
385 break;
386 }
387
388 case MCExpr::SymbolRef: {
389 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(expr);
Rafael Espindolae98d4832010-11-24 18:51:21 +0000390 switch (symRef.getKind()) {
391 default:
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000392 return;
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000393 case MCSymbolRefExpr::VK_GOTTPOFF:
394 case MCSymbolRefExpr::VK_INDNTPOFF:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000395 case MCSymbolRefExpr::VK_NTPOFF:
396 case MCSymbolRefExpr::VK_GOTNTPOFF:
397 case MCSymbolRefExpr::VK_TLSGD:
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000398 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000399 case MCSymbolRefExpr::VK_TLSLDM:
400 case MCSymbolRefExpr::VK_TPOFF:
401 case MCSymbolRefExpr::VK_DTPOFF:
Bruno Cardoso Lopes82b077e2011-10-25 18:13:20 +0000402 case MCSymbolRefExpr::VK_Mips_TLSGD:
403 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
404 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
405 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
Ulrich Weigandf11efe72013-07-01 23:33:29 +0000406 case MCSymbolRefExpr::VK_PPC_DTPMOD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000407 case MCSymbolRefExpr::VK_PPC_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000408 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000409 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000410 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000411 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
412 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
413 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
414 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
415 case MCSymbolRefExpr::VK_PPC_DTPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000416 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000417 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000418 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000419 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
420 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
421 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
422 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
423 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000424 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000425 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000426 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000427 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
428 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
429 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
430 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
Bill Schmidt441907d2013-02-26 16:41:03 +0000431 case MCSymbolRefExpr::VK_PPC_TLS:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000432 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000433 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000434 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000435 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000436 case MCSymbolRefExpr::VK_PPC_TLSGD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000437 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000438 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000439 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000440 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000441 case MCSymbolRefExpr::VK_PPC_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000442 break;
443 }
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000444 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(symRef.getSymbol());
Jan Sjödin30a52de2011-02-28 21:45:04 +0000445 MCELF::SetType(SD, ELF::STT_TLS);
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000446 break;
447 }
448
449 case MCExpr::Unary:
450 fixSymbolsInTLSFixups(cast<MCUnaryExpr>(expr)->getSubExpr());
451 break;
452 }
453}
454
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000455void MCELFStreamer::EmitInstToFragment(const MCInst &Inst,
456 const MCSubtargetInfo &STI) {
457 this->MCObjectStreamer::EmitInstToFragment(Inst, STI);
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000458 MCRelaxableFragment &F = *cast<MCRelaxableFragment>(getCurrentFragment());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000459
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000460 for (unsigned i = 0, e = F.getFixups().size(); i != e; ++i)
461 fixSymbolsInTLSFixups(F.getFixups()[i].getValue());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000462}
463
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000464void MCELFStreamer::EmitInstToData(const MCInst &Inst,
465 const MCSubtargetInfo &STI) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000466 MCAssembler &Assembler = getAssembler();
Benjamin Kramer1f601242010-08-27 10:40:51 +0000467 SmallVector<MCFixup, 4> Fixups;
468 SmallString<256> Code;
469 raw_svector_ostream VecOS(Code);
David Woodhouse9784cef2014-01-28 23:13:07 +0000470 Assembler.getEmitter().EncodeInstruction(Inst, VecOS, Fixups, STI);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000471 VecOS.flush();
472
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000473 for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
474 fixSymbolsInTLSFixups(Fixups[i].getValue());
475
Eli Benderskyf483ff92012-12-20 19:05:53 +0000476 // There are several possibilities here:
477 //
478 // If bundling is disabled, append the encoded instruction to the current data
479 // fragment (or create a new such fragment if the current fragment is not a
480 // data fragment).
481 //
482 // If bundling is enabled:
Eli Benderskycf6009b2013-01-15 23:22:09 +0000483 // - If we're not in a bundle-locked group, emit the instruction into a
484 // fragment of its own. If there are no fixups registered for the
485 // instruction, emit a MCCompactEncodedInstFragment. Otherwise, emit a
486 // MCDataFragment.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000487 // - If we're in a bundle-locked group, append the instruction to the current
488 // data fragment because we want all the instructions in a group to get into
489 // the same fragment. Be careful not to do that for the first instruction in
490 // the group, though.
491 MCDataFragment *DF;
492
493 if (Assembler.isBundlingEnabled()) {
494 MCSectionData *SD = getCurrentSectionData();
Petr Hosek9e0c8902015-04-12 23:42:25 +0000495 if (Assembler.getRelaxAll() && SD->isBundleLocked())
496 // If the -mc-relax-all flag is used and we are bundle-locked, we re-use
497 // the current bundle group.
498 DF = BundleGroups.back();
499 else if (Assembler.getRelaxAll() && !SD->isBundleLocked())
500 // When not in a bundle-locked group and the -mc-relax-all flag is used,
501 // we create a new temporary fragment which will be later merged into
502 // the current fragment.
503 DF = new MCDataFragment();
504 else if (SD->isBundleLocked() && !SD->isBundleGroupBeforeFirstInst())
Derek Schuff8878bcc92013-02-15 22:50:52 +0000505 // If we are bundle-locked, we re-use the current fragment.
506 // The bundle-locking directive ensures this is a new data fragment.
507 DF = cast<MCDataFragment>(getCurrentFragment());
Eli Benderskycf6009b2013-01-15 23:22:09 +0000508 else if (!SD->isBundleLocked() && Fixups.size() == 0) {
509 // Optimize memory usage by emitting the instruction to a
510 // MCCompactEncodedInstFragment when not in a bundle-locked group and
511 // there are no fixups registered.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000512 MCCompactEncodedInstFragment *CEIF = new MCCompactEncodedInstFragment();
513 insert(CEIF);
Eli Benderskycf6009b2013-01-15 23:22:09 +0000514 CEIF->getContents().append(Code.begin(), Code.end());
515 return;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000516 } else {
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000517 DF = new MCDataFragment();
518 insert(DF);
Derek Schuff05fb7352014-10-15 17:10:04 +0000519 }
520 if (SD->getBundleLockState() == MCSectionData::BundleLockedAlignToEnd) {
521 // If this fragment is for a group marked "align_to_end", set a flag
522 // in the fragment. This can happen after the fragment has already been
523 // created if there are nested bundle_align groups and an inner one
524 // is the one marked align_to_end.
525 DF->setAlignToBundleEnd(true);
Eli Bendersky802b6282013-01-07 21:51:08 +0000526 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000527
528 // We're now emitting an instruction in a bundle group, so this flag has
529 // to be turned off.
530 SD->setBundleGroupBeforeFirstInst(false);
531 } else {
532 DF = getOrCreateDataFragment();
533 }
534
Benjamin Kramer1f601242010-08-27 10:40:51 +0000535 // Add the fixups and data.
536 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
537 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
Eli Benderskya31a8942012-12-07 19:13:57 +0000538 DF->getFixups().push_back(Fixups[i]);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000539 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000540 DF->setHasInstructions(true);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000541 DF->getContents().append(Code.begin(), Code.end());
Petr Hosek9e0c8902015-04-12 23:42:25 +0000542
543 if (Assembler.isBundlingEnabled() && Assembler.getRelaxAll()) {
544 MCSectionData *SD = getCurrentSectionData();
545 if (!SD->isBundleLocked()) {
546 mergeFragment(getOrCreateDataFragment(), DF);
547 delete DF;
548 }
549 }
Benjamin Kramer1f601242010-08-27 10:40:51 +0000550}
551
Eli Benderskyf483ff92012-12-20 19:05:53 +0000552void MCELFStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
553 assert(AlignPow2 <= 30 && "Invalid bundle alignment");
554 MCAssembler &Assembler = getAssembler();
Derek Schuff05fb7352014-10-15 17:10:04 +0000555 if (AlignPow2 > 0 && (Assembler.getBundleAlignSize() == 0 ||
556 Assembler.getBundleAlignSize() == 1U << AlignPow2))
557 Assembler.setBundleAlignSize(1U << AlignPow2);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000558 else
Derek Schuff05fb7352014-10-15 17:10:04 +0000559 report_fatal_error(".bundle_align_mode cannot be changed once set");
Eli Benderskyf483ff92012-12-20 19:05:53 +0000560}
561
Eli Bendersky802b6282013-01-07 21:51:08 +0000562void MCELFStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000563 MCSectionData *SD = getCurrentSectionData();
564
565 // Sanity checks
566 //
567 if (!getAssembler().isBundlingEnabled())
568 report_fatal_error(".bundle_lock forbidden when bundling is disabled");
Derek Schuff05fb7352014-10-15 17:10:04 +0000569
570 if (!SD->isBundleLocked())
571 SD->setBundleGroupBeforeFirstInst(true);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000572
Petr Hosek9e0c8902015-04-12 23:42:25 +0000573 if (getAssembler().getRelaxAll() && !SD->isBundleLocked()) {
574 // TODO: drop the lock state and set directly in the fragment
575 MCDataFragment *DF = new MCDataFragment();
576 BundleGroups.push_back(DF);
577 }
578
Eli Bendersky802b6282013-01-07 21:51:08 +0000579 SD->setBundleLockState(AlignToEnd ? MCSectionData::BundleLockedAlignToEnd :
580 MCSectionData::BundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000581}
582
583void MCELFStreamer::EmitBundleUnlock() {
584 MCSectionData *SD = getCurrentSectionData();
585
586 // Sanity checks
587 if (!getAssembler().isBundlingEnabled())
588 report_fatal_error(".bundle_unlock forbidden when bundling is disabled");
589 else if (!SD->isBundleLocked())
590 report_fatal_error(".bundle_unlock without matching lock");
591 else if (SD->isBundleGroupBeforeFirstInst())
592 report_fatal_error("Empty bundle-locked group is forbidden");
593
Petr Hosek9e0c8902015-04-12 23:42:25 +0000594 // When the -mc-relax-all flag is used, we emit instructions to fragments
595 // stored on a stack. When the bundle unlock is emited, we pop a fragment
596 // from the stack a merge it to the one below.
597 if (getAssembler().getRelaxAll()) {
598 assert(!BundleGroups.empty() && "There are no bundle groups");
599 MCDataFragment *DF = BundleGroups.back();
600
601 // FIXME: Use BundleGroups to track the lock state instead.
602 SD->setBundleLockState(MCSectionData::NotBundleLocked);
603
604 // FIXME: Use more separate fragments for nested groups.
605 if (!SD->isBundleLocked()) {
606 mergeFragment(getOrCreateDataFragment(), DF);
607 BundleGroups.pop_back();
608 delete DF;
609 }
610
611 if (SD->getBundleLockState() != MCSectionData::BundleLockedAlignToEnd)
612 getOrCreateDataFragment()->setAlignToBundleEnd(false);
613 } else
614 SD->setBundleLockState(MCSectionData::NotBundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000615}
616
Richard Mitton21101b32013-09-19 23:21:01 +0000617void MCELFStreamer::Flush() {
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000618 for (std::vector<LocalCommon>::const_iterator i = LocalCommons.begin(),
619 e = LocalCommons.end();
620 i != e; ++i) {
621 MCSymbolData *SD = i->SD;
622 uint64_t Size = i->Size;
623 unsigned ByteAlignment = i->ByteAlignment;
624 const MCSymbol &Symbol = SD->getSymbol();
625 const MCSection &Section = Symbol.getSection();
626
627 MCSectionData &SectData = getAssembler().getOrCreateSectionData(Section);
628 new MCAlignFragment(ByteAlignment, 0, 1, ByteAlignment, &SectData);
629
630 MCFragment *F = new MCFillFragment(0, 0, Size, &SectData);
631 SD->setFragment(F);
632
633 // Update the maximum alignment of the section if necessary.
634 if (ByteAlignment > SectData.getAlignment())
635 SectData.setAlignment(ByteAlignment);
636 }
637
Richard Mitton21101b32013-09-19 23:21:01 +0000638 LocalCommons.clear();
639}
640
641void MCELFStreamer::FinishImpl() {
Rafael Espindola7f4ccce2014-05-12 13:30:10 +0000642 EmitFrames(nullptr);
Richard Mitton21101b32013-09-19 23:21:01 +0000643
644 Flush();
645
Rafael Espindola07082092012-01-07 03:13:18 +0000646 this->MCObjectStreamer::FinishImpl();
Matt Fleming6c1ad482010-08-16 18:57:57 +0000647}
Richard Mitton21101b32013-09-19 23:21:01 +0000648
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000649MCStreamer *llvm::createELFStreamer(MCContext &Context, MCAsmBackend &MAB,
650 raw_ostream &OS, MCCodeEmitter *CE,
Rafael Espindola7b61ddf2014-10-15 16:12:52 +0000651 bool RelaxAll) {
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000652 MCELFStreamer *S = new MCELFStreamer(Context, MAB, OS, CE);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000653 if (RelaxAll)
654 S->getAssembler().setRelaxAll(true);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000655 return S;
656}
Logan Chien59ff0702012-12-07 15:50:40 +0000657
Tim Northover5cc3dc82012-12-07 16:50:23 +0000658void MCELFStreamer::EmitThumbFunc(MCSymbol *Func) {
659 llvm_unreachable("Generic ELF doesn't support this directive");
660}
661
Logan Chien59ff0702012-12-07 15:50:40 +0000662void MCELFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
663 llvm_unreachable("ELF doesn't support this directive");
664}
665
666void MCELFStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) {
667 llvm_unreachable("ELF doesn't support this directive");
668}
669
670void MCELFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
671 llvm_unreachable("ELF doesn't support this directive");
672}
673
674void MCELFStreamer::EmitCOFFSymbolType(int Type) {
675 llvm_unreachable("ELF doesn't support this directive");
676}
677
678void MCELFStreamer::EndCOFFSymbolDef() {
679 llvm_unreachable("ELF doesn't support this directive");
680}
681
682void MCELFStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol,
683 uint64_t Size, unsigned ByteAlignment) {
684 llvm_unreachable("ELF doesn't support this directive");
685}
686
687void MCELFStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol,
688 uint64_t Size, unsigned ByteAlignment) {
689 llvm_unreachable("ELF doesn't support this directive");
690}