blob: 9fab8d835f8096664af60f86bf77f2a5fd611e5a [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"
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000013#include "llvm/MC/MCAssembler.h"
Benjamin Kramera3e0ddb2010-07-29 17:48:06 +000014#include "llvm/MC/MCCodeEmitter.h"
Reid Klecknera5b1eef2016-08-26 17:58:37 +000015#include "llvm/MC/MCCodeView.h"
Rafael Espindola0a017a62010-12-10 07:39:47 +000016#include "llvm/MC/MCContext.h"
Rafael Espindola72b54882010-11-01 16:27:31 +000017#include "llvm/MC/MCDwarf.h"
Michael J. Spencere2da0a42010-07-19 06:13:10 +000018#include "llvm/MC/MCExpr.h"
Craig Topper6e80c282012-03-26 06:58:25 +000019#include "llvm/MC/MCObjectWriter.h"
Serge Pavlov24a3ebb2013-06-27 14:35:03 +000020#include "llvm/MC/MCSection.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000021#include "llvm/MC/MCSymbol.h"
Craig Topper6e80c282012-03-26 06:58:25 +000022#include "llvm/Support/ErrorHandling.h"
Petr Hosek67a94a72016-05-28 05:57:48 +000023#include "llvm/Support/SourceMgr.h"
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000024using namespace llvm;
25
Lang Hames02d33052017-10-11 01:57:21 +000026MCObjectStreamer::MCObjectStreamer(MCContext &Context,
27 std::unique_ptr<MCAsmBackend> TAB,
Peter Collingbournef7b81db2018-05-18 18:26:45 +000028 std::unique_ptr<MCObjectWriter> OW,
Lang Hames2241ffa2017-10-11 23:34:47 +000029 std::unique_ptr<MCCodeEmitter> Emitter)
Nirav Dave8728e092018-04-27 15:45:27 +000030 : MCStreamer(Context),
Peter Collingbournef7b81db2018-05-18 18:26:45 +000031 Assembler(llvm::make_unique<MCAssembler>(
32 Context, std::move(TAB), std::move(Emitter), std::move(OW))),
Rafael Espindola2f9bdd82015-05-27 20:52:32 +000033 EmitEHFrame(true), EmitDebugFrame(false) {}
Daniel Dunbar8a3c9d92010-06-16 20:04:22 +000034
Lang Hames2241ffa2017-10-11 23:34:47 +000035MCObjectStreamer::~MCObjectStreamer() {}
Daniel Dunbarb2347fe2010-06-16 20:04:25 +000036
Nirav Dave6c0665e2018-04-30 19:22:40 +000037// AssemblerPtr is used for evaluation of expressions and causes
38// difference between asm and object outputs. Return nullptr to in
39// inline asm mode to limit divergence to assembly inputs.
40MCAssembler *MCObjectStreamer::getAssemblerPtr() {
41 if (getUseAssemblerInfoForParsing())
42 return Assembler.get();
43 return nullptr;
44}
45
Petr Hosek9e0c8902015-04-12 23:42:25 +000046void MCObjectStreamer::flushPendingLabels(MCFragment *F, uint64_t FOffset) {
Rafael Espindola81413c02015-10-03 00:57:12 +000047 if (PendingLabels.empty())
48 return;
49 if (!F) {
50 F = new MCDataFragment();
51 MCSection *CurSection = getCurrentSectionOnly();
52 CurSection->getFragmentList().insert(CurInsertionPoint, F);
53 F->setParent(CurSection);
Derek Schuff5f708e52014-10-22 22:38:06 +000054 }
Rafael Espindola81413c02015-10-03 00:57:12 +000055 for (MCSymbol *Sym : PendingLabels) {
56 Sym->setFragment(F);
57 Sym->setOffset(FOffset);
58 }
59 PendingLabels.clear();
Derek Schuff5f708e52014-10-22 22:38:06 +000060}
61
Rafael Espindolad09b4162018-02-09 17:00:25 +000062// As a compile-time optimization, avoid allocating and evaluating an MCExpr
63// tree for (Hi - Lo) when Hi and Lo are offsets into the same fragment.
64static Optional<uint64_t> absoluteSymbolDiff(const MCSymbol *Hi,
65 const MCSymbol *Lo) {
Reid Kleckner5a791ee2018-03-15 21:24:04 +000066 assert(Hi && Lo);
Rafael Espindolad09b4162018-02-09 17:00:25 +000067 if (!Hi->getFragment() || Hi->getFragment() != Lo->getFragment() ||
68 Hi->isVariable() || Lo->isVariable())
69 return None;
70
71 return Hi->getOffset() - Lo->getOffset();
72}
73
Rafael Espindola7c6e6e42015-06-11 18:58:08 +000074void MCObjectStreamer::emitAbsoluteSymbolDiff(const MCSymbol *Hi,
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000075 const MCSymbol *Lo,
76 unsigned Size) {
Rafael Espindolad09b4162018-02-09 17:00:25 +000077 if (Optional<uint64_t> Diff = absoluteSymbolDiff(Hi, Lo)) {
78 EmitIntValue(*Diff, Size);
Rafael Espindola7c6e6e42015-06-11 18:58:08 +000079 return;
80 }
Rafael Espindolad09b4162018-02-09 17:00:25 +000081 MCStreamer::emitAbsoluteSymbolDiff(Hi, Lo, Size);
82}
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000083
Rafael Espindolad09b4162018-02-09 17:00:25 +000084void MCObjectStreamer::emitAbsoluteSymbolDiffAsULEB128(const MCSymbol *Hi,
85 const MCSymbol *Lo) {
86 if (Optional<uint64_t> Diff = absoluteSymbolDiff(Hi, Lo)) {
87 EmitULEB128IntValue(*Diff);
88 return;
89 }
90 MCStreamer::emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
Duncan P. N. Exon Smith0b73d712015-05-21 02:41:23 +000091}
92
Pedro Artigas7212ee42012-12-12 22:59:46 +000093void MCObjectStreamer::reset() {
Pedro Artigasb95c53e2012-12-14 18:52:11 +000094 if (Assembler)
95 Assembler->reset();
Rafael Espindolaa32d0e92015-05-27 15:14:11 +000096 CurInsertionPoint = MCSection::iterator();
Rafael Espindola3dd8ef62014-05-12 14:02:44 +000097 EmitEHFrame = true;
98 EmitDebugFrame = false;
Derek Schuff5f708e52014-10-22 22:38:06 +000099 PendingLabels.clear();
Pedro Artigas7212ee42012-12-12 22:59:46 +0000100 MCStreamer::reset();
101}
102
Rafael Espindola3dd8ef62014-05-12 14:02:44 +0000103void MCObjectStreamer::EmitFrames(MCAsmBackend *MAB) {
104 if (!getNumFrameInfos())
105 return;
106
107 if (EmitEHFrame)
108 MCDwarfFrameEmitter::Emit(*this, MAB, true);
109
110 if (EmitDebugFrame)
111 MCDwarfFrameEmitter::Emit(*this, MAB, false);
112}
113
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000114MCFragment *MCObjectStreamer::getCurrentFragment() const {
Rafael Espindola983bec62015-05-27 21:04:14 +0000115 assert(getCurrentSectionOnly() && "No current section!");
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000116
Rafael Espindola983bec62015-05-27 21:04:14 +0000117 if (CurInsertionPoint != getCurrentSectionOnly()->getFragmentList().begin())
Duncan P. N. Exon Smitha5f45da2015-10-10 00:13:11 +0000118 return &*std::prev(CurInsertionPoint);
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000119
Craig Topperbb694de2014-04-13 04:57:38 +0000120 return nullptr;
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000121}
122
Peter Smith57f661b2018-06-06 09:40:06 +0000123static bool CanReuseDataFragment(const MCDataFragment &F,
124 const MCAssembler &Assembler,
125 const MCSubtargetInfo *STI) {
126 if (!F.hasInstructions())
127 return true;
Derek Schuff8878bcc92013-02-15 22:50:52 +0000128 // When bundling is enabled, we don't want to add data to a fragment that
129 // already has instructions (see MCELFStreamer::EmitInstToData for details)
Peter Smith57f661b2018-06-06 09:40:06 +0000130 if (Assembler.isBundlingEnabled())
131 return Assembler.getRelaxAll();
132 // If the subtarget is changed mid fragment we start a new fragment to record
133 // the new STI.
134 return !STI || F.getSubtargetInfo() == STI;
135}
136
137MCDataFragment *
138MCObjectStreamer::getOrCreateDataFragment(const MCSubtargetInfo *STI) {
139 MCDataFragment *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
140 if (!F || !CanReuseDataFragment(*F, *Assembler, STI)) {
David Blaikie4d3b0432014-04-10 21:53:47 +0000141 F = new MCDataFragment();
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000142 insert(F);
143 }
Michael J. Spencere2da0a42010-07-19 06:13:10 +0000144 return F;
145}
146
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000147MCPaddingFragment *MCObjectStreamer::getOrCreatePaddingFragment() {
148 MCPaddingFragment *F =
149 dyn_cast_or_null<MCPaddingFragment>(getCurrentFragment());
150 if (!F) {
151 F = new MCPaddingFragment();
152 insert(F);
153 }
154 return F;
155}
156
Rafael Espindola2be12812014-06-25 15:29:54 +0000157void MCObjectStreamer::visitUsedSymbol(const MCSymbol &Sym) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000158 Assembler->registerSymbol(Sym);
Rafael Espindola2be12812014-06-25 15:29:54 +0000159}
160
Rafael Espindola3dd8ef62014-05-12 14:02:44 +0000161void MCObjectStreamer::EmitCFISections(bool EH, bool Debug) {
162 MCStreamer::EmitCFISections(EH, Debug);
163 EmitEHFrame = EH;
164 EmitDebugFrame = Debug;
165}
166
Kevin Enderby96918bc2014-04-22 17:27:29 +0000167void MCObjectStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
Craig Topper3c76c522015-09-20 23:35:59 +0000168 SMLoc Loc) {
Rafael Espindola591c6412014-06-25 18:37:33 +0000169 MCStreamer::EmitValueImpl(Value, Size, Loc);
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000170 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000171 flushPendingLabels(DF, DF->getContents().size());
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000172
Reid Kleckner2214ed82016-01-29 00:49:42 +0000173 MCCVLineEntry::Make(this);
Eric Christopher445c9522016-10-14 05:47:37 +0000174 MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
Cameron Zwarich80cbcd22013-05-25 21:56:53 +0000175
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000176 // Avoid fixups when possible.
177 int64_t AbsValue;
Nirav Dave6c0665e2018-04-30 19:22:40 +0000178 if (Value->evaluateAsAbsolute(AbsValue, getAssemblerPtr())) {
Arnaud A. de Grandmaison6d241792017-05-15 08:43:27 +0000179 if (!isUIntN(8 * Size, AbsValue) && !isIntN(8 * Size, AbsValue)) {
180 getContext().reportError(
181 Loc, "value evaluated as " + Twine(AbsValue) + " is out of range.");
182 return;
183 }
Rafael Espindola64e1af82013-07-02 15:49:13 +0000184 EmitIntValue(AbsValue, Size);
Rafael Espindola4c70eea2010-12-03 02:54:21 +0000185 return;
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000186 }
Eli Benderskya31a8942012-12-07 19:13:57 +0000187 DF->getFixups().push_back(
Jim Grosbach63661f82015-05-15 19:13:05 +0000188 MCFixup::create(DF->getContents().size(), Value,
Kevin Enderby96918bc2014-04-22 17:27:29 +0000189 MCFixup::getKindForSize(Size, false), Loc));
Rafael Espindola4c70eea2010-12-03 02:54:21 +0000190 DF->getContents().resize(DF->getContents().size() + Size, 0);
Rafael Espindolaa084fd62010-11-28 23:08:47 +0000191}
192
Reid Klecknerab23dac2017-10-10 00:57:36 +0000193MCSymbol *MCObjectStreamer::EmitCFILabel() {
194 MCSymbol *Label = getContext().createTempSymbol("cfi", true);
195 EmitLabel(Label);
196 return Label;
197}
198
Oliver Stannardcf6bfb12014-11-03 12:19:03 +0000199void MCObjectStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) {
200 // We need to create a local symbol to avoid relocations.
Jim Grosbach6f482002015-05-18 18:43:14 +0000201 Frame.Begin = getContext().createTempSymbol();
Oliver Stannardcf6bfb12014-11-03 12:19:03 +0000202 EmitLabel(Frame.Begin);
Rafael Espindola38241202012-01-07 22:42:19 +0000203}
204
Rafael Espindolaf28213c2012-01-09 00:17:29 +0000205void MCObjectStreamer::EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) {
Jim Grosbach6f482002015-05-18 18:43:14 +0000206 Frame.End = getContext().createTempSymbol();
Rafael Espindola49bbfd02014-06-25 00:13:59 +0000207 EmitLabel(Frame.End);
Rafael Espindolaf28213c2012-01-09 00:17:29 +0000208}
209
Rafael Espindolabe991572017-02-10 15:13:12 +0000210void MCObjectStreamer::EmitLabel(MCSymbol *Symbol, SMLoc Loc) {
211 MCStreamer::EmitLabel(Symbol, Loc);
Rafael Espindolae5b74152010-11-28 17:18:55 +0000212
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000213 getAssembler().registerSymbol(*Symbol);
Derek Schuff5f708e52014-10-22 22:38:06 +0000214
215 // If there is a current fragment, mark the symbol as pointing into it.
216 // Otherwise queue the label and set its fragment pointer when we emit the
217 // next fragment.
Petr Hosek9e0c8902015-04-12 23:42:25 +0000218 auto *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
219 if (F && !(getAssembler().isBundlingEnabled() &&
220 getAssembler().getRelaxAll())) {
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000221 Symbol->setFragment(F);
Rafael Espindola14672502015-05-29 17:48:04 +0000222 Symbol->setOffset(F->getContents().size());
Derek Schuff5f708e52014-10-22 22:38:06 +0000223 } else {
Rafael Espindola66ccf492015-05-29 17:41:59 +0000224 PendingLabels.push_back(Symbol);
Derek Schuff5f708e52014-10-22 22:38:06 +0000225 }
Rafael Espindolae5b74152010-11-28 17:18:55 +0000226}
227
Weiming Zhao74a7fa02017-04-03 21:50:04 +0000228void MCObjectStreamer::EmitLabel(MCSymbol *Symbol, SMLoc Loc, MCFragment *F) {
229 MCStreamer::EmitLabel(Symbol, Loc);
230 getAssembler().registerSymbol(*Symbol);
231 auto *DF = dyn_cast_or_null<MCDataFragment>(F);
232 if (DF)
233 Symbol->setFragment(F);
234 else
235 PendingLabels.push_back(Symbol);
236}
237
Rafael Espindola6aea5922011-04-21 23:39:26 +0000238void MCObjectStreamer::EmitULEB128Value(const MCExpr *Value) {
Rafael Espindola675fbb22010-12-03 01:19:49 +0000239 int64_t IntValue;
Nirav Dave6c0665e2018-04-30 19:22:40 +0000240 if (Value->evaluateAsAbsolute(IntValue, getAssemblerPtr())) {
Rafael Espindola6aea5922011-04-21 23:39:26 +0000241 EmitULEB128IntValue(IntValue);
Rafael Espindola675fbb22010-12-03 01:19:49 +0000242 return;
243 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000244 insert(new MCLEBFragment(*Value, false));
Rafael Espindola5e874982010-11-02 17:22:24 +0000245}
246
Rafael Espindola6aea5922011-04-21 23:39:26 +0000247void MCObjectStreamer::EmitSLEB128Value(const MCExpr *Value) {
Rafael Espindola675fbb22010-12-03 01:19:49 +0000248 int64_t IntValue;
Nirav Dave6c0665e2018-04-30 19:22:40 +0000249 if (Value->evaluateAsAbsolute(IntValue, getAssemblerPtr())) {
Rafael Espindola6aea5922011-04-21 23:39:26 +0000250 EmitSLEB128IntValue(IntValue);
Rafael Espindola675fbb22010-12-03 01:19:49 +0000251 return;
252 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000253 insert(new MCLEBFragment(*Value, true));
Rafael Espindola5e874982010-11-02 17:22:24 +0000254}
255
Rafael Espindola16145972010-11-01 14:28:48 +0000256void MCObjectStreamer::EmitWeakReference(MCSymbol *Alias,
257 const MCSymbol *Symbol) {
258 report_fatal_error("This file format doesn't support weak aliases.");
259}
260
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000261void MCObjectStreamer::ChangeSection(MCSection *Section,
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000262 const MCExpr *Subsection) {
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000263 changeSectionImpl(Section, Subsection);
264}
265
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000266bool MCObjectStreamer::changeSectionImpl(MCSection *Section,
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000267 const MCExpr *Subsection) {
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000268 assert(Section && "Cannot switch to a null section!");
Derek Schuff5f708e52014-10-22 22:38:06 +0000269 flushPendingLabels(nullptr);
Reid Kleckner2c6430f2018-04-25 23:34:15 +0000270 getContext().clearCVLocSeen();
David Blaikie6c5bbae2017-03-16 00:52:18 +0000271 getContext().clearDwarfLocSeen();
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000272
Rafael Espindolabb9a71c2015-05-26 15:07:25 +0000273 bool Created = getAssembler().registerSection(*Section);
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000274
275 int64_t IntSubsection = 0;
276 if (Subsection &&
Nirav Dave6c0665e2018-04-30 19:22:40 +0000277 !Subsection->evaluateAsAbsolute(IntSubsection, getAssemblerPtr()))
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000278 report_fatal_error("Cannot evaluate subsection number");
279 if (IntSubsection < 0 || IntSubsection > 8192)
280 report_fatal_error("Subsection number out of range");
281 CurInsertionPoint =
Rafael Espindola2f9bdd82015-05-27 20:52:32 +0000282 Section->getSubsectionInsertionPoint(unsigned(IntSubsection));
Rafael Espindola36a15cb2015-03-20 20:00:01 +0000283 return Created;
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000284}
285
Eli Benderskyea2824d2012-12-07 17:42:41 +0000286void MCObjectStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) {
Rafael Espindolab5d316b2015-05-29 20:21:02 +0000287 getAssembler().registerSymbol(*Symbol);
Zoran Jovanovic28221d82014-03-20 09:44:49 +0000288 MCStreamer::EmitAssignment(Symbol, Value);
Eli Benderskyea2824d2012-12-07 17:42:41 +0000289}
290
Rafael Espindolacd625182015-05-25 18:34:26 +0000291bool MCObjectStreamer::mayHaveInstructions(MCSection &Sec) const {
292 return Sec.hasInstructions();
293}
294
Rafael Espindola591c6412014-06-25 18:37:33 +0000295void MCObjectStreamer::EmitInstruction(const MCInst &Inst,
Andrew V. Tischenko75745d02017-04-14 07:44:23 +0000296 const MCSubtargetInfo &STI, bool) {
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000297 getAssembler().getBackend().handleCodePaddingInstructionBegin(Inst);
298 EmitInstructionImpl(Inst, STI);
299 getAssembler().getBackend().handleCodePaddingInstructionEnd(Inst);
300}
301
302void MCObjectStreamer::EmitInstructionImpl(const MCInst &Inst,
303 const MCSubtargetInfo &STI) {
Rafael Espindola591c6412014-06-25 18:37:33 +0000304 MCStreamer::EmitInstruction(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000305
Rafael Espindola983bec62015-05-27 21:04:14 +0000306 MCSection *Sec = getCurrentSectionOnly();
Rafael Espindola3d2aeb22015-05-26 14:48:11 +0000307 Sec->setHasInstructions(true);
Rafael Espindola72b54882010-11-01 16:27:31 +0000308
309 // Now that a machine instruction has been assembled into this section, make
310 // a line entry for any .loc directive that has been seen.
Reid Kleckner2214ed82016-01-29 00:49:42 +0000311 MCCVLineEntry::Make(this);
Eric Christopher445c9522016-10-14 05:47:37 +0000312 MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
Rafael Espindola72b54882010-11-01 16:27:31 +0000313
314 // If this instruction doesn't need relaxation, just emit it as data.
Eli Benderskyf483ff92012-12-20 19:05:53 +0000315 MCAssembler &Assembler = getAssembler();
Peter Smith57f661b2018-06-06 09:40:06 +0000316 if (!Assembler.getBackend().mayNeedRelaxation(Inst, STI)) {
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000317 EmitInstToData(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000318 return;
319 }
320
Eli Benderskyf483ff92012-12-20 19:05:53 +0000321 // Otherwise, relax and emit it as data if either:
322 // - The RelaxAll flag was passed
323 // - Bundling is enabled and this instruction is inside a bundle-locked
324 // group. We want to emit all such instructions into the same data
325 // fragment.
326 if (Assembler.getRelaxAll() ||
Rafael Espindola3d2aeb22015-05-26 14:48:11 +0000327 (Assembler.isBundlingEnabled() && Sec->isBundleLocked())) {
Rafael Espindola72b54882010-11-01 16:27:31 +0000328 MCInst Relaxed;
Nirav Dave86030622016-07-11 14:23:53 +0000329 getAssembler().getBackend().relaxInstruction(Inst, STI, Relaxed);
Peter Smith57f661b2018-06-06 09:40:06 +0000330 while (getAssembler().getBackend().mayNeedRelaxation(Relaxed, STI))
Nirav Dave86030622016-07-11 14:23:53 +0000331 getAssembler().getBackend().relaxInstruction(Relaxed, STI, Relaxed);
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000332 EmitInstToData(Relaxed, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000333 return;
334 }
335
336 // Otherwise emit to a separate fragment.
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000337 EmitInstToFragment(Inst, STI);
Rafael Espindola72b54882010-11-01 16:27:31 +0000338}
339
David Woodhouse6f3c73f2014-01-28 23:12:49 +0000340void MCObjectStreamer::EmitInstToFragment(const MCInst &Inst,
341 const MCSubtargetInfo &STI) {
Petr Hosek9e0c8902015-04-12 23:42:25 +0000342 if (getAssembler().getRelaxAll() && getAssembler().isBundlingEnabled())
343 llvm_unreachable("All instructions should have already been relaxed");
344
Eli Benderskyf483ff92012-12-20 19:05:53 +0000345 // Always create a new, separate fragment here, because its size can change
346 // during relaxation.
David Woodhousef5199f62014-01-28 23:12:53 +0000347 MCRelaxableFragment *IF = new MCRelaxableFragment(Inst, STI);
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000348 insert(IF);
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000349
Eli Friedmanb2545fb2011-04-18 20:54:46 +0000350 SmallString<128> Code;
351 raw_svector_ostream VecOS(Code);
Jim Grosbach91df21f2015-05-15 19:13:16 +0000352 getAssembler().getEmitter().encodeInstruction(Inst, VecOS, IF->getFixups(),
David Woodhouse9784cef2014-01-28 23:13:07 +0000353 STI);
Eli Benderskya31a8942012-12-07 19:13:57 +0000354 IF->getContents().append(Code.begin(), Code.end());
Rafael Espindola3fa6fc12010-12-02 05:44:06 +0000355}
356
Matt Beaumont-Gay5ae72082013-02-15 23:12:33 +0000357#ifndef NDEBUG
Craig Topperd3a34f82013-07-16 01:17:10 +0000358static const char *const BundlingNotImplementedMsg =
Eli Benderskyf483ff92012-12-20 19:05:53 +0000359 "Aligned bundling is not implemented for this object format";
Matt Beaumont-Gay5ae72082013-02-15 23:12:33 +0000360#endif
Eli Benderskyf483ff92012-12-20 19:05:53 +0000361
362void MCObjectStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
363 llvm_unreachable(BundlingNotImplementedMsg);
364}
365
Eli Bendersky802b6282013-01-07 21:51:08 +0000366void MCObjectStreamer::EmitBundleLock(bool AlignToEnd) {
Eli Benderskyf483ff92012-12-20 19:05:53 +0000367 llvm_unreachable(BundlingNotImplementedMsg);
368}
369
370void MCObjectStreamer::EmitBundleUnlock() {
371 llvm_unreachable(BundlingNotImplementedMsg);
372}
373
Ulrich Weigand64f44052013-06-19 21:27:27 +0000374void MCObjectStreamer::EmitDwarfLocDirective(unsigned FileNo, unsigned Line,
375 unsigned Column, unsigned Flags,
376 unsigned Isa,
377 unsigned Discriminator,
378 StringRef FileName) {
379 // In case we see two .loc directives in a row, make sure the
380 // first one gets a line entry.
Eric Christopher445c9522016-10-14 05:47:37 +0000381 MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
Ulrich Weigand64f44052013-06-19 21:27:27 +0000382
383 this->MCStreamer::EmitDwarfLocDirective(FileNo, Line, Column, Flags,
384 Isa, Discriminator, FileName);
385}
386
Rafael Espindola38518082014-08-15 14:31:47 +0000387static const MCExpr *buildSymbolDiff(MCObjectStreamer &OS, const MCSymbol *A,
388 const MCSymbol *B) {
389 MCContext &Context = OS.getContext();
390 MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
Jim Grosbach13760bd2015-05-30 01:25:56 +0000391 const MCExpr *ARef = MCSymbolRefExpr::create(A, Variant, Context);
392 const MCExpr *BRef = MCSymbolRefExpr::create(B, Variant, Context);
Rafael Espindola38518082014-08-15 14:31:47 +0000393 const MCExpr *AddrDelta =
Jim Grosbach13760bd2015-05-30 01:25:56 +0000394 MCBinaryExpr::create(MCBinaryExpr::Sub, ARef, BRef, Context);
Rafael Espindola38518082014-08-15 14:31:47 +0000395 return AddrDelta;
396}
397
Frederic Rissa5ab8442015-08-07 15:14:08 +0000398static void emitDwarfSetLineAddr(MCObjectStreamer &OS,
399 MCDwarfLineTableParams Params,
400 int64_t LineDelta, const MCSymbol *Label,
401 int PointerSize) {
Rafael Espindola5e955fb2014-08-15 14:43:02 +0000402 // emit the sequence to set the address
403 OS.EmitIntValue(dwarf::DW_LNS_extended_op, 1);
404 OS.EmitULEB128IntValue(PointerSize + 1);
405 OS.EmitIntValue(dwarf::DW_LNE_set_address, 1);
406 OS.EmitSymbolValue(Label, PointerSize);
407
408 // emit the sequence for the LineDelta (from 1) and a zero address delta.
Frederic Rissa5ab8442015-08-07 15:14:08 +0000409 MCDwarfLineAddr::Emit(&OS, Params, LineDelta, 0);
Rafael Espindola5e955fb2014-08-15 14:43:02 +0000410}
411
Rafael Espindola57ab7082010-12-03 00:55:40 +0000412void MCObjectStreamer::EmitDwarfAdvanceLineAddr(int64_t LineDelta,
413 const MCSymbol *LastLabel,
Evan Chengc7ac6902011-07-14 05:43:07 +0000414 const MCSymbol *Label,
415 unsigned PointerSize) {
Rafael Espindola57ab7082010-12-03 00:55:40 +0000416 if (!LastLabel) {
Frederic Rissa5ab8442015-08-07 15:14:08 +0000417 emitDwarfSetLineAddr(*this, Assembler->getDWARFLinetableParams(), LineDelta,
418 Label, PointerSize);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000419 return;
420 }
Rafael Espindola38518082014-08-15 14:31:47 +0000421 const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000422 int64_t Res;
Nirav Dave6c0665e2018-04-30 19:22:40 +0000423 if (AddrDelta->evaluateAsAbsolute(Res, getAssemblerPtr())) {
Frederic Rissa5ab8442015-08-07 15:14:08 +0000424 MCDwarfLineAddr::Emit(this, Assembler->getDWARFLinetableParams(), LineDelta,
425 Res);
Rafael Espindola57ab7082010-12-03 00:55:40 +0000426 return;
427 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000428 insert(new MCDwarfLineAddrFragment(LineDelta, *AddrDelta));
Rafael Espindola57ab7082010-12-03 00:55:40 +0000429}
430
Rafael Espindola736a35d2010-12-28 05:39:27 +0000431void MCObjectStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel,
432 const MCSymbol *Label) {
Rafael Espindola38518082014-08-15 14:31:47 +0000433 const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
Rafael Espindola736a35d2010-12-28 05:39:27 +0000434 int64_t Res;
Nirav Dave6c0665e2018-04-30 19:22:40 +0000435 if (AddrDelta->evaluateAsAbsolute(Res, getAssemblerPtr())) {
Rafael Espindola736a35d2010-12-28 05:39:27 +0000436 MCDwarfFrameEmitter::EmitAdvanceLoc(*this, Res);
437 return;
438 }
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000439 insert(new MCDwarfCallFrameFragment(*AddrDelta));
Rafael Espindola736a35d2010-12-28 05:39:27 +0000440}
441
Reid Kleckner2214ed82016-01-29 00:49:42 +0000442void MCObjectStreamer::EmitCVLocDirective(unsigned FunctionId, unsigned FileNo,
443 unsigned Line, unsigned Column,
444 bool PrologueEnd, bool IsStmt,
Reid Klecknera9f4cc92016-09-07 16:15:31 +0000445 StringRef FileName, SMLoc Loc) {
Reid Kleckner2214ed82016-01-29 00:49:42 +0000446 // In case we see two .cv_loc directives in a row, make sure the
447 // first one gets a line entry.
448 MCCVLineEntry::Make(this);
449
450 this->MCStreamer::EmitCVLocDirective(FunctionId, FileNo, Line, Column,
Reid Klecknera9f4cc92016-09-07 16:15:31 +0000451 PrologueEnd, IsStmt, FileName, Loc);
Reid Kleckner2214ed82016-01-29 00:49:42 +0000452}
453
454void MCObjectStreamer::EmitCVLinetableDirective(unsigned FunctionId,
455 const MCSymbol *Begin,
456 const MCSymbol *End) {
457 getContext().getCVContext().emitLineTableForFunction(*this, FunctionId, Begin,
458 End);
459 this->MCStreamer::EmitCVLinetableDirective(FunctionId, Begin, End);
460}
461
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000462void MCObjectStreamer::EmitCVInlineLinetableDirective(
463 unsigned PrimaryFunctionId, unsigned SourceFileId, unsigned SourceLineNum,
Reid Klecknera9f4cc92016-09-07 16:15:31 +0000464 const MCSymbol *FnStartSym, const MCSymbol *FnEndSym) {
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000465 getContext().getCVContext().emitInlineLineTableForFunction(
Reid Kleckner1fcd6102016-02-02 17:41:18 +0000466 *this, PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym,
Reid Klecknera9f4cc92016-09-07 16:15:31 +0000467 FnEndSym);
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000468 this->MCStreamer::EmitCVInlineLinetableDirective(
Reid Klecknera9f4cc92016-09-07 16:15:31 +0000469 PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym, FnEndSym);
David Majnemer6fcbd7e2016-01-29 19:24:12 +0000470}
471
David Majnemer408b5e62016-02-05 01:55:49 +0000472void MCObjectStreamer::EmitCVDefRangeDirective(
473 ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
474 StringRef FixedSizePortion) {
475 getContext().getCVContext().emitDefRange(*this, Ranges, FixedSizePortion);
476 this->MCStreamer::EmitCVDefRangeDirective(Ranges, FixedSizePortion);
477}
478
Reid Kleckner2214ed82016-01-29 00:49:42 +0000479void MCObjectStreamer::EmitCVStringTableDirective() {
480 getContext().getCVContext().emitStringTable(*this);
481}
482void MCObjectStreamer::EmitCVFileChecksumsDirective() {
483 getContext().getCVContext().emitFileChecksums(*this);
484}
485
Reid Kleckner26fa1bf2017-09-19 18:14:45 +0000486void MCObjectStreamer::EmitCVFileChecksumOffsetDirective(unsigned FileNo) {
487 getContext().getCVContext().emitFileChecksumOffset(*this, FileNo);
488}
Reid Kleckner2214ed82016-01-29 00:49:42 +0000489
Rafael Espindola64e1af82013-07-02 15:49:13 +0000490void MCObjectStreamer::EmitBytes(StringRef Data) {
Reid Kleckner2214ed82016-01-29 00:49:42 +0000491 MCCVLineEntry::Make(this);
Eric Christopher445c9522016-10-14 05:47:37 +0000492 MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
Petr Hosek32946702015-06-27 01:54:17 +0000493 MCDataFragment *DF = getOrCreateDataFragment();
494 flushPendingLabels(DF, DF->getContents().size());
495 DF->getContents().append(Data.begin(), Data.end());
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000496}
497
498void MCObjectStreamer::EmitValueToAlignment(unsigned ByteAlignment,
499 int64_t Value,
500 unsigned ValueSize,
501 unsigned MaxBytesToEmit) {
502 if (MaxBytesToEmit == 0)
503 MaxBytesToEmit = ByteAlignment;
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000504 insert(new MCAlignFragment(ByteAlignment, Value, ValueSize, MaxBytesToEmit));
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000505
506 // Update the maximum alignment on the current section if necessary.
Eric Christopher445c9522016-10-14 05:47:37 +0000507 MCSection *CurSec = getCurrentSectionOnly();
Rafael Espindola967d6a62015-05-21 21:02:35 +0000508 if (ByteAlignment > CurSec->getAlignment())
509 CurSec->setAlignment(ByteAlignment);
Benjamin Kramer64ddcb02012-10-04 13:12:43 +0000510}
511
512void MCObjectStreamer::EmitCodeAlignment(unsigned ByteAlignment,
513 unsigned MaxBytesToEmit) {
514 EmitValueToAlignment(ByteAlignment, 0, 1, MaxBytesToEmit);
515 cast<MCAlignFragment>(getCurrentFragment())->setEmitNops(true);
516}
517
Rafael Espindola7ae65d82015-11-04 23:59:18 +0000518void MCObjectStreamer::emitValueToOffset(const MCExpr *Offset,
Oliver Stannard268f42f2016-12-14 10:43:58 +0000519 unsigned char Value,
520 SMLoc Loc) {
521 insert(new MCOrgFragment(*Offset, Value, Loc));
Rafael Espindola9065bfc62010-12-02 05:59:38 +0000522}
523
Omer Paparo Bivas2251c792017-10-24 06:16:03 +0000524void MCObjectStreamer::EmitCodePaddingBasicBlockStart(
525 const MCCodePaddingContext &Context) {
526 getAssembler().getBackend().handleCodePaddingBasicBlockStart(this, Context);
527}
528
529void MCObjectStreamer::EmitCodePaddingBasicBlockEnd(
530 const MCCodePaddingContext &Context) {
531 getAssembler().getBackend().handleCodePaddingBasicBlockEnd(Context);
532}
533
Simon Atanasyaneb9ed612016-08-22 16:18:42 +0000534// Associate DTPRel32 fixup with data and resize data area
535void MCObjectStreamer::EmitDTPRel32Value(const MCExpr *Value) {
536 MCDataFragment *DF = getOrCreateDataFragment();
537 flushPendingLabels(DF, DF->getContents().size());
538
539 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
540 Value, FK_DTPRel_4));
541 DF->getContents().resize(DF->getContents().size() + 4, 0);
542}
543
544// Associate DTPRel64 fixup with data and resize data area
545void MCObjectStreamer::EmitDTPRel64Value(const MCExpr *Value) {
546 MCDataFragment *DF = getOrCreateDataFragment();
547 flushPendingLabels(DF, DF->getContents().size());
548
549 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
550 Value, FK_DTPRel_8));
551 DF->getContents().resize(DF->getContents().size() + 8, 0);
552}
553
554// Associate TPRel32 fixup with data and resize data area
555void MCObjectStreamer::EmitTPRel32Value(const MCExpr *Value) {
556 MCDataFragment *DF = getOrCreateDataFragment();
557 flushPendingLabels(DF, DF->getContents().size());
558
559 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
560 Value, FK_TPRel_4));
561 DF->getContents().resize(DF->getContents().size() + 4, 0);
562}
563
564// Associate TPRel64 fixup with data and resize data area
565void MCObjectStreamer::EmitTPRel64Value(const MCExpr *Value) {
566 MCDataFragment *DF = getOrCreateDataFragment();
567 flushPendingLabels(DF, DF->getContents().size());
568
569 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
570 Value, FK_TPRel_8));
571 DF->getContents().resize(DF->getContents().size() + 8, 0);
572}
573
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000574// Associate GPRel32 fixup with data and resize data area
575void MCObjectStreamer::EmitGPRel32Value(const MCExpr *Value) {
576 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000577 flushPendingLabels(DF, DF->getContents().size());
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000578
Weiming Zhao74a7fa02017-04-03 21:50:04 +0000579 DF->getFixups().push_back(
580 MCFixup::create(DF->getContents().size(), Value, FK_GPRel_4));
Akira Hatanakaf5ddf132011-11-23 22:18:04 +0000581 DF->getContents().resize(DF->getContents().size() + 4, 0);
582}
583
Simon Atanasyaneb9ed612016-08-22 16:18:42 +0000584// Associate GPRel64 fixup with data and resize data area
Jack Carter77064c02012-08-22 00:49:30 +0000585void MCObjectStreamer::EmitGPRel64Value(const MCExpr *Value) {
586 MCDataFragment *DF = getOrCreateDataFragment();
Petr Hosek32946702015-06-27 01:54:17 +0000587 flushPendingLabels(DF, DF->getContents().size());
Jack Carter77064c02012-08-22 00:49:30 +0000588
Weiming Zhao74a7fa02017-04-03 21:50:04 +0000589 DF->getFixups().push_back(
590 MCFixup::create(DF->getContents().size(), Value, FK_GPRel_4));
Jack Carter77064c02012-08-22 00:49:30 +0000591 DF->getContents().resize(DF->getContents().size() + 8, 0);
592}
593
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000594bool MCObjectStreamer::EmitRelocDirective(const MCExpr &Offset, StringRef Name,
Peter Smith57f661b2018-06-06 09:40:06 +0000595 const MCExpr *Expr, SMLoc Loc,
596 const MCSubtargetInfo &STI) {
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000597 int64_t OffsetValue;
598 if (!Offset.evaluateAsAbsolute(OffsetValue))
599 llvm_unreachable("Offset is not absolute");
600
David Majnemerce108422016-01-19 23:05:27 +0000601 if (OffsetValue < 0)
602 llvm_unreachable("Offset is negative");
603
Peter Smith57f661b2018-06-06 09:40:06 +0000604 MCDataFragment *DF = getOrCreateDataFragment(&STI);
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000605 flushPendingLabels(DF, DF->getContents().size());
606
David Majnemerce108422016-01-19 23:05:27 +0000607 Optional<MCFixupKind> MaybeKind = Assembler->getBackend().getFixupKind(Name);
608 if (!MaybeKind.hasValue())
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000609 return true;
610
David Majnemerce108422016-01-19 23:05:27 +0000611 MCFixupKind Kind = *MaybeKind;
612
Daniel Sanders9f6ad492015-11-12 13:33:00 +0000613 if (Expr == nullptr)
614 Expr =
615 MCSymbolRefExpr::create(getContext().createTempSymbol(), getContext());
616 DF->getFixups().push_back(MCFixup::create(OffsetValue, Expr, Kind, Loc));
617 return false;
618}
619
Petr Hosek67a94a72016-05-28 05:57:48 +0000620void MCObjectStreamer::emitFill(const MCExpr &NumBytes, uint64_t FillValue,
621 SMLoc Loc) {
622 MCDataFragment *DF = getOrCreateDataFragment();
623 flushPendingLabels(DF, DF->getContents().size());
624
Rafael Espindola8fcd07d2018-01-09 19:29:33 +0000625 assert(getCurrentSectionOnly() && "need a section");
Nirav Dave588fad42018-05-18 17:45:48 +0000626 insert(new MCFillFragment(FillValue, 1, NumBytes, Loc));
Petr Hosek67a94a72016-05-28 05:57:48 +0000627}
628
629void MCObjectStreamer::emitFill(const MCExpr &NumValues, int64_t Size,
630 int64_t Expr, SMLoc Loc) {
631 int64_t IntNumValues;
Nirav Dave588fad42018-05-18 17:45:48 +0000632 // Do additional checking now if we can resolve the value.
633 if (NumValues.evaluateAsAbsolute(IntNumValues, getAssemblerPtr())) {
634 if (IntNumValues < 0) {
635 getContext().getSourceManager()->PrintMessage(
636 Loc, SourceMgr::DK_Warning,
637 "'.fill' directive with negative repeat count has no effect");
638 return;
639 }
640 // Emit now if we can for better errors.
641 int64_t NonZeroSize = Size > 4 ? 4 : Size;
642 Expr &= ~0ULL >> (64 - NonZeroSize * 8);
643 for (uint64_t i = 0, e = IntNumValues; i != e; ++i) {
644 EmitIntValue(Expr, NonZeroSize);
645 if (NonZeroSize < Size)
646 EmitIntValue(0, Size - NonZeroSize);
647 }
Petr Hosek67a94a72016-05-28 05:57:48 +0000648 return;
649 }
650
Nirav Dave588fad42018-05-18 17:45:48 +0000651 // Otherwise emit as fragment.
652 MCDataFragment *DF = getOrCreateDataFragment();
653 flushPendingLabels(DF, DF->getContents().size());
Petr Hosek67a94a72016-05-28 05:57:48 +0000654
Nirav Dave588fad42018-05-18 17:45:48 +0000655 assert(getCurrentSectionOnly() && "need a section");
656 insert(new MCFillFragment(Expr, Size, NumValues, Loc));
Petr Hosek67a94a72016-05-28 05:57:48 +0000657}
658
Peter Collingbourne5b75fd92017-03-03 21:22:06 +0000659void MCObjectStreamer::EmitFileDirective(StringRef Filename) {
660 getAssembler().addFileName(Filename);
661}
662
Rafael Espindola07082092012-01-07 03:13:18 +0000663void MCObjectStreamer::FinishImpl() {
Paul Robinsonc17c8bf2018-07-10 14:41:54 +0000664 // Remap the compilation directory before emitting.
665 getContext().RemapCompilationDir();
666
Kevin Enderbye7739d42011-12-09 18:09:40 +0000667 // If we are generating dwarf for assembly source files dump out the sections.
668 if (getContext().getGenDwarfForAssembly())
David Blaikie8bf66c42014-04-01 07:35:52 +0000669 MCGenDwarfInfo::Emit(this);
670
671 // Dump out the dwarf file & directory tables and line tables.
Frederic Rissa5ab8442015-08-07 15:14:08 +0000672 MCDwarfLineTable::Emit(this, getAssembler().getDWARFLinetableParams());
Kevin Enderbye7739d42011-12-09 18:09:40 +0000673
Jonas Devliegheree13e6db2018-07-10 15:32:17 +0000674 flushPendingLabels();
Daniel Dunbarb2347fe2010-06-16 20:04:25 +0000675 getAssembler().Finish();
676}