blob: 73e833142fed87d26d56ba873fd98d4fd2c9dda2 [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"
27#include "llvm/ADT/StringExtras.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000028using namespace llvm;
29
Chris Lattneraf76e592009-08-22 20:48:53 +000030Dwarf::Dwarf(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T,
Bill Wendling88423ee2009-05-15 00:11:17 +000031 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
36void Dwarf::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
45/// PrintLabelName - Print label name in form used by Dwarf writer.
46///
Jim Grosbacha01d3462009-09-01 16:43:35 +000047void Dwarf::PrintLabelName(const char *Tag, unsigned Number) const {
48 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000049 if (Number) O << Number;
50}
51void Dwarf::PrintLabelName(const char *Tag, unsigned Number,
Jim Grosbacha01d3462009-09-01 16:43:35 +000052 const char *Suffix) const {
53 O << MAI->getPrivateGlobalPrefix() << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000054 if (Number) O << Number;
55 O << Suffix;
56}
57
58/// EmitLabel - Emit location label for internal use by Dwarf.
59///
Jim Grosbacha01d3462009-09-01 16:43:35 +000060void Dwarf::EmitLabel(const char *Tag, unsigned Number) const {
61 PrintLabelName(Tag, Number);
Bill Wendling88423ee2009-05-15 00:11:17 +000062 O << ":\n";
63}
64
65/// EmitReference - Emit a reference to a label.
66///
67void Dwarf::EmitReference(const char *Tag, unsigned Number,
68 bool IsPCRelative, bool Force32Bit) const {
69 PrintRelDirective(Force32Bit);
70 PrintLabelName(Tag, Number);
Chris Lattner33adcfb2009-08-22 21:43:10 +000071 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000072}
73void Dwarf::EmitReference(const std::string &Name, bool IsPCRelative,
74 bool Force32Bit) const {
75 PrintRelDirective(Force32Bit);
76 O << Name;
Chris Lattner33adcfb2009-08-22 21:43:10 +000077 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000078}
79
Chris Lattner858431d2010-01-16 18:50:28 +000080void Dwarf::EmitReference(const MCSymbol *Sym, bool IsPCRelative,
81 bool Force32Bit) const {
82 PrintRelDirective(Force32Bit);
83 Sym->print(O, MAI);
84 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
85}
86
Bill Wendling88423ee2009-05-15 00:11:17 +000087/// EmitDifference - Emit the difference between two labels. Some assemblers do
88/// not behave with absolute expressions with data directives, so there is an
89/// option (needsSet) to use an intermediary set expression.
90void Dwarf::EmitDifference(const char *TagHi, unsigned NumberHi,
91 const char *TagLo, unsigned NumberLo,
92 bool IsSmall) {
Chris Lattner33adcfb2009-08-22 21:43:10 +000093 if (MAI->needsSet()) {
Bill Wendling88423ee2009-05-15 00:11:17 +000094 O << "\t.set\t";
95 PrintLabelName("set", SetCounter, Flavor);
96 O << ",";
97 PrintLabelName(TagHi, NumberHi);
98 O << "-";
99 PrintLabelName(TagLo, NumberLo);
100 O << "\n";
101
102 PrintRelDirective(IsSmall);
103 PrintLabelName("set", SetCounter, Flavor);
104 ++SetCounter;
105 } else {
106 PrintRelDirective(IsSmall);
107 PrintLabelName(TagHi, NumberHi);
108 O << "-";
109 PrintLabelName(TagLo, NumberLo);
110 }
111}
112
113void Dwarf::EmitSectionOffset(const char* Label, const char* Section,
114 unsigned LabelNumber, unsigned SectionNumber,
115 bool IsSmall, bool isEH,
116 bool useSet) {
117 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.
151void Dwarf::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
152 const std::vector<MachineMove> &Moves, bool isEH) {
153 int stackGrowth =
154 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
155 TargetFrameInfo::StackGrowsUp ?
156 TD->getPointerSize() : -TD->getPointerSize();
157 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
158
159 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
160 const MachineMove &Move = Moves[i];
161 unsigned LabelID = Move.getLabelID();
162
163 if (LabelID) {
164 LabelID = MMI->MappedLabel(LabelID);
165
166 // Throw out move if the label is invalid.
167 if (!LabelID) continue;
168 }
169
170 const MachineLocation &Dst = Move.getDestination();
171 const MachineLocation &Src = Move.getSource();
172
173 // Advance row if new location.
174 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
175 Asm->EmitInt8(dwarf::DW_CFA_advance_loc4);
176 Asm->EOL("DW_CFA_advance_loc4");
177 EmitDifference("label", LabelID, BaseLabel, BaseLabelID, true);
178 Asm->EOL();
179
180 BaseLabelID = LabelID;
181 BaseLabel = "label";
182 IsLocal = true;
183 }
184
185 // If advancing cfa.
186 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
187 if (!Src.isReg()) {
188 if (Src.getReg() == MachineLocation::VirtualFP) {
189 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_offset);
190 Asm->EOL("DW_CFA_def_cfa_offset");
191 } else {
192 Asm->EmitInt8(dwarf::DW_CFA_def_cfa);
193 Asm->EOL("DW_CFA_def_cfa");
194 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), isEH));
195 Asm->EOL("Register");
196 }
197
198 int Offset = -Src.getOffset();
199
200 Asm->EmitULEB128Bytes(Offset);
201 Asm->EOL("Offset");
202 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000203 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000204 }
205 } else if (Src.isReg() &&
206 Src.getReg() == MachineLocation::VirtualFP) {
207 if (Dst.isReg()) {
208 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_register);
209 Asm->EOL("DW_CFA_def_cfa_register");
210 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), isEH));
211 Asm->EOL("Register");
212 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000213 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000214 }
215 } else {
216 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
217 int Offset = Dst.getOffset() / stackGrowth;
218
219 if (Offset < 0) {
220 Asm->EmitInt8(dwarf::DW_CFA_offset_extended_sf);
221 Asm->EOL("DW_CFA_offset_extended_sf");
222 Asm->EmitULEB128Bytes(Reg);
223 Asm->EOL("Reg");
224 Asm->EmitSLEB128Bytes(Offset);
225 Asm->EOL("Offset");
226 } else if (Reg < 64) {
227 Asm->EmitInt8(dwarf::DW_CFA_offset + Reg);
228 if (Asm->isVerbose())
229 Asm->EOL("DW_CFA_offset + Reg (" + utostr(Reg) + ")");
230 else
231 Asm->EOL();
232 Asm->EmitULEB128Bytes(Offset);
233 Asm->EOL("Offset");
234 } else {
235 Asm->EmitInt8(dwarf::DW_CFA_offset_extended);
236 Asm->EOL("DW_CFA_offset_extended");
237 Asm->EmitULEB128Bytes(Reg);
238 Asm->EOL("Reg");
239 Asm->EmitULEB128Bytes(Offset);
240 Asm->EOL("Offset");
241 }
242 }
243 }
244}