LLVM  8.0.1
DwarfCompileUnit.cpp
Go to the documentation of this file.
1 //===- 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 
14 #include "DwarfCompileUnit.h"
15 #include "AddressPool.h"
16 #include "DwarfDebug.h"
17 #include "DwarfExpression.h"
18 #include "DwarfUnit.h"
19 #include "llvm/ADT/None.h"
20 #include "llvm/ADT/STLExtras.h"
21 #include "llvm/ADT/SmallVector.h"
22 #include "llvm/ADT/StringRef.h"
25 #include "llvm/CodeGen/DIE.h"
33 #include "llvm/IR/DataLayout.h"
34 #include "llvm/IR/DebugInfo.h"
36 #include "llvm/IR/GlobalVariable.h"
37 #include "llvm/MC/MCSection.h"
38 #include "llvm/MC/MCStreamer.h"
39 #include "llvm/MC/MCSymbol.h"
41 #include "llvm/Support/Casting.h"
45 #include <algorithm>
46 #include <cassert>
47 #include <cstdint>
48 #include <iterator>
49 #include <memory>
50 #include <string>
51 #include <utility>
52 
53 using namespace llvm;
54 
56  AsmPrinter *A, DwarfDebug *DW,
57  DwarfFile *DWU)
58  : DwarfUnit(dwarf::DW_TAG_compile_unit, Node, A, DW, DWU), UniqueID(UID) {
59  insertDIE(Node, &getUnitDie());
60  MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin");
61 }
62 
63 /// addLabelAddress - Add a dwarf label attribute data and value using
64 /// DW_FORM_addr or DW_FORM_GNU_addr_index.
66  const MCSymbol *Label) {
67  // Don't use the address pool in non-fission or in the skeleton unit itself.
68  // FIXME: Once GDB supports this, it's probably worthwhile using the address
69  // pool from the skeleton - maybe even in non-fission (possibly fewer
70  // relocations by sharing them in the pool, but we have other ideas about how
71  // to reduce the number of relocations as well/instead).
72  if ((!DD->useSplitDwarf() || !Skeleton) && DD->getDwarfVersion() < 5)
73  return addLocalLabelAddress(Die, Attribute, Label);
74 
75  if (Label)
76  DD->addArangeLabel(SymbolCU(this, Label));
77 
78  unsigned idx = DD->getAddressPool().getIndex(Label);
79  Die.addValue(DIEValueAllocator, Attribute,
80  DD->getDwarfVersion() >= 5 ? dwarf::DW_FORM_addrx
81  : dwarf::DW_FORM_GNU_addr_index,
82  DIEInteger(idx));
83 }
84 
87  const MCSymbol *Label) {
88  if (Label)
89  DD->addArangeLabel(SymbolCU(this, Label));
90 
91  if (Label)
92  Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
93  DIELabel(Label));
94  else
95  Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
96  DIEInteger(0));
97 }
98 
100  // If we print assembly, we can't separate .file entries according to
101  // compile units. Thus all files will belong to the default compile unit.
102 
103  // FIXME: add a better feature test than hasRawTextSupport. Even better,
104  // extend .file to support this.
105  unsigned CUID = Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID();
106  if (!File)
107  return Asm->OutStreamer->EmitDwarfFileDirective(0, "", "", nullptr, None, CUID);
108  return Asm->OutStreamer->EmitDwarfFileDirective(
109  0, File->getDirectory(), File->getFilename(), getMD5AsBytes(File),
110  File->getSource(), CUID);
111 }
112 
114  const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) {
115  // Check for pre-existence.
116  if (DIE *Die = getDIE(GV))
117  return Die;
118 
119  assert(GV);
120 
121  auto *GVContext = GV->getScope();
122  auto *GTy = DD->resolve(GV->getType());
123 
124  // Construct the context before querying for the existence of the DIE in
125  // case such construction creates the DIE.
126  DIE *ContextDIE = getOrCreateContextDIE(GVContext);
127 
128  // Add to map.
129  DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV);
130  DIScope *DeclContext;
131  if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) {
132  DeclContext = resolve(SDMDecl->getScope());
133  assert(SDMDecl->isStaticMember() && "Expected static member decl");
134  assert(GV->isDefinition());
135  // We need the declaration DIE that is in the static member's class.
136  DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl);
137  addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE);
138  // If the global variable's type is different from the one in the class
139  // member type, assume that it's more specific and also emit it.
140  if (GTy != DD->resolve(SDMDecl->getBaseType()))
141  addType(*VariableDIE, GTy);
142  } else {
143  DeclContext = GV->getScope();
144  // Add name and type.
145  addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName());
146  addType(*VariableDIE, GTy);
147 
148  // Add scoping info.
149  if (!GV->isLocalToUnit())
150  addFlag(*VariableDIE, dwarf::DW_AT_external);
151 
152  // Add line number info.
153  addSourceLine(*VariableDIE, GV);
154  }
155 
156  if (!GV->isDefinition())
157  addFlag(*VariableDIE, dwarf::DW_AT_declaration);
158  else
159  addGlobalName(GV->getName(), *VariableDIE, DeclContext);
160 
161  if (uint32_t AlignInBytes = GV->getAlignInBytes())
162  addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
163  AlignInBytes);
164 
165  if (MDTuple *TP = GV->getTemplateParams())
166  addTemplateParams(*VariableDIE, DINodeArray(TP));
167 
168  // Add location.
169  bool addToAccelTable = false;
170  DIELoc *Loc = nullptr;
171  std::unique_ptr<DIEDwarfExpression> DwarfExpr;
172  for (const auto &GE : GlobalExprs) {
173  const GlobalVariable *Global = GE.Var;
174  const DIExpression *Expr = GE.Expr;
175 
176  // For compatibility with DWARF 3 and earlier,
177  // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes
178  // DW_AT_const_value(X).
179  if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) {
180  addToAccelTable = true;
181  addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1));
182  break;
183  }
184 
185  // We cannot describe the location of dllimport'd variables: the
186  // computation of their address requires loads from the IAT.
187  if (Global && Global->hasDLLImportStorageClass())
188  continue;
189 
190  // Nothing to describe without address or constant.
191  if (!Global && (!Expr || !Expr->isConstant()))
192  continue;
193 
194  if (Global && Global->isThreadLocal() &&
196  continue;
197 
198  if (!Loc) {
199  addToAccelTable = true;
200  Loc = new (DIEValueAllocator) DIELoc;
201  DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc);
202  }
203 
204  if (Expr)
205  DwarfExpr->addFragmentOffset(Expr);
206 
207  if (Global) {
208  const MCSymbol *Sym = Asm->getSymbol(Global);
209  if (Global->isThreadLocal()) {
210  if (Asm->TM.useEmulatedTLS()) {
211  // TODO: add debug info for emulated thread local mode.
212  } else {
213  // FIXME: Make this work with -gsplit-dwarf.
214  unsigned PointerSize = Asm->getDataLayout().getPointerSize();
215  assert((PointerSize == 4 || PointerSize == 8) &&
216  "Add support for other sizes if necessary");
217  // Based on GCC's support for TLS:
218  if (!DD->useSplitDwarf()) {
219  // 1) Start with a constNu of the appropriate pointer size
220  addUInt(*Loc, dwarf::DW_FORM_data1,
221  PointerSize == 4 ? dwarf::DW_OP_const4u
222  : dwarf::DW_OP_const8u);
223  // 2) containing the (relocated) offset of the TLS variable
224  // within the module's TLS block.
225  addExpr(*Loc, dwarf::DW_FORM_udata,
227  } else {
228  addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
229  addUInt(*Loc, dwarf::DW_FORM_udata,
230  DD->getAddressPool().getIndex(Sym, /* TLS */ true));
231  }
232  // 3) followed by an OP to make the debugger do a TLS lookup.
233  addUInt(*Loc, dwarf::DW_FORM_data1,
234  DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address
235  : dwarf::DW_OP_form_tls_address);
236  }
237  } else {
238  DD->addArangeLabel(SymbolCU(this, Sym));
239  addOpAddress(*Loc, Sym);
240  }
241  }
242  // Global variables attached to symbols are memory locations.
243  // It would be better if this were unconditional, but malformed input that
244  // mixes non-fragments and fragments for the same variable is too expensive
245  // to detect in the verifier.
246  if (DwarfExpr->isUnknownLocation())
247  DwarfExpr->setMemoryLocationKind();
248  DwarfExpr->addExpression(Expr);
249  }
250  if (Loc)
251  addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize());
252 
253  if (DD->useAllLinkageNames())
254  addLinkageName(*VariableDIE, GV->getLinkageName());
255 
256  if (addToAccelTable) {
257  DD->addAccelName(*CUNode, GV->getName(), *VariableDIE);
258 
259  // If the linkage name is different than the name, go ahead and output
260  // that as well into the name table.
261  if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName() &&
263  DD->addAccelName(*CUNode, GV->getLinkageName(), *VariableDIE);
264  }
265 
266  return VariableDIE;
267 }
268 
270  bool SameAsPrevCU = this == DD->getPrevCU();
271  DD->setPrevCU(this);
272  // If we have no current ranges just add the range and return, otherwise,
273  // check the current section and CU against the previous section and CU we
274  // emitted into and the subprogram was contained within. If these are the
275  // same then extend our current range, otherwise add this as a new range.
276  if (CURanges.empty() || !SameAsPrevCU ||
277  (&CURanges.back().getEnd()->getSection() !=
278  &Range.getEnd()->getSection())) {
279  CURanges.push_back(Range);
280  DD->addSectionLabel(Range.getStart());
281  return;
282  }
283 
284  CURanges.back().setEnd(Range.getEnd());
285 }
286 
289  return;
290 
291  // Define start line table label for each Compile Unit.
292  MCSymbol *LineTableStartSym;
294  if (DD->useSectionsAsReferences()) {
295  LineTableStartSym = TLOF.getDwarfLineSection()->getBeginSymbol();
296  } else {
297  LineTableStartSym =
298  Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID());
299  }
300 
301  // DW_AT_stmt_list is a offset of line number information for this
302  // compile unit in debug_line section. For split dwarf this is
303  // left in the skeleton CU and so not included.
304  // The line table entries are not always emitted in assembly, so it
305  // is not okay to use line_table_start here.
306  StmtListValue =
307  addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym,
309 }
310 
312  D.addValue(DIEValueAllocator, *StmtListValue);
313 }
314 
316  const MCSymbol *End) {
317  assert(Begin && "Begin label should not be null!");
318  assert(End && "End label should not be null!");
319  assert(Begin->isDefined() && "Invalid starting label");
320  assert(End->isDefined() && "Invalid end label");
321 
322  addLabelAddress(D, dwarf::DW_AT_low_pc, Begin);
323  if (DD->getDwarfVersion() < 4)
324  addLabelAddress(D, dwarf::DW_AT_high_pc, End);
325  else
326  addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin);
327 }
328 
329 // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
330 // and DW_AT_high_pc attributes. If there are global variables in this
331 // scope then create and insert DIEs for these variables.
334 
338  *DD->getCurrentFunction()))
339  addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr);
340 
341  // Only include DW_AT_frame_base in full debug info
343  if (Asm->MF->getTarget().getTargetTriple().isNVPTX()) {
344  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
345  addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_call_frame_cfa);
346  addBlock(*SPDie, dwarf::DW_AT_frame_base, Loc);
347  } else {
349  MachineLocation Location(RI->getFrameRegister(*Asm->MF));
350  if (RI->isPhysicalRegister(Location.getReg()))
351  addAddress(*SPDie, dwarf::DW_AT_frame_base, Location);
352  }
353  }
354 
355  // Add name to the name table, we do this here because we're guaranteed
356  // to have concrete versions of our DW_TAG_subprogram nodes.
357  DD->addSubprogramNames(*CUNode, SP, *SPDie);
358 
359  return *SPDie;
360 }
361 
362 // Construct a DIE for this scope.
364  LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) {
365  if (!Scope || !Scope->getScopeNode())
366  return;
367 
368  auto *DS = Scope->getScopeNode();
369 
370  assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) &&
371  "Only handle inlined subprograms here, use "
372  "constructSubprogramScopeDIE for non-inlined "
373  "subprograms");
374 
375  SmallVector<DIE *, 8> Children;
376 
377  // We try to create the scope DIE first, then the children DIEs. This will
378  // avoid creating un-used children then removing them later when we find out
379  // the scope DIE is null.
380  DIE *ScopeDIE;
381  if (Scope->getParent() && isa<DISubprogram>(DS)) {
382  ScopeDIE = constructInlinedScopeDIE(Scope);
383  if (!ScopeDIE)
384  return;
385  // We create children when the scope DIE is not null.
386  createScopeChildrenDIE(Scope, Children);
387  } else {
388  // Early exit when we know the scope DIE is going to be null.
389  if (DD->isLexicalScopeDIENull(Scope))
390  return;
391 
392  bool HasNonScopeChildren = false;
393 
394  // We create children here when we know the scope DIE is not going to be
395  // null and the children will be added to the scope DIE.
396  createScopeChildrenDIE(Scope, Children, &HasNonScopeChildren);
397 
398  // If there are only other scopes as children, put them directly in the
399  // parent instead, as this scope would serve no purpose.
400  if (!HasNonScopeChildren) {
401  FinalChildren.insert(FinalChildren.end(),
402  std::make_move_iterator(Children.begin()),
403  std::make_move_iterator(Children.end()));
404  return;
405  }
406  ScopeDIE = constructLexicalScopeDIE(Scope);
407  assert(ScopeDIE && "Scope DIE should not be null.");
408  }
409 
410  // Add children
411  for (auto &I : Children)
412  ScopeDIE->addChild(std::move(I));
413 
414  FinalChildren.push_back(std::move(ScopeDIE));
415 }
416 
420 
421  // Emit the offset into .debug_ranges or .debug_rnglists as a relocatable
422  // label. emitDIE() will handle emitting it appropriately.
423  const MCSymbol *RangeSectionSym =
424  DD->getDwarfVersion() >= 5
427 
428  HasRangeLists = true;
429 
430  // Add the range list to the set of ranges to be emitted.
431  auto IndexAndList =
432  (DD->getDwarfVersion() < 5 && Skeleton ? Skeleton->DU : DU)
433  ->addRange(*(Skeleton ? Skeleton : this), std::move(Range));
434 
435  uint32_t Index = IndexAndList.first;
436  auto &List = *IndexAndList.second;
437 
438  // Under fission, ranges are specified by constant offsets relative to the
439  // CU's DW_AT_GNU_ranges_base.
440  // FIXME: For DWARF v5, do not generate the DW_AT_ranges attribute under
441  // fission until we support the forms using the .debug_addr section
442  // (DW_RLE_startx_endx etc.).
443  if (DD->getDwarfVersion() >= 5)
444  addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_rnglistx, Index);
445  else if (isDwoUnit())
446  addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
447  RangeSectionSym);
448  else
449  addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
450  RangeSectionSym);
451 }
452 
454  DIE &Die, SmallVector<RangeSpan, 2> Ranges) {
455  if (Ranges.size() == 1 || !DD->useRangesSection()) {
456  const RangeSpan &Front = Ranges.front();
457  const RangeSpan &Back = Ranges.back();
458  attachLowHighPC(Die, Front.getStart(), Back.getEnd());
459  } else
460  addScopeRangeList(Die, std::move(Ranges));
461 }
462 
464  DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) {
466  List.reserve(Ranges.size());
467  for (const InsnRange &R : Ranges)
468  List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first),
469  DD->getLabelAfterInsn(R.second)));
470  attachRangesOrLowHighPC(Die, std::move(List));
471 }
472 
473 // This scope represents inlined body of a function. Construct DIE to
474 // represent this concrete inlined copy of the function.
476  assert(Scope->getScopeNode());
477  auto *DS = Scope->getScopeNode();
478  auto *InlinedSP = getDISubprogram(DS);
479  // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram
480  // was inlined from another compile unit.
481  DIE *OriginDIE = getAbstractSPDies()[InlinedSP];
482  assert(OriginDIE && "Unable to find original DIE for an inlined subprogram.");
483 
484  auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine);
485  addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE);
486 
487  attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
488 
489  // Add the call site information to the DIE.
490  const DILocation *IA = Scope->getInlinedAt();
491  addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None,
492  getOrCreateSourceID(IA->getFile()));
493  addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine());
494  if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4)
495  addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None,
496  IA->getDiscriminator());
497 
498  // Add name to the name table, we do this here because we're guaranteed
499  // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
500  DD->addSubprogramNames(*CUNode, InlinedSP, *ScopeDIE);
501 
502  return ScopeDIE;
503 }
504 
505 // Construct new DW_TAG_lexical_block for this scope and attach
506 // DW_AT_low_pc/DW_AT_high_pc labels.
508  if (DD->isLexicalScopeDIENull(Scope))
509  return nullptr;
510 
511  auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block);
512  if (Scope->isAbstractScope())
513  return ScopeDIE;
514 
515  attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
516 
517  return ScopeDIE;
518 }
519 
520 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
522  auto D = constructVariableDIEImpl(DV, Abstract);
523  DV.setDIE(*D);
524  return D;
525 }
526 
528  const LexicalScope &Scope) {
529  auto LabelDie = DIE::get(DIEValueAllocator, DL.getTag());
530  insertDIE(DL.getLabel(), LabelDie);
531  DL.setDIE(*LabelDie);
532 
533  if (Scope.isAbstractScope())
534  applyLabelAttributes(DL, *LabelDie);
535 
536  return LabelDie;
537 }
538 
539 DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV,
540  bool Abstract) {
541  // Define variable debug information entry.
542  auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag());
543  insertDIE(DV.getVariable(), VariableDie);
544 
545  if (Abstract) {
546  applyVariableAttributes(DV, *VariableDie);
547  return VariableDie;
548  }
549 
550  // Add variable address.
551 
552  unsigned Offset = DV.getDebugLocListIndex();
553  if (Offset != ~0U) {
554  addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
555  return VariableDie;
556  }
557 
558  // Check if variable is described by a DBG_VALUE instruction.
559  if (const MachineInstr *DVInsn = DV.getMInsn()) {
560  assert(DVInsn->getNumOperands() == 4);
561  if (DVInsn->getOperand(0).isReg()) {
562  auto RegOp = DVInsn->getOperand(0);
563  auto Op1 = DVInsn->getOperand(1);
564  // If the second operand is an immediate, this is an indirect value.
565  assert((!Op1.isImm() || (Op1.getImm() == 0)) && "unexpected offset");
566  MachineLocation Location(RegOp.getReg(), Op1.isImm());
567  addVariableAddress(DV, *VariableDie, Location);
568  } else if (DVInsn->getOperand(0).isImm()) {
569  // This variable is described by a single constant.
570  // Check whether it has a DIExpression.
571  auto *Expr = DV.getSingleExpression();
572  if (Expr && Expr->getNumElements()) {
573  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
574  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
575  // If there is an expression, emit raw unsigned bytes.
576  DwarfExpr.addFragmentOffset(Expr);
577  DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm());
578  DwarfExpr.addExpression(Expr);
579  addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
580  } else
581  addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
582  } else if (DVInsn->getOperand(0).isFPImm())
583  addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
584  else if (DVInsn->getOperand(0).isCImm())
585  addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
586  DV.getType());
587 
588  return VariableDie;
589  }
590 
591  // .. else use frame index.
592  if (!DV.hasFrameIndexExprs())
593  return VariableDie;
594 
595  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
596  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
597  for (auto &Fragment : DV.getFrameIndexExprs()) {
598  unsigned FrameReg = 0;
599  const DIExpression *Expr = Fragment.Expr;
601  int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg);
602  DwarfExpr.addFragmentOffset(Expr);
604  Ops.push_back(dwarf::DW_OP_plus_uconst);
605  Ops.push_back(Offset);
606  Ops.append(Expr->elements_begin(), Expr->elements_end());
607  DIExpressionCursor Cursor(Ops);
608  DwarfExpr.setMemoryLocationKind();
609  if (const MCSymbol *FrameSymbol = Asm->getFunctionFrameSymbol())
610  addOpAddress(*Loc, FrameSymbol);
611  else
612  DwarfExpr.addMachineRegExpression(
613  *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg);
614  DwarfExpr.addExpression(std::move(Cursor));
615  }
616  addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
617 
618  return VariableDie;
619 }
620 
622  const LexicalScope &Scope,
623  DIE *&ObjectPointer) {
624  auto Var = constructVariableDIE(DV, Scope.isAbstractScope());
625  if (DV.isObjectPointer())
626  ObjectPointer = Var;
627  return Var;
628 }
629 
630 /// Return all DIVariables that appear in count: expressions.
633  auto *Array = dyn_cast<DICompositeType>(Var->getType());
634  if (!Array || Array->getTag() != dwarf::DW_TAG_array_type)
635  return Result;
636  for (auto *El : Array->getElements()) {
637  if (auto *Subrange = dyn_cast<DISubrange>(El)) {
638  auto Count = Subrange->getCount();
639  if (auto *Dependency = Count.dyn_cast<DIVariable *>())
640  Result.push_back(Dependency);
641  }
642  }
643  return Result;
644 }
645 
646 /// Sort local variables so that variables appearing inside of helper
647 /// expressions come first.
652  // Map back from a DIVariable to its containing DbgVariable.
654  // Set of DbgVariables in Result.
656  // For cycle detection.
658 
659  // Initialize the worklist and the DIVariable lookup table.
660  for (auto Var : reverse(Input)) {
661  DbgVar.insert({Var->getVariable(), Var});
662  WorkList.push_back({Var, 0});
663  }
664 
665  // Perform a stable topological sort by doing a DFS.
666  while (!WorkList.empty()) {
667  auto Item = WorkList.back();
668  DbgVariable *Var = Item.getPointer();
669  bool visitedAllDependencies = Item.getInt();
670  WorkList.pop_back();
671 
672  // Dependency is in a different lexical scope or a global.
673  if (!Var)
674  continue;
675 
676  // Already handled.
677  if (Visited.count(Var))
678  continue;
679 
680  // Add to Result if all dependencies are visited.
681  if (visitedAllDependencies) {
682  Visited.insert(Var);
683  Result.push_back(Var);
684  continue;
685  }
686 
687  // Detect cycles.
688  auto Res = Visiting.insert(Var);
689  if (!Res.second) {
690  assert(false && "dependency cycle in local variables");
691  return Result;
692  }
693 
694  // Push dependencies and this node onto the worklist, so that this node is
695  // visited again after all of its dependencies are handled.
696  WorkList.push_back({Var, 1});
697  for (auto *Dependency : dependencies(Var)) {
698  auto Dep = dyn_cast_or_null<const DILocalVariable>(Dependency);
699  WorkList.push_back({DbgVar[Dep], 0});
700  }
701  }
702  return Result;
703 }
704 
706  SmallVectorImpl<DIE *> &Children,
707  bool *HasNonScopeChildren) {
708  assert(Children.empty());
709  DIE *ObjectPointer = nullptr;
710 
711  // Emit function arguments (order is significant).
712  auto Vars = DU->getScopeVariables().lookup(Scope);
713  for (auto &DV : Vars.Args)
714  Children.push_back(constructVariableDIE(*DV.second, *Scope, ObjectPointer));
715 
716  // Emit local variables.
717  auto Locals = sortLocalVars(Vars.Locals);
718  for (DbgVariable *DV : Locals)
719  Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer));
720 
721  // Skip imported directives in gmlt-like data.
723  // There is no need to emit empty lexical block DIE.
724  for (const auto *IE : ImportedEntities[Scope->getScopeNode()])
725  Children.push_back(
726  constructImportedEntityDIE(cast<DIImportedEntity>(IE)));
727  }
728 
729  if (HasNonScopeChildren)
730  *HasNonScopeChildren = !Children.empty();
731 
732  for (DbgLabel *DL : DU->getScopeLabels().lookup(Scope))
733  Children.push_back(constructLabelDIE(*DL, *Scope));
734 
735  for (LexicalScope *LS : Scope->getChildren())
736  constructScopeDIE(LS, Children);
737 
738  return ObjectPointer;
739 }
740 
742  LexicalScope *Scope) {
743  DIE &ScopeDIE = updateSubprogramScopeDIE(Sub);
744 
745  if (Scope) {
746  assert(!Scope->getInlinedAt());
747  assert(!Scope->isAbstractScope());
748  // Collect lexical scope children first.
749  // ObjectPointer might be a local (non-argument) local variable if it's a
750  // block's synthetic this pointer.
751  if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE))
752  addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer);
753  }
754 
755  // If this is a variadic function, add an unspecified parameter.
756  DITypeRefArray FnArgs = Sub->getType()->getTypeArray();
757 
758  // If we have a single element of null, it is a function that returns void.
759  // If we have more than one elements and the last one is null, it is a
760  // variadic function.
761  if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] &&
763  ScopeDIE.addChild(
764  DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters));
765 
766  return ScopeDIE;
767 }
768 
770  DIE &ScopeDIE) {
771  // We create children when the scope DIE is not null.
772  SmallVector<DIE *, 8> Children;
773  DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children);
774 
775  // Add children
776  for (auto &I : Children)
777  ScopeDIE.addChild(std::move(I));
778 
779  return ObjectPointer;
780 }
781 
783  LexicalScope *Scope) {
784  DIE *&AbsDef = getAbstractSPDies()[Scope->getScopeNode()];
785  if (AbsDef)
786  return;
787 
788  auto *SP = cast<DISubprogram>(Scope->getScopeNode());
789 
790  DIE *ContextDIE;
791  DwarfCompileUnit *ContextCU = this;
792 
794  ContextDIE = &getUnitDie();
795  // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with
796  // the important distinction that the debug node is not associated with the
797  // DIE (since the debug node will be associated with the concrete DIE, if
798  // any). It could be refactored to some common utility function.
799  else if (auto *SPDecl = SP->getDeclaration()) {
800  ContextDIE = &getUnitDie();
801  getOrCreateSubprogramDIE(SPDecl);
802  } else {
803  ContextDIE = getOrCreateContextDIE(resolve(SP->getScope()));
804  // The scope may be shared with a subprogram that has already been
805  // constructed in another CU, in which case we need to construct this
806  // subprogram in the same CU.
807  ContextCU = DD->lookupCU(ContextDIE->getUnitDie());
808  }
809 
810  // Passing null as the associated node because the abstract definition
811  // shouldn't be found by lookup.
812  AbsDef = &ContextCU->createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr);
813  ContextCU->applySubprogramAttributesToDefinition(SP, *AbsDef);
814 
815  if (!ContextCU->includeMinimalInlineScopes())
816  ContextCU->addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined);
817  if (DIE *ObjectPointer = ContextCU->createAndAddScopeChildren(Scope, *AbsDef))
818  ContextCU->addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer);
819 }
820 
822  const DISubprogram &CalleeSP,
823  bool IsTail,
824  const MCExpr *PCOffset) {
825  // Insert a call site entry DIE within ScopeDIE.
826  DIE &CallSiteDIE =
827  createAndAddDIE(dwarf::DW_TAG_call_site, ScopeDIE, nullptr);
828 
829  // For the purposes of showing tail call frames in backtraces, a key piece of
830  // information is DW_AT_call_origin, a pointer to the callee DIE.
831  DIE *CalleeDIE = getOrCreateSubprogramDIE(&CalleeSP);
832  assert(CalleeDIE && "Could not create DIE for call site entry origin");
833  addDIEEntry(CallSiteDIE, dwarf::DW_AT_call_origin, *CalleeDIE);
834 
835  if (IsTail) {
836  // Attach DW_AT_call_tail_call to tail calls for standards compliance.
837  addFlag(CallSiteDIE, dwarf::DW_AT_call_tail_call);
838  } else {
839  // Attach the return PC to allow the debugger to disambiguate call paths
840  // from one function to another.
841  assert(PCOffset && "Missing return PC information for a call");
842  addAddressExpr(CallSiteDIE, dwarf::DW_AT_call_return_pc, PCOffset);
843  }
844  return CallSiteDIE;
845 }
846 
848  const DIImportedEntity *Module) {
849  DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag());
850  insertDIE(Module, IMDie);
851  DIE *EntityDie;
852  auto *Entity = resolve(Module->getEntity());
853  if (auto *NS = dyn_cast<DINamespace>(Entity))
854  EntityDie = getOrCreateNameSpace(NS);
855  else if (auto *M = dyn_cast<DIModule>(Entity))
856  EntityDie = getOrCreateModule(M);
857  else if (auto *SP = dyn_cast<DISubprogram>(Entity))
858  EntityDie = getOrCreateSubprogramDIE(SP);
859  else if (auto *T = dyn_cast<DIType>(Entity))
860  EntityDie = getOrCreateTypeDIE(T);
861  else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity))
862  EntityDie = getOrCreateGlobalVariableDIE(GV, {});
863  else
864  EntityDie = getDIE(Entity);
865  assert(EntityDie);
866  addSourceLine(*IMDie, Module->getLine(), Module->getFile());
867  addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie);
868  StringRef Name = Module->getName();
869  if (!Name.empty())
870  addString(*IMDie, dwarf::DW_AT_name, Name);
871 
872  return IMDie;
873 }
874 
876  DIE *D = getDIE(SP);
877  if (DIE *AbsSPDIE = getAbstractSPDies().lookup(SP)) {
878  if (D)
879  // If this subprogram has an abstract definition, reference that
880  addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE);
881  } else {
883  if (D)
884  // And attach the attributes
886  }
887 }
888 
890  DbgEntity *AbsEntity = getExistingAbstractEntity(Entity->getEntity());
891 
892  auto *Die = Entity->getDIE();
893  /// Label may be used to generate DW_AT_low_pc, so put it outside
894  /// if/else block.
895  const DbgLabel *Label = nullptr;
896  if (AbsEntity && AbsEntity->getDIE()) {
897  addDIEEntry(*Die, dwarf::DW_AT_abstract_origin, *AbsEntity->getDIE());
898  Label = dyn_cast<const DbgLabel>(Entity);
899  } else {
900  if (const DbgVariable *Var = dyn_cast<const DbgVariable>(Entity))
901  applyVariableAttributes(*Var, *Die);
902  else if ((Label = dyn_cast<const DbgLabel>(Entity)))
903  applyLabelAttributes(*Label, *Die);
904  else
905  llvm_unreachable("DbgEntity must be DbgVariable or DbgLabel.");
906  }
907 
908  if (Label)
909  if (const auto *Sym = Label->getSymbol())
910  addLabelAddress(*Die, dwarf::DW_AT_low_pc, Sym);
911 }
912 
914  auto &AbstractEntities = getAbstractEntities();
915  auto I = AbstractEntities.find(Node);
916  if (I != AbstractEntities.end())
917  return I->second.get();
918  return nullptr;
919 }
920 
922  LexicalScope *Scope) {
923  assert(Scope && Scope->isAbstractScope());
924  auto &Entity = getAbstractEntities()[Node];
925  if (isa<const DILocalVariable>(Node)) {
926  Entity = llvm::make_unique<DbgVariable>(
927  cast<const DILocalVariable>(Node), nullptr /* IA */);;
928  DU->addScopeVariable(Scope, cast<DbgVariable>(Entity.get()));
929  } else if (isa<const DILabel>(Node)) {
930  Entity = llvm::make_unique<DbgLabel>(
931  cast<const DILabel>(Node), nullptr /* IA */);
932  DU->addScopeLabel(Scope, cast<DbgLabel>(Entity.get()));
933  }
934 }
935 
936 void DwarfCompileUnit::emitHeader(bool UseOffsets) {
937  // Don't bother labeling the .dwo unit, as its offset isn't used.
938  if (!Skeleton && !DD->useSectionsAsReferences()) {
939  LabelBegin = Asm->createTempSymbol("cu_begin");
940  Asm->OutStreamer->EmitLabel(LabelBegin);
941  }
942 
943  dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile
944  : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton
945  : dwarf::DW_UT_compile;
946  DwarfUnit::emitCommonHeader(UseOffsets, UT);
947  if (DD->getDwarfVersion() >= 5 && UT != dwarf::DW_UT_compile)
948  Asm->emitInt64(getDWOId());
949 }
950 
952  switch (CUNode->getNameTableKind()) {
954  return false;
955  // Opting in to GNU Pubnames/types overrides the default to ensure these are
956  // generated for things like Gold's gdb_index generation.
958  return true;
960  return DD->tuneForGDB() && !includeMinimalInlineScopes() &&
962  }
963  llvm_unreachable("Unhandled DICompileUnit::DebugNameTableKind enum");
964 }
965 
966 /// addGlobalName - Add a new global name to the compile unit.
968  const DIScope *Context) {
969  if (!hasDwarfPubSections())
970  return;
971  std::string FullName = getParentContextString(Context) + Name.str();
972  GlobalNames[FullName] = &Die;
973 }
974 
976  const DIScope *Context) {
977  if (!hasDwarfPubSections())
978  return;
979  std::string FullName = getParentContextString(Context) + Name.str();
980  // Insert, allowing the entry to remain as-is if it's already present
981  // This way the CU-level type DIE is preferred over the "can't describe this
982  // type as a unit offset because it's not really in the CU at all, it's only
983  // in a type unit"
984  GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie()));
985 }
986 
987 /// Add a new global type to the unit.
988 void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die,
989  const DIScope *Context) {
990  if (!hasDwarfPubSections())
991  return;
992  std::string FullName = getParentContextString(Context) + Ty->getName().str();
993  GlobalTypes[FullName] = &Die;
994 }
995 
997  const DIScope *Context) {
998  if (!hasDwarfPubSections())
999  return;
1000  std::string FullName = getParentContextString(Context) + Ty->getName().str();
1001  // Insert, allowing the entry to remain as-is if it's already present
1002  // This way the CU-level type DIE is preferred over the "can't describe this
1003  // type as a unit offset because it's not really in the CU at all, it's only
1004  // in a type unit"
1005  GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie()));
1006 }
1007 
1008 /// addVariableAddress - Add DW_AT_location attribute for a
1009 /// DbgVariable based on provided MachineLocation.
1011  MachineLocation Location) {
1012  // addBlockByrefAddress is obsolete and will be removed soon.
1013  // The clang frontend always generates block byref variables with a
1014  // complex expression that encodes exactly what addBlockByrefAddress
1015  // would do.
1016  assert((!DV.isBlockByrefVariable() || DV.hasComplexAddress()) &&
1017  "block byref variable without a complex expression");
1018  if (DV.hasComplexAddress())
1019  addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
1020  else
1021  addAddress(Die, dwarf::DW_AT_location, Location);
1022 }
1023 
1024 /// Add an address attribute to a die based on the location provided.
1026  const MachineLocation &Location) {
1027  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1028  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
1029  if (Location.isIndirect())
1030  DwarfExpr.setMemoryLocationKind();
1031 
1032  DIExpressionCursor Cursor({});
1034  if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
1035  return;
1036  DwarfExpr.addExpression(std::move(Cursor));
1037 
1038  // Now attach the location information to the DIE.
1039  addBlock(Die, Attribute, DwarfExpr.finalize());
1040 }
1041 
1042 /// Start with the address based on the location provided, and generate the
1043 /// DWARF information necessary to find the actual variable given the extra
1044 /// address information encoded in the DbgVariable, starting from the starting
1045 /// location. Add the DWARF information to the die.
1048  const MachineLocation &Location) {
1049  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
1050  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
1051  const DIExpression *DIExpr = DV.getSingleExpression();
1052  DwarfExpr.addFragmentOffset(DIExpr);
1053  if (Location.isIndirect())
1054  DwarfExpr.setMemoryLocationKind();
1055 
1056  DIExpressionCursor Cursor(DIExpr);
1058  if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
1059  return;
1060  DwarfExpr.addExpression(std::move(Cursor));
1061 
1062  // Now attach the location information to the DIE.
1063  addBlock(Die, Attribute, DwarfExpr.finalize());
1064 }
1065 
1066 /// Add a Dwarf loclistptr attribute data and value.
1068  unsigned Index) {
1069  dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
1070  : dwarf::DW_FORM_data4;
1071  Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index));
1072 }
1073 
1075  DIE &VariableDie) {
1076  StringRef Name = Var.getName();
1077  if (!Name.empty())
1078  addString(VariableDie, dwarf::DW_AT_name, Name);
1079  const auto *DIVar = Var.getVariable();
1080  if (DIVar)
1081  if (uint32_t AlignInBytes = DIVar->getAlignInBytes())
1082  addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
1083  AlignInBytes);
1084 
1085  addSourceLine(VariableDie, DIVar);
1086  addType(VariableDie, Var.getType());
1087  if (Var.isArtificial())
1088  addFlag(VariableDie, dwarf::DW_AT_artificial);
1089 }
1090 
1092  DIE &LabelDie) {
1093  StringRef Name = Label.getName();
1094  if (!Name.empty())
1095  addString(LabelDie, dwarf::DW_AT_name, Name);
1096  const auto *DILabel = Label.getLabel();
1097  addSourceLine(LabelDie, DILabel);
1098 }
1099 
1100 /// Add a Dwarf expression attribute data and value.
1102  const MCExpr *Expr) {
1103  Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr));
1104 }
1105 
1107  const MCExpr *Expr) {
1108  Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
1109  DIEExpr(Expr));
1110 }
1111 
1113  const DISubprogram *SP, DIE &SPDie) {
1114  auto *SPDecl = SP->getDeclaration();
1115  auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope());
1117  addGlobalName(SP->getName(), SPDie, Context);
1118 }
1119 
1120 bool DwarfCompileUnit::isDwoUnit() const {
1121  return DD->useSplitDwarf() && Skeleton;
1122 }
1123 
1126  (DD->useSplitDwarf() && !Skeleton);
1127 }
1128 
1131  MCSymbol *Label = DD->getAddressPool().getLabel();
1133  getDwarfVersion() >= 5 ? dwarf::DW_AT_addr_base
1134  : dwarf::DW_AT_GNU_addr_base,
1135  Label, TLOF.getDwarfAddrSection()->getBeginSymbol());
1136 }
const DICompileUnit * getCUNode() const
Definition: DwarfUnit.h:90
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
Definition: AsmPrinter.cpp:212
DIE * getDIE() const
Definition: DwarfDebug.h:88
void emitInt64(uint64_t Value) const
Emit a long long directive and value.
DIE::value_iterator addSectionDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi, const MCSymbol *Lo)
addSectionDelta - Add a label delta attribute data and value.
Definition: DwarfUnit.cpp:1607
const DILocalScope * getScopeNode() const
Definition: LexicalScopes.h:64
bool isConstant() const
Determine whether this represents a standalone constant value.
void addFlag(DIE &Die, dwarf::Attribute Attribute)
Add a flag that is true to the DIE.
Definition: DwarfUnit.cpp:200
bool supportDebugThreadLocalLocation() const
Target supports TLS offset relocation in debug section?
LLVM_NODISCARD std::string str() const
str - Get the contents as an std::string.
Definition: StringRef.h:228
LLVMContext & Context
unsigned getDebugLocListIndex() const
Definition: DwarfDebug.h:173
void addLabelDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi, const MCSymbol *Lo)
Add a label delta attribute data and value.
Definition: DwarfUnit.cpp:335
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition: AsmPrinter.h:94
DIELoc - Represents an expression location.
Definition: DIE.h:846
This class represents lattice values for constants.
Definition: AllocatorList.h:24
bool isAbstractScope() const
Definition: LexicalScopes.h:65
MCSection * getDwarfLineSection() const
void addUnsignedConstant(uint64_t Value)
Emit an unsigned constant.
DIE * getOrCreateStaticMemberDIE(const DIDerivedType *DT)
Create new static data member DIE.
Definition: DwarfUnit.cpp:1506
void addOpAddress(DIELoc &Die, const MCSymbol *Sym)
Add a dwarf op address data and value using the form given and an op of either DW_FORM_addr or DW_FOR...
Definition: DwarfUnit.cpp:317
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:42
A Module instance is used to store all the information related to an LLVM module. ...
Definition: Module.h:65
unsigned size() const
void setMemoryLocationKind()
Lock this down to become a memory location description.
virtual int getFrameIndexReference(const MachineFunction &MF, int FI, unsigned &FrameReg) const
getFrameIndexReference - This method should return the base register and offset used to reference a f...
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
void addGlobalName(StringRef Name, const DIE &Die, const DIScope *Context) override
Add a new global name to the compile unit.
void applyLabelAttributes(const DbgLabel &Label, DIE &LabelDie)
const DIType * getType() const
Definition: DwarfDebug.cpp:191
Attribute
Attributes.
Definition: Dwarf.h:115
void insertDIE(const DINode *Desc, DIE *D)
Insert DIE into the map.
Definition: DwarfUnit.cpp:192
unsigned getReg() const
Collects and handles dwarf debug information.
Definition: DwarfDebug.h:281
bool useGNUTLSOpcode() const
Returns whether to use DW_OP_GNU_push_tls_address, instead of the standard DW_OP_form_tls_address opc...
Definition: DwarfDebug.h:622
MD5::MD5Result * getMD5AsBytes(const DIFile *File) const
If the File has an MD5 checksum, return it as an MD5Result allocated in the MCContext.
Definition: DwarfUnit.cpp:288
SmallVectorImpl< InsnRange > & getRanges()
Definition: LexicalScopes.h:67
This class is defined as the common parent of DbgVariable and DbgLabel such that it could levarage po...
Definition: DwarfDebug.h:68
void addRange(RangeSpan Range)
addRange - Add an address range to the list of ranges for this unit.
bool hasDLLImportStorageClass() const
Definition: GlobalValue.h:262
void attachLowHighPC(DIE &D, const MCSymbol *Begin, const MCSymbol *End)
unsigned const TargetRegisterInfo * TRI
MachineFunction * MF
The current machine function.
Definition: AsmPrinter.h:97
void reserve(size_type N)
Definition: SmallVector.h:376
Represents a pointer to a location list in the debug_loc section.
Definition: DIE.h:312
LexicalScope - This class is used to track scope information.
Definition: LexicalScopes.h:45
void addType(DIE &Entity, const DIType *Ty, dwarf::Attribute Attribute=dwarf::DW_AT_type)
Add a new type attribute to the specified entity.
Definition: DwarfUnit.cpp:687
DIE::value_iterator addSectionLabel(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Label, const MCSymbol *Sec)
Add a Dwarf section label attribute data and value.
Definition: DwarfUnit.cpp:1616
const MachineFunction * getCurrentFunction() const
Definition: DwarfDebug.h:708
StringRef getName() const
AsmPrinter * Asm
Target of Dwarf emission.
Definition: DwarfUnit.h:50
Tuple of metadata.
Definition: Metadata.h:1106
Tagged DWARF-like metadata node.
bool useSplitDwarf() const
Returns whether or not to change the current debug info for the split dwarf proposal support...
Definition: DwarfDebug.h:656
const MCSymbol * getSymbol() const
Definition: DwarfDebug.h:244
DIE * getDIE(const DINode *D) const
Returns the DIE map slot for the specified debug variable.
Definition: DwarfUnit.cpp:186
DbgEntity * getExistingAbstractEntity(const DINode *Node)
MCSection * getDwarfRnglistsSection() const
T * resolve(TypedDINodeRef< T > Ref) const
Look in the DwarfDebug map for the MDNode that corresponds to the reference.
Definition: DwarfUnit.h:311
void attachRangesOrLowHighPC(DIE &D, SmallVector< RangeSpan, 2 > Ranges)
StringRef getName() const
amdgpu Simplify well known AMD library false Value Value const Twine & Name
void addArangeLabel(SymbolCU SCU)
Add a label so that arange data can be generated for it.
Definition: DwarfDebug.h:608
StringRef getName() const
bool isDebugDirectivesOnly() const
SmallVectorImpl< LexicalScope * > & getChildren()
Definition: LexicalScopes.h:66
unsigned getTag() const
void addComplexAddress(const DbgVariable &DV, DIE &Die, dwarf::Attribute Attribute, const MachineLocation &Location)
Start with the address based on the location provided, and generate the DWARF information necessary t...
LexicalScope * getParent() const
Definition: LexicalScopes.h:61
bool isObjectPointer() const
Definition: DwarfDebug.h:199
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
Definition: APFloat.h:42
Base class for the full range of assembler expressions which are needed for parsing.
Definition: MCExpr.h:36
void addSubprogramNames(const DICompileUnit &CU, const DISubprogram *SP, DIE &Die)
Definition: DwarfDebug.cpp:419
void addConstantFPValue(DIE &Die, const MachineOperand &MO)
Add constant value entry in variable DIE.
Definition: DwarfUnit.cpp:487
void emitHeader(bool UseOffsets) override
Emit the header for this unit, not including the initial length field.
void addGlobalTypeUnitType(const DIType *Ty, const DIScope *Context)
Add a new global type present in a type unit to this compile unit.
bool isLexicalScopeDIENull(LexicalScope *Scope)
A helper function to check whether the DIE for a given Scope is going to be null. ...
Definition: DwarfDebug.cpp:453
void addAccelName(const DICompileUnit &CU, StringRef Name, const DIE &Die)
DenseMap< LexicalScope *, ScopeVars > & getScopeVariables()
Definition: DwarfFile.h:180
virtual unsigned getFrameRegister(const MachineFunction &MF) const =0
Debug information queries.
Holds a DIExpression and keeps track of how many operands have been consumed so far.
DISubprogram * getDISubprogram(const MDNode *Scope)
Find subprogram that is enclosing this scope.
Definition: DebugInfo.cpp:44
static const uint16_t * lookup(unsigned opcode, unsigned domain, ArrayRef< uint16_t[3]> Table)
StringRef getFilename() const
DIE * getOrCreateTypeDIE(const MDNode *TyNode)
Find existing DIE or create new DIE for the given type.
Definition: DwarfUnit.cpp:622
void addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Loc)
Add block data.
Definition: DwarfUnit.cpp:377
void createAbstractEntity(const DINode *Node, LexicalScope *Scope)
static Optional< DebugNameTableKind > getNameTableKind(StringRef Str)
void addString(DIE &Die, dwarf::Attribute Attribute, StringRef Str)
Add a string attribute data and value.
Definition: DwarfUnit.cpp:235
DIE * constructInlinedScopeDIE(LexicalScope *Scope)
This scope represents inlined body of a function.
auto reverse(ContainerTy &&C, typename std::enable_if< has_rbegin< ContainerTy >::value >::type *=nullptr) -> decltype(make_range(C.rbegin(), C.rend()))
Definition: STLExtras.h:267
AddressPool & getAddressPool()
Definition: DwarfDebug.h:696
Subprogram description.
unsigned getUniqueID() const
const DIExpression * getSingleExpression() const
Definition: DwarfDebug.h:167
MCSymbol * getFunctionBegin() const
Definition: AsmPrinter.h:212
uint64_t getDWOId() const
This class is used to track local variable information.
Definition: DwarfDebug.h:117
bool DisableFramePointerElim(const MachineFunction &MF) const
DisableFramePointerElim - This returns true if frame pointer elimination optimization should be disab...
void addAddrTableBase()
Add the DW_AT_addr_base attribute to the unit DIE.
const DILocalVariable * getVariable() const
Definition: DwarfDebug.h:163
LLVM_NODISCARD LLVM_ATTRIBUTE_ALWAYS_INLINE bool empty() const
empty - Check if the string is empty.
Definition: StringRef.h:133
DIE * constructVariableDIE(DbgVariable &DV, bool Abstract=false)
constructVariableDIE - Construct a DIE for the given DbgVariable.
void addAddressExpr(DIE &Die, dwarf::Attribute Attribute, const MCExpr *Expr)
Add an attribute containing an address expression to Die.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory)...
Definition: APInt.h:33
void addGlobalNameForTypeUnit(StringRef Name, const DIScope *Context)
Add a new global name present in a type unit to this compile unit.
const MachineInstr * getMInsn() const
Definition: DwarfDebug.h:175
DIE * getOrCreateNameSpace(const DINamespace *NS)
Definition: DwarfUnit.cpp:1038
Debug location.
DIE & addChild(DIE *Child)
Add a child to the DIE.
Definition: DIE.h:769
DIScope * getScope() const
void addExpr(DIELoc &Die, dwarf::Form Form, const MCExpr *Expr)
Add a Dwarf expression attribute data and value.
const DwarfCompileUnit * getPrevCU() const
Returns the previous CU that was being updated.
Definition: DwarfDebug.h:674
bool hasComplexAddress() const
Definition: DwarfDebug.h:207
This class is used to track label information.
Definition: DwarfDebug.h:233
void addConstantValue(DIE &Die, const MachineOperand &MO, const DIType *Ty)
Add constant value entry in variable DIE.
Definition: DwarfUnit.cpp:519
bool useEmulatedTLS() const
Returns true if this target uses emulated TLS.
static DIE * get(BumpPtrAllocator &Alloc, dwarf::Tag Tag)
Definition: DIE.h:692
void applySubprogramAttributes(const DISubprogram *SP, DIE &SPDie, bool SkipSPAttributes=false)
Definition: DwarfUnit.cpp:1157
void addSourceLine(DIE &Die, unsigned Line, const DIFile *File)
Add location information to specified debug information entry.
Definition: DwarfUnit.cpp:391
This dwarf writer support class manages information associated with a source file.
Definition: DwarfUnit.h:41
void addLocationList(DIE &Die, dwarf::Attribute Attribute, unsigned Index)
Add a Dwarf loclistptr attribute data and value.
MCSection * getDwarfAddrSection() const
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const DILocation * getInlinedAt() const
Definition: LexicalScopes.h:63
unsigned getPointerSize(unsigned AS=0) const
Layout pointer size FIXME: The defaults need to be removed once all of the backends/clients are updat...
Definition: DataLayout.cpp:629
A structured debug information entry.
Definition: DIE.h:662
DIE & getUnitDie()
Definition: DIE.h:834
TargetMachine & TM
Target machine description.
Definition: AsmPrinter.h:82
This class is intended to be used as a driving class for all asm writers.
Definition: AsmPrinter.h:79
An expression DIE.
Definition: DIE.h:201
unsigned getOrCreateSourceID(const DIFile *File) override
Look up the source ID for the given file.
DIE * createScopeChildrenDIE(LexicalScope *Scope, SmallVectorImpl< DIE *> &Children, bool *HasNonScopeChildren=nullptr)
A helper function to create children of a Scope DIE.
void finishEntityDefinition(const DbgEntity *Entity)
void setDIE(DIE &D)
Definition: DwarfDebug.h:92
MDTuple * getTemplateParams() const
DwarfCompileUnit(unsigned UID, const DICompileUnit *Node, AsmPrinter *A, DwarfDebug *DW, DwarfFile *DWU)
DIDerivedType * getStaticDataMemberDeclaration() const
void emitCommonHeader(bool UseOffsets, dwarf::UnitType UT)
Emit the common part of the header for this unit.
Definition: DwarfUnit.cpp:1553
void addAddress(DIE &Die, dwarf::Attribute Attribute, const MachineLocation &Location)
Add an address attribute to a die based on the location provided.
A label DIE.
Definition: DIE.h:218
DIE * getOrCreateSubprogramDIE(const DISubprogram *SP, bool Minimal=false)
Definition: DwarfUnit.cpp:1083
const Triple & getTargetTriple() const
bool hasFrameIndexExprs() const
Definition: DwarfDebug.h:178
Base class for variables.
DIE * createAndAddScopeChildren(LexicalScope *Scope, DIE &ScopeDIE)
const DILabel * getLabel() const
Accessors.
Definition: DwarfDebug.h:243
bool addScopeVariable(LexicalScope *LS, DbgVariable *Var)
Definition: DwarfFile.cpp:95
void addLabelAddress(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Label)
addLabelAddress - Add a dwarf label attribute data and value using either DW_FORM_addr or DW_FORM_GNU...
dwarf::Tag getTag() const
Definition: DwarfDebug.h:182
T * resolve(TypedDINodeRef< T > Ref) const
Find the MDNode for the given reference.
Definition: DwarfDebug.h:689
Helper used to pair up a symbol and its DWARF compile unit.
Definition: DwarfDebug.h:265
StringRef getDirectory() const
bool useAllLinkageNames() const
Returns whether we should emit all DW_AT_[MIPS_]linkage_name.
Definition: DwarfDebug.h:618
MCSymbol * getLabelAfterInsn(const MachineInstr *MI)
Return Label immediately following the instruction.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
element_iterator elements_end() const
size_t size() const
Definition: SmallVector.h:53
void addScopeRangeList(DIE &ScopeDIE, SmallVector< RangeSpan, 2 > Range)
A helper function to construct a RangeSpanList for a given lexical scope.
uint64_t getElement(unsigned I) const
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
const MCSymbol * getStart() const
Definition: DwarfFile.h:39
ArrayRef< FrameIndexExpr > getFrameIndexExprs() const
Get the FI entries, sorted by fragment offset.
Definition: DwarfDebug.cpp:236
An imported module (C++ using directive or similar).
Base class for scope-like contexts.
DIE * constructImportedEntityDIE(const DIImportedEntity *Module)
Construct import_module DIE.
std::string getParentContextString(const DIScope *Context) const
Get string containing language specific context for a global name.
Definition: DwarfUnit.cpp:693
UnitType
Constants for unit types in DWARF v5.
Definition: Dwarf.h:330
void addSectionLabel(const MCSymbol *Sym)
void addExpression(DIExpressionCursor &&Expr, unsigned FragmentOffsetInBits=0)
Emit all remaining operations in the DIExpressionCursor.
DIE * constructLabelDIE(DbgLabel &DL, const LexicalScope &Scope)
Construct a DIE for the given DbgLabel.
bool tuneForGDB() const
Definition: DwarfDebug.h:724
void constructAbstractSubprogramScopeDIE(LexicalScope *Scope)
void addScopeLabel(LexicalScope *LS, DbgLabel *Label)
Definition: DwarfFile.cpp:112
bool useSectionsAsReferences() const
Returns whether to use sections as labels rather than temp symbols.
Definition: DwarfDebug.h:635
DenseMap< LexicalScope *, LabelList > & getScopeLabels()
Definition: DwarfFile.h:184
StringRef getName() const
Definition: DwarfDebug.h:246
void setPrevCU(const DwarfCompileUnit *PrevCU)
Definition: DwarfDebug.h:675
Base class for types.
static Optional< DebugEmissionKind > getEmissionKind(StringRef Str)
StringRef getName() const
MCSymbol * getSymbol(const GlobalValue *GV) const
Definition: AsmPrinter.cpp:430
DwarfCompileUnit * lookupCU(const DIE *Die)
Find the matching DwarfCompileUnit for the given CU DIE.
Definition: DwarfDebug.h:715
This is a &#39;vector&#39; (really, a variable-sized array), optimized for the case when the array is small...
Definition: SmallVector.h:847
Information about stack frame layout on the target.
void addLinkageName(DIE &Die, StringRef LinkageName)
Add a linkage name, if it isn&#39;t empty.
Definition: DwarfUnit.cpp:566
void applySubprogramAttributesToDefinition(const DISubprogram *SP, DIE &SPDie)
MCSymbol * getBeginSymbol()
Definition: MCSection.h:110
void finishSubprogramDefinition(const DISubprogram *SP)
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
bool useAppleExtensionAttributes() const
Definition: DwarfDebug.h:650
MCSymbol * getFunctionEnd() const
Definition: AsmPrinter.h:213
static SmallVector< const DIVariable *, 2 > dependencies(DbgVariable *Var)
Return all DIVariables that appear in count: expressions.
StringRef getDisplayName() const
DWARF expression.
void addTemplateParams(DIE &Buffer, DINodeArray TParams)
Add template parameters in buffer.
Definition: DwarfUnit.cpp:574
Implements a dense probed hash-table based set with some number of buckets stored inline...
Definition: DenseSet.h:268
StringRef getLinkageName() const
DIE & constructSubprogramScopeDIE(const DISubprogram *Sub, LexicalScope *Scope)
Construct a DIE for this subprogram scope.
This file contains constants used for implementing Dwarf debug support.
bool isDefined() const
isDefined - Check if this symbol is defined (i.e., it has an address).
Definition: MCSymbol.h:248
DwarfDebug * DD
Definition: DwarfUnit.h:56
MCSymbol * getLabel()
Definition: AddressPool.h:54
StringRef getName() const
Definition: DwarfDebug.h:174
MCSection & getSection() const
Get the section associated with a defined, non-absolute symbol.
Definition: MCSymbol.h:267
virtual const MCSymbol * getFunctionFrameSymbol() const
Return symbol for the function pseudo stack if the stack frame is not a register based.
Definition: AsmPrinter.h:210
void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry)
Add a DIE attribute data and value.
Definition: DwarfUnit.cpp:341
iterator insert(iterator I, T &&Elt)
Definition: SmallVector.h:478
void append(in_iter in_start, in_iter in_end)
Add the specified range to the end of the SmallVector.
Definition: SmallVector.h:394
DIE * getOrCreateContextDIE(const DIScope *Context)
Get context owner&#39;s DIE.
Definition: DwarfUnit.cpp:592
dwarf::Tag getTag() const
Translate tag to proper Dwarf tag.
Definition: DwarfDebug.h:250
Representation of each machine instruction.
Definition: MachineInstr.h:64
An integer value DIE.
Definition: DIE.h:163
static bool isPhysicalRegister(unsigned Reg)
Return true if the specified register number is in the physical register namespace.
LLVM_ATTRIBUTE_ALWAYS_INLINE iterator end()
Definition: SmallVector.h:133
DIE * getOrCreateGlobalVariableDIE(const DIGlobalVariable *GV, ArrayRef< GlobalExpr > GlobalExprs)
Get or create global variable DIE.
DIE & createAndAddDIE(unsigned Tag, DIE &Parent, const DINode *N=nullptr)
Create a DIE with the given Tag, add the DIE to its parent, and call insertDIE if MD is not null...
Definition: DwarfUnit.cpp:370
LLVM_NODISCARD bool empty() const
Definition: SmallVector.h:56
bool useRangesSection() const
Returns whether ranges section should be emitted.
Definition: DwarfDebug.h:632
bool isBlockByrefVariable() const
Definition: DwarfDebug.cpp:186
void addVariableAddress(const DbgVariable &DV, DIE &Die, MachineLocation Location)
Add DW_AT_location attribute for a DbgVariable based on provided MachineLocation. ...
TargetOptions Options
Definition: TargetMachine.h:97
const NodeList & List
Definition: RDFGraph.cpp:210
#define I(x, y, z)
Definition: MD5.cpp:58
void addGlobalType(const DIType *Ty, const DIE &Die, const DIScope *Context) override
Add a new global type to the compile unit.
virtual const TargetFrameLowering * getFrameLowering() const
void applyVariableAttributes(const DbgVariable &Var, DIE &VariableDie)
Optional< StringRef > getSource() const
element_iterator elements_begin() const
DIE * getOrCreateModule(const DIModule *M)
Definition: DwarfUnit.cpp:1059
static SmallVector< DbgVariable *, 8 > sortLocalVars(SmallVectorImpl< DbgVariable *> &Input)
Sort local variables so that variables appearing inside of helper expressions come first...
LLVM_NODISCARD std::enable_if<!is_simple_type< Y >::value, typename cast_retty< X, const Y >::ret_type >::type dyn_cast(const Y &Val)
Definition: Casting.h:323
DIE & constructCallSiteEntryDIE(DIE &ScopeDIE, const DISubprogram &CalleeSP, bool IsTail, const MCExpr *PCOffset)
Construct a call site entry DIE describing a call within Scope to a callee described by CalleeSP...
bool includeMinimalInlineScopes() const
size_type count(const_arg_type_t< ValueT > V) const
Return 1 if the specified key is in the set, 0 otherwise.
Definition: DenseSet.h:92
const DICompileUnit * CUNode
MDNode for the compile unit.
Definition: DwarfUnit.h:44
const LLVMTargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
DwarfExpression implementation for singular DW_AT_location.
uint16_t getDwarfVersion() const
Definition: DwarfUnit.h:92
void addFragmentOffset(const DIExpression *Expr)
If applicable, emit an empty DW_OP_piece / DW_OP_bit_piece to advance to the fragment described by Ex...
DITypeRef getType() const
MCSymbol * getLabelBeforeInsn(const MachineInstr *MI)
Return Label preceding the instruction.
BumpPtrAllocator DIEValueAllocator
Definition: DwarfUnit.h:47
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
const MCSymbol * getEnd() const
Definition: DwarfFile.h:40
uint32_t getAlignInBytes() const
DINodeRef getEntity() const
void addLocalLabelAddress(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Label)
addLocalLabelAddress - Add a dwarf label attribute data and value using DW_FORM_addr only...
uint16_t getDwarfVersion() const
Returns the Dwarf Version.
DIE & updateSubprogramScopeDIE(const DISubprogram *SP)
Find DIE for the given subprogram and attach appropriate DW_AT_low_pc and DW_AT_high_pc attributes...
void constructScopeDIE(LexicalScope *Scope, SmallVectorImpl< DIE *> &FinalChildren)
void addUInt(DIEValueList &Die, dwarf::Attribute Attribute, Optional< dwarf::Form > Form, uint64_t Integer)
Add an unsigned integer attribute data and value.
Definition: DwarfUnit.cpp:209
const DataLayout & getDataLayout() const
Return information about data layout.
Definition: AsmPrinter.cpp:216
bool isThreadLocal() const
If the value is "Thread Local", its value isn&#39;t shared by the threads.
Definition: GlobalValue.h:247
const DINode * getEntity() const
Accessors.
Definition: DwarfDebug.h:86
bool isNVPTX() const
Tests whether the target is NVPTX (32- or 64-bit).
Definition: Triple.h:660
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:49
MCSection * getDwarfRangesSection() const
DwarfFile * DU
Definition: DwarfUnit.h:57
virtual const MCExpr * getDebugThreadLocalSymbol(const MCSymbol *Sym) const
Create a symbol reference to describe the given TLS variable when emitting the address in debug info...
void applyStmtList(DIE &D)
Apply the DW_AT_stmt_list from this compile unit to the specified DIE.
MCSymbol * createTempSymbol(const Twine &Name) const
bool addMachineRegExpression(const TargetRegisterInfo &TRI, DIExpressionCursor &Expr, unsigned MachineReg, unsigned FragmentOffsetInBits=0)
Emit a machine register location.
bool isArtificial() const
Return true if DbgVariable is artificial.
Definition: DwarfDebug.h:191
value_iterator addValue(BumpPtrAllocator &Alloc, const DIEValue &V)
Definition: DIE.h:640
std::pair< const MachineInstr *, const MachineInstr * > InsnRange
InsnRange - This is used to track range of instructions with identical lexical scope.
Definition: LexicalScopes.h:40
DIE * constructLexicalScopeDIE(LexicalScope *Scope)
Construct new DW_TAG_lexical_block for this scope and attach DW_AT_low_pc/DW_AT_high_pc labels...
DIScopeRef getScope() const
unsigned getIndex(const MCSymbol *Sym, bool TLS=false)
Returns the index into the address pool with the given label/symbol.
Definition: AddressPool.cpp:20