blob: 4ef22d002241918ca807548d9b887d0d19ac9614 [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 Espindola4544a402014-10-17 01:06:02 +000095 const MCSymbol *Grp = static_cast<const MCSectionELF *>(Section)->getGroup();
Rafael Espindola7d0ba342010-11-14 04:17:37 +000096 if (Grp)
Rafael Espindola4544a402014-10-17 01:06:02 +000097 getAssembler().getOrCreateSymbolData(*Grp);
Peter Collingbourne2f495b92013-04-17 21:18:16 +000098 this->MCObjectStreamer::ChangeSection(Section, Subsection);
Rafael Espindola7d0ba342010-11-14 04:17:37 +000099}
100
Rafael Espindola16145972010-11-01 14:28:48 +0000101void MCELFStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) {
102 getAssembler().getOrCreateSymbolData(*Symbol);
Rafael Espindola7fadc0e2014-03-20 02:12:01 +0000103 const MCExpr *Value = MCSymbolRefExpr::Create(
104 Symbol, MCSymbolRefExpr::VK_WEAKREF, getContext());
Rafael Espindola16145972010-11-01 14:28:48 +0000105 Alias->setVariableValue(Value);
106}
107
Peter Collingbourneadac4072013-04-10 16:52:15 +0000108// When GNU as encounters more than one .type declaration for an object it seems
109// to use a mechanism similar to the one below to decide which type is actually
110// used in the object file. The greater of T1 and T2 is selected based on the
111// following ordering:
112// STT_NOTYPE < STT_OBJECT < STT_FUNC < STT_GNU_IFUNC < STT_TLS < anything else
113// If neither T1 < T2 nor T2 < T1 according to this ordering, use T2 (the user
114// provided type).
115static unsigned CombineSymbolTypes(unsigned T1, unsigned T2) {
116 unsigned TypeOrdering[] = {ELF::STT_NOTYPE, ELF::STT_OBJECT, ELF::STT_FUNC,
117 ELF::STT_GNU_IFUNC, ELF::STT_TLS};
118 for (unsigned i = 0; i != array_lengthof(TypeOrdering); ++i) {
119 if (T1 == TypeOrdering[i])
120 return T2;
121 if (T2 == TypeOrdering[i])
122 return T1;
123 }
124
125 return T2;
126}
127
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000128bool MCELFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
129 MCSymbolAttr Attribute) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000130 // Indirect symbols are handled differently, to match how 'as' handles
131 // them. This makes writing matching .o files easier.
132 if (Attribute == MCSA_IndirectSymbol) {
133 // Note that we intentionally cannot use the symbol data here; this is
134 // important for matching the string table that 'as' generates.
135 IndirectSymbolData ISD;
136 ISD.Symbol = Symbol;
137 ISD.SectionData = getCurrentSectionData();
138 getAssembler().getIndirectSymbols().push_back(ISD);
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000139 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000140 }
141
142 // Adding a symbol attribute always introduces the symbol, note that an
143 // important side effect of calling getOrCreateSymbolData here is to register
144 // the symbol with the assembler.
145 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
146
147 // The implementation of symbol attributes is designed to match 'as', but it
148 // leaves much to desired. It doesn't really make sense to arbitrarily add and
149 // remove flags, but 'as' allows this (in particular, see .desc).
150 //
151 // In the future it might be worth trying to make these operations more well
152 // defined.
153 switch (Attribute) {
154 case MCSA_LazyReference:
155 case MCSA_Reference:
Kevin Enderby8be14412010-11-19 18:39:33 +0000156 case MCSA_SymbolResolver:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000157 case MCSA_PrivateExtern:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000158 case MCSA_WeakDefinition:
Eli Friedmanb20b5242010-08-16 19:15:06 +0000159 case MCSA_WeakDefAutoPrivate:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000160 case MCSA_Invalid:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000161 case MCSA_IndirectSymbol:
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000162 return false;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000163
Jim Grosbachb7b750d2012-09-13 23:11:31 +0000164 case MCSA_NoDeadStrip:
Rafael Espindolaeba90222010-11-14 01:34:31 +0000165 case MCSA_ELF_TypeGnuUniqueObject:
166 // Ignore for now.
167 break;
168
Matt Fleming6c1ad482010-08-16 18:57:57 +0000169 case MCSA_Global:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000170 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000171 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000172 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000173 break;
174
Benjamin Kramer5af02b02010-09-02 17:18:32 +0000175 case MCSA_WeakReference:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000176 case MCSA_Weak:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000177 MCELF::SetBinding(SD, ELF::STB_WEAK);
Rafael Espindola83b2a332010-10-06 16:47:31 +0000178 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000179 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000180 break;
181
182 case MCSA_Local:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000183 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000184 SD.setExternal(false);
185 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000186 break;
187
188 case MCSA_ELF_TypeFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000189 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
190 ELF::STT_FUNC));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000191 break;
192
Roman Divacky735cb8b2011-12-12 17:34:04 +0000193 case MCSA_ELF_TypeIndFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000194 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
195 ELF::STT_GNU_IFUNC));
Roman Divacky735cb8b2011-12-12 17:34:04 +0000196 break;
197
Matt Fleming6c1ad482010-08-16 18:57:57 +0000198 case MCSA_ELF_TypeObject:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000199 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
200 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000201 break;
202
203 case MCSA_ELF_TypeTLS:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000204 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
205 ELF::STT_TLS));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000206 break;
207
208 case MCSA_ELF_TypeCommon:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000209 // TODO: Emit these as a common symbol.
210 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
211 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000212 break;
213
214 case MCSA_ELF_TypeNoType:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000215 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
216 ELF::STT_NOTYPE));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000217 break;
218
219 case MCSA_Protected:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000220 MCELF::SetVisibility(SD, ELF::STV_PROTECTED);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000221 break;
222
223 case MCSA_Hidden:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000224 MCELF::SetVisibility(SD, ELF::STV_HIDDEN);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000225 break;
226
227 case MCSA_Internal:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000228 MCELF::SetVisibility(SD, ELF::STV_INTERNAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000229 break;
230 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000231
232 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000233}
234
235void MCELFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
236 unsigned ByteAlignment) {
237 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
238
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000239 if (!BindingExplicitlySet.count(Symbol)) {
Jan Sjödin30a52de2011-02-28 21:45:04 +0000240 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000241 SD.setExternal(true);
242 }
243
Jan Sjödin30a52de2011-02-28 21:45:04 +0000244 MCELF::SetType(SD, ELF::STT_OBJECT);
Rafael Espindolaa7d0bed2010-11-14 21:11:16 +0000245
Jan Sjödin30a52de2011-02-28 21:45:04 +0000246 if (MCELF::GetBinding(SD) == ELF_STB_Local) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000247 const MCSection *Section = getAssembler().getContext().getELFSection(".bss",
Jim Grosbach0dde3492011-11-15 16:46:22 +0000248 ELF::SHT_NOBITS,
249 ELF::SHF_WRITE |
250 ELF::SHF_ALLOC,
251 SectionKind::getBSS());
Richard Mitton21101b32013-09-19 23:21:01 +0000252
253 AssignSection(Symbol, Section);
Rafael Espindola9bac6cb2010-09-22 17:43:04 +0000254
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000255 struct LocalCommon L = {&SD, Size, ByteAlignment};
256 LocalCommons.push_back(L);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000257 } else {
258 SD.setCommon(Size, ByteAlignment);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000259 }
260
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000261 SD.setSize(MCConstantExpr::Create(Size, getContext()));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000262}
263
Logan Chien59ff0702012-12-07 15:50:40 +0000264void MCELFStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) {
265 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
266 SD.setSize(Value);
267}
268
Benjamin Kramer63970512011-09-01 23:04:27 +0000269void MCELFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
270 unsigned ByteAlignment) {
Jason W Kim4c1386a2010-12-16 03:12:17 +0000271 // FIXME: Should this be caught and done earlier?
272 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
Jan Sjödin30a52de2011-02-28 21:45:04 +0000273 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000274 SD.setExternal(false);
275 BindingExplicitlySet.insert(Symbol);
Benjamin Kramer63970512011-09-01 23:04:27 +0000276 EmitCommonSymbol(Symbol, Size, ByteAlignment);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000277}
278
Kevin Enderby96918bc2014-04-22 17:27:29 +0000279void MCELFStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
280 const SMLoc &Loc) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000281 if (getCurrentSectionData()->isBundleLocked())
282 report_fatal_error("Emitting values inside a locked bundle is forbidden");
David Meyer44ec69e2012-02-15 15:09:06 +0000283 fixSymbolsInTLSFixups(Value);
Kevin Enderby96918bc2014-04-22 17:27:29 +0000284 MCObjectStreamer::EmitValueImpl(Value, Size, Loc);
David Meyer44ec69e2012-02-15 15:09:06 +0000285}
286
Eli Benderskyf483ff92012-12-20 19:05:53 +0000287void MCELFStreamer::EmitValueToAlignment(unsigned ByteAlignment,
288 int64_t Value,
289 unsigned ValueSize,
290 unsigned MaxBytesToEmit) {
291 if (getCurrentSectionData()->isBundleLocked())
292 report_fatal_error("Emitting values inside a locked bundle is forbidden");
293 MCObjectStreamer::EmitValueToAlignment(ByteAlignment, Value,
294 ValueSize, MaxBytesToEmit);
295}
296
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000297// Add a symbol for the file name of this module. They start after the
298// null symbol and don't count as normal symbol, i.e. a non-STT_FILE symbol
299// with the same name may appear.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000300void MCELFStreamer::EmitFileDirective(StringRef Filename) {
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000301 getAssembler().addFileName(Filename);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000302}
303
Rafael Espindola5645bad2013-10-16 01:05:45 +0000304void MCELFStreamer::EmitIdent(StringRef IdentString) {
305 const MCSection *Comment = getAssembler().getContext().getELFSection(
306 ".comment", ELF::SHT_PROGBITS, ELF::SHF_MERGE | ELF::SHF_STRINGS,
307 SectionKind::getReadOnly(), 1, "");
308 PushSection();
309 SwitchSection(Comment);
310 if (!SeenIdent) {
311 EmitIntValue(0, 1);
312 SeenIdent = true;
313 }
314 EmitBytes(IdentString);
315 EmitIntValue(0, 1);
316 PopSection();
317}
318
319void MCELFStreamer::fixSymbolsInTLSFixups(const MCExpr *expr) {
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000320 switch (expr->getKind()) {
Tim Northovere0e3aef2013-01-31 12:12:40 +0000321 case MCExpr::Target:
322 cast<MCTargetExpr>(expr)->fixELFSymbolsInTLSFixups(getAssembler());
323 break;
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000324 case MCExpr::Constant:
325 break;
326
327 case MCExpr::Binary: {
328 const MCBinaryExpr *be = cast<MCBinaryExpr>(expr);
329 fixSymbolsInTLSFixups(be->getLHS());
330 fixSymbolsInTLSFixups(be->getRHS());
331 break;
332 }
333
334 case MCExpr::SymbolRef: {
335 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(expr);
Rafael Espindolae98d4832010-11-24 18:51:21 +0000336 switch (symRef.getKind()) {
337 default:
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000338 return;
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000339 case MCSymbolRefExpr::VK_GOTTPOFF:
340 case MCSymbolRefExpr::VK_INDNTPOFF:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000341 case MCSymbolRefExpr::VK_NTPOFF:
342 case MCSymbolRefExpr::VK_GOTNTPOFF:
343 case MCSymbolRefExpr::VK_TLSGD:
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000344 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000345 case MCSymbolRefExpr::VK_TLSLDM:
346 case MCSymbolRefExpr::VK_TPOFF:
347 case MCSymbolRefExpr::VK_DTPOFF:
Bruno Cardoso Lopes82b077e2011-10-25 18:13:20 +0000348 case MCSymbolRefExpr::VK_Mips_TLSGD:
349 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
350 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
351 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
Ulrich Weigandf11efe72013-07-01 23:33:29 +0000352 case MCSymbolRefExpr::VK_PPC_DTPMOD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000353 case MCSymbolRefExpr::VK_PPC_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000354 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000355 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000356 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000357 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
358 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
359 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
360 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
361 case MCSymbolRefExpr::VK_PPC_DTPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000362 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000363 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000364 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000365 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
366 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
367 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
368 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
369 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000370 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000371 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000372 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000373 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
374 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
375 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
376 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
Bill Schmidt441907d2013-02-26 16:41:03 +0000377 case MCSymbolRefExpr::VK_PPC_TLS:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000378 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000379 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000380 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000381 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000382 case MCSymbolRefExpr::VK_PPC_TLSGD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000383 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000384 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000385 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000386 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000387 case MCSymbolRefExpr::VK_PPC_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000388 break;
389 }
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000390 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(symRef.getSymbol());
Jan Sjödin30a52de2011-02-28 21:45:04 +0000391 MCELF::SetType(SD, ELF::STT_TLS);
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000392 break;
393 }
394
395 case MCExpr::Unary:
396 fixSymbolsInTLSFixups(cast<MCUnaryExpr>(expr)->getSubExpr());
397 break;
398 }
399}
400
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000401void MCELFStreamer::EmitInstToFragment(const MCInst &Inst,
402 const MCSubtargetInfo &STI) {
403 this->MCObjectStreamer::EmitInstToFragment(Inst, STI);
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000404 MCRelaxableFragment &F = *cast<MCRelaxableFragment>(getCurrentFragment());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000405
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000406 for (unsigned i = 0, e = F.getFixups().size(); i != e; ++i)
407 fixSymbolsInTLSFixups(F.getFixups()[i].getValue());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000408}
409
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000410void MCELFStreamer::EmitInstToData(const MCInst &Inst,
411 const MCSubtargetInfo &STI) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000412 MCAssembler &Assembler = getAssembler();
Benjamin Kramer1f601242010-08-27 10:40:51 +0000413 SmallVector<MCFixup, 4> Fixups;
414 SmallString<256> Code;
415 raw_svector_ostream VecOS(Code);
David Woodhouse9784cef2014-01-28 23:13:07 +0000416 Assembler.getEmitter().EncodeInstruction(Inst, VecOS, Fixups, STI);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000417 VecOS.flush();
418
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000419 for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
420 fixSymbolsInTLSFixups(Fixups[i].getValue());
421
Eli Benderskyf483ff92012-12-20 19:05:53 +0000422 // There are several possibilities here:
423 //
424 // If bundling is disabled, append the encoded instruction to the current data
425 // fragment (or create a new such fragment if the current fragment is not a
426 // data fragment).
427 //
428 // If bundling is enabled:
Eli Benderskycf6009b2013-01-15 23:22:09 +0000429 // - If we're not in a bundle-locked group, emit the instruction into a
430 // fragment of its own. If there are no fixups registered for the
431 // instruction, emit a MCCompactEncodedInstFragment. Otherwise, emit a
432 // MCDataFragment.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000433 // - If we're in a bundle-locked group, append the instruction to the current
434 // data fragment because we want all the instructions in a group to get into
435 // the same fragment. Be careful not to do that for the first instruction in
436 // the group, though.
437 MCDataFragment *DF;
438
439 if (Assembler.isBundlingEnabled()) {
440 MCSectionData *SD = getCurrentSectionData();
441 if (SD->isBundleLocked() && !SD->isBundleGroupBeforeFirstInst())
Derek Schuff8878bcc92013-02-15 22:50:52 +0000442 // If we are bundle-locked, we re-use the current fragment.
443 // The bundle-locking directive ensures this is a new data fragment.
444 DF = cast<MCDataFragment>(getCurrentFragment());
Eli Benderskycf6009b2013-01-15 23:22:09 +0000445 else if (!SD->isBundleLocked() && Fixups.size() == 0) {
446 // Optimize memory usage by emitting the instruction to a
447 // MCCompactEncodedInstFragment when not in a bundle-locked group and
448 // there are no fixups registered.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000449 MCCompactEncodedInstFragment *CEIF = new MCCompactEncodedInstFragment();
450 insert(CEIF);
Eli Benderskycf6009b2013-01-15 23:22:09 +0000451 CEIF->getContents().append(Code.begin(), Code.end());
452 return;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000453 } else {
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000454 DF = new MCDataFragment();
455 insert(DF);
Derek Schuff05fb7352014-10-15 17:10:04 +0000456 }
457 if (SD->getBundleLockState() == MCSectionData::BundleLockedAlignToEnd) {
458 // If this fragment is for a group marked "align_to_end", set a flag
459 // in the fragment. This can happen after the fragment has already been
460 // created if there are nested bundle_align groups and an inner one
461 // is the one marked align_to_end.
462 DF->setAlignToBundleEnd(true);
Eli Bendersky802b6282013-01-07 21:51:08 +0000463 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000464
465 // We're now emitting an instruction in a bundle group, so this flag has
466 // to be turned off.
467 SD->setBundleGroupBeforeFirstInst(false);
468 } else {
469 DF = getOrCreateDataFragment();
470 }
471
Benjamin Kramer1f601242010-08-27 10:40:51 +0000472 // Add the fixups and data.
473 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
474 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
Eli Benderskya31a8942012-12-07 19:13:57 +0000475 DF->getFixups().push_back(Fixups[i]);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000476 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000477 DF->setHasInstructions(true);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000478 DF->getContents().append(Code.begin(), Code.end());
479}
480
Eli Benderskyf483ff92012-12-20 19:05:53 +0000481void MCELFStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
482 assert(AlignPow2 <= 30 && "Invalid bundle alignment");
483 MCAssembler &Assembler = getAssembler();
Derek Schuff05fb7352014-10-15 17:10:04 +0000484 if (AlignPow2 > 0 && (Assembler.getBundleAlignSize() == 0 ||
485 Assembler.getBundleAlignSize() == 1U << AlignPow2))
486 Assembler.setBundleAlignSize(1U << AlignPow2);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000487 else
Derek Schuff05fb7352014-10-15 17:10:04 +0000488 report_fatal_error(".bundle_align_mode cannot be changed once set");
Eli Benderskyf483ff92012-12-20 19:05:53 +0000489}
490
Eli Bendersky802b6282013-01-07 21:51:08 +0000491void MCELFStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000492 MCSectionData *SD = getCurrentSectionData();
493
494 // Sanity checks
495 //
496 if (!getAssembler().isBundlingEnabled())
497 report_fatal_error(".bundle_lock forbidden when bundling is disabled");
Derek Schuff05fb7352014-10-15 17:10:04 +0000498
499 if (!SD->isBundleLocked())
500 SD->setBundleGroupBeforeFirstInst(true);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000501
Eli Bendersky802b6282013-01-07 21:51:08 +0000502 SD->setBundleLockState(AlignToEnd ? MCSectionData::BundleLockedAlignToEnd :
503 MCSectionData::BundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000504}
505
506void MCELFStreamer::EmitBundleUnlock() {
507 MCSectionData *SD = getCurrentSectionData();
508
509 // Sanity checks
510 if (!getAssembler().isBundlingEnabled())
511 report_fatal_error(".bundle_unlock forbidden when bundling is disabled");
512 else if (!SD->isBundleLocked())
513 report_fatal_error(".bundle_unlock without matching lock");
514 else if (SD->isBundleGroupBeforeFirstInst())
515 report_fatal_error("Empty bundle-locked group is forbidden");
516
Eli Bendersky802b6282013-01-07 21:51:08 +0000517 SD->setBundleLockState(MCSectionData::NotBundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000518}
519
Richard Mitton21101b32013-09-19 23:21:01 +0000520void MCELFStreamer::Flush() {
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000521 for (std::vector<LocalCommon>::const_iterator i = LocalCommons.begin(),
522 e = LocalCommons.end();
523 i != e; ++i) {
524 MCSymbolData *SD = i->SD;
525 uint64_t Size = i->Size;
526 unsigned ByteAlignment = i->ByteAlignment;
527 const MCSymbol &Symbol = SD->getSymbol();
528 const MCSection &Section = Symbol.getSection();
529
530 MCSectionData &SectData = getAssembler().getOrCreateSectionData(Section);
531 new MCAlignFragment(ByteAlignment, 0, 1, ByteAlignment, &SectData);
532
533 MCFragment *F = new MCFillFragment(0, 0, Size, &SectData);
534 SD->setFragment(F);
535
536 // Update the maximum alignment of the section if necessary.
537 if (ByteAlignment > SectData.getAlignment())
538 SectData.setAlignment(ByteAlignment);
539 }
540
Richard Mitton21101b32013-09-19 23:21:01 +0000541 LocalCommons.clear();
542}
543
544void MCELFStreamer::FinishImpl() {
Rafael Espindola7f4ccce2014-05-12 13:30:10 +0000545 EmitFrames(nullptr);
Richard Mitton21101b32013-09-19 23:21:01 +0000546
547 Flush();
548
Rafael Espindola07082092012-01-07 03:13:18 +0000549 this->MCObjectStreamer::FinishImpl();
Matt Fleming6c1ad482010-08-16 18:57:57 +0000550}
Richard Mitton21101b32013-09-19 23:21:01 +0000551
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000552MCStreamer *llvm::createELFStreamer(MCContext &Context, MCAsmBackend &MAB,
553 raw_ostream &OS, MCCodeEmitter *CE,
Rafael Espindola7b61ddf2014-10-15 16:12:52 +0000554 bool RelaxAll) {
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000555 MCELFStreamer *S = new MCELFStreamer(Context, MAB, OS, CE);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000556 if (RelaxAll)
557 S->getAssembler().setRelaxAll(true);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000558 return S;
559}
Logan Chien59ff0702012-12-07 15:50:40 +0000560
Tim Northover5cc3dc82012-12-07 16:50:23 +0000561void MCELFStreamer::EmitThumbFunc(MCSymbol *Func) {
562 llvm_unreachable("Generic ELF doesn't support this directive");
563}
564
Logan Chien59ff0702012-12-07 15:50:40 +0000565void MCELFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
566 llvm_unreachable("ELF doesn't support this directive");
567}
568
569void MCELFStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) {
570 llvm_unreachable("ELF doesn't support this directive");
571}
572
573void MCELFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
574 llvm_unreachable("ELF doesn't support this directive");
575}
576
577void MCELFStreamer::EmitCOFFSymbolType(int Type) {
578 llvm_unreachable("ELF doesn't support this directive");
579}
580
581void MCELFStreamer::EndCOFFSymbolDef() {
582 llvm_unreachable("ELF doesn't support this directive");
583}
584
585void MCELFStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol,
586 uint64_t Size, unsigned ByteAlignment) {
587 llvm_unreachable("ELF doesn't support this directive");
588}
589
590void MCELFStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol,
591 uint64_t Size, unsigned ByteAlignment) {
592 llvm_unreachable("ELF doesn't support this directive");
593}