blob: 329737c0cab087c03868e2bd21f052f96ef7ae58 [file] [log] [blame]
Chris Lattner9efd1182010-04-04 19:09:29 +00001//===-- AsmPrinterDwarf.cpp - AsmPrinter Dwarf Support --------------------===//
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// This file implements the Dwarf emissions parts of AsmPrinter.
11//
12//===----------------------------------------------------------------------===//
13
Eric Christopher29e874d2014-03-07 22:40:37 +000014#include "ByteStreamer.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000015#include "DwarfExpression.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000016#include "llvm/CodeGen/AsmPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/Twine.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/DataLayout.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000019#include "llvm/MC/MCAsmInfo.h"
Chris Lattner70a4fce2010-04-04 23:25:33 +000020#include "llvm/MC/MCSection.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000021#include "llvm/MC/MCStreamer.h"
Chris Lattner70a4fce2010-04-04 23:25:33 +000022#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000023#include "llvm/MC/MachineLocation.h"
24#include "llvm/Support/Dwarf.h"
25#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov2f931282011-01-10 12:39:04 +000026#include "llvm/Target/TargetFrameLowering.h"
Chris Lattnere619c0d2010-04-04 20:20:50 +000027#include "llvm/Target/TargetLoweringObjectFile.h"
28#include "llvm/Target/TargetMachine.h"
Chris Lattneraabc6042010-04-04 23:41:46 +000029#include "llvm/Target/TargetRegisterInfo.h"
Eric Christopherd9134482014-08-04 21:25:23 +000030#include "llvm/Target/TargetSubtargetInfo.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000031using namespace llvm;
32
Chandler Carruth1b9dde02014-04-22 02:02:50 +000033#define DEBUG_TYPE "asm-printer"
34
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000035/// DwarfExpression implementation for .debug_loc entries.
36class DebugLocDwarfExpression : public DwarfExpression {
37 ByteStreamer &BS;
38public:
39 DebugLocDwarfExpression(TargetMachine &TM, ByteStreamer &BS)
40 : DwarfExpression(TM), BS(BS) {}
41
42 void EmitOp(uint8_t Op, const char* Comment) override;
43 void EmitSigned(int Value) override;
44 void EmitUnsigned(unsigned Value) override;
Adrian Prantl00dbc2a2015-01-12 22:19:26 +000045 unsigned getFrameRegister() override {
46 llvm_unreachable("not available");
47 };
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000048};
49
50void DebugLocDwarfExpression::EmitOp(uint8_t Op, const char* Comment) {
51 BS.EmitInt8(Op, Comment
52 ? Twine(Comment)+Twine(" ")+Twine(dwarf::OperationEncodingString(Op))
53 : dwarf::OperationEncodingString(Op));
54}
55void DebugLocDwarfExpression::EmitSigned(int Value) {
56 BS.EmitSLEB128(Value, Twine(Value));
57}
58void DebugLocDwarfExpression::EmitUnsigned(unsigned Value) {
59 BS.EmitULEB128(Value, Twine(Value));
60}
61
62
Chris Lattneraabc6042010-04-04 23:41:46 +000063//===----------------------------------------------------------------------===//
64// Dwarf Emission Helper Routines
65//===----------------------------------------------------------------------===//
66
Chris Lattner9efd1182010-04-04 19:09:29 +000067/// EmitSLEB128 - emit the specified signed leb128 value.
David Blaikie5acff7e2013-06-23 18:31:11 +000068void AsmPrinter::EmitSLEB128(int64_t Value, const char *Desc) const {
Chris Lattner9efd1182010-04-04 19:09:29 +000069 if (isVerbose() && Desc)
70 OutStreamer.AddComment(Desc);
Chris Lattner9efd1182010-04-04 19:09:29 +000071
Benjamin Kramerc74798d2011-11-05 11:52:44 +000072 OutStreamer.EmitSLEB128IntValue(Value);
Chris Lattner9efd1182010-04-04 19:09:29 +000073}
74
75/// EmitULEB128 - emit the specified signed leb128 value.
David Blaikie5acff7e2013-06-23 18:31:11 +000076void AsmPrinter::EmitULEB128(uint64_t Value, const char *Desc,
Chris Lattner9efd1182010-04-04 19:09:29 +000077 unsigned PadTo) const {
78 if (isVerbose() && Desc)
79 OutStreamer.AddComment(Desc);
Rafael Espindola38d07562010-11-04 18:17:08 +000080
Eric Christopherbf7bc492013-01-09 03:52:05 +000081 OutStreamer.EmitULEB128IntValue(Value, PadTo);
Chris Lattner9efd1182010-04-04 19:09:29 +000082}
83
Chris Lattnerbaf2be02010-04-04 20:01:25 +000084/// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
85void AsmPrinter::EmitCFAByte(unsigned Val) const {
86 if (isVerbose()) {
Eric Christopher596077b2013-12-04 22:26:43 +000087 if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset + 64)
Eric Christopher1d6bd412012-11-20 20:34:47 +000088 OutStreamer.AddComment("DW_CFA_offset + Reg (" +
Eric Christopher596077b2013-12-04 22:26:43 +000089 Twine(Val - dwarf::DW_CFA_offset) + ")");
Chris Lattnerbaf2be02010-04-04 20:01:25 +000090 else
91 OutStreamer.AddComment(dwarf::CallFrameString(Val));
92 }
Eric Christopherce0cfce2013-01-09 01:35:34 +000093 OutStreamer.EmitIntValue(Val, 1);
Chris Lattnerbaf2be02010-04-04 20:01:25 +000094}
95
Chris Lattnerb75af3c2010-04-04 20:04:21 +000096static const char *DecodeDWARFEncoding(unsigned Encoding) {
97 switch (Encoding) {
Eric Christopher596077b2013-12-04 22:26:43 +000098 case dwarf::DW_EH_PE_absptr:
99 return "absptr";
100 case dwarf::DW_EH_PE_omit:
101 return "omit";
102 case dwarf::DW_EH_PE_pcrel:
103 return "pcrel";
104 case dwarf::DW_EH_PE_udata4:
105 return "udata4";
106 case dwarf::DW_EH_PE_udata8:
107 return "udata8";
108 case dwarf::DW_EH_PE_sdata4:
109 return "sdata4";
110 case dwarf::DW_EH_PE_sdata8:
111 return "sdata8";
112 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4:
113 return "pcrel udata4";
114 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4:
115 return "pcrel sdata4";
116 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8:
117 return "pcrel udata8";
118 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8:
119 return "pcrel sdata8";
120 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4
121 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000122 return "indirect pcrel udata4";
Eric Christopher596077b2013-12-04 22:26:43 +0000123 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4
124 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000125 return "indirect pcrel sdata4";
Eric Christopher596077b2013-12-04 22:26:43 +0000126 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8
127 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000128 return "indirect pcrel udata8";
Eric Christopher596077b2013-12-04 22:26:43 +0000129 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8
130 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000131 return "indirect pcrel sdata8";
132 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000133
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000134 return "<unknown encoding>";
135}
136
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000137/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
138/// encoding. If verbose assembly output is enabled, we output comments
139/// describing the encoding. Desc is an optional string saying what the
140/// encoding is specifying (e.g. "LSDA").
Chris Lattneraabc6042010-04-04 23:41:46 +0000141void AsmPrinter::EmitEncodingByte(unsigned Val, const char *Desc) const {
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000142 if (isVerbose()) {
Eric Christophercb7119e2013-12-04 22:29:02 +0000143 if (Desc)
Eric Christopher596077b2013-12-04 22:26:43 +0000144 OutStreamer.AddComment(Twine(Desc) + " Encoding = " +
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000145 Twine(DecodeDWARFEncoding(Val)));
146 else
Eric Christopher596077b2013-12-04 22:26:43 +0000147 OutStreamer.AddComment(Twine("Encoding = ") + DecodeDWARFEncoding(Val));
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000148 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000149
Eric Christopherce0cfce2013-01-09 01:35:34 +0000150 OutStreamer.EmitIntValue(Val, 1);
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000151}
152
Chris Lattnere619c0d2010-04-04 20:20:50 +0000153/// GetSizeOfEncodedValue - Return the size of the encoding in bytes.
154unsigned AsmPrinter::GetSizeOfEncodedValue(unsigned Encoding) const {
155 if (Encoding == dwarf::DW_EH_PE_omit)
156 return 0;
Eric Christopher1d6bd412012-11-20 20:34:47 +0000157
Chris Lattnere619c0d2010-04-04 20:20:50 +0000158 switch (Encoding & 0x07) {
Eric Christopher596077b2013-12-04 22:26:43 +0000159 default:
160 llvm_unreachable("Invalid encoded value.");
161 case dwarf::DW_EH_PE_absptr:
Eric Christopherd9134482014-08-04 21:25:23 +0000162 return TM.getSubtargetImpl()->getDataLayout()->getPointerSize();
Eric Christopher596077b2013-12-04 22:26:43 +0000163 case dwarf::DW_EH_PE_udata2:
164 return 2;
165 case dwarf::DW_EH_PE_udata4:
166 return 4;
167 case dwarf::DW_EH_PE_udata8:
168 return 8;
Chris Lattnere619c0d2010-04-04 20:20:50 +0000169 }
170}
171
Eric Christopher1d6bd412012-11-20 20:34:47 +0000172void AsmPrinter::EmitTTypeReference(const GlobalValue *GV,
173 unsigned Encoding) const {
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000174 if (GV) {
175 const TargetLoweringObjectFile &TLOF = getObjFileLowering();
Eric Christopher1d6bd412012-11-20 20:34:47 +0000176
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000177 const MCExpr *Exp =
Rafael Espindoladaeafb42014-02-19 17:23:20 +0000178 TLOF.getTTypeGlobalReference(GV, Encoding, *Mang, TM, MMI, OutStreamer);
Eric Christopherce0cfce2013-01-09 01:35:34 +0000179 OutStreamer.EmitValue(Exp, GetSizeOfEncodedValue(Encoding));
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000180 } else
Eric Christopherce0cfce2013-01-09 01:35:34 +0000181 OutStreamer.EmitIntValue(0, GetSizeOfEncodedValue(Encoding));
Chris Lattnere619c0d2010-04-04 20:20:50 +0000182}
Chris Lattner70a4fce2010-04-04 23:25:33 +0000183
184/// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its
185/// section. This can be done with a special directive if the target supports
186/// it (e.g. cygwin) or by emitting it as an offset from a label at the start
187/// of the section.
188///
189/// SectionLabel is a temporary label emitted at the start of the section that
190/// Label lives in.
191void AsmPrinter::EmitSectionOffset(const MCSymbol *Label,
192 const MCSymbol *SectionLabel) const {
193 // On COFF targets, we have to emit the special .secrel32 directive.
Matt Arsenault034ca0f2013-04-22 22:49:11 +0000194 if (MAI->needsDwarfSectionOffsetDirective()) {
Rafael Espindolad3df3d32011-12-17 01:14:52 +0000195 OutStreamer.EmitCOFFSecRel32(Label);
Chris Lattner70a4fce2010-04-04 23:25:33 +0000196 return;
197 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000198
Chris Lattner70a4fce2010-04-04 23:25:33 +0000199 // Get the section that we're referring to, based on SectionLabel.
200 const MCSection &Section = SectionLabel->getSection();
Eric Christopher1d6bd412012-11-20 20:34:47 +0000201
Chris Lattner70a4fce2010-04-04 23:25:33 +0000202 // If Label has already been emitted, verify that it is in the same section as
203 // section label for sanity.
204 assert((!Label->isInSection() || &Label->getSection() == &Section) &&
205 "Section offset using wrong section base for label");
Eric Christopher1d6bd412012-11-20 20:34:47 +0000206
Duncan Sandsb847bf52011-03-12 13:07:37 +0000207 // If the section in question will end up with an address of 0 anyway, we can
208 // just emit an absolute reference to save a relocation.
209 if (Section.isBaseAddressKnownZero()) {
Eric Christopherce0cfce2013-01-09 01:35:34 +0000210 OutStreamer.EmitSymbolValue(Label, 4);
Duncan Sandsb847bf52011-03-12 13:07:37 +0000211 return;
212 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000213
Chris Lattner70a4fce2010-04-04 23:25:33 +0000214 // Otherwise, emit it as a label difference from the start of the section.
215 EmitLabelDifference(Label, SectionLabel, 4);
216}
217
Adrian Prantl42a0d8c2014-04-27 18:50:45 +0000218// Some targets do not provide a DWARF register number for every
219// register. This function attempts to emit a DWARF register by
220// emitting a piece of a super-register or by piecing together
221// multiple subregisters that alias the register.
Adrian Prantld34db652014-04-27 18:25:45 +0000222void AsmPrinter::EmitDwarfRegOpPiece(ByteStreamer &Streamer,
223 const MachineLocation &MLoc,
224 unsigned PieceSizeInBits,
225 unsigned PieceOffsetInBits) const {
Adrian Prantl42a0d8c2014-04-27 18:50:45 +0000226 assert(MLoc.isReg() && "MLoc must be a register");
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000227 DebugLocDwarfExpression Expr(TM, Streamer);
228 Expr.AddMachineRegPiece(MLoc.getReg(), PieceSizeInBits, PieceOffsetInBits);
229}
Eric Christopher698a8ab2014-03-07 01:44:14 +0000230
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000231void AsmPrinter::EmitDwarfOpPiece(ByteStreamer &Streamer,
232 unsigned PieceSizeInBits,
233 unsigned PieceOffsetInBits) const {
234 DebugLocDwarfExpression Expr(TM, Streamer);
235 Expr.AddOpPiece(PieceSizeInBits, PieceOffsetInBits);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000236}
237
238/// EmitDwarfRegOp - Emit dwarf register operation.
Eric Christopher29e874d2014-03-07 22:40:37 +0000239void AsmPrinter::EmitDwarfRegOp(ByteStreamer &Streamer,
240 const MachineLocation &MLoc,
Eric Christopher698a8ab2014-03-07 01:44:14 +0000241 bool Indirect) const {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000242 DebugLocDwarfExpression Expr(TM, Streamer);
Eric Christopherd9134482014-08-04 21:25:23 +0000243 const TargetRegisterInfo *TRI = TM.getSubtargetImpl()->getRegisterInfo();
Eric Christopher698a8ab2014-03-07 01:44:14 +0000244 int Reg = TRI->getDwarfRegNum(MLoc.getReg(), false);
245 if (Reg < 0) {
246 // We assume that pointers are always in an addressable register.
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000247 if (Indirect || MLoc.isIndirect())
Eric Christopher698a8ab2014-03-07 01:44:14 +0000248 // FIXME: We have no reasonable way of handling errors in here. The
249 // caller might be in the middle of a dwarf expression. We should
250 // probably assert that Reg >= 0 once debug info generation is more
251 // mature.
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000252 return Expr.EmitOp(dwarf::DW_OP_nop,
253 "nop (could not find a dwarf register number)");
Eric Christopher698a8ab2014-03-07 01:44:14 +0000254
255 // Attempt to find a valid super- or sub-register.
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000256 return Expr.AddMachineRegPiece(MLoc.getReg());
Eric Christopher698a8ab2014-03-07 01:44:14 +0000257 }
258
259 if (MLoc.isIndirect())
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000260 Expr.AddRegIndirect(Reg, MLoc.getOffset(), Indirect);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000261 else if (Indirect)
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000262 Expr.AddRegIndirect(Reg, 0, false);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000263 else
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000264 Expr.AddReg(Reg);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000265}
266
Chris Lattneraabc6042010-04-04 23:41:46 +0000267//===----------------------------------------------------------------------===//
268// Dwarf Lowering Routines
269//===----------------------------------------------------------------------===//
Chris Lattner70a4fce2010-04-04 23:25:33 +0000270
Rafael Espindola227144c2013-05-13 01:16:13 +0000271void AsmPrinter::emitCFIInstruction(const MCCFIInstruction &Inst) const {
272 switch (Inst.getOperation()) {
273 default:
274 llvm_unreachable("Unexpected instruction");
275 case MCCFIInstruction::OpDefCfaOffset:
276 OutStreamer.EmitCFIDefCfaOffset(Inst.getOffset());
277 break;
278 case MCCFIInstruction::OpDefCfa:
279 OutStreamer.EmitCFIDefCfa(Inst.getRegister(), Inst.getOffset());
280 break;
281 case MCCFIInstruction::OpDefCfaRegister:
282 OutStreamer.EmitCFIDefCfaRegister(Inst.getRegister());
283 break;
284 case MCCFIInstruction::OpOffset:
285 OutStreamer.EmitCFIOffset(Inst.getRegister(), Inst.getOffset());
286 break;
Venkatraman Govindaraju4c0cdd72013-09-26 15:11:00 +0000287 case MCCFIInstruction::OpRegister:
288 OutStreamer.EmitCFIRegister(Inst.getRegister(), Inst.getRegister2());
289 break;
Venkatraman Govindaraju3816d432013-09-26 14:49:40 +0000290 case MCCFIInstruction::OpWindowSave:
291 OutStreamer.EmitCFIWindowSave();
292 break;
Oliver Stannardb14c6252014-04-02 16:10:33 +0000293 case MCCFIInstruction::OpSameValue:
294 OutStreamer.EmitCFISameValue(Inst.getRegister());
295 break;
Rafael Espindolabeb74c32011-04-15 20:32:03 +0000296 }
297}