1 //===--- lib/CodeGen/DwarfPrinter.cpp - Dwarf Printer ---------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Emit general DWARF directives.
12 //===----------------------------------------------------------------------===//
14 #include "DwarfPrinter.h"
15 #include "llvm/Module.h"
16 #include "llvm/CodeGen/AsmPrinter.h"
17 #include "llvm/CodeGen/MachineFrameInfo.h"
18 #include "llvm/CodeGen/MachineFunction.h"
19 #include "llvm/CodeGen/MachineModuleInfo.h"
20 #include "llvm/MC/MCAsmInfo.h"
21 #include "llvm/MC/MCContext.h"
22 #include "llvm/MC/MCExpr.h"
23 #include "llvm/MC/MCStreamer.h"
24 #include "llvm/MC/MCSymbol.h"
25 #include "llvm/Target/TargetData.h"
26 #include "llvm/Target/TargetFrameInfo.h"
27 #include "llvm/Target/TargetLoweringObjectFile.h"
28 #include "llvm/Target/TargetRegisterInfo.h"
29 #include "llvm/Support/Dwarf.h"
30 #include "llvm/Support/ErrorHandling.h"
31 #include "llvm/ADT/SmallString.h"
34 DwarfPrinter::DwarfPrinter(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T)
35 : O(OS), Asm(A), MAI(T), TD(Asm->TM.getTargetData()),
36 RI(Asm->TM.getRegisterInfo()), M(NULL), MF(NULL), MMI(NULL),
40 /// getDWLabel - Return the MCSymbol corresponding to the assembler temporary
41 /// label with the specified stem and unique ID.
42 MCSymbol *DwarfPrinter::getDWLabel(const char *Name, unsigned ID) const {
43 // FIXME: REMOVE this. However, there is stuff in EH that passes counters in
44 // here that can be zero.
46 //assert(ID && "Should use getTempLabel if no ID");
47 if (ID == 0) return getTempLabel(Name);
48 return Asm->OutContext.GetOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix())
49 + Twine(Name) + Twine(ID));
52 /// getTempLabel - Return the MCSymbol corresponding to the assembler temporary
53 /// label with the specified name.
54 MCSymbol *DwarfPrinter::getTempLabel(const char *Name) const {
55 return Asm->OutContext.GetOrCreateSymbol(Twine(MAI->getPrivateGlobalPrefix())
60 /// SizeOfEncodedValue - Return the size of the encoding in bytes.
61 unsigned DwarfPrinter::SizeOfEncodedValue(unsigned Encoding) const {
62 if (Encoding == dwarf::DW_EH_PE_omit)
65 switch (Encoding & 0x07) {
66 case dwarf::DW_EH_PE_absptr:
67 return TD->getPointerSize();
68 case dwarf::DW_EH_PE_udata2:
70 case dwarf::DW_EH_PE_udata4:
72 case dwarf::DW_EH_PE_udata8:
76 assert(0 && "Invalid encoded value.");
80 static const char *DecodeDWARFEncoding(unsigned Encoding) {
82 case dwarf::DW_EH_PE_absptr: return "absptr";
83 case dwarf::DW_EH_PE_omit: return "omit";
84 case dwarf::DW_EH_PE_pcrel: return "pcrel";
85 case dwarf::DW_EH_PE_udata4: return "udata4";
86 case dwarf::DW_EH_PE_udata8: return "udata8";
87 case dwarf::DW_EH_PE_sdata4: return "sdata4";
88 case dwarf::DW_EH_PE_sdata8: return "sdata8";
89 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4";
90 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4";
91 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8";
92 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8";
93 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4:
94 return "indirect pcrel udata4";
95 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4:
96 return "indirect pcrel sdata4";
97 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8:
98 return "indirect pcrel udata8";
99 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8:
100 return "indirect pcrel sdata8";
103 return "<unknown encoding>";
106 /// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
107 /// encoding. If verbose assembly output is enabled, we output comments
108 /// describing the encoding. Desc is an optional string saying what the
109 /// encoding is specifying (e.g. "LSDA").
110 void DwarfPrinter::EmitEncodingByte(unsigned Val, const char *Desc) {
111 if (Asm->VerboseAsm) {
113 Asm->OutStreamer.AddComment(Twine(Desc)+" Encoding = " +
114 Twine(DecodeDWARFEncoding(Val)));
116 Asm->OutStreamer.AddComment(Twine("Encoding = ") +
117 DecodeDWARFEncoding(Val));
120 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
123 /// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
124 void DwarfPrinter::EmitCFAByte(unsigned Val) {
125 if (Asm->VerboseAsm) {
126 if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset+64)
127 Asm->OutStreamer.AddComment("DW_CFA_offset + Reg (" +
128 Twine(Val-dwarf::DW_CFA_offset) + ")");
130 Asm->OutStreamer.AddComment(dwarf::CallFrameString(Val));
132 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
135 /// EmitSLEB128 - emit the specified signed leb128 value.
136 void DwarfPrinter::EmitSLEB128(int Value, const char *Desc) const {
137 if (Asm->VerboseAsm && Desc)
138 Asm->OutStreamer.AddComment(Desc);
140 if (MAI->hasLEB128()) {
141 O << "\t.sleb128\t" << Value;
142 Asm->OutStreamer.AddBlankLine();
146 // If we don't have .sleb128, emit as .bytes.
147 int Sign = Value >> (8 * sizeof(Value) - 1);
151 unsigned char Byte = static_cast<unsigned char>(Value & 0x7f);
153 IsMore = Value != Sign || ((Byte ^ Sign) & 0x40) != 0;
154 if (IsMore) Byte |= 0x80;
155 Asm->OutStreamer.EmitIntValue(Byte, 1, /*addrspace*/0);
159 /// EmitULEB128 - emit the specified signed leb128 value.
160 void DwarfPrinter::EmitULEB128(unsigned Value, const char *Desc,
161 unsigned PadTo) const {
162 if (Asm->VerboseAsm && Desc)
163 Asm->OutStreamer.AddComment(Desc);
165 if (MAI->hasLEB128() && PadTo == 0) {
166 O << "\t.uleb128\t" << Value;
167 Asm->OutStreamer.AddBlankLine();
171 // If we don't have .uleb128 or we want to emit padding, emit as .bytes.
173 unsigned char Byte = static_cast<unsigned char>(Value & 0x7f);
175 if (Value || PadTo != 0) Byte |= 0x80;
176 Asm->OutStreamer.EmitIntValue(Byte, 1, /*addrspace*/0);
181 Asm->OutStreamer.EmitFill(PadTo - 1, 0x80/*fillval*/, 0/*addrspace*/);
182 Asm->OutStreamer.EmitFill(1, 0/*fillval*/, 0/*addrspace*/);
187 /// EmitReference - Emit a reference to a label.
189 void DwarfPrinter::EmitReference(const MCSymbol *Sym, bool IsPCRelative,
190 bool Force32Bit) const {
191 unsigned Size = Force32Bit ? 4 : TD->getPointerSize();
194 Asm->OutStreamer.EmitSymbolValue(Sym, Size, 0/*AddrSpace*/);
198 // FIXME: Need an MCExpr for ".".
199 if (Force32Bit || TD->getPointerSize() == sizeof(int32_t))
200 O << MAI->getData32bitsDirective();
202 O << MAI->getData64bitsDirective();
204 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
207 void DwarfPrinter::EmitReference(const MCSymbol *Sym, unsigned Encoding) const {
208 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
210 const MCExpr *Exp = TLOF.getSymbolForDwarfReference(Sym, Asm->MMI, Encoding);
211 Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0);
214 void DwarfPrinter::EmitReference(const GlobalValue *GV, unsigned Encoding)const{
215 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
218 TLOF.getSymbolForDwarfGlobalReference(GV, Asm->Mang, Asm->MMI, Encoding);
219 Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0);
222 /// EmitDifference - Emit the difference between two labels. If this assembler
223 /// supports .set, we emit a .set of a temporary and then use it in the .word.
224 void DwarfPrinter::EmitDifference(const MCSymbol *TagHi, const MCSymbol *TagLo,
226 unsigned Size = IsSmall ? 4 : TD->getPointerSize();
227 Asm->EmitLabelDifference(TagHi, TagLo, Size);
230 void DwarfPrinter::EmitSectionOffset(const MCSymbol *Label,
231 const MCSymbol *Section,
232 bool IsSmall, bool isEH) {
235 isAbsolute = MAI->isAbsoluteEHSectionOffsets();
237 isAbsolute = MAI->isAbsoluteDebugSectionOffsets();
240 return EmitDifference(Label, Section, IsSmall);
242 // On COFF targets, we have to emit the weird .secrel32 directive.
243 if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective())
244 O << SecOffDir << Label->getName();
246 unsigned Size = IsSmall ? 4 : TD->getPointerSize();
247 Asm->OutStreamer.EmitSymbolValue(Label, Size, 0/*AddrSpace*/);
251 /// EmitFrameMoves - Emit frame instructions to describe the layout of the
253 void DwarfPrinter::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
254 const std::vector<MachineMove> &Moves,
257 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
258 TargetFrameInfo::StackGrowsUp ?
259 TD->getPointerSize() : -TD->getPointerSize();
260 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
262 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
263 const MachineMove &Move = Moves[i];
264 unsigned LabelID = Move.getLabelID();
266 // Throw out move if the label is invalid.
267 if (LabelID && MMI->isLabelDeleted(LabelID))
270 const MachineLocation &Dst = Move.getDestination();
271 const MachineLocation &Src = Move.getSource();
273 // Advance row if new location.
274 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
275 EmitCFAByte(dwarf::DW_CFA_advance_loc4);
276 EmitDifference(getDWLabel("label", LabelID),
277 getDWLabel(BaseLabel, BaseLabelID), true);
278 BaseLabelID = LabelID;
284 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
286 if (Src.getReg() == MachineLocation::VirtualFP) {
287 EmitCFAByte(dwarf::DW_CFA_def_cfa_offset);
289 EmitCFAByte(dwarf::DW_CFA_def_cfa);
290 EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register");
293 int Offset = -Src.getOffset();
294 EmitULEB128(Offset, "Offset");
296 llvm_unreachable("Machine move not supported yet.");
298 } else if (Src.isReg() &&
299 Src.getReg() == MachineLocation::VirtualFP) {
301 EmitCFAByte(dwarf::DW_CFA_def_cfa_register);
302 EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register");
304 llvm_unreachable("Machine move not supported yet.");
307 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
308 int Offset = Dst.getOffset() / stackGrowth;
311 EmitCFAByte(dwarf::DW_CFA_offset_extended_sf);
312 EmitULEB128(Reg, "Reg");
313 EmitSLEB128(Offset, "Offset");
314 } else if (Reg < 64) {
315 EmitCFAByte(dwarf::DW_CFA_offset + Reg);
316 EmitULEB128(Offset, "Offset");
318 EmitCFAByte(dwarf::DW_CFA_offset_extended);
319 EmitULEB128(Reg, "Reg");
320 EmitULEB128(Offset, "Offset");