blob: 71bdd52762f1b1b765d4e152cecb69753411dd7a [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 Lattnerfa070b02010-04-04 22:33:59 +000038 SubprogramCount(0) {
39}
Bill Wendling88423ee2009-05-15 00:11:17 +000040
Anton Korobeynikov9184b252010-02-15 22:35:59 +000041
Chris Lattnerfa070b02010-04-04 22:33:59 +000042/// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its
43/// section. This can be done with a special directive if the target supports
44/// it (e.g. cygwin) or by emitting it as an offset from a label at the start
45/// of the section.
46///
47/// SectionLabel is a temporary label emitted at the start of the section that
48/// Label lives in.
Chris Lattnerb98b1bf2010-03-08 22:23:36 +000049void DwarfPrinter::EmitSectionOffset(const MCSymbol *Label,
Chris Lattnerfa070b02010-04-04 22:33:59 +000050 const MCSymbol *SectionLabel) const {
Chris Lattner2e3ebed2010-04-04 22:25:14 +000051 // On COFF targets, we have to emit the special .secrel32 directive.
Chris Lattner20e32802010-03-12 18:10:35 +000052 if (const char *SecOffDir = MAI->getDwarfSectionOffsetDirective()) {
Chris Lattner188a87d2010-03-10 01:04:13 +000053 // FIXME: MCize.
Chris Lattner0b9bdb42010-04-04 07:25:52 +000054 Asm->OutStreamer.EmitRawText(SecOffDir + Twine(Label->getName()));
Chris Lattner2e3ebed2010-04-04 22:25:14 +000055 return;
Chris Lattneref6b14f2010-03-09 00:17:58 +000056 }
Chris Lattner2e3ebed2010-04-04 22:25:14 +000057
58 // If the section in question will end up with an address of 0 anyway, we can
59 // just emit an absolute reference to save a relocation.
60 if (MAI->isAbsoluteDebugSectionOffsets()) {
61 Asm->OutStreamer.EmitSymbolValue(Label, 4, 0/*AddrSpace*/);
62 return;
63 }
64
Chris Lattnerfa070b02010-04-04 22:33:59 +000065 Asm->EmitLabelDifference(Label, SectionLabel, 4);
Bill Wendling88423ee2009-05-15 00:11:17 +000066}
67
68/// EmitFrameMoves - Emit frame instructions to describe the layout of the
69/// frame.
Chris Lattner5e6cbe02010-03-13 08:05:25 +000070void DwarfPrinter::EmitFrameMoves(MCSymbol *BaseLabel,
Chris Lattner066c9ac2010-01-22 22:23:57 +000071 const std::vector<MachineMove> &Moves,
72 bool isEH) {
Chris Lattnerfb658072010-03-13 07:40:56 +000073 int stackGrowth = TD->getPointerSize();
74 if (Asm->TM.getFrameInfo()->getStackGrowthDirection() !=
75 TargetFrameInfo::StackGrowsUp)
76 stackGrowth *= -1;
77
Bill Wendling88423ee2009-05-15 00:11:17 +000078 for (unsigned i = 0, N = Moves.size(); i < N; ++i) {
79 const MachineMove &Move = Moves[i];
Chris Lattner2e9919a2010-03-14 08:12:40 +000080 MCSymbol *Label = Move.getLabel();
Chris Lattnera34ec2292010-03-09 01:51:43 +000081 // Throw out move if the label is invalid.
Chris Lattner2e9919a2010-03-14 08:12:40 +000082 if (Label && !Label->isDefined()) continue; // Not emitted, in dead code.
Bill Wendling88423ee2009-05-15 00:11:17 +000083
84 const MachineLocation &Dst = Move.getDestination();
85 const MachineLocation &Src = Move.getSource();
86
87 // Advance row if new location.
Chris Lattnerf14645c2010-03-14 07:02:50 +000088 if (BaseLabel && Label) {
Chris Lattnerb9130602010-03-14 02:20:58 +000089 MCSymbol *ThisSym = Label;
Chris Lattner5e6cbe02010-03-13 08:05:25 +000090 if (ThisSym != BaseLabel) {
Chris Lattner7a101f42010-04-04 20:01:25 +000091 Asm->EmitCFAByte(dwarf::DW_CFA_advance_loc4);
Chris Lattnera6437182010-04-04 19:58:12 +000092 Asm->EmitLabelDifference(ThisSym, BaseLabel, 4);
Chris Lattner5e6cbe02010-03-13 08:05:25 +000093 BaseLabel = ThisSym;
94 }
Bill Wendling88423ee2009-05-15 00:11:17 +000095 }
96
97 // If advancing cfa.
98 if (Dst.isReg() && Dst.getReg() == MachineLocation::VirtualFP) {
99 if (!Src.isReg()) {
100 if (Src.getReg() == MachineLocation::VirtualFP) {
Chris Lattner7a101f42010-04-04 20:01:25 +0000101 Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_offset);
Bill Wendling88423ee2009-05-15 00:11:17 +0000102 } else {
Chris Lattner7a101f42010-04-04 20:01:25 +0000103 Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000104 Asm->EmitULEB128(RI->getDwarfRegNum(Src.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000105 }
106
107 int Offset = -Src.getOffset();
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000108 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000109 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000110 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000111 }
112 } else if (Src.isReg() &&
113 Src.getReg() == MachineLocation::VirtualFP) {
114 if (Dst.isReg()) {
Chris Lattner7a101f42010-04-04 20:01:25 +0000115 Asm->EmitCFAByte(dwarf::DW_CFA_def_cfa_register);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000116 Asm->EmitULEB128(RI->getDwarfRegNum(Dst.getReg(), isEH), "Register");
Bill Wendling88423ee2009-05-15 00:11:17 +0000117 } else {
Torok Edwinc23197a2009-07-14 16:55:14 +0000118 llvm_unreachable("Machine move not supported yet.");
Bill Wendling88423ee2009-05-15 00:11:17 +0000119 }
120 } else {
121 unsigned Reg = RI->getDwarfRegNum(Src.getReg(), isEH);
122 int Offset = Dst.getOffset() / stackGrowth;
123
124 if (Offset < 0) {
Chris Lattner7a101f42010-04-04 20:01:25 +0000125 Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended_sf);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000126 Asm->EmitULEB128(Reg, "Reg");
127 Asm->EmitSLEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000128 } else if (Reg < 64) {
Chris Lattner7a101f42010-04-04 20:01:25 +0000129 Asm->EmitCFAByte(dwarf::DW_CFA_offset + Reg);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000130 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000131 } else {
Chris Lattner7a101f42010-04-04 20:01:25 +0000132 Asm->EmitCFAByte(dwarf::DW_CFA_offset_extended);
Chris Lattner7e1a8f82010-04-04 19:09:29 +0000133 Asm->EmitULEB128(Reg, "Reg");
134 Asm->EmitULEB128(Offset, "Offset");
Bill Wendling88423ee2009-05-15 00:11:17 +0000135 }
136 }
137 }
138}