blob: df8b2d2425fc75b33beb52847ff92d3e1f0476bd [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 Lattnerf61ed8e2010-01-22 22:38:16 +000045static const char *DecodeDWARFEncoding(unsigned Encoding) {
46 switch (Encoding) {
47 case dwarf::DW_EH_PE_absptr: return "absptr";
48 case dwarf::DW_EH_PE_omit: return "omit";
49 case dwarf::DW_EH_PE_pcrel: return "pcrel";
50 case dwarf::DW_EH_PE_udata4: return "udata4";
51 case dwarf::DW_EH_PE_udata8: return "udata8";
52 case dwarf::DW_EH_PE_sdata4: return "sdata4";
53 case dwarf::DW_EH_PE_sdata8: return "sdata8";
54 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4";
55 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4";
56 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8";
57 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8";
58 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4:
59 return "indirect pcrel udata4";
60 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4:
61 return "indirect pcrel sdata4";
62 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8:
63 return "indirect pcrel udata8";
64 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8:
65 return "indirect pcrel sdata8";
66 }
67
68 return "<unknown encoding>";
69}
70
71/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
72/// encoding. If verbose assembly output is enabled, we output comments
73/// describing the encoding. Desc is an optional string saying what the
74/// encoding is specifying (e.g. "LSDA").
75void DwarfPrinter::EmitEncodingByte(unsigned Val, const char *Desc) {
76 if (Asm->VerboseAsm) {
77 if (Desc != 0)
78 Asm->OutStreamer.AddComment(Twine(Desc)+" Encoding = " +
79 Twine(DecodeDWARFEncoding(Val)));
80 else
81 Asm->OutStreamer.AddComment(Twine("Encoding = ") +
82 DecodeDWARFEncoding(Val));
83 }
84
85 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
86}
87
Chris Lattnerbb9078a2010-01-22 22:56:55 +000088/// PrintSLEB128 - Print a series of hexadecimal values (separated by commas)
89/// representing a signed leb128 value.
90static void PrintSLEB128(MCStreamer &O, int Value) {
91 int Sign = Value >> (8 * sizeof(Value) - 1);
92 bool IsMore;
93
94 do {
95 unsigned char Byte = static_cast<unsigned char>(Value & 0x7f);
96 Value >>= 7;
97 IsMore = Value != Sign || ((Byte ^ Sign) & 0x40) != 0;
98 if (IsMore) Byte |= 0x80;
99
100 O.EmitIntValue(Byte, 1, /*addrspace*/0);
101 } while (IsMore);
102}
103
104/// EmitSLEB128 - print the specified signed leb128 value.
105void DwarfPrinter::EmitSLEB128(int Value, const char *Desc) const {
106 if (Asm->VerboseAsm && Desc)
107 Asm->OutStreamer.AddComment(Desc);
108
109 if (MAI->hasLEB128()) {
110 O << "\t.sleb128\t" << Value;
111 Asm->OutStreamer.AddBlankLine();
112 } else {
113 PrintSLEB128(Asm->OutStreamer, Value);
114 }
115}
116
117
Chris Lattnerf61ed8e2010-01-22 22:38:16 +0000118
Bill Wendling88423ee2009-05-15 00:11:17 +0000119/// PrintLabelName - Print label name in form used by Dwarf writer.
120///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000121void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000122 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +0000123 if (Number) O << Number;
124}
Chris Lattner066c9ac2010-01-22 22:23:57 +0000125void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number,
126 const char *Suffix) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000127 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +0000128 if (Number) O << Number;
129 O << Suffix;
130}
131
132/// EmitLabel - Emit location label for internal use by Dwarf.
133///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000134void DwarfPrinter::EmitLabel(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +0000135 PrintLabelName(Tag, Number);
Bill Wendling88423ee2009-05-15 00:11:17 +0000136 O << ":\n";
137}
138
139/// EmitReference - Emit a reference to a label.
140///
Chris Lattner066c9ac2010-01-22 22:23:57 +0000141void DwarfPrinter::EmitReference(const char *Tag, unsigned Number,
142 bool IsPCRelative, bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +0000143 PrintRelDirective(Force32Bit);
144 PrintLabelName(Tag, Number);
Chris Lattner33adcfb2009-08-22 21:43:10 +0000145 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +0000146}
Chris Lattner066c9ac2010-01-22 22:23:57 +0000147void DwarfPrinter::EmitReference(const std::string &Name, bool IsPCRelative,
148 bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +0000149 PrintRelDirective(Force32Bit);
150 O << Name;
Chris Lattner33adcfb2009-08-22 21:43:10 +0000151 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +0000152}
153
Chris Lattner066c9ac2010-01-22 22:23:57 +0000154void DwarfPrinter::EmitReference(const MCSymbol *Sym, bool IsPCRelative,
155 bool Force32Bit) const {
Chris Lattner858431d2010-01-16 18:50:28 +0000156 PrintRelDirective(Force32Bit);
Chris Lattner10b318b2010-01-17 21:43:43 +0000157 O << *Sym;
Chris Lattner858431d2010-01-16 18:50:28 +0000158 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
159}
160
Bill Wendling88423ee2009-05-15 00:11:17 +0000161/// EmitDifference - Emit the difference between two labels. Some assemblers do
162/// not behave with absolute expressions with data directives, so there is an
163/// option (needsSet) to use an intermediary set expression.
Chris Lattner066c9ac2010-01-22 22:23:57 +0000164void DwarfPrinter::EmitDifference(const char *TagHi, unsigned NumberHi,
165 const char *TagLo, unsigned NumberLo,
166 bool IsSmall) {
Chris Lattner33adcfb2009-08-22 21:43:10 +0000167 if (MAI->needsSet()) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000168 O << "\t.set\t";
169 PrintLabelName("set", SetCounter, Flavor);
170 O << ",";
171 PrintLabelName(TagHi, NumberHi);
172 O << "-";
173 PrintLabelName(TagLo, NumberLo);
174 O << "\n";
175
176 PrintRelDirective(IsSmall);
177 PrintLabelName("set", SetCounter, Flavor);
178 ++SetCounter;
179 } else {
180 PrintRelDirective(IsSmall);
181 PrintLabelName(TagHi, NumberHi);
182 O << "-";
183 PrintLabelName(TagLo, NumberLo);
184 }
185}
186
Chris Lattner066c9ac2010-01-22 22:23:57 +0000187void DwarfPrinter::EmitSectionOffset(const char* Label, const char* Section,
188 unsigned LabelNumber,
189 unsigned SectionNumber,
190 bool IsSmall, bool isEH,
191 bool useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000192 bool printAbsolute = false;
193 if (isEH)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000194 printAbsolute = MAI->isAbsoluteEHSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000195 else
Chris Lattner33adcfb2009-08-22 21:43:10 +0000196 printAbsolute = MAI->isAbsoluteDebugSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000197
Chris Lattner33adcfb2009-08-22 21:43:10 +0000198 if (MAI->needsSet() && useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000199 O << "\t.set\t";
200 PrintLabelName("set", SetCounter, Flavor);
201 O << ",";
202 PrintLabelName(Label, LabelNumber);
203
204 if (!printAbsolute) {
205 O << "-";
206 PrintLabelName(Section, SectionNumber);
207 }
208
209 O << "\n";
210 PrintRelDirective(IsSmall);
211 PrintLabelName("set", SetCounter, Flavor);
212 ++SetCounter;
213 } else {
214 PrintRelDirective(IsSmall, true);
215 PrintLabelName(Label, LabelNumber);
216
217 if (!printAbsolute) {
218 O << "-";
219 PrintLabelName(Section, SectionNumber);
220 }
221 }
222}
223
224/// EmitFrameMoves - Emit frame instructions to describe the layout of the
225/// frame.
Chris Lattner066c9ac2010-01-22 22:23:57 +0000226void DwarfPrinter::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
227 const std::vector<MachineMove> &Moves,
228 bool isEH) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000229 int stackGrowth =
230 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
231 TargetFrameInfo::StackGrowsUp ?
232 TD->getPointerSize() : -TD->getPointerSize();
233 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
234
235 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
236 const MachineMove &Move = Moves[i];
237 unsigned LabelID = Move.getLabelID();
238
239 if (LabelID) {
240 LabelID = MMI->MappedLabel(LabelID);
241
242 // Throw out move if the label is invalid.
243 if (!LabelID) continue;
244 }
245
246 const MachineLocation &Dst = Move.getDestination();
247 const MachineLocation &Src = Move.getSource();
248
249 // Advance row if new location.
250 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
251 Asm->EmitInt8(dwarf::DW_CFA_advance_loc4);
252 Asm->EOL("DW_CFA_advance_loc4");
253 EmitDifference("label", LabelID, BaseLabel, BaseLabelID, true);
Chris Lattner0ad9c912010-01-22 22:09:00 +0000254 Asm->O << '\n';
Bill Wendling88423ee2009-05-15 00:11:17 +0000255
256 BaseLabelID = LabelID;
257 BaseLabel = "label";
258 IsLocal = true;
259 }
260
261 // If advancing cfa.
262 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
263 if (!Src.isReg()) {
264 if (Src.getReg() == MachineLocation::VirtualFP) {
265 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_offset);
266 Asm->EOL("DW_CFA_def_cfa_offset");
267 } else {
268 Asm->EmitInt8(dwarf::DW_CFA_def_cfa);
269 Asm->EOL("DW_CFA_def_cfa");
270 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), isEH));
271 Asm->EOL("Register");
272 }
273
274 int Offset = -Src.getOffset();
275
276 Asm->EmitULEB128Bytes(Offset);
277 Asm->EOL("Offset");
278 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000279 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000280 }
281 } else if (Src.isReg() &&
282 Src.getReg() == MachineLocation::VirtualFP) {
283 if (Dst.isReg()) {
284 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_register);
285 Asm->EOL("DW_CFA_def_cfa_register");
286 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), isEH));
287 Asm->EOL("Register");
288 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000289 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000290 }
291 } else {
292 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
293 int Offset = Dst.getOffset() / stackGrowth;
294
295 if (Offset < 0) {
296 Asm->EmitInt8(dwarf::DW_CFA_offset_extended_sf);
297 Asm->EOL("DW_CFA_offset_extended_sf");
298 Asm->EmitULEB128Bytes(Reg);
299 Asm->EOL("Reg");
Chris Lattnerbb9078a2010-01-22 22:56:55 +0000300 EmitSLEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000301 } else if (Reg < 64) {
302 Asm->EmitInt8(dwarf::DW_CFA_offset + Reg);
Benjamin Kramer1efd4fd52010-01-17 07:46:39 +0000303 Asm->EOL("DW_CFA_offset + Reg (" + Twine(Reg) + ")");
Bill Wendling88423ee2009-05-15 00:11:17 +0000304 Asm->EmitULEB128Bytes(Offset);
305 Asm->EOL("Offset");
306 } else {
307 Asm->EmitInt8(dwarf::DW_CFA_offset_extended);
308 Asm->EOL("DW_CFA_offset_extended");
309 Asm->EmitULEB128Bytes(Reg);
310 Asm->EOL("Reg");
311 Asm->EmitULEB128Bytes(Offset);
312 Asm->EOL("Offset");
313 }
314 }
315 }
316}