blob: 0286fd5aefda3d1d58d02e0b5af7ce731441ef80 [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
Derek Schuff2a1678a2015-04-21 00:14:25 +0000134// If bundle aligment is used and there are any instructions in the section, it
135// needs to be aligned to at least the bundle size.
136static void setSectionAlignmentForBundling(
137 const MCAssembler &Assembler, MCSectionData *Section) {
138 if (Assembler.isBundlingEnabled() && Section &&
139 Section->hasInstructions() &&
140 Section->getAlignment() < Assembler.getBundleAlignSize())
141 Section->setAlignment(Assembler.getBundleAlignSize());
142}
143
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000144void MCELFStreamer::ChangeSection(const MCSection *Section,
145 const MCExpr *Subsection) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000146 MCSectionData *CurSection = getCurrentSectionData();
147 if (CurSection && CurSection->isBundleLocked())
148 report_fatal_error("Unterminated .bundle_lock when changing a section");
Rafael Espindolab6613022014-10-17 01:48:58 +0000149
150 MCAssembler &Asm = getAssembler();
Derek Schuff2a1678a2015-04-21 00:14:25 +0000151 // Ensure the previous section gets aligned if necessary.
152 setSectionAlignmentForBundling(Asm, CurSection);
Rafael Espindolab6613022014-10-17 01:48:58 +0000153 auto *SectionELF = static_cast<const MCSectionELF *>(Section);
154 const MCSymbol *Grp = SectionELF->getGroup();
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000155 if (Grp)
Rafael Espindolab6613022014-10-17 01:48:58 +0000156 Asm.getOrCreateSymbolData(*Grp);
157
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000158 this->MCObjectStreamer::ChangeSection(Section, Subsection);
Rafael Espindolab6613022014-10-17 01:48:58 +0000159 MCSymbol *SectionSymbol = getContext().getOrCreateSectionSymbol(*SectionELF);
160 if (SectionSymbol->isUndefined()) {
161 EmitLabel(SectionSymbol);
162 MCELF::SetType(Asm.getSymbolData(*SectionSymbol), ELF::STT_SECTION);
163 }
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000164}
165
Rafael Espindola16145972010-11-01 14:28:48 +0000166void MCELFStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) {
167 getAssembler().getOrCreateSymbolData(*Symbol);
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000168 const MCExpr *Value = MCSymbolRefExpr::Create(
169 Symbol, MCSymbolRefExpr::VK_WEAKREF, getContext());
Rafael Espindola16145972010-11-01 14:28:48 +0000170 Alias->setVariableValue(Value);
171}
172
Peter Collingbourneadac4072013-04-10 16:52:15 +0000173// When GNU as encounters more than one .type declaration for an object it seems
174// to use a mechanism similar to the one below to decide which type is actually
175// used in the object file. The greater of T1 and T2 is selected based on the
176// following ordering:
177// STT_NOTYPE < STT_OBJECT < STT_FUNC < STT_GNU_IFUNC < STT_TLS < anything else
178// If neither T1 < T2 nor T2 < T1 according to this ordering, use T2 (the user
179// provided type).
180static unsigned CombineSymbolTypes(unsigned T1, unsigned T2) {
Benjamin Kramer867bfc52015-03-07 17:41:00 +0000181 for (unsigned Type : {ELF::STT_NOTYPE, ELF::STT_OBJECT, ELF::STT_FUNC,
182 ELF::STT_GNU_IFUNC, ELF::STT_TLS}) {
183 if (T1 == Type)
Peter Collingbourneadac4072013-04-10 16:52:15 +0000184 return T2;
Benjamin Kramer867bfc52015-03-07 17:41:00 +0000185 if (T2 == Type)
Peter Collingbourneadac4072013-04-10 16:52:15 +0000186 return T1;
187 }
188
189 return T2;
190}
191
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000192bool MCELFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
193 MCSymbolAttr Attribute) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000194 // Indirect symbols are handled differently, to match how 'as' handles
195 // them. This makes writing matching .o files easier.
196 if (Attribute == MCSA_IndirectSymbol) {
197 // Note that we intentionally cannot use the symbol data here; this is
198 // important for matching the string table that 'as' generates.
199 IndirectSymbolData ISD;
200 ISD.Symbol = Symbol;
201 ISD.SectionData = getCurrentSectionData();
202 getAssembler().getIndirectSymbols().push_back(ISD);
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000203 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000204 }
205
206 // Adding a symbol attribute always introduces the symbol, note that an
207 // important side effect of calling getOrCreateSymbolData here is to register
208 // the symbol with the assembler.
209 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
210
211 // The implementation of symbol attributes is designed to match 'as', but it
212 // leaves much to desired. It doesn't really make sense to arbitrarily add and
213 // remove flags, but 'as' allows this (in particular, see .desc).
214 //
215 // In the future it might be worth trying to make these operations more well
216 // defined.
217 switch (Attribute) {
218 case MCSA_LazyReference:
219 case MCSA_Reference:
Kevin Enderby8be14412010-11-19 18:39:33 +0000220 case MCSA_SymbolResolver:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000221 case MCSA_PrivateExtern:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000222 case MCSA_WeakDefinition:
Eli Friedmanb20b5242010-08-16 19:15:06 +0000223 case MCSA_WeakDefAutoPrivate:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000224 case MCSA_Invalid:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000225 case MCSA_IndirectSymbol:
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000226 return false;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000227
Jim Grosbachb7b750d2012-09-13 23:11:31 +0000228 case MCSA_NoDeadStrip:
Rafael Espindolaeba90222010-11-14 01:34:31 +0000229 // Ignore for now.
230 break;
231
Rafael Espindola5fa925e2015-01-23 04:44:35 +0000232 case MCSA_ELF_TypeGnuUniqueObject:
233 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD), ELF::STT_OBJECT));
234 MCELF::SetBinding(SD, ELF::STB_GNU_UNIQUE);
235 SD.setExternal(true);
236 BindingExplicitlySet.insert(Symbol);
237 break;
238
Matt Fleming6c1ad482010-08-16 18:57:57 +0000239 case MCSA_Global:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000240 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000241 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000242 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000243 break;
244
Benjamin Kramer5af02b02010-09-02 17:18:32 +0000245 case MCSA_WeakReference:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000246 case MCSA_Weak:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000247 MCELF::SetBinding(SD, ELF::STB_WEAK);
Rafael Espindola83b2a332010-10-06 16:47:31 +0000248 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000249 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000250 break;
251
252 case MCSA_Local:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000253 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000254 SD.setExternal(false);
255 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000256 break;
257
258 case MCSA_ELF_TypeFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000259 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
260 ELF::STT_FUNC));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000261 break;
262
Roman Divacky735cb8b2011-12-12 17:34:04 +0000263 case MCSA_ELF_TypeIndFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000264 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
265 ELF::STT_GNU_IFUNC));
Roman Divacky735cb8b2011-12-12 17:34:04 +0000266 break;
267
Matt Fleming6c1ad482010-08-16 18:57:57 +0000268 case MCSA_ELF_TypeObject:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000269 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
270 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000271 break;
272
273 case MCSA_ELF_TypeTLS:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000274 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
275 ELF::STT_TLS));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000276 break;
277
278 case MCSA_ELF_TypeCommon:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000279 // TODO: Emit these as a common symbol.
280 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
281 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000282 break;
283
284 case MCSA_ELF_TypeNoType:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000285 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
286 ELF::STT_NOTYPE));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000287 break;
288
289 case MCSA_Protected:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000290 MCELF::SetVisibility(SD, ELF::STV_PROTECTED);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000291 break;
292
293 case MCSA_Hidden:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000294 MCELF::SetVisibility(SD, ELF::STV_HIDDEN);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000295 break;
296
297 case MCSA_Internal:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000298 MCELF::SetVisibility(SD, ELF::STV_INTERNAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000299 break;
300 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000301
302 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000303}
304
305void MCELFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
306 unsigned ByteAlignment) {
307 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
308
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000309 if (!BindingExplicitlySet.count(Symbol)) {
Jan Sjödin30a52de2011-02-28 21:45:04 +0000310 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000311 SD.setExternal(true);
312 }
313
Jan Sjödin30a52de2011-02-28 21:45:04 +0000314 MCELF::SetType(SD, ELF::STT_OBJECT);
Rafael Espindolaa7d0bed2010-11-14 21:11:16 +0000315
Jan Sjödin30a52de2011-02-28 21:45:04 +0000316 if (MCELF::GetBinding(SD) == ELF_STB_Local) {
Rafael Espindolaba31e272015-01-29 17:33:21 +0000317 const MCSection *Section = getAssembler().getContext().getELFSection(
318 ".bss", ELF::SHT_NOBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
Richard Mitton21101b32013-09-19 23:21:01 +0000319
320 AssignSection(Symbol, Section);
Rafael Espindola9bac6cb2010-09-22 17:43:04 +0000321
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000322 struct LocalCommon L = {&SD, Size, ByteAlignment};
323 LocalCommons.push_back(L);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000324 } else {
325 SD.setCommon(Size, ByteAlignment);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000326 }
327
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000328 SD.setSize(MCConstantExpr::Create(Size, getContext()));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000329}
330
Logan Chien59ff0702012-12-07 15:50:40 +0000331void MCELFStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) {
332 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
333 SD.setSize(Value);
334}
335
Benjamin Kramer63970512011-09-01 23:04:27 +0000336void MCELFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
337 unsigned ByteAlignment) {
Jason W Kim4c1386a2010-12-16 03:12:17 +0000338 // FIXME: Should this be caught and done earlier?
339 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
Jan Sjödin30a52de2011-02-28 21:45:04 +0000340 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000341 SD.setExternal(false);
342 BindingExplicitlySet.insert(Symbol);
Benjamin Kramer63970512011-09-01 23:04:27 +0000343 EmitCommonSymbol(Symbol, Size, ByteAlignment);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000344}
345
Kevin Enderby96918bc2014-04-22 17:27:29 +0000346void MCELFStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
347 const SMLoc &Loc) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000348 if (getCurrentSectionData()->isBundleLocked())
349 report_fatal_error("Emitting values inside a locked bundle is forbidden");
David Meyer44ec69e2012-02-15 15:09:06 +0000350 fixSymbolsInTLSFixups(Value);
Kevin Enderby96918bc2014-04-22 17:27:29 +0000351 MCObjectStreamer::EmitValueImpl(Value, Size, Loc);
David Meyer44ec69e2012-02-15 15:09:06 +0000352}
353
Eli Benderskyf483ff92012-12-20 19:05:53 +0000354void MCELFStreamer::EmitValueToAlignment(unsigned ByteAlignment,
355 int64_t Value,
356 unsigned ValueSize,
357 unsigned MaxBytesToEmit) {
358 if (getCurrentSectionData()->isBundleLocked())
359 report_fatal_error("Emitting values inside a locked bundle is forbidden");
360 MCObjectStreamer::EmitValueToAlignment(ByteAlignment, Value,
361 ValueSize, MaxBytesToEmit);
362}
363
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000364// Add a symbol for the file name of this module. They start after the
365// null symbol and don't count as normal symbol, i.e. a non-STT_FILE symbol
366// with the same name may appear.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000367void MCELFStreamer::EmitFileDirective(StringRef Filename) {
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000368 getAssembler().addFileName(Filename);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000369}
370
Rafael Espindola5645bad2013-10-16 01:05:45 +0000371void MCELFStreamer::EmitIdent(StringRef IdentString) {
372 const MCSection *Comment = getAssembler().getContext().getELFSection(
Rafael Espindolaba31e272015-01-29 17:33:21 +0000373 ".comment", ELF::SHT_PROGBITS, ELF::SHF_MERGE | ELF::SHF_STRINGS, 1, "");
Rafael Espindola5645bad2013-10-16 01:05:45 +0000374 PushSection();
375 SwitchSection(Comment);
376 if (!SeenIdent) {
377 EmitIntValue(0, 1);
378 SeenIdent = true;
379 }
380 EmitBytes(IdentString);
381 EmitIntValue(0, 1);
382 PopSection();
383}
384
385void MCELFStreamer::fixSymbolsInTLSFixups(const MCExpr *expr) {
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000386 switch (expr->getKind()) {
Tim Northovere0e3aef2013-01-31 12:12:40 +0000387 case MCExpr::Target:
388 cast<MCTargetExpr>(expr)->fixELFSymbolsInTLSFixups(getAssembler());
389 break;
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000390 case MCExpr::Constant:
391 break;
392
393 case MCExpr::Binary: {
394 const MCBinaryExpr *be = cast<MCBinaryExpr>(expr);
395 fixSymbolsInTLSFixups(be->getLHS());
396 fixSymbolsInTLSFixups(be->getRHS());
397 break;
398 }
399
400 case MCExpr::SymbolRef: {
401 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(expr);
Rafael Espindolae98d4832010-11-24 18:51:21 +0000402 switch (symRef.getKind()) {
403 default:
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000404 return;
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000405 case MCSymbolRefExpr::VK_GOTTPOFF:
406 case MCSymbolRefExpr::VK_INDNTPOFF:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000407 case MCSymbolRefExpr::VK_NTPOFF:
408 case MCSymbolRefExpr::VK_GOTNTPOFF:
409 case MCSymbolRefExpr::VK_TLSGD:
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000410 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000411 case MCSymbolRefExpr::VK_TLSLDM:
412 case MCSymbolRefExpr::VK_TPOFF:
413 case MCSymbolRefExpr::VK_DTPOFF:
Bruno Cardoso Lopes82b077e2011-10-25 18:13:20 +0000414 case MCSymbolRefExpr::VK_Mips_TLSGD:
415 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
416 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
417 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
Ulrich Weigandf11efe72013-07-01 23:33:29 +0000418 case MCSymbolRefExpr::VK_PPC_DTPMOD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000419 case MCSymbolRefExpr::VK_PPC_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000420 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000421 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000422 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000423 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
424 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
425 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
426 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
427 case MCSymbolRefExpr::VK_PPC_DTPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000428 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000429 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000430 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000431 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
432 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
433 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
434 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
435 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000436 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000437 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000438 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000439 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
440 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
441 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
442 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
Bill Schmidt441907d2013-02-26 16:41:03 +0000443 case MCSymbolRefExpr::VK_PPC_TLS:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000444 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000445 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000446 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000447 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000448 case MCSymbolRefExpr::VK_PPC_TLSGD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000449 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000450 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000451 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000452 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000453 case MCSymbolRefExpr::VK_PPC_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000454 break;
455 }
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000456 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(symRef.getSymbol());
Jan Sjödin30a52de2011-02-28 21:45:04 +0000457 MCELF::SetType(SD, ELF::STT_TLS);
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000458 break;
459 }
460
461 case MCExpr::Unary:
462 fixSymbolsInTLSFixups(cast<MCUnaryExpr>(expr)->getSubExpr());
463 break;
464 }
465}
466
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000467void MCELFStreamer::EmitInstToFragment(const MCInst &Inst,
468 const MCSubtargetInfo &STI) {
469 this->MCObjectStreamer::EmitInstToFragment(Inst, STI);
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000470 MCRelaxableFragment &F = *cast<MCRelaxableFragment>(getCurrentFragment());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000471
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000472 for (unsigned i = 0, e = F.getFixups().size(); i != e; ++i)
473 fixSymbolsInTLSFixups(F.getFixups()[i].getValue());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000474}
475
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000476void MCELFStreamer::EmitInstToData(const MCInst &Inst,
477 const MCSubtargetInfo &STI) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000478 MCAssembler &Assembler = getAssembler();
Benjamin Kramer1f601242010-08-27 10:40:51 +0000479 SmallVector<MCFixup, 4> Fixups;
480 SmallString<256> Code;
481 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +0000482 Assembler.getEmitter().encodeInstruction(Inst, VecOS, Fixups, STI);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000483 VecOS.flush();
484
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000485 for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
486 fixSymbolsInTLSFixups(Fixups[i].getValue());
487
Eli Benderskyf483ff92012-12-20 19:05:53 +0000488 // There are several possibilities here:
489 //
490 // If bundling is disabled, append the encoded instruction to the current data
491 // fragment (or create a new such fragment if the current fragment is not a
492 // data fragment).
493 //
494 // If bundling is enabled:
Eli Benderskycf6009b2013-01-15 23:22:09 +0000495 // - If we're not in a bundle-locked group, emit the instruction into a
496 // fragment of its own. If there are no fixups registered for the
497 // instruction, emit a MCCompactEncodedInstFragment. Otherwise, emit a
498 // MCDataFragment.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000499 // - If we're in a bundle-locked group, append the instruction to the current
500 // data fragment because we want all the instructions in a group to get into
501 // the same fragment. Be careful not to do that for the first instruction in
502 // the group, though.
503 MCDataFragment *DF;
504
505 if (Assembler.isBundlingEnabled()) {
506 MCSectionData *SD = getCurrentSectionData();
Petr Hosek9e0c8902015-04-12 23:42:25 +0000507 if (Assembler.getRelaxAll() && SD->isBundleLocked())
508 // If the -mc-relax-all flag is used and we are bundle-locked, we re-use
509 // the current bundle group.
510 DF = BundleGroups.back();
511 else if (Assembler.getRelaxAll() && !SD->isBundleLocked())
512 // When not in a bundle-locked group and the -mc-relax-all flag is used,
513 // we create a new temporary fragment which will be later merged into
514 // the current fragment.
515 DF = new MCDataFragment();
516 else if (SD->isBundleLocked() && !SD->isBundleGroupBeforeFirstInst())
Derek Schuff8878bcc92013-02-15 22:50:52 +0000517 // If we are bundle-locked, we re-use the current fragment.
518 // The bundle-locking directive ensures this is a new data fragment.
519 DF = cast<MCDataFragment>(getCurrentFragment());
Eli Benderskycf6009b2013-01-15 23:22:09 +0000520 else if (!SD->isBundleLocked() && Fixups.size() == 0) {
521 // Optimize memory usage by emitting the instruction to a
522 // MCCompactEncodedInstFragment when not in a bundle-locked group and
523 // there are no fixups registered.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000524 MCCompactEncodedInstFragment *CEIF = new MCCompactEncodedInstFragment();
525 insert(CEIF);
Eli Benderskycf6009b2013-01-15 23:22:09 +0000526 CEIF->getContents().append(Code.begin(), Code.end());
527 return;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000528 } else {
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000529 DF = new MCDataFragment();
530 insert(DF);
Derek Schuff05fb7352014-10-15 17:10:04 +0000531 }
532 if (SD->getBundleLockState() == MCSectionData::BundleLockedAlignToEnd) {
533 // If this fragment is for a group marked "align_to_end", set a flag
534 // in the fragment. This can happen after the fragment has already been
535 // created if there are nested bundle_align groups and an inner one
536 // is the one marked align_to_end.
537 DF->setAlignToBundleEnd(true);
Eli Bendersky802b6282013-01-07 21:51:08 +0000538 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000539
540 // We're now emitting an instruction in a bundle group, so this flag has
541 // to be turned off.
542 SD->setBundleGroupBeforeFirstInst(false);
543 } else {
544 DF = getOrCreateDataFragment();
545 }
546
Benjamin Kramer1f601242010-08-27 10:40:51 +0000547 // Add the fixups and data.
548 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
549 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
Eli Benderskya31a8942012-12-07 19:13:57 +0000550 DF->getFixups().push_back(Fixups[i]);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000551 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000552 DF->setHasInstructions(true);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000553 DF->getContents().append(Code.begin(), Code.end());
Petr Hosek9e0c8902015-04-12 23:42:25 +0000554
555 if (Assembler.isBundlingEnabled() && Assembler.getRelaxAll()) {
556 MCSectionData *SD = getCurrentSectionData();
557 if (!SD->isBundleLocked()) {
558 mergeFragment(getOrCreateDataFragment(), DF);
559 delete DF;
560 }
561 }
Benjamin Kramer1f601242010-08-27 10:40:51 +0000562}
563
Eli Benderskyf483ff92012-12-20 19:05:53 +0000564void MCELFStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
565 assert(AlignPow2 <= 30 && "Invalid bundle alignment");
566 MCAssembler &Assembler = getAssembler();
Derek Schuff05fb7352014-10-15 17:10:04 +0000567 if (AlignPow2 > 0 && (Assembler.getBundleAlignSize() == 0 ||
568 Assembler.getBundleAlignSize() == 1U << AlignPow2))
569 Assembler.setBundleAlignSize(1U << AlignPow2);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000570 else
Derek Schuff05fb7352014-10-15 17:10:04 +0000571 report_fatal_error(".bundle_align_mode cannot be changed once set");
Eli Benderskyf483ff92012-12-20 19:05:53 +0000572}
573
Eli Bendersky802b6282013-01-07 21:51:08 +0000574void MCELFStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000575 MCSectionData *SD = getCurrentSectionData();
576
577 // Sanity checks
578 //
579 if (!getAssembler().isBundlingEnabled())
580 report_fatal_error(".bundle_lock forbidden when bundling is disabled");
Derek Schuff05fb7352014-10-15 17:10:04 +0000581
582 if (!SD->isBundleLocked())
583 SD->setBundleGroupBeforeFirstInst(true);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000584
Petr Hosek9e0c8902015-04-12 23:42:25 +0000585 if (getAssembler().getRelaxAll() && !SD->isBundleLocked()) {
586 // TODO: drop the lock state and set directly in the fragment
587 MCDataFragment *DF = new MCDataFragment();
588 BundleGroups.push_back(DF);
589 }
590
Eli Bendersky802b6282013-01-07 21:51:08 +0000591 SD->setBundleLockState(AlignToEnd ? MCSectionData::BundleLockedAlignToEnd :
592 MCSectionData::BundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000593}
594
595void MCELFStreamer::EmitBundleUnlock() {
596 MCSectionData *SD = getCurrentSectionData();
597
598 // Sanity checks
599 if (!getAssembler().isBundlingEnabled())
600 report_fatal_error(".bundle_unlock forbidden when bundling is disabled");
601 else if (!SD->isBundleLocked())
602 report_fatal_error(".bundle_unlock without matching lock");
603 else if (SD->isBundleGroupBeforeFirstInst())
604 report_fatal_error("Empty bundle-locked group is forbidden");
605
Petr Hosek9e0c8902015-04-12 23:42:25 +0000606 // When the -mc-relax-all flag is used, we emit instructions to fragments
607 // stored on a stack. When the bundle unlock is emited, we pop a fragment
608 // from the stack a merge it to the one below.
609 if (getAssembler().getRelaxAll()) {
610 assert(!BundleGroups.empty() && "There are no bundle groups");
611 MCDataFragment *DF = BundleGroups.back();
612
613 // FIXME: Use BundleGroups to track the lock state instead.
614 SD->setBundleLockState(MCSectionData::NotBundleLocked);
615
616 // FIXME: Use more separate fragments for nested groups.
617 if (!SD->isBundleLocked()) {
618 mergeFragment(getOrCreateDataFragment(), DF);
619 BundleGroups.pop_back();
620 delete DF;
621 }
622
623 if (SD->getBundleLockState() != MCSectionData::BundleLockedAlignToEnd)
624 getOrCreateDataFragment()->setAlignToBundleEnd(false);
625 } else
626 SD->setBundleLockState(MCSectionData::NotBundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000627}
628
Richard Mitton21101b32013-09-19 23:21:01 +0000629void MCELFStreamer::Flush() {
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000630 for (std::vector<LocalCommon>::const_iterator i = LocalCommons.begin(),
631 e = LocalCommons.end();
632 i != e; ++i) {
633 MCSymbolData *SD = i->SD;
634 uint64_t Size = i->Size;
635 unsigned ByteAlignment = i->ByteAlignment;
636 const MCSymbol &Symbol = SD->getSymbol();
637 const MCSection &Section = Symbol.getSection();
638
639 MCSectionData &SectData = getAssembler().getOrCreateSectionData(Section);
640 new MCAlignFragment(ByteAlignment, 0, 1, ByteAlignment, &SectData);
641
642 MCFragment *F = new MCFillFragment(0, 0, Size, &SectData);
643 SD->setFragment(F);
644
645 // Update the maximum alignment of the section if necessary.
646 if (ByteAlignment > SectData.getAlignment())
647 SectData.setAlignment(ByteAlignment);
648 }
649
Richard Mitton21101b32013-09-19 23:21:01 +0000650 LocalCommons.clear();
651}
652
653void MCELFStreamer::FinishImpl() {
Derek Schuff2a1678a2015-04-21 00:14:25 +0000654 // Ensure the last section gets aligned if necessary.
655 setSectionAlignmentForBundling(getAssembler(), getCurrentSectionData());
656
Rafael Espindola7f4ccce2014-05-12 13:30:10 +0000657 EmitFrames(nullptr);
Richard Mitton21101b32013-09-19 23:21:01 +0000658
659 Flush();
660
Rafael Espindola07082092012-01-07 03:13:18 +0000661 this->MCObjectStreamer::FinishImpl();
Matt Fleming6c1ad482010-08-16 18:57:57 +0000662}
Richard Mitton21101b32013-09-19 23:21:01 +0000663
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000664MCStreamer *llvm::createELFStreamer(MCContext &Context, MCAsmBackend &MAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000665 raw_pwrite_stream &OS, MCCodeEmitter *CE,
Rafael Espindola7b61ddf2014-10-15 16:12:52 +0000666 bool RelaxAll) {
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000667 MCELFStreamer *S = new MCELFStreamer(Context, MAB, OS, CE);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000668 if (RelaxAll)
669 S->getAssembler().setRelaxAll(true);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000670 return S;
671}
Logan Chien59ff0702012-12-07 15:50:40 +0000672
Tim Northover5cc3dc82012-12-07 16:50:23 +0000673void MCELFStreamer::EmitThumbFunc(MCSymbol *Func) {
674 llvm_unreachable("Generic ELF doesn't support this directive");
675}
676
Logan Chien59ff0702012-12-07 15:50:40 +0000677void MCELFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
678 llvm_unreachable("ELF doesn't support this directive");
679}
680
681void MCELFStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) {
682 llvm_unreachable("ELF doesn't support this directive");
683}
684
685void MCELFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
686 llvm_unreachable("ELF doesn't support this directive");
687}
688
689void MCELFStreamer::EmitCOFFSymbolType(int Type) {
690 llvm_unreachable("ELF doesn't support this directive");
691}
692
693void MCELFStreamer::EndCOFFSymbolDef() {
694 llvm_unreachable("ELF doesn't support this directive");
695}
696
697void MCELFStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol,
698 uint64_t Size, unsigned ByteAlignment) {
699 llvm_unreachable("ELF doesn't support this directive");
700}
701
702void MCELFStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol,
703 uint64_t Size, unsigned ByteAlignment) {
704 llvm_unreachable("ELF doesn't support this directive");
705}