llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
//===- lib/MC/MCAssembler.cpp - Assembler Backend Implementation ----------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2009-08-26 05:10:45 +08:00
|
|
|
#define DEBUG_TYPE "assembler"
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
#include "llvm/MC/MCAssembler.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/ADT/Statistic.h"
|
|
|
|
#include "llvm/ADT/StringExtras.h"
|
|
|
|
#include "llvm/ADT/Twine.h"
|
|
|
|
#include "llvm/MC/MCAsmBackend.h"
|
2010-03-11 13:53:33 +08:00
|
|
|
#include "llvm/MC/MCAsmLayout.h"
|
2010-03-19 18:43:23 +08:00
|
|
|
#include "llvm/MC/MCCodeEmitter.h"
|
2010-12-25 05:22:02 +08:00
|
|
|
#include "llvm/MC/MCContext.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/MC/MCDwarf.h"
|
2009-10-16 09:58:03 +08:00
|
|
|
#include "llvm/MC/MCExpr.h"
|
2012-03-26 14:58:25 +08:00
|
|
|
#include "llvm/MC/MCFixupKindInfo.h"
|
2010-03-19 17:28:59 +08:00
|
|
|
#include "llvm/MC/MCObjectWriter.h"
|
2010-10-01 00:52:03 +08:00
|
|
|
#include "llvm/MC/MCSection.h"
|
2009-10-16 09:58:03 +08:00
|
|
|
#include "llvm/MC/MCSymbol.h"
|
|
|
|
#include "llvm/MC/MCValue.h"
|
2010-03-26 06:49:09 +08:00
|
|
|
#include "llvm/Support/Debug.h"
|
2009-08-22 02:29:01 +08:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2012-08-09 07:56:06 +08:00
|
|
|
#include "llvm/Support/LEB128.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/Support/TargetRegistry.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2010-02-13 17:29:02 +08:00
|
|
|
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
2010-03-24 07:47:14 +08:00
|
|
|
namespace {
|
|
|
|
namespace stats {
|
2012-12-08 01:59:21 +08:00
|
|
|
STATISTIC(EmittedFragments, "Number of emitted assembler fragments - total");
|
2013-01-09 01:41:59 +08:00
|
|
|
STATISTIC(EmittedRelaxableFragments,
|
|
|
|
"Number of emitted assembler fragments - relaxable");
|
2012-12-11 02:59:39 +08:00
|
|
|
STATISTIC(EmittedDataFragments,
|
|
|
|
"Number of emitted assembler fragments - data");
|
2013-01-16 07:22:09 +08:00
|
|
|
STATISTIC(EmittedCompactEncodedInstFragments,
|
|
|
|
"Number of emitted assembler fragments - compact encoded inst");
|
2012-12-11 02:59:39 +08:00
|
|
|
STATISTIC(EmittedAlignFragments,
|
|
|
|
"Number of emitted assembler fragments - align");
|
|
|
|
STATISTIC(EmittedFillFragments,
|
|
|
|
"Number of emitted assembler fragments - fill");
|
|
|
|
STATISTIC(EmittedOrgFragments,
|
|
|
|
"Number of emitted assembler fragments - org");
|
2011-12-06 08:03:48 +08:00
|
|
|
STATISTIC(evaluateFixup, "Number of evaluated fixups");
|
2010-03-26 06:49:09 +08:00
|
|
|
STATISTIC(FragmentLayouts, "Number of fragment layouts");
|
2010-03-24 07:47:14 +08:00
|
|
|
STATISTIC(ObjectBytes, "Number of emitted object file bytes");
|
2010-03-26 06:49:09 +08:00
|
|
|
STATISTIC(RelaxationSteps, "Number of assembler layout and relaxation steps");
|
|
|
|
STATISTIC(RelaxedInstructions, "Number of relaxed instructions");
|
2010-03-24 07:47:14 +08:00
|
|
|
}
|
|
|
|
}
|
2009-08-26 05:10:45 +08:00
|
|
|
|
2009-08-28 15:08:35 +08:00
|
|
|
// FIXME FIXME FIXME: There are number of places in this file where we convert
|
|
|
|
// what is a 64-bit assembler value used for computation into a value in the
|
|
|
|
// object file, which may truncate it. We should detect that truncation where
|
|
|
|
// invalid and report errors back.
|
|
|
|
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
/* *** */
|
|
|
|
|
2010-05-14 08:37:21 +08:00
|
|
|
MCAsmLayout::MCAsmLayout(MCAssembler &Asm)
|
2010-12-08 07:32:26 +08:00
|
|
|
: Assembler(Asm), LastValidFragment()
|
2010-05-14 08:37:21 +08:00
|
|
|
{
|
2010-05-12 23:42:59 +08:00
|
|
|
// Compute the section layout order. Virtual sections must go last.
|
|
|
|
for (MCAssembler::iterator it = Asm.begin(), ie = Asm.end(); it != ie; ++it)
|
2010-11-18 04:03:54 +08:00
|
|
|
if (!it->getSection().isVirtualSection())
|
2010-05-12 23:42:59 +08:00
|
|
|
SectionOrder.push_back(&*it);
|
|
|
|
for (MCAssembler::iterator it = Asm.begin(), ie = Asm.end(); it != ie; ++it)
|
2010-11-18 04:03:54 +08:00
|
|
|
if (it->getSection().isVirtualSection())
|
2010-05-12 23:42:59 +08:00
|
|
|
SectionOrder.push_back(&*it);
|
|
|
|
}
|
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
bool MCAsmLayout::isFragmentValid(const MCFragment *F) const {
|
2010-12-08 07:32:26 +08:00
|
|
|
const MCSectionData &SD = *F->getParent();
|
|
|
|
const MCFragment *LastValid = LastValidFragment.lookup(&SD);
|
|
|
|
if (!LastValid)
|
|
|
|
return false;
|
|
|
|
assert(LastValid->getParent() == F->getParent());
|
|
|
|
return F->getLayoutOrder() <= LastValid->getLayoutOrder();
|
2010-05-14 08:37:21 +08:00
|
|
|
}
|
|
|
|
|
2013-02-06 01:55:27 +08:00
|
|
|
void MCAsmLayout::invalidateFragmentsFrom(MCFragment *F) {
|
2012-12-13 03:54:05 +08:00
|
|
|
// If this fragment wasn't already valid, we don't need to do anything.
|
|
|
|
if (!isFragmentValid(F))
|
2010-05-14 08:51:14 +08:00
|
|
|
return;
|
|
|
|
|
2013-02-06 01:55:27 +08:00
|
|
|
// Otherwise, reset the last valid fragment to the previous fragment
|
|
|
|
// (if this is the first fragment, it will be NULL).
|
2010-12-08 07:32:26 +08:00
|
|
|
const MCSectionData &SD = *F->getParent();
|
2013-02-06 01:55:27 +08:00
|
|
|
LastValidFragment[&SD] = F->getPrevNode();
|
2010-05-14 08:51:14 +08:00
|
|
|
}
|
2010-03-26 03:35:56 +08:00
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
void MCAsmLayout::ensureValid(const MCFragment *F) const {
|
2010-12-08 07:32:26 +08:00
|
|
|
MCSectionData &SD = *F->getParent();
|
|
|
|
|
|
|
|
MCFragment *Cur = LastValidFragment[&SD];
|
|
|
|
if (!Cur)
|
|
|
|
Cur = &*SD.begin();
|
|
|
|
else
|
|
|
|
Cur = Cur->getNextNode();
|
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
// Advance the layout position until the fragment is valid.
|
|
|
|
while (!isFragmentValid(F)) {
|
|
|
|
assert(Cur && "Layout bookkeeping error");
|
|
|
|
const_cast<MCAsmLayout*>(this)->layoutFragment(Cur);
|
2010-12-08 07:32:26 +08:00
|
|
|
Cur = Cur->getNextNode();
|
2010-05-14 08:51:14 +08:00
|
|
|
}
|
2010-03-26 03:35:56 +08:00
|
|
|
}
|
|
|
|
|
2010-03-25 10:00:02 +08:00
|
|
|
uint64_t MCAsmLayout::getFragmentOffset(const MCFragment *F) const {
|
2012-12-13 03:54:05 +08:00
|
|
|
ensureValid(F);
|
2010-03-25 10:00:02 +08:00
|
|
|
assert(F->Offset != ~UINT64_C(0) && "Address not set!");
|
|
|
|
return F->Offset;
|
|
|
|
}
|
|
|
|
|
2010-12-06 10:57:26 +08:00
|
|
|
uint64_t MCAsmLayout::getSymbolOffset(const MCSymbolData *SD) const {
|
2011-04-30 02:20:20 +08:00
|
|
|
const MCSymbol &S = SD->getSymbol();
|
|
|
|
|
|
|
|
// If this is a variable, then recursively evaluate now.
|
|
|
|
if (S.isVariable()) {
|
|
|
|
MCValue Target;
|
|
|
|
if (!S.getVariableValue()->EvaluateAsRelocatable(Target, *this))
|
|
|
|
report_fatal_error("unable to evaluate offset for variable '" +
|
|
|
|
S.getName() + "'");
|
|
|
|
|
|
|
|
// Verify that any used symbols are defined.
|
|
|
|
if (Target.getSymA() && Target.getSymA()->getSymbol().isUndefined())
|
|
|
|
report_fatal_error("unable to evaluate offset to undefined symbol '" +
|
|
|
|
Target.getSymA()->getSymbol().getName() + "'");
|
|
|
|
if (Target.getSymB() && Target.getSymB()->getSymbol().isUndefined())
|
|
|
|
report_fatal_error("unable to evaluate offset to undefined symbol '" +
|
|
|
|
Target.getSymB()->getSymbol().getName() + "'");
|
2011-10-27 06:44:41 +08:00
|
|
|
|
2011-04-30 02:20:20 +08:00
|
|
|
uint64_t Offset = Target.getConstant();
|
|
|
|
if (Target.getSymA())
|
|
|
|
Offset += getSymbolOffset(&Assembler.getSymbolData(
|
|
|
|
Target.getSymA()->getSymbol()));
|
|
|
|
if (Target.getSymB())
|
|
|
|
Offset -= getSymbolOffset(&Assembler.getSymbolData(
|
|
|
|
Target.getSymB()->getSymbol()));
|
|
|
|
return Offset;
|
|
|
|
}
|
|
|
|
|
2010-12-06 10:57:26 +08:00
|
|
|
assert(SD->getFragment() && "Invalid getOffset() on undefined symbol!");
|
|
|
|
return getFragmentOffset(SD->getFragment()) + SD->getOffset();
|
|
|
|
}
|
|
|
|
|
2010-05-13 11:19:50 +08:00
|
|
|
uint64_t MCAsmLayout::getSectionAddressSize(const MCSectionData *SD) const {
|
2010-05-14 08:37:11 +08:00
|
|
|
// The size is the last fragment's end offset.
|
2010-05-13 11:19:50 +08:00
|
|
|
const MCFragment &F = SD->getFragmentList().back();
|
2011-12-06 08:03:48 +08:00
|
|
|
return getFragmentOffset(&F) + getAssembler().computeFragmentSize(*this, F);
|
2010-03-25 10:00:07 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getSectionFileSize(const MCSectionData *SD) const {
|
2010-05-13 11:19:50 +08:00
|
|
|
// Virtual sections have no file size.
|
2010-11-18 04:03:54 +08:00
|
|
|
if (SD->getSection().isVirtualSection())
|
2010-05-13 11:19:50 +08:00
|
|
|
return 0;
|
2010-03-25 10:00:07 +08:00
|
|
|
|
2010-05-13 11:19:50 +08:00
|
|
|
// Otherwise, the file size is the same as the address space size.
|
|
|
|
return getSectionAddressSize(SD);
|
2010-05-13 09:10:22 +08:00
|
|
|
}
|
2010-05-13 11:19:50 +08:00
|
|
|
|
2012-12-21 03:05:53 +08:00
|
|
|
uint64_t MCAsmLayout::computeBundlePadding(const MCFragment *F,
|
|
|
|
uint64_t FOffset, uint64_t FSize) {
|
|
|
|
uint64_t BundleSize = Assembler.getBundleAlignSize();
|
2013-02-06 01:55:27 +08:00
|
|
|
assert(BundleSize > 0 &&
|
2012-12-21 03:05:53 +08:00
|
|
|
"computeBundlePadding should only be called if bundling is enabled");
|
|
|
|
uint64_t BundleMask = BundleSize - 1;
|
|
|
|
uint64_t OffsetInBundle = FOffset & BundleMask;
|
2013-01-08 05:51:08 +08:00
|
|
|
uint64_t EndOfFragment = OffsetInBundle + FSize;
|
|
|
|
|
|
|
|
// There are two kinds of bundling restrictions:
|
2013-02-06 01:55:27 +08:00
|
|
|
//
|
2013-01-08 05:51:08 +08:00
|
|
|
// 1) For alignToBundleEnd(), add padding to ensure that the fragment will
|
|
|
|
// *end* on a bundle boundary.
|
|
|
|
// 2) Otherwise, check if the fragment would cross a bundle boundary. If it
|
|
|
|
// would, add padding until the end of the bundle so that the fragment
|
|
|
|
// will start in a new one.
|
|
|
|
if (F->alignToBundleEnd()) {
|
|
|
|
// Three possibilities here:
|
|
|
|
//
|
|
|
|
// A) The fragment just happens to end at a bundle boundary, so we're good.
|
|
|
|
// B) The fragment ends before the current bundle boundary: pad it just
|
|
|
|
// enough to reach the boundary.
|
|
|
|
// C) The fragment ends after the current bundle boundary: pad it until it
|
|
|
|
// reaches the end of the next bundle boundary.
|
|
|
|
//
|
|
|
|
// Note: this code could be made shorter with some modulo trickery, but it's
|
|
|
|
// intentionally kept in its more explicit form for simplicity.
|
|
|
|
if (EndOfFragment == BundleSize)
|
|
|
|
return 0;
|
|
|
|
else if (EndOfFragment < BundleSize)
|
|
|
|
return BundleSize - EndOfFragment;
|
|
|
|
else { // EndOfFragment > BundleSize
|
|
|
|
return 2 * BundleSize - EndOfFragment;
|
|
|
|
}
|
|
|
|
} else if (EndOfFragment > BundleSize)
|
2012-12-21 03:05:53 +08:00
|
|
|
return BundleSize - OffsetInBundle;
|
|
|
|
else
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2010-03-24 11:43:40 +08:00
|
|
|
/* *** */
|
|
|
|
|
2009-08-22 02:29:01 +08:00
|
|
|
MCFragment::MCFragment() : Kind(FragmentType(~0)) {
|
|
|
|
}
|
|
|
|
|
2010-07-29 04:28:45 +08:00
|
|
|
MCFragment::~MCFragment() {
|
|
|
|
}
|
|
|
|
|
2009-08-26 10:48:04 +08:00
|
|
|
MCFragment::MCFragment(FragmentType _Kind, MCSectionData *_Parent)
|
2010-12-15 16:45:53 +08:00
|
|
|
: Kind(_Kind), Parent(_Parent), Atom(0), Offset(~UINT64_C(0))
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
{
|
2013-04-18 05:18:16 +08:00
|
|
|
if (Parent)
|
|
|
|
Parent->getFragmentList().push_back(this);
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2012-12-08 03:13:57 +08:00
|
|
|
MCEncodedFragment::~MCEncodedFragment() {
|
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2013-01-16 07:22:09 +08:00
|
|
|
MCEncodedFragmentWithFixups::~MCEncodedFragmentWithFixups() {
|
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2009-08-27 08:38:04 +08:00
|
|
|
MCSectionData::MCSectionData() : Section(0) {}
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
|
|
|
|
MCSectionData::MCSectionData(const MCSection &_Section, MCAssembler *A)
|
2009-08-27 08:38:04 +08:00
|
|
|
: Section(&_Section),
|
2010-12-06 11:48:09 +08:00
|
|
|
Ordinal(~UINT32_C(0)),
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
Alignment(1),
|
2013-01-08 05:51:08 +08:00
|
|
|
BundleLockState(NotBundleLocked), BundleGroupBeforeFirstInst(false),
|
2010-02-03 05:44:01 +08:00
|
|
|
HasInstructions(false)
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
{
|
|
|
|
if (A)
|
|
|
|
A->getSectionList().push_back(this);
|
|
|
|
}
|
|
|
|
|
2013-04-18 05:18:16 +08:00
|
|
|
MCSectionData::iterator
|
|
|
|
MCSectionData::getSubsectionInsertionPoint(unsigned Subsection) {
|
|
|
|
if (Subsection == 0 && SubsectionFragmentMap.empty())
|
|
|
|
return end();
|
|
|
|
|
|
|
|
SmallVectorImpl<std::pair<unsigned, MCFragment *> >::iterator MI =
|
|
|
|
std::lower_bound(SubsectionFragmentMap.begin(), SubsectionFragmentMap.end(),
|
|
|
|
std::make_pair(Subsection, (MCFragment *)0));
|
|
|
|
bool ExactMatch = false;
|
|
|
|
if (MI != SubsectionFragmentMap.end()) {
|
|
|
|
ExactMatch = MI->first == Subsection;
|
|
|
|
if (ExactMatch)
|
|
|
|
++MI;
|
|
|
|
}
|
|
|
|
iterator IP;
|
|
|
|
if (MI == SubsectionFragmentMap.end())
|
|
|
|
IP = end();
|
|
|
|
else
|
|
|
|
IP = MI->second;
|
|
|
|
if (!ExactMatch && Subsection != 0) {
|
|
|
|
// The GNU as documentation claims that subsections have an alignment of 4,
|
|
|
|
// although this appears not to be the case.
|
|
|
|
MCFragment *F = new MCDataFragment();
|
|
|
|
SubsectionFragmentMap.insert(MI, std::make_pair(Subsection, F));
|
|
|
|
getFragmentList().insert(IP, F);
|
|
|
|
F->setParent(this);
|
|
|
|
}
|
|
|
|
return IP;
|
|
|
|
}
|
|
|
|
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
/* *** */
|
|
|
|
|
2009-09-01 12:09:03 +08:00
|
|
|
MCSymbolData::MCSymbolData() : Symbol(0) {}
|
2009-08-22 18:13:24 +08:00
|
|
|
|
2009-08-31 16:08:06 +08:00
|
|
|
MCSymbolData::MCSymbolData(const MCSymbol &_Symbol, MCFragment *_Fragment,
|
2009-08-22 18:13:24 +08:00
|
|
|
uint64_t _Offset, MCAssembler *A)
|
2009-09-01 12:09:03 +08:00
|
|
|
: Symbol(&_Symbol), Fragment(_Fragment), Offset(_Offset),
|
2009-08-28 15:08:35 +08:00
|
|
|
IsExternal(false), IsPrivateExtern(false),
|
2010-08-17 02:34:31 +08:00
|
|
|
CommonSize(0), SymbolSize(0), CommonAlign(0),
|
|
|
|
Flags(0), Index(0)
|
2009-08-22 18:13:24 +08:00
|
|
|
{
|
|
|
|
if (A)
|
|
|
|
A->getSymbolList().push_back(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2011-07-26 07:24:55 +08:00
|
|
|
MCAssembler::MCAssembler(MCContext &Context_, MCAsmBackend &Backend_,
|
2010-12-17 10:45:41 +08:00
|
|
|
MCCodeEmitter &Emitter_, MCObjectWriter &Writer_,
|
|
|
|
raw_ostream &OS_)
|
|
|
|
: Context(Context_), Backend(Backend_), Emitter(Emitter_), Writer(Writer_),
|
2012-12-21 06:51:52 +08:00
|
|
|
OS(OS_), BundleAlignSize(0), RelaxAll(false), NoExecStack(false),
|
2013-01-30 10:09:52 +08:00
|
|
|
SubsectionsViaSymbols(false), ELFHeaderEFlags(0) {
|
2009-08-27 05:22:22 +08:00
|
|
|
}
|
llvm-mc: Start MCAssembler and MCMachOStreamer.
- Together these form the (Mach-O) back end of the assembler.
- MCAssembler is the actual assembler backend, which is designed to have a
reasonable API. This will eventually grow to support multiple object file
implementations, but for now its Mach-O/i386 only.
- MCMachOStreamer adapts the MCStreamer "actions" API to the MCAssembler API,
e.g. converting the various directives into fragments, managing state like
the current section, and so on.
- llvm-mc will use the new backend via '-filetype=obj', which may eventually
be, but is not yet, since I hear that people like assemblers which actually
assemble.
- The only thing that works at the moment is changing sections. For the time
being I have a Python Mach-O dumping tool in test/scripts so this stuff can
be easily tested, eventually I expect to replace this with a real LLVM tool.
- More doxyments to come.
I assume that since this stuff doesn't touch any of the things which are part of
2.6 that it is ok to put this in not so long before the freeze, but if someone
objects let me know, I can pull it.
llvm-svn: 79612
2009-08-21 17:11:24 +08:00
|
|
|
|
|
|
|
MCAssembler::~MCAssembler() {
|
|
|
|
}
|
|
|
|
|
2012-12-13 06:59:46 +08:00
|
|
|
void MCAssembler::reset() {
|
|
|
|
Sections.clear();
|
|
|
|
Symbols.clear();
|
|
|
|
SectionMap.clear();
|
|
|
|
SymbolMap.clear();
|
|
|
|
IndirectSymbols.clear();
|
|
|
|
DataRegions.clear();
|
|
|
|
ThumbFuncs.clear();
|
|
|
|
RelaxAll = false;
|
|
|
|
NoExecStack = false;
|
|
|
|
SubsectionsViaSymbols = false;
|
2013-01-30 10:09:52 +08:00
|
|
|
ELFHeaderEFlags = 0;
|
2012-12-15 02:52:11 +08:00
|
|
|
|
|
|
|
// reset objects owned by us
|
|
|
|
getBackend().reset();
|
|
|
|
getEmitter().reset();
|
|
|
|
getWriter().reset();
|
2012-12-13 06:59:46 +08:00
|
|
|
}
|
|
|
|
|
2010-06-17 04:04:29 +08:00
|
|
|
bool MCAssembler::isSymbolLinkerVisible(const MCSymbol &Symbol) const {
|
2010-03-19 11:18:09 +08:00
|
|
|
// Non-temporary labels should always be visible to the linker.
|
2010-06-17 04:04:29 +08:00
|
|
|
if (!Symbol.isTemporary())
|
2010-03-19 11:18:09 +08:00
|
|
|
return true;
|
|
|
|
|
|
|
|
// Absolute temporary labels are never visible.
|
2010-06-17 04:04:29 +08:00
|
|
|
if (!Symbol.isInSection())
|
2010-03-19 11:18:09 +08:00
|
|
|
return false;
|
|
|
|
|
|
|
|
// Otherwise, check if the section requires symbols even for temporary labels.
|
2010-06-17 04:04:29 +08:00
|
|
|
return getBackend().doesSectionRequireSymbols(Symbol.getSection());
|
2010-03-19 11:18:09 +08:00
|
|
|
}
|
|
|
|
|
2010-09-28 02:13:03 +08:00
|
|
|
const MCSymbolData *MCAssembler::getAtom(const MCSymbolData *SD) const {
|
2010-03-19 11:18:15 +08:00
|
|
|
// Linker visible symbols define atoms.
|
2010-06-17 04:04:29 +08:00
|
|
|
if (isSymbolLinkerVisible(SD->getSymbol()))
|
2010-03-19 11:18:15 +08:00
|
|
|
return SD;
|
|
|
|
|
|
|
|
// Absolute and undefined symbols have no defining atom.
|
|
|
|
if (!SD->getFragment())
|
|
|
|
return 0;
|
|
|
|
|
2010-05-12 08:38:17 +08:00
|
|
|
// Non-linker visible symbols in sections which can't be atomized have no
|
|
|
|
// defining atom.
|
|
|
|
if (!getBackend().isSectionAtomizable(
|
|
|
|
SD->getFragment()->getParent()->getSection()))
|
|
|
|
return 0;
|
|
|
|
|
2010-05-12 01:22:50 +08:00
|
|
|
// Otherwise, return the atom for the containing fragment.
|
|
|
|
return SD->getFragment()->getAtom();
|
2010-03-19 11:18:15 +08:00
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::evaluateFixup(const MCAsmLayout &Layout,
|
2010-05-26 23:18:56 +08:00
|
|
|
const MCFixup &Fixup, const MCFragment *DF,
|
2010-03-13 05:00:49 +08:00
|
|
|
MCValue &Target, uint64_t &Value) const {
|
2011-12-06 08:03:48 +08:00
|
|
|
++stats::evaluateFixup;
|
2010-03-24 07:47:14 +08:00
|
|
|
|
2010-12-23 00:11:57 +08:00
|
|
|
if (!Fixup.getValue()->EvaluateAsRelocatable(Target, Layout))
|
2012-01-27 08:51:23 +08:00
|
|
|
getContext().FatalError(Fixup.getLoc(), "expected relocatable expression");
|
2010-03-13 05:00:49 +08:00
|
|
|
|
2010-12-25 05:22:02 +08:00
|
|
|
bool IsPCRel = Backend.getFixupKindInfo(
|
|
|
|
Fixup.getKind()).Flags & MCFixupKindInfo::FKF_IsPCRel;
|
|
|
|
|
|
|
|
bool IsResolved;
|
|
|
|
if (IsPCRel) {
|
|
|
|
if (Target.getSymB()) {
|
|
|
|
IsResolved = false;
|
|
|
|
} else if (!Target.getSymA()) {
|
|
|
|
IsResolved = false;
|
|
|
|
} else {
|
2011-02-16 11:25:55 +08:00
|
|
|
const MCSymbolRefExpr *A = Target.getSymA();
|
|
|
|
const MCSymbol &SA = A->getSymbol();
|
|
|
|
if (A->getKind() != MCSymbolRefExpr::VK_None ||
|
|
|
|
SA.AliasedSymbol().isUndefined()) {
|
2010-12-25 05:22:02 +08:00
|
|
|
IsResolved = false;
|
|
|
|
} else {
|
|
|
|
const MCSymbolData &DataA = getSymbolData(SA);
|
|
|
|
IsResolved =
|
|
|
|
getWriter().IsSymbolRefDifferenceFullyResolvedImpl(*this, DataA,
|
|
|
|
*DF, false, true);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
IsResolved = Target.isAbsolute();
|
|
|
|
}
|
2010-03-13 05:00:49 +08:00
|
|
|
|
|
|
|
Value = Target.getConstant();
|
|
|
|
|
2010-03-18 08:59:10 +08:00
|
|
|
if (const MCSymbolRefExpr *A = Target.getSymA()) {
|
2010-11-16 00:33:49 +08:00
|
|
|
const MCSymbol &Sym = A->getSymbol().AliasedSymbol();
|
|
|
|
if (Sym.isDefined())
|
2010-12-07 08:27:36 +08:00
|
|
|
Value += Layout.getSymbolOffset(&getSymbolData(Sym));
|
2010-03-13 05:00:49 +08:00
|
|
|
}
|
2010-03-18 08:59:10 +08:00
|
|
|
if (const MCSymbolRefExpr *B = Target.getSymB()) {
|
2010-11-16 00:33:49 +08:00
|
|
|
const MCSymbol &Sym = B->getSymbol().AliasedSymbol();
|
|
|
|
if (Sym.isDefined())
|
2010-12-07 08:27:36 +08:00
|
|
|
Value -= Layout.getSymbolOffset(&getSymbolData(Sym));
|
2010-03-19 11:18:12 +08:00
|
|
|
}
|
2010-03-13 05:00:49 +08:00
|
|
|
|
|
|
|
|
2010-12-16 11:20:06 +08:00
|
|
|
bool ShouldAlignPC = Backend.getFixupKindInfo(Fixup.getKind()).Flags &
|
2010-12-16 02:48:27 +08:00
|
|
|
MCFixupKindInfo::FKF_IsAlignedDownTo32Bits;
|
|
|
|
assert((ShouldAlignPC ? IsPCRel : true) &&
|
|
|
|
"FKF_IsAlignedDownTo32Bits is only allowed on PC-relative fixups!");
|
|
|
|
|
2010-12-10 04:27:52 +08:00
|
|
|
if (IsPCRel) {
|
2010-12-18 05:49:48 +08:00
|
|
|
uint32_t Offset = Layout.getFragmentOffset(DF) + Fixup.getOffset();
|
2011-10-27 06:44:41 +08:00
|
|
|
|
2010-12-16 02:48:27 +08:00
|
|
|
// A number of ARM fixups in Thumb mode require that the effective PC
|
|
|
|
// address be determined as the 32-bit aligned version of the actual offset.
|
2010-12-16 03:24:24 +08:00
|
|
|
if (ShouldAlignPC) Offset &= ~0x3;
|
2010-12-18 05:49:48 +08:00
|
|
|
Value -= Offset;
|
2010-12-10 04:27:52 +08:00
|
|
|
}
|
2010-03-13 05:00:49 +08:00
|
|
|
|
2012-02-28 05:36:23 +08:00
|
|
|
// Let the backend adjust the fixup value if necessary, including whether
|
|
|
|
// we need a relocation.
|
|
|
|
Backend.processFixupValue(*this, Layout, Fixup, DF, Target, Value,
|
|
|
|
IsResolved);
|
2010-12-15 02:46:57 +08:00
|
|
|
|
2010-03-13 05:00:49 +08:00
|
|
|
return IsResolved;
|
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
uint64_t MCAssembler::computeFragmentSize(const MCAsmLayout &Layout,
|
2010-12-22 04:35:18 +08:00
|
|
|
const MCFragment &F) const {
|
2010-05-13 05:35:25 +08:00
|
|
|
switch (F.getKind()) {
|
2010-05-14 02:35:06 +08:00
|
|
|
case MCFragment::FT_Data:
|
2013-01-09 06:05:10 +08:00
|
|
|
case MCFragment::FT_Relaxable:
|
2013-01-16 07:22:09 +08:00
|
|
|
case MCFragment::FT_CompactEncodedInst:
|
2013-01-09 06:05:10 +08:00
|
|
|
return cast<MCEncodedFragment>(F).getContents().size();
|
2010-05-14 02:35:06 +08:00
|
|
|
case MCFragment::FT_Fill:
|
|
|
|
return cast<MCFillFragment>(F).getSize();
|
|
|
|
|
2010-11-03 01:22:24 +08:00
|
|
|
case MCFragment::FT_LEB:
|
2010-12-05 05:58:52 +08:00
|
|
|
return cast<MCLEBFragment>(F).getContents().size();
|
2010-11-03 01:22:24 +08:00
|
|
|
|
2010-12-22 04:35:18 +08:00
|
|
|
case MCFragment::FT_Align: {
|
|
|
|
const MCAlignFragment &AF = cast<MCAlignFragment>(F);
|
|
|
|
unsigned Offset = Layout.getFragmentOffset(&AF);
|
|
|
|
unsigned Size = OffsetToAlignment(Offset, AF.getAlignment());
|
2012-08-30 06:18:56 +08:00
|
|
|
// If we are padding with nops, force the padding to be larger than the
|
|
|
|
// minimum nop size.
|
|
|
|
if (Size > 0 && AF.hasEmitNops()) {
|
|
|
|
while (Size % getBackend().getMinimumNopSize())
|
|
|
|
Size += AF.getAlignment();
|
|
|
|
}
|
2010-12-22 04:35:18 +08:00
|
|
|
if (Size > AF.getMaxBytesToEmit())
|
|
|
|
return 0;
|
|
|
|
return Size;
|
|
|
|
}
|
2010-05-13 05:35:25 +08:00
|
|
|
|
2010-12-22 04:35:18 +08:00
|
|
|
case MCFragment::FT_Org: {
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCOrgFragment &OF = cast<MCOrgFragment>(F);
|
2010-12-22 04:35:18 +08:00
|
|
|
int64_t TargetLocation;
|
|
|
|
if (!OF.getOffset().EvaluateAsAbsolute(TargetLocation, Layout))
|
|
|
|
report_fatal_error("expected assembly-time absolute expression");
|
|
|
|
|
|
|
|
// FIXME: We need a way to communicate this error.
|
|
|
|
uint64_t FragmentOffset = Layout.getFragmentOffset(&OF);
|
|
|
|
int64_t Size = TargetLocation - FragmentOffset;
|
|
|
|
if (Size < 0 || Size >= 0x40000000)
|
|
|
|
report_fatal_error("invalid .org offset '" + Twine(TargetLocation) +
|
|
|
|
"' (at offset '" + Twine(FragmentOffset) + "')");
|
|
|
|
return Size;
|
|
|
|
}
|
2010-10-01 00:52:03 +08:00
|
|
|
|
2010-11-07 10:07:12 +08:00
|
|
|
case MCFragment::FT_Dwarf:
|
2010-12-05 05:58:52 +08:00
|
|
|
return cast<MCDwarfLineAddrFragment>(F).getContents().size();
|
2010-12-28 13:39:27 +08:00
|
|
|
case MCFragment::FT_DwarfFrame:
|
|
|
|
return cast<MCDwarfCallFrameFragment>(F).getContents().size();
|
2010-05-13 05:35:25 +08:00
|
|
|
}
|
|
|
|
|
2012-02-07 13:05:23 +08:00
|
|
|
llvm_unreachable("invalid fragment kind");
|
2010-05-14 02:35:06 +08:00
|
|
|
}
|
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
void MCAsmLayout::layoutFragment(MCFragment *F) {
|
2010-05-14 08:37:21 +08:00
|
|
|
MCFragment *Prev = F->getPrevNode();
|
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
// We should never try to recompute something which is valid.
|
|
|
|
assert(!isFragmentValid(F) && "Attempt to recompute a valid fragment!");
|
|
|
|
// We should never try to compute the fragment layout if its predecessor
|
|
|
|
// isn't valid.
|
|
|
|
assert((!Prev || isFragmentValid(Prev)) &&
|
|
|
|
"Attempt to compute fragment before its predecessor!");
|
2010-05-14 02:35:06 +08:00
|
|
|
|
|
|
|
++stats::FragmentLayouts;
|
|
|
|
|
2010-12-07 08:27:36 +08:00
|
|
|
// Compute fragment offset and size.
|
2010-05-14 08:37:21 +08:00
|
|
|
if (Prev)
|
2012-12-21 03:05:53 +08:00
|
|
|
F->Offset = Prev->Offset + getAssembler().computeFragmentSize(*this, *Prev);
|
|
|
|
else
|
|
|
|
F->Offset = 0;
|
2010-12-08 07:32:26 +08:00
|
|
|
LastValidFragment[F->getParent()] = F;
|
2012-12-21 03:05:53 +08:00
|
|
|
|
|
|
|
// If bundling is enabled and this fragment has instructions in it, it has to
|
|
|
|
// obey the bundling restrictions. With padding, we'll have:
|
|
|
|
//
|
|
|
|
//
|
|
|
|
// BundlePadding
|
2013-02-01 01:00:03 +08:00
|
|
|
// |||
|
2012-12-21 03:05:53 +08:00
|
|
|
// -------------------------------------
|
|
|
|
// Prev |##########| F |
|
|
|
|
// -------------------------------------
|
|
|
|
// ^
|
|
|
|
// |
|
|
|
|
// F->Offset
|
|
|
|
//
|
|
|
|
// The fragment's offset will point to after the padding, and its computed
|
|
|
|
// size won't include the padding.
|
|
|
|
//
|
|
|
|
if (Assembler.isBundlingEnabled() && F->hasInstructions()) {
|
|
|
|
assert(isa<MCEncodedFragment>(F) &&
|
|
|
|
"Only MCEncodedFragment implementations have instructions");
|
|
|
|
uint64_t FSize = Assembler.computeFragmentSize(*this, *F);
|
|
|
|
|
|
|
|
if (FSize > Assembler.getBundleAlignSize())
|
|
|
|
report_fatal_error("Fragment can't be larger than a bundle size");
|
|
|
|
|
|
|
|
uint64_t RequiredBundlePadding = computeBundlePadding(F, F->Offset, FSize);
|
|
|
|
if (RequiredBundlePadding > UINT8_MAX)
|
|
|
|
report_fatal_error("Padding cannot exceed 255 bytes");
|
|
|
|
F->setBundlePadding(static_cast<uint8_t>(RequiredBundlePadding));
|
|
|
|
F->Offset += RequiredBundlePadding;
|
|
|
|
}
|
2009-08-22 02:29:01 +08:00
|
|
|
}
|
|
|
|
|
2012-12-08 03:13:57 +08:00
|
|
|
/// \brief Write the contents of a fragment to the given object writer. Expects
|
|
|
|
/// a MCEncodedFragment.
|
|
|
|
static void writeFragmentContents(const MCFragment &F, MCObjectWriter *OW) {
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCEncodedFragment &EF = cast<MCEncodedFragment>(F);
|
2012-12-08 06:06:56 +08:00
|
|
|
OW->WriteBytes(EF.getContents());
|
2012-12-08 03:13:57 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Write the fragment \p F to the output file.
|
|
|
|
static void writeFragment(const MCAssembler &Asm, const MCAsmLayout &Layout,
|
|
|
|
const MCFragment &F) {
|
2010-12-17 10:45:59 +08:00
|
|
|
MCObjectWriter *OW = &Asm.getWriter();
|
2012-12-21 03:05:53 +08:00
|
|
|
|
2013-02-01 01:00:03 +08:00
|
|
|
// FIXME: Embed in fragments instead?
|
|
|
|
uint64_t FragmentSize = Asm.computeFragmentSize(Layout, F);
|
|
|
|
|
2012-12-21 03:05:53 +08:00
|
|
|
// Should NOP padding be written out before this fragment?
|
|
|
|
unsigned BundlePadding = F.getBundlePadding();
|
|
|
|
if (BundlePadding > 0) {
|
|
|
|
assert(Asm.isBundlingEnabled() &&
|
|
|
|
"Writing bundle padding with disabled bundling");
|
|
|
|
assert(F.hasInstructions() &&
|
|
|
|
"Writing bundle padding for a fragment without instructions");
|
|
|
|
|
2013-02-01 01:00:03 +08:00
|
|
|
unsigned TotalLength = BundlePadding + static_cast<unsigned>(FragmentSize);
|
|
|
|
if (F.alignToBundleEnd() && TotalLength > Asm.getBundleAlignSize()) {
|
|
|
|
// If the padding itself crosses a bundle boundary, it must be emitted
|
|
|
|
// in 2 pieces, since even nop instructions must not cross boundaries.
|
|
|
|
// v--------------v <- BundleAlignSize
|
|
|
|
// v---------v <- BundlePadding
|
|
|
|
// ----------------------------
|
|
|
|
// | Prev |####|####| F |
|
|
|
|
// ----------------------------
|
|
|
|
// ^-------------------^ <- TotalLength
|
|
|
|
unsigned DistanceToBoundary = TotalLength - Asm.getBundleAlignSize();
|
|
|
|
if (!Asm.getBackend().writeNopData(DistanceToBoundary, OW))
|
|
|
|
report_fatal_error("unable to write NOP sequence of " +
|
|
|
|
Twine(DistanceToBoundary) + " bytes");
|
|
|
|
BundlePadding -= DistanceToBoundary;
|
|
|
|
}
|
2012-12-21 03:05:53 +08:00
|
|
|
if (!Asm.getBackend().writeNopData(BundlePadding, OW))
|
|
|
|
report_fatal_error("unable to write NOP sequence of " +
|
|
|
|
Twine(BundlePadding) + " bytes");
|
|
|
|
}
|
|
|
|
|
|
|
|
// This variable (and its dummy usage) is to participate in the assert at
|
|
|
|
// the end of the function.
|
2010-03-19 17:28:59 +08:00
|
|
|
uint64_t Start = OW->getStream().tell();
|
2009-08-22 02:29:01 +08:00
|
|
|
(void) Start;
|
2009-10-16 09:58:15 +08:00
|
|
|
|
2010-03-24 07:47:14 +08:00
|
|
|
++stats::EmittedFragments;
|
2009-08-26 05:10:45 +08:00
|
|
|
|
2009-08-22 02:29:01 +08:00
|
|
|
switch (F.getKind()) {
|
2009-08-22 07:07:38 +08:00
|
|
|
case MCFragment::FT_Align: {
|
2012-12-11 02:59:39 +08:00
|
|
|
++stats::EmittedAlignFragments;
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCAlignFragment &AF = cast<MCAlignFragment>(F);
|
2010-05-13 06:51:27 +08:00
|
|
|
assert(AF.getValueSize() && "Invalid virtual align in concrete fragment!");
|
|
|
|
|
2013-08-08 02:51:09 +08:00
|
|
|
uint64_t Count = FragmentSize / AF.getValueSize();
|
|
|
|
|
2009-08-22 07:07:38 +08:00
|
|
|
// FIXME: This error shouldn't actually occur (the front end should emit
|
|
|
|
// multiple .align directives to enforce the semantics it wants), but is
|
|
|
|
// severe enough that we want to report it. How to handle this?
|
2010-03-25 10:00:02 +08:00
|
|
|
if (Count * AF.getValueSize() != FragmentSize)
|
2010-04-08 06:58:41 +08:00
|
|
|
report_fatal_error("undefined .align directive, value size '" +
|
2009-10-16 09:58:15 +08:00
|
|
|
Twine(AF.getValueSize()) +
|
2009-08-22 07:07:38 +08:00
|
|
|
"' is not a divisor of padding size '" +
|
2010-03-25 10:00:02 +08:00
|
|
|
Twine(FragmentSize) + "'");
|
2009-08-22 07:07:38 +08:00
|
|
|
|
2010-02-24 02:26:34 +08:00
|
|
|
// See if we are aligning with nops, and if so do that first to try to fill
|
|
|
|
// the Count bytes. Then if that did not fill any bytes or there are any
|
2012-07-23 16:51:15 +08:00
|
|
|
// bytes left to fill use the Value and ValueSize to fill the rest.
|
2010-03-23 10:36:58 +08:00
|
|
|
// If we are aligning with nops, ask that target to emit the right data.
|
2010-05-13 06:56:23 +08:00
|
|
|
if (AF.hasEmitNops()) {
|
2012-01-19 02:52:16 +08:00
|
|
|
if (!Asm.getBackend().writeNopData(Count, OW))
|
2010-04-08 06:58:41 +08:00
|
|
|
report_fatal_error("unable to write nop sequence of " +
|
2010-03-23 10:36:58 +08:00
|
|
|
Twine(Count) + " bytes");
|
|
|
|
break;
|
2010-02-24 02:26:34 +08:00
|
|
|
}
|
|
|
|
|
2010-03-23 10:36:58 +08:00
|
|
|
// Otherwise, write out in multiples of the value size.
|
2009-08-22 07:07:38 +08:00
|
|
|
for (uint64_t i = 0; i != Count; ++i) {
|
|
|
|
switch (AF.getValueSize()) {
|
2012-02-07 13:05:23 +08:00
|
|
|
default: llvm_unreachable("Invalid size!");
|
2010-03-19 17:28:55 +08:00
|
|
|
case 1: OW->Write8 (uint8_t (AF.getValue())); break;
|
|
|
|
case 2: OW->Write16(uint16_t(AF.getValue())); break;
|
|
|
|
case 4: OW->Write32(uint32_t(AF.getValue())); break;
|
|
|
|
case 8: OW->Write64(uint64_t(AF.getValue())); break;
|
2009-08-22 07:07:38 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2009-08-22 02:29:01 +08:00
|
|
|
|
2012-12-08 03:13:57 +08:00
|
|
|
case MCFragment::FT_Data:
|
2012-12-08 01:59:21 +08:00
|
|
|
++stats::EmittedDataFragments;
|
2012-12-08 03:13:57 +08:00
|
|
|
writeFragmentContents(F, OW);
|
|
|
|
break;
|
|
|
|
|
2013-01-08 08:22:56 +08:00
|
|
|
case MCFragment::FT_Relaxable:
|
2013-01-09 01:41:59 +08:00
|
|
|
++stats::EmittedRelaxableFragments;
|
2012-12-08 03:13:57 +08:00
|
|
|
writeFragmentContents(F, OW);
|
2009-08-22 02:29:01 +08:00
|
|
|
break;
|
|
|
|
|
2013-01-16 07:22:09 +08:00
|
|
|
case MCFragment::FT_CompactEncodedInst:
|
|
|
|
++stats::EmittedCompactEncodedInstFragments;
|
|
|
|
writeFragmentContents(F, OW);
|
|
|
|
break;
|
|
|
|
|
2009-08-22 02:29:01 +08:00
|
|
|
case MCFragment::FT_Fill: {
|
2012-12-11 02:59:39 +08:00
|
|
|
++stats::EmittedFillFragments;
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCFillFragment &FF = cast<MCFillFragment>(F);
|
2010-05-13 06:51:35 +08:00
|
|
|
|
|
|
|
assert(FF.getValueSize() && "Invalid virtual align in concrete fragment!");
|
|
|
|
|
2010-05-13 06:51:32 +08:00
|
|
|
for (uint64_t i = 0, e = FF.getSize() / FF.getValueSize(); i != e; ++i) {
|
2009-08-22 02:29:01 +08:00
|
|
|
switch (FF.getValueSize()) {
|
2012-02-07 13:05:23 +08:00
|
|
|
default: llvm_unreachable("Invalid size!");
|
2010-03-19 17:28:55 +08:00
|
|
|
case 1: OW->Write8 (uint8_t (FF.getValue())); break;
|
|
|
|
case 2: OW->Write16(uint16_t(FF.getValue())); break;
|
|
|
|
case 4: OW->Write32(uint32_t(FF.getValue())); break;
|
|
|
|
case 8: OW->Write64(uint64_t(FF.getValue())); break;
|
2009-08-22 02:29:01 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2009-10-16 09:58:15 +08:00
|
|
|
|
2010-11-03 01:22:24 +08:00
|
|
|
case MCFragment::FT_LEB: {
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCLEBFragment &LF = cast<MCLEBFragment>(F);
|
2010-12-05 05:58:52 +08:00
|
|
|
OW->WriteBytes(LF.getContents().str());
|
2010-11-03 01:22:24 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2009-08-22 07:07:38 +08:00
|
|
|
case MCFragment::FT_Org: {
|
2012-12-11 02:59:39 +08:00
|
|
|
++stats::EmittedOrgFragments;
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCOrgFragment &OF = cast<MCOrgFragment>(F);
|
2009-08-22 07:07:38 +08:00
|
|
|
|
2010-03-25 10:00:02 +08:00
|
|
|
for (uint64_t i = 0, e = FragmentSize; i != e; ++i)
|
2010-03-19 17:28:55 +08:00
|
|
|
OW->Write8(uint8_t(OF.getValue()));
|
2009-08-22 07:07:38 +08:00
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
2010-10-01 00:52:03 +08:00
|
|
|
|
|
|
|
case MCFragment::FT_Dwarf: {
|
|
|
|
const MCDwarfLineAddrFragment &OF = cast<MCDwarfLineAddrFragment>(F);
|
2010-12-05 05:58:52 +08:00
|
|
|
OW->WriteBytes(OF.getContents().str());
|
2010-10-01 00:52:03 +08:00
|
|
|
break;
|
|
|
|
}
|
2010-12-28 13:39:27 +08:00
|
|
|
case MCFragment::FT_DwarfFrame: {
|
|
|
|
const MCDwarfCallFrameFragment &CF = cast<MCDwarfCallFrameFragment>(F);
|
|
|
|
OW->WriteBytes(CF.getContents().str());
|
|
|
|
break;
|
|
|
|
}
|
2009-08-22 02:29:01 +08:00
|
|
|
}
|
|
|
|
|
2012-12-21 03:05:53 +08:00
|
|
|
assert(OW->getStream().tell() - Start == FragmentSize &&
|
|
|
|
"The stream should advance by fragment size");
|
2009-08-22 02:29:01 +08:00
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
void MCAssembler::writeSectionData(const MCSectionData *SD,
|
2010-12-17 10:45:59 +08:00
|
|
|
const MCAsmLayout &Layout) const {
|
2009-08-28 13:49:21 +08:00
|
|
|
// Ignore virtual sections.
|
2010-11-18 04:03:54 +08:00
|
|
|
if (SD->getSection().isVirtualSection()) {
|
2010-05-13 11:50:50 +08:00
|
|
|
assert(Layout.getSectionFileSize(SD) == 0 && "Invalid size for section!");
|
2010-05-13 06:51:35 +08:00
|
|
|
|
|
|
|
// Check that contents are only things legal inside a virtual section.
|
|
|
|
for (MCSectionData::const_iterator it = SD->begin(),
|
|
|
|
ie = SD->end(); it != ie; ++it) {
|
|
|
|
switch (it->getKind()) {
|
2012-02-07 13:05:23 +08:00
|
|
|
default: llvm_unreachable("Invalid fragment in virtual section!");
|
2010-08-19 02:22:37 +08:00
|
|
|
case MCFragment::FT_Data: {
|
|
|
|
// Check that we aren't trying to write a non-zero contents (or fixups)
|
|
|
|
// into a virtual section. This is to support clients which use standard
|
|
|
|
// directives to fill the contents of virtual sections.
|
2013-02-11 09:16:51 +08:00
|
|
|
const MCDataFragment &DF = cast<MCDataFragment>(*it);
|
2010-08-19 02:22:37 +08:00
|
|
|
assert(DF.fixup_begin() == DF.fixup_end() &&
|
|
|
|
"Cannot have fixups in virtual section!");
|
|
|
|
for (unsigned i = 0, e = DF.getContents().size(); i != e; ++i)
|
|
|
|
assert(DF.getContents()[i] == 0 &&
|
|
|
|
"Invalid data value for virtual section!");
|
|
|
|
break;
|
|
|
|
}
|
2010-05-13 06:51:35 +08:00
|
|
|
case MCFragment::FT_Align:
|
2010-08-19 02:22:37 +08:00
|
|
|
// Check that we aren't trying to write a non-zero value into a virtual
|
|
|
|
// section.
|
2013-06-27 22:35:03 +08:00
|
|
|
assert((cast<MCAlignFragment>(it)->getValueSize() == 0 ||
|
|
|
|
cast<MCAlignFragment>(it)->getValue() == 0) &&
|
2010-05-13 06:51:35 +08:00
|
|
|
"Invalid align in virtual section!");
|
|
|
|
break;
|
|
|
|
case MCFragment::FT_Fill:
|
2013-06-27 22:35:03 +08:00
|
|
|
assert((cast<MCFillFragment>(it)->getValueSize() == 0 ||
|
|
|
|
cast<MCFillFragment>(it)->getValue() == 0) &&
|
2010-05-13 06:51:35 +08:00
|
|
|
"Invalid fill in virtual section!");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-08-28 13:49:21 +08:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2010-12-17 10:45:59 +08:00
|
|
|
uint64_t Start = getWriter().getStream().tell();
|
2012-09-19 07:05:18 +08:00
|
|
|
(void)Start;
|
2009-10-16 09:58:15 +08:00
|
|
|
|
2012-12-08 03:13:57 +08:00
|
|
|
for (MCSectionData::const_iterator it = SD->begin(), ie = SD->end();
|
|
|
|
it != ie; ++it)
|
|
|
|
writeFragment(*this, Layout, *it);
|
2009-08-22 02:29:01 +08:00
|
|
|
|
2010-12-17 10:45:59 +08:00
|
|
|
assert(getWriter().getStream().tell() - Start ==
|
|
|
|
Layout.getSectionAddressSize(SD));
|
2009-08-22 02:29:01 +08:00
|
|
|
}
|
|
|
|
|
2010-12-07 03:08:48 +08:00
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
uint64_t MCAssembler::handleFixup(const MCAsmLayout &Layout,
|
2010-12-17 10:45:59 +08:00
|
|
|
MCFragment &F,
|
|
|
|
const MCFixup &Fixup) {
|
2010-12-07 03:08:48 +08:00
|
|
|
// Evaluate the fixup.
|
|
|
|
MCValue Target;
|
|
|
|
uint64_t FixedValue;
|
2011-12-06 08:03:48 +08:00
|
|
|
if (!evaluateFixup(Layout, Fixup, &F, Target, FixedValue)) {
|
2010-12-07 03:08:48 +08:00
|
|
|
// The fixup was unresolved, we need a relocation. Inform the object
|
|
|
|
// writer of the relocation, and give it an opportunity to adjust the
|
|
|
|
// fixup value if need be.
|
2010-12-17 10:45:59 +08:00
|
|
|
getWriter().RecordRelocation(*this, Layout, &F, Fixup, Target, FixedValue);
|
2010-12-07 03:08:48 +08:00
|
|
|
}
|
|
|
|
return FixedValue;
|
|
|
|
}
|
|
|
|
|
2010-12-17 10:45:41 +08:00
|
|
|
void MCAssembler::Finish() {
|
2010-02-13 17:28:03 +08:00
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
|
|
|
llvm::errs() << "assembler backend - pre-layout\n--\n";
|
|
|
|
dump(); });
|
|
|
|
|
2010-05-13 10:34:14 +08:00
|
|
|
// Create the layout object.
|
2010-03-23 04:35:35 +08:00
|
|
|
MCAsmLayout Layout(*this);
|
2010-05-13 10:34:14 +08:00
|
|
|
|
2010-05-14 08:37:14 +08:00
|
|
|
// Create dummy fragments and assign section ordinals.
|
2010-05-13 16:43:37 +08:00
|
|
|
unsigned SectionIndex = 0;
|
|
|
|
for (MCAssembler::iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
// Create dummy fragments to eliminate any empty sections, this simplifies
|
|
|
|
// layout.
|
2010-06-29 21:30:08 +08:00
|
|
|
if (it->getFragmentList().empty())
|
2010-09-16 05:48:40 +08:00
|
|
|
new MCDataFragment(it);
|
2010-05-13 16:43:37 +08:00
|
|
|
|
|
|
|
it->setOrdinal(SectionIndex++);
|
2010-05-14 08:37:14 +08:00
|
|
|
}
|
2010-05-13 16:43:37 +08:00
|
|
|
|
2010-05-14 08:37:14 +08:00
|
|
|
// Assign layout order indices to sections and fragments.
|
|
|
|
for (unsigned i = 0, e = Layout.getSectionOrder().size(); i != e; ++i) {
|
|
|
|
MCSectionData *SD = Layout.getSectionOrder()[i];
|
|
|
|
SD->setLayoutOrder(i);
|
|
|
|
|
2010-12-08 07:32:26 +08:00
|
|
|
unsigned FragmentIndex = 0;
|
2012-12-13 03:54:05 +08:00
|
|
|
for (MCSectionData::iterator iFrag = SD->begin(), iFragEnd = SD->end();
|
|
|
|
iFrag != iFragEnd; ++iFrag)
|
|
|
|
iFrag->setLayoutOrder(FragmentIndex++);
|
2010-05-13 16:43:37 +08:00
|
|
|
}
|
|
|
|
|
2010-05-13 10:34:14 +08:00
|
|
|
// Layout until everything fits.
|
2011-12-06 08:03:48 +08:00
|
|
|
while (layoutOnce(Layout))
|
2010-03-13 06:07:14 +08:00
|
|
|
continue;
|
|
|
|
|
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
2010-03-23 07:16:48 +08:00
|
|
|
llvm::errs() << "assembler backend - post-relaxation\n--\n";
|
|
|
|
dump(); });
|
|
|
|
|
|
|
|
// Finalize the layout, including fragment lowering.
|
2011-12-06 08:03:48 +08:00
|
|
|
finishLayout(Layout);
|
2010-03-23 07:16:48 +08:00
|
|
|
|
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
|
|
|
llvm::errs() << "assembler backend - final-layout\n--\n";
|
2010-03-13 06:07:14 +08:00
|
|
|
dump(); });
|
|
|
|
|
2010-03-24 07:47:14 +08:00
|
|
|
uint64_t StartOffset = OS.tell();
|
2010-07-22 13:58:53 +08:00
|
|
|
|
2010-03-19 15:09:33 +08:00
|
|
|
// Allow the object writer a chance to perform post-layout binding (for
|
|
|
|
// example, to set the index fields in the symbol data).
|
2010-12-17 10:45:59 +08:00
|
|
|
getWriter().ExecutePostLayoutBinding(*this, Layout);
|
2010-03-19 15:09:33 +08:00
|
|
|
|
2010-03-19 15:09:47 +08:00
|
|
|
// Evaluate and apply the fixups, generating relocation entries as necessary.
|
|
|
|
for (MCAssembler::iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
for (MCSectionData::iterator it2 = it->begin(),
|
|
|
|
ie2 = it->end(); it2 != ie2; ++it2) {
|
2013-01-16 07:22:09 +08:00
|
|
|
MCEncodedFragmentWithFixups *F =
|
|
|
|
dyn_cast<MCEncodedFragmentWithFixups>(it2);
|
2012-12-08 03:13:57 +08:00
|
|
|
if (F) {
|
2013-01-16 07:22:09 +08:00
|
|
|
for (MCEncodedFragmentWithFixups::fixup_iterator it3 = F->fixup_begin(),
|
2012-12-08 03:13:57 +08:00
|
|
|
ie3 = F->fixup_end(); it3 != ie3; ++it3) {
|
2010-12-07 03:08:48 +08:00
|
|
|
MCFixup &Fixup = *it3;
|
2012-12-08 03:13:57 +08:00
|
|
|
uint64_t FixedValue = handleFixup(Layout, *F, Fixup);
|
|
|
|
getBackend().applyFixup(Fixup, F->getContents().data(),
|
|
|
|
F->getContents().size(), FixedValue);
|
2010-03-19 15:09:47 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-03-19 15:09:33 +08:00
|
|
|
// Write the object file.
|
2010-12-17 10:45:59 +08:00
|
|
|
getWriter().WriteObject(*this, Layout);
|
2010-03-24 07:47:14 +08:00
|
|
|
|
|
|
|
stats::ObjectBytes += OS.tell() - StartOffset;
|
2010-03-13 06:07:14 +08:00
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::fixupNeedsRelaxation(const MCFixup &Fixup,
|
2013-01-08 08:22:56 +08:00
|
|
|
const MCRelaxableFragment *DF,
|
2010-03-23 04:35:35 +08:00
|
|
|
const MCAsmLayout &Layout) const {
|
2010-03-13 06:07:14 +08:00
|
|
|
// If we cannot resolve the fixup value, it requires relaxation.
|
|
|
|
MCValue Target;
|
|
|
|
uint64_t Value;
|
2011-12-06 08:03:48 +08:00
|
|
|
if (!evaluateFixup(Layout, Fixup, DF, Target, Value))
|
2010-03-13 06:07:14 +08:00
|
|
|
return true;
|
|
|
|
|
2011-12-06 08:47:03 +08:00
|
|
|
return getBackend().fixupNeedsRelaxation(Fixup, Value, DF, Layout);
|
2010-03-13 06:07:14 +08:00
|
|
|
}
|
|
|
|
|
2013-01-08 08:22:56 +08:00
|
|
|
bool MCAssembler::fragmentNeedsRelaxation(const MCRelaxableFragment *F,
|
2010-03-23 13:09:03 +08:00
|
|
|
const MCAsmLayout &Layout) const {
|
|
|
|
// If this inst doesn't ever need relaxation, ignore it. This occurs when we
|
|
|
|
// are intentionally pushing out inst fragments, or because we relaxed a
|
|
|
|
// previous instruction to one that doesn't need relaxation.
|
2013-01-08 08:22:56 +08:00
|
|
|
if (!getBackend().mayNeedRelaxation(F->getInst()))
|
2010-03-23 13:09:03 +08:00
|
|
|
return false;
|
|
|
|
|
2013-01-08 08:22:56 +08:00
|
|
|
for (MCRelaxableFragment::const_fixup_iterator it = F->fixup_begin(),
|
|
|
|
ie = F->fixup_end(); it != ie; ++it)
|
|
|
|
if (fixupNeedsRelaxation(*it, F, Layout))
|
2010-03-23 13:09:03 +08:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::relaxInstruction(MCAsmLayout &Layout,
|
2013-01-08 08:22:56 +08:00
|
|
|
MCRelaxableFragment &F) {
|
|
|
|
if (!fragmentNeedsRelaxation(&F, Layout))
|
2010-11-03 01:22:24 +08:00
|
|
|
return false;
|
|
|
|
|
|
|
|
++stats::RelaxedInstructions;
|
|
|
|
|
|
|
|
// FIXME-PERF: We could immediately lower out instructions if we can tell
|
|
|
|
// they are fully resolved, to avoid retesting on later passes.
|
|
|
|
|
|
|
|
// Relax the fragment.
|
|
|
|
|
|
|
|
MCInst Relaxed;
|
2013-01-08 08:22:56 +08:00
|
|
|
getBackend().relaxInstruction(F.getInst(), Relaxed);
|
2010-11-03 01:22:24 +08:00
|
|
|
|
|
|
|
// Encode the new instruction.
|
|
|
|
//
|
|
|
|
// FIXME-PERF: If it matters, we could let the target do this. It can
|
|
|
|
// probably do so more efficiently in many cases.
|
|
|
|
SmallVector<MCFixup, 4> Fixups;
|
|
|
|
SmallString<256> Code;
|
|
|
|
raw_svector_ostream VecOS(Code);
|
|
|
|
getEmitter().EncodeInstruction(Relaxed, VecOS, Fixups);
|
|
|
|
VecOS.flush();
|
|
|
|
|
2013-01-08 08:22:56 +08:00
|
|
|
// Update the fragment.
|
|
|
|
F.setInst(Relaxed);
|
|
|
|
F.getContents() = Code;
|
|
|
|
F.getFixups() = Fixups;
|
2010-11-03 01:22:24 +08:00
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::relaxLEB(MCAsmLayout &Layout, MCLEBFragment &LF) {
|
2010-12-05 05:58:52 +08:00
|
|
|
int64_t Value = 0;
|
|
|
|
uint64_t OldSize = LF.getContents().size();
|
2011-04-26 10:17:58 +08:00
|
|
|
bool IsAbs = LF.getValue().EvaluateAsAbsolute(Value, Layout);
|
|
|
|
(void)IsAbs;
|
|
|
|
assert(IsAbs);
|
2010-12-05 05:58:52 +08:00
|
|
|
SmallString<8> &Data = LF.getContents();
|
|
|
|
Data.clear();
|
|
|
|
raw_svector_ostream OSE(Data);
|
2010-11-03 01:22:24 +08:00
|
|
|
if (LF.isSigned())
|
2012-08-09 07:56:06 +08:00
|
|
|
encodeSLEB128(Value, OSE);
|
2010-11-03 01:22:24 +08:00
|
|
|
else
|
2012-08-09 07:56:06 +08:00
|
|
|
encodeULEB128(Value, OSE);
|
2010-12-05 05:58:52 +08:00
|
|
|
OSE.flush();
|
|
|
|
return OldSize != LF.getContents().size();
|
2010-11-03 01:22:24 +08:00
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::relaxDwarfLineAddr(MCAsmLayout &Layout,
|
2011-12-06 08:13:09 +08:00
|
|
|
MCDwarfLineAddrFragment &DF) {
|
2013-06-12 22:46:54 +08:00
|
|
|
MCContext &Context = Layout.getAssembler().getContext();
|
2010-12-05 05:58:52 +08:00
|
|
|
int64_t AddrDelta = 0;
|
|
|
|
uint64_t OldSize = DF.getContents().size();
|
2010-12-23 06:04:28 +08:00
|
|
|
bool IsAbs = DF.getAddrDelta().EvaluateAsAbsolute(AddrDelta, Layout);
|
|
|
|
(void)IsAbs;
|
|
|
|
assert(IsAbs);
|
2010-11-07 10:07:12 +08:00
|
|
|
int64_t LineDelta;
|
|
|
|
LineDelta = DF.getLineDelta();
|
2010-12-05 05:58:52 +08:00
|
|
|
SmallString<8> &Data = DF.getContents();
|
|
|
|
Data.clear();
|
|
|
|
raw_svector_ostream OSE(Data);
|
2013-06-12 22:46:54 +08:00
|
|
|
MCDwarfLineAddr::Encode(Context, LineDelta, AddrDelta, OSE);
|
2010-12-05 05:58:52 +08:00
|
|
|
OSE.flush();
|
|
|
|
return OldSize != Data.size();
|
2010-11-07 10:07:12 +08:00
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::relaxDwarfCallFrameFragment(MCAsmLayout &Layout,
|
2010-12-28 13:39:27 +08:00
|
|
|
MCDwarfCallFrameFragment &DF) {
|
2013-06-12 22:46:54 +08:00
|
|
|
MCContext &Context = Layout.getAssembler().getContext();
|
2010-12-28 13:39:27 +08:00
|
|
|
int64_t AddrDelta = 0;
|
|
|
|
uint64_t OldSize = DF.getContents().size();
|
|
|
|
bool IsAbs = DF.getAddrDelta().EvaluateAsAbsolute(AddrDelta, Layout);
|
|
|
|
(void)IsAbs;
|
|
|
|
assert(IsAbs);
|
|
|
|
SmallString<8> &Data = DF.getContents();
|
|
|
|
Data.clear();
|
|
|
|
raw_svector_ostream OSE(Data);
|
2013-06-12 22:46:54 +08:00
|
|
|
MCDwarfFrameEmitter::EncodeAdvanceLoc(Context, AddrDelta, OSE);
|
2010-12-28 13:39:27 +08:00
|
|
|
OSE.flush();
|
|
|
|
return OldSize != Data.size();
|
|
|
|
}
|
|
|
|
|
2012-12-11 04:13:43 +08:00
|
|
|
bool MCAssembler::layoutSectionOnce(MCAsmLayout &Layout, MCSectionData &SD) {
|
|
|
|
// Holds the first fragment which needed relaxing during this layout. It will
|
|
|
|
// remain NULL if none were relaxed.
|
2012-12-13 03:54:05 +08:00
|
|
|
// When a fragment is relaxed, all the fragments following it should get
|
|
|
|
// invalidated because their offset is going to change.
|
|
|
|
MCFragment *FirstRelaxedFragment = NULL;
|
2012-12-11 04:13:43 +08:00
|
|
|
|
2012-12-13 03:54:05 +08:00
|
|
|
// Attempt to relax all the fragments in the section.
|
2012-12-11 04:13:43 +08:00
|
|
|
for (MCSectionData::iterator I = SD.begin(), IE = SD.end(); I != IE; ++I) {
|
|
|
|
// Check if this is a fragment that needs relaxation.
|
|
|
|
bool RelaxedFrag = false;
|
|
|
|
switch(I->getKind()) {
|
2010-12-21 12:22:09 +08:00
|
|
|
default:
|
2012-12-11 04:13:43 +08:00
|
|
|
break;
|
2013-01-08 08:22:56 +08:00
|
|
|
case MCFragment::FT_Relaxable:
|
2012-12-12 01:16:00 +08:00
|
|
|
assert(!getRelaxAll() &&
|
2013-01-08 08:22:56 +08:00
|
|
|
"Did not expect a MCRelaxableFragment in RelaxAll mode");
|
|
|
|
RelaxedFrag = relaxInstruction(Layout, *cast<MCRelaxableFragment>(I));
|
2010-12-21 12:22:09 +08:00
|
|
|
break;
|
|
|
|
case MCFragment::FT_Dwarf:
|
2012-12-11 04:13:43 +08:00
|
|
|
RelaxedFrag = relaxDwarfLineAddr(Layout,
|
|
|
|
*cast<MCDwarfLineAddrFragment>(I));
|
2010-12-21 12:22:09 +08:00
|
|
|
break;
|
2010-12-28 13:39:27 +08:00
|
|
|
case MCFragment::FT_DwarfFrame:
|
2012-12-11 04:13:43 +08:00
|
|
|
RelaxedFrag =
|
2011-12-06 08:03:48 +08:00
|
|
|
relaxDwarfCallFrameFragment(Layout,
|
2012-12-11 04:13:43 +08:00
|
|
|
*cast<MCDwarfCallFrameFragment>(I));
|
2010-12-28 13:39:27 +08:00
|
|
|
break;
|
|
|
|
case MCFragment::FT_LEB:
|
2012-12-11 04:13:43 +08:00
|
|
|
RelaxedFrag = relaxLEB(Layout, *cast<MCLEBFragment>(I));
|
2010-12-28 13:39:27 +08:00
|
|
|
break;
|
2010-12-21 12:22:09 +08:00
|
|
|
}
|
2012-12-13 03:54:05 +08:00
|
|
|
if (RelaxedFrag && !FirstRelaxedFragment)
|
|
|
|
FirstRelaxedFragment = I;
|
2010-12-21 12:22:09 +08:00
|
|
|
}
|
2012-12-13 03:54:05 +08:00
|
|
|
if (FirstRelaxedFragment) {
|
2013-02-06 01:55:27 +08:00
|
|
|
Layout.invalidateFragmentsFrom(FirstRelaxedFragment);
|
2010-12-21 12:22:09 +08:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
bool MCAssembler::layoutOnce(MCAsmLayout &Layout) {
|
2010-03-24 07:47:14 +08:00
|
|
|
++stats::RelaxationSteps;
|
|
|
|
|
2010-03-26 03:35:56 +08:00
|
|
|
bool WasRelaxed = false;
|
2010-03-13 06:07:14 +08:00
|
|
|
for (iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
MCSectionData &SD = *it;
|
2012-12-11 04:13:43 +08:00
|
|
|
while (layoutSectionOnce(Layout, SD))
|
2010-12-21 12:22:09 +08:00
|
|
|
WasRelaxed = true;
|
2010-03-13 06:07:14 +08:00
|
|
|
}
|
|
|
|
|
2010-03-26 03:35:56 +08:00
|
|
|
return WasRelaxed;
|
2010-03-13 06:07:14 +08:00
|
|
|
}
|
2010-02-13 17:28:03 +08:00
|
|
|
|
2011-12-06 08:03:48 +08:00
|
|
|
void MCAssembler::finishLayout(MCAsmLayout &Layout) {
|
2010-12-05 06:47:22 +08:00
|
|
|
// The layout is done. Mark every fragment as valid.
|
2010-12-08 07:32:26 +08:00
|
|
|
for (unsigned int i = 0, n = Layout.getSectionOrder().size(); i != n; ++i) {
|
|
|
|
Layout.getFragmentOffset(&*Layout.getSectionOrder()[i]->rbegin());
|
|
|
|
}
|
2010-03-23 07:16:48 +08:00
|
|
|
}
|
|
|
|
|
2010-02-13 17:28:03 +08:00
|
|
|
// Debugging methods
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
2010-05-26 23:18:56 +08:00
|
|
|
raw_ostream &operator<<(raw_ostream &OS, const MCFixup &AF) {
|
|
|
|
OS << "<MCFixup" << " Offset:" << AF.getOffset()
|
2010-05-26 23:18:31 +08:00
|
|
|
<< " Value:" << *AF.getValue()
|
|
|
|
<< " Kind:" << AF.getKind() << ">";
|
2010-02-13 17:28:03 +08:00
|
|
|
return OS;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2012-09-12 13:06:18 +08:00
|
|
|
#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
|
2010-02-13 17:28:03 +08:00
|
|
|
void MCFragment::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
2010-05-26 14:50:57 +08:00
|
|
|
OS << "<";
|
|
|
|
switch (getKind()) {
|
|
|
|
case MCFragment::FT_Align: OS << "MCAlignFragment"; break;
|
|
|
|
case MCFragment::FT_Data: OS << "MCDataFragment"; break;
|
2013-01-16 07:22:09 +08:00
|
|
|
case MCFragment::FT_CompactEncodedInst:
|
|
|
|
OS << "MCCompactEncodedInstFragment"; break;
|
2010-05-26 14:50:57 +08:00
|
|
|
case MCFragment::FT_Fill: OS << "MCFillFragment"; break;
|
2013-01-08 08:22:56 +08:00
|
|
|
case MCFragment::FT_Relaxable: OS << "MCRelaxableFragment"; break;
|
2010-05-26 14:50:57 +08:00
|
|
|
case MCFragment::FT_Org: OS << "MCOrgFragment"; break;
|
2010-10-01 00:52:03 +08:00
|
|
|
case MCFragment::FT_Dwarf: OS << "MCDwarfFragment"; break;
|
2010-12-28 13:39:27 +08:00
|
|
|
case MCFragment::FT_DwarfFrame: OS << "MCDwarfCallFrameFragment"; break;
|
2010-11-03 01:22:24 +08:00
|
|
|
case MCFragment::FT_LEB: OS << "MCLEBFragment"; break;
|
2010-05-26 14:50:57 +08:00
|
|
|
}
|
|
|
|
|
2010-05-14 08:37:14 +08:00
|
|
|
OS << "<MCFragment " << (void*) this << " LayoutOrder:" << LayoutOrder
|
2012-12-21 03:05:53 +08:00
|
|
|
<< " Offset:" << Offset
|
|
|
|
<< " HasInstructions:" << hasInstructions()
|
2013-02-06 01:55:27 +08:00
|
|
|
<< " BundlePadding:" << static_cast<unsigned>(getBundlePadding()) << ">";
|
2010-02-13 17:28:03 +08:00
|
|
|
|
2010-05-26 14:50:57 +08:00
|
|
|
switch (getKind()) {
|
|
|
|
case MCFragment::FT_Align: {
|
|
|
|
const MCAlignFragment *AF = cast<MCAlignFragment>(this);
|
|
|
|
if (AF->hasEmitNops())
|
|
|
|
OS << " (emit nops)";
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Alignment:" << AF->getAlignment()
|
|
|
|
<< " Value:" << AF->getValue() << " ValueSize:" << AF->getValueSize()
|
|
|
|
<< " MaxBytesToEmit:" << AF->getMaxBytesToEmit() << ">";
|
|
|
|
break;
|
2010-02-13 17:28:03 +08:00
|
|
|
}
|
2010-05-26 14:50:57 +08:00
|
|
|
case MCFragment::FT_Data: {
|
|
|
|
const MCDataFragment *DF = cast<MCDataFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Contents:[";
|
|
|
|
const SmallVectorImpl<char> &Contents = DF->getContents();
|
|
|
|
for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
|
|
|
|
if (i) OS << ",";
|
|
|
|
OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
|
|
|
|
}
|
|
|
|
OS << "] (" << Contents.size() << " bytes)";
|
|
|
|
|
2012-12-06 06:11:02 +08:00
|
|
|
if (DF->fixup_begin() != DF->fixup_end()) {
|
2010-05-26 14:50:57 +08:00
|
|
|
OS << ",\n ";
|
|
|
|
OS << " Fixups:[";
|
|
|
|
for (MCDataFragment::const_fixup_iterator it = DF->fixup_begin(),
|
|
|
|
ie = DF->fixup_end(); it != ie; ++it) {
|
|
|
|
if (it != DF->fixup_begin()) OS << ",\n ";
|
|
|
|
OS << *it;
|
|
|
|
}
|
|
|
|
OS << "]";
|
2010-02-13 17:28:43 +08:00
|
|
|
}
|
2010-05-26 14:50:57 +08:00
|
|
|
break;
|
|
|
|
}
|
2013-01-16 07:22:09 +08:00
|
|
|
case MCFragment::FT_CompactEncodedInst: {
|
|
|
|
const MCCompactEncodedInstFragment *CEIF =
|
|
|
|
cast<MCCompactEncodedInstFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Contents:[";
|
|
|
|
const SmallVectorImpl<char> &Contents = CEIF->getContents();
|
|
|
|
for (unsigned i = 0, e = Contents.size(); i != e; ++i) {
|
|
|
|
if (i) OS << ",";
|
|
|
|
OS << hexdigit((Contents[i] >> 4) & 0xF) << hexdigit(Contents[i] & 0xF);
|
|
|
|
}
|
|
|
|
OS << "] (" << Contents.size() << " bytes)";
|
|
|
|
break;
|
|
|
|
}
|
2010-05-26 14:50:57 +08:00
|
|
|
case MCFragment::FT_Fill: {
|
|
|
|
const MCFillFragment *FF = cast<MCFillFragment>(this);
|
|
|
|
OS << " Value:" << FF->getValue() << " ValueSize:" << FF->getValueSize()
|
|
|
|
<< " Size:" << FF->getSize();
|
|
|
|
break;
|
|
|
|
}
|
2013-01-08 08:22:56 +08:00
|
|
|
case MCFragment::FT_Relaxable: {
|
|
|
|
const MCRelaxableFragment *F = cast<MCRelaxableFragment>(this);
|
2010-05-26 14:50:57 +08:00
|
|
|
OS << "\n ";
|
|
|
|
OS << " Inst:";
|
2013-01-08 08:22:56 +08:00
|
|
|
F->getInst().dump_pretty(OS);
|
2010-05-26 14:50:57 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MCFragment::FT_Org: {
|
|
|
|
const MCOrgFragment *OF = cast<MCOrgFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Offset:" << OF->getOffset() << " Value:" << OF->getValue();
|
|
|
|
break;
|
|
|
|
}
|
2010-10-01 00:52:03 +08:00
|
|
|
case MCFragment::FT_Dwarf: {
|
|
|
|
const MCDwarfLineAddrFragment *OF = cast<MCDwarfLineAddrFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " AddrDelta:" << OF->getAddrDelta()
|
|
|
|
<< " LineDelta:" << OF->getLineDelta();
|
|
|
|
break;
|
|
|
|
}
|
2010-12-28 13:39:27 +08:00
|
|
|
case MCFragment::FT_DwarfFrame: {
|
|
|
|
const MCDwarfCallFrameFragment *CF = cast<MCDwarfCallFrameFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " AddrDelta:" << CF->getAddrDelta();
|
|
|
|
break;
|
|
|
|
}
|
2010-11-03 01:22:24 +08:00
|
|
|
case MCFragment::FT_LEB: {
|
|
|
|
const MCLEBFragment *LF = cast<MCLEBFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Value:" << LF->getValue() << " Signed:" << LF->isSigned();
|
|
|
|
break;
|
|
|
|
}
|
2010-02-13 17:28:43 +08:00
|
|
|
}
|
2010-03-23 07:16:48 +08:00
|
|
|
OS << ">";
|
|
|
|
}
|
|
|
|
|
2010-02-13 17:28:03 +08:00
|
|
|
void MCSectionData::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
|
|
|
OS << "<MCSectionData";
|
2012-12-21 03:05:53 +08:00
|
|
|
OS << " Alignment:" << getAlignment()
|
|
|
|
<< " Fragments:[\n ";
|
2010-02-13 17:28:03 +08:00
|
|
|
for (iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
if (it != begin()) OS << ",\n ";
|
|
|
|
it->dump();
|
|
|
|
}
|
|
|
|
OS << "]>";
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCSymbolData::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
|
|
|
OS << "<MCSymbolData Symbol:" << getSymbol()
|
|
|
|
<< " Fragment:" << getFragment() << " Offset:" << getOffset()
|
|
|
|
<< " Flags:" << getFlags() << " Index:" << getIndex();
|
|
|
|
if (isCommon())
|
|
|
|
OS << " (common, size:" << getCommonSize()
|
|
|
|
<< " align: " << getCommonAlignment() << ")";
|
|
|
|
if (isExternal())
|
|
|
|
OS << " (external)";
|
|
|
|
if (isPrivateExtern())
|
|
|
|
OS << " (private extern)";
|
|
|
|
OS << ">";
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCAssembler::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
|
|
|
OS << "<MCAssembler\n";
|
2010-03-09 09:12:23 +08:00
|
|
|
OS << " Sections:[\n ";
|
2010-02-13 17:28:03 +08:00
|
|
|
for (iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
if (it != begin()) OS << ",\n ";
|
|
|
|
it->dump();
|
|
|
|
}
|
|
|
|
OS << "],\n";
|
|
|
|
OS << " Symbols:[";
|
|
|
|
|
|
|
|
for (symbol_iterator it = symbol_begin(), ie = symbol_end(); it != ie; ++it) {
|
2010-03-09 09:12:23 +08:00
|
|
|
if (it != symbol_begin()) OS << ",\n ";
|
2010-02-13 17:28:03 +08:00
|
|
|
it->dump();
|
|
|
|
}
|
|
|
|
OS << "]>\n";
|
|
|
|
}
|
2012-09-07 03:55:56 +08:00
|
|
|
#endif
|
2011-12-20 10:50:00 +08:00
|
|
|
|
|
|
|
// anchors for MC*Fragment vtables
|
2012-12-08 03:13:57 +08:00
|
|
|
void MCEncodedFragment::anchor() { }
|
2013-01-16 07:22:09 +08:00
|
|
|
void MCEncodedFragmentWithFixups::anchor() { }
|
2011-12-20 10:50:00 +08:00
|
|
|
void MCDataFragment::anchor() { }
|
2013-01-16 07:22:09 +08:00
|
|
|
void MCCompactEncodedInstFragment::anchor() { }
|
2013-01-08 08:22:56 +08:00
|
|
|
void MCRelaxableFragment::anchor() { }
|
2011-12-20 10:50:00 +08:00
|
|
|
void MCAlignFragment::anchor() { }
|
|
|
|
void MCFillFragment::anchor() { }
|
|
|
|
void MCOrgFragment::anchor() { }
|
|
|
|
void MCLEBFragment::anchor() { }
|
|
|
|
void MCDwarfLineAddrFragment::anchor() { }
|
|
|
|
void MCDwarfCallFrameFragment::anchor() { }
|