2010-06-16 22:04:22 +02:00
|
|
|
//===- lib/MC/MCObjectStreamer.cpp - Object File MCStreamer Interface -----===//
|
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2010-06-16 22:04:22 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/MC/MCObjectStreamer.h"
|
2013-04-17 23:18:16 +02:00
|
|
|
#include "llvm/ADT/STLExtras.h"
|
2012-03-26 08:58:25 +02:00
|
|
|
#include "llvm/MC/MCAsmBackend.h"
|
2010-06-16 22:04:22 +02:00
|
|
|
#include "llvm/MC/MCAssembler.h"
|
2010-07-29 19:48:06 +02:00
|
|
|
#include "llvm/MC/MCCodeEmitter.h"
|
2016-08-26 19:58:37 +02:00
|
|
|
#include "llvm/MC/MCCodeView.h"
|
2010-12-10 08:39:47 +01:00
|
|
|
#include "llvm/MC/MCContext.h"
|
2010-11-01 17:27:31 +01:00
|
|
|
#include "llvm/MC/MCDwarf.h"
|
2010-07-19 08:13:10 +02:00
|
|
|
#include "llvm/MC/MCExpr.h"
|
2012-03-26 08:58:25 +02:00
|
|
|
#include "llvm/MC/MCObjectWriter.h"
|
2013-06-27 16:35:03 +02:00
|
|
|
#include "llvm/MC/MCSection.h"
|
2014-01-07 12:48:04 +01:00
|
|
|
#include "llvm/MC/MCSymbol.h"
|
2012-03-26 08:58:25 +02:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2016-05-28 07:57:48 +02:00
|
|
|
#include "llvm/Support/SourceMgr.h"
|
2010-06-16 22:04:22 +02:00
|
|
|
using namespace llvm;
|
|
|
|
|
2017-10-11 03:57:21 +02:00
|
|
|
MCObjectStreamer::MCObjectStreamer(MCContext &Context,
|
|
|
|
std::unique_ptr<MCAsmBackend> TAB,
|
2018-05-18 20:26:45 +02:00
|
|
|
std::unique_ptr<MCObjectWriter> OW,
|
2017-10-12 01:34:47 +02:00
|
|
|
std::unique_ptr<MCCodeEmitter> Emitter)
|
2018-04-27 17:45:27 +02:00
|
|
|
: MCStreamer(Context),
|
2019-08-15 17:54:37 +02:00
|
|
|
Assembler(std::make_unique<MCAssembler>(
|
2018-05-18 20:26:45 +02:00
|
|
|
Context, std::move(TAB), std::move(Emitter), std::move(OW))),
|
2015-05-27 22:52:32 +02:00
|
|
|
EmitEHFrame(true), EmitDebugFrame(false) {}
|
2010-06-16 22:04:22 +02:00
|
|
|
|
2017-10-12 01:34:47 +02:00
|
|
|
MCObjectStreamer::~MCObjectStreamer() {}
|
2010-06-16 22:04:25 +02:00
|
|
|
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
// AssemblerPtr is used for evaluation of expressions and causes
|
|
|
|
// difference between asm and object outputs. Return nullptr to in
|
|
|
|
// inline asm mode to limit divergence to assembly inputs.
|
|
|
|
MCAssembler *MCObjectStreamer::getAssemblerPtr() {
|
|
|
|
if (getUseAssemblerInfoForParsing())
|
|
|
|
return Assembler.get();
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
2015-04-13 01:42:25 +02:00
|
|
|
void MCObjectStreamer::flushPendingLabels(MCFragment *F, uint64_t FOffset) {
|
2015-10-03 02:57:12 +02:00
|
|
|
if (PendingLabels.empty())
|
|
|
|
return;
|
|
|
|
if (!F) {
|
|
|
|
F = new MCDataFragment();
|
|
|
|
MCSection *CurSection = getCurrentSectionOnly();
|
|
|
|
CurSection->getFragmentList().insert(CurInsertionPoint, F);
|
|
|
|
F->setParent(CurSection);
|
|
|
|
}
|
|
|
|
for (MCSymbol *Sym : PendingLabels) {
|
|
|
|
Sym->setFragment(F);
|
|
|
|
Sym->setOffset(FOffset);
|
2014-10-23 00:38:06 +02:00
|
|
|
}
|
2015-10-03 02:57:12 +02:00
|
|
|
PendingLabels.clear();
|
2014-10-23 00:38:06 +02:00
|
|
|
}
|
|
|
|
|
2018-11-21 17:28:39 +01:00
|
|
|
// When fixup's offset is a forward declared label, e.g.:
|
|
|
|
//
|
|
|
|
// .reloc 1f, R_MIPS_JALR, foo
|
|
|
|
// 1: nop
|
|
|
|
//
|
|
|
|
// postpone adding it to Fixups vector until the label is defined and its offset
|
|
|
|
// is known.
|
|
|
|
void MCObjectStreamer::resolvePendingFixups() {
|
|
|
|
for (PendingMCFixup &PendingFixup : PendingFixups) {
|
|
|
|
if (!PendingFixup.Sym || PendingFixup.Sym->isUndefined ()) {
|
|
|
|
getContext().reportError(PendingFixup.Fixup.getLoc(),
|
|
|
|
"unresolved relocation offset");
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
flushPendingLabels(PendingFixup.DF, PendingFixup.DF->getContents().size());
|
|
|
|
PendingFixup.Fixup.setOffset(PendingFixup.Sym->getOffset());
|
|
|
|
PendingFixup.DF->getFixups().push_back(PendingFixup.Fixup);
|
|
|
|
}
|
|
|
|
PendingFixups.clear();
|
|
|
|
}
|
|
|
|
|
2018-02-09 18:00:25 +01:00
|
|
|
// As a compile-time optimization, avoid allocating and evaluating an MCExpr
|
|
|
|
// tree for (Hi - Lo) when Hi and Lo are offsets into the same fragment.
|
2018-08-16 13:26:37 +02:00
|
|
|
static Optional<uint64_t>
|
|
|
|
absoluteSymbolDiff(MCAssembler &Asm, const MCSymbol *Hi, const MCSymbol *Lo) {
|
2018-03-15 22:24:04 +01:00
|
|
|
assert(Hi && Lo);
|
2018-08-16 13:26:37 +02:00
|
|
|
if (Asm.getBackendPtr()->requiresDiffExpressionRelocations())
|
|
|
|
return None;
|
|
|
|
|
2018-02-09 18:00:25 +01:00
|
|
|
if (!Hi->getFragment() || Hi->getFragment() != Lo->getFragment() ||
|
|
|
|
Hi->isVariable() || Lo->isVariable())
|
|
|
|
return None;
|
|
|
|
|
|
|
|
return Hi->getOffset() - Lo->getOffset();
|
|
|
|
}
|
|
|
|
|
2015-06-11 20:58:08 +02:00
|
|
|
void MCObjectStreamer::emitAbsoluteSymbolDiff(const MCSymbol *Hi,
|
2015-05-21 04:41:23 +02:00
|
|
|
const MCSymbol *Lo,
|
|
|
|
unsigned Size) {
|
2018-08-16 13:26:37 +02:00
|
|
|
if (Optional<uint64_t> Diff = absoluteSymbolDiff(getAssembler(), Hi, Lo)) {
|
2018-02-09 18:00:25 +01:00
|
|
|
EmitIntValue(*Diff, Size);
|
2015-06-11 20:58:08 +02:00
|
|
|
return;
|
|
|
|
}
|
2018-02-09 18:00:25 +01:00
|
|
|
MCStreamer::emitAbsoluteSymbolDiff(Hi, Lo, Size);
|
|
|
|
}
|
2015-05-21 04:41:23 +02:00
|
|
|
|
2018-02-09 18:00:25 +01:00
|
|
|
void MCObjectStreamer::emitAbsoluteSymbolDiffAsULEB128(const MCSymbol *Hi,
|
|
|
|
const MCSymbol *Lo) {
|
2018-08-16 13:26:37 +02:00
|
|
|
if (Optional<uint64_t> Diff = absoluteSymbolDiff(getAssembler(), Hi, Lo)) {
|
2018-02-09 18:00:25 +01:00
|
|
|
EmitULEB128IntValue(*Diff);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
MCStreamer::emitAbsoluteSymbolDiffAsULEB128(Hi, Lo);
|
2015-05-21 04:41:23 +02:00
|
|
|
}
|
|
|
|
|
2012-12-12 23:59:46 +01:00
|
|
|
void MCObjectStreamer::reset() {
|
2012-12-14 19:52:11 +01:00
|
|
|
if (Assembler)
|
|
|
|
Assembler->reset();
|
2015-05-27 17:14:11 +02:00
|
|
|
CurInsertionPoint = MCSection::iterator();
|
2014-05-12 16:02:44 +02:00
|
|
|
EmitEHFrame = true;
|
|
|
|
EmitDebugFrame = false;
|
2014-10-23 00:38:06 +02:00
|
|
|
PendingLabels.clear();
|
2012-12-12 23:59:46 +01:00
|
|
|
MCStreamer::reset();
|
|
|
|
}
|
|
|
|
|
2014-05-12 16:02:44 +02:00
|
|
|
void MCObjectStreamer::EmitFrames(MCAsmBackend *MAB) {
|
|
|
|
if (!getNumFrameInfos())
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (EmitEHFrame)
|
|
|
|
MCDwarfFrameEmitter::Emit(*this, MAB, true);
|
|
|
|
|
|
|
|
if (EmitDebugFrame)
|
|
|
|
MCDwarfFrameEmitter::Emit(*this, MAB, false);
|
|
|
|
}
|
|
|
|
|
2010-07-19 08:13:10 +02:00
|
|
|
MCFragment *MCObjectStreamer::getCurrentFragment() const {
|
2015-05-27 23:04:14 +02:00
|
|
|
assert(getCurrentSectionOnly() && "No current section!");
|
2010-07-19 08:13:10 +02:00
|
|
|
|
2015-05-27 23:04:14 +02:00
|
|
|
if (CurInsertionPoint != getCurrentSectionOnly()->getFragmentList().begin())
|
2015-10-10 02:13:11 +02:00
|
|
|
return &*std::prev(CurInsertionPoint);
|
2010-07-19 08:13:10 +02:00
|
|
|
|
2014-04-13 06:57:38 +02:00
|
|
|
return nullptr;
|
2010-07-19 08:13:10 +02:00
|
|
|
}
|
|
|
|
|
2018-06-06 11:40:06 +02:00
|
|
|
static bool CanReuseDataFragment(const MCDataFragment &F,
|
|
|
|
const MCAssembler &Assembler,
|
|
|
|
const MCSubtargetInfo *STI) {
|
|
|
|
if (!F.hasInstructions())
|
|
|
|
return true;
|
2013-02-15 23:50:52 +01:00
|
|
|
// When bundling is enabled, we don't want to add data to a fragment that
|
|
|
|
// already has instructions (see MCELFStreamer::EmitInstToData for details)
|
2018-06-06 11:40:06 +02:00
|
|
|
if (Assembler.isBundlingEnabled())
|
|
|
|
return Assembler.getRelaxAll();
|
|
|
|
// If the subtarget is changed mid fragment we start a new fragment to record
|
|
|
|
// the new STI.
|
|
|
|
return !STI || F.getSubtargetInfo() == STI;
|
|
|
|
}
|
|
|
|
|
|
|
|
MCDataFragment *
|
|
|
|
MCObjectStreamer::getOrCreateDataFragment(const MCSubtargetInfo *STI) {
|
|
|
|
MCDataFragment *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
|
|
|
|
if (!F || !CanReuseDataFragment(*F, *Assembler, STI)) {
|
2014-04-10 23:53:47 +02:00
|
|
|
F = new MCDataFragment();
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(F);
|
|
|
|
}
|
2010-07-19 08:13:10 +02:00
|
|
|
return F;
|
|
|
|
}
|
|
|
|
|
2017-10-24 08:16:03 +02:00
|
|
|
MCPaddingFragment *MCObjectStreamer::getOrCreatePaddingFragment() {
|
|
|
|
MCPaddingFragment *F =
|
|
|
|
dyn_cast_or_null<MCPaddingFragment>(getCurrentFragment());
|
|
|
|
if (!F) {
|
|
|
|
F = new MCPaddingFragment();
|
|
|
|
insert(F);
|
|
|
|
}
|
|
|
|
return F;
|
|
|
|
}
|
|
|
|
|
2014-06-25 17:29:54 +02:00
|
|
|
void MCObjectStreamer::visitUsedSymbol(const MCSymbol &Sym) {
|
2015-05-29 22:21:02 +02:00
|
|
|
Assembler->registerSymbol(Sym);
|
2014-06-25 17:29:54 +02:00
|
|
|
}
|
|
|
|
|
2014-05-12 16:02:44 +02:00
|
|
|
void MCObjectStreamer::EmitCFISections(bool EH, bool Debug) {
|
|
|
|
MCStreamer::EmitCFISections(EH, Debug);
|
|
|
|
EmitEHFrame = EH;
|
|
|
|
EmitDebugFrame = Debug;
|
|
|
|
}
|
|
|
|
|
2014-04-22 19:27:29 +02:00
|
|
|
void MCObjectStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
|
2015-09-21 01:35:59 +02:00
|
|
|
SMLoc Loc) {
|
2014-06-25 20:37:33 +02:00
|
|
|
MCStreamer::EmitValueImpl(Value, Size, Loc);
|
2010-11-29 00:08:47 +01:00
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
2015-06-27 03:54:17 +02:00
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
2010-11-29 00:08:47 +01:00
|
|
|
|
2016-10-14 07:47:37 +02:00
|
|
|
MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
|
2013-05-25 23:56:53 +02:00
|
|
|
|
2010-11-29 00:08:47 +01:00
|
|
|
// Avoid fixups when possible.
|
|
|
|
int64_t AbsValue;
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
if (Value->evaluateAsAbsolute(AbsValue, getAssemblerPtr())) {
|
2017-05-15 10:43:27 +02:00
|
|
|
if (!isUIntN(8 * Size, AbsValue) && !isIntN(8 * Size, AbsValue)) {
|
|
|
|
getContext().reportError(
|
|
|
|
Loc, "value evaluated as " + Twine(AbsValue) + " is out of range.");
|
|
|
|
return;
|
|
|
|
}
|
2013-07-02 17:49:13 +02:00
|
|
|
EmitIntValue(AbsValue, Size);
|
2010-12-03 03:54:21 +01:00
|
|
|
return;
|
2010-11-29 00:08:47 +01:00
|
|
|
}
|
2012-12-07 20:13:57 +01:00
|
|
|
DF->getFixups().push_back(
|
2015-05-15 21:13:05 +02:00
|
|
|
MCFixup::create(DF->getContents().size(), Value,
|
2014-04-22 19:27:29 +02:00
|
|
|
MCFixup::getKindForSize(Size, false), Loc));
|
2010-12-03 03:54:21 +01:00
|
|
|
DF->getContents().resize(DF->getContents().size() + Size, 0);
|
2010-11-29 00:08:47 +01:00
|
|
|
}
|
|
|
|
|
[MC] Suppress .Lcfi labels when emitting textual assembly
Summary:
This suppresses the generation of .Lcfi labels in our textual assembler.
It was annoying that this generated cascading .Lcfi labels:
llc foo.ll -o - | llvm-mc | llvm-mc
After three trips through MCAsmStreamer, we'd have three labels in the
output when none are necessary. We should only bother creating the
labels and frame data when making a real object file.
This supercedes D38605, which moved the entire .seh_ implementation into
MCObjectStreamer.
This has the advantage that we do more checking when emitting textual
assembly, as a minor efficiency cost. Outputting textual assembly is not
performance critical, so this shouldn't matter.
Reviewers: majnemer, MatzeB
Subscribers: qcolombet, nemanjai, javed.absar, eraman, hiraditya, JDevlieghere, llvm-commits
Differential Revision: https://reviews.llvm.org/D38638
llvm-svn: 315259
2017-10-10 02:57:36 +02:00
|
|
|
MCSymbol *MCObjectStreamer::EmitCFILabel() {
|
|
|
|
MCSymbol *Label = getContext().createTempSymbol("cfi", true);
|
|
|
|
EmitLabel(Label);
|
|
|
|
return Label;
|
|
|
|
}
|
|
|
|
|
2014-11-03 13:19:03 +01:00
|
|
|
void MCObjectStreamer::EmitCFIStartProcImpl(MCDwarfFrameInfo &Frame) {
|
|
|
|
// We need to create a local symbol to avoid relocations.
|
2015-05-18 20:43:14 +02:00
|
|
|
Frame.Begin = getContext().createTempSymbol();
|
2014-11-03 13:19:03 +01:00
|
|
|
EmitLabel(Frame.Begin);
|
2012-01-07 23:42:19 +01:00
|
|
|
}
|
|
|
|
|
2012-01-09 01:17:29 +01:00
|
|
|
void MCObjectStreamer::EmitCFIEndProcImpl(MCDwarfFrameInfo &Frame) {
|
2015-05-18 20:43:14 +02:00
|
|
|
Frame.End = getContext().createTempSymbol();
|
2014-06-25 02:13:59 +02:00
|
|
|
EmitLabel(Frame.End);
|
2012-01-09 01:17:29 +01:00
|
|
|
}
|
|
|
|
|
2017-02-10 16:13:12 +01:00
|
|
|
void MCObjectStreamer::EmitLabel(MCSymbol *Symbol, SMLoc Loc) {
|
|
|
|
MCStreamer::EmitLabel(Symbol, Loc);
|
2010-11-28 18:18:55 +01:00
|
|
|
|
2015-05-29 22:21:02 +02:00
|
|
|
getAssembler().registerSymbol(*Symbol);
|
2014-10-23 00:38:06 +02:00
|
|
|
|
|
|
|
// If there is a current fragment, mark the symbol as pointing into it.
|
|
|
|
// Otherwise queue the label and set its fragment pointer when we emit the
|
|
|
|
// next fragment.
|
2015-04-13 01:42:25 +02:00
|
|
|
auto *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
|
|
|
|
if (F && !(getAssembler().isBundlingEnabled() &&
|
|
|
|
getAssembler().getRelaxAll())) {
|
2015-05-29 23:45:01 +02:00
|
|
|
Symbol->setFragment(F);
|
2015-05-29 19:48:04 +02:00
|
|
|
Symbol->setOffset(F->getContents().size());
|
2014-10-23 00:38:06 +02:00
|
|
|
} else {
|
2015-05-29 19:41:59 +02:00
|
|
|
PendingLabels.push_back(Symbol);
|
2014-10-23 00:38:06 +02:00
|
|
|
}
|
2010-11-28 18:18:55 +01:00
|
|
|
}
|
|
|
|
|
2017-04-03 23:50:04 +02:00
|
|
|
void MCObjectStreamer::EmitLabel(MCSymbol *Symbol, SMLoc Loc, MCFragment *F) {
|
|
|
|
MCStreamer::EmitLabel(Symbol, Loc);
|
|
|
|
getAssembler().registerSymbol(*Symbol);
|
|
|
|
auto *DF = dyn_cast_or_null<MCDataFragment>(F);
|
|
|
|
if (DF)
|
|
|
|
Symbol->setFragment(F);
|
|
|
|
else
|
|
|
|
PendingLabels.push_back(Symbol);
|
|
|
|
}
|
|
|
|
|
2011-04-22 01:39:26 +02:00
|
|
|
void MCObjectStreamer::EmitULEB128Value(const MCExpr *Value) {
|
2010-12-03 02:19:49 +01:00
|
|
|
int64_t IntValue;
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
if (Value->evaluateAsAbsolute(IntValue, getAssemblerPtr())) {
|
2011-04-22 01:39:26 +02:00
|
|
|
EmitULEB128IntValue(IntValue);
|
2010-12-03 02:19:49 +01:00
|
|
|
return;
|
|
|
|
}
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(new MCLEBFragment(*Value, false));
|
2010-11-02 18:22:24 +01:00
|
|
|
}
|
|
|
|
|
2011-04-22 01:39:26 +02:00
|
|
|
void MCObjectStreamer::EmitSLEB128Value(const MCExpr *Value) {
|
2010-12-03 02:19:49 +01:00
|
|
|
int64_t IntValue;
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
if (Value->evaluateAsAbsolute(IntValue, getAssemblerPtr())) {
|
2011-04-22 01:39:26 +02:00
|
|
|
EmitSLEB128IntValue(IntValue);
|
2010-12-03 02:19:49 +01:00
|
|
|
return;
|
|
|
|
}
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(new MCLEBFragment(*Value, true));
|
2010-11-02 18:22:24 +01:00
|
|
|
}
|
|
|
|
|
2010-11-01 15:28:48 +01:00
|
|
|
void MCObjectStreamer::EmitWeakReference(MCSymbol *Alias,
|
|
|
|
const MCSymbol *Symbol) {
|
|
|
|
report_fatal_error("This file format doesn't support weak aliases.");
|
|
|
|
}
|
|
|
|
|
2015-05-21 21:20:38 +02:00
|
|
|
void MCObjectStreamer::ChangeSection(MCSection *Section,
|
2013-04-17 23:18:16 +02:00
|
|
|
const MCExpr *Subsection) {
|
2015-03-20 21:00:01 +01:00
|
|
|
changeSectionImpl(Section, Subsection);
|
|
|
|
}
|
|
|
|
|
2015-05-21 21:20:38 +02:00
|
|
|
bool MCObjectStreamer::changeSectionImpl(MCSection *Section,
|
2015-03-20 21:00:01 +01:00
|
|
|
const MCExpr *Subsection) {
|
2010-06-16 22:04:25 +02:00
|
|
|
assert(Section && "Cannot switch to a null section!");
|
2014-10-23 00:38:06 +02:00
|
|
|
flushPendingLabels(nullptr);
|
2017-03-16 01:52:18 +01:00
|
|
|
getContext().clearDwarfLocSeen();
|
2010-06-16 22:04:25 +02:00
|
|
|
|
2015-05-26 17:07:25 +02:00
|
|
|
bool Created = getAssembler().registerSection(*Section);
|
2013-04-17 23:18:16 +02:00
|
|
|
|
|
|
|
int64_t IntSubsection = 0;
|
|
|
|
if (Subsection &&
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
!Subsection->evaluateAsAbsolute(IntSubsection, getAssemblerPtr()))
|
2013-04-17 23:18:16 +02:00
|
|
|
report_fatal_error("Cannot evaluate subsection number");
|
|
|
|
if (IntSubsection < 0 || IntSubsection > 8192)
|
|
|
|
report_fatal_error("Subsection number out of range");
|
|
|
|
CurInsertionPoint =
|
2015-05-27 22:52:32 +02:00
|
|
|
Section->getSubsectionInsertionPoint(unsigned(IntSubsection));
|
2015-03-20 21:00:01 +01:00
|
|
|
return Created;
|
2010-06-16 22:04:25 +02:00
|
|
|
}
|
|
|
|
|
2012-12-07 18:42:41 +01:00
|
|
|
void MCObjectStreamer::EmitAssignment(MCSymbol *Symbol, const MCExpr *Value) {
|
2015-05-29 22:21:02 +02:00
|
|
|
getAssembler().registerSymbol(*Symbol);
|
2014-03-20 10:44:49 +01:00
|
|
|
MCStreamer::EmitAssignment(Symbol, Value);
|
2012-12-07 18:42:41 +01:00
|
|
|
}
|
|
|
|
|
2015-05-25 20:34:26 +02:00
|
|
|
bool MCObjectStreamer::mayHaveInstructions(MCSection &Sec) const {
|
|
|
|
return Sec.hasInstructions();
|
|
|
|
}
|
|
|
|
|
2014-06-25 20:37:33 +02:00
|
|
|
void MCObjectStreamer::EmitInstruction(const MCInst &Inst,
|
2019-02-04 13:51:26 +01:00
|
|
|
const MCSubtargetInfo &STI) {
|
2017-10-24 08:16:03 +02:00
|
|
|
getAssembler().getBackend().handleCodePaddingInstructionBegin(Inst);
|
|
|
|
EmitInstructionImpl(Inst, STI);
|
|
|
|
getAssembler().getBackend().handleCodePaddingInstructionEnd(Inst);
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitInstructionImpl(const MCInst &Inst,
|
|
|
|
const MCSubtargetInfo &STI) {
|
2014-06-25 20:37:33 +02:00
|
|
|
MCStreamer::EmitInstruction(Inst, STI);
|
2010-11-01 17:27:31 +01:00
|
|
|
|
2015-05-27 23:04:14 +02:00
|
|
|
MCSection *Sec = getCurrentSectionOnly();
|
2015-05-26 16:48:11 +02:00
|
|
|
Sec->setHasInstructions(true);
|
2010-11-01 17:27:31 +01:00
|
|
|
|
|
|
|
// Now that a machine instruction has been assembled into this section, make
|
|
|
|
// a line entry for any .loc directive that has been seen.
|
2016-10-14 07:47:37 +02:00
|
|
|
MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
|
2010-11-01 17:27:31 +01:00
|
|
|
|
|
|
|
// If this instruction doesn't need relaxation, just emit it as data.
|
2012-12-20 20:05:53 +01:00
|
|
|
MCAssembler &Assembler = getAssembler();
|
2018-06-06 11:40:06 +02:00
|
|
|
if (!Assembler.getBackend().mayNeedRelaxation(Inst, STI)) {
|
2014-01-29 00:12:49 +01:00
|
|
|
EmitInstToData(Inst, STI);
|
2010-11-01 17:27:31 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2012-12-20 20:05:53 +01:00
|
|
|
// Otherwise, relax and emit it as data if either:
|
|
|
|
// - The RelaxAll flag was passed
|
|
|
|
// - Bundling is enabled and this instruction is inside a bundle-locked
|
|
|
|
// group. We want to emit all such instructions into the same data
|
|
|
|
// fragment.
|
|
|
|
if (Assembler.getRelaxAll() ||
|
2015-05-26 16:48:11 +02:00
|
|
|
(Assembler.isBundlingEnabled() && Sec->isBundleLocked())) {
|
2010-11-01 17:27:31 +01:00
|
|
|
MCInst Relaxed;
|
2016-07-11 16:23:53 +02:00
|
|
|
getAssembler().getBackend().relaxInstruction(Inst, STI, Relaxed);
|
2018-06-06 11:40:06 +02:00
|
|
|
while (getAssembler().getBackend().mayNeedRelaxation(Relaxed, STI))
|
2016-07-11 16:23:53 +02:00
|
|
|
getAssembler().getBackend().relaxInstruction(Relaxed, STI, Relaxed);
|
2014-01-29 00:12:49 +01:00
|
|
|
EmitInstToData(Relaxed, STI);
|
2010-11-01 17:27:31 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Otherwise emit to a separate fragment.
|
2014-01-29 00:12:49 +01:00
|
|
|
EmitInstToFragment(Inst, STI);
|
2010-11-01 17:27:31 +01:00
|
|
|
}
|
|
|
|
|
2014-01-29 00:12:49 +01:00
|
|
|
void MCObjectStreamer::EmitInstToFragment(const MCInst &Inst,
|
|
|
|
const MCSubtargetInfo &STI) {
|
2015-04-13 01:42:25 +02:00
|
|
|
if (getAssembler().getRelaxAll() && getAssembler().isBundlingEnabled())
|
|
|
|
llvm_unreachable("All instructions should have already been relaxed");
|
|
|
|
|
2012-12-20 20:05:53 +01:00
|
|
|
// Always create a new, separate fragment here, because its size can change
|
|
|
|
// during relaxation.
|
2014-01-29 00:12:53 +01:00
|
|
|
MCRelaxableFragment *IF = new MCRelaxableFragment(Inst, STI);
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(IF);
|
2010-12-02 06:44:06 +01:00
|
|
|
|
2011-04-18 22:54:46 +02:00
|
|
|
SmallString<128> Code;
|
|
|
|
raw_svector_ostream VecOS(Code);
|
2015-05-15 21:13:16 +02:00
|
|
|
getAssembler().getEmitter().encodeInstruction(Inst, VecOS, IF->getFixups(),
|
2014-01-29 00:13:07 +01:00
|
|
|
STI);
|
2012-12-07 20:13:57 +01:00
|
|
|
IF->getContents().append(Code.begin(), Code.end());
|
2010-12-02 06:44:06 +01:00
|
|
|
}
|
|
|
|
|
2013-02-16 00:12:33 +01:00
|
|
|
#ifndef NDEBUG
|
2013-07-16 03:17:10 +02:00
|
|
|
static const char *const BundlingNotImplementedMsg =
|
2012-12-20 20:05:53 +01:00
|
|
|
"Aligned bundling is not implemented for this object format";
|
2013-02-16 00:12:33 +01:00
|
|
|
#endif
|
2012-12-20 20:05:53 +01:00
|
|
|
|
|
|
|
void MCObjectStreamer::EmitBundleAlignMode(unsigned AlignPow2) {
|
|
|
|
llvm_unreachable(BundlingNotImplementedMsg);
|
|
|
|
}
|
|
|
|
|
2013-01-07 22:51:08 +01:00
|
|
|
void MCObjectStreamer::EmitBundleLock(bool AlignToEnd) {
|
2012-12-20 20:05:53 +01:00
|
|
|
llvm_unreachable(BundlingNotImplementedMsg);
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitBundleUnlock() {
|
|
|
|
llvm_unreachable(BundlingNotImplementedMsg);
|
|
|
|
}
|
|
|
|
|
2013-06-19 23:27:27 +02:00
|
|
|
void MCObjectStreamer::EmitDwarfLocDirective(unsigned FileNo, unsigned Line,
|
|
|
|
unsigned Column, unsigned Flags,
|
|
|
|
unsigned Isa,
|
|
|
|
unsigned Discriminator,
|
|
|
|
StringRef FileName) {
|
|
|
|
// In case we see two .loc directives in a row, make sure the
|
|
|
|
// first one gets a line entry.
|
2016-10-14 07:47:37 +02:00
|
|
|
MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
|
2013-06-19 23:27:27 +02:00
|
|
|
|
|
|
|
this->MCStreamer::EmitDwarfLocDirective(FileNo, Line, Column, Flags,
|
|
|
|
Isa, Discriminator, FileName);
|
|
|
|
}
|
|
|
|
|
2014-08-15 16:31:47 +02:00
|
|
|
static const MCExpr *buildSymbolDiff(MCObjectStreamer &OS, const MCSymbol *A,
|
|
|
|
const MCSymbol *B) {
|
|
|
|
MCContext &Context = OS.getContext();
|
|
|
|
MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
|
2015-05-30 03:25:56 +02:00
|
|
|
const MCExpr *ARef = MCSymbolRefExpr::create(A, Variant, Context);
|
|
|
|
const MCExpr *BRef = MCSymbolRefExpr::create(B, Variant, Context);
|
2014-08-15 16:31:47 +02:00
|
|
|
const MCExpr *AddrDelta =
|
2015-05-30 03:25:56 +02:00
|
|
|
MCBinaryExpr::create(MCBinaryExpr::Sub, ARef, BRef, Context);
|
2014-08-15 16:31:47 +02:00
|
|
|
return AddrDelta;
|
|
|
|
}
|
|
|
|
|
2015-08-07 17:14:08 +02:00
|
|
|
static void emitDwarfSetLineAddr(MCObjectStreamer &OS,
|
|
|
|
MCDwarfLineTableParams Params,
|
|
|
|
int64_t LineDelta, const MCSymbol *Label,
|
|
|
|
int PointerSize) {
|
2014-08-15 16:43:02 +02:00
|
|
|
// emit the sequence to set the address
|
|
|
|
OS.EmitIntValue(dwarf::DW_LNS_extended_op, 1);
|
|
|
|
OS.EmitULEB128IntValue(PointerSize + 1);
|
|
|
|
OS.EmitIntValue(dwarf::DW_LNE_set_address, 1);
|
|
|
|
OS.EmitSymbolValue(Label, PointerSize);
|
|
|
|
|
|
|
|
// emit the sequence for the LineDelta (from 1) and a zero address delta.
|
2015-08-07 17:14:08 +02:00
|
|
|
MCDwarfLineAddr::Emit(&OS, Params, LineDelta, 0);
|
2014-08-15 16:43:02 +02:00
|
|
|
}
|
|
|
|
|
2010-12-03 01:55:40 +01:00
|
|
|
void MCObjectStreamer::EmitDwarfAdvanceLineAddr(int64_t LineDelta,
|
|
|
|
const MCSymbol *LastLabel,
|
2011-07-14 07:43:07 +02:00
|
|
|
const MCSymbol *Label,
|
|
|
|
unsigned PointerSize) {
|
2010-12-03 01:55:40 +01:00
|
|
|
if (!LastLabel) {
|
2015-08-07 17:14:08 +02:00
|
|
|
emitDwarfSetLineAddr(*this, Assembler->getDWARFLinetableParams(), LineDelta,
|
|
|
|
Label, PointerSize);
|
2010-12-03 01:55:40 +01:00
|
|
|
return;
|
|
|
|
}
|
2014-08-15 16:31:47 +02:00
|
|
|
const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
|
2010-12-03 01:55:40 +01:00
|
|
|
int64_t Res;
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
if (AddrDelta->evaluateAsAbsolute(Res, getAssemblerPtr())) {
|
2015-08-07 17:14:08 +02:00
|
|
|
MCDwarfLineAddr::Emit(this, Assembler->getDWARFLinetableParams(), LineDelta,
|
|
|
|
Res);
|
2010-12-03 01:55:40 +01:00
|
|
|
return;
|
|
|
|
}
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(new MCDwarfLineAddrFragment(LineDelta, *AddrDelta));
|
2010-12-03 01:55:40 +01:00
|
|
|
}
|
|
|
|
|
2010-12-28 06:39:27 +01:00
|
|
|
void MCObjectStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel,
|
|
|
|
const MCSymbol *Label) {
|
2014-08-15 16:31:47 +02:00
|
|
|
const MCExpr *AddrDelta = buildSymbolDiff(*this, Label, LastLabel);
|
2010-12-28 06:39:27 +01:00
|
|
|
int64_t Res;
|
[MC] Change AsmParser to leverage Assembler during evaluation
Teach AsmParser to check with Assembler for when evaluating constant
expressions. This improves the handing of preprocessor expressions
that must be resolved at parse time. This idiom can be found as
assembling-time assertion checks in source-level assemblers. Note that
this relies on the MCStreamer to keep sufficient tabs on Section /
Fragment information which the MCAsmStreamer does not. As a result the
textual output may fail where the equivalent object generation would
pass. This can most easily be resolved by folding the MCAsmStreamer
and MCObjectStreamer together which is planned for in a separate
patch.
Currently, this feature is only enabled for assembly input, keeping IR
compilation consistent between assembly and object generation.
Reviewers: echristo, rnk, probinson, espindola, peter.smith
Reviewed By: peter.smith
Subscribers: eraman, peter.smith, arichardson, jyknight, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45164
llvm-svn: 331218
2018-04-30 21:22:40 +02:00
|
|
|
if (AddrDelta->evaluateAsAbsolute(Res, getAssemblerPtr())) {
|
2010-12-28 06:39:27 +01:00
|
|
|
MCDwarfFrameEmitter::EmitAdvanceLoc(*this, Res);
|
|
|
|
return;
|
|
|
|
}
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(new MCDwarfCallFrameFragment(*AddrDelta));
|
2010-12-28 06:39:27 +01:00
|
|
|
}
|
|
|
|
|
2016-01-29 01:49:42 +01:00
|
|
|
void MCObjectStreamer::EmitCVLocDirective(unsigned FunctionId, unsigned FileNo,
|
|
|
|
unsigned Line, unsigned Column,
|
|
|
|
bool PrologueEnd, bool IsStmt,
|
2016-09-07 18:15:31 +02:00
|
|
|
StringRef FileName, SMLoc Loc) {
|
2018-08-29 01:25:59 +02:00
|
|
|
// Validate the directive.
|
|
|
|
if (!checkCVLocSection(FunctionId, FileNo, Loc))
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Emit a label at the current position and record it in the CodeViewContext.
|
|
|
|
MCSymbol *LineSym = getContext().createTempSymbol();
|
|
|
|
EmitLabel(LineSym);
|
|
|
|
getContext().getCVContext().recordCVLoc(getContext(), LineSym, FunctionId,
|
|
|
|
FileNo, Line, Column, PrologueEnd,
|
|
|
|
IsStmt);
|
2016-01-29 01:49:42 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitCVLinetableDirective(unsigned FunctionId,
|
|
|
|
const MCSymbol *Begin,
|
|
|
|
const MCSymbol *End) {
|
|
|
|
getContext().getCVContext().emitLineTableForFunction(*this, FunctionId, Begin,
|
|
|
|
End);
|
|
|
|
this->MCStreamer::EmitCVLinetableDirective(FunctionId, Begin, End);
|
|
|
|
}
|
|
|
|
|
2016-01-29 20:24:12 +01:00
|
|
|
void MCObjectStreamer::EmitCVInlineLinetableDirective(
|
|
|
|
unsigned PrimaryFunctionId, unsigned SourceFileId, unsigned SourceLineNum,
|
2016-09-07 18:15:31 +02:00
|
|
|
const MCSymbol *FnStartSym, const MCSymbol *FnEndSym) {
|
2016-01-29 20:24:12 +01:00
|
|
|
getContext().getCVContext().emitInlineLineTableForFunction(
|
2016-02-02 18:41:18 +01:00
|
|
|
*this, PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym,
|
2016-09-07 18:15:31 +02:00
|
|
|
FnEndSym);
|
2016-01-29 20:24:12 +01:00
|
|
|
this->MCStreamer::EmitCVInlineLinetableDirective(
|
2016-09-07 18:15:31 +02:00
|
|
|
PrimaryFunctionId, SourceFileId, SourceLineNum, FnStartSym, FnEndSym);
|
2016-01-29 20:24:12 +01:00
|
|
|
}
|
|
|
|
|
2016-02-05 02:55:49 +01:00
|
|
|
void MCObjectStreamer::EmitCVDefRangeDirective(
|
|
|
|
ArrayRef<std::pair<const MCSymbol *, const MCSymbol *>> Ranges,
|
|
|
|
StringRef FixedSizePortion) {
|
2018-12-17 22:49:35 +01:00
|
|
|
MCFragment *Frag =
|
|
|
|
getContext().getCVContext().emitDefRange(*this, Ranges, FixedSizePortion);
|
|
|
|
// Attach labels that were pending before we created the defrange fragment to
|
|
|
|
// the beginning of the new fragment.
|
|
|
|
flushPendingLabels(Frag, 0);
|
2016-02-05 02:55:49 +01:00
|
|
|
this->MCStreamer::EmitCVDefRangeDirective(Ranges, FixedSizePortion);
|
|
|
|
}
|
|
|
|
|
2016-01-29 01:49:42 +01:00
|
|
|
void MCObjectStreamer::EmitCVStringTableDirective() {
|
|
|
|
getContext().getCVContext().emitStringTable(*this);
|
|
|
|
}
|
|
|
|
void MCObjectStreamer::EmitCVFileChecksumsDirective() {
|
|
|
|
getContext().getCVContext().emitFileChecksums(*this);
|
|
|
|
}
|
|
|
|
|
2017-09-19 20:14:45 +02:00
|
|
|
void MCObjectStreamer::EmitCVFileChecksumOffsetDirective(unsigned FileNo) {
|
|
|
|
getContext().getCVContext().emitFileChecksumOffset(*this, FileNo);
|
|
|
|
}
|
2016-01-29 01:49:42 +01:00
|
|
|
|
2013-07-02 17:49:13 +02:00
|
|
|
void MCObjectStreamer::EmitBytes(StringRef Data) {
|
2016-10-14 07:47:37 +02:00
|
|
|
MCDwarfLineEntry::Make(this, getCurrentSectionOnly());
|
2015-06-27 03:54:17 +02:00
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
DF->getContents().append(Data.begin(), Data.end());
|
2018-09-07 00:09:31 +02:00
|
|
|
|
|
|
|
// EmitBytes might not cover all possible ways we emit data (or could be used
|
|
|
|
// to emit executable code in some cases), but is the best method we have
|
|
|
|
// right now for checking this.
|
|
|
|
MCSection *Sec = getCurrentSectionOnly();
|
|
|
|
Sec->setHasData(true);
|
2012-10-04 15:12:43 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitValueToAlignment(unsigned ByteAlignment,
|
|
|
|
int64_t Value,
|
|
|
|
unsigned ValueSize,
|
|
|
|
unsigned MaxBytesToEmit) {
|
|
|
|
if (MaxBytesToEmit == 0)
|
|
|
|
MaxBytesToEmit = ByteAlignment;
|
2013-04-17 23:18:16 +02:00
|
|
|
insert(new MCAlignFragment(ByteAlignment, Value, ValueSize, MaxBytesToEmit));
|
2012-10-04 15:12:43 +02:00
|
|
|
|
|
|
|
// Update the maximum alignment on the current section if necessary.
|
2016-10-14 07:47:37 +02:00
|
|
|
MCSection *CurSec = getCurrentSectionOnly();
|
2015-05-21 23:02:35 +02:00
|
|
|
if (ByteAlignment > CurSec->getAlignment())
|
[Alignment] Introduce llvm::Align to MCSection
Summary:
This is patch is part of a series to introduce an Alignment type.
See this thread for context: http://lists.llvm.org/pipermail/llvm-dev/2019-July/133851.html
See this patch for the introduction of the type: https://reviews.llvm.org/D64790
Reviewers: courbet, JDevlieghere
Subscribers: arsenm, sdardis, jvesely, nhaehnle, sbc100, hiraditya, aheejin, jrtc27, atanasyan, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D67486
llvm-svn: 371831
2019-09-13 11:29:59 +02:00
|
|
|
CurSec->setAlignment(llvm::Align(ByteAlignment));
|
2012-10-04 15:12:43 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitCodeAlignment(unsigned ByteAlignment,
|
|
|
|
unsigned MaxBytesToEmit) {
|
|
|
|
EmitValueToAlignment(ByteAlignment, 0, 1, MaxBytesToEmit);
|
|
|
|
cast<MCAlignFragment>(getCurrentFragment())->setEmitNops(true);
|
|
|
|
}
|
|
|
|
|
2015-11-05 00:59:18 +01:00
|
|
|
void MCObjectStreamer::emitValueToOffset(const MCExpr *Offset,
|
2016-12-14 11:43:58 +01:00
|
|
|
unsigned char Value,
|
|
|
|
SMLoc Loc) {
|
|
|
|
insert(new MCOrgFragment(*Offset, Value, Loc));
|
2010-12-02 06:59:38 +01:00
|
|
|
}
|
|
|
|
|
2017-10-24 08:16:03 +02:00
|
|
|
void MCObjectStreamer::EmitCodePaddingBasicBlockStart(
|
|
|
|
const MCCodePaddingContext &Context) {
|
|
|
|
getAssembler().getBackend().handleCodePaddingBasicBlockStart(this, Context);
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitCodePaddingBasicBlockEnd(
|
|
|
|
const MCCodePaddingContext &Context) {
|
|
|
|
getAssembler().getBackend().handleCodePaddingBasicBlockEnd(Context);
|
|
|
|
}
|
|
|
|
|
2016-08-22 18:18:42 +02:00
|
|
|
// Associate DTPRel32 fixup with data and resize data area
|
|
|
|
void MCObjectStreamer::EmitDTPRel32Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
|
|
|
DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
|
|
|
|
Value, FK_DTPRel_4));
|
|
|
|
DF->getContents().resize(DF->getContents().size() + 4, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Associate DTPRel64 fixup with data and resize data area
|
|
|
|
void MCObjectStreamer::EmitDTPRel64Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
|
|
|
DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
|
|
|
|
Value, FK_DTPRel_8));
|
|
|
|
DF->getContents().resize(DF->getContents().size() + 8, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Associate TPRel32 fixup with data and resize data area
|
|
|
|
void MCObjectStreamer::EmitTPRel32Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
|
|
|
DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
|
|
|
|
Value, FK_TPRel_4));
|
|
|
|
DF->getContents().resize(DF->getContents().size() + 4, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Associate TPRel64 fixup with data and resize data area
|
|
|
|
void MCObjectStreamer::EmitTPRel64Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
|
|
|
DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
|
|
|
|
Value, FK_TPRel_8));
|
|
|
|
DF->getContents().resize(DF->getContents().size() + 8, 0);
|
|
|
|
}
|
|
|
|
|
2011-11-23 23:18:04 +01:00
|
|
|
// Associate GPRel32 fixup with data and resize data area
|
|
|
|
void MCObjectStreamer::EmitGPRel32Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
2015-06-27 03:54:17 +02:00
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
2011-11-23 23:18:04 +01:00
|
|
|
|
2017-04-03 23:50:04 +02:00
|
|
|
DF->getFixups().push_back(
|
|
|
|
MCFixup::create(DF->getContents().size(), Value, FK_GPRel_4));
|
2011-11-23 23:18:04 +01:00
|
|
|
DF->getContents().resize(DF->getContents().size() + 4, 0);
|
|
|
|
}
|
|
|
|
|
2016-08-22 18:18:42 +02:00
|
|
|
// Associate GPRel64 fixup with data and resize data area
|
2012-08-22 02:49:30 +02:00
|
|
|
void MCObjectStreamer::EmitGPRel64Value(const MCExpr *Value) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
2015-06-27 03:54:17 +02:00
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
2012-08-22 02:49:30 +02:00
|
|
|
|
2017-04-03 23:50:04 +02:00
|
|
|
DF->getFixups().push_back(
|
|
|
|
MCFixup::create(DF->getContents().size(), Value, FK_GPRel_4));
|
2012-08-22 02:49:30 +02:00
|
|
|
DF->getContents().resize(DF->getContents().size() + 8, 0);
|
|
|
|
}
|
|
|
|
|
2015-11-12 14:33:00 +01:00
|
|
|
bool MCObjectStreamer::EmitRelocDirective(const MCExpr &Offset, StringRef Name,
|
2018-06-06 11:40:06 +02:00
|
|
|
const MCExpr *Expr, SMLoc Loc,
|
|
|
|
const MCSubtargetInfo &STI) {
|
2016-01-20 00:05:27 +01:00
|
|
|
Optional<MCFixupKind> MaybeKind = Assembler->getBackend().getFixupKind(Name);
|
|
|
|
if (!MaybeKind.hasValue())
|
2015-11-12 14:33:00 +01:00
|
|
|
return true;
|
|
|
|
|
2016-01-20 00:05:27 +01:00
|
|
|
MCFixupKind Kind = *MaybeKind;
|
|
|
|
|
2015-11-12 14:33:00 +01:00
|
|
|
if (Expr == nullptr)
|
|
|
|
Expr =
|
|
|
|
MCSymbolRefExpr::create(getContext().createTempSymbol(), getContext());
|
2018-11-21 17:28:39 +01:00
|
|
|
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment(&STI);
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
|
|
|
int64_t OffsetValue;
|
|
|
|
if (Offset.evaluateAsAbsolute(OffsetValue)) {
|
|
|
|
if (OffsetValue < 0)
|
|
|
|
llvm_unreachable(".reloc offset is negative");
|
|
|
|
DF->getFixups().push_back(MCFixup::create(OffsetValue, Expr, Kind, Loc));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Offset.getKind() != llvm::MCExpr::SymbolRef)
|
|
|
|
llvm_unreachable(".reloc offset is not absolute nor a label");
|
|
|
|
|
|
|
|
const MCSymbolRefExpr &SRE = cast<MCSymbolRefExpr>(Offset);
|
|
|
|
if (SRE.getSymbol().isDefined()) {
|
|
|
|
DF->getFixups().push_back(MCFixup::create(SRE.getSymbol().getOffset(),
|
|
|
|
Expr, Kind, Loc));
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
PendingFixups.emplace_back(&SRE.getSymbol(), DF,
|
|
|
|
MCFixup::create(-1, Expr, Kind, Loc));
|
2015-11-12 14:33:00 +01:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2016-05-28 07:57:48 +02:00
|
|
|
void MCObjectStreamer::emitFill(const MCExpr &NumBytes, uint64_t FillValue,
|
|
|
|
SMLoc Loc) {
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
|
|
|
|
2018-01-09 20:29:33 +01:00
|
|
|
assert(getCurrentSectionOnly() && "need a section");
|
2018-05-18 19:45:48 +02:00
|
|
|
insert(new MCFillFragment(FillValue, 1, NumBytes, Loc));
|
2016-05-28 07:57:48 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::emitFill(const MCExpr &NumValues, int64_t Size,
|
|
|
|
int64_t Expr, SMLoc Loc) {
|
|
|
|
int64_t IntNumValues;
|
2018-05-18 19:45:48 +02:00
|
|
|
// Do additional checking now if we can resolve the value.
|
|
|
|
if (NumValues.evaluateAsAbsolute(IntNumValues, getAssemblerPtr())) {
|
|
|
|
if (IntNumValues < 0) {
|
|
|
|
getContext().getSourceManager()->PrintMessage(
|
|
|
|
Loc, SourceMgr::DK_Warning,
|
|
|
|
"'.fill' directive with negative repeat count has no effect");
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
// Emit now if we can for better errors.
|
|
|
|
int64_t NonZeroSize = Size > 4 ? 4 : Size;
|
|
|
|
Expr &= ~0ULL >> (64 - NonZeroSize * 8);
|
|
|
|
for (uint64_t i = 0, e = IntNumValues; i != e; ++i) {
|
|
|
|
EmitIntValue(Expr, NonZeroSize);
|
|
|
|
if (NonZeroSize < Size)
|
|
|
|
EmitIntValue(0, Size - NonZeroSize);
|
|
|
|
}
|
2016-05-28 07:57:48 +02:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-05-18 19:45:48 +02:00
|
|
|
// Otherwise emit as fragment.
|
|
|
|
MCDataFragment *DF = getOrCreateDataFragment();
|
|
|
|
flushPendingLabels(DF, DF->getContents().size());
|
2016-05-28 07:57:48 +02:00
|
|
|
|
2018-05-18 19:45:48 +02:00
|
|
|
assert(getCurrentSectionOnly() && "need a section");
|
|
|
|
insert(new MCFillFragment(Expr, Size, NumValues, Loc));
|
2016-05-28 07:57:48 +02:00
|
|
|
}
|
|
|
|
|
2017-03-03 22:22:06 +01:00
|
|
|
void MCObjectStreamer::EmitFileDirective(StringRef Filename) {
|
|
|
|
getAssembler().addFileName(Filename);
|
|
|
|
}
|
|
|
|
|
2018-07-18 00:17:18 +02:00
|
|
|
void MCObjectStreamer::EmitAddrsig() {
|
|
|
|
getAssembler().getWriter().emitAddrsigSection();
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCObjectStreamer::EmitAddrsigSym(const MCSymbol *Sym) {
|
|
|
|
getAssembler().registerSymbol(*Sym);
|
|
|
|
getAssembler().getWriter().addAddrsigSymbol(Sym);
|
|
|
|
}
|
|
|
|
|
2012-01-07 04:13:18 +01:00
|
|
|
void MCObjectStreamer::FinishImpl() {
|
2018-07-11 14:30:35 +02:00
|
|
|
getContext().RemapDebugPaths();
|
2018-07-10 16:41:54 +02:00
|
|
|
|
2011-12-09 19:09:40 +01:00
|
|
|
// If we are generating dwarf for assembly source files dump out the sections.
|
|
|
|
if (getContext().getGenDwarfForAssembly())
|
2014-04-01 09:35:52 +02:00
|
|
|
MCGenDwarfInfo::Emit(this);
|
|
|
|
|
|
|
|
// Dump out the dwarf file & directory tables and line tables.
|
2015-08-07 17:14:08 +02:00
|
|
|
MCDwarfLineTable::Emit(this, getAssembler().getDWARFLinetableParams());
|
2011-12-09 19:09:40 +01:00
|
|
|
|
2018-07-10 17:32:17 +02:00
|
|
|
flushPendingLabels();
|
2018-11-21 17:28:39 +01:00
|
|
|
resolvePendingFixups();
|
2010-06-16 22:04:25 +02:00
|
|
|
getAssembler().Finish();
|
|
|
|
}
|