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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00: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-25 21:10:45 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
#include "llvm/MC/MCAssembler.h"
|
2010-03-11 05:53:33 +00:00
|
|
|
#include "llvm/MC/MCAsmLayout.h"
|
2010-03-19 10:43:23 +00:00
|
|
|
#include "llvm/MC/MCCodeEmitter.h"
|
2009-10-16 01:58:03 +00:00
|
|
|
#include "llvm/MC/MCExpr.h"
|
2010-03-19 09:28:59 +00:00
|
|
|
#include "llvm/MC/MCObjectWriter.h"
|
2010-09-30 16:52:03 +00:00
|
|
|
#include "llvm/MC/MCSection.h"
|
2009-10-16 01:58:03 +00:00
|
|
|
#include "llvm/MC/MCSymbol.h"
|
|
|
|
#include "llvm/MC/MCValue.h"
|
2010-09-30 16:52:03 +00:00
|
|
|
#include "llvm/MC/MCDwarf.h"
|
2010-03-19 10:43:26 +00:00
|
|
|
#include "llvm/ADT/OwningPtr.h"
|
2009-08-25 21:10:45 +00:00
|
|
|
#include "llvm/ADT/Statistic.h"
|
2010-02-13 09:28:03 +00:00
|
|
|
#include "llvm/ADT/StringExtras.h"
|
2009-08-21 23:07:38 +00:00
|
|
|
#include "llvm/ADT/Twine.h"
|
2010-03-25 22:49:09 +00:00
|
|
|
#include "llvm/Support/Debug.h"
|
2009-08-21 18:29:01 +00:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2010-03-13 22:10:17 +00:00
|
|
|
#include "llvm/Target/TargetRegistry.h"
|
2010-03-12 21:00:49 +00:00
|
|
|
#include "llvm/Target/TargetAsmBackend.h"
|
2010-02-13 09:29:02 +00:00
|
|
|
|
2009-08-24 03:52:50 +00:00
|
|
|
#include <vector>
|
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
2010-03-23 23:47:14 +00:00
|
|
|
namespace {
|
|
|
|
namespace stats {
|
2009-08-25 21:10:45 +00:00
|
|
|
STATISTIC(EmittedFragments, "Number of emitted assembler fragments");
|
2010-03-23 23:47:14 +00:00
|
|
|
STATISTIC(EvaluateFixup, "Number of evaluated fixups");
|
2010-03-25 22:49:09 +00:00
|
|
|
STATISTIC(FragmentLayouts, "Number of fragment layouts");
|
2010-03-23 23:47:14 +00:00
|
|
|
STATISTIC(ObjectBytes, "Number of emitted object file bytes");
|
2010-03-25 22:49:09 +00:00
|
|
|
STATISTIC(RelaxationSteps, "Number of assembler layout and relaxation steps");
|
|
|
|
STATISTIC(RelaxedInstructions, "Number of relaxed instructions");
|
|
|
|
STATISTIC(SectionLayouts, "Number of section layouts");
|
2010-03-23 23:47:14 +00:00
|
|
|
}
|
|
|
|
}
|
2009-08-25 21:10:45 +00:00
|
|
|
|
2009-08-28 07:08:35 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
/* *** */
|
|
|
|
|
2010-05-14 00:37:21 +00:00
|
|
|
MCAsmLayout::MCAsmLayout(MCAssembler &Asm)
|
|
|
|
: Assembler(Asm), LastValidFragment(0)
|
|
|
|
{
|
2010-05-12 15:42:59 +00:00
|
|
|
// Compute the section layout order. Virtual sections must go last.
|
|
|
|
for (MCAssembler::iterator it = Asm.begin(), ie = Asm.end(); it != ie; ++it)
|
|
|
|
if (!Asm.getBackend().isVirtualSection(it->getSection()))
|
|
|
|
SectionOrder.push_back(&*it);
|
|
|
|
for (MCAssembler::iterator it = Asm.begin(), ie = Asm.end(); it != ie; ++it)
|
|
|
|
if (Asm.getBackend().isVirtualSection(it->getSection()))
|
|
|
|
SectionOrder.push_back(&*it);
|
|
|
|
}
|
|
|
|
|
2010-05-14 00:37:21 +00:00
|
|
|
bool MCAsmLayout::isSectionUpToDate(const MCSectionData *SD) const {
|
|
|
|
// The first section is always up-to-date.
|
|
|
|
unsigned Index = SD->getLayoutOrder();
|
|
|
|
if (!Index)
|
|
|
|
return true;
|
|
|
|
|
|
|
|
// Otherwise, sections are always implicitly computed when the preceeding
|
|
|
|
// fragment is layed out.
|
|
|
|
const MCSectionData *Prev = getSectionOrder()[Index - 1];
|
|
|
|
return isFragmentUpToDate(&(Prev->getFragmentList().back()));
|
|
|
|
}
|
|
|
|
|
|
|
|
bool MCAsmLayout::isFragmentUpToDate(const MCFragment *F) const {
|
|
|
|
return (LastValidFragment &&
|
|
|
|
F->getLayoutOrder() <= LastValidFragment->getLayoutOrder());
|
|
|
|
}
|
|
|
|
|
2010-03-25 19:35:56 +00:00
|
|
|
void MCAsmLayout::UpdateForSlide(MCFragment *F, int SlideAmount) {
|
2010-05-14 00:51:14 +00:00
|
|
|
// If this fragment wasn't already up-to-date, we don't need to do anything.
|
|
|
|
if (!isFragmentUpToDate(F))
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Otherwise, reset the last valid fragment to the predecessor of the
|
|
|
|
// invalidated fragment.
|
|
|
|
LastValidFragment = F->getPrevNode();
|
|
|
|
if (!LastValidFragment) {
|
|
|
|
unsigned Index = F->getParent()->getLayoutOrder();
|
|
|
|
if (Index != 0) {
|
|
|
|
MCSectionData *Prev = getSectionOrder()[Index - 1];
|
|
|
|
LastValidFragment = &(Prev->getFragmentList().back());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2010-03-25 19:35:56 +00:00
|
|
|
|
2010-05-14 00:51:14 +00:00
|
|
|
void MCAsmLayout::EnsureValid(const MCFragment *F) const {
|
|
|
|
// Advance the layout position until the fragment is up-to-date.
|
|
|
|
while (!isFragmentUpToDate(F)) {
|
|
|
|
// Advance to the next fragment.
|
|
|
|
MCFragment *Cur = LastValidFragment;
|
|
|
|
if (Cur)
|
|
|
|
Cur = Cur->getNextNode();
|
|
|
|
if (!Cur) {
|
|
|
|
unsigned NextIndex = 0;
|
|
|
|
if (LastValidFragment)
|
|
|
|
NextIndex = LastValidFragment->getParent()->getLayoutOrder() + 1;
|
|
|
|
Cur = SectionOrder[NextIndex]->begin();
|
|
|
|
}
|
2010-03-25 19:35:56 +00:00
|
|
|
|
2010-05-14 00:51:14 +00:00
|
|
|
const_cast<MCAsmLayout*>(this)->LayoutFragment(Cur);
|
|
|
|
}
|
2010-03-25 19:35:56 +00:00
|
|
|
}
|
|
|
|
|
2010-05-13 08:43:31 +00:00
|
|
|
void MCAsmLayout::FragmentReplaced(MCFragment *Src, MCFragment *Dst) {
|
2010-05-14 00:37:21 +00:00
|
|
|
if (LastValidFragment == Src)
|
|
|
|
LastValidFragment = Dst;
|
|
|
|
|
2010-05-13 08:43:31 +00:00
|
|
|
Dst->Offset = Src->Offset;
|
|
|
|
Dst->EffectiveSize = Src->EffectiveSize;
|
|
|
|
}
|
|
|
|
|
2010-03-24 03:43:40 +00:00
|
|
|
uint64_t MCAsmLayout::getFragmentAddress(const MCFragment *F) const {
|
2010-03-25 01:03:24 +00:00
|
|
|
assert(F->getParent() && "Missing section()!");
|
2010-03-25 02:00:02 +00:00
|
|
|
return getSectionAddress(F->getParent()) + getFragmentOffset(F);
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getFragmentEffectiveSize(const MCFragment *F) const {
|
2010-05-14 00:51:14 +00:00
|
|
|
EnsureValid(F);
|
2010-03-25 02:00:02 +00:00
|
|
|
assert(F->EffectiveSize != ~UINT64_C(0) && "Address not set!");
|
|
|
|
return F->EffectiveSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getFragmentOffset(const MCFragment *F) const {
|
2010-05-14 00:51:14 +00:00
|
|
|
EnsureValid(F);
|
2010-03-25 02:00:02 +00:00
|
|
|
assert(F->Offset != ~UINT64_C(0) && "Address not set!");
|
|
|
|
return F->Offset;
|
|
|
|
}
|
|
|
|
|
2010-03-24 03:43:40 +00:00
|
|
|
uint64_t MCAsmLayout::getSymbolAddress(const MCSymbolData *SD) const {
|
2010-03-25 01:03:24 +00:00
|
|
|
assert(SD->getFragment() && "Invalid getAddress() on undefined symbol!");
|
|
|
|
return getFragmentAddress(SD->getFragment()) + SD->getOffset();
|
2010-03-24 03:43:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getSectionAddress(const MCSectionData *SD) const {
|
2010-05-14 00:51:14 +00:00
|
|
|
EnsureValid(SD->begin());
|
2010-03-25 01:03:24 +00:00
|
|
|
assert(SD->Address != ~UINT64_C(0) && "Address not set!");
|
|
|
|
return SD->Address;
|
2010-03-24 03:43:40 +00:00
|
|
|
}
|
|
|
|
|
2010-05-13 03:19:50 +00:00
|
|
|
uint64_t MCAsmLayout::getSectionAddressSize(const MCSectionData *SD) const {
|
2010-05-14 00:37:11 +00:00
|
|
|
// The size is the last fragment's end offset.
|
2010-05-13 03:19:50 +00:00
|
|
|
const MCFragment &F = SD->getFragmentList().back();
|
|
|
|
return getFragmentOffset(&F) + getFragmentEffectiveSize(&F);
|
2010-03-25 02:00:07 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getSectionFileSize(const MCSectionData *SD) const {
|
2010-05-13 03:19:50 +00:00
|
|
|
// Virtual sections have no file size.
|
|
|
|
if (getAssembler().getBackend().isVirtualSection(SD->getSection()))
|
|
|
|
return 0;
|
2010-03-25 02:00:07 +00:00
|
|
|
|
2010-05-13 03:19:50 +00:00
|
|
|
// Otherwise, the file size is the same as the address space size.
|
|
|
|
return getSectionAddressSize(SD);
|
2010-05-13 01:10:22 +00:00
|
|
|
}
|
2010-05-13 03:19:50 +00:00
|
|
|
|
|
|
|
uint64_t MCAsmLayout::getSectionSize(const MCSectionData *SD) const {
|
|
|
|
// The logical size is the address space size minus any tail padding.
|
|
|
|
uint64_t Size = getSectionAddressSize(SD);
|
|
|
|
const MCAlignFragment *AF =
|
|
|
|
dyn_cast<MCAlignFragment>(&(SD->getFragmentList().back()));
|
|
|
|
if (AF && AF->hasOnlyAlignAddress())
|
|
|
|
Size -= getFragmentEffectiveSize(AF);
|
|
|
|
|
|
|
|
return Size;
|
2010-05-13 01:10:22 +00:00
|
|
|
}
|
|
|
|
|
2010-03-24 03:43:40 +00:00
|
|
|
/* *** */
|
|
|
|
|
2009-08-21 18:29:01 +00:00
|
|
|
MCFragment::MCFragment() : Kind(FragmentType(~0)) {
|
|
|
|
}
|
|
|
|
|
2010-07-28 20:28:45 +00:00
|
|
|
MCFragment::~MCFragment() {
|
|
|
|
}
|
|
|
|
|
2009-08-26 02:48:04 +00:00
|
|
|
MCFragment::MCFragment(FragmentType _Kind, MCSectionData *_Parent)
|
2010-07-30 18:32:09 +00:00
|
|
|
: Kind(_Kind), Parent(_Parent), Atom(0), Offset(~UINT64_C(0)),
|
|
|
|
EffectiveSize(~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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
{
|
2009-08-26 02:48:04 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2009-08-27 00:38:04 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
|
|
|
|
MCSectionData::MCSectionData(const MCSection &_Section, MCAssembler *A)
|
2009-08-27 00:38:04 +00:00
|
|
|
: Section(&_Section),
|
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
Alignment(1),
|
2009-08-26 02:48:04 +00:00
|
|
|
Address(~UINT64_C(0)),
|
2010-02-02 21:44:01 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
{
|
|
|
|
if (A)
|
|
|
|
A->getSectionList().push_back(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2009-09-01 04:09:03 +00:00
|
|
|
MCSymbolData::MCSymbolData() : Symbol(0) {}
|
2009-08-22 10:13:24 +00:00
|
|
|
|
2009-08-31 08:08:06 +00:00
|
|
|
MCSymbolData::MCSymbolData(const MCSymbol &_Symbol, MCFragment *_Fragment,
|
2009-08-22 10:13:24 +00:00
|
|
|
uint64_t _Offset, MCAssembler *A)
|
2009-09-01 04:09:03 +00:00
|
|
|
: Symbol(&_Symbol), Fragment(_Fragment), Offset(_Offset),
|
2009-08-28 07:08:35 +00:00
|
|
|
IsExternal(false), IsPrivateExtern(false),
|
2010-08-16 18:34:31 +00:00
|
|
|
CommonSize(0), SymbolSize(0), CommonAlign(0),
|
|
|
|
Flags(0), Index(0)
|
2009-08-22 10:13:24 +00:00
|
|
|
{
|
|
|
|
if (A)
|
|
|
|
A->getSymbolList().push_back(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* *** */
|
|
|
|
|
2010-03-11 01:34:27 +00:00
|
|
|
MCAssembler::MCAssembler(MCContext &_Context, TargetAsmBackend &_Backend,
|
2010-09-22 22:27:05 +00:00
|
|
|
MCCodeEmitter &_Emitter, bool _PadSectionToAlignment,
|
|
|
|
raw_ostream &_OS)
|
2010-03-19 10:43:18 +00:00
|
|
|
: Context(_Context), Backend(_Backend), Emitter(_Emitter),
|
2010-09-22 22:27:05 +00:00
|
|
|
OS(_OS), RelaxAll(false), SubsectionsViaSymbols(false),
|
|
|
|
PadSectionToAlignment(_PadSectionToAlignment)
|
2009-08-26 21:22:22 +00: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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79612 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-21 09:11:24 +00:00
|
|
|
|
|
|
|
MCAssembler::~MCAssembler() {
|
|
|
|
}
|
|
|
|
|
2010-06-16 20:04:29 +00:00
|
|
|
bool MCAssembler::isSymbolLinkerVisible(const MCSymbol &Symbol) const {
|
2010-03-19 03:18:09 +00:00
|
|
|
// Non-temporary labels should always be visible to the linker.
|
2010-06-16 20:04:29 +00:00
|
|
|
if (!Symbol.isTemporary())
|
2010-03-19 03:18:09 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
// Absolute temporary labels are never visible.
|
2010-06-16 20:04:29 +00:00
|
|
|
if (!Symbol.isInSection())
|
2010-03-19 03:18:09 +00:00
|
|
|
return false;
|
|
|
|
|
|
|
|
// Otherwise, check if the section requires symbols even for temporary labels.
|
2010-06-16 20:04:29 +00:00
|
|
|
return getBackend().doesSectionRequireSymbols(Symbol.getSection());
|
2010-03-19 03:18:09 +00:00
|
|
|
}
|
|
|
|
|
2010-09-27 18:13:03 +00:00
|
|
|
const MCSymbolData *MCAssembler::getAtom(const MCSymbolData *SD) const {
|
2010-03-19 03:18:15 +00:00
|
|
|
// Linker visible symbols define atoms.
|
2010-06-16 20:04:29 +00:00
|
|
|
if (isSymbolLinkerVisible(SD->getSymbol()))
|
2010-03-19 03:18:15 +00:00
|
|
|
return SD;
|
|
|
|
|
|
|
|
// Absolute and undefined symbols have no defining atom.
|
|
|
|
if (!SD->getFragment())
|
|
|
|
return 0;
|
|
|
|
|
2010-05-12 00:38:17 +00: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-11 17:22:50 +00:00
|
|
|
// Otherwise, return the atom for the containing fragment.
|
|
|
|
return SD->getFragment()->getAtom();
|
2010-03-19 03:18:15 +00:00
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
bool MCAssembler::EvaluateFixup(const MCObjectWriter &Writer,
|
|
|
|
const MCAsmLayout &Layout,
|
2010-05-26 15:18:56 +00:00
|
|
|
const MCFixup &Fixup, const MCFragment *DF,
|
2010-03-12 21:00:49 +00:00
|
|
|
MCValue &Target, uint64_t &Value) const {
|
2010-03-23 23:47:14 +00:00
|
|
|
++stats::EvaluateFixup;
|
|
|
|
|
2010-05-26 15:18:31 +00:00
|
|
|
if (!Fixup.getValue()->EvaluateAsRelocatable(Target, &Layout))
|
2010-04-07 22:58:41 +00:00
|
|
|
report_fatal_error("expected relocatable expression");
|
2010-03-12 21:00:49 +00:00
|
|
|
|
|
|
|
// FIXME: How do non-scattered symbols work in ELF? I presume the linker
|
|
|
|
// doesn't support small relocations, but then under what criteria does the
|
|
|
|
// assembler allow symbol differences?
|
|
|
|
|
|
|
|
Value = Target.getConstant();
|
|
|
|
|
2010-05-26 15:18:31 +00:00
|
|
|
bool IsPCRel = Emitter.getFixupKindInfo(
|
|
|
|
Fixup.getKind()).Flags & MCFixupKindInfo::FKF_IsPCRel;
|
2010-03-19 10:43:23 +00:00
|
|
|
bool IsResolved = true;
|
2010-03-18 00:59:10 +00:00
|
|
|
if (const MCSymbolRefExpr *A = Target.getSymA()) {
|
|
|
|
if (A->getSymbol().isDefined())
|
2010-03-24 03:43:40 +00:00
|
|
|
Value += Layout.getSymbolAddress(&getSymbolData(A->getSymbol()));
|
2010-03-12 21:00:49 +00:00
|
|
|
else
|
|
|
|
IsResolved = false;
|
|
|
|
}
|
2010-03-18 00:59:10 +00:00
|
|
|
if (const MCSymbolRefExpr *B = Target.getSymB()) {
|
|
|
|
if (B->getSymbol().isDefined())
|
2010-03-24 03:43:40 +00:00
|
|
|
Value -= Layout.getSymbolAddress(&getSymbolData(B->getSymbol()));
|
2010-03-12 21:00:49 +00:00
|
|
|
else
|
|
|
|
IsResolved = false;
|
2010-03-19 03:18:12 +00:00
|
|
|
}
|
2010-03-12 21:00:49 +00:00
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
if (IsResolved)
|
|
|
|
IsResolved = Writer.IsFixupFullyResolved(*this, Target, IsPCRel, DF);
|
2010-03-12 21:00:49 +00:00
|
|
|
|
|
|
|
if (IsPCRel)
|
2010-05-26 15:18:31 +00:00
|
|
|
Value -= Layout.getFragmentAddress(DF) + Fixup.getOffset();
|
2010-03-12 21:00:49 +00:00
|
|
|
|
|
|
|
return IsResolved;
|
|
|
|
}
|
|
|
|
|
2010-05-13 18:35:06 +00:00
|
|
|
uint64_t MCAssembler::ComputeFragmentSize(MCAsmLayout &Layout,
|
|
|
|
const MCFragment &F,
|
|
|
|
uint64_t SectionAddress,
|
|
|
|
uint64_t FragmentOffset) const {
|
2010-05-12 21:35:25 +00:00
|
|
|
switch (F.getKind()) {
|
2010-05-13 18:35:06 +00:00
|
|
|
case MCFragment::FT_Data:
|
|
|
|
return cast<MCDataFragment>(F).getContents().size();
|
|
|
|
case MCFragment::FT_Fill:
|
|
|
|
return cast<MCFillFragment>(F).getSize();
|
|
|
|
case MCFragment::FT_Inst:
|
|
|
|
return cast<MCInstFragment>(F).getInstSize();
|
|
|
|
|
2010-11-02 17:22:24 +00:00
|
|
|
case MCFragment::FT_LEB:
|
|
|
|
return cast<MCLEBFragment>(F).getSize();
|
|
|
|
|
2010-05-12 21:35:25 +00:00
|
|
|
case MCFragment::FT_Align: {
|
2010-05-13 18:35:06 +00:00
|
|
|
const MCAlignFragment &AF = cast<MCAlignFragment>(F);
|
2010-05-12 21:35:25 +00:00
|
|
|
|
2010-05-13 01:10:26 +00:00
|
|
|
assert((!AF.hasOnlyAlignAddress() || !AF.getNextNode()) &&
|
|
|
|
"Invalid OnlyAlignAddress bit, not the last fragment!");
|
|
|
|
|
2010-05-13 18:35:06 +00:00
|
|
|
uint64_t Size = OffsetToAlignment(SectionAddress + FragmentOffset,
|
|
|
|
AF.getAlignment());
|
2010-05-12 21:35:25 +00:00
|
|
|
|
2010-05-13 18:35:06 +00:00
|
|
|
// Honor MaxBytesToEmit.
|
|
|
|
if (Size > AF.getMaxBytesToEmit())
|
|
|
|
return 0;
|
2010-05-12 21:35:25 +00:00
|
|
|
|
2010-05-13 18:35:06 +00:00
|
|
|
return Size;
|
2010-05-12 21:35:25 +00:00
|
|
|
}
|
|
|
|
|
2010-11-02 21:38:23 +00:00
|
|
|
case MCFragment::FT_Org:
|
|
|
|
return cast<MCOrgFragment>(F).getSize();
|
2010-09-30 16:52:03 +00:00
|
|
|
|
2010-11-07 02:07:12 +00:00
|
|
|
case MCFragment::FT_Dwarf:
|
|
|
|
return cast<MCDwarfLineAddrFragment>(F).getSize();
|
2010-05-12 21:35:25 +00:00
|
|
|
}
|
|
|
|
|
2010-05-13 18:35:06 +00:00
|
|
|
assert(0 && "invalid fragment kind");
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2010-05-13 20:40:12 +00:00
|
|
|
void MCAsmLayout::LayoutFile() {
|
2010-05-14 00:51:14 +00:00
|
|
|
// Initialize the first section and set the valid fragment layout point. All
|
|
|
|
// actual layout computations are done lazily.
|
2010-05-14 00:37:21 +00:00
|
|
|
LastValidFragment = 0;
|
2010-05-14 00:37:17 +00:00
|
|
|
if (!getSectionOrder().empty())
|
|
|
|
getSectionOrder().front()->Address = 0;
|
2010-05-13 20:40:12 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void MCAsmLayout::LayoutFragment(MCFragment *F) {
|
2010-05-14 00:37:21 +00:00
|
|
|
MCFragment *Prev = F->getPrevNode();
|
|
|
|
|
|
|
|
// We should never try to recompute something which is up-to-date.
|
|
|
|
assert(!isFragmentUpToDate(F) && "Attempt to recompute up-to-date fragment!");
|
|
|
|
// We should never try to compute the fragment layout if the section isn't
|
|
|
|
// up-to-date.
|
|
|
|
assert(isSectionUpToDate(F->getParent()) &&
|
|
|
|
"Attempt to compute fragment before it's section!");
|
|
|
|
// We should never try to compute the fragment layout if it's predecessor
|
|
|
|
// isn't up-to-date.
|
|
|
|
assert((!Prev || isFragmentUpToDate(Prev)) &&
|
|
|
|
"Attempt to compute fragment before it's predecessor!");
|
2010-05-13 18:35:06 +00:00
|
|
|
|
|
|
|
++stats::FragmentLayouts;
|
|
|
|
|
2010-05-14 00:37:21 +00:00
|
|
|
// Compute the fragment start address.
|
|
|
|
uint64_t StartAddress = F->getParent()->Address;
|
|
|
|
uint64_t Address = StartAddress;
|
|
|
|
if (Prev)
|
|
|
|
Address += Prev->Offset + Prev->EffectiveSize;
|
|
|
|
|
2010-05-13 20:40:12 +00:00
|
|
|
// Compute fragment offset and size.
|
2010-05-14 00:37:11 +00:00
|
|
|
F->Offset = Address - StartAddress;
|
|
|
|
F->EffectiveSize = getAssembler().ComputeFragmentSize(*this, *F, StartAddress,
|
|
|
|
F->Offset);
|
2010-05-14 00:37:21 +00:00
|
|
|
LastValidFragment = F;
|
2010-05-14 00:37:17 +00:00
|
|
|
|
|
|
|
// If this is the last fragment in a section, update the next section address.
|
|
|
|
if (!F->getNextNode()) {
|
|
|
|
unsigned NextIndex = F->getParent()->getLayoutOrder() + 1;
|
|
|
|
if (NextIndex != getSectionOrder().size())
|
|
|
|
LayoutSection(getSectionOrder()[NextIndex]);
|
|
|
|
}
|
2010-05-12 21:35:25 +00:00
|
|
|
}
|
|
|
|
|
2010-05-13 20:40:12 +00:00
|
|
|
void MCAsmLayout::LayoutSection(MCSectionData *SD) {
|
|
|
|
unsigned SectionOrderIndex = SD->getLayoutOrder();
|
2010-03-25 18:16:42 +00:00
|
|
|
|
2010-03-25 22:49:09 +00:00
|
|
|
++stats::SectionLayouts;
|
|
|
|
|
2010-05-13 02:34:14 +00:00
|
|
|
// Compute the section start address.
|
2010-05-12 17:56:47 +00:00
|
|
|
uint64_t StartAddress = 0;
|
|
|
|
if (SectionOrderIndex) {
|
2010-05-13 20:40:12 +00:00
|
|
|
MCSectionData *Prev = getSectionOrder()[SectionOrderIndex - 1];
|
|
|
|
StartAddress = getSectionAddress(Prev) + getSectionAddressSize(Prev);
|
2010-05-12 17:56:47 +00:00
|
|
|
}
|
|
|
|
|
2010-05-13 02:34:14 +00:00
|
|
|
// Honor the section alignment requirements.
|
2010-05-13 20:40:12 +00:00
|
|
|
StartAddress = RoundUpToAlignment(StartAddress, SD->getAlignment());
|
2010-03-25 18:16:42 +00:00
|
|
|
|
2010-05-13 02:34:14 +00:00
|
|
|
// Set the section address.
|
2010-05-14 00:37:11 +00:00
|
|
|
SD->Address = StartAddress;
|
2009-08-21 18:29:01 +00:00
|
|
|
}
|
|
|
|
|
2010-03-19 09:28:59 +00:00
|
|
|
/// WriteFragmentData - Write the \arg F data to the output file.
|
2010-03-25 02:00:02 +00:00
|
|
|
static void WriteFragmentData(const MCAssembler &Asm, const MCAsmLayout &Layout,
|
|
|
|
const MCFragment &F, MCObjectWriter *OW) {
|
2010-03-19 09:28:59 +00:00
|
|
|
uint64_t Start = OW->getStream().tell();
|
2009-08-21 18:29:01 +00:00
|
|
|
(void) Start;
|
2009-10-16 01:58:15 +00:00
|
|
|
|
2010-03-23 23:47:14 +00:00
|
|
|
++stats::EmittedFragments;
|
2009-08-25 21:10:45 +00:00
|
|
|
|
2009-08-21 18:29:01 +00:00
|
|
|
// FIXME: Embed in fragments instead?
|
2010-03-25 02:00:02 +00:00
|
|
|
uint64_t FragmentSize = Layout.getFragmentEffectiveSize(&F);
|
2009-08-21 18:29:01 +00:00
|
|
|
switch (F.getKind()) {
|
2009-08-21 23:07:38 +00:00
|
|
|
case MCFragment::FT_Align: {
|
|
|
|
MCAlignFragment &AF = cast<MCAlignFragment>(F);
|
2010-03-25 02:00:02 +00:00
|
|
|
uint64_t Count = FragmentSize / AF.getValueSize();
|
2009-08-21 23:07:38 +00:00
|
|
|
|
2010-05-12 22:51:27 +00:00
|
|
|
assert(AF.getValueSize() && "Invalid virtual align in concrete fragment!");
|
|
|
|
|
2009-08-21 23:07:38 +00: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 02:00:02 +00:00
|
|
|
if (Count * AF.getValueSize() != FragmentSize)
|
2010-04-07 22:58:41 +00:00
|
|
|
report_fatal_error("undefined .align directive, value size '" +
|
2009-10-16 01:58:15 +00:00
|
|
|
Twine(AF.getValueSize()) +
|
2009-08-21 23:07:38 +00:00
|
|
|
"' is not a divisor of padding size '" +
|
2010-03-25 02:00:02 +00:00
|
|
|
Twine(FragmentSize) + "'");
|
2009-08-21 23:07:38 +00:00
|
|
|
|
2010-02-23 18:26:34 +00: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
|
|
|
|
// bytes left to fill use the the Value and ValueSize to fill the rest.
|
2010-03-23 02:36:58 +00:00
|
|
|
// If we are aligning with nops, ask that target to emit the right data.
|
2010-05-12 22:56:23 +00:00
|
|
|
if (AF.hasEmitNops()) {
|
2010-03-23 02:36:58 +00:00
|
|
|
if (!Asm.getBackend().WriteNopData(Count, OW))
|
2010-04-07 22:58:41 +00:00
|
|
|
report_fatal_error("unable to write nop sequence of " +
|
2010-03-23 02:36:58 +00:00
|
|
|
Twine(Count) + " bytes");
|
|
|
|
break;
|
2010-02-23 18:26:34 +00:00
|
|
|
}
|
|
|
|
|
2010-03-23 02:36:58 +00:00
|
|
|
// Otherwise, write out in multiples of the value size.
|
2009-08-21 23:07:38 +00:00
|
|
|
for (uint64_t i = 0; i != Count; ++i) {
|
|
|
|
switch (AF.getValueSize()) {
|
|
|
|
default:
|
|
|
|
assert(0 && "Invalid size!");
|
2010-03-19 09:28:55 +00: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-21 23:07:38 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2009-08-21 18:29:01 +00:00
|
|
|
|
2010-02-13 09:28:15 +00:00
|
|
|
case MCFragment::FT_Data: {
|
2010-03-22 23:16:48 +00:00
|
|
|
MCDataFragment &DF = cast<MCDataFragment>(F);
|
2010-03-25 02:00:02 +00:00
|
|
|
assert(FragmentSize == DF.getContents().size() && "Invalid size!");
|
2010-03-22 23:16:48 +00:00
|
|
|
OW->WriteBytes(DF.getContents().str());
|
2009-08-21 18:29:01 +00:00
|
|
|
break;
|
2010-02-13 09:28:15 +00:00
|
|
|
}
|
2009-08-21 18:29:01 +00:00
|
|
|
|
|
|
|
case MCFragment::FT_Fill: {
|
|
|
|
MCFillFragment &FF = cast<MCFillFragment>(F);
|
2010-05-12 22:51:35 +00:00
|
|
|
|
|
|
|
assert(FF.getValueSize() && "Invalid virtual align in concrete fragment!");
|
|
|
|
|
2010-05-12 22:51:32 +00:00
|
|
|
for (uint64_t i = 0, e = FF.getSize() / FF.getValueSize(); i != e; ++i) {
|
2009-08-21 18:29:01 +00:00
|
|
|
switch (FF.getValueSize()) {
|
|
|
|
default:
|
|
|
|
assert(0 && "Invalid size!");
|
2010-03-19 09:28:55 +00: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-21 18:29:01 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2009-10-16 01:58:15 +00:00
|
|
|
|
2010-03-22 23:16:48 +00:00
|
|
|
case MCFragment::FT_Inst:
|
|
|
|
llvm_unreachable("unexpected inst fragment after lowering");
|
|
|
|
break;
|
|
|
|
|
2010-11-02 17:22:24 +00:00
|
|
|
case MCFragment::FT_LEB: {
|
|
|
|
MCLEBFragment &LF = cast<MCLEBFragment>(F);
|
|
|
|
|
|
|
|
// FIXME: It is probably better if we don't call EvaluateAsAbsolute in
|
|
|
|
// here.
|
|
|
|
int64_t Value;
|
|
|
|
LF.getValue().EvaluateAsAbsolute(Value, &Layout);
|
|
|
|
SmallString<32> Tmp;
|
|
|
|
raw_svector_ostream OSE(Tmp);
|
|
|
|
if (LF.isSigned())
|
|
|
|
MCObjectWriter::EncodeSLEB128(Value, OSE);
|
|
|
|
else
|
|
|
|
MCObjectWriter::EncodeULEB128(Value, OSE);
|
|
|
|
OW->WriteBytes(OSE.str());
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2009-08-21 23:07:38 +00:00
|
|
|
case MCFragment::FT_Org: {
|
|
|
|
MCOrgFragment &OF = cast<MCOrgFragment>(F);
|
|
|
|
|
2010-03-25 02:00:02 +00:00
|
|
|
for (uint64_t i = 0, e = FragmentSize; i != e; ++i)
|
2010-03-19 09:28:55 +00:00
|
|
|
OW->Write8(uint8_t(OF.getValue()));
|
2009-08-21 23:07:38 +00:00
|
|
|
|
|
|
|
break;
|
|
|
|
}
|
2010-09-30 16:52:03 +00:00
|
|
|
|
|
|
|
case MCFragment::FT_Dwarf: {
|
|
|
|
const MCDwarfLineAddrFragment &OF = cast<MCDwarfLineAddrFragment>(F);
|
|
|
|
|
|
|
|
// The AddrDelta is really unsigned and it can only increase.
|
|
|
|
int64_t AddrDelta;
|
|
|
|
OF.getAddrDelta().EvaluateAsAbsolute(AddrDelta, &Layout);
|
|
|
|
|
|
|
|
int64_t LineDelta;
|
|
|
|
LineDelta = OF.getLineDelta();
|
|
|
|
|
|
|
|
MCDwarfLineAddr::Write(OW, LineDelta, (uint64_t)AddrDelta);
|
|
|
|
break;
|
|
|
|
}
|
2009-08-21 18:29:01 +00:00
|
|
|
}
|
|
|
|
|
2010-03-25 02:00:02 +00:00
|
|
|
assert(OW->getStream().tell() - Start == FragmentSize);
|
2009-08-21 18:29:01 +00:00
|
|
|
}
|
|
|
|
|
2010-03-19 09:28:59 +00:00
|
|
|
void MCAssembler::WriteSectionData(const MCSectionData *SD,
|
2010-03-25 02:00:02 +00:00
|
|
|
const MCAsmLayout &Layout,
|
2010-03-19 09:28:59 +00:00
|
|
|
MCObjectWriter *OW) const {
|
2009-08-28 05:49:21 +00:00
|
|
|
// Ignore virtual sections.
|
2010-03-19 09:29:03 +00:00
|
|
|
if (getBackend().isVirtualSection(SD->getSection())) {
|
2010-05-13 03:50:50 +00:00
|
|
|
assert(Layout.getSectionFileSize(SD) == 0 && "Invalid size for section!");
|
2010-05-12 22:51:35 +00: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()) {
|
|
|
|
default:
|
|
|
|
assert(0 && "Invalid fragment in virtual section!");
|
2010-08-18 18:22:37 +00: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.
|
|
|
|
MCDataFragment &DF = cast<MCDataFragment>(*it);
|
|
|
|
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-12 22:51:35 +00:00
|
|
|
case MCFragment::FT_Align:
|
2010-08-18 18:22:37 +00:00
|
|
|
// Check that we aren't trying to write a non-zero value into a virtual
|
|
|
|
// section.
|
|
|
|
assert((!cast<MCAlignFragment>(it)->getValueSize() ||
|
|
|
|
!cast<MCAlignFragment>(it)->getValue()) &&
|
2010-05-12 22:51:35 +00:00
|
|
|
"Invalid align in virtual section!");
|
|
|
|
break;
|
|
|
|
case MCFragment::FT_Fill:
|
|
|
|
assert(!cast<MCFillFragment>(it)->getValueSize() &&
|
|
|
|
"Invalid fill in virtual section!");
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-08-28 05:49:21 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2010-03-19 09:28:59 +00:00
|
|
|
uint64_t Start = OW->getStream().tell();
|
2009-08-21 18:29:01 +00:00
|
|
|
(void) Start;
|
2009-10-16 01:58:15 +00:00
|
|
|
|
2010-03-19 09:28:59 +00:00
|
|
|
for (MCSectionData::const_iterator it = SD->begin(),
|
|
|
|
ie = SD->end(); it != ie; ++it)
|
2010-03-25 02:00:02 +00:00
|
|
|
WriteFragmentData(*this, Layout, *it, OW);
|
2009-08-21 18:29:01 +00:00
|
|
|
|
2010-05-13 03:50:50 +00:00
|
|
|
assert(OW->getStream().tell() - Start == Layout.getSectionFileSize(SD));
|
2009-08-21 18:29:01 +00:00
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
void MCAssembler::AddSectionToTheEnd(const MCObjectWriter &Writer,
|
|
|
|
MCSectionData &SD, MCAsmLayout &Layout) {
|
2010-08-16 18:35:06 +00:00
|
|
|
// Create dummy fragments and assign section ordinals.
|
2010-11-07 15:03:27 +00:00
|
|
|
unsigned SectionIndex = size();
|
2010-08-16 18:35:06 +00:00
|
|
|
SD.setOrdinal(SectionIndex);
|
|
|
|
|
|
|
|
// Assign layout order indices to sections and fragments.
|
2010-11-07 15:03:27 +00:00
|
|
|
const MCFragment &Last = *Layout.getSectionOrder().back()->rbegin();
|
|
|
|
unsigned FragmentIndex = Last.getLayoutOrder() + 1;
|
2010-08-16 18:35:06 +00:00
|
|
|
|
2010-11-07 15:03:27 +00:00
|
|
|
SD.setLayoutOrder(Layout.getSectionOrder().size());
|
2010-08-16 18:35:06 +00:00
|
|
|
for (MCSectionData::iterator it2 = SD.begin(),
|
|
|
|
ie2 = SD.end(); it2 != ie2; ++it2) {
|
|
|
|
it2->setLayoutOrder(FragmentIndex++);
|
|
|
|
}
|
|
|
|
Layout.getSectionOrder().push_back(&SD);
|
|
|
|
|
|
|
|
Layout.LayoutSection(&SD);
|
|
|
|
}
|
|
|
|
|
2010-07-22 05:58:53 +00:00
|
|
|
void MCAssembler::Finish(MCObjectWriter *Writer) {
|
2010-02-13 09:28:03 +00:00
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
|
|
|
llvm::errs() << "assembler backend - pre-layout\n--\n";
|
|
|
|
dump(); });
|
|
|
|
|
2010-05-13 02:34:14 +00:00
|
|
|
// Create the layout object.
|
2010-03-22 20:35:35 +00:00
|
|
|
MCAsmLayout Layout(*this);
|
2010-05-13 02:34:14 +00:00
|
|
|
|
|
|
|
// Insert additional align fragments for concrete sections to explicitly pad
|
|
|
|
// the previous section to match their alignment requirements. This is for
|
|
|
|
// 'gas' compatibility, it shouldn't strictly be necessary.
|
2010-09-22 22:27:05 +00:00
|
|
|
if (PadSectionToAlignment) {
|
|
|
|
for (unsigned i = 1, e = Layout.getSectionOrder().size(); i < e; ++i) {
|
|
|
|
MCSectionData *SD = Layout.getSectionOrder()[i];
|
|
|
|
|
|
|
|
// Ignore sections without alignment requirements.
|
|
|
|
unsigned Align = SD->getAlignment();
|
|
|
|
if (Align <= 1)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// Ignore virtual sections, they don't cause file size modifications.
|
|
|
|
if (getBackend().isVirtualSection(SD->getSection()))
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// Otherwise, create a new align fragment at the end of the previous
|
|
|
|
// section.
|
|
|
|
MCAlignFragment *AF = new MCAlignFragment(Align, 0, 1, Align,
|
|
|
|
Layout.getSectionOrder()[i - 1]);
|
|
|
|
AF->setOnlyAlignAddress(true);
|
|
|
|
}
|
2010-05-13 02:34:14 +00:00
|
|
|
}
|
|
|
|
|
2010-05-14 00:37:14 +00:00
|
|
|
// Create dummy fragments and assign section ordinals.
|
2010-05-13 08:43:37 +00: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 13:30:08 +00:00
|
|
|
if (it->getFragmentList().empty())
|
2010-09-15 21:48:40 +00:00
|
|
|
new MCDataFragment(it);
|
2010-05-13 08:43:37 +00:00
|
|
|
|
|
|
|
it->setOrdinal(SectionIndex++);
|
2010-05-14 00:37:14 +00:00
|
|
|
}
|
2010-05-13 08:43:37 +00:00
|
|
|
|
2010-05-14 00:37:14 +00:00
|
|
|
// Assign layout order indices to sections and fragments.
|
|
|
|
unsigned FragmentIndex = 0;
|
|
|
|
for (unsigned i = 0, e = Layout.getSectionOrder().size(); i != e; ++i) {
|
|
|
|
MCSectionData *SD = Layout.getSectionOrder()[i];
|
|
|
|
SD->setLayoutOrder(i);
|
|
|
|
|
|
|
|
for (MCSectionData::iterator it2 = SD->begin(),
|
|
|
|
ie2 = SD->end(); it2 != ie2; ++it2)
|
|
|
|
it2->setLayoutOrder(FragmentIndex++);
|
2010-05-13 08:43:37 +00:00
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
llvm::OwningPtr<MCObjectWriter> OwnWriter(0);
|
|
|
|
if (Writer == 0) {
|
|
|
|
//no custom Writer_ : create the default one life-managed by OwningPtr
|
|
|
|
OwnWriter.reset(getBackend().createObjectWriter(OS));
|
|
|
|
Writer = OwnWriter.get();
|
|
|
|
if (!Writer)
|
|
|
|
report_fatal_error("unable to create object writer!");
|
|
|
|
}
|
|
|
|
|
2010-05-13 02:34:14 +00:00
|
|
|
// Layout until everything fits.
|
2010-09-30 02:22:20 +00:00
|
|
|
while (LayoutOnce(*Writer, Layout))
|
2010-03-12 22:07:14 +00:00
|
|
|
continue;
|
|
|
|
|
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
2010-03-22 23:16:48 +00:00
|
|
|
llvm::errs() << "assembler backend - post-relaxation\n--\n";
|
|
|
|
dump(); });
|
|
|
|
|
|
|
|
// Finalize the layout, including fragment lowering.
|
|
|
|
FinishLayout(Layout);
|
|
|
|
|
|
|
|
DEBUG_WITH_TYPE("mc-dump", {
|
|
|
|
llvm::errs() << "assembler backend - final-layout\n--\n";
|
2010-03-12 22:07:14 +00:00
|
|
|
dump(); });
|
|
|
|
|
2010-03-23 23:47:14 +00:00
|
|
|
uint64_t StartOffset = OS.tell();
|
2010-07-22 05:58:53 +00:00
|
|
|
|
2010-03-19 07:09:33 +00:00
|
|
|
// Allow the object writer a chance to perform post-layout binding (for
|
|
|
|
// example, to set the index fields in the symbol data).
|
2010-03-19 10:43:26 +00:00
|
|
|
Writer->ExecutePostLayoutBinding(*this);
|
2010-03-19 07:09:33 +00:00
|
|
|
|
2010-03-19 07:09:47 +00: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) {
|
|
|
|
MCDataFragment *DF = dyn_cast<MCDataFragment>(it2);
|
|
|
|
if (!DF)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
for (MCDataFragment::fixup_iterator it3 = DF->fixup_begin(),
|
|
|
|
ie3 = DF->fixup_end(); it3 != ie3; ++it3) {
|
2010-05-26 15:18:56 +00:00
|
|
|
MCFixup &Fixup = *it3;
|
2010-03-19 07:09:47 +00:00
|
|
|
|
|
|
|
// Evaluate the fixup.
|
|
|
|
MCValue Target;
|
|
|
|
uint64_t FixedValue;
|
2010-09-30 02:22:20 +00:00
|
|
|
if (!EvaluateFixup(*Writer, Layout, Fixup, DF, Target, FixedValue)) {
|
2010-03-19 07:09:47 +00: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-03-24 03:43:40 +00:00
|
|
|
Writer->RecordRelocation(*this, Layout, DF, Fixup, Target,FixedValue);
|
2010-03-19 07:09:47 +00:00
|
|
|
}
|
|
|
|
|
2010-03-19 09:28:12 +00:00
|
|
|
getBackend().ApplyFixup(Fixup, *DF, FixedValue);
|
2010-03-19 07:09:47 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-03-19 07:09:33 +00:00
|
|
|
// Write the object file.
|
2010-03-24 03:43:40 +00:00
|
|
|
Writer->WriteObject(*this, Layout);
|
2010-03-23 23:47:14 +00:00
|
|
|
|
|
|
|
stats::ObjectBytes += OS.tell() - StartOffset;
|
2010-03-12 22:07:14 +00:00
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
bool MCAssembler::FixupNeedsRelaxation(const MCObjectWriter &Writer,
|
|
|
|
const MCFixup &Fixup,
|
2010-03-22 21:49:41 +00:00
|
|
|
const MCFragment *DF,
|
2010-03-22 20:35:35 +00:00
|
|
|
const MCAsmLayout &Layout) const {
|
2010-03-25 22:49:09 +00:00
|
|
|
if (getRelaxAll())
|
|
|
|
return true;
|
|
|
|
|
2010-03-12 22:07:14 +00:00
|
|
|
// If we cannot resolve the fixup value, it requires relaxation.
|
|
|
|
MCValue Target;
|
|
|
|
uint64_t Value;
|
2010-09-30 02:22:20 +00:00
|
|
|
if (!EvaluateFixup(Writer, Layout, Fixup, DF, Target, Value))
|
2010-03-12 22:07:14 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
// Otherwise, relax if the value is too big for a (signed) i8.
|
2010-05-04 00:33:07 +00:00
|
|
|
//
|
|
|
|
// FIXME: This is target dependent!
|
2010-03-12 22:07:14 +00:00
|
|
|
return int64_t(Value) != int64_t(int8_t(Value));
|
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
bool MCAssembler::FragmentNeedsRelaxation(const MCObjectWriter &Writer,
|
|
|
|
const MCInstFragment *IF,
|
2010-03-23 05:09:03 +00: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.
|
2010-05-26 17:45:29 +00:00
|
|
|
if (!getBackend().MayNeedRelaxation(IF->getInst()))
|
2010-03-23 05:09:03 +00:00
|
|
|
return false;
|
|
|
|
|
|
|
|
for (MCInstFragment::const_fixup_iterator it = IF->fixup_begin(),
|
|
|
|
ie = IF->fixup_end(); it != ie; ++it)
|
2010-09-30 02:22:20 +00:00
|
|
|
if (FixupNeedsRelaxation(Writer, *it, IF, Layout))
|
2010-03-23 05:09:03 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2010-11-02 17:22:24 +00:00
|
|
|
bool MCAssembler::RelaxInstruction(const MCObjectWriter &Writer,
|
|
|
|
MCAsmLayout &Layout,
|
|
|
|
MCInstFragment &IF) {
|
|
|
|
if (!FragmentNeedsRelaxation(Writer, &IF, Layout))
|
|
|
|
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;
|
|
|
|
getBackend().RelaxInstruction(IF.getInst(), Relaxed);
|
|
|
|
|
|
|
|
// 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();
|
|
|
|
|
|
|
|
// Update the instruction fragment.
|
|
|
|
int SlideAmount = Code.size() - IF.getInstSize();
|
|
|
|
IF.setInst(Relaxed);
|
|
|
|
IF.getCode() = Code;
|
|
|
|
IF.getFixups().clear();
|
|
|
|
// FIXME: Eliminate copy.
|
|
|
|
for (unsigned i = 0, e = Fixups.size(); i != e; ++i)
|
|
|
|
IF.getFixups().push_back(Fixups[i]);
|
|
|
|
|
|
|
|
// Update the layout, and remember that we relaxed.
|
|
|
|
Layout.UpdateForSlide(&IF, SlideAmount);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2010-11-02 21:38:23 +00:00
|
|
|
bool MCAssembler::RelaxOrg(const MCObjectWriter &Writer,
|
|
|
|
MCAsmLayout &Layout,
|
|
|
|
MCOrgFragment &OF) {
|
|
|
|
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 Offset = TargetLocation - FragmentOffset;
|
|
|
|
if (Offset < 0 || Offset >= 0x40000000)
|
|
|
|
report_fatal_error("invalid .org offset '" + Twine(TargetLocation) +
|
|
|
|
"' (at offset '" + Twine(FragmentOffset) + "')");
|
|
|
|
|
|
|
|
unsigned OldSize = OF.getSize();
|
|
|
|
OF.setSize(Offset);
|
|
|
|
return OldSize != OF.getSize();
|
|
|
|
}
|
|
|
|
|
2010-11-02 17:22:24 +00:00
|
|
|
bool MCAssembler::RelaxLEB(const MCObjectWriter &Writer,
|
|
|
|
MCAsmLayout &Layout,
|
|
|
|
MCLEBFragment &LF) {
|
|
|
|
int64_t Value;
|
|
|
|
LF.getValue().EvaluateAsAbsolute(Value, &Layout);
|
|
|
|
SmallString<32> Tmp;
|
|
|
|
raw_svector_ostream OSE(Tmp);
|
|
|
|
if (LF.isSigned())
|
|
|
|
MCObjectWriter::EncodeSLEB128(Value, OSE);
|
|
|
|
else
|
|
|
|
MCObjectWriter::EncodeULEB128(Value, OSE);
|
|
|
|
uint64_t OldSize = LF.getSize();
|
|
|
|
LF.setSize(OSE.GetNumBytesInBuffer());
|
|
|
|
return OldSize != LF.getSize();
|
|
|
|
}
|
|
|
|
|
2010-11-07 02:07:12 +00:00
|
|
|
bool MCAssembler::RelaxDwarfLineAddr(const MCObjectWriter &Writer,
|
|
|
|
MCAsmLayout &Layout,
|
|
|
|
MCDwarfLineAddrFragment &DF) {
|
|
|
|
int64_t AddrDelta;
|
|
|
|
DF.getAddrDelta().EvaluateAsAbsolute(AddrDelta, &Layout);
|
|
|
|
int64_t LineDelta;
|
|
|
|
LineDelta = DF.getLineDelta();
|
|
|
|
uint64_t OldSize = DF.getSize();
|
|
|
|
DF.setSize(MCDwarfLineAddr::ComputeSize(LineDelta, AddrDelta));
|
|
|
|
return OldSize != DF.getSize();
|
|
|
|
}
|
|
|
|
|
2010-09-30 02:22:20 +00:00
|
|
|
bool MCAssembler::LayoutOnce(const MCObjectWriter &Writer,
|
|
|
|
MCAsmLayout &Layout) {
|
2010-03-23 23:47:14 +00:00
|
|
|
++stats::RelaxationSteps;
|
|
|
|
|
2010-05-12 17:56:47 +00:00
|
|
|
// Layout the sections in order.
|
2010-05-13 20:40:12 +00:00
|
|
|
Layout.LayoutFile();
|
2009-08-28 05:49:21 +00:00
|
|
|
|
2010-03-23 05:09:03 +00:00
|
|
|
// Scan for fragments that need relaxation.
|
2010-03-25 19:35:56 +00:00
|
|
|
bool WasRelaxed = false;
|
2010-03-12 22:07:14 +00:00
|
|
|
for (iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
MCSectionData &SD = *it;
|
2010-02-13 09:28:03 +00:00
|
|
|
|
2010-03-12 22:07:14 +00:00
|
|
|
for (MCSectionData::iterator it2 = SD.begin(),
|
|
|
|
ie2 = SD.end(); it2 != ie2; ++it2) {
|
2010-11-02 17:22:24 +00:00
|
|
|
// Check if this is an fragment that needs relaxation.
|
|
|
|
switch(it2->getKind()) {
|
|
|
|
default:
|
|
|
|
break;
|
|
|
|
case MCFragment::FT_Inst:
|
|
|
|
WasRelaxed |= RelaxInstruction(Writer, Layout,
|
|
|
|
*cast<MCInstFragment>(it2));
|
2010-11-02 21:38:23 +00:00
|
|
|
break;
|
|
|
|
case MCFragment::FT_Org:
|
|
|
|
WasRelaxed |= RelaxOrg(Writer, Layout, *cast<MCOrgFragment>(it2));
|
2010-11-02 17:22:24 +00:00
|
|
|
break;
|
2010-11-07 02:07:12 +00:00
|
|
|
case MCFragment::FT_Dwarf:
|
|
|
|
WasRelaxed |= RelaxDwarfLineAddr(Writer, Layout,
|
|
|
|
*cast<MCDwarfLineAddrFragment>(it2));
|
|
|
|
break;
|
2010-11-02 17:22:24 +00:00
|
|
|
case MCFragment::FT_LEB:
|
|
|
|
WasRelaxed |= RelaxLEB(Writer, Layout, *cast<MCLEBFragment>(it2));
|
|
|
|
break;
|
|
|
|
}
|
2010-03-12 22:07:14 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-03-25 19:35:56 +00:00
|
|
|
return WasRelaxed;
|
2010-03-12 22:07:14 +00:00
|
|
|
}
|
2010-02-13 09:28:03 +00:00
|
|
|
|
2010-03-22 23:16:48 +00:00
|
|
|
void MCAssembler::FinishLayout(MCAsmLayout &Layout) {
|
|
|
|
// Lower out any instruction fragments, to simplify the fixup application and
|
|
|
|
// output.
|
|
|
|
//
|
|
|
|
// FIXME-PERF: We don't have to do this, but the assumption is that it is
|
|
|
|
// cheap (we will mostly end up eliminating fragments and appending on to data
|
|
|
|
// fragments), so the extra complexity downstream isn't worth it. Evaluate
|
|
|
|
// this assumption.
|
|
|
|
for (iterator it = begin(), ie = end(); it != ie; ++it) {
|
|
|
|
MCSectionData &SD = *it;
|
|
|
|
|
|
|
|
for (MCSectionData::iterator it2 = SD.begin(),
|
|
|
|
ie2 = SD.end(); it2 != ie2; ++it2) {
|
|
|
|
MCInstFragment *IF = dyn_cast<MCInstFragment>(it2);
|
|
|
|
if (!IF)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
// Create a new data fragment for the instruction.
|
|
|
|
//
|
2010-03-23 03:13:05 +00:00
|
|
|
// FIXME-PERF: Reuse previous data fragment if possible.
|
2010-03-22 23:16:48 +00:00
|
|
|
MCDataFragment *DF = new MCDataFragment();
|
|
|
|
SD.getFragmentList().insert(it2, DF);
|
|
|
|
|
|
|
|
// Update the data fragments layout data.
|
2010-03-23 01:39:05 +00:00
|
|
|
DF->setParent(IF->getParent());
|
2010-05-11 17:22:50 +00:00
|
|
|
DF->setAtom(IF->getAtom());
|
2010-05-14 00:37:14 +00:00
|
|
|
DF->setLayoutOrder(IF->getLayoutOrder());
|
2010-05-13 08:43:31 +00:00
|
|
|
Layout.FragmentReplaced(IF, DF);
|
2010-03-22 23:16:48 +00:00
|
|
|
|
2010-03-23 01:39:05 +00:00
|
|
|
// Copy in the data and the fixups.
|
|
|
|
DF->getContents().append(IF->getCode().begin(), IF->getCode().end());
|
|
|
|
for (unsigned i = 0, e = IF->getFixups().size(); i != e; ++i)
|
|
|
|
DF->getFixups().push_back(IF->getFixups()[i]);
|
2010-03-22 23:16:48 +00:00
|
|
|
|
|
|
|
// Delete the instruction fragment and update the iterator.
|
|
|
|
SD.getFragmentList().erase(IF);
|
|
|
|
it2 = DF;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-02-13 09:28:03 +00:00
|
|
|
// Debugging methods
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
2010-05-26 15:18:56 +00:00
|
|
|
raw_ostream &operator<<(raw_ostream &OS, const MCFixup &AF) {
|
|
|
|
OS << "<MCFixup" << " Offset:" << AF.getOffset()
|
2010-05-26 15:18:31 +00:00
|
|
|
<< " Value:" << *AF.getValue()
|
|
|
|
<< " Kind:" << AF.getKind() << ">";
|
2010-02-13 09:28:03 +00:00
|
|
|
return OS;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
void MCFragment::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
2010-05-26 06:50:57 +00:00
|
|
|
OS << "<";
|
|
|
|
switch (getKind()) {
|
|
|
|
case MCFragment::FT_Align: OS << "MCAlignFragment"; break;
|
|
|
|
case MCFragment::FT_Data: OS << "MCDataFragment"; break;
|
|
|
|
case MCFragment::FT_Fill: OS << "MCFillFragment"; break;
|
|
|
|
case MCFragment::FT_Inst: OS << "MCInstFragment"; break;
|
|
|
|
case MCFragment::FT_Org: OS << "MCOrgFragment"; break;
|
2010-09-30 16:52:03 +00:00
|
|
|
case MCFragment::FT_Dwarf: OS << "MCDwarfFragment"; break;
|
2010-11-02 17:22:24 +00:00
|
|
|
case MCFragment::FT_LEB: OS << "MCLEBFragment"; break;
|
2010-05-26 06:50:57 +00:00
|
|
|
}
|
|
|
|
|
2010-05-14 00:37:14 +00:00
|
|
|
OS << "<MCFragment " << (void*) this << " LayoutOrder:" << LayoutOrder
|
|
|
|
<< " Offset:" << Offset << " EffectiveSize:" << EffectiveSize << ">";
|
2010-02-13 09:28:03 +00:00
|
|
|
|
2010-05-26 06:50:57 +00:00
|
|
|
switch (getKind()) {
|
|
|
|
case MCFragment::FT_Align: {
|
|
|
|
const MCAlignFragment *AF = cast<MCAlignFragment>(this);
|
|
|
|
if (AF->hasEmitNops())
|
|
|
|
OS << " (emit nops)";
|
|
|
|
if (AF->hasOnlyAlignAddress())
|
|
|
|
OS << " (only align section)";
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Alignment:" << AF->getAlignment()
|
|
|
|
<< " Value:" << AF->getValue() << " ValueSize:" << AF->getValueSize()
|
|
|
|
<< " MaxBytesToEmit:" << AF->getMaxBytesToEmit() << ">";
|
|
|
|
break;
|
2010-02-13 09:28:03 +00:00
|
|
|
}
|
2010-05-26 06:50:57 +00: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)";
|
|
|
|
|
|
|
|
if (!DF->getFixups().empty()) {
|
|
|
|
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 09:28:43 +00:00
|
|
|
}
|
2010-05-26 06:50:57 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MCFragment::FT_Fill: {
|
|
|
|
const MCFillFragment *FF = cast<MCFillFragment>(this);
|
|
|
|
OS << " Value:" << FF->getValue() << " ValueSize:" << FF->getValueSize()
|
|
|
|
<< " Size:" << FF->getSize();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MCFragment::FT_Inst: {
|
|
|
|
const MCInstFragment *IF = cast<MCInstFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Inst:";
|
|
|
|
IF->getInst().dump_pretty(OS);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MCFragment::FT_Org: {
|
|
|
|
const MCOrgFragment *OF = cast<MCOrgFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Offset:" << OF->getOffset() << " Value:" << OF->getValue();
|
|
|
|
break;
|
|
|
|
}
|
2010-09-30 16:52:03 +00:00
|
|
|
case MCFragment::FT_Dwarf: {
|
|
|
|
const MCDwarfLineAddrFragment *OF = cast<MCDwarfLineAddrFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " AddrDelta:" << OF->getAddrDelta()
|
|
|
|
<< " LineDelta:" << OF->getLineDelta();
|
|
|
|
break;
|
|
|
|
}
|
2010-11-02 17:22:24 +00:00
|
|
|
case MCFragment::FT_LEB: {
|
|
|
|
const MCLEBFragment *LF = cast<MCLEBFragment>(this);
|
|
|
|
OS << "\n ";
|
|
|
|
OS << " Value:" << LF->getValue() << " Signed:" << LF->isSigned();
|
|
|
|
break;
|
|
|
|
}
|
2010-02-13 09:28:43 +00:00
|
|
|
}
|
2010-03-22 23:16:48 +00:00
|
|
|
OS << ">";
|
|
|
|
}
|
|
|
|
|
2010-02-13 09:28:03 +00:00
|
|
|
void MCSectionData::dump() {
|
|
|
|
raw_ostream &OS = llvm::errs();
|
|
|
|
|
|
|
|
OS << "<MCSectionData";
|
|
|
|
OS << " Alignment:" << getAlignment() << " Address:" << Address
|
2010-05-13 03:19:50 +00:00
|
|
|
<< " Fragments:[\n ";
|
2010-02-13 09:28:03 +00: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 01:12:23 +00:00
|
|
|
OS << " Sections:[\n ";
|
2010-02-13 09:28:03 +00: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 01:12:23 +00:00
|
|
|
if (it != symbol_begin()) OS << ",\n ";
|
2010-02-13 09:28:03 +00:00
|
|
|
it->dump();
|
|
|
|
}
|
|
|
|
OS << "]>\n";
|
|
|
|
}
|