blob: 19c3b91486053b759d0fc7cf400ae69899be154f [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.
Anton Korobeynikov9184b252010-02-15 22:35:59 +000011//
Bill Wendling88423ee2009-05-15 00:11:17 +000012//===----------------------------------------------------------------------===//
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"
Anton Korobeynikov9184b252010-02-15 22:35:59 +000021#include "llvm/MC/MCContext.h"
22#include "llvm/MC/MCExpr.h"
Chris Lattnerf61ed8e2010-01-22 22:38:16 +000023#include "llvm/MC/MCStreamer.h"
Chris Lattner858431d2010-01-16 18:50:28 +000024#include "llvm/MC/MCSymbol.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000025#include "llvm/Target/TargetData.h"
26#include "llvm/Target/TargetFrameInfo.h"
Anton Korobeynikov9184b252010-02-15 22:35:59 +000027#include "llvm/Target/TargetLoweringObjectFile.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000028#include "llvm/Target/TargetRegisterInfo.h"
Chris Lattner9d1c1ad2010-04-04 18:06:11 +000029#include "llvm/Target/TargetMachine.h"
Chris Lattner23132b12009-08-24 03:52:50 +000030#include "llvm/Support/Dwarf.h"
31#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov9184b252010-02-15 22:35:59 +000032#include "llvm/ADT/SmallString.h"
Bill Wendling88423ee2009-05-15 00:11:17 +000033using namespace llvm;
34
Chris Lattner75f50722010-04-04 07:48:20 +000035DwarfPrinter::DwarfPrinter(AsmPrinter *A)
36: Asm(A), MAI(A->MAI), TD(Asm->TM.getTargetData()),
Bill Wendling88423ee2009-05-15 00:11:17 +000037 RI(Asm->TM.getRegisterInfo()), M(NULL), MF(NULL), MMI(NULL),
Chris Lattnerc3421bb2010-03-09 00:00:15 +000038 SubprogramCount(0) {}
Bill Wendling88423ee2009-05-15 00:11:17 +000039
Anton Korobeynikov9184b252010-02-15 22:35:59 +000040/// SizeOfEncodedValue - Return the size of the encoding in bytes.
41unsigned DwarfPrinter::SizeOfEncodedValue(unsigned Encoding) const {
42 if (Encoding == dwarf::DW_EH_PE_omit)
43 return 0;
44
45 switch (Encoding & 0x07) {
46 case dwarf::DW_EH_PE_absptr:
47 return TD->getPointerSize();
48 case dwarf::DW_EH_PE_udata2:
49 return 2;
50 case dwarf::DW_EH_PE_udata4:
51 return 4;
52 case dwarf::DW_EH_PE_udata8:
53 return 8;
54 }
55
56 assert(0 && "Invalid encoded value.");
57 return 0;
58}
59
Chris Lattnerf61ed8e2010-01-22 22:38:16 +000060static const char *DecodeDWARFEncoding(unsigned Encoding) {
61 switch (Encoding) {
62 case dwarf::DW_EH_PE_absptr: return "absptr";
63 case dwarf::DW_EH_PE_omit: return "omit";
64 case dwarf::DW_EH_PE_pcrel: return "pcrel";
65 case dwarf::DW_EH_PE_udata4: return "udata4";
66 case dwarf::DW_EH_PE_udata8: return "udata8";
67 case dwarf::DW_EH_PE_sdata4: return "sdata4";
68 case dwarf::DW_EH_PE_sdata8: return "sdata8";
69 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4: return "pcrel udata4";
70 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4: return "pcrel sdata4";
71 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8: return "pcrel udata8";
72 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8: return "pcrel sdata8";
73 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata4:
74 return "indirect pcrel udata4";
75 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata4:
76 return "indirect pcrel sdata4";
77 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_udata8:
78 return "indirect pcrel udata8";
79 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel |dwarf::DW_EH_PE_sdata8:
80 return "indirect pcrel sdata8";
81 }
82
83 return "<unknown encoding>";
84}
85
86/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
87/// encoding. If verbose assembly output is enabled, we output comments
88/// describing the encoding. Desc is an optional string saying what the
89/// encoding is specifying (e.g. "LSDA").
90void DwarfPrinter::EmitEncodingByte(unsigned Val, const char *Desc) {
Chris Lattner3f53c832010-04-04 18:52:31 +000091 if (Asm->isVerbose()) {
Chris Lattnerf61ed8e2010-01-22 22:38:16 +000092 if (Desc != 0)
93 Asm->OutStreamer.AddComment(Twine(Desc)+" Encoding = " +
94 Twine(DecodeDWARFEncoding(Val)));
95 else
96 Asm->OutStreamer.AddComment(Twine("Encoding = ") +
97 DecodeDWARFEncoding(Val));
98 }
99
100 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
101}
102
Chris Lattner245834d2010-01-22 23:40:08 +0000103/// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
104void DwarfPrinter::EmitCFAByte(unsigned Val) {
Chris Lattner3f53c832010-04-04 18:52:31 +0000105 if (Asm->isVerbose()) {
Chris Lattner245834d2010-01-22 23:40:08 +0000106 if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset+64)
107 Asm->OutStreamer.AddComment("DW_CFA_offset + Reg (" +
108 Twine(Val-dwarf::DW_CFA_offset) + ")");
109 else
110 Asm->OutStreamer.AddComment(dwarf::CallFrameString(Val));
111 }
112 Asm->OutStreamer.EmitIntValue(Val, 1, 0/*addrspace*/);
113}
114
Anton Korobeynikov9184b252010-02-15 22:35:59 +0000115void DwarfPrinter::EmitReference(const MCSymbol *Sym, unsigned Encoding) const {
116 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
117
Chris Lattner42263e22010-03-11 21:55:20 +0000118 const MCExpr *Exp = TLOF.getExprForDwarfReference(Sym, Asm->Mang,
119 Asm->MMI, Encoding,
Chris Lattner3192d142010-03-11 19:41:58 +0000120 Asm->OutStreamer);
Chris Lattner90e4af72010-03-10 00:09:21 +0000121 Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0);
Anton Korobeynikov9184b252010-02-15 22:35:59 +0000122}
123
Chris Lattner0d50c762010-03-08 23:58:37 +0000124void DwarfPrinter::EmitReference(const GlobalValue *GV, unsigned Encoding)const{
Anton Korobeynikov9184b252010-02-15 22:35:59 +0000125 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
126
Chris Lattner90e4af72010-03-10 00:09:21 +0000127 const MCExpr *Exp =
Chris Lattner3192d142010-03-11 19:41:58 +0000128 TLOF.getExprForDwarfGlobalReference(GV, Asm->Mang, Asm->MMI, Encoding,
129 Asm->OutStreamer);
Chris Lattner90e4af72010-03-10 00:09:21 +0000130 Asm->OutStreamer.EmitValue(Exp, SizeOfEncodedValue(Encoding), /*addrspace*/0);
Anton Korobeynikov9184b252010-02-15 22:35:59 +0000131}
132
Chris Lattnerb98b1bf2010-03-08 22:23:36 +0000133void DwarfPrinter::EmitSectionOffset(const MCSymbol *Label,
134 const MCSymbol *Section,
Chris Lattner57578762010-03-08 23:23:25 +0000135 bool IsSmall, bool isEH) {
Chris Lattneref6b14f2010-03-09 00:17:58 +0000136 bool isAbsolute;
Bill Wendling88423ee2009-05-15 00:11:17 +0000137 if (isEH)
Chris Lattneref6b14f2010-03-09 00:17:58 +0000138 isAbsolute = MAI->isAbsoluteEHSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000139 else
Chris Lattneref6b14f2010-03-09 00:17:58 +0000140 isAbsolute = MAI->isAbsoluteDebugSectionOffsets();
Bill Wendling88423ee2009-05-15 00:11:17 +0000141
Chris Lattneref6b14f2010-03-09 00:17:58 +0000142 if (!isAbsolute)
Chris Lattnera6437182010-04-04 19:58:12 +0000143 return Asm->EmitLabelDifference(Label, Section,
144 IsSmall ? 4 : TD->getPointerSize());
Chris Lattner57578762010-03-08 23:23:25 +0000145
Chris Lattneref6b14f2010-03-09 00:17:58 +0000146 // On COFF targets, we have to emit the weird .secrel32 directive.
Chris Lattner20e32802010-03-12 18:10:35 +0000147 if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective()) {
Chris Lattner188a87d2010-03-10 01:04:13 +0000148 // FIXME: MCize.
Chris Lattner0b9bdb42010-04-04 07:25:52 +0000149 Asm->OutStreamer.EmitRawText(SecOffDir + Twine(Label->getName()));
Chris Lattner20e32802010-03-12 18:10:35 +0000150 } else {
Chris Lattneref6b14f2010-03-09 00:17:58 +0000151 unsigned Size = IsSmall ? 4 : TD->getPointerSize();
Chris Lattner6cde3e62010-03-09 00:39:24 +0000152 Asm->OutStreamer.EmitSymbolValue(Label, Size, 0/*AddrSpace*/);
Chris Lattneref6b14f2010-03-09 00:17:58 +0000153 }
Bill Wendling88423ee2009-05-15 00:11:17 +0000154}
155
156/// EmitFrameMoves - Emit frame instructions to describe the layout of the
157/// frame.
Chris Lattner5e6cbe02010-03-13 08:05:25 +0000158void DwarfPrinter::EmitFrameMoves(MCSymbol *BaseLabel,
Chris Lattner066c9ac2010-01-22 22:23:57 +0000159 const std::vector<MachineMove> &Moves,
160 bool isEH) {
Chris Lattnerfb658072010-03-13 07:40:56 +0000161 int stackGrowth = TD->getPointerSize();
162 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() !=
163 TargetFrameInfo::StackGrowsUp)
164 stackGrowth *= -1;
165
Bill Wendling88423ee2009-05-15 00:11:17 +0000166 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
167 const MachineMove &Move = Moves[i];
Chris Lattner2e9919a2010-03-14 08:12:40 +0000168 MCSymbol *Label = Move.getLabel();
Chris Lattnera34ec2292010-03-09 01:51:43 +0000169 // Throw out move if the label is invalid.
Chris Lattner2e9919a2010-03-14 08:12:40 +0000170 if (Label && !Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling88423ee2009-05-15 00:11:17 +0000171
172 const MachineLocation &Dst = Move.getDestination();
173 const MachineLocation &Src = Move.getSource();
174
175 // Advance row if new location.
Chris Lattnerf14645c2010-03-14 07:02:50 +0000176 if (BaseLabel && Label) {
Chris Lattnerb9130602010-03-14 02:20:58 +0000177 MCSymbol *ThisSym = Label;
Chris Lattner5e6cbe02010-03-13 08:05:25 +0000178 if (ThisSym != BaseLabel) {
179 EmitCFAByte(dwarf::DW_CFA_advance_loc4);
Chris Lattnera6437182010-04-04 19:58:12 +0000180 Asm->EmitLabelDifference(ThisSym, BaseLabel, 4);
Chris Lattner5e6cbe02010-03-13 08:05:25 +0000181 BaseLabel = ThisSym;
182 }
Bill Wendling88423ee2009-05-15 00:11:17 +0000183 }
184
185 // If advancing cfa.
186 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
187 if (!Src.isReg()) {
188 if (Src.getReg() == MachineLocation::VirtualFP) {
Chris Lattner245834d2010-01-22 23:40:08 +0000189 EmitCFAByte(dwarf::DW_CFA_def_cfa_offset);
Bill Wendling88423ee2009-05-15 00:11:17 +0000190 } else {
Chris Lattner245834d2010-01-22 23:40:08 +0000191 EmitCFAByte(dwarf::DW_CFA_def_cfa);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000192 Asm->EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000193 }
194
195 int Offset = -Src.getOffset();
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000196 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000197 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000198 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000199 }
200 } else if (Src.isReg() &&
201 Src.getReg() == MachineLocation::VirtualFP) {
202 if (Dst.isReg()) {
Chris Lattner245834d2010-01-22 23:40:08 +0000203 EmitCFAByte(dwarf::DW_CFA_def_cfa_register);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000204 Asm->EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000205 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000206 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000207 }
208 } else {
209 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
210 int Offset = Dst.getOffset() / stackGrowth;
211
212 if (Offset < 0) {
Chris Lattner245834d2010-01-22 23:40:08 +0000213 EmitCFAByte(dwarf::DW_CFA_offset_extended_sf);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000214 Asm->EmitULEB128(Reg, "Reg");
215 Asm->EmitSLEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000216 } else if (Reg < 64) {
Chris Lattner245834d2010-01-22 23:40:08 +0000217 EmitCFAByte(dwarf::DW_CFA_offset + Reg);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000218 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000219 } else {
Chris Lattner245834d2010-01-22 23:40:08 +0000220 EmitCFAByte(dwarf::DW_CFA_offset_extended);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000221 Asm->EmitULEB128(Reg, "Reg");
222 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000223 }
224 }
225 }
226}