AsmPrinterDwarf.cpp revision c25c90897781f116d5dbabab170bafcf65900fa7
1//===-- AsmPrinterDwarf.cpp - AsmPrinter Dwarf Support --------------------===//
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// This file implements the Dwarf emissions parts of AsmPrinter.
11//
12//===----------------------------------------------------------------------===//
13
14#define DEBUG_TYPE "asm-printer"
15#include "llvm/CodeGen/AsmPrinter.h"
16#include "llvm/MC/MachineLocation.h"
17#include "llvm/MC/MCAsmInfo.h"
18#include "llvm/MC/MCSection.h"
19#include "llvm/MC/MCStreamer.h"
20#include "llvm/MC/MCSymbol.h"
21#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameLowering.h"
23#include "llvm/Target/TargetLoweringObjectFile.h"
24#include "llvm/Target/TargetMachine.h"
25#include "llvm/Target/TargetRegisterInfo.h"
26#include "llvm/ADT/Twine.h"
27#include "llvm/Support/Dwarf.h"
28using namespace llvm;
29
30//===----------------------------------------------------------------------===//
31// Dwarf Emission Helper Routines
32//===----------------------------------------------------------------------===//
33
34/// EmitSLEB128 - emit the specified signed leb128 value.
35void AsmPrinter::EmitSLEB128(int Value, const char *Desc) const {
36  if (isVerbose() && Desc)
37    OutStreamer.AddComment(Desc);
38
39  OutStreamer.EmitSLEB128IntValue(Value);
40}
41
42/// EmitULEB128 - emit the specified signed leb128 value.
43void AsmPrinter::EmitULEB128(unsigned Value, const char *Desc,
44                             unsigned PadTo) const {
45  if (isVerbose() && Desc)
46    OutStreamer.AddComment(Desc);
47
48  OutStreamer.EmitULEB128IntValue(Value, 0/*addrspace*/, PadTo);
49}
50
51/// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
52void AsmPrinter::EmitCFAByte(unsigned Val) const {
53  if (isVerbose()) {
54    if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset+64)
55      OutStreamer.AddComment("DW_CFA_offset + Reg (" +
56                             Twine(Val-dwarf::DW_CFA_offset) + ")");
57    else
58      OutStreamer.AddComment(dwarf::CallFrameString(Val));
59  }
60  OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
61}
62
63static const char *DecodeDWARFEncoding(unsigned Encoding) {
64  switch (Encoding) {
65  case dwarf::DW_EH_PE_absptr: return "absptr";
66  case dwarf::DW_EH_PE_omit:   return "omit";
67  case dwarf::DW_EH_PE_pcrel:  return "pcrel";
68  case dwarf::DW_EH_PE_udata4: return "udata4";
69  case dwarf::DW_EH_PE_udata8: return "udata8";
70  case dwarf::DW_EH_PE_sdata4: return "sdata4";
71  case dwarf::DW_EH_PE_sdata8: return "sdata8";
72  case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4";
73  case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4";
74  case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8";
75  case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8";
76  case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4:
77    return "indirect pcrel udata4";
78  case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4:
79    return "indirect pcrel sdata4";
80  case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8:
81    return "indirect pcrel udata8";
82  case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8:
83    return "indirect pcrel sdata8";
84  }
85
86  return "<unknown encoding>";
87}
88
89
90/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
91/// encoding.  If verbose assembly output is enabled, we output comments
92/// describing the encoding.  Desc is an optional string saying what the
93/// encoding is specifying (e.g. "LSDA").
94void AsmPrinter::EmitEncodingByte(unsigned Val, const char *Desc) const {
95  if (isVerbose()) {
96    if (Desc != 0)
97      OutStreamer.AddComment(Twine(Desc)+" Encoding = " +
98                             Twine(DecodeDWARFEncoding(Val)));
99    else
100      OutStreamer.AddComment(Twine("Encoding = ") +
101                             DecodeDWARFEncoding(Val));
102  }
103
104  OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
105}
106
107/// GetSizeOfEncodedValue - Return the size of the encoding in bytes.
108unsigned AsmPrinter::GetSizeOfEncodedValue(unsigned Encoding) const {
109  if (Encoding == dwarf::DW_EH_PE_omit)
110    return 0;
111
112  switch (Encoding & 0x07) {
113  default: assert(0 && "Invalid encoded value.");
114  case dwarf::DW_EH_PE_absptr: return TM.getTargetData()->getPointerSize();
115  case dwarf::DW_EH_PE_udata2: return 2;
116  case dwarf::DW_EH_PE_udata4: return 4;
117  case dwarf::DW_EH_PE_udata8: return 8;
118  }
119}
120
121void AsmPrinter::EmitReference(const MCSymbol *Sym, unsigned Encoding) const {
122  const TargetLoweringObjectFile &TLOF = getObjFileLowering();
123
124  const MCExpr *Exp =
125    TLOF.getExprForDwarfReference(Sym, Encoding, OutStreamer);
126  OutStreamer.EmitAbsValue(Exp, GetSizeOfEncodedValue(Encoding));
127}
128
129void AsmPrinter::EmitReference(const GlobalValue *GV, unsigned Encoding)const{
130  const TargetLoweringObjectFile &TLOF = getObjFileLowering();
131
132  const MCExpr *Exp =
133    TLOF.getExprForDwarfGlobalReference(GV, Mang, MMI, Encoding, OutStreamer);
134  OutStreamer.EmitValue(Exp, GetSizeOfEncodedValue(Encoding), /*addrspace*/0);
135}
136
137/// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its
138/// section.  This can be done with a special directive if the target supports
139/// it (e.g. cygwin) or by emitting it as an offset from a label at the start
140/// of the section.
141///
142/// SectionLabel is a temporary label emitted at the start of the section that
143/// Label lives in.
144void AsmPrinter::EmitSectionOffset(const MCSymbol *Label,
145                                   const MCSymbol *SectionLabel) const {
146  // On COFF targets, we have to emit the special .secrel32 directive.
147  if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective()) {
148    // FIXME: MCize.
149    OutStreamer.EmitRawText(SecOffDir + Twine(Label->getName()));
150    return;
151  }
152
153  // Get the section that we're referring to, based on SectionLabel.
154  const MCSection &Section = SectionLabel->getSection();
155
156  // If Label has already been emitted, verify that it is in the same section as
157  // section label for sanity.
158  assert((!Label->isInSection() || &Label->getSection() == &Section) &&
159         "Section offset using wrong section base for label");
160
161  // If the section in question will end up with an address of 0 anyway, we can
162  // just emit an absolute reference to save a relocation.
163  if (Section.isBaseAddressKnownZero()) {
164    OutStreamer.EmitSymbolValue(Label, 4, 0/*AddrSpace*/);
165    return;
166  }
167
168  // Otherwise, emit it as a label difference from the start of the section.
169  EmitLabelDifference(Label, SectionLabel, 4);
170}
171
172//===----------------------------------------------------------------------===//
173// Dwarf Lowering Routines
174//===----------------------------------------------------------------------===//
175
176/// EmitCFIFrameMove - Emit a frame instruction.
177void AsmPrinter::EmitCFIFrameMove(const MachineMove &Move) const {
178  const TargetRegisterInfo *RI = TM.getRegisterInfo();
179
180  const MachineLocation &Dst = Move.getDestination();
181  const MachineLocation &Src = Move.getSource();
182
183  // If advancing cfa.
184  if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
185    if (Src.getReg() == MachineLocation::VirtualFP) {
186      OutStreamer.EmitCFIDefCfaOffset(-Src.getOffset());
187    } else {
188      // Reg + Offset
189      OutStreamer.EmitCFIDefCfa(RI->getDwarfRegNum(Src.getReg(), true),
190                                Src.getOffset());
191    }
192  } else if (Src.isReg() && Src.getReg() == MachineLocation::VirtualFP) {
193    assert(Dst.isReg() && "Machine move not supported yet.");
194    OutStreamer.EmitCFIDefCfaRegister(RI->getDwarfRegNum(Dst.getReg(), true));
195  } else {
196    assert(!Dst.isReg() && "Machine move not supported yet.");
197    OutStreamer.EmitCFIOffset(RI->getDwarfRegNum(Src.getReg(), true),
198                              Dst.getOffset());
199  }
200}
201