blob: f50c684e3522d941f4efa2423585f65494f0ca53 [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 Lattner858431d2010-01-16 18:50:28 +000021#include "llvm/MC/MCSymbol.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000022#include "llvm/Target/TargetData.h"
23#include "llvm/Target/TargetFrameInfo.h"
24#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000025#include "llvm/Support/Dwarf.h"
26#include "llvm/Support/ErrorHandling.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000027using namespace llvm;
28
Chris Lattner066c9ac2010-01-22 22:23:57 +000029DwarfPrinter::DwarfPrinter(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T,
30 const char *flavor)
Chris Lattner33adcfb2009-08-22 21:43:10 +000031: O(OS), Asm(A), MAI(T), TD(Asm->TM.getTargetData()),
Bill Wendling88423ee2009-05-15 00:11:17 +000032 RI(Asm->TM.getRegisterInfo()), M(NULL), MF(NULL), MMI(NULL),
33 SubprogramCount(0), Flavor(flavor), SetCounter(1) {}
34
Chris Lattner066c9ac2010-01-22 22:23:57 +000035void DwarfPrinter::PrintRelDirective(bool Force32Bit, bool isInSection) const {
Chris Lattner33adcfb2009-08-22 21:43:10 +000036 if (isInSection && MAI->getDwarfSectionOffsetDirective())
37 O << MAI->getDwarfSectionOffsetDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000038 else if (Force32Bit || TD->getPointerSize() == sizeof(int32_t))
Chris Lattner33adcfb2009-08-22 21:43:10 +000039 O << MAI->getData32bitsDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000040 else
Chris Lattner33adcfb2009-08-22 21:43:10 +000041 O << MAI->getData64bitsDirective();
Bill Wendling88423ee2009-05-15 00:11:17 +000042}
43
44/// PrintLabelName - Print label name in form used by Dwarf writer.
45///
Chris Lattner066c9ac2010-01-22 22:23:57 +000046void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +000047 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000048 if (Number) O << Number;
49}
Chris Lattner066c9ac2010-01-22 22:23:57 +000050void DwarfPrinter::PrintLabelName(const char *Tag, unsigned Number,
51 const char *Suffix) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +000052 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000053 if (Number) O << Number;
54 O << Suffix;
55}
56
57/// EmitLabel - Emit location label for internal use by Dwarf.
58///
Chris Lattner066c9ac2010-01-22 22:23:57 +000059void DwarfPrinter::EmitLabel(const char *Tag, unsigned Number) const {
Jim Grosbacha01d3462009-09-01 16:43:35 +000060 PrintLabelName(Tag, Number);
Bill Wendling88423ee2009-05-15 00:11:17 +000061 O << ":\n";
62}
63
64/// EmitReference - Emit a reference to a label.
65///
Chris Lattner066c9ac2010-01-22 22:23:57 +000066void DwarfPrinter::EmitReference(const char *Tag, unsigned Number,
67 bool IsPCRelative, bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +000068 PrintRelDirective(Force32Bit);
69 PrintLabelName(Tag, Number);
Chris Lattner33adcfb2009-08-22 21:43:10 +000070 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000071}
Chris Lattner066c9ac2010-01-22 22:23:57 +000072void DwarfPrinter::EmitReference(const std::string &Name, bool IsPCRelative,
73 bool Force32Bit) const {
Bill Wendling88423ee2009-05-15 00:11:17 +000074 PrintRelDirective(Force32Bit);
75 O << Name;
Chris Lattner33adcfb2009-08-22 21:43:10 +000076 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000077}
78
Chris Lattner066c9ac2010-01-22 22:23:57 +000079void DwarfPrinter::EmitReference(const MCSymbol *Sym, bool IsPCRelative,
80 bool Force32Bit) const {
Chris Lattner858431d2010-01-16 18:50:28 +000081 PrintRelDirective(Force32Bit);
Chris Lattner10b318b2010-01-17 21:43:43 +000082 O << *Sym;
Chris Lattner858431d2010-01-16 18:50:28 +000083 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
84}
85
Bill Wendling88423ee2009-05-15 00:11:17 +000086/// EmitDifference - Emit the difference between two labels. Some assemblers do
87/// not behave with absolute expressions with data directives, so there is an
88/// option (needsSet) to use an intermediary set expression.
Chris Lattner066c9ac2010-01-22 22:23:57 +000089void DwarfPrinter::EmitDifference(const char *TagHi, unsigned NumberHi,
90 const char *TagLo, unsigned NumberLo,
91 bool IsSmall) {
Chris Lattner33adcfb2009-08-22 21:43:10 +000092 if (MAI->needsSet()) {
Bill Wendling88423ee2009-05-15 00:11:17 +000093 O << "\t.set\t";
94 PrintLabelName("set", SetCounter, Flavor);
95 O << ",";
96 PrintLabelName(TagHi, NumberHi);
97 O << "-";
98 PrintLabelName(TagLo, NumberLo);
99 O << "\n";
100
101 PrintRelDirective(IsSmall);
102 PrintLabelName("set", SetCounter, Flavor);
103 ++SetCounter;
104 } else {
105 PrintRelDirective(IsSmall);
106 PrintLabelName(TagHi, NumberHi);
107 O << "-";
108 PrintLabelName(TagLo, NumberLo);
109 }
110}
111
Chris Lattner066c9ac2010-01-22 22:23:57 +0000112void DwarfPrinter::EmitSectionOffset(const char* Label, const char* Section,
113 unsigned LabelNumber,
114 unsigned SectionNumber,
115 bool IsSmall, bool isEH,
116 bool useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000117 bool printAbsolute = false;
118 if (isEH)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000119 printAbsolute = MAI->isAbsoluteEHSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000120 else
Chris Lattner33adcfb2009-08-22 21:43:10 +0000121 printAbsolute = MAI->isAbsoluteDebugSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000122
Chris Lattner33adcfb2009-08-22 21:43:10 +0000123 if (MAI->needsSet() && useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000124 O << "\t.set\t";
125 PrintLabelName("set", SetCounter, Flavor);
126 O << ",";
127 PrintLabelName(Label, LabelNumber);
128
129 if (!printAbsolute) {
130 O << "-";
131 PrintLabelName(Section, SectionNumber);
132 }
133
134 O << "\n";
135 PrintRelDirective(IsSmall);
136 PrintLabelName("set", SetCounter, Flavor);
137 ++SetCounter;
138 } else {
139 PrintRelDirective(IsSmall, true);
140 PrintLabelName(Label, LabelNumber);
141
142 if (!printAbsolute) {
143 O << "-";
144 PrintLabelName(Section, SectionNumber);
145 }
146 }
147}
148
149/// EmitFrameMoves - Emit frame instructions to describe the layout of the
150/// frame.
Chris Lattner066c9ac2010-01-22 22:23:57 +0000151void DwarfPrinter::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
152 const std::vector<MachineMove> &Moves,
153 bool isEH) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000154 int stackGrowth =
155 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
156 TargetFrameInfo::StackGrowsUp ?
157 TD->getPointerSize() : -TD->getPointerSize();
158 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
159
160 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
161 const MachineMove &Move = Moves[i];
162 unsigned LabelID = Move.getLabelID();
163
164 if (LabelID) {
165 LabelID = MMI->MappedLabel(LabelID);
166
167 // Throw out move if the label is invalid.
168 if (!LabelID) continue;
169 }
170
171 const MachineLocation &Dst = Move.getDestination();
172 const MachineLocation &Src = Move.getSource();
173
174 // Advance row if new location.
175 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
176 Asm->EmitInt8(dwarf::DW_CFA_advance_loc4);
177 Asm->EOL("DW_CFA_advance_loc4");
178 EmitDifference("label", LabelID, BaseLabel, BaseLabelID, true);
Chris Lattner0ad9c912010-01-22 22:09:00 +0000179 Asm->O << '\n';
Bill Wendling88423ee2009-05-15 00:11:17 +0000180
181 BaseLabelID = LabelID;
182 BaseLabel = "label";
183 IsLocal = true;
184 }
185
186 // If advancing cfa.
187 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
188 if (!Src.isReg()) {
189 if (Src.getReg() == MachineLocation::VirtualFP) {
190 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_offset);
191 Asm->EOL("DW_CFA_def_cfa_offset");
192 } else {
193 Asm->EmitInt8(dwarf::DW_CFA_def_cfa);
194 Asm->EOL("DW_CFA_def_cfa");
195 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), isEH));
196 Asm->EOL("Register");
197 }
198
199 int Offset = -Src.getOffset();
200
201 Asm->EmitULEB128Bytes(Offset);
202 Asm->EOL("Offset");
203 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000204 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000205 }
206 } else if (Src.isReg() &&
207 Src.getReg() == MachineLocation::VirtualFP) {
208 if (Dst.isReg()) {
209 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_register);
210 Asm->EOL("DW_CFA_def_cfa_register");
211 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), isEH));
212 Asm->EOL("Register");
213 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000214 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000215 }
216 } else {
217 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
218 int Offset = Dst.getOffset() / stackGrowth;
219
220 if (Offset < 0) {
221 Asm->EmitInt8(dwarf::DW_CFA_offset_extended_sf);
222 Asm->EOL("DW_CFA_offset_extended_sf");
223 Asm->EmitULEB128Bytes(Reg);
224 Asm->EOL("Reg");
225 Asm->EmitSLEB128Bytes(Offset);
226 Asm->EOL("Offset");
227 } else if (Reg < 64) {
228 Asm->EmitInt8(dwarf::DW_CFA_offset + Reg);
Benjamin Kramer1efd4fd52010-01-17 07:46:39 +0000229 Asm->EOL("DW_CFA_offset + Reg (" + Twine(Reg) + ")");
Bill Wendling88423ee2009-05-15 00:11:17 +0000230 Asm->EmitULEB128Bytes(Offset);
231 Asm->EOL("Offset");
232 } else {
233 Asm->EmitInt8(dwarf::DW_CFA_offset_extended);
234 Asm->EOL("DW_CFA_offset_extended");
235 Asm->EmitULEB128Bytes(Reg);
236 Asm->EOL("Reg");
237 Asm->EmitULEB128Bytes(Offset);
238 Asm->EOL("Offset");
239 }
240 }
241 }
242}