blob: 180a58cf6d144df6c268af98eed5730c12013766 [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"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000018#include "llvm/MC/MCAssembler.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000019#include "llvm/MC/MCCodeEmitter.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000020#include "llvm/MC/MCContext.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000021#include "llvm/MC/MCELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000022#include "llvm/MC/MCELFSymbolFlags.h"
23#include "llvm/MC/MCExpr.h"
24#include "llvm/MC/MCInst.h"
Rafael Espindola81a62742012-01-07 23:18:39 +000025#include "llvm/MC/MCObjectStreamer.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000026#include "llvm/MC/MCSection.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000027#include "llvm/MC/MCSectionELF.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000028#include "llvm/MC/MCSymbol.h"
Rafael Espindola16145972010-11-01 14:28:48 +000029#include "llvm/MC/MCValue.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ELF.h"
32#include "llvm/Support/ErrorHandling.h"
33#include "llvm/Support/raw_ostream.h"
Matt Fleming6c1ad482010-08-16 18:57:57 +000034
35using namespace llvm;
36
Rafael Espindola81a62742012-01-07 23:18:39 +000037
Logan Chien59ff0702012-12-07 15:50:40 +000038inline void MCELFStreamer::SetSection(StringRef Section, unsigned Type,
39 unsigned Flags, SectionKind Kind) {
40 SwitchSection(getContext().getELFSection(Section, Type, Flags, Kind));
41}
Rafael Espindola81a62742012-01-07 23:18:39 +000042
Logan Chien59ff0702012-12-07 15:50:40 +000043inline void MCELFStreamer::SetSectionData() {
44 SetSection(".data",
45 ELF::SHT_PROGBITS,
46 ELF::SHF_WRITE | ELF::SHF_ALLOC,
47 SectionKind::getDataRel());
48 EmitCodeAlignment(4, 0);
49}
Rafael Espindola81a62742012-01-07 23:18:39 +000050
Logan Chien59ff0702012-12-07 15:50:40 +000051inline void MCELFStreamer::SetSectionText() {
52 SetSection(".text",
53 ELF::SHT_PROGBITS,
54 ELF::SHF_EXECINSTR | ELF::SHF_ALLOC,
55 SectionKind::getText());
56 EmitCodeAlignment(4, 0);
57}
Rafael Espindola81a62742012-01-07 23:18:39 +000058
Logan Chien59ff0702012-12-07 15:50:40 +000059inline void MCELFStreamer::SetSectionBss() {
60 SetSection(".bss",
61 ELF::SHT_NOBITS,
62 ELF::SHF_WRITE | ELF::SHF_ALLOC,
63 SectionKind::getBSS());
64 EmitCodeAlignment(4, 0);
65}
Rafael Espindola81a62742012-01-07 23:18:39 +000066
Logan Chien59ff0702012-12-07 15:50:40 +000067MCELFStreamer::~MCELFStreamer() {
Rafael Espindola81a62742012-01-07 23:18:39 +000068}
69
Eli Benderskycbb25142013-01-14 19:04:57 +000070void MCELFStreamer::InitToTextSection() {
71 SetSectionText();
72}
73
Rafael Espindolaf667d922010-09-15 21:48:40 +000074void MCELFStreamer::InitSections() {
75 // This emulates the same behavior of GNU as. This makes it easier
76 // to compare the output as the major sections are in the same order.
77 SetSectionText();
78 SetSectionData();
79 SetSectionBss();
80 SetSectionText();
81}
82
Matt Fleming6c1ad482010-08-16 18:57:57 +000083void MCELFStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola16795802010-11-28 16:22:59 +000084 assert(Symbol->isUndefined() && "Cannot define a symbol twice!");
85
Rafael Espindolae5b74152010-11-28 17:18:55 +000086 MCObjectStreamer::EmitLabel(Symbol);
Rafael Espindola75d65b92010-09-25 05:42:19 +000087
Rafael Espindola84d03182010-11-11 19:04:55 +000088 const MCSectionELF &Section =
89 static_cast<const MCSectionELF&>(Symbol->getSection());
Rafael Espindolae5b74152010-11-28 17:18:55 +000090 MCSymbolData &SD = getAssembler().getSymbolData(*Symbol);
Rafael Espindola0e7e34e2011-01-23 04:43:11 +000091 if (Section.getFlags() & ELF::SHF_TLS)
Jan Sjödin30a52de2011-02-28 21:45:04 +000092 MCELF::SetType(SD, ELF::STT_TLS);
Matt Fleming6c1ad482010-08-16 18:57:57 +000093}
94
Reed Kotleraee4d5d12012-12-16 04:00:45 +000095void MCELFStreamer::EmitDebugLabel(MCSymbol *Symbol) {
96 EmitLabel(Symbol);
97}
98
Matt Fleming6c1ad482010-08-16 18:57:57 +000099void MCELFStreamer::EmitAssemblerFlag(MCAssemblerFlag Flag) {
David Peixotto72667312013-11-25 19:11:13 +0000100 // Let the target do whatever target specific stuff it needs to do.
101 getAssembler().getBackend().handleAssemblerFlag(Flag);
102 // Do any generic stuff we need to do.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000103 switch (Flag) {
Jim Grosbach5a2c68d2010-11-05 22:08:08 +0000104 case MCAF_SyntaxUnified: return; // no-op here.
Evan Cheng481ebb02011-07-27 00:38:12 +0000105 case MCAF_Code16: return; // Change parsing mode; no-op here.
106 case MCAF_Code32: return; // Change parsing mode; no-op here.
107 case MCAF_Code64: return; // Change parsing mode; no-op here.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000108 case MCAF_SubsectionsViaSymbols:
109 getAssembler().setSubsectionsViaSymbols(true);
110 return;
111 }
112
Craig Toppera2886c22012-02-07 05:05:23 +0000113 llvm_unreachable("invalid assembler flag!");
Matt Fleming6c1ad482010-08-16 18:57:57 +0000114}
115
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000116void MCELFStreamer::ChangeSection(const MCSection *Section,
117 const MCExpr *Subsection) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000118 MCSectionData *CurSection = getCurrentSectionData();
119 if (CurSection && CurSection->isBundleLocked())
120 report_fatal_error("Unterminated .bundle_lock when changing a section");
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000121 const MCSymbol *Grp = static_cast<const MCSectionELF *>(Section)->getGroup();
122 if (Grp)
123 getAssembler().getOrCreateSymbolData(*Grp);
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000124 this->MCObjectStreamer::ChangeSection(Section, Subsection);
Rafael Espindola7d0ba342010-11-14 04:17:37 +0000125}
126
Rafael Espindola16145972010-11-01 14:28:48 +0000127void MCELFStreamer::EmitWeakReference(MCSymbol *Alias, const MCSymbol *Symbol) {
128 getAssembler().getOrCreateSymbolData(*Symbol);
129 MCSymbolData &AliasSD = getAssembler().getOrCreateSymbolData(*Alias);
130 AliasSD.setFlags(AliasSD.getFlags() | ELF_Other_Weakref);
Rafael Espindola8c3039b2010-11-15 16:33:49 +0000131 const MCExpr *Value = MCSymbolRefExpr::Create(Symbol, getContext());
Rafael Espindola16145972010-11-01 14:28:48 +0000132 Alias->setVariableValue(Value);
133}
134
Peter Collingbourneadac4072013-04-10 16:52:15 +0000135// When GNU as encounters more than one .type declaration for an object it seems
136// to use a mechanism similar to the one below to decide which type is actually
137// used in the object file. The greater of T1 and T2 is selected based on the
138// following ordering:
139// STT_NOTYPE < STT_OBJECT < STT_FUNC < STT_GNU_IFUNC < STT_TLS < anything else
140// If neither T1 < T2 nor T2 < T1 according to this ordering, use T2 (the user
141// provided type).
142static unsigned CombineSymbolTypes(unsigned T1, unsigned T2) {
143 unsigned TypeOrdering[] = {ELF::STT_NOTYPE, ELF::STT_OBJECT, ELF::STT_FUNC,
144 ELF::STT_GNU_IFUNC, ELF::STT_TLS};
145 for (unsigned i = 0; i != array_lengthof(TypeOrdering); ++i) {
146 if (T1 == TypeOrdering[i])
147 return T2;
148 if (T2 == TypeOrdering[i])
149 return T1;
150 }
151
152 return T2;
153}
154
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000155bool MCELFStreamer::EmitSymbolAttribute(MCSymbol *Symbol,
156 MCSymbolAttr Attribute) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000157 // Indirect symbols are handled differently, to match how 'as' handles
158 // them. This makes writing matching .o files easier.
159 if (Attribute == MCSA_IndirectSymbol) {
160 // Note that we intentionally cannot use the symbol data here; this is
161 // important for matching the string table that 'as' generates.
162 IndirectSymbolData ISD;
163 ISD.Symbol = Symbol;
164 ISD.SectionData = getCurrentSectionData();
165 getAssembler().getIndirectSymbols().push_back(ISD);
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000166 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000167 }
168
169 // Adding a symbol attribute always introduces the symbol, note that an
170 // important side effect of calling getOrCreateSymbolData here is to register
171 // the symbol with the assembler.
172 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
173
174 // The implementation of symbol attributes is designed to match 'as', but it
175 // leaves much to desired. It doesn't really make sense to arbitrarily add and
176 // remove flags, but 'as' allows this (in particular, see .desc).
177 //
178 // In the future it might be worth trying to make these operations more well
179 // defined.
180 switch (Attribute) {
181 case MCSA_LazyReference:
182 case MCSA_Reference:
Kevin Enderby8be14412010-11-19 18:39:33 +0000183 case MCSA_SymbolResolver:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000184 case MCSA_PrivateExtern:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000185 case MCSA_WeakDefinition:
Eli Friedmanb20b5242010-08-16 19:15:06 +0000186 case MCSA_WeakDefAutoPrivate:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000187 case MCSA_Invalid:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000188 case MCSA_IndirectSymbol:
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000189 return false;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000190
Jim Grosbachb7b750d2012-09-13 23:11:31 +0000191 case MCSA_NoDeadStrip:
Rafael Espindolaeba90222010-11-14 01:34:31 +0000192 case MCSA_ELF_TypeGnuUniqueObject:
193 // Ignore for now.
194 break;
195
Matt Fleming6c1ad482010-08-16 18:57:57 +0000196 case MCSA_Global:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000197 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000198 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000199 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000200 break;
201
Benjamin Kramer5af02b02010-09-02 17:18:32 +0000202 case MCSA_WeakReference:
Matt Fleming6c1ad482010-08-16 18:57:57 +0000203 case MCSA_Weak:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000204 MCELF::SetBinding(SD, ELF::STB_WEAK);
Rafael Espindola83b2a332010-10-06 16:47:31 +0000205 SD.setExternal(true);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000206 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000207 break;
208
209 case MCSA_Local:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000210 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000211 SD.setExternal(false);
212 BindingExplicitlySet.insert(Symbol);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000213 break;
214
215 case MCSA_ELF_TypeFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000216 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
217 ELF::STT_FUNC));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000218 break;
219
Roman Divacky735cb8b2011-12-12 17:34:04 +0000220 case MCSA_ELF_TypeIndFunction:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000221 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
222 ELF::STT_GNU_IFUNC));
Roman Divacky735cb8b2011-12-12 17:34:04 +0000223 break;
224
Matt Fleming6c1ad482010-08-16 18:57:57 +0000225 case MCSA_ELF_TypeObject:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000226 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
227 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000228 break;
229
230 case MCSA_ELF_TypeTLS:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000231 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
232 ELF::STT_TLS));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000233 break;
234
235 case MCSA_ELF_TypeCommon:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000236 // TODO: Emit these as a common symbol.
237 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
238 ELF::STT_OBJECT));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000239 break;
240
241 case MCSA_ELF_TypeNoType:
Peter Collingbourneadac4072013-04-10 16:52:15 +0000242 MCELF::SetType(SD, CombineSymbolTypes(MCELF::GetType(SD),
243 ELF::STT_NOTYPE));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000244 break;
245
246 case MCSA_Protected:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000247 MCELF::SetVisibility(SD, ELF::STV_PROTECTED);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000248 break;
249
250 case MCSA_Hidden:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000251 MCELF::SetVisibility(SD, ELF::STV_HIDDEN);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000252 break;
253
254 case MCSA_Internal:
Jan Sjödin30a52de2011-02-28 21:45:04 +0000255 MCELF::SetVisibility(SD, ELF::STV_INTERNAL);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000256 break;
257 }
Saleem Abdulrasool4208b612013-08-09 01:52:03 +0000258
259 return true;
Matt Fleming6c1ad482010-08-16 18:57:57 +0000260}
261
262void MCELFStreamer::EmitCommonSymbol(MCSymbol *Symbol, uint64_t Size,
263 unsigned ByteAlignment) {
264 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
265
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000266 if (!BindingExplicitlySet.count(Symbol)) {
Jan Sjödin30a52de2011-02-28 21:45:04 +0000267 MCELF::SetBinding(SD, ELF::STB_GLOBAL);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000268 SD.setExternal(true);
269 }
270
Jan Sjödin30a52de2011-02-28 21:45:04 +0000271 MCELF::SetType(SD, ELF::STT_OBJECT);
Rafael Espindolaa7d0bed2010-11-14 21:11:16 +0000272
Jan Sjödin30a52de2011-02-28 21:45:04 +0000273 if (MCELF::GetBinding(SD) == ELF_STB_Local) {
Matt Fleming6c1ad482010-08-16 18:57:57 +0000274 const MCSection *Section = getAssembler().getContext().getELFSection(".bss",
Jim Grosbach0dde3492011-11-15 16:46:22 +0000275 ELF::SHT_NOBITS,
276 ELF::SHF_WRITE |
277 ELF::SHF_ALLOC,
278 SectionKind::getBSS());
Richard Mitton21101b32013-09-19 23:21:01 +0000279
280 AssignSection(Symbol, Section);
Rafael Espindola9bac6cb2010-09-22 17:43:04 +0000281
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000282 struct LocalCommon L = {&SD, Size, ByteAlignment};
283 LocalCommons.push_back(L);
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000284 } else {
285 SD.setCommon(Size, ByteAlignment);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000286 }
287
Rafael Espindolaf0591c12010-09-21 00:24:38 +0000288 SD.setSize(MCConstantExpr::Create(Size, getContext()));
Matt Fleming6c1ad482010-08-16 18:57:57 +0000289}
290
Logan Chien59ff0702012-12-07 15:50:40 +0000291void MCELFStreamer::EmitELFSize(MCSymbol *Symbol, const MCExpr *Value) {
292 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
293 SD.setSize(Value);
294}
295
Benjamin Kramer63970512011-09-01 23:04:27 +0000296void MCELFStreamer::EmitLocalCommonSymbol(MCSymbol *Symbol, uint64_t Size,
297 unsigned ByteAlignment) {
Jason W Kim4c1386a2010-12-16 03:12:17 +0000298 // FIXME: Should this be caught and done earlier?
299 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
Jan Sjödin30a52de2011-02-28 21:45:04 +0000300 MCELF::SetBinding(SD, ELF::STB_LOCAL);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000301 SD.setExternal(false);
302 BindingExplicitlySet.insert(Symbol);
Benjamin Kramer63970512011-09-01 23:04:27 +0000303 EmitCommonSymbol(Symbol, Size, ByteAlignment);
Jason W Kim4c1386a2010-12-16 03:12:17 +0000304}
305
Rafael Espindola64e1af82013-07-02 15:49:13 +0000306void MCELFStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000307 if (getCurrentSectionData()->isBundleLocked())
308 report_fatal_error("Emitting values inside a locked bundle is forbidden");
David Meyer44ec69e2012-02-15 15:09:06 +0000309 fixSymbolsInTLSFixups(Value);
Rafael Espindola64e1af82013-07-02 15:49:13 +0000310 MCObjectStreamer::EmitValueImpl(Value, Size);
David Meyer44ec69e2012-02-15 15:09:06 +0000311}
312
Eli Benderskyf483ff92012-12-20 19:05:53 +0000313void MCELFStreamer::EmitValueToAlignment(unsigned ByteAlignment,
314 int64_t Value,
315 unsigned ValueSize,
316 unsigned MaxBytesToEmit) {
317 if (getCurrentSectionData()->isBundleLocked())
318 report_fatal_error("Emitting values inside a locked bundle is forbidden");
319 MCObjectStreamer::EmitValueToAlignment(ByteAlignment, Value,
320 ValueSize, MaxBytesToEmit);
321}
322
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000323// Add a symbol for the file name of this module. They start after the
324// null symbol and don't count as normal symbol, i.e. a non-STT_FILE symbol
325// with the same name may appear.
Matt Fleming6c1ad482010-08-16 18:57:57 +0000326void MCELFStreamer::EmitFileDirective(StringRef Filename) {
Joerg Sonnenbergerfc184732013-10-29 01:06:17 +0000327 getAssembler().addFileName(Filename);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000328}
329
Rafael Espindola5645bad2013-10-16 01:05:45 +0000330void MCELFStreamer::EmitIdent(StringRef IdentString) {
331 const MCSection *Comment = getAssembler().getContext().getELFSection(
332 ".comment", ELF::SHT_PROGBITS, ELF::SHF_MERGE | ELF::SHF_STRINGS,
333 SectionKind::getReadOnly(), 1, "");
334 PushSection();
335 SwitchSection(Comment);
336 if (!SeenIdent) {
337 EmitIntValue(0, 1);
338 SeenIdent = true;
339 }
340 EmitBytes(IdentString);
341 EmitIntValue(0, 1);
342 PopSection();
343}
344
345void MCELFStreamer::fixSymbolsInTLSFixups(const MCExpr *expr) {
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000346 switch (expr->getKind()) {
Tim Northovere0e3aef2013-01-31 12:12:40 +0000347 case MCExpr::Target:
348 cast<MCTargetExpr>(expr)->fixELFSymbolsInTLSFixups(getAssembler());
349 break;
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000350 case MCExpr::Constant:
351 break;
352
353 case MCExpr::Binary: {
354 const MCBinaryExpr *be = cast<MCBinaryExpr>(expr);
355 fixSymbolsInTLSFixups(be->getLHS());
356 fixSymbolsInTLSFixups(be->getRHS());
357 break;
358 }
359
360 case MCExpr::SymbolRef: {
361 const MCSymbolRefExpr &symRef = *cast<MCSymbolRefExpr>(expr);
Rafael Espindolae98d4832010-11-24 18:51:21 +0000362 switch (symRef.getKind()) {
363 default:
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000364 return;
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000365 case MCSymbolRefExpr::VK_GOTTPOFF:
366 case MCSymbolRefExpr::VK_INDNTPOFF:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000367 case MCSymbolRefExpr::VK_NTPOFF:
368 case MCSymbolRefExpr::VK_GOTNTPOFF:
369 case MCSymbolRefExpr::VK_TLSGD:
Joerg Sonnenberger07de07e2011-03-17 00:35:10 +0000370 case MCSymbolRefExpr::VK_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000371 case MCSymbolRefExpr::VK_TLSLDM:
372 case MCSymbolRefExpr::VK_TPOFF:
373 case MCSymbolRefExpr::VK_DTPOFF:
Bruno Cardoso Lopes82b077e2011-10-25 18:13:20 +0000374 case MCSymbolRefExpr::VK_Mips_TLSGD:
375 case MCSymbolRefExpr::VK_Mips_GOTTPREL:
376 case MCSymbolRefExpr::VK_Mips_TPREL_HI:
377 case MCSymbolRefExpr::VK_Mips_TPREL_LO:
Ulrich Weigandf11efe72013-07-01 23:33:29 +0000378 case MCSymbolRefExpr::VK_PPC_DTPMOD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000379 case MCSymbolRefExpr::VK_PPC_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000380 case MCSymbolRefExpr::VK_PPC_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000381 case MCSymbolRefExpr::VK_PPC_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000382 case MCSymbolRefExpr::VK_PPC_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000383 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHER:
384 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHERA:
385 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHEST:
386 case MCSymbolRefExpr::VK_PPC_TPREL_HIGHESTA:
387 case MCSymbolRefExpr::VK_PPC_DTPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000388 case MCSymbolRefExpr::VK_PPC_DTPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000389 case MCSymbolRefExpr::VK_PPC_DTPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000390 case MCSymbolRefExpr::VK_PPC_DTPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000391 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHER:
392 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHERA:
393 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHEST:
394 case MCSymbolRefExpr::VK_PPC_DTPREL_HIGHESTA:
395 case MCSymbolRefExpr::VK_PPC_GOT_TPREL:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000396 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000397 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000398 case MCSymbolRefExpr::VK_PPC_GOT_TPREL_HA:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000399 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL:
400 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_LO:
401 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HI:
402 case MCSymbolRefExpr::VK_PPC_GOT_DTPREL_HA:
Bill Schmidt441907d2013-02-26 16:41:03 +0000403 case MCSymbolRefExpr::VK_PPC_TLS:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000404 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000405 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000406 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000407 case MCSymbolRefExpr::VK_PPC_GOT_TLSGD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000408 case MCSymbolRefExpr::VK_PPC_TLSGD:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000409 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000410 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_LO:
Ulrich Weigand876a0d02013-06-21 14:44:15 +0000411 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HI:
Ulrich Weigandd51c09f2013-06-21 14:42:20 +0000412 case MCSymbolRefExpr::VK_PPC_GOT_TLSLD_HA:
Ulrich Weigand52cf8e42013-07-09 16:41:09 +0000413 case MCSymbolRefExpr::VK_PPC_TLSLD:
Rafael Espindolae98d4832010-11-24 18:51:21 +0000414 break;
415 }
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000416 MCSymbolData &SD = getAssembler().getOrCreateSymbolData(symRef.getSymbol());
Jan Sjödin30a52de2011-02-28 21:45:04 +0000417 MCELF::SetType(SD, ELF::STT_TLS);
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000418 break;
419 }
420
421 case MCExpr::Unary:
422 fixSymbolsInTLSFixups(cast<MCUnaryExpr>(expr)->getSubExpr());
423 break;
424 }
425}
426
Benjamin Kramer1f601242010-08-27 10:40:51 +0000427void MCELFStreamer::EmitInstToFragment(const MCInst &Inst) {
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000428 this->MCObjectStreamer::EmitInstToFragment(Inst);
Eli Bendersky4d9ada02013-01-08 00:22:56 +0000429 MCRelaxableFragment &F = *cast<MCRelaxableFragment>(getCurrentFragment());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000430
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000431 for (unsigned i = 0, e = F.getFixups().size(); i != e; ++i)
432 fixSymbolsInTLSFixups(F.getFixups()[i].getValue());
Benjamin Kramer1f601242010-08-27 10:40:51 +0000433}
434
435void MCELFStreamer::EmitInstToData(const MCInst &Inst) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000436 MCAssembler &Assembler = getAssembler();
Benjamin Kramer1f601242010-08-27 10:40:51 +0000437 SmallVector<MCFixup, 4> Fixups;
438 SmallString<256> Code;
439 raw_svector_ostream VecOS(Code);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000440 Assembler.getEmitter().EncodeInstruction(Inst, VecOS, Fixups);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000441 VecOS.flush();
442
Rafael Espindola4e70ac72010-11-24 02:19:40 +0000443 for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
444 fixSymbolsInTLSFixups(Fixups[i].getValue());
445
Eli Benderskyf483ff92012-12-20 19:05:53 +0000446 // There are several possibilities here:
447 //
448 // If bundling is disabled, append the encoded instruction to the current data
449 // fragment (or create a new such fragment if the current fragment is not a
450 // data fragment).
451 //
452 // If bundling is enabled:
Eli Benderskycf6009b2013-01-15 23:22:09 +0000453 // - If we're not in a bundle-locked group, emit the instruction into a
454 // fragment of its own. If there are no fixups registered for the
455 // instruction, emit a MCCompactEncodedInstFragment. Otherwise, emit a
456 // MCDataFragment.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000457 // - If we're in a bundle-locked group, append the instruction to the current
458 // data fragment because we want all the instructions in a group to get into
459 // the same fragment. Be careful not to do that for the first instruction in
460 // the group, though.
461 MCDataFragment *DF;
462
463 if (Assembler.isBundlingEnabled()) {
464 MCSectionData *SD = getCurrentSectionData();
465 if (SD->isBundleLocked() && !SD->isBundleGroupBeforeFirstInst())
Derek Schuff8878bcc92013-02-15 22:50:52 +0000466 // If we are bundle-locked, we re-use the current fragment.
467 // The bundle-locking directive ensures this is a new data fragment.
468 DF = cast<MCDataFragment>(getCurrentFragment());
Eli Benderskycf6009b2013-01-15 23:22:09 +0000469 else if (!SD->isBundleLocked() && Fixups.size() == 0) {
470 // Optimize memory usage by emitting the instruction to a
471 // MCCompactEncodedInstFragment when not in a bundle-locked group and
472 // there are no fixups registered.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000473 MCCompactEncodedInstFragment *CEIF = new MCCompactEncodedInstFragment();
474 insert(CEIF);
Eli Benderskycf6009b2013-01-15 23:22:09 +0000475 CEIF->getContents().append(Code.begin(), Code.end());
476 return;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000477 } else {
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000478 DF = new MCDataFragment();
479 insert(DF);
Eli Bendersky802b6282013-01-07 21:51:08 +0000480 if (SD->getBundleLockState() == MCSectionData::BundleLockedAlignToEnd) {
481 // If this is a new fragment created for a bundle-locked group, and the
482 // group was marked as "align_to_end", set a flag in the fragment.
483 DF->setAlignToBundleEnd(true);
484 }
485 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000486
487 // We're now emitting an instruction in a bundle group, so this flag has
488 // to be turned off.
489 SD->setBundleGroupBeforeFirstInst(false);
490 } else {
491 DF = getOrCreateDataFragment();
492 }
493
Benjamin Kramer1f601242010-08-27 10:40:51 +0000494 // Add the fixups and data.
495 for (unsigned i = 0, e = Fixups.size(); i != e; ++i) {
496 Fixups[i].setOffset(Fixups[i].getOffset() + DF->getContents().size());
Eli Benderskya31a8942012-12-07 19:13:57 +0000497 DF->getFixups().push_back(Fixups[i]);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000498 }
Eli Benderskyf483ff92012-12-20 19:05:53 +0000499 DF->setHasInstructions(true);
Benjamin Kramer1f601242010-08-27 10:40:51 +0000500 DF->getContents().append(Code.begin(), Code.end());
501}
502
Eli Benderskyf483ff92012-12-20 19:05:53 +0000503void MCELFStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
504 assert(AlignPow2 <= 30 && "Invalid bundle alignment");
505 MCAssembler &Assembler = getAssembler();
506 if (Assembler.getBundleAlignSize() == 0 && AlignPow2 > 0)
507 Assembler.setBundleAlignSize(1 << AlignPow2);
508 else
509 report_fatal_error(".bundle_align_mode should be only set once per file");
510}
511
Eli Bendersky802b6282013-01-07 21:51:08 +0000512void MCELFStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000513 MCSectionData *SD = getCurrentSectionData();
514
515 // Sanity checks
516 //
517 if (!getAssembler().isBundlingEnabled())
518 report_fatal_error(".bundle_lock forbidden when bundling is disabled");
519 else if (SD->isBundleLocked())
520 report_fatal_error("Nesting of .bundle_lock is forbidden");
521
Eli Bendersky802b6282013-01-07 21:51:08 +0000522 SD->setBundleLockState(AlignToEnd ? MCSectionData::BundleLockedAlignToEnd :
523 MCSectionData::BundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000524 SD->setBundleGroupBeforeFirstInst(true);
525}
526
527void MCELFStreamer::EmitBundleUnlock() {
528 MCSectionData *SD = getCurrentSectionData();
529
530 // Sanity checks
531 if (!getAssembler().isBundlingEnabled())
532 report_fatal_error(".bundle_unlock forbidden when bundling is disabled");
533 else if (!SD->isBundleLocked())
534 report_fatal_error(".bundle_unlock without matching lock");
535 else if (SD->isBundleGroupBeforeFirstInst())
536 report_fatal_error("Empty bundle-locked group is forbidden");
537
Eli Bendersky802b6282013-01-07 21:51:08 +0000538 SD->setBundleLockState(MCSectionData::NotBundleLocked);
Eli Benderskyf483ff92012-12-20 19:05:53 +0000539}
540
Richard Mitton21101b32013-09-19 23:21:01 +0000541void MCELFStreamer::Flush() {
Rafael Espindola53f0bf12010-09-29 14:52:01 +0000542 for (std::vector<LocalCommon>::const_iterator i = LocalCommons.begin(),
543 e = LocalCommons.end();
544 i != e; ++i) {
545 MCSymbolData *SD = i->SD;
546 uint64_t Size = i->Size;
547 unsigned ByteAlignment = i->ByteAlignment;
548 const MCSymbol &Symbol = SD->getSymbol();
549 const MCSection &Section = Symbol.getSection();
550
551 MCSectionData &SectData = getAssembler().getOrCreateSectionData(Section);
552 new MCAlignFragment(ByteAlignment, 0, 1, ByteAlignment, &SectData);
553
554 MCFragment *F = new MCFillFragment(0, 0, Size, &SectData);
555 SD->setFragment(F);
556
557 // Update the maximum alignment of the section if necessary.
558 if (ByteAlignment > SectData.getAlignment())
559 SectData.setAlignment(ByteAlignment);
560 }
561
Richard Mitton21101b32013-09-19 23:21:01 +0000562 LocalCommons.clear();
563}
564
565void MCELFStreamer::FinishImpl() {
566 EmitFrames(NULL, true);
567
568 Flush();
569
Rafael Espindola07082092012-01-07 03:13:18 +0000570 this->MCObjectStreamer::FinishImpl();
Matt Fleming6c1ad482010-08-16 18:57:57 +0000571}
Richard Mitton21101b32013-09-19 23:21:01 +0000572
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000573MCStreamer *llvm::createELFStreamer(MCContext &Context,
574 MCTargetStreamer *Streamer,
575 MCAsmBackend &MAB, raw_ostream &OS,
576 MCCodeEmitter *CE, bool RelaxAll,
577 bool NoExecStack) {
578 MCELFStreamer *S = new MCELFStreamer(Context, Streamer, MAB, OS, CE);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000579 if (RelaxAll)
580 S->getAssembler().setRelaxAll(true);
Rafael Espindolab3eca9b2011-01-23 17:55:27 +0000581 if (NoExecStack)
582 S->getAssembler().setNoExecStack(true);
Matt Fleming6c1ad482010-08-16 18:57:57 +0000583 return S;
584}
Logan Chien59ff0702012-12-07 15:50:40 +0000585
Tim Northover5cc3dc82012-12-07 16:50:23 +0000586void MCELFStreamer::EmitThumbFunc(MCSymbol *Func) {
587 llvm_unreachable("Generic ELF doesn't support this directive");
588}
589
Jack Carter2f8d9d92013-02-19 21:57:35 +0000590MCSymbolData &MCELFStreamer::getOrCreateSymbolData(MCSymbol *Symbol) {
591 return getAssembler().getOrCreateSymbolData(*Symbol);
592}
593
Logan Chien59ff0702012-12-07 15:50:40 +0000594void MCELFStreamer::EmitSymbolDesc(MCSymbol *Symbol, unsigned DescValue) {
595 llvm_unreachable("ELF doesn't support this directive");
596}
597
598void MCELFStreamer::BeginCOFFSymbolDef(const MCSymbol *Symbol) {
599 llvm_unreachable("ELF doesn't support this directive");
600}
601
602void MCELFStreamer::EmitCOFFSymbolStorageClass(int StorageClass) {
603 llvm_unreachable("ELF doesn't support this directive");
604}
605
606void MCELFStreamer::EmitCOFFSymbolType(int Type) {
607 llvm_unreachable("ELF doesn't support this directive");
608}
609
610void MCELFStreamer::EndCOFFSymbolDef() {
611 llvm_unreachable("ELF doesn't support this directive");
612}
613
614void MCELFStreamer::EmitZerofill(const MCSection *Section, MCSymbol *Symbol,
615 uint64_t Size, unsigned ByteAlignment) {
616 llvm_unreachable("ELF doesn't support this directive");
617}
618
619void MCELFStreamer::EmitTBSSSymbol(const MCSection *Section, MCSymbol *Symbol,
620 uint64_t Size, unsigned ByteAlignment) {
621 llvm_unreachable("ELF doesn't support this directive");
622}