lib/MC/MCObjectStreamer.cpp

   1 //===- lib/MC/MCObjectStreamer.cpp - Object File MCStreamer Interface -----===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9
  10 #include "llvm/MC/MCAsmInfo.h"
  11 #include "llvm/MC/MCObjectStreamer.h"
  12
  13 #include "llvm/Support/ErrorHandling.h"
  14 #include "llvm/MC/MCAssembler.h"
  15 #include "llvm/MC/MCCodeEmitter.h"
  16 #include "llvm/MC/MCContext.h"
  17 #include "llvm/MC/MCDwarf.h"
  18 #include "llvm/MC/MCExpr.h"
  19 #include "llvm/MC/MCSymbol.h"
  20 #include "llvm/Target/TargetAsmBackend.h"
  21 #include "llvm/Target/TargetAsmInfo.h"
  22 using namespace llvm;
  23
  24 MCObjectStreamer::MCObjectStreamer(MCContext &Context, TargetAsmBackend &TAB,
  25                                    raw_ostream &OS, MCCodeEmitter *Emitter_)
  26   : MCStreamer(Context),
  27     Assembler(new MCAssembler(Context, TAB,
  28                               *Emitter_, *TAB.createObjectWriter(OS),
  29                               OS)),
  30     CurSectionData(0)
  31 {
  32 }
  33
  34 MCObjectStreamer::MCObjectStreamer(MCContext &Context, TargetAsmBackend &TAB,
  35                                    raw_ostream &OS, MCCodeEmitter *Emitter_,
  36                                    MCAssembler *_Assembler)
  37   : MCStreamer(Context), Assembler(_Assembler), CurSectionData(0)
  38 {
  39 }
  40
  41 MCObjectStreamer::~MCObjectStreamer() {
  42   delete &Assembler->getBackend();
  43   delete &Assembler->getEmitter();
  44   delete &Assembler->getWriter();
  45   delete Assembler;
  46 }
  47
  48 MCFragment *MCObjectStreamer::getCurrentFragment() const {
  49   assert(getCurrentSectionData() && "No current section!");
  50
  51   if (!getCurrentSectionData()->empty())
  52     return &getCurrentSectionData()->getFragmentList().back();
  53
  54   return 0;
  55 }
  56
  57 MCDataFragment *MCObjectStreamer::getOrCreateDataFragment() const {
  58   MCDataFragment *F = dyn_cast_or_null<MCDataFragment>(getCurrentFragment());
  59   if (!F)
  60     F = new MCDataFragment(getCurrentSectionData());
  61   return F;
  62 }
  63
  64 const MCExpr *MCObjectStreamer::AddValueSymbols(const MCExpr *Value) {
  65   switch (Value->getKind()) {
  66   case MCExpr::Target:
  67     cast<MCTargetExpr>(Value)->AddValueSymbols(Assembler);
  68     break;
  69
  70   case MCExpr::Constant:
  71     break;
  72
  73   case MCExpr::Binary: {
  74     const MCBinaryExpr *BE = cast<MCBinaryExpr>(Value);
  75     AddValueSymbols(BE->getLHS());
  76     AddValueSymbols(BE->getRHS());
  77     break;
  78   }
  79
  80   case MCExpr::SymbolRef:
  81     Assembler->getOrCreateSymbolData(cast<MCSymbolRefExpr>(Value)->getSymbol());
  82     break;
  83
  84   case MCExpr::Unary:
  85     AddValueSymbols(cast<MCUnaryExpr>(Value)->getSubExpr());
  86     break;
  87   }
  88
  89   return Value;
  90 }
  91
  92 void MCObjectStreamer::EmitValueImpl(const MCExpr *Value, unsigned Size,
  93                                      bool isPCRel, unsigned AddrSpace) {
  94   assert(AddrSpace == 0 && "Address space must be 0!");
  95   MCDataFragment *DF = getOrCreateDataFragment();
  96
  97   // Avoid fixups when possible.
  98   int64_t AbsValue;
  99   if (AddValueSymbols(Value)->EvaluateAsAbsolute(AbsValue, getAssembler())) {
 100     EmitIntValue(AbsValue, Size, AddrSpace);
 101     return;
 102   }
 103   DF->addFixup(MCFixup::Create(DF->getContents().size(),
 104                                Value,
 105                                MCFixup::getKindForSize(Size, isPCRel)));
 106   DF->getContents().resize(DF->getContents().size() + Size, 0);
 107 }
 108
 109 void MCObjectStreamer::EmitLabel(MCSymbol *Symbol) {
 110   assert(!Symbol->isVariable() && "Cannot emit a variable symbol!");
 111   assert(getCurrentSection() && "Cannot emit before setting section!");
 112
 113   Symbol->setSection(*getCurrentSection());
 114
 115   MCSymbolData &SD = getAssembler().getOrCreateSymbolData(*Symbol);
 116
 117   // FIXME: This is wasteful, we don't necessarily need to create a data
 118   // fragment. Instead, we should mark the symbol as pointing into the data
 119   // fragment if it exists, otherwise we should just queue the label and set its
 120   // fragment pointer when we emit the next fragment.
 121   MCDataFragment *F = getOrCreateDataFragment();
 122   assert(!SD.getFragment() && "Unexpected fragment on symbol data!");
 123   SD.setFragment(F);
 124   SD.setOffset(F->getContents().size());
 125 }
 126
 127 void MCObjectStreamer::EmitULEB128Value(const MCExpr *Value) {
 128   int64_t IntValue;
 129   if (Value->EvaluateAsAbsolute(IntValue, getAssembler())) {
 130     EmitULEB128IntValue(IntValue);
 131     return;
 132   }
 133   new MCLEBFragment(*Value, false, getCurrentSectionData());
 134 }
 135
 136 void MCObjectStreamer::EmitSLEB128Value(const MCExpr *Value) {
 137   int64_t IntValue;
 138   if (Value->EvaluateAsAbsolute(IntValue, getAssembler())) {
 139     EmitSLEB128IntValue(IntValue);
 140     return;
 141   }
 142   new MCLEBFragment(*Value, true, getCurrentSectionData());
 143 }
 144
 145 void MCObjectStreamer::EmitWeakReference(MCSymbol *Alias,
 146                                          const MCSymbol *Symbol) {
 147   report_fatal_error("This file format doesn't support weak aliases.");
 148 }
 149
 150 void MCObjectStreamer::ChangeSection(const MCSection *Section) {
 151   assert(Section && "Cannot switch to a null section!");
 152
 153   CurSectionData = &getAssembler().getOrCreateSectionData(*Section);
 154 }
 155
 156 void MCObjectStreamer::EmitInstruction(const MCInst &Inst) {
 157   // Scan for values.
 158   for (unsigned i = Inst.getNumOperands(); i--; )
 159     if (Inst.getOperand(i).isExpr())
 160       AddValueSymbols(Inst.getOperand(i).getExpr());
 161
 162   getCurrentSectionData()->setHasInstructions(true);
 163
 164   // Now that a machine instruction has been assembled into this section, make
 165   // a line entry for any .loc directive that has been seen.
 166   MCLineEntry::Make(this, getCurrentSection());
 167
 168   // If this instruction doesn't need relaxation, just emit it as data.
 169   if (!getAssembler().getBackend().MayNeedRelaxation(Inst)) {
 170     EmitInstToData(Inst);
 171     return;
 172   }
 173
 174   // Otherwise, if we are relaxing everything, relax the instruction as much as
 175   // possible and emit it as data.
 176   if (getAssembler().getRelaxAll()) {
 177     MCInst Relaxed;
 178     getAssembler().getBackend().RelaxInstruction(Inst, Relaxed);
 179     while (getAssembler().getBackend().MayNeedRelaxation(Relaxed))
 180       getAssembler().getBackend().RelaxInstruction(Relaxed, Relaxed);
 181     EmitInstToData(Relaxed);
 182     return;
 183   }
 184
 185   // Otherwise emit to a separate fragment.
 186   EmitInstToFragment(Inst);
 187 }
 188
 189 void MCObjectStreamer::EmitInstToFragment(const MCInst &Inst) {
 190   MCInstFragment *IF = new MCInstFragment(Inst, getCurrentSectionData());
 191
 192   SmallString<128> Code;
 193   raw_svector_ostream VecOS(Code);
 194   getAssembler().getEmitter().EncodeInstruction(Inst, VecOS, IF->getFixups());
 195   VecOS.flush();
 196   IF->getCode().append(Code.begin(), Code.end());
 197 }
 198
 199 static const MCExpr *BuildSymbolDiff(MCContext &Context,
 200                                      const MCSymbol *A, const MCSymbol *B) {
 201   MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
 202   const MCExpr *ARef =
 203     MCSymbolRefExpr::Create(A, Variant, Context);
 204   const MCExpr *BRef =
 205     MCSymbolRefExpr::Create(B, Variant, Context);
 206   const MCExpr *AddrDelta =
 207     MCBinaryExpr::Create(MCBinaryExpr::Sub, ARef, BRef, Context);
 208   return AddrDelta;
 209 }
 210
 211 static const MCExpr *ForceExpAbs(MCObjectStreamer *Streamer,
 212                                   MCContext &Context, const MCExpr* Expr) {
 213  if (Context.getAsmInfo().hasAggressiveSymbolFolding())
 214    return Expr;
 215
 216  MCSymbol *ABS = Context.CreateTempSymbol();
 217  Streamer->EmitAssignment(ABS, Expr);
 218  return MCSymbolRefExpr::Create(ABS, Context);
 219 }
 220
 221 void MCObjectStreamer::EmitDwarfAdvanceLineAddr(int64_t LineDelta,
 222                                                 const MCSymbol *LastLabel,
 223                                                 const MCSymbol *Label) {
 224   if (!LastLabel) {
 225     int PointerSize = getContext().getTargetAsmInfo().getPointerSize();
 226     EmitDwarfSetLineAddr(LineDelta, Label, PointerSize);
 227     return;
 228   }
 229   const MCExpr *AddrDelta = BuildSymbolDiff(getContext(), Label, LastLabel);
 230   int64_t Res;
 231   if (AddrDelta->EvaluateAsAbsolute(Res, getAssembler())) {
 232     MCDwarfLineAddr::Emit(this, LineDelta, Res);
 233     return;
 234   }
 235   AddrDelta = ForceExpAbs(this, getContext(), AddrDelta);
 236   new MCDwarfLineAddrFragment(LineDelta, *AddrDelta, getCurrentSectionData());
 237 }
 238
 239 void MCObjectStreamer::EmitDwarfAdvanceFrameAddr(const MCSymbol *LastLabel,
 240                                                  const MCSymbol *Label) {
 241   const MCExpr *AddrDelta = BuildSymbolDiff(getContext(), Label, LastLabel);
 242   int64_t Res;
 243   if (AddrDelta->EvaluateAsAbsolute(Res, getAssembler())) {
 244     MCDwarfFrameEmitter::EmitAdvanceLoc(*this, Res);
 245     return;
 246   }
 247   AddrDelta = ForceExpAbs(this, getContext(), AddrDelta);
 248   new MCDwarfCallFrameFragment(*AddrDelta, getCurrentSectionData());
 249 }
 250
 251 void MCObjectStreamer::EmitValueToOffset(const MCExpr *Offset,
 252                                         unsigned char Value) {
 253   int64_t Res;
 254   if (Offset->EvaluateAsAbsolute(Res, getAssembler())) {
 255     new MCOrgFragment(*Offset, Value, getCurrentSectionData());
 256     return;
 257   }
 258
 259   MCSymbol *CurrentPos = getContext().CreateTempSymbol();
 260   EmitLabel(CurrentPos);
 261   MCSymbolRefExpr::VariantKind Variant = MCSymbolRefExpr::VK_None;
 262   const MCExpr *Ref =
 263     MCSymbolRefExpr::Create(CurrentPos, Variant, getContext());
 264   const MCExpr *Delta =
 265     MCBinaryExpr::Create(MCBinaryExpr::Sub, Offset, Ref, getContext());
 266
 267   if (!Delta->EvaluateAsAbsolute(Res, getAssembler()))
 268     report_fatal_error("expected assembly-time absolute expression");
 269   EmitFill(Res, Value, 0);
 270 }
 271
 272 void MCObjectStreamer::Finish() {
 273   // Dump out the dwarf file & directory tables and line tables.
 274   if (getContext().hasDwarfFiles())
 275     MCDwarfFileTable::Emit(this);
 276
 277   getAssembler().Finish();
 278 }