LLVM  7.0.0svn
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)
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, dwarf::DW_FORM_GNU_addr_index,
80  DIEInteger(idx));
81 }
82 
85  const MCSymbol *Label) {
86  if (Label)
87  DD->addArangeLabel(SymbolCU(this, Label));
88 
89  if (Label)
90  Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
91  DIELabel(Label));
92  else
93  Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
94  DIEInteger(0));
95 }
96 
98  // If we print assembly, we can't separate .file entries according to
99  // compile units. Thus all files will belong to the default compile unit.
100 
101  // FIXME: add a better feature test than hasRawTextSupport. Even better,
102  // extend .file to support this.
103  unsigned CUID = Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID();
104  if (!File)
105  return Asm->OutStreamer->EmitDwarfFileDirective(0, "", "", nullptr, None, CUID);
106  return Asm->OutStreamer->EmitDwarfFileDirective(
107  0, File->getDirectory(), File->getFilename(), getMD5AsBytes(File),
108  File->getSource(), CUID);
109 }
110 
112  const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) {
113  // Check for pre-existence.
114  if (DIE *Die = getDIE(GV))
115  return Die;
116 
117  assert(GV);
118 
119  auto *GVContext = GV->getScope();
120  auto *GTy = DD->resolve(GV->getType());
121 
122  // Construct the context before querying for the existence of the DIE in
123  // case such construction creates the DIE.
124  DIE *ContextDIE = getOrCreateContextDIE(GVContext);
125 
126  // Add to map.
127  DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV);
128  DIScope *DeclContext;
129  if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) {
130  DeclContext = resolve(SDMDecl->getScope());
131  assert(SDMDecl->isStaticMember() && "Expected static member decl");
132  assert(GV->isDefinition());
133  // We need the declaration DIE that is in the static member's class.
134  DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl);
135  addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE);
136  // If the global variable's type is different from the one in the class
137  // member type, assume that it's more specific and also emit it.
138  if (GTy != DD->resolve(SDMDecl->getBaseType()))
139  addType(*VariableDIE, GTy);
140  } else {
141  DeclContext = GV->getScope();
142  // Add name and type.
143  addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName());
144  addType(*VariableDIE, GTy);
145 
146  // Add scoping info.
147  if (!GV->isLocalToUnit())
148  addFlag(*VariableDIE, dwarf::DW_AT_external);
149 
150  // Add line number info.
151  addSourceLine(*VariableDIE, GV);
152  }
153 
154  if (!GV->isDefinition())
155  addFlag(*VariableDIE, dwarf::DW_AT_declaration);
156  else
157  addGlobalName(GV->getName(), *VariableDIE, DeclContext);
158 
159  if (uint32_t AlignInBytes = GV->getAlignInBytes())
160  addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
161  AlignInBytes);
162 
163  // Add location.
164  bool addToAccelTable = false;
165  DIELoc *Loc = nullptr;
166  std::unique_ptr<DIEDwarfExpression> DwarfExpr;
167  for (const auto &GE : GlobalExprs) {
168  const GlobalVariable *Global = GE.Var;
169  const DIExpression *Expr = GE.Expr;
170 
171  // For compatibility with DWARF 3 and earlier,
172  // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes
173  // DW_AT_const_value(X).
174  if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) {
175  addToAccelTable = true;
176  addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1));
177  break;
178  }
179 
180  // We cannot describe the location of dllimport'd variables: the
181  // computation of their address requires loads from the IAT.
182  if (Global && Global->hasDLLImportStorageClass())
183  continue;
184 
185  // Nothing to describe without address or constant.
186  if (!Global && (!Expr || !Expr->isConstant()))
187  continue;
188 
189  if (!Loc) {
190  addToAccelTable = true;
191  Loc = new (DIEValueAllocator) DIELoc;
192  DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc);
193  }
194 
195  if (Expr)
196  DwarfExpr->addFragmentOffset(Expr);
197 
198  if (Global) {
199  const MCSymbol *Sym = Asm->getSymbol(Global);
200  if (Global->isThreadLocal()) {
201  if (Asm->TM.useEmulatedTLS()) {
202  // TODO: add debug info for emulated thread local mode.
203  } else {
204  // FIXME: Make this work with -gsplit-dwarf.
205  unsigned PointerSize = Asm->getDataLayout().getPointerSize();
206  assert((PointerSize == 4 || PointerSize == 8) &&
207  "Add support for other sizes if necessary");
208  // Based on GCC's support for TLS:
209  if (!DD->useSplitDwarf()) {
210  // 1) Start with a constNu of the appropriate pointer size
211  addUInt(*Loc, dwarf::DW_FORM_data1,
212  PointerSize == 4 ? dwarf::DW_OP_const4u
213  : dwarf::DW_OP_const8u);
214  // 2) containing the (relocated) offset of the TLS variable
215  // within the module's TLS block.
216  addExpr(*Loc, dwarf::DW_FORM_udata,
218  } else {
219  addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
220  addUInt(*Loc, dwarf::DW_FORM_udata,
221  DD->getAddressPool().getIndex(Sym, /* TLS */ true));
222  }
223  // 3) followed by an OP to make the debugger do a TLS lookup.
224  addUInt(*Loc, dwarf::DW_FORM_data1,
225  DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address
226  : dwarf::DW_OP_form_tls_address);
227  }
228  } else {
229  DD->addArangeLabel(SymbolCU(this, Sym));
230  addOpAddress(*Loc, Sym);
231  }
232  }
233  if (Expr)
234  DwarfExpr->addExpression(Expr);
235  }
236  if (Loc)
237  addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize());
238 
239  if (DD->useAllLinkageNames())
240  addLinkageName(*VariableDIE, GV->getLinkageName());
241 
242  if (addToAccelTable) {
243  DD->addAccelName(GV->getName(), *VariableDIE);
244 
245  // If the linkage name is different than the name, go ahead and output
246  // that as well into the name table.
247  if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName())
248  DD->addAccelName(GV->getLinkageName(), *VariableDIE);
249  }
250 
251  return VariableDIE;
252 }
253 
255  bool SameAsPrevCU = this == DD->getPrevCU();
256  DD->setPrevCU(this);
257  // If we have no current ranges just add the range and return, otherwise,
258  // check the current section and CU against the previous section and CU we
259  // emitted into and the subprogram was contained within. If these are the
260  // same then extend our current range, otherwise add this as a new range.
261  if (CURanges.empty() || !SameAsPrevCU ||
262  (&CURanges.back().getEnd()->getSection() !=
263  &Range.getEnd()->getSection())) {
264  CURanges.push_back(Range);
265  return;
266  }
267 
268  CURanges.back().setEnd(Range.getEnd());
269 }
270 
272  // Define start line table label for each Compile Unit.
273  MCSymbol *LineTableStartSym;
275  if (DD->useSectionsAsReferences()) {
276  LineTableStartSym = TLOF.getDwarfLineSection()->getBeginSymbol();
277  } else {
278  LineTableStartSym =
279  Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID());
280  }
281 
282  // DW_AT_stmt_list is a offset of line number information for this
283  // compile unit in debug_line section. For split dwarf this is
284  // left in the skeleton CU and so not included.
285  // The line table entries are not always emitted in assembly, so it
286  // is not okay to use line_table_start here.
287  StmtListValue =
288  addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym,
290 }
291 
293  D.addValue(DIEValueAllocator, *StmtListValue);
294 }
295 
297  const MCSymbol *End) {
298  assert(Begin && "Begin label should not be null!");
299  assert(End && "End label should not be null!");
300  assert(Begin->isDefined() && "Invalid starting label");
301  assert(End->isDefined() && "Invalid end label");
302 
303  addLabelAddress(D, dwarf::DW_AT_low_pc, Begin);
304  if (DD->getDwarfVersion() < 4)
305  addLabelAddress(D, dwarf::DW_AT_high_pc, End);
306  else
307  addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin);
308 }
309 
310 // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
311 // and DW_AT_high_pc attributes. If there are global variables in this
312 // scope then create and insert DIEs for these variables.
315 
319  *DD->getCurrentFunction()))
320  addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr);
321 
322  // Only include DW_AT_frame_base in full debug info
325  MachineLocation Location(RI->getFrameRegister(*Asm->MF));
326  if (RI->isPhysicalRegister(Location.getReg()))
327  addAddress(*SPDie, dwarf::DW_AT_frame_base, Location);
328  }
329 
330  // Add name to the name table, we do this here because we're guaranteed
331  // to have concrete versions of our DW_TAG_subprogram nodes.
332  DD->addSubprogramNames(SP, *SPDie);
333 
334  return *SPDie;
335 }
336 
337 // Construct a DIE for this scope.
339  LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) {
340  if (!Scope || !Scope->getScopeNode())
341  return;
342 
343  auto *DS = Scope->getScopeNode();
344 
345  assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) &&
346  "Only handle inlined subprograms here, use "
347  "constructSubprogramScopeDIE for non-inlined "
348  "subprograms");
349 
350  SmallVector<DIE *, 8> Children;
351 
352  // We try to create the scope DIE first, then the children DIEs. This will
353  // avoid creating un-used children then removing them later when we find out
354  // the scope DIE is null.
355  DIE *ScopeDIE;
356  if (Scope->getParent() && isa<DISubprogram>(DS)) {
357  ScopeDIE = constructInlinedScopeDIE(Scope);
358  if (!ScopeDIE)
359  return;
360  // We create children when the scope DIE is not null.
361  createScopeChildrenDIE(Scope, Children);
362  } else {
363  // Early exit when we know the scope DIE is going to be null.
364  if (DD->isLexicalScopeDIENull(Scope))
365  return;
366 
367  bool HasNonScopeChildren = false;
368 
369  // We create children here when we know the scope DIE is not going to be
370  // null and the children will be added to the scope DIE.
371  createScopeChildrenDIE(Scope, Children, &HasNonScopeChildren);
372 
373  // If there are only other scopes as children, put them directly in the
374  // parent instead, as this scope would serve no purpose.
375  if (!HasNonScopeChildren) {
376  FinalChildren.insert(FinalChildren.end(),
377  std::make_move_iterator(Children.begin()),
378  std::make_move_iterator(Children.end()));
379  return;
380  }
381  ScopeDIE = constructLexicalScopeDIE(Scope);
382  assert(ScopeDIE && "Scope DIE should not be null.");
383  }
384 
385  // Add children
386  for (auto &I : Children)
387  ScopeDIE->addChild(std::move(I));
388 
389  FinalChildren.push_back(std::move(ScopeDIE));
390 }
391 
395 
396  // Emit offset in .debug_range as a relocatable label. emitDIE will handle
397  // emitting it appropriately.
398  const MCSymbol *RangeSectionSym =
400 
401  RangeSpanList List(Asm->createTempSymbol("debug_ranges"), std::move(Range));
402 
403  // Under fission, ranges are specified by constant offsets relative to the
404  // CU's DW_AT_GNU_ranges_base.
405  if (isDwoUnit())
406  addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
407  RangeSectionSym);
408  else
409  addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
410  RangeSectionSym);
411 
412  // Add the range list to the set of ranges to be emitted.
413  (Skeleton ? Skeleton : this)->CURangeLists.push_back(std::move(List));
414 }
415 
417  DIE &Die, SmallVector<RangeSpan, 2> Ranges) {
418  if (Ranges.size() == 1 || !DD->useRangesSection()) {
419  const RangeSpan &Front = Ranges.front();
420  const RangeSpan &Back = Ranges.back();
421  attachLowHighPC(Die, Front.getStart(), Back.getEnd());
422  } else
423  addScopeRangeList(Die, std::move(Ranges));
424 }
425 
427  DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) {
429  List.reserve(Ranges.size());
430  for (const InsnRange &R : Ranges)
431  List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first),
432  DD->getLabelAfterInsn(R.second)));
433  attachRangesOrLowHighPC(Die, std::move(List));
434 }
435 
436 // This scope represents inlined body of a function. Construct DIE to
437 // represent this concrete inlined copy of the function.
439  assert(Scope->getScopeNode());
440  auto *DS = Scope->getScopeNode();
441  auto *InlinedSP = getDISubprogram(DS);
442  // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram
443  // was inlined from another compile unit.
444  DIE *OriginDIE = getAbstractSPDies()[InlinedSP];
445  assert(OriginDIE && "Unable to find original DIE for an inlined subprogram.");
446 
447  auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine);
448  addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE);
449 
450  attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
451 
452  // Add the call site information to the DIE.
453  const DILocation *IA = Scope->getInlinedAt();
454  addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None,
455  getOrCreateSourceID(IA->getFile()));
456  addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine());
457  if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4)
458  addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None,
459  IA->getDiscriminator());
460 
461  // Add name to the name table, we do this here because we're guaranteed
462  // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
463  DD->addSubprogramNames(InlinedSP, *ScopeDIE);
464 
465  return ScopeDIE;
466 }
467 
468 // Construct new DW_TAG_lexical_block for this scope and attach
469 // DW_AT_low_pc/DW_AT_high_pc labels.
471  if (DD->isLexicalScopeDIENull(Scope))
472  return nullptr;
473 
474  auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block);
475  if (Scope->isAbstractScope())
476  return ScopeDIE;
477 
478  attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
479 
480  return ScopeDIE;
481 }
482 
483 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
485  auto D = constructVariableDIEImpl(DV, Abstract);
486  DV.setDIE(*D);
487  return D;
488 }
489 
490 DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV,
491  bool Abstract) {
492  // Define variable debug information entry.
493  auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag());
494  insertDIE(DV.getVariable(), VariableDie);
495 
496  if (Abstract) {
497  applyVariableAttributes(DV, *VariableDie);
498  return VariableDie;
499  }
500 
501  // Add variable address.
502 
503  unsigned Offset = DV.getDebugLocListIndex();
504  if (Offset != ~0U) {
505  addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
506  return VariableDie;
507  }
508 
509  // Check if variable is described by a DBG_VALUE instruction.
510  if (const MachineInstr *DVInsn = DV.getMInsn()) {
511  assert(DVInsn->getNumOperands() == 4);
512  if (DVInsn->getOperand(0).isReg()) {
513  auto RegOp = DVInsn->getOperand(0);
514  auto Op1 = DVInsn->getOperand(1);
515  // If the second operand is an immediate, this is an indirect value.
516  assert((!Op1.isImm() || (Op1.getImm() == 0)) && "unexpected offset");
517  MachineLocation Location(RegOp.getReg(), Op1.isImm());
518  addVariableAddress(DV, *VariableDie, Location);
519  } 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.
527  DwarfExpr.addFragmentOffset(Expr);
528  DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm());
529  DwarfExpr.addExpression(Expr);
530  addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
531  } else
532  addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
533  } else if (DVInsn->getOperand(0).isFPImm())
534  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.
543  if (!DV.hasFrameIndexExprs())
544  return VariableDie;
545 
546  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
547  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
548  for (auto &Fragment : DV.getFrameIndexExprs()) {
549  unsigned FrameReg = 0;
550  const DIExpression *Expr = Fragment.Expr;
552  int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg);
553  DwarfExpr.addFragmentOffset(Expr);
555  Ops.push_back(dwarf::DW_OP_plus_uconst);
556  Ops.push_back(Offset);
557  Ops.append(Expr->elements_begin(), Expr->elements_end());
558  DIExpressionCursor Cursor(Ops);
559  DwarfExpr.setMemoryLocationKind();
560  DwarfExpr.addMachineRegExpression(
561  *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg);
562  DwarfExpr.addExpression(std::move(Cursor));
563  }
564  addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
565 
566  return VariableDie;
567 }
568 
570  const LexicalScope &Scope,
571  DIE *&ObjectPointer) {
572  auto Var = constructVariableDIE(DV, Scope.isAbstractScope());
573  if (DV.isObjectPointer())
574  ObjectPointer = Var;
575  return Var;
576 }
577 
578 /// Return all DIVariables that appear in count: expressions.
581  auto *Array = dyn_cast<DICompositeType>(Var->getType());
582  if (!Array || Array->getTag() != dwarf::DW_TAG_array_type)
583  return Result;
584  for (auto *El : Array->getElements()) {
585  if (auto *Subrange = dyn_cast<DISubrange>(El)) {
586  auto Count = Subrange->getCount();
587  if (auto *Dependency = Count.dyn_cast<DIVariable *>())
588  Result.push_back(Dependency);
589  }
590  }
591  return Result;
592 }
593 
594 /// Sort local variables so that variables appearing inside of helper
595 /// expressions come first.
600  // Map back from a DIVariable to its containing DbgVariable.
602  // Set of DbgVariables in Result.
604  // For cycle detection.
606 
607  // Initialize the worklist and the DIVariable lookup table.
608  for (auto Var : reverse(Input)) {
609  DbgVar.insert({Var->getVariable(), Var});
610  WorkList.push_back({Var, 0});
611  }
612 
613  // Perform a stable topological sort by doing a DFS.
614  while (!WorkList.empty()) {
615  auto Item = WorkList.back();
616  DbgVariable *Var = Item.getPointer();
617  bool visitedAllDependencies = Item.getInt();
618  WorkList.pop_back();
619 
620  // Dependency is in a different lexical scope or a global.
621  if (!Var)
622  continue;
623 
624  // Already handled.
625  if (Visited.count(Var))
626  continue;
627 
628  // Add to Result if all dependencies are visited.
629  if (visitedAllDependencies) {
630  Visited.insert(Var);
631  Result.push_back(Var);
632  continue;
633  }
634 
635  // Detect cycles.
636  auto Res = Visiting.insert(Var);
637  if (!Res.second) {
638  assert(false && "dependency cycle in local variables");
639  return Result;
640  }
641 
642  // Push dependencies and this node onto the worklist, so that this node is
643  // visited again after all of its dependencies are handled.
644  WorkList.push_back({Var, 1});
645  for (auto *Dependency : dependencies(Var)) {
646  auto Dep = dyn_cast_or_null<const DILocalVariable>(Dependency);
647  WorkList.push_back({DbgVar[Dep], 0});
648  }
649  }
650  return Result;
651 }
652 
654  SmallVectorImpl<DIE *> &Children,
655  bool *HasNonScopeChildren) {
656  assert(Children.empty());
657  DIE *ObjectPointer = nullptr;
658 
659  // Emit function arguments (order is significant).
660  auto Vars = DU->getScopeVariables().lookup(Scope);
661  for (auto &DV : Vars.Args)
662  Children.push_back(constructVariableDIE(*DV.second, *Scope, ObjectPointer));
663 
664  // Emit local variables.
665  auto Locals = sortLocalVars(Vars.Locals);
666  for (DbgVariable *DV : Locals)
667  Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer));
668 
669  // Skip imported directives in gmlt-like data.
671  // There is no need to emit empty lexical block DIE.
672  for (const auto *IE : ImportedEntities[Scope->getScopeNode()])
673  Children.push_back(
674  constructImportedEntityDIE(cast<DIImportedEntity>(IE)));
675  }
676 
677  if (HasNonScopeChildren)
678  *HasNonScopeChildren = !Children.empty();
679 
680  for (LexicalScope *LS : Scope->getChildren())
681  constructScopeDIE(LS, Children);
682 
683  return ObjectPointer;
684 }
685 
687  DIE &ScopeDIE = updateSubprogramScopeDIE(Sub);
688 
689  if (Scope) {
690  assert(!Scope->getInlinedAt());
691  assert(!Scope->isAbstractScope());
692  // Collect lexical scope children first.
693  // ObjectPointer might be a local (non-argument) local variable if it's a
694  // block's synthetic this pointer.
695  if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE))
696  addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer);
697  }
698 
699  // If this is a variadic function, add an unspecified parameter.
700  DITypeRefArray FnArgs = Sub->getType()->getTypeArray();
701 
702  // If we have a single element of null, it is a function that returns void.
703  // If we have more than one elements and the last one is null, it is a
704  // variadic function.
705  if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] &&
707  ScopeDIE.addChild(
708  DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters));
709 }
710 
712  DIE &ScopeDIE) {
713  // We create children when the scope DIE is not null.
714  SmallVector<DIE *, 8> Children;
715  DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children);
716 
717  // Add children
718  for (auto &I : Children)
719  ScopeDIE.addChild(std::move(I));
720 
721  return ObjectPointer;
722 }
723 
725  LexicalScope *Scope) {
726  DIE *&AbsDef = getAbstractSPDies()[Scope->getScopeNode()];
727  if (AbsDef)
728  return;
729 
730  auto *SP = cast<DISubprogram>(Scope->getScopeNode());
731 
732  DIE *ContextDIE;
733  DwarfCompileUnit *ContextCU = this;
734 
736  ContextDIE = &getUnitDie();
737  // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with
738  // the important distinction that the debug node is not associated with the
739  // DIE (since the debug node will be associated with the concrete DIE, if
740  // any). It could be refactored to some common utility function.
741  else if (auto *SPDecl = SP->getDeclaration()) {
742  ContextDIE = &getUnitDie();
743  getOrCreateSubprogramDIE(SPDecl);
744  } else {
745  ContextDIE = getOrCreateContextDIE(resolve(SP->getScope()));
746  // The scope may be shared with a subprogram that has already been
747  // constructed in another CU, in which case we need to construct this
748  // subprogram in the same CU.
749  ContextCU = DD->lookupCU(ContextDIE->getUnitDie());
750  }
751 
752  // Passing null as the associated node because the abstract definition
753  // shouldn't be found by lookup.
754  AbsDef = &ContextCU->createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr);
755  ContextCU->applySubprogramAttributesToDefinition(SP, *AbsDef);
756 
757  if (!ContextCU->includeMinimalInlineScopes())
758  ContextCU->addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined);
759  if (DIE *ObjectPointer = ContextCU->createAndAddScopeChildren(Scope, *AbsDef))
760  ContextCU->addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer);
761 }
762 
764  const DIImportedEntity *Module) {
765  DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag());
766  insertDIE(Module, IMDie);
767  DIE *EntityDie;
768  auto *Entity = resolve(Module->getEntity());
769  if (auto *NS = dyn_cast<DINamespace>(Entity))
770  EntityDie = getOrCreateNameSpace(NS);
771  else if (auto *M = dyn_cast<DIModule>(Entity))
772  EntityDie = getOrCreateModule(M);
773  else if (auto *SP = dyn_cast<DISubprogram>(Entity))
774  EntityDie = getOrCreateSubprogramDIE(SP);
775  else if (auto *T = dyn_cast<DIType>(Entity))
776  EntityDie = getOrCreateTypeDIE(T);
777  else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity))
778  EntityDie = getOrCreateGlobalVariableDIE(GV, {});
779  else
780  EntityDie = getDIE(Entity);
781  assert(EntityDie);
782  addSourceLine(*IMDie, Module->getLine(), Module->getFile());
783  addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie);
784  StringRef Name = Module->getName();
785  if (!Name.empty())
786  addString(*IMDie, dwarf::DW_AT_name, Name);
787 
788  return IMDie;
789 }
790 
792  DIE *D = getDIE(SP);
793  if (DIE *AbsSPDIE = getAbstractSPDies().lookup(SP)) {
794  if (D)
795  // If this subprogram has an abstract definition, reference that
796  addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE);
797  } else {
799  if (D)
800  // And attach the attributes
802  }
803 }
804 
808  auto *VariableDie = Var.getDIE();
809  if (AbsVar && AbsVar->getDIE()) {
810  addDIEEntry(*VariableDie, dwarf::DW_AT_abstract_origin,
811  *AbsVar->getDIE());
812  } else
813  applyVariableAttributes(Var, *VariableDie);
814 }
815 
817  const DILocalVariable *Cleansed;
818  return getExistingAbstractVariable(IV, Cleansed);
819 }
820 
821 // Find abstract variable, if any, associated with Var.
823  InlinedVariable IV, const DILocalVariable *&Cleansed) {
824  // More then one inlined variable corresponds to one abstract variable.
825  Cleansed = IV.first;
826  auto &AbstractVariables = getAbstractVariables();
827  auto I = AbstractVariables.find(Cleansed);
828  if (I != AbstractVariables.end())
829  return I->second.get();
830  return nullptr;
831 }
832 
834  LexicalScope *Scope) {
835  assert(Scope && Scope->isAbstractScope());
836  auto AbsDbgVariable = llvm::make_unique<DbgVariable>(Var, /* IA */ nullptr);
837  DU->addScopeVariable(Scope, AbsDbgVariable.get());
838  getAbstractVariables()[Var] = std::move(AbsDbgVariable);
839 }
840 
841 void DwarfCompileUnit::emitHeader(bool UseOffsets) {
842  // Don't bother labeling the .dwo unit, as its offset isn't used.
843  if (!Skeleton && !DD->useSectionsAsReferences()) {
844  LabelBegin = Asm->createTempSymbol("cu_begin");
845  Asm->OutStreamer->EmitLabel(LabelBegin);
846  }
847 
848  dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile
849  : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton
850  : dwarf::DW_UT_compile;
851  DwarfUnit::emitCommonHeader(UseOffsets, UT);
852 }
853 
855  // Opting in to GNU Pubnames/types overrides the default to ensure these are
856  // generated for things like Gold's gdb_index generation.
857  if (CUNode->getGnuPubnames())
858  return true;
859 
860  return DD->tuneForGDB() && DD->usePubSections() &&
862 }
863 
864 /// addGlobalName - Add a new global name to the compile unit.
866  const DIScope *Context) {
867  if (!hasDwarfPubSections())
868  return;
869  std::string FullName = getParentContextString(Context) + Name.str();
870  GlobalNames[FullName] = &Die;
871 }
872 
874  const DIScope *Context) {
875  if (!hasDwarfPubSections())
876  return;
877  std::string FullName = getParentContextString(Context) + Name.str();
878  // Insert, allowing the entry to remain as-is if it's already present
879  // This way the CU-level type DIE is preferred over the "can't describe this
880  // type as a unit offset because it's not really in the CU at all, it's only
881  // in a type unit"
882  GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie()));
883 }
884 
885 /// Add a new global type to the unit.
886 void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die,
887  const DIScope *Context) {
888  if (!hasDwarfPubSections())
889  return;
890  std::string FullName = getParentContextString(Context) + Ty->getName().str();
891  GlobalTypes[FullName] = &Die;
892 }
893 
895  const DIScope *Context) {
896  if (!hasDwarfPubSections())
897  return;
898  std::string FullName = getParentContextString(Context) + Ty->getName().str();
899  // Insert, allowing the entry to remain as-is if it's already present
900  // This way the CU-level type DIE is preferred over the "can't describe this
901  // type as a unit offset because it's not really in the CU at all, it's only
902  // in a type unit"
903  GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie()));
904 }
905 
906 /// addVariableAddress - Add DW_AT_location attribute for a
907 /// DbgVariable based on provided MachineLocation.
909  MachineLocation Location) {
910  // addBlockByrefAddress is obsolete and will be removed soon.
911  // The clang frontend always generates block byref variables with a
912  // complex expression that encodes exactly what addBlockByrefAddress
913  // would do.
915  "block byref variable without a complex expression");
916  if (DV.hasComplexAddress())
917  addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
918  else if (DV.isBlockByrefVariable())
919  addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
920  else
921  addAddress(Die, dwarf::DW_AT_location, Location);
922 }
923 
924 /// Add an address attribute to a die based on the location provided.
926  const MachineLocation &Location) {
927  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
928  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
929  if (Location.isIndirect())
930  DwarfExpr.setMemoryLocationKind();
931 
932  DIExpressionCursor Cursor({});
934  if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
935  return;
936  DwarfExpr.addExpression(std::move(Cursor));
937 
938  // Now attach the location information to the DIE.
939  addBlock(Die, Attribute, DwarfExpr.finalize());
940 }
941 
942 /// Start with the address based on the location provided, and generate the
943 /// DWARF information necessary to find the actual variable given the extra
944 /// address information encoded in the DbgVariable, starting from the starting
945 /// location. Add the DWARF information to the die.
948  const MachineLocation &Location) {
949  DIELoc *Loc = new (DIEValueAllocator) DIELoc;
950  DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
951  const DIExpression *DIExpr = DV.getSingleExpression();
952  DwarfExpr.addFragmentOffset(DIExpr);
953  if (Location.isIndirect())
954  DwarfExpr.setMemoryLocationKind();
955 
956  DIExpressionCursor Cursor(DIExpr);
958  if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
959  return;
960  DwarfExpr.addExpression(std::move(Cursor));
961 
962  // Now attach the location information to the DIE.
963  addBlock(Die, Attribute, DwarfExpr.finalize());
964 }
965 
966 /// Add a Dwarf loclistptr attribute data and value.
968  unsigned Index) {
969  dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
970  : dwarf::DW_FORM_data4;
971  Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index));
972 }
973 
975  DIE &VariableDie) {
976  StringRef Name = Var.getName();
977  if (!Name.empty())
978  addString(VariableDie, dwarf::DW_AT_name, Name);
979  const auto *DIVar = Var.getVariable();
980  if (DIVar)
981  if (uint32_t AlignInBytes = DIVar->getAlignInBytes())
982  addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
983  AlignInBytes);
984 
985  addSourceLine(VariableDie, DIVar);
986  addType(VariableDie, Var.getType());
987  if (Var.isArtificial())
988  addFlag(VariableDie, dwarf::DW_AT_artificial);
989 }
990 
991 /// Add a Dwarf expression attribute data and value.
993  const MCExpr *Expr) {
994  Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr));
995 }
996 
998  const DISubprogram *SP, DIE &SPDie) {
999  auto *SPDecl = SP->getDeclaration();
1000  auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope());
1002  addGlobalName(SP->getName(), SPDie, Context);
1003 }
1004 
1005 bool DwarfCompileUnit::isDwoUnit() const {
1006  return DD->useSplitDwarf() && Skeleton;
1007 }
1008 
1011  (DD->useSplitDwarf() && !Skeleton);
1012 }
const DICompileUnit * getCUNode() const
Definition: DwarfUnit.h:113
const TargetLoweringObjectFile & getObjFileLowering() const
Return information about object file lowering.
Definition: AsmPrinter.cpp:208
const DILocation * getInlinedAt() const
Definition: DwarfDebug.h:125
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:1711
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:205
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:135
void addLabelDelta(DIE &Die, dwarf::Attribute Attribute, const MCSymbol *Hi, const MCSymbol *Lo)
Add a label delta attribute data and value.
Definition: DwarfUnit.cpp:325
std::unique_ptr< MCStreamer > OutStreamer
This is the MCStreamer object for the file we are generating.
Definition: AsmPrinter.h:93
DIELoc - Represents an expression location.
Definition: DIE.h:846
Compute iterated dominance frontiers using a linear time algorithm.
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:1617
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:63
unsigned size() const
LLVM_ATTRIBUTE_ALWAYS_INLINE size_type size() const
Definition: SmallVector.h:136
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.
const DIType * getType() const
Definition: DwarfDebug.cpp:190
DIE * getDIE() const
Definition: DwarfDebug.h:133
Attribute
Attributes.
Definition: Dwarf.h:114
void insertDIE(const DINode *Desc, DIE *D)
Insert DIE into the map.
Definition: DwarfUnit.cpp:197
unsigned getReg() const
Collects and handles dwarf debug information.
Definition: DwarfDebug.h:204
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:520
DbgValueHistoryMap::InlinedVariable InlinedVariable
Find abstract variable associated with Var.
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:285
void createAbstractVariable(const DILocalVariable *DV, LexicalScope *Scope)
SmallVectorImpl< InsnRange > & getRanges()
Definition: LexicalScopes.h:67
void addRange(RangeSpan Range)
addRange - Add an address range to the list of ranges for this unit.
bool hasDLLImportStorageClass() const
Definition: GlobalValue.h:261
void attachLowHighPC(DIE &D, const MCSymbol *Begin, const MCSymbol *End)
MachineFunction * MF
The current machine function.
Definition: AsmPrinter.h:96
void reserve(size_type N)
Definition: SmallVector.h:378
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:803
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:1720
const MachineFunction * getCurrentFunction() const
Definition: DwarfDebug.h:600
StringRef getName() const
AsmPrinter * Asm
Target of Dwarf emission.
Definition: DwarfUnit.h:77
DIE * getOrCreateTypeDIE(const MDNode *N)
Find existing DIE or create new DIE for the given type.
Definition: DwarfUnit.cpp:738
bool useSplitDwarf() const
Returns whether or not to change the current debug info for the split dwarf proposal support...
Definition: DwarfDebug.h:551
DIE * getDIE(const DINode *D) const
Returns the DIE map slot for the specified debug variable.
Definition: DwarfUnit.cpp:191
T * resolve(TypedDINodeRef< T > Ref) const
Look in the DwarfDebug map for the MDNode that corresponds to the reference.
Definition: DwarfUnit.h:325
void addBlock(DIE &Die, dwarf::Attribute Attribute, DIELoc *Block)
Add block data.
Definition: DwarfUnit.cpp:367
void attachRangesOrLowHighPC(DIE &D, SmallVector< RangeSpan, 2 > Ranges)
StringRef getName() const
void addArangeLabel(SymbolCU SCU)
Add a label so that arange data can be generated for it.
Definition: DwarfDebug.h:506
StringRef getName() 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
const TargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
bool isObjectPointer() const
Definition: DwarfDebug.h:161
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 addConstantFPValue(DIE &Die, const MachineOperand &MO)
Add constant value entry in variable DIE.
Definition: DwarfUnit.cpp:603
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:424
DenseMap< LexicalScope *, ScopeVars > & getScopeVariables()
Definition: DwarfFile.h:120
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
void addString(DIE &Die, dwarf::Attribute Attribute, StringRef Str)
Add a string attribute data and value.
Definition: DwarfUnit.cpp:240
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:237
AddressPool & getAddressPool()
Definition: DwarfDebug.h:590
Subprogram description.
unsigned getUniqueID() const
const DIExpression * getSingleExpression() const
Definition: DwarfDebug.h:127
MCSymbol * getFunctionBegin() const
Definition: AsmPrinter.h:204
This class is used to track local variable information.
Definition: DwarfDebug.h:76
bool DisableFramePointerElim(const MachineFunction &MF) const
DisableFramePointerElim - This returns true if frame pointer elimination optimization should be disab...
const DILocalVariable * getVariable() const
Definition: DwarfDebug.h:124
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.
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:137
DIE * getOrCreateNameSpace(const DINamespace *NS)
Definition: DwarfUnit.cpp:1149
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:569
bool hasComplexAddress() const
Definition: DwarfDebug.h:169
void addConstantValue(DIE &Die, const MachineOperand &MO, const DIType *Ty)
Add constant value entry in variable DIE.
Definition: DwarfUnit.cpp:635
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:1268
void addSourceLine(DIE &Die, unsigned Line, const DIFile *File)
Add location information to specified debug information entry.
Definition: DwarfUnit.cpp:381
This dwarf writer support class manages information associated with a source file.
Definition: DwarfUnit.h:68
void addLocationList(DIE &Die, dwarf::Attribute Attribute, unsigned Index)
Add a Dwarf loclistptr attribute data and value.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
void constructSubprogramScopeDIE(const DISubprogram *Sub, LexicalScope *Scope)
Construct a DIE for this subprogram scope.
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:631
void setDIE(DIE &D)
Definition: DwarfDebug.h:132
A structured debug information entry.
Definition: DIE.h:662
DIE & getUnitDie()
Definition: DIE.h:834
TargetMachine & TM
Target machine description.
Definition: AsmPrinter.h:81
This class is intended to be used as a driving class for all asm writers.
Definition: AsmPrinter.h:78
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.
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:1664
static const unsigned End
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:1194
bool hasFrameIndexExprs() const
Definition: DwarfDebug.h:140
Base class for variables.
DIE * createAndAddScopeChildren(LexicalScope *Scope, DIE &ScopeDIE)
bool addScopeVariable(LexicalScope *LS, DbgVariable *Var)
Definition: DwarfFile.cpp:105
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:144
T * resolve(TypedDINodeRef< T > Ref) const
Find the MDNode for the given reference.
Definition: DwarfDebug.h:584
Helper used to pair up a symbol and its DWARF compile unit.
Definition: DwarfDebug.h:188
StringRef getDirectory() const
bool useAllLinkageNames() const
Returns whether we should emit all DW_AT_[MIPS_]linkage_name.
Definition: DwarfDebug.h:516
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
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
const MCSymbol * getStart() const
Definition: DwarfUnit.h:42
ArrayRef< FrameIndexExpr > getFrameIndexExprs() const
Get the FI entries, sorted by fragment offset.
Definition: DwarfDebug.cpp:235
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:809
UnitType
Constants for unit types in DWARF v5.
Definition: Dwarf.h:328
void addExpression(DIExpressionCursor &&Expr, unsigned FragmentOffsetInBits=0)
Emit all remaining operations in the DIExpressionCursor.
bool tuneForGDB() const
Definition: DwarfDebug.h:616
void constructAbstractSubprogramScopeDIE(LexicalScope *Scope)
bool useSectionsAsReferences() const
Returns whether to use sections as labels rather than temp symbols.
Definition: DwarfDebug.h:536
void setPrevCU(const DwarfCompileUnit *PrevCU)
Definition: DwarfDebug.h:570
Base class for types.
static Optional< DebugEmissionKind > getEmissionKind(StringRef Str)
StringRef getName() const
MCSymbol * getSymbol(const GlobalValue *GV) const
Definition: AsmPrinter.cpp:427
DwarfCompileUnit * lookupCU(const DIE *Die)
Find the matching DwarfCompileUnit for the given CU DIE.
Definition: DwarfDebug.h:607
This is a &#39;vector&#39; (really, a variable-sized array), optimized for the case when the array is small...
Definition: SmallVector.h:862
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:682
void applySubprogramAttributesToDefinition(const DISubprogram *SP, DIE &SPDie)
MCSymbol * getBeginSymbol()
Definition: MCSection.h:106
void finishSubprogramDefinition(const DISubprogram *SP)
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
bool useAppleExtensionAttributes() const
Definition: DwarfDebug.h:545
void addAccelName(StringRef Name, const DIE &Die)
MCSymbol * getFunctionEnd() const
Definition: AsmPrinter.h:205
static SmallVector< const DIVariable *, 2 > dependencies(DbgVariable *Var)
Return all DIVariables that appear in count: expressions.
StringRef getDisplayName() const
DWARF expression.
Implements a dense probed hash-table based set with some number of buckets stored inline...
Definition: DenseSet.h:239
StringRef getLinkageName() const
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:80
StringRef getName() const
Definition: DwarfDebug.h:136
MCSection & getSection() const
Get the section associated with a defined, non-absolute symbol.
Definition: MCSymbol.h:267
void addDIEEntry(DIE &Die, dwarf::Attribute Attribute, DIE &Entry)
Add a DIE attribute data and value.
Definition: DwarfUnit.cpp:331
iterator insert(iterator I, T &&Elt)
Definition: SmallVector.h:480
void append(in_iter in_start, in_iter in_end)
Add the specified range to the end of the SmallVector.
Definition: SmallVector.h:396
DIE * getOrCreateContextDIE(const DIScope *Context)
Get context owner&#39;s DIE.
Definition: DwarfUnit.cpp:708
Representation of each machine instruction.
Definition: MachineInstr.h:60
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:120
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:360
LLVM_NODISCARD bool empty() const
Definition: SmallVector.h:61
bool useRangesSection() const
Returns whether ranges section should be emitted.
Definition: DwarfDebug.h:533
bool isBlockByrefVariable() const
Definition: DwarfDebug.cpp:185
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:98
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:1170
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
void addBlockByrefAddress(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...
Definition: DwarfUnit.cpp:475
bool includeMinimalInlineScopes() const
bool usePubSections() const
Returns whether GNU oub sections should be emitted.
Definition: DwarfDebug.h:530
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:91
const DICompileUnit * CUNode
MDNode for the compile unit.
Definition: DwarfUnit.h:71
DwarfExpression implementation for singular DW_AT_location.
void addSubprogramNames(const DISubprogram *SP, DIE &Die)
Definition: DwarfDebug.cpp:397
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:74
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
const MCSymbol * getEnd() const
Definition: DwarfUnit.h:43
uint32_t getAlignInBytes() const
void finishVariableDefinition(const DbgVariable &Var)
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...
DbgVariable * getExistingAbstractVariable(InlinedVariable IV, const DILocalVariable *&Cleansed)
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:214
const DataLayout & getDataLayout() const
Return information about data layout.
Definition: AsmPrinter.cpp:212
bool isThreadLocal() const
If the value is "Thread Local", its value isn&#39;t shared by the threads.
Definition: GlobalValue.h:246
void addOpAddress(DIELoc &Die, const MCSymbol *Label)
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:314
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:49
MCSection * getDwarfRangesSection() const
DwarfFile * DU
Definition: DwarfUnit.h:81
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:153
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