blob: 415390bc2817fabf7a11b17c164ddf3cb17ccbcc [file] [log] [blame]
Bill Wendling88423ee2009-05-15 00:11:17 +00001//===--- lib/CodeGen/DwarfPrinter.cpp - Dwarf Printer ---------------------===//
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// Emit general DWARF directives.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DwarfPrinter.h"
15#include "llvm/Module.h"
16#include "llvm/CodeGen/AsmPrinter.h"
17#include "llvm/CodeGen/MachineFrameInfo.h"
David Greeneeea1f4c2009-08-19 21:59:18 +000018#include "llvm/CodeGen/MachineFunction.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000019#include "llvm/CodeGen/MachineModuleInfo.h"
Chris Lattneraf76e592009-08-22 20:48:53 +000020#include "llvm/MC/MCAsmInfo.h"
Chris Lattnerf61ed8e2010-01-22 22:38:16 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattner858431d2010-01-16 18:50:28 +000022#include "llvm/MC/MCSymbol.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000023#include "llvm/Target/TargetData.h"
24#include "llvm/Target/TargetFrameInfo.h"
25#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000026#include "llvm/Support/Dwarf.h"
27#include "llvm/Support/ErrorHandling.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000028using namespace llvm;
29
Chris Lattner066c9ac2010-01-22 22:23:57 +000030DwarfPrinter::DwarfPrinter(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T,
31 const char *flavor)
Chris Lattner33adcfb2009-08-22 21:43:10 +000032: O(OS), Asm(A), MAI(T), TD(Asm->TM.getTargetData()),
Bill Wendling88423ee2009-05-15 00:11:17 +000033 RI(Asm->TM.getRegisterInfo()), M(NULL), MF(NULL), MMI(NULL),
34 SubprogramCount(0), Flavor(flavor), SetCounter(1) {}
35
Chris Lattner066c9ac2010-01-22 22:23:57 +000036void DwarfPrinter::PrintRelDirective(bool Force32Bit, bool isInSection) const {
Chris Lattner33adcfb2009-08-22 21:43:10 +000037 if (isInSection && MAI->getDwarfSectionOffsetDirective())
38 O << MAI->getDwarfSectionOffsetDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000039 else if (Force32Bit || TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +000040 O << MAI->getData32bitsDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000041 else
Chris Lattner33adcfb2009-08-22 21:43:10 +000042 O << MAI->getData64bitsDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000043}
44
Chris Lattnerfaca5492010-01-22 23:47:11 +000045/// EOL - Print a newline character to asm stream. If a comment is present
46/// then it will be printed first. Comments should not contain '\n'.
47void DwarfPrinter::EOL(const Twine &Comment) const {
48 if (Asm->VerboseAsm && !Comment.isTriviallyEmpty()) {
49 Asm->O.PadToColumn(MAI->getCommentColumn());
50 Asm->O << Asm->MAI->getCommentString() << ' ' << Comment;
51 }
52 Asm->O << '\n';
53}
54
Chris Lattnerf61ed8e2010-01-22 22:38:16 +000055static const char *DecodeDWARFEncoding(unsigned Encoding) {
56 switch (Encoding) {
57 case dwarf::DW_EH_PE_absptr: return "absptr";
58 case dwarf::DW_EH_PE_omit: return "omit";
59 case dwarf::DW_EH_PE_pcrel: return "pcrel";
60 case dwarf::DW_EH_PE_udata4: return "udata4";
61 case dwarf::DW_EH_PE_udata8: return "udata8";
62 case dwarf::DW_EH_PE_sdata4: return "sdata4";
63 case dwarf::DW_EH_PE_sdata8: return "sdata8";
64 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4";
65 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4";
66 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8";
67 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8";
68 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4:
69 return "indirect pcrel udata4";
70 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4:
71 return "indirect pcrel sdata4";
72 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8:
73 return "indirect pcrel udata8";
74 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8:
75 return "indirect pcrel sdata8";
76 }
77
78 return "<unknown encoding>";
79}
80
81/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
82/// encoding. If verbose assembly output is enabled, we output comments
83/// describing the encoding. Desc is an optional string saying what the
84/// encoding is specifying (e.g. "LSDA").
85void DwarfPrinter::EmitEncodingByte(unsigned Val, const char *Desc) {
86 if (Asm->VerboseAsm) {
87 if (Desc != 0)
88 Asm->OutStreamer.AddComment(Twine(Desc)+" Encoding = " +
89 Twine(DecodeDWARFEncoding(Val)));
90 else
91 Asm->OutStreamer.AddComment(Twine("Encoding = ") +
92 DecodeDWARFEncoding(Val));
93 }
94
95 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
96}
97
Chris Lattner245834d2010-01-22 23:40:08 +000098/// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
99void DwarfPrinter::EmitCFAByte(unsigned Val) {
100 if (Asm->VerboseAsm) {
101 if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset+64)
102 Asm->OutStreamer.AddComment("DW_CFA_offset + Reg (" +
103 Twine(Val-dwarf::DW_CFA_offset) + ")");
104 else
105 Asm->OutStreamer.AddComment(dwarf::CallFrameString(Val));
106 }
107 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
108}
109
Chris Lattner894d75a2010-01-22 23:18:42 +0000110/// EmitSLEB128 - emit the specified signed leb128 value.
111void DwarfPrinter::EmitSLEB128(int Value, const char *Desc) const {
112 if (Asm->VerboseAsm && Desc)
113 Asm->OutStreamer.AddComment(Desc);
114
115 if (MAI->hasLEB128()) {
116 O << "\t.sleb128\t" << Value;
117 Asm->OutStreamer.AddBlankLine();
118 return;
119 }
120
121 // If we don't have .sleb128, emit as .bytes.
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000122 int Sign = Value >> (8 * sizeof(Value) - 1);
123 bool IsMore;
124
125 do {
126 unsigned char Byte = static_cast<unsigned char>(Value & 0x7f);
127 Value >>= 7;
128 IsMore = Value != Sign || ((Byte ^ Sign) & 0x40) != 0;
129 if (IsMore) Byte |= 0x80;
130
Chris Lattner894d75a2010-01-22 23:18:42 +0000131 Asm->OutStreamer.EmitIntValue(Byte, 1, /*addrspace*/0);
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000132 } while (IsMore);
133}
134
Chris Lattner894d75a2010-01-22 23:18:42 +0000135/// EmitULEB128 - emit the specified signed leb128 value.
136void DwarfPrinter::EmitULEB128(unsigned Value, const char *Desc) const {
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000137 if (Asm->VerboseAsm && Desc)
138 Asm->OutStreamer.AddComment(Desc);
Chris Lattner894d75a2010-01-22 23:18:42 +0000139
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000140 if (MAI->hasLEB128()) {
Chris Lattner894d75a2010-01-22 23:18:42 +0000141 O << "\t.uleb128\t" << Value;
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000142 Asm->OutStreamer.AddBlankLine();
Chris Lattner894d75a2010-01-22 23:18:42 +0000143 return;
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000144 }
Chris Lattner894d75a2010-01-22 23:18:42 +0000145
146 // If we don't have .uleb128, emit as .bytes.
147 do {
148 unsigned char Byte = static_cast<unsigned char>(Value & 0x7f);
149 Value >>= 7;
150 if (Value) Byte |= 0x80;
151 Asm->OutStreamer.EmitIntValue(Byte, 1, /*addrspace*/0);
152 } while (Value);
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000153}
154
155
Bill Wendling88423ee2009-05-15 00:11:17 +0000156/// PrintLabelName - Print label name in form used by Dwarf writer.
157///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000158void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000159 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +0000160 if (Number) O << Number;
161}
Chris Lattner066c9ac2010-01-22 22:23:57 +0000162void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number,
163 const char *Suffix) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000164 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +0000165 if (Number) O << Number;
166 O << Suffix;
167}
168
169/// EmitLabel - Emit location label for internal use by Dwarf.
170///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000171void DwarfPrinter::EmitLabel(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000172 PrintLabelName(Tag, Number);
Bill Wendling88423ee2009-05-15 00:11:17 +0000173 O << ":\n";
174}
175
176/// EmitReference - Emit a reference to a label.
177///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000178void DwarfPrinter::EmitReference(const char *Tag, unsigned Number,
179 bool IsPCRelative, bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +0000180 PrintRelDirective(Force32Bit);
181 PrintLabelName(Tag, Number);
Chris Lattner33adcfb2009-08-22 21:43:10 +0000182 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +0000183}
Chris Lattner066c9ac2010-01-22 22:23:57 +0000184void DwarfPrinter::EmitReference(const std::string &Name, bool IsPCRelative,
185 bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +0000186 PrintRelDirective(Force32Bit);
187 O << Name;
Chris Lattner33adcfb2009-08-22 21:43:10 +0000188 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +0000189}
190
Chris Lattner066c9ac2010-01-22 22:23:57 +0000191void DwarfPrinter::EmitReference(const MCSymbol *Sym, bool IsPCRelative,
192 bool Force32Bit) const {
Chris Lattner858431d2010-01-16 18:50:28 +0000193 PrintRelDirective(Force32Bit);
Chris Lattner10b318b2010-01-17 21:43:43 +0000194 O << *Sym;
Chris Lattner858431d2010-01-16 18:50:28 +0000195 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
196}
197
Chris Lattner6a315c32010-01-26 20:20:43 +0000198/// EmitDifference - Emit the difference between two labels. If this assembler
199/// supports .set, we emit a .set of a temporary and then use it in the .word.
Chris Lattner066c9ac2010-01-22 22:23:57 +0000200void DwarfPrinter::EmitDifference(const char *TagHi, unsigned NumberHi,
201 const char *TagLo, unsigned NumberLo,
202 bool IsSmall) {
Chris Lattnercee63322010-01-26 20:40:54 +0000203 if (MAI->hasSetDirective()) {
Chris Lattnerc618c8a2010-01-26 21:53:08 +0000204 // FIXME: switch to OutStreamer.EmitAssignment.
Bill Wendling88423ee2009-05-15 00:11:17 +0000205 O << "\t.set\t";
206 PrintLabelName("set", SetCounter, Flavor);
207 O << ",";
208 PrintLabelName(TagHi, NumberHi);
209 O << "-";
210 PrintLabelName(TagLo, NumberLo);
211 O << "\n";
212
213 PrintRelDirective(IsSmall);
214 PrintLabelName("set", SetCounter, Flavor);
215 ++SetCounter;
216 } else {
217 PrintRelDirective(IsSmall);
218 PrintLabelName(TagHi, NumberHi);
219 O << "-";
220 PrintLabelName(TagLo, NumberLo);
221 }
222}
223
Chris Lattner066c9ac2010-01-22 22:23:57 +0000224void DwarfPrinter::EmitSectionOffset(const char* Label, const char* Section,
225 unsigned LabelNumber,
226 unsigned SectionNumber,
227 bool IsSmall, bool isEH,
228 bool useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000229 bool printAbsolute = false;
230 if (isEH)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000231 printAbsolute = MAI->isAbsoluteEHSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000232 else
Chris Lattner33adcfb2009-08-22 21:43:10 +0000233 printAbsolute = MAI->isAbsoluteDebugSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000234
Chris Lattnercee63322010-01-26 20:40:54 +0000235 if (MAI->hasSetDirective() && useSet) {
Chris Lattnerc618c8a2010-01-26 21:53:08 +0000236 // FIXME: switch to OutStreamer.EmitAssignment.
Bill Wendling88423ee2009-05-15 00:11:17 +0000237 O << "\t.set\t";
238 PrintLabelName("set", SetCounter, Flavor);
239 O << ",";
240 PrintLabelName(Label, LabelNumber);
241
242 if (!printAbsolute) {
243 O << "-";
244 PrintLabelName(Section, SectionNumber);
245 }
246
247 O << "\n";
248 PrintRelDirective(IsSmall);
249 PrintLabelName("set", SetCounter, Flavor);
250 ++SetCounter;
Chris Lattner3586e5e2010-01-24 19:01:06 +0000251 O << "\n";
Bill Wendling88423ee2009-05-15 00:11:17 +0000252 } else {
253 PrintRelDirective(IsSmall, true);
254 PrintLabelName(Label, LabelNumber);
255
256 if (!printAbsolute) {
257 O << "-";
258 PrintLabelName(Section, SectionNumber);
259 }
Chris Lattner3586e5e2010-01-24 19:01:06 +0000260 O << "\n";
Bill Wendling88423ee2009-05-15 00:11:17 +0000261 }
262}
263
264/// EmitFrameMoves - Emit frame instructions to describe the layout of the
265/// frame.
Chris Lattner066c9ac2010-01-22 22:23:57 +0000266void DwarfPrinter::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
267 const std::vector<MachineMove> &Moves,
268 bool isEH) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000269 int stackGrowth =
270 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
271 TargetFrameInfo::StackGrowsUp ?
272 TD->getPointerSize() : -TD->getPointerSize();
273 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
274
275 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
276 const MachineMove &Move = Moves[i];
277 unsigned LabelID = Move.getLabelID();
278
279 if (LabelID) {
280 LabelID = MMI->MappedLabel(LabelID);
281
282 // Throw out move if the label is invalid.
283 if (!LabelID) continue;
284 }
285
286 const MachineLocation &Dst = Move.getDestination();
287 const MachineLocation &Src = Move.getSource();
288
289 // Advance row if new location.
290 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
Chris Lattner245834d2010-01-22 23:40:08 +0000291 EmitCFAByte(dwarf::DW_CFA_advance_loc4);
Bill Wendling88423ee2009-05-15 00:11:17 +0000292 EmitDifference("label", LabelID, BaseLabel, BaseLabelID, true);
Chris Lattner0ad9c912010-01-22 22:09:00 +0000293 Asm->O << '\n';
Bill Wendling88423ee2009-05-15 00:11:17 +0000294
295 BaseLabelID = LabelID;
296 BaseLabel = "label";
297 IsLocal = true;
298 }
299
300 // If advancing cfa.
301 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
302 if (!Src.isReg()) {
303 if (Src.getReg() == MachineLocation::VirtualFP) {
Chris Lattner245834d2010-01-22 23:40:08 +0000304 EmitCFAByte(dwarf::DW_CFA_def_cfa_offset);
Bill Wendling88423ee2009-05-15 00:11:17 +0000305 } else {
Chris Lattner245834d2010-01-22 23:40:08 +0000306 EmitCFAByte(dwarf::DW_CFA_def_cfa);
Chris Lattner894d75a2010-01-22 23:18:42 +0000307 EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000308 }
309
310 int Offset = -Src.getOffset();
Chris Lattner894d75a2010-01-22 23:18:42 +0000311 EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000312 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000313 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000314 }
315 } else if (Src.isReg() &&
316 Src.getReg() == MachineLocation::VirtualFP) {
317 if (Dst.isReg()) {
Chris Lattner245834d2010-01-22 23:40:08 +0000318 EmitCFAByte(dwarf::DW_CFA_def_cfa_register);
Chris Lattner894d75a2010-01-22 23:18:42 +0000319 EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000320 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000321 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000322 }
323 } else {
324 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
325 int Offset = Dst.getOffset() / stackGrowth;
326
327 if (Offset < 0) {
Chris Lattner245834d2010-01-22 23:40:08 +0000328 EmitCFAByte(dwarf::DW_CFA_offset_extended_sf);
Chris Lattner894d75a2010-01-22 23:18:42 +0000329 EmitULEB128(Reg, "Reg");
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000330 EmitSLEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000331 } else if (Reg < 64) {
Chris Lattner245834d2010-01-22 23:40:08 +0000332 EmitCFAByte(dwarf::DW_CFA_offset + Reg);
Chris Lattner894d75a2010-01-22 23:18:42 +0000333 EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000334 } else {
Chris Lattner245834d2010-01-22 23:40:08 +0000335 EmitCFAByte(dwarf::DW_CFA_offset_extended);
Chris Lattner894d75a2010-01-22 23:18:42 +0000336 EmitULEB128(Reg, "Reg");
337 EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000338 }
339 }
340 }
341}