blob: 738e062cb93f677b13c595708af9bb374736e122 [file] [log] [blame]
Paul Robinson34435752017-03-01 00:14:42 +00001//===-- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Units -----------===//
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 contains support for constructing a dwarf compile unit.
11//
12//===----------------------------------------------------------------------===//
13
David Blaikie37c52312014-10-04 15:49:50 +000014#include "DwarfCompileUnit.h"
Adrian Prantl7813d9c2015-01-14 01:01:30 +000015#include "DwarfExpression.h"
David Blaikiecda2aa82014-10-04 16:24:00 +000016#include "llvm/CodeGen/MachineFunction.h"
Duncan P. N. Exon Smith364a3002015-04-17 21:34:47 +000017#include "llvm/IR/Constants.h"
David Blaikie37c52312014-10-04 15:49:50 +000018#include "llvm/IR/DataLayout.h"
19#include "llvm/IR/GlobalValue.h"
20#include "llvm/IR/GlobalVariable.h"
21#include "llvm/IR/Instruction.h"
22#include "llvm/MC/MCAsmInfo.h"
23#include "llvm/MC/MCStreamer.h"
David Blaikieee7df552014-10-09 17:56:36 +000024#include "llvm/Target/TargetFrameLowering.h"
David Blaikie37c52312014-10-04 15:49:50 +000025#include "llvm/Target/TargetLoweringObjectFile.h"
David Blaikiecda2aa82014-10-04 16:24:00 +000026#include "llvm/Target/TargetMachine.h"
David Blaikiecda2aa82014-10-04 16:24:00 +000027#include "llvm/Target/TargetRegisterInfo.h"
Chandler Carruthd9903882015-01-14 11:23:27 +000028#include "llvm/Target/TargetSubtargetInfo.h"
David Blaikie37c52312014-10-04 15:49:50 +000029
30namespace llvm {
31
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +000032DwarfCompileUnit::DwarfCompileUnit(unsigned UID, const DICompileUnit *Node,
David Blaikie37c52312014-10-04 15:49:50 +000033 AsmPrinter *A, DwarfDebug *DW,
34 DwarfFile *DWU)
Peter Collingbourne7c384cc2016-02-11 19:57:46 +000035 : DwarfUnit(dwarf::DW_TAG_compile_unit, Node, A, DW, DWU), UniqueID(UID),
Rafael Espindola063d7252015-03-10 16:58:10 +000036 Skeleton(nullptr), BaseAddress(nullptr) {
David Blaikie37c52312014-10-04 15:49:50 +000037 insertDIE(Node, &getUnitDie());
Amjad Aboud8bbce8a2016-02-01 14:09:41 +000038 MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin");
David Blaikie37c52312014-10-04 15:49:50 +000039}
40
41/// addLabelAddress - Add a dwarf label attribute data and value using
42/// DW_FORM_addr or DW_FORM_GNU_addr_index.
43///
44void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
45 const MCSymbol *Label) {
46
47 // Don't use the address pool in non-fission or in the skeleton unit itself.
48 // FIXME: Once GDB supports this, it's probably worthwhile using the address
49 // pool from the skeleton - maybe even in non-fission (possibly fewer
50 // relocations by sharing them in the pool, but we have other ideas about how
51 // to reduce the number of relocations as well/instead).
52 if (!DD->useSplitDwarf() || !Skeleton)
53 return addLocalLabelAddress(Die, Attribute, Label);
54
55 if (Label)
56 DD->addArangeLabel(SymbolCU(this, Label));
57
58 unsigned idx = DD->getAddressPool().getIndex(Label);
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +000059 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_GNU_addr_index,
60 DIEInteger(idx));
David Blaikie37c52312014-10-04 15:49:50 +000061}
62
63void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
64 dwarf::Attribute Attribute,
65 const MCSymbol *Label) {
66 if (Label)
67 DD->addArangeLabel(SymbolCU(this, Label));
68
Duncan P. N. Exon Smith815a6eb52015-05-27 22:31:41 +000069 if (Label)
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +000070 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
71 DIELabel(Label));
Duncan P. N. Exon Smith815a6eb52015-05-27 22:31:41 +000072 else
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +000073 Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
74 DIEInteger(0));
David Blaikie37c52312014-10-04 15:49:50 +000075}
76
David Blaikie89452192014-10-04 16:00:26 +000077unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName,
78 StringRef DirName) {
David Blaikie37c52312014-10-04 15:49:50 +000079 // If we print assembly, we can't separate .file entries according to
80 // compile units. Thus all files will belong to the default compile unit.
81
82 // FIXME: add a better feature test than hasRawTextSupport. Even better,
83 // extend .file to support this.
Lang Hames9ff69c82015-04-24 19:11:51 +000084 return Asm->OutStreamer->EmitDwarfFileDirective(
David Blaikie37c52312014-10-04 15:49:50 +000085 0, DirName, FileName,
Lang Hames9ff69c82015-04-24 19:11:51 +000086 Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID());
David Blaikie37c52312014-10-04 15:49:50 +000087}
88
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +000089DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE(
Adrian Prantlbceaaa92016-12-20 02:09:43 +000090 const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) {
David Blaikie37c52312014-10-04 15:49:50 +000091 // Check for pre-existence.
92 if (DIE *Die = getDIE(GV))
93 return Die;
94
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +000095 assert(GV);
David Blaikie37c52312014-10-04 15:49:50 +000096
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +000097 auto *GVContext = GV->getScope();
98 auto *GTy = DD->resolve(GV->getType());
David Blaikie37c52312014-10-04 15:49:50 +000099
David Blaikie49cfc8c2014-10-23 19:12:43 +0000100 // Construct the context before querying for the existence of the DIE in
101 // case such construction creates the DIE.
Amjad Aboud72da9392016-04-30 01:44:07 +0000102 DIE *ContextDIE = getOrCreateContextDIE(GVContext);
David Blaikie49cfc8c2014-10-23 19:12:43 +0000103
Amjad Aboud72da9392016-04-30 01:44:07 +0000104 // Add to map.
105 DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000106 DIScope *DeclContext;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000107 if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) {
108 DeclContext = resolve(SDMDecl->getScope());
109 assert(SDMDecl->isStaticMember() && "Expected static member decl");
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000110 assert(GV->isDefinition());
David Blaikie37c52312014-10-04 15:49:50 +0000111 // We need the declaration DIE that is in the static member's class.
David Blaikie49cfc8c2014-10-23 19:12:43 +0000112 DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl);
113 addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE);
Adrian Prantl3502f202016-11-08 22:11:38 +0000114 // If the global variable's type is different from the one in the class
115 // member type, assume that it's more specific and also emit it.
116 if (GTy != DD->resolve(SDMDecl->getBaseType()))
117 addType(*VariableDIE, GTy);
David Blaikie49cfc8c2014-10-23 19:12:43 +0000118 } else {
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000119 DeclContext = GV->getScope();
David Blaikie37c52312014-10-04 15:49:50 +0000120 // Add name and type.
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000121 addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName());
David Blaikie37c52312014-10-04 15:49:50 +0000122 addType(*VariableDIE, GTy);
123
124 // Add scoping info.
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000125 if (!GV->isLocalToUnit())
David Blaikie37c52312014-10-04 15:49:50 +0000126 addFlag(*VariableDIE, dwarf::DW_AT_external);
127
128 // Add line number info.
129 addSourceLine(*VariableDIE, GV);
130 }
131
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000132 if (!GV->isDefinition())
David Blaikie49cfc8c2014-10-23 19:12:43 +0000133 addFlag(*VariableDIE, dwarf::DW_AT_declaration);
David Blaikie877354a2015-04-14 18:08:25 +0000134 else
135 addGlobalName(GV->getName(), *VariableDIE, DeclContext);
David Blaikie49cfc8c2014-10-23 19:12:43 +0000136
Victor Leschuk3c989982016-10-26 11:59:03 +0000137 if (uint32_t AlignInBytes = GV->getAlignInBytes())
138 addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
139 AlignInBytes);
140
David Blaikie37c52312014-10-04 15:49:50 +0000141 // Add location.
142 bool addToAccelTable = false;
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000143 DIELoc *Loc = nullptr;
144 std::unique_ptr<DIEDwarfExpression> DwarfExpr;
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000145 for (const auto &GE : GlobalExprs) {
146 const GlobalVariable *Global = GE.Var;
147 const DIExpression *Expr = GE.Expr;
Adrian Prantlb216e3e2017-03-23 23:35:09 +0000148
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000149 // For compatibility with DWARF 3 and earlier,
150 // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes
151 // DW_AT_const_value(X).
152 if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) {
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000153 addToAccelTable = true;
Adrian Prantlb216e3e2017-03-23 23:35:09 +0000154 addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1));
155 break;
156 }
157
158 // We cannot describe the location of dllimport'd variables: the
159 // computation of their address requires loads from the IAT.
160 if (Global && Global->hasDLLImportStorageClass())
161 continue;
162
163 // Nothing to describe without address or constant.
164 if (!Global && (!Expr || !Expr->isConstant()))
165 continue;
166
167 if (!Loc) {
168 addToAccelTable = true;
169 Loc = new (DIEValueAllocator) DIELoc;
170 DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc);
171 }
172
173 if (Global) {
174 const MCSymbol *Sym = Asm->getSymbol(Global);
175 if (Global->isThreadLocal()) {
176 if (Asm->TM.Options.EmulatedTLS) {
177 // TODO: add debug info for emulated thread local mode.
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000178 } else {
Adrian Prantlb216e3e2017-03-23 23:35:09 +0000179 // FIXME: Make this work with -gsplit-dwarf.
180 unsigned PointerSize = Asm->getDataLayout().getPointerSize();
181 assert((PointerSize == 4 || PointerSize == 8) &&
182 "Add support for other sizes if necessary");
183 // Based on GCC's support for TLS:
184 if (!DD->useSplitDwarf()) {
185 // 1) Start with a constNu of the appropriate pointer size
186 addUInt(*Loc, dwarf::DW_FORM_data1,
187 PointerSize == 4 ? dwarf::DW_OP_const4u
188 : dwarf::DW_OP_const8u);
189 // 2) containing the (relocated) offset of the TLS variable
190 // within the module's TLS block.
191 addExpr(*Loc, dwarf::DW_FORM_udata,
192 Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
193 } else {
194 addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
195 addUInt(*Loc, dwarf::DW_FORM_udata,
196 DD->getAddressPool().getIndex(Sym, /* TLS */ true));
197 }
198 // 3) followed by an OP to make the debugger do a TLS lookup.
199 addUInt(*Loc, dwarf::DW_FORM_data1,
200 DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address
201 : dwarf::DW_OP_form_tls_address);
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000202 }
Adrian Prantlb216e3e2017-03-23 23:35:09 +0000203 } else {
204 DD->addArangeLabel(SymbolCU(this, Sym));
205 addOpAddress(*Loc, Sym);
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000206 }
Adrian Prantlb216e3e2017-03-23 23:35:09 +0000207 }
208 if (Expr) {
209 DwarfExpr->addFragmentOffset(Expr);
210 DwarfExpr->addExpression(Expr);
David Majnemer28c36462016-07-09 20:47:48 +0000211 }
Adrian Prantl73ec0652016-12-16 19:39:01 +0000212 }
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000213 if (Loc)
214 addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize());
215
216 if (DD->useAllLinkageNames())
217 addLinkageName(*VariableDIE, GV->getLinkageName());
David Blaikie37c52312014-10-04 15:49:50 +0000218
David Blaikie37c52312014-10-04 15:49:50 +0000219 if (addToAccelTable) {
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000220 DD->addAccelName(GV->getName(), *VariableDIE);
David Blaikie37c52312014-10-04 15:49:50 +0000221
222 // If the linkage name is different than the name, go ahead and output
223 // that as well into the name table.
Duncan P. N. Exon Smith7348dda2015-04-14 02:22:36 +0000224 if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName())
225 DD->addAccelName(GV->getLinkageName(), *VariableDIE);
David Blaikie37c52312014-10-04 15:49:50 +0000226 }
227
David Blaikie49cfc8c2014-10-23 19:12:43 +0000228 return VariableDIE;
David Blaikie37c52312014-10-04 15:49:50 +0000229}
230
231void DwarfCompileUnit::addRange(RangeSpan Range) {
232 bool SameAsPrevCU = this == DD->getPrevCU();
233 DD->setPrevCU(this);
234 // If we have no current ranges just add the range and return, otherwise,
235 // check the current section and CU against the previous section and CU we
236 // emitted into and the subprogram was contained within. If these are the
237 // same then extend our current range, otherwise add this as a new range.
238 if (CURanges.empty() || !SameAsPrevCU ||
239 (&CURanges.back().getEnd()->getSection() !=
240 &Range.getEnd()->getSection())) {
241 CURanges.push_back(Range);
242 return;
243 }
244
245 CURanges.back().setEnd(Range.getEnd());
246}
247
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000248DIE::value_iterator
249DwarfCompileUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
250 const MCSymbol *Label, const MCSymbol *Sec) {
David Blaikie6c0ee4e2014-10-08 22:46:27 +0000251 if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000252 return addLabel(Die, Attribute,
253 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
254 : dwarf::DW_FORM_data4,
255 Label);
256 return addSectionDelta(Die, Attribute, Label, Sec);
David Blaikie6c0ee4e2014-10-08 22:46:27 +0000257}
258
Rafael Espindola063d7252015-03-10 16:58:10 +0000259void DwarfCompileUnit::initStmtList() {
David Blaikie37c52312014-10-04 15:49:50 +0000260 // Define start line table label for each Compile Unit.
261 MCSymbol *LineTableStartSym =
Lang Hames9ff69c82015-04-24 19:11:51 +0000262 Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID());
David Blaikie37c52312014-10-04 15:49:50 +0000263
David Blaikie37c52312014-10-04 15:49:50 +0000264 // DW_AT_stmt_list is a offset of line number information for this
265 // compile unit in debug_line section. For split dwarf this is
266 // left in the skeleton CU and so not included.
267 // The line table entries are not always emitted in assembly, so it
268 // is not okay to use line_table_start here.
Rafael Espindola063d7252015-03-10 16:58:10 +0000269 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000270 StmtListValue =
Greg Clayton35630c32016-12-01 18:56:29 +0000271 addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym,
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000272 TLOF.getDwarfLineSection()->getBeginSymbol());
David Blaikie37c52312014-10-04 15:49:50 +0000273}
274
275void DwarfCompileUnit::applyStmtList(DIE &D) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000276 D.addValue(DIEValueAllocator, *StmtListValue);
David Blaikie37c52312014-10-04 15:49:50 +0000277}
278
David Blaikie14499a72014-10-04 15:58:47 +0000279void DwarfCompileUnit::attachLowHighPC(DIE &D, const MCSymbol *Begin,
280 const MCSymbol *End) {
281 assert(Begin && "Begin label should not be null!");
282 assert(End && "End label should not be null!");
283 assert(Begin->isDefined() && "Invalid starting label");
284 assert(End->isDefined() && "Invalid end label");
285
286 addLabelAddress(D, dwarf::DW_AT_low_pc, Begin);
287 if (DD->getDwarfVersion() < 4)
288 addLabelAddress(D, dwarf::DW_AT_high_pc, End);
289 else
290 addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin);
291}
292
David Blaikiecda2aa82014-10-04 16:24:00 +0000293// Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
294// and DW_AT_high_pc attributes. If there are global variables in this
295// scope then create and insert DIEs for these variables.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000296DIE &DwarfCompileUnit::updateSubprogramScopeDIE(const DISubprogram *SP) {
David Blaikie3a443c22014-11-04 22:12:25 +0000297 DIE *SPDie = getOrCreateSubprogramDIE(SP, includeMinimalInlineScopes());
David Blaikiecda2aa82014-10-04 16:24:00 +0000298
Rafael Espindola07c03d32015-03-05 02:05:42 +0000299 attachLowHighPC(*SPDie, Asm->getFunctionBegin(), Asm->getFunctionEnd());
David Blaikiec53e18d2016-05-24 21:19:28 +0000300 if (DD->useAppleExtensionAttributes() &&
301 !DD->getCurrentFunction()->getTarget().Options.DisableFramePointerElim(
David Blaikiecda2aa82014-10-04 16:24:00 +0000302 *DD->getCurrentFunction()))
303 addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr);
304
305 // Only include DW_AT_frame_base in full debug info
David Blaikie3a443c22014-11-04 22:12:25 +0000306 if (!includeMinimalInlineScopes()) {
Eric Christopherd4e723f2015-02-20 22:36:11 +0000307 const TargetRegisterInfo *RI = Asm->MF->getSubtarget().getRegisterInfo();
David Blaikiecda2aa82014-10-04 16:24:00 +0000308 MachineLocation Location(RI->getFrameRegister(*Asm->MF));
Adrian Prantl8efadbf2015-01-14 00:15:16 +0000309 if (RI->isPhysicalRegister(Location.getReg()))
310 addAddress(*SPDie, dwarf::DW_AT_frame_base, Location);
David Blaikiecda2aa82014-10-04 16:24:00 +0000311 }
312
313 // Add name to the name table, we do this here because we're guaranteed
314 // to have concrete versions of our DW_TAG_subprogram nodes.
315 DD->addSubprogramNames(SP, *SPDie);
316
317 return *SPDie;
318}
319
David Blaikie9c65b132014-10-08 22:20:02 +0000320// Construct a DIE for this scope.
321void DwarfCompileUnit::constructScopeDIE(
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000322 LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) {
David Blaikie9c65b132014-10-08 22:20:02 +0000323 if (!Scope || !Scope->getScopeNode())
324 return;
325
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000326 auto *DS = Scope->getScopeNode();
David Blaikie9c65b132014-10-08 22:20:02 +0000327
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000328 assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) &&
David Blaikie9c65b132014-10-08 22:20:02 +0000329 "Only handle inlined subprograms here, use "
330 "constructSubprogramScopeDIE for non-inlined "
331 "subprograms");
332
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000333 SmallVector<DIE *, 8> Children;
David Blaikie9c65b132014-10-08 22:20:02 +0000334
335 // We try to create the scope DIE first, then the children DIEs. This will
336 // avoid creating un-used children then removing them later when we find out
337 // the scope DIE is null.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000338 DIE *ScopeDIE;
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000339 if (Scope->getParent() && isa<DISubprogram>(DS)) {
David Blaikie01b48a82014-10-09 16:50:53 +0000340 ScopeDIE = constructInlinedScopeDIE(Scope);
David Blaikie9c65b132014-10-08 22:20:02 +0000341 if (!ScopeDIE)
342 return;
343 // We create children when the scope DIE is not null.
David Blaikie8b2fdb82014-10-09 18:24:28 +0000344 createScopeChildrenDIE(Scope, Children);
David Blaikie9c65b132014-10-08 22:20:02 +0000345 } else {
346 // Early exit when we know the scope DIE is going to be null.
347 if (DD->isLexicalScopeDIENull(Scope))
348 return;
349
Amjad Aboud72da9392016-04-30 01:44:07 +0000350 unsigned ChildScopeCount;
David Blaikie9c65b132014-10-08 22:20:02 +0000351
352 // We create children here when we know the scope DIE is not going to be
353 // null and the children will be added to the scope DIE.
Amjad Aboud72da9392016-04-30 01:44:07 +0000354 createScopeChildrenDIE(Scope, Children, &ChildScopeCount);
355
356 // Skip imported directives in gmlt-like data.
357 if (!includeMinimalInlineScopes()) {
358 // There is no need to emit empty lexical block DIE.
359 for (const auto *IE : ImportedEntities[DS])
360 Children.push_back(
361 constructImportedEntityDIE(cast<DIImportedEntity>(IE)));
362 }
David Blaikie3a443c22014-11-04 22:12:25 +0000363
David Blaikie9c65b132014-10-08 22:20:02 +0000364 // If there are only other scopes as children, put them directly in the
365 // parent instead, as this scope would serve no purpose.
Amjad Aboud72da9392016-04-30 01:44:07 +0000366 if (Children.size() == ChildScopeCount) {
David Blaikie9c65b132014-10-08 22:20:02 +0000367 FinalChildren.insert(FinalChildren.end(),
368 std::make_move_iterator(Children.begin()),
369 std::make_move_iterator(Children.end()));
370 return;
371 }
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000372 ScopeDIE = constructLexicalScopeDIE(Scope);
David Blaikie9c65b132014-10-08 22:20:02 +0000373 assert(ScopeDIE && "Scope DIE should not be null.");
374 }
375
376 // Add children
377 for (auto &I : Children)
378 ScopeDIE->addChild(std::move(I));
379
380 FinalChildren.push_back(std::move(ScopeDIE));
381}
382
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000383DIE::value_iterator
384DwarfCompileUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
385 const MCSymbol *Hi, const MCSymbol *Lo) {
386 return Die.addValue(DIEValueAllocator, Attribute,
387 DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
388 : dwarf::DW_FORM_data4,
389 new (DIEValueAllocator) DIEDelta(Hi, Lo));
David Blaikiee5feec52014-10-08 23:30:05 +0000390}
391
David Blaikie5b02a192014-11-03 23:10:59 +0000392void DwarfCompileUnit::addScopeRangeList(DIE &ScopeDIE,
393 SmallVector<RangeSpan, 2> Range) {
Rafael Espindola063d7252015-03-10 16:58:10 +0000394 const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
395
David Blaikie52400202014-10-09 00:11:39 +0000396 // Emit offset in .debug_range as a relocatable label. emitDIE will handle
397 // emitting it appropriately.
Rafael Espindola063d7252015-03-10 16:58:10 +0000398 const MCSymbol *RangeSectionSym =
399 TLOF.getDwarfRangesSection()->getBeginSymbol();
David Blaikie52400202014-10-09 00:11:39 +0000400
Rafael Espindola9ab09232015-03-17 20:07:06 +0000401 RangeSpanList List(Asm->createTempSymbol("debug_ranges"), std::move(Range));
David Blaikie5b02a192014-11-03 23:10:59 +0000402
David Blaikie52400202014-10-09 00:11:39 +0000403 // Under fission, ranges are specified by constant offsets relative to the
404 // CU's DW_AT_GNU_ranges_base.
David Blaikie5b02a192014-11-03 23:10:59 +0000405 if (isDwoUnit())
406 addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
407 RangeSectionSym);
David Blaikie52400202014-10-09 00:11:39 +0000408 else
David Blaikie5b02a192014-11-03 23:10:59 +0000409 addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
410 RangeSectionSym);
David Blaikie52400202014-10-09 00:11:39 +0000411
412 // Add the range list to the set of ranges to be emitted.
David Blaikie542616d2014-11-03 21:52:56 +0000413 (Skeleton ? Skeleton : this)->CURangeLists.push_back(std::move(List));
David Blaikie52400202014-10-09 00:11:39 +0000414}
415
David Blaikiede123752014-10-09 00:21:42 +0000416void DwarfCompileUnit::attachRangesOrLowHighPC(
David Blaikie5b02a192014-11-03 23:10:59 +0000417 DIE &Die, SmallVector<RangeSpan, 2> Ranges) {
418 if (Ranges.size() == 1) {
419 const auto &single = Ranges.front();
420 attachLowHighPC(Die, single.getStart(), single.getEnd());
421 } else
422 addScopeRangeList(Die, std::move(Ranges));
423}
424
425void DwarfCompileUnit::attachRangesOrLowHighPC(
David Blaikiede123752014-10-09 00:21:42 +0000426 DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) {
David Blaikie5b02a192014-11-03 23:10:59 +0000427 SmallVector<RangeSpan, 2> List;
428 List.reserve(Ranges.size());
429 for (const InsnRange &R : Ranges)
430 List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first),
431 DD->getLabelAfterInsn(R.second)));
432 attachRangesOrLowHighPC(Die, std::move(List));
David Blaikiede123752014-10-09 00:21:42 +0000433}
434
David Blaikie01b48a82014-10-09 16:50:53 +0000435// This scope represents inlined body of a function. Construct DIE to
436// represent this concrete inlined copy of the function.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000437DIE *DwarfCompileUnit::constructInlinedScopeDIE(LexicalScope *Scope) {
David Blaikie01b48a82014-10-09 16:50:53 +0000438 assert(Scope->getScopeNode());
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000439 auto *DS = Scope->getScopeNode();
440 auto *InlinedSP = getDISubprogram(DS);
David Blaikie01b48a82014-10-09 16:50:53 +0000441 // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram
442 // was inlined from another compile unit.
David Blaikief6dac292014-11-01 17:21:26 +0000443 DIE *OriginDIE = DU->getAbstractSPDies()[InlinedSP];
David Blaikie01b48a82014-10-09 16:50:53 +0000444 assert(OriginDIE && "Unable to find original DIE for an inlined subprogram.");
445
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000446 auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine);
David Blaikie01b48a82014-10-09 16:50:53 +0000447 addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE);
448
449 attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
450
451 // Add the call site information to the DIE.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000452 const DILocation *IA = Scope->getInlinedAt();
David Blaikie01b48a82014-10-09 16:50:53 +0000453 addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None,
Duncan P. N. Exon Smithb7e221b2015-04-14 01:35:55 +0000454 getOrCreateSourceID(IA->getFilename(), IA->getDirectory()));
455 addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine());
Dehao Chen6e0c8442016-10-07 15:21:31 +0000456 if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4)
Dehao Chen54511352015-11-11 18:09:47 +0000457 addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None,
458 IA->getDiscriminator());
David Blaikie01b48a82014-10-09 16:50:53 +0000459
460 // Add name to the name table, we do this here because we're guaranteed
461 // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
462 DD->addSubprogramNames(InlinedSP, *ScopeDIE);
463
464 return ScopeDIE;
465}
466
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000467// Construct new DW_TAG_lexical_block for this scope and attach
468// DW_AT_low_pc/DW_AT_high_pc labels.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000469DIE *DwarfCompileUnit::constructLexicalScopeDIE(LexicalScope *Scope) {
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000470 if (DD->isLexicalScopeDIENull(Scope))
471 return nullptr;
472
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000473 auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block);
David Blaikie0fbf8bd2014-10-09 17:08:42 +0000474 if (Scope->isAbstractScope())
475 return ScopeDIE;
476
477 attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
478
479 return ScopeDIE;
480}
481
David Blaikieee7df552014-10-09 17:56:36 +0000482/// constructVariableDIE - Construct a DIE for the given DbgVariable.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000483DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, bool Abstract) {
David Blaikieee7df552014-10-09 17:56:36 +0000484 auto D = constructVariableDIEImpl(DV, Abstract);
485 DV.setDIE(*D);
486 return D;
487}
488
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000489DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV,
490 bool Abstract) {
David Blaikieee7df552014-10-09 17:56:36 +0000491 // Define variable debug information entry.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000492 auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag());
David Blaikieee7df552014-10-09 17:56:36 +0000493
494 if (Abstract) {
495 applyVariableAttributes(DV, *VariableDie);
496 return VariableDie;
497 }
498
499 // Add variable address.
500
Duncan P. N. Exon Smith364a3002015-04-17 21:34:47 +0000501 unsigned Offset = DV.getDebugLocListIndex();
David Blaikieee7df552014-10-09 17:56:36 +0000502 if (Offset != ~0U) {
503 addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
504 return VariableDie;
505 }
506
507 // Check if variable is described by a DBG_VALUE instruction.
508 if (const MachineInstr *DVInsn = DV.getMInsn()) {
509 assert(DVInsn->getNumOperands() == 4);
510 if (DVInsn->getOperand(0).isReg()) {
511 const MachineOperand RegOp = DVInsn->getOperand(0);
512 // If the second operand is an immediate, this is an indirect value.
513 if (DVInsn->getOperand(1).isImm()) {
514 MachineLocation Location(RegOp.getReg(),
515 DVInsn->getOperand(1).getImm());
516 addVariableAddress(DV, *VariableDie, Location);
517 } else if (RegOp.getReg())
518 addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
Adrian Prantl3b89e662016-02-17 22:20:08 +0000519 } else if (DVInsn->getOperand(0).isImm()) {
520 // This variable is described by a single constant.
521 // Check whether it has a DIExpression.
522 auto *Expr = DV.getSingleExpression();
523 if (Expr && Expr->getNumElements()) {
524 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
525 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
526 // If there is an expression, emit raw unsigned bytes.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000527 DwarfExpr.addFragmentOffset(Expr);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000528 DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm());
529 DwarfExpr.addExpression(Expr);
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000530 addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
Adrian Prantl3b89e662016-02-17 22:20:08 +0000531 } else
532 addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
533 } else if (DVInsn->getOperand(0).isFPImm())
David Blaikieee7df552014-10-09 17:56:36 +0000534 addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
535 else if (DVInsn->getOperand(0).isCImm())
536 addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
537 DV.getType());
538
539 return VariableDie;
540 }
541
542 // .. else use frame index.
Adrian Prantl67c24422017-02-17 19:42:32 +0000543 if (!DV.hasFrameIndexExprs())
Adrian Prantlca7e4702015-02-10 23:18:28 +0000544 return VariableDie;
545
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000546 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantlca7e4702015-02-10 23:18:28 +0000547 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantl67c24422017-02-17 19:42:32 +0000548 for (auto &Fragment : DV.getFrameIndexExprs()) {
David Blaikieee7df552014-10-09 17:56:36 +0000549 unsigned FrameReg = 0;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000550 const DIExpression *Expr = Fragment.Expr;
Eric Christopherd4e723f2015-02-20 22:36:11 +0000551 const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering();
Adrian Prantl67c24422017-02-17 19:42:32 +0000552 int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000553 DwarfExpr.addFragmentOffset(Expr);
Adrian Prantl956484b2017-03-20 21:35:09 +0000554 SmallVector<uint64_t, 8> Ops;
555 Ops.push_back(dwarf::DW_OP_plus);
556 Ops.push_back(Offset);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000557 Ops.append(Expr->elements_begin(), Expr->elements_end());
558 DIExpressionCursor Cursor(Ops);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000559 DwarfExpr.setMemoryLocationKind();
560 DwarfExpr.addMachineRegExpression(
561 *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000562 DwarfExpr.addExpression(std::move(Cursor));
David Blaikieee7df552014-10-09 17:56:36 +0000563 }
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000564 addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
David Blaikieee7df552014-10-09 17:56:36 +0000565
566 return VariableDie;
567}
568
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000569DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV,
570 const LexicalScope &Scope,
571 DIE *&ObjectPointer) {
David Blaikie4a1a44e2014-10-09 17:56:39 +0000572 auto Var = constructVariableDIE(DV, Scope.isAbstractScope());
573 if (DV.isObjectPointer())
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000574 ObjectPointer = Var;
David Blaikie4a1a44e2014-10-09 17:56:39 +0000575 return Var;
576}
577
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000578DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope,
579 SmallVectorImpl<DIE *> &Children,
Amjad Aboud72da9392016-04-30 01:44:07 +0000580 unsigned *ChildScopeCount) {
David Blaikie8b2fdb82014-10-09 18:24:28 +0000581 DIE *ObjectPointer = nullptr;
582
David Blaikie80e5b1e2014-10-24 17:57:34 +0000583 for (DbgVariable *DV : DU->getScopeVariables().lookup(Scope))
David Blaikie8b2fdb82014-10-09 18:24:28 +0000584 Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer));
585
Amjad Aboud72da9392016-04-30 01:44:07 +0000586 unsigned ChildCountWithoutScopes = Children.size();
David Blaikie8b2fdb82014-10-09 18:24:28 +0000587
588 for (LexicalScope *LS : Scope->getChildren())
589 constructScopeDIE(LS, Children);
590
Amjad Aboud72da9392016-04-30 01:44:07 +0000591 if (ChildScopeCount)
592 *ChildScopeCount = Children.size() - ChildCountWithoutScopes;
593
David Blaikie8b2fdb82014-10-09 18:24:28 +0000594 return ObjectPointer;
595}
596
David Blaikie3e3eb332016-12-15 23:17:52 +0000597void DwarfCompileUnit::constructSubprogramScopeDIE(const DISubprogram *Sub, LexicalScope *Scope) {
David Blaikie1d072342014-10-09 20:21:36 +0000598 DIE &ScopeDIE = updateSubprogramScopeDIE(Sub);
599
David Blaikie3e3eb332016-12-15 23:17:52 +0000600 if (Scope) {
601 assert(!Scope->getInlinedAt());
602 assert(!Scope->isAbstractScope());
603 // Collect lexical scope children first.
604 // ObjectPointer might be a local (non-argument) local variable if it's a
605 // block's synthetic this pointer.
606 if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE))
607 addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer);
608 }
609
David Blaikie1d072342014-10-09 20:21:36 +0000610 // If this is a variadic function, add an unspecified parameter.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000611 DITypeRefArray FnArgs = Sub->getType()->getTypeArray();
David Blaikie1dd573d2014-10-23 22:27:50 +0000612
David Blaikie1d072342014-10-09 20:21:36 +0000613 // If we have a single element of null, it is a function that returns void.
614 // If we have more than one elements and the last one is null, it is a
615 // variadic function.
Duncan P. N. Exon Smith000fa2c2015-04-07 04:14:33 +0000616 if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] &&
David Blaikie3a443c22014-11-04 22:12:25 +0000617 !includeMinimalInlineScopes())
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000618 ScopeDIE.addChild(
619 DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters));
David Blaikie1d072342014-10-09 20:21:36 +0000620}
621
David Blaikie78b65b62014-10-09 20:26:15 +0000622DIE *DwarfCompileUnit::createAndAddScopeChildren(LexicalScope *Scope,
623 DIE &ScopeDIE) {
624 // We create children when the scope DIE is not null.
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000625 SmallVector<DIE *, 8> Children;
David Blaikie78b65b62014-10-09 20:26:15 +0000626 DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children);
627
628 // Add children
629 for (auto &I : Children)
630 ScopeDIE.addChild(std::move(I));
631
632 return ObjectPointer;
633}
634
Dehao Chen54511352015-11-11 18:09:47 +0000635void DwarfCompileUnit::constructAbstractSubprogramScopeDIE(
636 LexicalScope *Scope) {
David Blaikief6dac292014-11-01 17:21:26 +0000637 DIE *&AbsDef = DU->getAbstractSPDies()[Scope->getScopeNode()];
David Blaikie49be5b32014-10-31 21:57:02 +0000638 if (AbsDef)
639 return;
640
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000641 auto *SP = cast<DISubprogram>(Scope->getScopeNode());
David Blaikie58410f22014-10-10 06:39:26 +0000642
643 DIE *ContextDIE;
644
David Blaikie3a443c22014-11-04 22:12:25 +0000645 if (includeMinimalInlineScopes())
646 ContextDIE = &getUnitDie();
David Blaikie58410f22014-10-10 06:39:26 +0000647 // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000648 // the important distinction that the debug node is not associated with the
649 // DIE (since the debug node will be associated with the concrete DIE, if
David Blaikie58410f22014-10-10 06:39:26 +0000650 // any). It could be refactored to some common utility function.
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000651 else if (auto *SPDecl = SP->getDeclaration()) {
David Blaikie58410f22014-10-10 06:39:26 +0000652 ContextDIE = &getUnitDie();
653 getOrCreateSubprogramDIE(SPDecl);
654 } else
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000655 ContextDIE = getOrCreateContextDIE(resolve(SP->getScope()));
David Blaikie58410f22014-10-10 06:39:26 +0000656
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000657 // Passing null as the associated node because the abstract definition
David Blaikie58410f22014-10-10 06:39:26 +0000658 // shouldn't be found by lookup.
Duncan P. N. Exon Smith7c60f202015-04-18 00:35:36 +0000659 AbsDef = &createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr);
David Blaikie49be5b32014-10-31 21:57:02 +0000660 applySubprogramAttributesToDefinition(SP, *AbsDef);
David Blaikie58410f22014-10-10 06:39:26 +0000661
David Blaikie3a443c22014-11-04 22:12:25 +0000662 if (!includeMinimalInlineScopes())
David Blaikie49be5b32014-10-31 21:57:02 +0000663 addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined);
664 if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, *AbsDef))
665 addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer);
David Blaikie58410f22014-10-10 06:39:26 +0000666}
667
Duncan P. N. Exon Smith827200c2015-06-25 23:52:10 +0000668DIE *DwarfCompileUnit::constructImportedEntityDIE(
669 const DIImportedEntity *Module) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000670 DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag());
671 insertDIE(Module, IMDie);
Frederic Riss987fe222014-10-24 21:31:09 +0000672 DIE *EntityDie;
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000673 auto *Entity = resolve(Module->getEntity());
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000674 if (auto *NS = dyn_cast<DINamespace>(Entity))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000675 EntityDie = getOrCreateNameSpace(NS);
Adrian Prantl08a388b2015-06-30 02:13:04 +0000676 else if (auto *M = dyn_cast<DIModule>(Entity))
677 EntityDie = getOrCreateModule(M);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000678 else if (auto *SP = dyn_cast<DISubprogram>(Entity))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000679 EntityDie = getOrCreateSubprogramDIE(SP);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000680 else if (auto *T = dyn_cast<DIType>(Entity))
Duncan P. N. Exon Smithe686f152015-04-06 23:27:40 +0000681 EntityDie = getOrCreateTypeDIE(T);
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000682 else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity))
Adrian Prantlbceaaa92016-12-20 02:09:43 +0000683 EntityDie = getOrCreateGlobalVariableDIE(GV, {});
Frederic Riss987fe222014-10-24 21:31:09 +0000684 else
685 EntityDie = getDIE(Entity);
686 assert(EntityDie);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000687 addSourceLine(*IMDie, Module->getLine(), Module->getScope()->getFilename(),
688 Module->getScope()->getDirectory());
Frederic Riss987fe222014-10-24 21:31:09 +0000689 addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie);
Duncan P. N. Exon Smithde8e4272015-04-14 01:46:44 +0000690 StringRef Name = Module->getName();
Frederic Riss987fe222014-10-24 21:31:09 +0000691 if (!Name.empty())
692 addString(*IMDie, dwarf::DW_AT_name, Name);
693
694 return IMDie;
695}
696
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000697void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram *SP) {
Amjad Aboud72da9392016-04-30 01:44:07 +0000698 DIE *D = getDIE(SP);
699 if (DIE *AbsSPDIE = DU->getAbstractSPDies().lookup(SP)) {
700 if (D)
David Blaikie4191cbc2014-10-10 06:39:29 +0000701 // If this subprogram has an abstract definition, reference that
702 addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE);
Amjad Aboud72da9392016-04-30 01:44:07 +0000703 } else {
David Blaikie3e3eb332016-12-15 23:17:52 +0000704 assert(D || includeMinimalInlineScopes());
Amjad Aboud72da9392016-04-30 01:44:07 +0000705 if (D)
David Blaikie4191cbc2014-10-10 06:39:29 +0000706 // And attach the attributes
707 applySubprogramAttributesToDefinition(SP, *D);
708 }
709}
710
Rafael Espindola063d7252015-03-10 16:58:10 +0000711void DwarfCompileUnit::emitHeader(bool UseOffsets) {
David Blaikieb6726a92014-11-02 02:26:24 +0000712 // Don't bother labeling the .dwo unit, as its offset isn't used.
Rafael Espindola3c311142015-03-10 03:11:11 +0000713 if (!Skeleton) {
Rafael Espindola9ab09232015-03-17 20:07:06 +0000714 LabelBegin = Asm->createTempSymbol("cu_begin");
Lang Hames9ff69c82015-04-24 19:11:51 +0000715 Asm->OutStreamer->EmitLabel(LabelBegin);
Rafael Espindola3c311142015-03-10 03:11:11 +0000716 }
David Blaikieae57e662014-11-01 23:59:23 +0000717
Paul Robinsoncddd6042017-02-28 20:24:55 +0000718 dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile
719 : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton
720 : dwarf::DW_UT_compile;
721 DwarfUnit::emitCommonHeader(UseOffsets, UT);
David Blaikieae57e662014-11-01 23:59:23 +0000722}
723
David Blaikie192b45c2014-11-02 06:16:39 +0000724/// addGlobalName - Add a new global name to the compile unit.
David Blaikiea0e3c752017-02-03 00:44:18 +0000725void DwarfCompileUnit::addGlobalName(StringRef Name, const DIE &Die,
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000726 const DIScope *Context) {
David Blaikie3a443c22014-11-04 22:12:25 +0000727 if (includeMinimalInlineScopes())
David Blaikie192b45c2014-11-02 06:16:39 +0000728 return;
729 std::string FullName = getParentContextString(Context) + Name.str();
730 GlobalNames[FullName] = &Die;
731}
732
David Blaikiea0e3c752017-02-03 00:44:18 +0000733void DwarfCompileUnit::addGlobalNameForTypeUnit(StringRef Name,
734 const DIScope *Context) {
735 if (includeMinimalInlineScopes())
736 return;
737 std::string FullName = getParentContextString(Context) + Name.str();
738 // Insert, allowing the entry to remain as-is if it's already present
739 // This way the CU-level type DIE is preferred over the "can't describe this
740 // type as a unit offset because it's not really in the CU at all, it's only
741 // in a type unit"
742 GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie()));
743}
744
David Blaikie192b45c2014-11-02 06:16:39 +0000745/// Add a new global type to the unit.
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000746void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die,
747 const DIScope *Context) {
David Blaikie3a443c22014-11-04 22:12:25 +0000748 if (includeMinimalInlineScopes())
David Blaikie192b45c2014-11-02 06:16:39 +0000749 return;
Duncan P. N. Exon Smithb1055642015-04-16 01:01:28 +0000750 std::string FullName = getParentContextString(Context) + Ty->getName().str();
David Blaikie192b45c2014-11-02 06:16:39 +0000751 GlobalTypes[FullName] = &Die;
752}
David Blaikieae57e662014-11-01 23:59:23 +0000753
David Blaikiea0e3c752017-02-03 00:44:18 +0000754void DwarfCompileUnit::addGlobalTypeUnitType(const DIType *Ty,
755 const DIScope *Context) {
756 if (includeMinimalInlineScopes())
757 return;
758 std::string FullName = getParentContextString(Context) + Ty->getName().str();
759 // Insert, allowing the entry to remain as-is if it's already present
760 // This way the CU-level type DIE is preferred over the "can't describe this
761 // type as a unit offset because it's not really in the CU at all, it's only
762 // in a type unit"
763 GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie()));
764}
765
David Blaikie7d48be22014-11-02 06:37:23 +0000766/// addVariableAddress - Add DW_AT_location attribute for a
767/// DbgVariable based on provided MachineLocation.
768void DwarfCompileUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
769 MachineLocation Location) {
Duncan P. N. Exon Smithe6cc5312015-06-21 16:50:43 +0000770 if (DV.hasComplexAddress())
David Blaikie7d48be22014-11-02 06:37:23 +0000771 addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
772 else if (DV.isBlockByrefVariable())
773 addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
774 else
Adrian Prantl5883af32015-01-19 17:57:29 +0000775 addAddress(Die, dwarf::DW_AT_location, Location);
David Blaikie7d48be22014-11-02 06:37:23 +0000776}
David Blaikief7435ee2014-11-02 06:46:40 +0000777
778/// Add an address attribute to a die based on the location provided.
779void DwarfCompileUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
Adrian Prantl5883af32015-01-19 17:57:29 +0000780 const MachineLocation &Location) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000781 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl956484b2017-03-20 21:35:09 +0000782 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000783 if (Location.isIndirect())
784 DwarfExpr.setMemoryLocationKind();
David Blaikief7435ee2014-11-02 06:46:40 +0000785
Adrian Prantl956484b2017-03-20 21:35:09 +0000786 SmallVector<uint64_t, 8> Ops;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000787 if (Location.isIndirect() && Location.getOffset()) {
Adrian Prantl956484b2017-03-20 21:35:09 +0000788 Ops.push_back(dwarf::DW_OP_plus);
789 Ops.push_back(Location.getOffset());
Adrian Prantl956484b2017-03-20 21:35:09 +0000790 }
791 DIExpressionCursor Cursor(Ops);
792 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000793 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantlab255fc2014-12-05 01:02:46 +0000794 return;
Adrian Prantl956484b2017-03-20 21:35:09 +0000795 DwarfExpr.addExpression(std::move(Cursor));
Adrian Prantlab255fc2014-12-05 01:02:46 +0000796
David Blaikief7435ee2014-11-02 06:46:40 +0000797 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000798 addBlock(Die, Attribute, DwarfExpr.finalize());
David Blaikief7435ee2014-11-02 06:46:40 +0000799}
David Blaikie77895fb2014-11-02 06:58:44 +0000800
801/// Start with the address based on the location provided, and generate the
802/// DWARF information necessary to find the actual variable given the extra
803/// address information encoded in the DbgVariable, starting from the starting
804/// location. Add the DWARF information to the die.
805void DwarfCompileUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
806 dwarf::Attribute Attribute,
807 const MachineLocation &Location) {
Duncan P. N. Exon Smithe7e1d0c2015-05-27 22:14:58 +0000808 DIELoc *Loc = new (DIEValueAllocator) DIELoc;
Adrian Prantl7813d9c2015-01-14 01:01:30 +0000809 DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
Adrian Prantl956484b2017-03-20 21:35:09 +0000810 const DIExpression *DIExpr = DV.getSingleExpression();
811 DwarfExpr.addFragmentOffset(DIExpr);
Adrian Prantlc12cee32017-04-19 23:42:25 +0000812 if (Location.isIndirect())
813 DwarfExpr.setMemoryLocationKind();
Adrian Prantl956484b2017-03-20 21:35:09 +0000814
815 SmallVector<uint64_t, 8> Ops;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000816 if (Location.isIndirect() && Location.getOffset()) {
Adrian Prantl956484b2017-03-20 21:35:09 +0000817 Ops.push_back(dwarf::DW_OP_plus);
818 Ops.push_back(Location.getOffset());
Adrian Prantl956484b2017-03-20 21:35:09 +0000819 }
820 Ops.append(DIExpr->elements_begin(), DIExpr->elements_end());
821 DIExpressionCursor Cursor(Ops);
Peter Collingbourne96c9ae62016-05-20 19:35:17 +0000822 const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
Adrian Prantlc12cee32017-04-19 23:42:25 +0000823 if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
Adrian Prantl54286bd2016-11-02 16:12:20 +0000824 return;
Adrian Prantl956484b2017-03-20 21:35:09 +0000825 DwarfExpr.addExpression(std::move(Cursor));
David Blaikie77895fb2014-11-02 06:58:44 +0000826
827 // Now attach the location information to the DIE.
Adrian Prantl956484b2017-03-20 21:35:09 +0000828 addBlock(Die, Attribute, DwarfExpr.finalize());
David Blaikie77895fb2014-11-02 06:58:44 +0000829}
David Blaikie4bc08812014-11-02 07:03:19 +0000830
831/// Add a Dwarf loclistptr attribute data and value.
832void DwarfCompileUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
833 unsigned Index) {
David Blaikie4bc08812014-11-02 07:03:19 +0000834 dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
835 : dwarf::DW_FORM_data4;
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000836 Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index));
David Blaikie4bc08812014-11-02 07:03:19 +0000837}
David Blaikie02a63332014-11-02 07:06:51 +0000838
David Blaikie8c485b52014-11-02 07:08:12 +0000839void DwarfCompileUnit::applyVariableAttributes(const DbgVariable &Var,
840 DIE &VariableDie) {
David Blaikie02a63332014-11-02 07:06:51 +0000841 StringRef Name = Var.getName();
842 if (!Name.empty())
843 addString(VariableDie, dwarf::DW_AT_name, Name);
Victor Leschuk3c989982016-10-26 11:59:03 +0000844 const auto *DIVar = Var.getVariable();
845 if (DIVar)
846 if (uint32_t AlignInBytes = DIVar->getAlignInBytes())
847 addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
848 AlignInBytes);
849
850 addSourceLine(VariableDie, DIVar);
David Blaikie02a63332014-11-02 07:06:51 +0000851 addType(VariableDie, Var.getType());
852 if (Var.isArtificial())
853 addFlag(VariableDie, dwarf::DW_AT_artificial);
854}
David Blaikie97802082014-11-02 07:11:55 +0000855
856/// Add a Dwarf expression attribute data and value.
857void DwarfCompileUnit::addExpr(DIELoc &Die, dwarf::Form Form,
858 const MCExpr *Expr) {
Duncan P. N. Exon Smith4fb1f9c2015-06-25 23:46:41 +0000859 Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr));
David Blaikie97802082014-11-02 07:11:55 +0000860}
David Blaikie3363a572014-11-02 08:09:09 +0000861
Duncan P. N. Exon Smith2fbe1352015-04-20 22:10:08 +0000862void DwarfCompileUnit::applySubprogramAttributesToDefinition(
Duncan P. N. Exon Smitha9308c42015-04-29 16:38:44 +0000863 const DISubprogram *SP, DIE &SPDie) {
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000864 auto *SPDecl = SP->getDeclaration();
Duncan P. N. Exon Smithbe9e4fe2015-04-20 18:32:29 +0000865 auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope());
David Blaikie3a443c22014-11-04 22:12:25 +0000866 applySubprogramAttributes(SP, SPDie, includeMinimalInlineScopes());
Duncan P. N. Exon Smith537b4a82015-04-14 03:40:37 +0000867 addGlobalName(SP->getName(), SPDie, Context);
David Blaikie3363a572014-11-02 08:09:09 +0000868}
David Blaikiecafd9622014-11-02 08:51:37 +0000869
870bool DwarfCompileUnit::isDwoUnit() const {
871 return DD->useSplitDwarf() && Skeleton;
872}
David Blaikie3a443c22014-11-04 22:12:25 +0000873
874bool DwarfCompileUnit::includeMinimalInlineScopes() const {
Adrian Prantlb939a252016-03-31 23:56:58 +0000875 return getCUNode()->getEmissionKind() == DICompileUnit::LineTablesOnly ||
David Blaikie3a443c22014-11-04 22:12:25 +0000876 (DD->useSplitDwarf() && !Skeleton);
877}
Alexander Kornienkof00654e2015-06-23 09:49:53 +0000878} // end llvm namespace