blob: 60ff2c57cd0e2fa531a30fd40fa97cedde3f65c6 [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"
Bill Wendling88423ee2009-05-15 00:11:17 +000021#include "llvm/Target/TargetData.h"
22#include "llvm/Target/TargetFrameInfo.h"
23#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner23132b12009-08-24 03:52:50 +000024#include "llvm/Support/Dwarf.h"
25#include "llvm/Support/ErrorHandling.h"
26#include "llvm/ADT/StringExtras.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000027using namespace llvm;
28
Chris Lattneraf76e592009-08-22 20:48:53 +000029Dwarf::Dwarf(raw_ostream &OS, AsmPrinter *A, const MCAsmInfo *T,
Bill Wendling88423ee2009-05-15 00:11:17 +000030 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
35void Dwarf::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///
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +000046void Dwarf::PrintLabelName(const char *Tag, unsigned Number,
47 bool ForcePrivate) const {
48 if (ForcePrivate)
49 O << MAI->getPrivateGlobalPrefix();
50 O << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000051 if (Number) O << Number;
52}
53void Dwarf::PrintLabelName(const char *Tag, unsigned Number,
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +000054 const char *Suffix, bool ForcePrivate) const {
55 if (ForcePrivate)
56 O << MAI->getPrivateGlobalPrefix();
57 O << Tag;
Bill Wendling88423ee2009-05-15 00:11:17 +000058 if (Number) O << Number;
59 O << Suffix;
60}
61
62/// EmitLabel - Emit location label for internal use by Dwarf.
63///
Jim Grosbach3fb2b1e2009-09-01 01:57:56 +000064void Dwarf::EmitLabel(const char *Tag, unsigned Number,
65 bool ForcePrivate) const {
66 PrintLabelName(Tag, Number, ForcePrivate);
Bill Wendling88423ee2009-05-15 00:11:17 +000067 O << ":\n";
68}
69
70/// EmitReference - Emit a reference to a label.
71///
72void Dwarf::EmitReference(const char *Tag, unsigned Number,
73 bool IsPCRelative, bool Force32Bit) const {
74 PrintRelDirective(Force32Bit);
75 PrintLabelName(Tag, Number);
Chris Lattner33adcfb2009-08-22 21:43:10 +000076 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000077}
78void Dwarf::EmitReference(const std::string &Name, bool IsPCRelative,
79 bool Force32Bit) const {
80 PrintRelDirective(Force32Bit);
81 O << Name;
Chris Lattner33adcfb2009-08-22 21:43:10 +000082 if (IsPCRelative) O << "-" << MAI->getPCSymbol();
Bill Wendling88423ee2009-05-15 00:11:17 +000083}
84
85/// EmitDifference - Emit the difference between two labels. Some assemblers do
86/// not behave with absolute expressions with data directives, so there is an
87/// option (needsSet) to use an intermediary set expression.
88void Dwarf::EmitDifference(const char *TagHi, unsigned NumberHi,
89 const char *TagLo, unsigned NumberLo,
90 bool IsSmall) {
Chris Lattner33adcfb2009-08-22 21:43:10 +000091 if (MAI->needsSet()) {
Bill Wendling88423ee2009-05-15 00:11:17 +000092 O << "\t.set\t";
93 PrintLabelName("set", SetCounter, Flavor);
94 O << ",";
95 PrintLabelName(TagHi, NumberHi);
96 O << "-";
97 PrintLabelName(TagLo, NumberLo);
98 O << "\n";
99
100 PrintRelDirective(IsSmall);
101 PrintLabelName("set", SetCounter, Flavor);
102 ++SetCounter;
103 } else {
104 PrintRelDirective(IsSmall);
105 PrintLabelName(TagHi, NumberHi);
106 O << "-";
107 PrintLabelName(TagLo, NumberLo);
108 }
109}
110
111void Dwarf::EmitSectionOffset(const char* Label, const char* Section,
112 unsigned LabelNumber, unsigned SectionNumber,
113 bool IsSmall, bool isEH,
114 bool useSet) {
115 bool printAbsolute = false;
116 if (isEH)
Chris Lattner33adcfb2009-08-22 21:43:10 +0000117 printAbsolute = MAI->isAbsoluteEHSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000118 else
Chris Lattner33adcfb2009-08-22 21:43:10 +0000119 printAbsolute = MAI->isAbsoluteDebugSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000120
Chris Lattner33adcfb2009-08-22 21:43:10 +0000121 if (MAI->needsSet() && useSet) {
Bill Wendling88423ee2009-05-15 00:11:17 +0000122 O << "\t.set\t";
123 PrintLabelName("set", SetCounter, Flavor);
124 O << ",";
125 PrintLabelName(Label, LabelNumber);
126
127 if (!printAbsolute) {
128 O << "-";
129 PrintLabelName(Section, SectionNumber);
130 }
131
132 O << "\n";
133 PrintRelDirective(IsSmall);
134 PrintLabelName("set", SetCounter, Flavor);
135 ++SetCounter;
136 } else {
137 PrintRelDirective(IsSmall, true);
138 PrintLabelName(Label, LabelNumber);
139
140 if (!printAbsolute) {
141 O << "-";
142 PrintLabelName(Section, SectionNumber);
143 }
144 }
145}
146
147/// EmitFrameMoves - Emit frame instructions to describe the layout of the
148/// frame.
149void Dwarf::EmitFrameMoves(const char *BaseLabel, unsigned BaseLabelID,
150 const std::vector<MachineMove> &Moves, bool isEH) {
151 int stackGrowth =
152 Asm->TM.getFrameInfo()->getStackGrowthDirection() ==
153 TargetFrameInfo::StackGrowsUp ?
154 TD->getPointerSize() : -TD->getPointerSize();
155 bool IsLocal = BaseLabel && strcmp(BaseLabel, "label") == 0;
156
157 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
158 const MachineMove &Move = Moves[i];
159 unsigned LabelID = Move.getLabelID();
160
161 if (LabelID) {
162 LabelID = MMI->MappedLabel(LabelID);
163
164 // Throw out move if the label is invalid.
165 if (!LabelID) continue;
166 }
167
168 const MachineLocation &Dst = Move.getDestination();
169 const MachineLocation &Src = Move.getSource();
170
171 // Advance row if new location.
172 if (BaseLabel && LabelID && (BaseLabelID != LabelID || !IsLocal)) {
173 Asm->EmitInt8(dwarf::DW_CFA_advance_loc4);
174 Asm->EOL("DW_CFA_advance_loc4");
175 EmitDifference("label", LabelID, BaseLabel, BaseLabelID, true);
176 Asm->EOL();
177
178 BaseLabelID = LabelID;
179 BaseLabel = "label";
180 IsLocal = true;
181 }
182
183 // If advancing cfa.
184 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
185 if (!Src.isReg()) {
186 if (Src.getReg() == MachineLocation::VirtualFP) {
187 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_offset);
188 Asm->EOL("DW_CFA_def_cfa_offset");
189 } else {
190 Asm->EmitInt8(dwarf::DW_CFA_def_cfa);
191 Asm->EOL("DW_CFA_def_cfa");
192 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Src.getReg(), isEH));
193 Asm->EOL("Register");
194 }
195
196 int Offset = -Src.getOffset();
197
198 Asm->EmitULEB128Bytes(Offset);
199 Asm->EOL("Offset");
200 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000201 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000202 }
203 } else if (Src.isReg() &&
204 Src.getReg() == MachineLocation::VirtualFP) {
205 if (Dst.isReg()) {
206 Asm->EmitInt8(dwarf::DW_CFA_def_cfa_register);
207 Asm->EOL("DW_CFA_def_cfa_register");
208 Asm->EmitULEB128Bytes(RI->getDwarfRegNum(Dst.getReg(), isEH));
209 Asm->EOL("Register");
210 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000211 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000212 }
213 } else {
214 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
215 int Offset = Dst.getOffset() / stackGrowth;
216
217 if (Offset < 0) {
218 Asm->EmitInt8(dwarf::DW_CFA_offset_extended_sf);
219 Asm->EOL("DW_CFA_offset_extended_sf");
220 Asm->EmitULEB128Bytes(Reg);
221 Asm->EOL("Reg");
222 Asm->EmitSLEB128Bytes(Offset);
223 Asm->EOL("Offset");
224 } else if (Reg < 64) {
225 Asm->EmitInt8(dwarf::DW_CFA_offset + Reg);
226 if (Asm->isVerbose())
227 Asm->EOL("DW_CFA_offset + Reg (" + utostr(Reg) + ")");
228 else
229 Asm->EOL();
230 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}