blob: e86a0e1dcf9e72003303acf2e3ab294d3269ff63 [file] [log] [blame]
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +00001//===- lib/MC/MCObjectStreamer.cpp - Object File MCStreamer Interface -----===//
2//
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#include "llvm/MC/MCObjectStreamer.h"
Peter Collingbourne2f495b92013-04-17 21:18:16 +000011#include "llvm/ADT/STLExtras.h"
Craig Topper6e80c282012-03-26 06:58:25 +000012#include "llvm/MC/MCAsmBackend.h"
13#include "llvm/MC/MCAsmInfo.h"
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000014#include "llvm/MC/MCAssembler.h"
Benjamin Kramera3e0ddb2010-07-29 17:48:06 +000015#include "llvm/MC/MCCodeEmitter.h"
Reid Klecknera5b1eef2016-08-26 17:58:37 +000016#include "llvm/MC/MCCodeView.h"
Rafael Espindola0a017a62010-12-10 07:39:47 +000017#include "llvm/MC/MCContext.h"
Rafael Espindola72b54882010-11-01 16:27:31 +000018#include "llvm/MC/MCDwarf.h"
Michael J. Spencere2da0a42010-07-19 06:13:10 +000019#include "llvm/MC/MCExpr.h"
Craig Topper6e80c282012-03-26 06:58:25 +000020#include "llvm/MC/MCObjectWriter.h"
Serge Pavlov24a3ebb2013-06-27 14:35:03 +000021#include "llvm/MC/MCSection.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000022#include "llvm/MC/MCSymbol.h"
Craig Topper6e80c282012-03-26 06:58:25 +000023#include "llvm/Support/ErrorHandling.h"
Petr Hosek67a94a72016-05-28 05:57:48 +000024#include "llvm/Support/SourceMgr.h"
Rafael Espindola105270f2015-03-18 19:08:20 +000025#include "llvm/Support/TargetRegistry.h"
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000026using namespace llvm;
27
Rafael Espindola24ea09e2014-01-26 06:06:37 +000028MCObjectStreamer::MCObjectStreamer(MCContext &Context, MCAsmBackend &TAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +000029 raw_pwrite_stream &OS,
30 MCCodeEmitter *Emitter_)
Rafael Espindola24ea09e2014-01-26 06:06:37 +000031 : MCStreamer(Context),
Chandler Carruthde093ef2013-01-31 23:29:57 +000032 Assembler(new MCAssembler(Context, TAB, *Emitter_,
David Majnemer83c862a2015-09-01 23:19:38 +000033 *TAB.createObjectWriter(OS))),
Rafael Espindola2f9bdd82015-05-27 20:52:32 +000034 EmitEHFrame(true), EmitDebugFrame(false) {}
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000035
36MCObjectStreamer::~MCObjectStreamer() {
Benjamin Kramera3e0ddb2010-07-29 17:48:06 +000037 delete &Assembler->getBackend();
38 delete &Assembler->getEmitter();
Daniel Dunbar42a037a2010-12-17 02:45:41 +000039 delete &Assembler->getWriter();
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000040 delete Assembler;
41}
Daniel Dunbarb2347fe2010-06-16 20:04:25 +000042
Petr Hosek9e0c8902015-04-12 23:42:25 +000043void MCObjectStreamer::flushPendingLabels(MCFragment *F, uint64_t FOffset) {
Rafael Espindola81413c02015-10-03 00:57:12 +000044 if (PendingLabels.empty())
45 return;
46 if (!F) {
47 F = new MCDataFragment();
48 MCSection *CurSection = getCurrentSectionOnly();
49 CurSection->getFragmentList().insert(CurInsertionPoint, F);
50 F->setParent(CurSection);
Derek Schuff5f708e52014-10-22 22:38:06 +000051 }
Rafael Espindola81413c02015-10-03 00:57:12 +000052 for (MCSymbol *Sym : PendingLabels) {
53 Sym->setFragment(F);
54 Sym->setOffset(FOffset);
55 }
56 PendingLabels.clear();
Derek Schuff5f708e52014-10-22 22:38:06 +000057}
58
Rafael Espindola7c6e6e42015-06-11 18:58:08 +000059void MCObjectStreamer::emitAbsoluteSymbolDiff(const MCSymbol *Hi,
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000060 const MCSymbol *Lo,
61 unsigned Size) {
Rafael Espindola7c6e6e42015-06-11 18:58:08 +000062 // If not assigned to the same (valid) fragment, fallback.
Rafael Espindolae3a20f52015-10-05 12:07:05 +000063 if (!Hi->getFragment() || Hi->getFragment() != Lo->getFragment() ||
64 Hi->isVariable() || Lo->isVariable()) {
Rafael Espindola7c6e6e42015-06-11 18:58:08 +000065 MCStreamer::emitAbsoluteSymbolDiff(Hi, Lo, Size);
66 return;
67 }
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000068
Rafael Espindola14672502015-05-29 17:48:04 +000069 EmitIntValue(Hi->getOffset() - Lo->getOffset(), Size);
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000070}
71
Pedro Artigas7212ee42012-12-12 22:59:46 +000072void MCObjectStreamer::reset() {
Pedro Artigasb95c53e2012-12-14 18:52:11 +000073 if (Assembler)
74 Assembler->reset();
Rafael Espindolaa32d0e92015-05-27 15:14:11 +000075 CurInsertionPoint = MCSection::iterator();
Rafael Espindola3dd8ef62014-05-12 14:02:44 +000076 EmitEHFrame = true;
77 EmitDebugFrame = false;
Derek Schuff5f708e52014-10-22 22:38:06 +000078 PendingLabels.clear();
Pedro Artigas7212ee42012-12-12 22:59:46 +000079 MCStreamer::reset();
80}
81
Rafael Espindola3dd8ef62014-05-12 14:02:44 +000082void MCObjectStreamer::EmitFrames(MCAsmBackend *MAB) {
83 if (!getNumFrameInfos())
84 return;
85
86 if (EmitEHFrame)
87 MCDwarfFrameEmitter::Emit(*this, MAB, true);
88
89 if (EmitDebugFrame)
90 MCDwarfFrameEmitter::Emit(*this, MAB, false);
91}
92
Michael J. Spencere2da0a42010-07-19 06:13:10 +000093MCFragment *MCObjectStreamer::getCurrentFragment() const {
Rafael Espindola983bec62015-05-27 21:04:14 +000094 assert(getCurrentSectionOnly() && "No current section!");
Michael J. Spencere2da0a42010-07-19 06:13:10 +000095
Rafael Espindola983bec62015-05-27 21:04:14 +000096 if (CurInsertionPoint != getCurrentSectionOnly()->getFragmentList().begin())
Duncan P. N. Exon Smitha5f45da2015-10-10 00:13:11 +000097 return &*std::prev(CurInsertionPoint);
Michael J. Spencere2da0a42010-07-19 06:13:10 +000098
Craig Topperbb694de2014-04-13 04:57:38 +000099 return nullptr;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000100}
101
Derek Schuff5f708e52014-10-22 22:38:06 +0000102MCDataFragment *MCObjectStreamer::getOrCreateDataFragment() {
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000103 MCDataFragment *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
Derek Schuff8878bcc92013-02-15 22:50:52 +0000104 // When bundling is enabled, we don't want to add data to a fragment that
105 // already has instructions (see MCELFStreamer::EmitInstToData for details)
Petr Hosek9e0c8902015-04-12 23:42:25 +0000106 if (!F || (Assembler->isBundlingEnabled() && !Assembler->getRelaxAll() &&
107 F->hasInstructions())) {
David Blaikie4d3b0432014-04-10 21:53:47 +0000108 F = new MCDataFragment();
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000109 insert(F);
110 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000111 return F;
112}
113
Rafael Espindola2be12812014-06-25 15:29:54 +0000114void MCObjectStreamer::visitUsedSymbol(const MCSymbol &Sym) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000115 Assembler->registerSymbol(Sym);
Rafael Espindola2be12812014-06-25 15:29:54 +0000116}
117
Rafael Espindola3dd8ef62014-05-12 14:02:44 +0000118void MCObjectStreamer::EmitCFISections(bool EH, bool Debug) {
119 MCStreamer::EmitCFISections(EH, Debug);
120 EmitEHFrame = EH;
121 EmitDebugFrame = Debug;
122}
123
Kevin Enderby96918bc2014-04-22 17:27:29 +0000124void MCObjectStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
Craig Topper3c76c522015-09-20 23:35:59 +0000125 SMLoc Loc) {
Rafael Espindola591c6412014-06-25 18:37:33 +0000126 MCStreamer::EmitValueImpl(Value, Size, Loc);
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000127 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000128 flushPendingLabels(DF, DF->getContents().size());
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000129
Reid Kleckner2214ed82016-01-29 00:49:42 +0000130 MCCVLineEntry::Make(this);
David Majnemer8cc30782016-01-21 01:59:03 +0000131 MCDwarfLineEntry::Make(this, getCurrentSection().first);
Cameron Zwarich80cbcd22013-05-25 21:56:53 +0000132
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000133 // Avoid fixups when possible.
134 int64_t AbsValue;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000135 if (Value->evaluateAsAbsolute(AbsValue, getAssembler())) {
Rafael Espindola64e1af82013-07-02 15:49:13 +0000136 EmitIntValue(AbsValue, Size);
Rafael Espindola4c70eea2010-12-03 02:54:21 +0000137 return;
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000138 }
Eli Benderskya31a8942012-12-07 19:13:57 +0000139 DF->getFixups().push_back(
Jim Grosbach63661f82015-05-15 19:13:05 +0000140 MCFixup::create(DF->getContents().size(), Value,
Kevin Enderby96918bc2014-04-22 17:27:29 +0000141 MCFixup::getKindForSize(Size, false), Loc));
Rafael Espindola4c70eea2010-12-03 02:54:21 +0000142 DF->getContents().resize(DF->getContents().size() + Size, 0);
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000143}
144
Oliver Stannardcf6bfb12014-11-03 12:19:03 +0000145void MCObjectStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) {
146 // We need to create a local symbol to avoid relocations.
Jim Grosbach6f482002015-05-18 18:43:14 +0000147 Frame.Begin = getContext().createTempSymbol();
Oliver Stannardcf6bfb12014-11-03 12:19:03 +0000148 EmitLabel(Frame.Begin);
Rafael Espindola38241202012-01-07 22:42:19 +0000149}
150
Rafael Espindolaf28213c2012-01-09 00:17:29 +0000151void MCObjectStreamer::EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) {
Jim Grosbach6f482002015-05-18 18:43:14 +0000152 Frame.End = getContext().createTempSymbol();
Rafael Espindola49bbfd02014-06-25 00:13:59 +0000153 EmitLabel(Frame.End);
Rafael Espindolaf28213c2012-01-09 00:17:29 +0000154}
155
Rafael Espindolae5b74152010-11-28 17:18:55 +0000156void MCObjectStreamer::EmitLabel(MCSymbol *Symbol) {
Rafael Espindola27c0c9b2011-04-27 15:21:19 +0000157 MCStreamer::EmitLabel(Symbol);
Rafael Espindolae5b74152010-11-28 17:18:55 +0000158
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000159 getAssembler().registerSymbol(*Symbol);
Derek Schuff5f708e52014-10-22 22:38:06 +0000160
161 // If there is a current fragment, mark the symbol as pointing into it.
162 // Otherwise queue the label and set its fragment pointer when we emit the
163 // next fragment.
Petr Hosek9e0c8902015-04-12 23:42:25 +0000164 auto *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
165 if (F && !(getAssembler().isBundlingEnabled() &&
166 getAssembler().getRelaxAll())) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000167 Symbol->setFragment(F);
Rafael Espindola14672502015-05-29 17:48:04 +0000168 Symbol->setOffset(F->getContents().size());
Derek Schuff5f708e52014-10-22 22:38:06 +0000169 } else {
Rafael Espindola66ccf492015-05-29 17:41:59 +0000170 PendingLabels.push_back(Symbol);
Derek Schuff5f708e52014-10-22 22:38:06 +0000171 }
Rafael Espindolae5b74152010-11-28 17:18:55 +0000172}
173
Rafael Espindola6aea5922011-04-21 23:39:26 +0000174void MCObjectStreamer::EmitULEB128Value(const MCExpr *Value) {
Rafael Espindola675fbb22010-12-03 01:19:49 +0000175 int64_t IntValue;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000176 if (Value->evaluateAsAbsolute(IntValue, getAssembler())) {
Rafael Espindola6aea5922011-04-21 23:39:26 +0000177 EmitULEB128IntValue(IntValue);
Rafael Espindola675fbb22010-12-03 01:19:49 +0000178 return;
179 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000180 insert(new MCLEBFragment(*Value, false));
Rafael Espindola5e874982010-11-02 17:22:24 +0000181}
182
Rafael Espindola6aea5922011-04-21 23:39:26 +0000183void MCObjectStreamer::EmitSLEB128Value(const MCExpr *Value) {
Rafael Espindola675fbb22010-12-03 01:19:49 +0000184 int64_t IntValue;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000185 if (Value->evaluateAsAbsolute(IntValue, getAssembler())) {
Rafael Espindola6aea5922011-04-21 23:39:26 +0000186 EmitSLEB128IntValue(IntValue);
Rafael Espindola675fbb22010-12-03 01:19:49 +0000187 return;
188 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000189 insert(new MCLEBFragment(*Value, true));
Rafael Espindola5e874982010-11-02 17:22:24 +0000190}
191
Rafael Espindola16145972010-11-01 14:28:48 +0000192void MCObjectStreamer::EmitWeakReference(MCSymbol *Alias,
193 const MCSymbol *Symbol) {
194 report_fatal_error("This file format doesn't support weak aliases.");
195}
196
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000197void MCObjectStreamer::ChangeSection(MCSection *Section,
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000198 const MCExpr *Subsection) {
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000199 changeSectionImpl(Section, Subsection);
200}
201
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000202bool MCObjectStreamer::changeSectionImpl(MCSection *Section,
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000203 const MCExpr *Subsection) {
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000204 assert(Section && "Cannot switch to a null section!");
Derek Schuff5f708e52014-10-22 22:38:06 +0000205 flushPendingLabels(nullptr);
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000206
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000207 bool Created = getAssembler().registerSection(*Section);
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000208
209 int64_t IntSubsection = 0;
210 if (Subsection &&
Jim Grosbach13760bd2015-05-30 01:25:56 +0000211 !Subsection->evaluateAsAbsolute(IntSubsection, getAssembler()))
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000212 report_fatal_error("Cannot evaluate subsection number");
213 if (IntSubsection < 0 || IntSubsection > 8192)
214 report_fatal_error("Subsection number out of range");
215 CurInsertionPoint =
Rafael Espindola2f9bdd82015-05-27 20:52:32 +0000216 Section->getSubsectionInsertionPoint(unsigned(IntSubsection));
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000217 return Created;
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000218}
219
Eli Benderskyea2824d2012-12-07 17:42:41 +0000220void MCObjectStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000221 getAssembler().registerSymbol(*Symbol);
Zoran Jovanovic28221d82014-03-20 09:44:49 +0000222 MCStreamer::EmitAssignment(Symbol, Value);
Eli Benderskyea2824d2012-12-07 17:42:41 +0000223}
224
Rafael Espindolacd625182015-05-25 18:34:26 +0000225bool MCObjectStreamer::mayHaveInstructions(MCSection &Sec) const {
226 return Sec.hasInstructions();
227}
228
Rafael Espindola591c6412014-06-25 18:37:33 +0000229void MCObjectStreamer::EmitInstruction(const MCInst &Inst,
230 const MCSubtargetInfo &STI) {
231 MCStreamer::EmitInstruction(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000232
Rafael Espindola983bec62015-05-27 21:04:14 +0000233 MCSection *Sec = getCurrentSectionOnly();
Rafael Espindola3d2aeb22015-05-26 14:48:11 +0000234 Sec->setHasInstructions(true);
Rafael Espindola72b54882010-11-01 16:27:31 +0000235
236 // Now that a machine instruction has been assembled into this section, make
237 // a line entry for any .loc directive that has been seen.
Reid Kleckner2214ed82016-01-29 00:49:42 +0000238 MCCVLineEntry::Make(this);
David Majnemer8cc30782016-01-21 01:59:03 +0000239 MCDwarfLineEntry::Make(this, getCurrentSection().first);
Rafael Espindola72b54882010-11-01 16:27:31 +0000240
241 // If this instruction doesn't need relaxation, just emit it as data.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000242 MCAssembler &Assembler = getAssembler();
243 if (!Assembler.getBackend().mayNeedRelaxation(Inst)) {
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000244 EmitInstToData(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000245 return;
246 }
247
Eli Benderskyf483ff92012-12-20 19:05:53 +0000248 // Otherwise, relax and emit it as data if either:
249 // - The RelaxAll flag was passed
250 // - Bundling is enabled and this instruction is inside a bundle-locked
251 // group. We want to emit all such instructions into the same data
252 // fragment.
253 if (Assembler.getRelaxAll() ||
Rafael Espindola3d2aeb22015-05-26 14:48:11 +0000254 (Assembler.isBundlingEnabled() && Sec->isBundleLocked())) {
Rafael Espindola72b54882010-11-01 16:27:31 +0000255 MCInst Relaxed;
Nirav Dave86030622016-07-11 14:23:53 +0000256 getAssembler().getBackend().relaxInstruction(Inst, STI, Relaxed);
Jim Grosbachaba3de92012-01-18 18:52:16 +0000257 while (getAssembler().getBackend().mayNeedRelaxation(Relaxed))
Nirav Dave86030622016-07-11 14:23:53 +0000258 getAssembler().getBackend().relaxInstruction(Relaxed, STI, Relaxed);
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000259 EmitInstToData(Relaxed, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000260 return;
261 }
262
263 // Otherwise emit to a separate fragment.
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000264 EmitInstToFragment(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000265}
266
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000267void MCObjectStreamer::EmitInstToFragment(const MCInst &Inst,
268 const MCSubtargetInfo &STI) {
Petr Hosek9e0c8902015-04-12 23:42:25 +0000269 if (getAssembler().getRelaxAll() && getAssembler().isBundlingEnabled())
270 llvm_unreachable("All instructions should have already been relaxed");
271
Eli Benderskyf483ff92012-12-20 19:05:53 +0000272 // Always create a new, separate fragment here, because its size can change
273 // during relaxation.
David Woodhousef5199f62014-01-28 23:12:53 +0000274 MCRelaxableFragment *IF = new MCRelaxableFragment(Inst, STI);
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000275 insert(IF);
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000276
Eli Friedmanb2545fb2011-04-18 20:54:46 +0000277 SmallString<128> Code;
278 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +0000279 getAssembler().getEmitter().encodeInstruction(Inst, VecOS, IF->getFixups(),
David Woodhouse9784cef2014-01-28 23:13:07 +0000280 STI);
Eli Benderskya31a8942012-12-07 19:13:57 +0000281 IF->getContents().append(Code.begin(), Code.end());
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000282}
283
Matt Beaumont-Gay5ae72082013-02-15 23:12:33 +0000284#ifndef NDEBUG
Craig Topperd3a34f82013-07-16 01:17:10 +0000285static const char *const BundlingNotImplementedMsg =
Eli Benderskyf483ff92012-12-20 19:05:53 +0000286 "Aligned bundling is not implemented for this object format";
Matt Beaumont-Gay5ae72082013-02-15 23:12:33 +0000287#endif
Eli Benderskyf483ff92012-12-20 19:05:53 +0000288
289void MCObjectStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
290 llvm_unreachable(BundlingNotImplementedMsg);
291}
292
Eli Bendersky802b6282013-01-07 21:51:08 +0000293void MCObjectStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000294 llvm_unreachable(BundlingNotImplementedMsg);
295}
296
297void MCObjectStreamer::EmitBundleUnlock() {
298 llvm_unreachable(BundlingNotImplementedMsg);
299}
300
Ulrich Weigand64f44052013-06-19 21:27:27 +0000301void MCObjectStreamer::EmitDwarfLocDirective(unsigned FileNo, unsigned Line,
302 unsigned Column, unsigned Flags,
303 unsigned Isa,
304 unsigned Discriminator,
305 StringRef FileName) {
306 // In case we see two .loc directives in a row, make sure the
307 // first one gets a line entry.
David Majnemer8cc30782016-01-21 01:59:03 +0000308 MCDwarfLineEntry::Make(this, getCurrentSection().first);
Ulrich Weigand64f44052013-06-19 21:27:27 +0000309
310 this->MCStreamer::EmitDwarfLocDirective(FileNo, Line, Column, Flags,
311 Isa, Discriminator, FileName);
312}
313
Rafael Espindola38518082014-08-15 14:31:47 +0000314static const MCExpr *buildSymbolDiff(MCObjectStreamer &OS, const MCSymbol *A,
315 const MCSymbol *B) {
316 MCContext &Context = OS.getContext();
317 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000318 const MCExpr *ARef = MCSymbolRefExpr::create(A, Variant, Context);
319 const MCExpr *BRef = MCSymbolRefExpr::create(B, Variant, Context);
Rafael Espindola38518082014-08-15 14:31:47 +0000320 const MCExpr *AddrDelta =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000321 MCBinaryExpr::create(MCBinaryExpr::Sub, ARef, BRef, Context);
Rafael Espindola38518082014-08-15 14:31:47 +0000322 return AddrDelta;
323}
324
Frederic Rissa5ab8442015-08-07 15:14:08 +0000325static void emitDwarfSetLineAddr(MCObjectStreamer &OS,
326 MCDwarfLineTableParams Params,
327 int64_t LineDelta, const MCSymbol *Label,
328 int PointerSize) {
Rafael Espindola5e955fb2014-08-15 14:43:02 +0000329 // emit the sequence to set the address
330 OS.EmitIntValue(dwarf::DW_LNS_extended_op, 1);
331 OS.EmitULEB128IntValue(PointerSize + 1);
332 OS.EmitIntValue(dwarf::DW_LNE_set_address, 1);
333 OS.EmitSymbolValue(Label, PointerSize);
334
335 // emit the sequence for the LineDelta (from 1) and a zero address delta.
Frederic Rissa5ab8442015-08-07 15:14:08 +0000336 MCDwarfLineAddr::Emit(&OS, Params, LineDelta, 0);
Rafael Espindola5e955fb2014-08-15 14:43:02 +0000337}
338
Rafael Espindola57ab7082010-12-03 00:55:40 +0000339void MCObjectStreamer::EmitDwarfAdvanceLineAddr(int64_t LineDelta,
340 const MCSymbol *LastLabel,
Evan Chengc7ac6902011-07-14 05:43:07 +0000341 const MCSymbol *Label,
342 unsigned PointerSize) {
Rafael Espindola57ab7082010-12-03 00:55:40 +0000343 if (!LastLabel) {
Frederic Rissa5ab8442015-08-07 15:14:08 +0000344 emitDwarfSetLineAddr(*this, Assembler->getDWARFLinetableParams(), LineDelta,
345 Label, PointerSize);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000346 return;
347 }
Rafael Espindola38518082014-08-15 14:31:47 +0000348 const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000349 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000350 if (AddrDelta->evaluateAsAbsolute(Res, getAssembler())) {
Frederic Rissa5ab8442015-08-07 15:14:08 +0000351 MCDwarfLineAddr::Emit(this, Assembler->getDWARFLinetableParams(), LineDelta,
352 Res);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000353 return;
354 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000355 insert(new MCDwarfLineAddrFragment(LineDelta, *AddrDelta));
Rafael Espindola57ab7082010-12-03 00:55:40 +0000356}
357
Rafael Espindola736a35d2010-12-28 05:39:27 +0000358void MCObjectStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel,
359 const MCSymbol *Label) {
Rafael Espindola38518082014-08-15 14:31:47 +0000360 const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
Rafael Espindola736a35d2010-12-28 05:39:27 +0000361 int64_t Res;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000362 if (AddrDelta->evaluateAsAbsolute(Res, getAssembler())) {
Rafael Espindola736a35d2010-12-28 05:39:27 +0000363 MCDwarfFrameEmitter::EmitAdvanceLoc(*this, Res);
364 return;
365 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000366 insert(new MCDwarfCallFrameFragment(*AddrDelta));
Rafael Espindola736a35d2010-12-28 05:39:27 +0000367}
368
Reid Kleckner2214ed82016-01-29 00:49:42 +0000369void MCObjectStreamer::EmitCVLocDirective(unsigned FunctionId, unsigned FileNo,
370 unsigned Line, unsigned Column,
371 bool PrologueEnd, bool IsStmt,
372 StringRef FileName) {
373 // In case we see two .cv_loc directives in a row, make sure the
374 // first one gets a line entry.
375 MCCVLineEntry::Make(this);
376
377 this->MCStreamer::EmitCVLocDirective(FunctionId, FileNo, Line, Column,
378 PrologueEnd, IsStmt, FileName);
379}
380
381void MCObjectStreamer::EmitCVLinetableDirective(unsigned FunctionId,
382 const MCSymbol *Begin,
383 const MCSymbol *End) {
384 getContext().getCVContext().emitLineTableForFunction(*this, FunctionId, Begin,
385 End);
386 this->MCStreamer::EmitCVLinetableDirective(FunctionId, Begin, End);
387}
388
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000389void MCObjectStreamer::EmitCVInlineLinetableDirective(
390 unsigned PrimaryFunctionId, unsigned SourceFileId, unsigned SourceLineNum,
David Majnemerc9911f22016-02-02 19:22:34 +0000391 const MCSymbol *FnStartSym, const MCSymbol *FnEndSym,
392 ArrayRef<unsigned> SecondaryFunctionIds) {
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000393 getContext().getCVContext().emitInlineLineTableForFunction(
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000394 *this, PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym,
David Majnemerc9911f22016-02-02 19:22:34 +0000395 FnEndSym, SecondaryFunctionIds);
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000396 this->MCStreamer::EmitCVInlineLinetableDirective(
David Majnemerc9911f22016-02-02 19:22:34 +0000397 PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym, FnEndSym,
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000398 SecondaryFunctionIds);
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000399}
400
David Majnemer408b5e62016-02-05 01:55:49 +0000401void MCObjectStreamer::EmitCVDefRangeDirective(
402 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
403 StringRef FixedSizePortion) {
404 getContext().getCVContext().emitDefRange(*this, Ranges, FixedSizePortion);
405 this->MCStreamer::EmitCVDefRangeDirective(Ranges, FixedSizePortion);
406}
407
Reid Kleckner2214ed82016-01-29 00:49:42 +0000408void MCObjectStreamer::EmitCVStringTableDirective() {
409 getContext().getCVContext().emitStringTable(*this);
410}
411void MCObjectStreamer::EmitCVFileChecksumsDirective() {
412 getContext().getCVContext().emitFileChecksums(*this);
413}
414
415
Rafael Espindola64e1af82013-07-02 15:49:13 +0000416void MCObjectStreamer::EmitBytes(StringRef Data) {
Reid Kleckner2214ed82016-01-29 00:49:42 +0000417 MCCVLineEntry::Make(this);
David Majnemer8cc30782016-01-21 01:59:03 +0000418 MCDwarfLineEntry::Make(this, getCurrentSection().first);
Petr Hosek32946702015-06-27 01:54:17 +0000419 MCDataFragment *DF = getOrCreateDataFragment();
420 flushPendingLabels(DF, DF->getContents().size());
421 DF->getContents().append(Data.begin(), Data.end());
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000422}
423
424void MCObjectStreamer::EmitValueToAlignment(unsigned ByteAlignment,
425 int64_t Value,
426 unsigned ValueSize,
427 unsigned MaxBytesToEmit) {
428 if (MaxBytesToEmit == 0)
429 MaxBytesToEmit = ByteAlignment;
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000430 insert(new MCAlignFragment(ByteAlignment, Value, ValueSize, MaxBytesToEmit));
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000431
432 // Update the maximum alignment on the current section if necessary.
Rafael Espindola967d6a62015-05-21 21:02:35 +0000433 MCSection *CurSec = getCurrentSection().first;
434 if (ByteAlignment > CurSec->getAlignment())
435 CurSec->setAlignment(ByteAlignment);
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000436}
437
438void MCObjectStreamer::EmitCodeAlignment(unsigned ByteAlignment,
439 unsigned MaxBytesToEmit) {
440 EmitValueToAlignment(ByteAlignment, 0, 1, MaxBytesToEmit);
441 cast<MCAlignFragment>(getCurrentFragment())->setEmitNops(true);
442}
443
Rafael Espindola7ae65d82015-11-04 23:59:18 +0000444void MCObjectStreamer::emitValueToOffset(const MCExpr *Offset,
Jim Grosbach5aac9542012-01-26 23:47:45 +0000445 unsigned char Value) {
Rafael Espindola04d39262015-11-04 23:50:29 +0000446 insert(new MCOrgFragment(*Offset, Value));
Rafael Espindola9065bfc62010-12-02 05:59:38 +0000447}
448
Simon Atanasyaneb9ed612016-08-22 16:18:42 +0000449// Associate DTPRel32 fixup with data and resize data area
450void MCObjectStreamer::EmitDTPRel32Value(const MCExpr *Value) {
451 MCDataFragment *DF = getOrCreateDataFragment();
452 flushPendingLabels(DF, DF->getContents().size());
453
454 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
455 Value, FK_DTPRel_4));
456 DF->getContents().resize(DF->getContents().size() + 4, 0);
457}
458
459// Associate DTPRel64 fixup with data and resize data area
460void MCObjectStreamer::EmitDTPRel64Value(const MCExpr *Value) {
461 MCDataFragment *DF = getOrCreateDataFragment();
462 flushPendingLabels(DF, DF->getContents().size());
463
464 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
465 Value, FK_DTPRel_8));
466 DF->getContents().resize(DF->getContents().size() + 8, 0);
467}
468
469// Associate TPRel32 fixup with data and resize data area
470void MCObjectStreamer::EmitTPRel32Value(const MCExpr *Value) {
471 MCDataFragment *DF = getOrCreateDataFragment();
472 flushPendingLabels(DF, DF->getContents().size());
473
474 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
475 Value, FK_TPRel_4));
476 DF->getContents().resize(DF->getContents().size() + 4, 0);
477}
478
479// Associate TPRel64 fixup with data and resize data area
480void MCObjectStreamer::EmitTPRel64Value(const MCExpr *Value) {
481 MCDataFragment *DF = getOrCreateDataFragment();
482 flushPendingLabels(DF, DF->getContents().size());
483
484 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
485 Value, FK_TPRel_8));
486 DF->getContents().resize(DF->getContents().size() + 8, 0);
487}
488
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000489// Associate GPRel32 fixup with data and resize data area
490void MCObjectStreamer::EmitGPRel32Value(const MCExpr *Value) {
491 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000492 flushPendingLabels(DF, DF->getContents().size());
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000493
Jim Grosbach63661f82015-05-15 19:13:05 +0000494 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
Eli Benderskya31a8942012-12-07 19:13:57 +0000495 Value, FK_GPRel_4));
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000496 DF->getContents().resize(DF->getContents().size() + 4, 0);
497}
498
Simon Atanasyaneb9ed612016-08-22 16:18:42 +0000499// Associate GPRel64 fixup with data and resize data area
Jack Carter77064c02012-08-22 00:49:30 +0000500void MCObjectStreamer::EmitGPRel64Value(const MCExpr *Value) {
501 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000502 flushPendingLabels(DF, DF->getContents().size());
Jack Carter77064c02012-08-22 00:49:30 +0000503
Jim Grosbach63661f82015-05-15 19:13:05 +0000504 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
Eli Benderskya31a8942012-12-07 19:13:57 +0000505 Value, FK_GPRel_4));
Jack Carter77064c02012-08-22 00:49:30 +0000506 DF->getContents().resize(DF->getContents().size() + 8, 0);
507}
508
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000509bool MCObjectStreamer::EmitRelocDirective(const MCExpr &Offset, StringRef Name,
510 const MCExpr *Expr, SMLoc Loc) {
511 int64_t OffsetValue;
512 if (!Offset.evaluateAsAbsolute(OffsetValue))
513 llvm_unreachable("Offset is not absolute");
514
David Majnemerce108422016-01-19 23:05:27 +0000515 if (OffsetValue < 0)
516 llvm_unreachable("Offset is negative");
517
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000518 MCDataFragment *DF = getOrCreateDataFragment();
519 flushPendingLabels(DF, DF->getContents().size());
520
David Majnemerce108422016-01-19 23:05:27 +0000521 Optional<MCFixupKind> MaybeKind = Assembler->getBackend().getFixupKind(Name);
522 if (!MaybeKind.hasValue())
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000523 return true;
524
David Majnemerce108422016-01-19 23:05:27 +0000525 MCFixupKind Kind = *MaybeKind;
526
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000527 if (Expr == nullptr)
528 Expr =
529 MCSymbolRefExpr::create(getContext().createTempSymbol(), getContext());
530 DF->getFixups().push_back(MCFixup::create(OffsetValue, Expr, Kind, Loc));
531 return false;
532}
533
Petr Hosekfaef3202016-06-01 01:59:58 +0000534void MCObjectStreamer::emitFill(uint64_t NumBytes, uint8_t FillValue) {
Michael Ilseman5be22a12014-12-12 21:48:03 +0000535 const MCSection *Sec = getCurrentSection().first;
Rafael Espindola1a7e8b42016-01-19 16:57:08 +0000536 (void)Sec;
Michael Ilseman5be22a12014-12-12 21:48:03 +0000537 assert(Sec && "need a section");
Rafael Espindola1a7e8b42016-01-19 16:57:08 +0000538 insert(new MCFillFragment(FillValue, NumBytes));
Serge Pavlov24a3ebb2013-06-27 14:35:03 +0000539}
540
Petr Hosek67a94a72016-05-28 05:57:48 +0000541void MCObjectStreamer::emitFill(const MCExpr &NumBytes, uint64_t FillValue,
542 SMLoc Loc) {
543 MCDataFragment *DF = getOrCreateDataFragment();
544 flushPendingLabels(DF, DF->getContents().size());
545
546 int64_t IntNumBytes;
547 if (!NumBytes.evaluateAsAbsolute(IntNumBytes, getAssembler())) {
548 getContext().reportError(Loc, "expected absolute expression");
549 return;
550 }
551
552 if (IntNumBytes <= 0) {
553 getContext().reportError(Loc, "invalid number of bytes");
554 return;
555 }
556
Petr Hosekfaef3202016-06-01 01:59:58 +0000557 emitFill(IntNumBytes, FillValue);
Petr Hosek67a94a72016-05-28 05:57:48 +0000558}
559
560void MCObjectStreamer::emitFill(const MCExpr &NumValues, int64_t Size,
561 int64_t Expr, SMLoc Loc) {
562 int64_t IntNumValues;
563 if (!NumValues.evaluateAsAbsolute(IntNumValues, getAssembler())) {
564 getContext().reportError(Loc, "expected absolute expression");
565 return;
566 }
567
568 if (IntNumValues < 0) {
569 getContext().getSourceManager()->PrintMessage(
570 Loc, SourceMgr::DK_Warning,
571 "'.fill' directive with negative repeat count has no effect");
572 return;
573 }
574
575 MCStreamer::emitFill(IntNumValues, Size, Expr);
576}
577
Rafael Espindola07082092012-01-07 03:13:18 +0000578void MCObjectStreamer::FinishImpl() {
Kevin Enderbye7739d42011-12-09 18:09:40 +0000579 // If we are generating dwarf for assembly source files dump out the sections.
580 if (getContext().getGenDwarfForAssembly())
David Blaikie8bf66c42014-04-01 07:35:52 +0000581 MCGenDwarfInfo::Emit(this);
582
583 // Dump out the dwarf file & directory tables and line tables.
Frederic Rissa5ab8442015-08-07 15:14:08 +0000584 MCDwarfLineTable::Emit(this, getAssembler().getDWARFLinetableParams());
Kevin Enderbye7739d42011-12-09 18:09:40 +0000585
Derek Schuff5f708e52014-10-22 22:38:06 +0000586 flushPendingLabels(nullptr);
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000587 getAssembler().Finish();
588}