blob: 7dbfddf6069162b48d04ee5ff04f2b5e46a6a57f [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 Prantl92da14b2015-03-02 22:02:33 +000015#include "DwarfDebug.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000016#include "DwarfExpression.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "llvm/ADT/Twine.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000018#include "llvm/CodeGen/AsmPrinter.h"
Frederic Riss9412d632015-03-04 02:30:17 +000019#include "llvm/CodeGen/DIE.h"
Adrian Prantlb846acc2015-03-02 22:02:36 +000020#include "llvm/CodeGen/MachineFunction.h"
Eric Christopher73302642015-02-19 23:29:42 +000021#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000023#include "llvm/MC/MCAsmInfo.h"
Eric Christopher73302642015-02-19 23:29:42 +000024#include "llvm/MC/MCRegisterInfo.h"
Chris Lattner70a4fce2010-04-04 23:25:33 +000025#include "llvm/MC/MCSection.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000026#include "llvm/MC/MCStreamer.h"
Chris Lattner70a4fce2010-04-04 23:25:33 +000027#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000028#include "llvm/MC/MachineLocation.h"
29#include "llvm/Support/Dwarf.h"
30#include "llvm/Support/ErrorHandling.h"
Chris Lattnere619c0d2010-04-04 20:20:50 +000031#include "llvm/Target/TargetLoweringObjectFile.h"
32#include "llvm/Target/TargetMachine.h"
Adrian Prantl92da14b2015-03-02 22:02:33 +000033#include "llvm/Target/TargetSubtargetInfo.h"
Chris Lattner9efd1182010-04-04 19:09:29 +000034using namespace llvm;
35
Chandler Carruth1b9dde02014-04-22 02:02:50 +000036#define DEBUG_TYPE "asm-printer"
37
Chris Lattneraabc6042010-04-04 23:41:46 +000038//===----------------------------------------------------------------------===//
39// Dwarf Emission Helper Routines
40//===----------------------------------------------------------------------===//
41
Chris Lattner9efd1182010-04-04 19:09:29 +000042/// EmitSLEB128 - emit the specified signed leb128 value.
David Blaikie5acff7e2013-06-23 18:31:11 +000043void AsmPrinter::EmitSLEB128(int64_t Value, const char *Desc) const {
Chris Lattner9efd1182010-04-04 19:09:29 +000044 if (isVerbose() && Desc)
Lang Hames9ff69c82015-04-24 19:11:51 +000045 OutStreamer->AddComment(Desc);
Chris Lattner9efd1182010-04-04 19:09:29 +000046
Lang Hames9ff69c82015-04-24 19:11:51 +000047 OutStreamer->EmitSLEB128IntValue(Value);
Chris Lattner9efd1182010-04-04 19:09:29 +000048}
49
50/// EmitULEB128 - emit the specified signed leb128 value.
David Blaikie5acff7e2013-06-23 18:31:11 +000051void AsmPrinter::EmitULEB128(uint64_t Value, const char *Desc,
Chris Lattner9efd1182010-04-04 19:09:29 +000052 unsigned PadTo) const {
53 if (isVerbose() && Desc)
Lang Hames9ff69c82015-04-24 19:11:51 +000054 OutStreamer->AddComment(Desc);
Rafael Espindola38d07562010-11-04 18:17:08 +000055
Lang Hames9ff69c82015-04-24 19:11:51 +000056 OutStreamer->EmitULEB128IntValue(Value, PadTo);
Chris Lattner9efd1182010-04-04 19:09:29 +000057}
58
Chris Lattnerbaf2be02010-04-04 20:01:25 +000059/// EmitCFAByte - Emit a .byte 42 directive for a DW_CFA_xxx value.
60void AsmPrinter::EmitCFAByte(unsigned Val) const {
61 if (isVerbose()) {
Eric Christopher596077b2013-12-04 22:26:43 +000062 if (Val >= dwarf::DW_CFA_offset && Val < dwarf::DW_CFA_offset + 64)
Lang Hames9ff69c82015-04-24 19:11:51 +000063 OutStreamer->AddComment("DW_CFA_offset + Reg (" +
64 Twine(Val - dwarf::DW_CFA_offset) + ")");
Chris Lattnerbaf2be02010-04-04 20:01:25 +000065 else
Lang Hames9ff69c82015-04-24 19:11:51 +000066 OutStreamer->AddComment(dwarf::CallFrameString(Val));
Chris Lattnerbaf2be02010-04-04 20:01:25 +000067 }
Lang Hames9ff69c82015-04-24 19:11:51 +000068 OutStreamer->EmitIntValue(Val, 1);
Chris Lattnerbaf2be02010-04-04 20:01:25 +000069}
70
Chris Lattnerb75af3c2010-04-04 20:04:21 +000071static const char *DecodeDWARFEncoding(unsigned Encoding) {
72 switch (Encoding) {
Eric Christopher596077b2013-12-04 22:26:43 +000073 case dwarf::DW_EH_PE_absptr:
74 return "absptr";
75 case dwarf::DW_EH_PE_omit:
76 return "omit";
77 case dwarf::DW_EH_PE_pcrel:
78 return "pcrel";
79 case dwarf::DW_EH_PE_udata4:
80 return "udata4";
81 case dwarf::DW_EH_PE_udata8:
82 return "udata8";
83 case dwarf::DW_EH_PE_sdata4:
84 return "sdata4";
85 case dwarf::DW_EH_PE_sdata8:
86 return "sdata8";
87 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4:
88 return "pcrel udata4";
89 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4:
90 return "pcrel sdata4";
91 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8:
92 return "pcrel udata8";
93 case dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8:
94 return "pcrel sdata8";
95 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata4
96 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +000097 return "indirect pcrel udata4";
Eric Christopher596077b2013-12-04 22:26:43 +000098 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4
99 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000100 return "indirect pcrel sdata4";
Eric Christopher596077b2013-12-04 22:26:43 +0000101 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_udata8
102 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000103 return "indirect pcrel udata8";
Eric Christopher596077b2013-12-04 22:26:43 +0000104 case dwarf::DW_EH_PE_indirect | dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata8
105 :
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000106 return "indirect pcrel sdata8";
107 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000108
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000109 return "<unknown encoding>";
110}
111
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000112/// EmitEncodingByte - Emit a .byte 42 directive that corresponds to an
113/// encoding. If verbose assembly output is enabled, we output comments
114/// describing the encoding. Desc is an optional string saying what the
115/// encoding is specifying (e.g. "LSDA").
Chris Lattneraabc6042010-04-04 23:41:46 +0000116void AsmPrinter::EmitEncodingByte(unsigned Val, const char *Desc) const {
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000117 if (isVerbose()) {
Eric Christophercb7119e2013-12-04 22:29:02 +0000118 if (Desc)
Lang Hames9ff69c82015-04-24 19:11:51 +0000119 OutStreamer->AddComment(Twine(Desc) + " Encoding = " +
120 Twine(DecodeDWARFEncoding(Val)));
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000121 else
Lang Hames9ff69c82015-04-24 19:11:51 +0000122 OutStreamer->AddComment(Twine("Encoding = ") + DecodeDWARFEncoding(Val));
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000123 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000124
Lang Hames9ff69c82015-04-24 19:11:51 +0000125 OutStreamer->EmitIntValue(Val, 1);
Chris Lattnerb75af3c2010-04-04 20:04:21 +0000126}
127
Chris Lattnere619c0d2010-04-04 20:20:50 +0000128/// GetSizeOfEncodedValue - Return the size of the encoding in bytes.
129unsigned AsmPrinter::GetSizeOfEncodedValue(unsigned Encoding) const {
130 if (Encoding == dwarf::DW_EH_PE_omit)
131 return 0;
Eric Christopher1d6bd412012-11-20 20:34:47 +0000132
Chris Lattnere619c0d2010-04-04 20:20:50 +0000133 switch (Encoding & 0x07) {
Eric Christopher596077b2013-12-04 22:26:43 +0000134 default:
135 llvm_unreachable("Invalid encoded value.");
136 case dwarf::DW_EH_PE_absptr:
Eric Christopher8b770652015-01-26 19:03:15 +0000137 return TM.getDataLayout()->getPointerSize();
Eric Christopher596077b2013-12-04 22:26:43 +0000138 case dwarf::DW_EH_PE_udata2:
139 return 2;
140 case dwarf::DW_EH_PE_udata4:
141 return 4;
142 case dwarf::DW_EH_PE_udata8:
143 return 8;
Chris Lattnere619c0d2010-04-04 20:20:50 +0000144 }
145}
146
Eric Christopher1d6bd412012-11-20 20:34:47 +0000147void AsmPrinter::EmitTTypeReference(const GlobalValue *GV,
148 unsigned Encoding) const {
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000149 if (GV) {
150 const TargetLoweringObjectFile &TLOF = getObjFileLowering();
Eric Christopher1d6bd412012-11-20 20:34:47 +0000151
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000152 const MCExpr *Exp =
Lang Hames9ff69c82015-04-24 19:11:51 +0000153 TLOF.getTTypeGlobalReference(GV, Encoding, *Mang, TM, MMI,
154 *OutStreamer);
155 OutStreamer->EmitValue(Exp, GetSizeOfEncodedValue(Encoding));
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000156 } else
Lang Hames9ff69c82015-04-24 19:11:51 +0000157 OutStreamer->EmitIntValue(0, GetSizeOfEncodedValue(Encoding));
Chris Lattnere619c0d2010-04-04 20:20:50 +0000158}
Chris Lattner70a4fce2010-04-04 23:25:33 +0000159
160/// EmitSectionOffset - Emit the 4-byte offset of Label from the start of its
161/// section. This can be done with a special directive if the target supports
162/// it (e.g. cygwin) or by emitting it as an offset from a label at the start
163/// of the section.
164///
165/// SectionLabel is a temporary label emitted at the start of the section that
166/// Label lives in.
Rafael Espindola063d7252015-03-10 16:58:10 +0000167void AsmPrinter::emitSectionOffset(const MCSymbol *Label) const {
Chris Lattner70a4fce2010-04-04 23:25:33 +0000168 // On COFF targets, we have to emit the special .secrel32 directive.
Matt Arsenault034ca0f2013-04-22 22:49:11 +0000169 if (MAI->needsDwarfSectionOffsetDirective()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000170 OutStreamer->EmitCOFFSecRel32(Label);
Chris Lattner70a4fce2010-04-04 23:25:33 +0000171 return;
172 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000173
Rafael Espindola760bf952015-03-10 04:11:52 +0000174 // If the format uses relocations with dwarf, refer to the symbol directly.
175 if (MAI->doesDwarfUseRelocationsAcrossSections()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000176 OutStreamer->EmitSymbolValue(Label, 4);
Duncan Sandsb847bf52011-03-12 13:07:37 +0000177 return;
178 }
Eric Christopher1d6bd412012-11-20 20:34:47 +0000179
Chris Lattner70a4fce2010-04-04 23:25:33 +0000180 // Otherwise, emit it as a label difference from the start of the section.
Rafael Espindola063d7252015-03-10 16:58:10 +0000181 EmitLabelDifference(Label, Label->getSection().getBeginSymbol(), 4);
Chris Lattner70a4fce2010-04-04 23:25:33 +0000182}
183
Duncan P. N. Exon Smith1e0d94e2015-05-24 16:48:54 +0000184void AsmPrinter::emitDwarfStringOffset(DwarfStringPoolEntryRef S) const {
185 if (MAI->doesDwarfUseRelocationsAcrossSections()) {
186 emitSectionOffset(S.getSymbol());
187 return;
188 }
189
190 // Just emit the offset directly; no need for symbol math.
191 EmitInt32(S.getOffset());
192}
193
Eric Christopher698a8ab2014-03-07 01:44:14 +0000194/// EmitDwarfRegOp - Emit dwarf register operation.
Eric Christopher29e874d2014-03-07 22:40:37 +0000195void AsmPrinter::EmitDwarfRegOp(ByteStreamer &Streamer,
Adrian Prantl5883af32015-01-19 17:57:29 +0000196 const MachineLocation &MLoc) const {
Adrian Prantlb846acc2015-03-02 22:02:36 +0000197 DebugLocDwarfExpression Expr(*MF->getSubtarget().getRegisterInfo(),
Pete Cooper477300d2015-05-20 22:37:48 +0000198 getDwarfDebug()->getDwarfVersion(), Streamer);
Eric Christopher73302642015-02-19 23:29:42 +0000199 const MCRegisterInfo *MRI = MMI->getContext().getRegisterInfo();
200 int Reg = MRI->getDwarfRegNum(MLoc.getReg(), false);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000201 if (Reg < 0) {
202 // We assume that pointers are always in an addressable register.
Adrian Prantl5883af32015-01-19 17:57:29 +0000203 if (MLoc.isIndirect())
Eric Christopher698a8ab2014-03-07 01:44:14 +0000204 // FIXME: We have no reasonable way of handling errors in here. The
205 // caller might be in the middle of a dwarf expression. We should
206 // probably assert that Reg >= 0 once debug info generation is more
207 // mature.
Adrian Prantl337e3602015-01-12 23:03:23 +0000208 return Expr.EmitOp(dwarf::DW_OP_nop,
209 "nop (could not find a dwarf register number)");
Eric Christopher698a8ab2014-03-07 01:44:14 +0000210
211 // Attempt to find a valid super- or sub-register.
Adrian Prantlad768c32015-01-14 01:01:28 +0000212 if (!Expr.AddMachineRegPiece(MLoc.getReg()))
213 Expr.EmitOp(dwarf::DW_OP_nop,
214 "nop (could not find a dwarf register number)");
215 return;
Eric Christopher698a8ab2014-03-07 01:44:14 +0000216 }
217
218 if (MLoc.isIndirect())
Adrian Prantl5883af32015-01-19 17:57:29 +0000219 Expr.AddRegIndirect(Reg, MLoc.getOffset());
Eric Christopher698a8ab2014-03-07 01:44:14 +0000220 else
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000221 Expr.AddReg(Reg);
Eric Christopher698a8ab2014-03-07 01:44:14 +0000222}
223
Chris Lattneraabc6042010-04-04 23:41:46 +0000224//===----------------------------------------------------------------------===//
225// Dwarf Lowering Routines
226//===----------------------------------------------------------------------===//
Chris Lattner70a4fce2010-04-04 23:25:33 +0000227
Rafael Espindola227144c2013-05-13 01:16:13 +0000228void AsmPrinter::emitCFIInstruction(const MCCFIInstruction &Inst) const {
229 switch (Inst.getOperation()) {
230 default:
231 llvm_unreachable("Unexpected instruction");
232 case MCCFIInstruction::OpDefCfaOffset:
Lang Hames9ff69c82015-04-24 19:11:51 +0000233 OutStreamer->EmitCFIDefCfaOffset(Inst.getOffset());
Rafael Espindola227144c2013-05-13 01:16:13 +0000234 break;
235 case MCCFIInstruction::OpDefCfa:
Lang Hames9ff69c82015-04-24 19:11:51 +0000236 OutStreamer->EmitCFIDefCfa(Inst.getRegister(), Inst.getOffset());
Rafael Espindola227144c2013-05-13 01:16:13 +0000237 break;
238 case MCCFIInstruction::OpDefCfaRegister:
Lang Hames9ff69c82015-04-24 19:11:51 +0000239 OutStreamer->EmitCFIDefCfaRegister(Inst.getRegister());
Rafael Espindola227144c2013-05-13 01:16:13 +0000240 break;
241 case MCCFIInstruction::OpOffset:
Lang Hames9ff69c82015-04-24 19:11:51 +0000242 OutStreamer->EmitCFIOffset(Inst.getRegister(), Inst.getOffset());
Rafael Espindola227144c2013-05-13 01:16:13 +0000243 break;
Venkatraman Govindaraju4c0cdd72013-09-26 15:11:00 +0000244 case MCCFIInstruction::OpRegister:
Lang Hames9ff69c82015-04-24 19:11:51 +0000245 OutStreamer->EmitCFIRegister(Inst.getRegister(), Inst.getRegister2());
Venkatraman Govindaraju4c0cdd72013-09-26 15:11:00 +0000246 break;
Venkatraman Govindaraju3816d432013-09-26 14:49:40 +0000247 case MCCFIInstruction::OpWindowSave:
Lang Hames9ff69c82015-04-24 19:11:51 +0000248 OutStreamer->EmitCFIWindowSave();
Venkatraman Govindaraju3816d432013-09-26 14:49:40 +0000249 break;
Oliver Stannardb14c6252014-04-02 16:10:33 +0000250 case MCCFIInstruction::OpSameValue:
Lang Hames9ff69c82015-04-24 19:11:51 +0000251 OutStreamer->EmitCFISameValue(Inst.getRegister());
Oliver Stannardb14c6252014-04-02 16:10:33 +0000252 break;
Rafael Espindolabeb74c32011-04-15 20:32:03 +0000253 }
254}
Frederic Riss9412d632015-03-04 02:30:17 +0000255
256void AsmPrinter::emitDwarfDIE(const DIE &Die) const {
Frederic Riss9412d632015-03-04 02:30:17 +0000257 // Emit the code (index) for the abbreviation.
258 if (isVerbose())
Duncan P. N. Exon Smith815a6eb52015-05-27 22:31:41 +0000259 OutStreamer->AddComment("Abbrev [" + Twine(Die.getAbbrevNumber()) + "] 0x" +
260 Twine::utohexstr(Die.getOffset()) + ":0x" +
261 Twine::utohexstr(Die.getSize()) + " " +
262 dwarf::TagString(Die.getTag()));
263 EmitULEB128(Die.getAbbrevNumber());
Frederic Riss9412d632015-03-04 02:30:17 +0000264
Frederic Riss9412d632015-03-04 02:30:17 +0000265 // Emit the DIE attribute values.
Duncan P. N. Exon Smith88a8fc52015-05-27 22:44:06 +0000266 for (const auto &V : Die.values()) {
267 dwarf::Attribute Attr = V.getAttribute();
268 dwarf::Form Form = V.getForm();
Frederic Riss9412d632015-03-04 02:30:17 +0000269 assert(Form && "Too many attributes for DIE (check abbreviation)");
270
271 if (isVerbose()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000272 OutStreamer->AddComment(dwarf::AttributeString(Attr));
Frederic Riss9412d632015-03-04 02:30:17 +0000273 if (Attr == dwarf::DW_AT_accessibility)
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000274 OutStreamer->AddComment(
Duncan P. N. Exon Smith88a8fc52015-05-27 22:44:06 +0000275 dwarf::AccessibilityString(V.getDIEInteger().getValue()));
Frederic Riss9412d632015-03-04 02:30:17 +0000276 }
277
278 // Emit an attribute using the defined form.
Duncan P. N. Exon Smith88a8fc52015-05-27 22:44:06 +0000279 V.EmitValue(this, Form);
Frederic Riss9412d632015-03-04 02:30:17 +0000280 }
281
282 // Emit the DIE children if any.
Duncan P. N. Exon Smith815a6eb52015-05-27 22:31:41 +0000283 if (Die.hasChildren()) {
Duncan P. N. Exon Smith8d3197f2015-05-28 19:56:34 +0000284 for (auto &Child : Die.children())
Frederic Riss9412d632015-03-04 02:30:17 +0000285 emitDwarfDIE(*Child);
286
Lang Hames9ff69c82015-04-24 19:11:51 +0000287 OutStreamer->AddComment("End Of Children Mark");
Frederic Riss9412d632015-03-04 02:30:17 +0000288 EmitInt8(0);
289 }
290}
291
292void
293AsmPrinter::emitDwarfAbbrevs(const std::vector<DIEAbbrev *>& Abbrevs) const {
294 // For each abbrevation.
295 for (const DIEAbbrev *Abbrev : Abbrevs) {
296 // Emit the abbrevations code (base 1 index.)
297 EmitULEB128(Abbrev->getNumber(), "Abbreviation Code");
298
299 // Emit the abbreviations data.
300 Abbrev->Emit(this);
301 }
302
303 // Mark end of abbreviations.
304 EmitULEB128(0, "EOM(3)");
305}