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 "DwarfExpression.h"
16 #include "llvm/CodeGen/MachineFunction.h"
17 #include "llvm/IR/Constants.h"
18 #include "llvm/IR/DataLayout.h"
19 #include "llvm/IR/GlobalValue.h"
20 #include "llvm/IR/GlobalVariable.h"
21 #include "llvm/IR/Instruction.h"
22 #include "llvm/MC/MCAsmInfo.h"
23 #include "llvm/MC/MCStreamer.h"
24 #include "llvm/Target/TargetFrameLowering.h"
25 #include "llvm/Target/TargetLoweringObjectFile.h"
26 #include "llvm/Target/TargetMachine.h"
27 #include "llvm/Target/TargetRegisterInfo.h"
28 #include "llvm/Target/TargetSubtargetInfo.h"
29 
30 namespace llvm {
31 
32 DwarfCompileUnit::DwarfCompileUnit(unsigned UID, const DICompileUnit *Node,
33                                    AsmPrinter *A, DwarfDebug *DW,
34                                    DwarfFile *DWU)
35     : DwarfUnit(dwarf::DW_TAG_compile_unit, Node, A, DW, DWU), UniqueID(UID),
36       Skeleton(nullptr), BaseAddress(nullptr) {
37   insertDIE(Node, &getUnitDie());
38   MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin");
39 }
40 
41 /// addLabelAddress - Add a dwarf label attribute data and value using
42 /// DW_FORM_addr or DW_FORM_GNU_addr_index.
43 ///
44 void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute,
45                                        const MCSymbol *Label) {
46 
47   // Don't use the address pool in non-fission or in the skeleton unit itself.
48   // FIXME: Once GDB supports this, it's probably worthwhile using the address
49   // pool from the skeleton - maybe even in non-fission (possibly fewer
50   // relocations by sharing them in the pool, but we have other ideas about how
51   // to reduce the number of relocations as well/instead).
52   if (!DD->useSplitDwarf() || !Skeleton)
53     return addLocalLabelAddress(Die, Attribute, Label);
54 
55   if (Label)
56     DD->addArangeLabel(SymbolCU(this, Label));
57 
58   unsigned idx = DD->getAddressPool().getIndex(Label);
59   Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_GNU_addr_index,
60                DIEInteger(idx));
61 }
62 
63 void DwarfCompileUnit::addLocalLabelAddress(DIE &Die,
64                                             dwarf::Attribute Attribute,
65                                             const MCSymbol *Label) {
66   if (Label)
67     DD->addArangeLabel(SymbolCU(this, Label));
68 
69   if (Label)
70     Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
71                  DIELabel(Label));
72   else
73     Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr,
74                  DIEInteger(0));
75 }
76 
77 unsigned DwarfCompileUnit::getOrCreateSourceID(StringRef FileName,
78                                                StringRef DirName) {
79   // If we print assembly, we can't separate .file entries according to
80   // compile units. Thus all files will belong to the default compile unit.
81 
82   // FIXME: add a better feature test than hasRawTextSupport. Even better,
83   // extend .file to support this.
84   return Asm->OutStreamer->EmitDwarfFileDirective(
85       0, DirName, FileName,
86       Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID());
87 }
88 
89 DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE(
90     const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) {
91   // Check for pre-existence.
92   if (DIE *Die = getDIE(GV))
93     return Die;
94 
95   assert(GV);
96 
97   auto *GVContext = GV->getScope();
98   auto *GTy = DD->resolve(GV->getType());
99 
100   // Construct the context before querying for the existence of the DIE in
101   // case such construction creates the DIE.
102   DIE *ContextDIE = getOrCreateContextDIE(GVContext);
103 
104   // Add to map.
105   DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV);
106   DIScope *DeclContext;
107   if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) {
108     DeclContext = resolve(SDMDecl->getScope());
109     assert(SDMDecl->isStaticMember() && "Expected static member decl");
110     assert(GV->isDefinition());
111     // We need the declaration DIE that is in the static member's class.
112     DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl);
113     addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE);
114     // If the global variable's type is different from the one in the class
115     // member type, assume that it's more specific and also emit it.
116     if (GTy != DD->resolve(SDMDecl->getBaseType()))
117       addType(*VariableDIE, GTy);
118   } else {
119     DeclContext = GV->getScope();
120     // Add name and type.
121     addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName());
122     addType(*VariableDIE, GTy);
123 
124     // Add scoping info.
125     if (!GV->isLocalToUnit())
126       addFlag(*VariableDIE, dwarf::DW_AT_external);
127 
128     // Add line number info.
129     addSourceLine(*VariableDIE, GV);
130   }
131 
132   if (!GV->isDefinition())
133     addFlag(*VariableDIE, dwarf::DW_AT_declaration);
134   else
135     addGlobalName(GV->getName(), *VariableDIE, DeclContext);
136 
137   if (uint32_t AlignInBytes = GV->getAlignInBytes())
138     addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
139             AlignInBytes);
140 
141   // Add location.
142   bool addToAccelTable = false;
143   DIELoc *Loc = nullptr;
144   std::unique_ptr<DIEDwarfExpression> DwarfExpr;
145   bool AllConstant = std::all_of(
146       GlobalExprs.begin(), GlobalExprs.end(),
147       [&](const GlobalExpr GE) {
148         return GE.Expr && GE.Expr->isConstant();
149       });
150 
151   for (const auto &GE : GlobalExprs) {
152     const GlobalVariable *Global = GE.Var;
153     const DIExpression *Expr = GE.Expr;
154     // For compatibility with DWARF 3 and earlier,
155     // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes
156     // DW_AT_const_value(X).
157     if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) {
158       addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1));
159       // We cannot describe the location of dllimport'd variables: the
160       // computation of their address requires loads from the IAT.
161     } else if ((Global && !Global->hasDLLImportStorageClass()) || AllConstant) {
162       if (!Loc) {
163         Loc = new (DIEValueAllocator) DIELoc;
164         DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc);
165       }
166       addToAccelTable = true;
167       if (Global) {
168         const MCSymbol *Sym = Asm->getSymbol(Global);
169         if (Global->isThreadLocal()) {
170           if (Asm->TM.Options.EmulatedTLS) {
171             // TODO: add debug info for emulated thread local mode.
172           } else {
173             // FIXME: Make this work with -gsplit-dwarf.
174             unsigned PointerSize = Asm->getDataLayout().getPointerSize();
175             assert((PointerSize == 4 || PointerSize == 8) &&
176                    "Add support for other sizes if necessary");
177             // Based on GCC's support for TLS:
178             if (!DD->useSplitDwarf()) {
179               // 1) Start with a constNu of the appropriate pointer size
180               addUInt(*Loc, dwarf::DW_FORM_data1,
181                       PointerSize == 4 ? dwarf::DW_OP_const4u
182                                        : dwarf::DW_OP_const8u);
183               // 2) containing the (relocated) offset of the TLS variable
184               //    within the module's TLS block.
185               addExpr(*Loc, dwarf::DW_FORM_udata,
186                       Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym));
187             } else {
188               addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index);
189               addUInt(*Loc, dwarf::DW_FORM_udata,
190                       DD->getAddressPool().getIndex(Sym, /* TLS */ true));
191             }
192             // 3) followed by an OP to make the debugger do a TLS lookup.
193             addUInt(*Loc, dwarf::DW_FORM_data1,
194                     DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address
195                                           : dwarf::DW_OP_form_tls_address);
196           }
197         } else {
198           DD->addArangeLabel(SymbolCU(this, Sym));
199           addOpAddress(*Loc, Sym);
200         }
201       }
202       if (Expr) {
203         DwarfExpr->addFragmentOffset(Expr);
204         DwarfExpr->addExpression(Expr);
205       }
206     }
207   }
208   if (Loc)
209     addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize());
210 
211   if (DD->useAllLinkageNames())
212     addLinkageName(*VariableDIE, GV->getLinkageName());
213 
214   if (addToAccelTable) {
215     DD->addAccelName(GV->getName(), *VariableDIE);
216 
217     // If the linkage name is different than the name, go ahead and output
218     // that as well into the name table.
219     if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName())
220       DD->addAccelName(GV->getLinkageName(), *VariableDIE);
221   }
222 
223   return VariableDIE;
224 }
225 
226 void DwarfCompileUnit::addRange(RangeSpan Range) {
227   bool SameAsPrevCU = this == DD->getPrevCU();
228   DD->setPrevCU(this);
229   // If we have no current ranges just add the range and return, otherwise,
230   // check the current section and CU against the previous section and CU we
231   // emitted into and the subprogram was contained within. If these are the
232   // same then extend our current range, otherwise add this as a new range.
233   if (CURanges.empty() || !SameAsPrevCU ||
234       (&CURanges.back().getEnd()->getSection() !=
235        &Range.getEnd()->getSection())) {
236     CURanges.push_back(Range);
237     return;
238   }
239 
240   CURanges.back().setEnd(Range.getEnd());
241 }
242 
243 DIE::value_iterator
244 DwarfCompileUnit::addSectionLabel(DIE &Die, dwarf::Attribute Attribute,
245                                   const MCSymbol *Label, const MCSymbol *Sec) {
246   if (Asm->MAI->doesDwarfUseRelocationsAcrossSections())
247     return addLabel(Die, Attribute,
248                     DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
249                                                : dwarf::DW_FORM_data4,
250                     Label);
251   return addSectionDelta(Die, Attribute, Label, Sec);
252 }
253 
254 void DwarfCompileUnit::initStmtList() {
255   // Define start line table label for each Compile Unit.
256   MCSymbol *LineTableStartSym =
257       Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID());
258 
259   // DW_AT_stmt_list is a offset of line number information for this
260   // compile unit in debug_line section. For split dwarf this is
261   // left in the skeleton CU and so not included.
262   // The line table entries are not always emitted in assembly, so it
263   // is not okay to use line_table_start here.
264   const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
265   StmtListValue =
266       addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym,
267                       TLOF.getDwarfLineSection()->getBeginSymbol());
268 }
269 
270 void DwarfCompileUnit::applyStmtList(DIE &D) {
271   D.addValue(DIEValueAllocator, *StmtListValue);
272 }
273 
274 void DwarfCompileUnit::attachLowHighPC(DIE &D, const MCSymbol *Begin,
275                                        const MCSymbol *End) {
276   assert(Begin && "Begin label should not be null!");
277   assert(End && "End label should not be null!");
278   assert(Begin->isDefined() && "Invalid starting label");
279   assert(End->isDefined() && "Invalid end label");
280 
281   addLabelAddress(D, dwarf::DW_AT_low_pc, Begin);
282   if (DD->getDwarfVersion() < 4)
283     addLabelAddress(D, dwarf::DW_AT_high_pc, End);
284   else
285     addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin);
286 }
287 
288 // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc
289 // and DW_AT_high_pc attributes. If there are global variables in this
290 // scope then create and insert DIEs for these variables.
291 DIE &DwarfCompileUnit::updateSubprogramScopeDIE(const DISubprogram *SP) {
292   DIE *SPDie = getOrCreateSubprogramDIE(SP, includeMinimalInlineScopes());
293 
294   attachLowHighPC(*SPDie, Asm->getFunctionBegin(), Asm->getFunctionEnd());
295   if (DD->useAppleExtensionAttributes() &&
296       !DD->getCurrentFunction()->getTarget().Options.DisableFramePointerElim(
297           *DD->getCurrentFunction()))
298     addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr);
299 
300   // Only include DW_AT_frame_base in full debug info
301   if (!includeMinimalInlineScopes()) {
302     const TargetRegisterInfo *RI = Asm->MF->getSubtarget().getRegisterInfo();
303     MachineLocation Location(RI->getFrameRegister(*Asm->MF));
304     if (RI->isPhysicalRegister(Location.getReg()))
305       addAddress(*SPDie, dwarf::DW_AT_frame_base, Location);
306   }
307 
308   // Add name to the name table, we do this here because we're guaranteed
309   // to have concrete versions of our DW_TAG_subprogram nodes.
310   DD->addSubprogramNames(SP, *SPDie);
311 
312   return *SPDie;
313 }
314 
315 // Construct a DIE for this scope.
316 void DwarfCompileUnit::constructScopeDIE(
317     LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) {
318   if (!Scope || !Scope->getScopeNode())
319     return;
320 
321   auto *DS = Scope->getScopeNode();
322 
323   assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) &&
324          "Only handle inlined subprograms here, use "
325          "constructSubprogramScopeDIE for non-inlined "
326          "subprograms");
327 
328   SmallVector<DIE *, 8> Children;
329 
330   // We try to create the scope DIE first, then the children DIEs. This will
331   // avoid creating un-used children then removing them later when we find out
332   // the scope DIE is null.
333   DIE *ScopeDIE;
334   if (Scope->getParent() && isa<DISubprogram>(DS)) {
335     ScopeDIE = constructInlinedScopeDIE(Scope);
336     if (!ScopeDIE)
337       return;
338     // We create children when the scope DIE is not null.
339     createScopeChildrenDIE(Scope, Children);
340   } else {
341     // Early exit when we know the scope DIE is going to be null.
342     if (DD->isLexicalScopeDIENull(Scope))
343       return;
344 
345     unsigned ChildScopeCount;
346 
347     // We create children here when we know the scope DIE is not going to be
348     // null and the children will be added to the scope DIE.
349     createScopeChildrenDIE(Scope, Children, &ChildScopeCount);
350 
351     // Skip imported directives in gmlt-like data.
352     if (!includeMinimalInlineScopes()) {
353       // There is no need to emit empty lexical block DIE.
354       for (const auto *IE : ImportedEntities[DS])
355         Children.push_back(
356             constructImportedEntityDIE(cast<DIImportedEntity>(IE)));
357     }
358 
359     // If there are only other scopes as children, put them directly in the
360     // parent instead, as this scope would serve no purpose.
361     if (Children.size() == ChildScopeCount) {
362       FinalChildren.insert(FinalChildren.end(),
363                            std::make_move_iterator(Children.begin()),
364                            std::make_move_iterator(Children.end()));
365       return;
366     }
367     ScopeDIE = constructLexicalScopeDIE(Scope);
368     assert(ScopeDIE && "Scope DIE should not be null.");
369   }
370 
371   // Add children
372   for (auto &I : Children)
373     ScopeDIE->addChild(std::move(I));
374 
375   FinalChildren.push_back(std::move(ScopeDIE));
376 }
377 
378 DIE::value_iterator
379 DwarfCompileUnit::addSectionDelta(DIE &Die, dwarf::Attribute Attribute,
380                                   const MCSymbol *Hi, const MCSymbol *Lo) {
381   return Die.addValue(DIEValueAllocator, Attribute,
382                       DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
383                                                  : dwarf::DW_FORM_data4,
384                       new (DIEValueAllocator) DIEDelta(Hi, Lo));
385 }
386 
387 void DwarfCompileUnit::addScopeRangeList(DIE &ScopeDIE,
388                                          SmallVector<RangeSpan, 2> Range) {
389   const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering();
390 
391   // Emit offset in .debug_range as a relocatable label. emitDIE will handle
392   // emitting it appropriately.
393   const MCSymbol *RangeSectionSym =
394       TLOF.getDwarfRangesSection()->getBeginSymbol();
395 
396   RangeSpanList List(Asm->createTempSymbol("debug_ranges"), std::move(Range));
397 
398   // Under fission, ranges are specified by constant offsets relative to the
399   // CU's DW_AT_GNU_ranges_base.
400   if (isDwoUnit())
401     addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
402                     RangeSectionSym);
403   else
404     addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(),
405                     RangeSectionSym);
406 
407   // Add the range list to the set of ranges to be emitted.
408   (Skeleton ? Skeleton : this)->CURangeLists.push_back(std::move(List));
409 }
410 
411 void DwarfCompileUnit::attachRangesOrLowHighPC(
412     DIE &Die, SmallVector<RangeSpan, 2> Ranges) {
413   if (Ranges.size() == 1) {
414     const auto &single = Ranges.front();
415     attachLowHighPC(Die, single.getStart(), single.getEnd());
416   } else
417     addScopeRangeList(Die, std::move(Ranges));
418 }
419 
420 void DwarfCompileUnit::attachRangesOrLowHighPC(
421     DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) {
422   SmallVector<RangeSpan, 2> List;
423   List.reserve(Ranges.size());
424   for (const InsnRange &R : Ranges)
425     List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first),
426                              DD->getLabelAfterInsn(R.second)));
427   attachRangesOrLowHighPC(Die, std::move(List));
428 }
429 
430 // This scope represents inlined body of a function. Construct DIE to
431 // represent this concrete inlined copy of the function.
432 DIE *DwarfCompileUnit::constructInlinedScopeDIE(LexicalScope *Scope) {
433   assert(Scope->getScopeNode());
434   auto *DS = Scope->getScopeNode();
435   auto *InlinedSP = getDISubprogram(DS);
436   // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram
437   // was inlined from another compile unit.
438   DIE *OriginDIE = DU->getAbstractSPDies()[InlinedSP];
439   assert(OriginDIE && "Unable to find original DIE for an inlined subprogram.");
440 
441   auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine);
442   addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE);
443 
444   attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
445 
446   // Add the call site information to the DIE.
447   const DILocation *IA = Scope->getInlinedAt();
448   addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None,
449           getOrCreateSourceID(IA->getFilename(), IA->getDirectory()));
450   addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine());
451   if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4)
452     addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None,
453             IA->getDiscriminator());
454 
455   // Add name to the name table, we do this here because we're guaranteed
456   // to have concrete versions of our DW_TAG_inlined_subprogram nodes.
457   DD->addSubprogramNames(InlinedSP, *ScopeDIE);
458 
459   return ScopeDIE;
460 }
461 
462 // Construct new DW_TAG_lexical_block for this scope and attach
463 // DW_AT_low_pc/DW_AT_high_pc labels.
464 DIE *DwarfCompileUnit::constructLexicalScopeDIE(LexicalScope *Scope) {
465   if (DD->isLexicalScopeDIENull(Scope))
466     return nullptr;
467 
468   auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block);
469   if (Scope->isAbstractScope())
470     return ScopeDIE;
471 
472   attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges());
473 
474   return ScopeDIE;
475 }
476 
477 /// constructVariableDIE - Construct a DIE for the given DbgVariable.
478 DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, bool Abstract) {
479   auto D = constructVariableDIEImpl(DV, Abstract);
480   DV.setDIE(*D);
481   return D;
482 }
483 
484 DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV,
485                                                 bool Abstract) {
486   // Define variable debug information entry.
487   auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag());
488 
489   if (Abstract) {
490     applyVariableAttributes(DV, *VariableDie);
491     return VariableDie;
492   }
493 
494   // Add variable address.
495 
496   unsigned Offset = DV.getDebugLocListIndex();
497   if (Offset != ~0U) {
498     addLocationList(*VariableDie, dwarf::DW_AT_location, Offset);
499     return VariableDie;
500   }
501 
502   // Check if variable is described by a DBG_VALUE instruction.
503   if (const MachineInstr *DVInsn = DV.getMInsn()) {
504     assert(DVInsn->getNumOperands() == 4);
505     if (DVInsn->getOperand(0).isReg()) {
506       const MachineOperand RegOp = DVInsn->getOperand(0);
507       // If the second operand is an immediate, this is an indirect value.
508       if (DVInsn->getOperand(1).isImm()) {
509         MachineLocation Location(RegOp.getReg(),
510                                  DVInsn->getOperand(1).getImm());
511         addVariableAddress(DV, *VariableDie, Location);
512       } else if (RegOp.getReg())
513         addVariableAddress(DV, *VariableDie, MachineLocation(RegOp.getReg()));
514     } else if (DVInsn->getOperand(0).isImm()) {
515       // This variable is described by a single constant.
516       // Check whether it has a DIExpression.
517       auto *Expr = DV.getSingleExpression();
518       if (Expr && Expr->getNumElements()) {
519         DIELoc *Loc = new (DIEValueAllocator) DIELoc;
520         DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
521         // If there is an expression, emit raw unsigned bytes.
522         DwarfExpr.addFragmentOffset(Expr);
523         DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm());
524         DwarfExpr.addExpression(Expr);
525         addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
526       } else
527         addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType());
528     } else if (DVInsn->getOperand(0).isFPImm())
529       addConstantFPValue(*VariableDie, DVInsn->getOperand(0));
530     else if (DVInsn->getOperand(0).isCImm())
531       addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(),
532                        DV.getType());
533 
534     return VariableDie;
535   }
536 
537   // .. else use frame index.
538   if (!DV.hasFrameIndexExprs())
539     return VariableDie;
540 
541   DIELoc *Loc = new (DIEValueAllocator) DIELoc;
542   DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
543   for (auto &Fragment : DV.getFrameIndexExprs()) {
544     unsigned FrameReg = 0;
545     const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering();
546     int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg);
547     DwarfExpr.addFragmentOffset(Fragment.Expr);
548     SmallVector<uint64_t, 8> Ops;
549     Ops.push_back(dwarf::DW_OP_plus);
550     Ops.push_back(Offset);
551     Ops.push_back(dwarf::DW_OP_deref);
552     Ops.append(Fragment.Expr->elements_begin(), Fragment.Expr->elements_end());
553     DIExpressionCursor Expr(Ops);
554     DwarfExpr.addMachineRegExpression(
555         *Asm->MF->getSubtarget().getRegisterInfo(), Expr, FrameReg);
556     DwarfExpr.addExpression(std::move(Expr));
557   }
558   addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize());
559 
560   return VariableDie;
561 }
562 
563 DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV,
564                                             const LexicalScope &Scope,
565                                             DIE *&ObjectPointer) {
566   auto Var = constructVariableDIE(DV, Scope.isAbstractScope());
567   if (DV.isObjectPointer())
568     ObjectPointer = Var;
569   return Var;
570 }
571 
572 DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope,
573                                               SmallVectorImpl<DIE *> &Children,
574                                               unsigned *ChildScopeCount) {
575   DIE *ObjectPointer = nullptr;
576 
577   for (DbgVariable *DV : DU->getScopeVariables().lookup(Scope))
578     Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer));
579 
580   unsigned ChildCountWithoutScopes = Children.size();
581 
582   for (LexicalScope *LS : Scope->getChildren())
583     constructScopeDIE(LS, Children);
584 
585   if (ChildScopeCount)
586     *ChildScopeCount = Children.size() - ChildCountWithoutScopes;
587 
588   return ObjectPointer;
589 }
590 
591 void DwarfCompileUnit::constructSubprogramScopeDIE(const DISubprogram *Sub, LexicalScope *Scope) {
592   DIE &ScopeDIE = updateSubprogramScopeDIE(Sub);
593 
594   if (Scope) {
595     assert(!Scope->getInlinedAt());
596     assert(!Scope->isAbstractScope());
597     // Collect lexical scope children first.
598     // ObjectPointer might be a local (non-argument) local variable if it's a
599     // block's synthetic this pointer.
600     if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE))
601       addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer);
602   }
603 
604   // If this is a variadic function, add an unspecified parameter.
605   DITypeRefArray FnArgs = Sub->getType()->getTypeArray();
606 
607   // If we have a single element of null, it is a function that returns void.
608   // If we have more than one elements and the last one is null, it is a
609   // variadic function.
610   if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] &&
611       !includeMinimalInlineScopes())
612     ScopeDIE.addChild(
613         DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters));
614 }
615 
616 DIE *DwarfCompileUnit::createAndAddScopeChildren(LexicalScope *Scope,
617                                                  DIE &ScopeDIE) {
618   // We create children when the scope DIE is not null.
619   SmallVector<DIE *, 8> Children;
620   DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children);
621 
622   // Add children
623   for (auto &I : Children)
624     ScopeDIE.addChild(std::move(I));
625 
626   return ObjectPointer;
627 }
628 
629 void DwarfCompileUnit::constructAbstractSubprogramScopeDIE(
630     LexicalScope *Scope) {
631   DIE *&AbsDef = DU->getAbstractSPDies()[Scope->getScopeNode()];
632   if (AbsDef)
633     return;
634 
635   auto *SP = cast<DISubprogram>(Scope->getScopeNode());
636 
637   DIE *ContextDIE;
638 
639   if (includeMinimalInlineScopes())
640     ContextDIE = &getUnitDie();
641   // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with
642   // the important distinction that the debug node is not associated with the
643   // DIE (since the debug node will be associated with the concrete DIE, if
644   // any). It could be refactored to some common utility function.
645   else if (auto *SPDecl = SP->getDeclaration()) {
646     ContextDIE = &getUnitDie();
647     getOrCreateSubprogramDIE(SPDecl);
648   } else
649     ContextDIE = getOrCreateContextDIE(resolve(SP->getScope()));
650 
651   // Passing null as the associated node because the abstract definition
652   // shouldn't be found by lookup.
653   AbsDef = &createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr);
654   applySubprogramAttributesToDefinition(SP, *AbsDef);
655 
656   if (!includeMinimalInlineScopes())
657     addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined);
658   if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, *AbsDef))
659     addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer);
660 }
661 
662 DIE *DwarfCompileUnit::constructImportedEntityDIE(
663     const DIImportedEntity *Module) {
664   DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag());
665   insertDIE(Module, IMDie);
666   DIE *EntityDie;
667   auto *Entity = resolve(Module->getEntity());
668   if (auto *NS = dyn_cast<DINamespace>(Entity))
669     EntityDie = getOrCreateNameSpace(NS);
670   else if (auto *M = dyn_cast<DIModule>(Entity))
671     EntityDie = getOrCreateModule(M);
672   else if (auto *SP = dyn_cast<DISubprogram>(Entity))
673     EntityDie = getOrCreateSubprogramDIE(SP);
674   else if (auto *T = dyn_cast<DIType>(Entity))
675     EntityDie = getOrCreateTypeDIE(T);
676   else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity))
677     EntityDie = getOrCreateGlobalVariableDIE(GV, {});
678   else
679     EntityDie = getDIE(Entity);
680   assert(EntityDie);
681   addSourceLine(*IMDie, Module->getLine(), Module->getScope()->getFilename(),
682                 Module->getScope()->getDirectory());
683   addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie);
684   StringRef Name = Module->getName();
685   if (!Name.empty())
686     addString(*IMDie, dwarf::DW_AT_name, Name);
687 
688   return IMDie;
689 }
690 
691 void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram *SP) {
692   DIE *D = getDIE(SP);
693   if (DIE *AbsSPDIE = DU->getAbstractSPDies().lookup(SP)) {
694     if (D)
695       // If this subprogram has an abstract definition, reference that
696       addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE);
697   } else {
698     assert(D || includeMinimalInlineScopes());
699     if (D)
700       // And attach the attributes
701       applySubprogramAttributesToDefinition(SP, *D);
702   }
703 }
704 
705 void DwarfCompileUnit::emitHeader(bool UseOffsets) {
706   // Don't bother labeling the .dwo unit, as its offset isn't used.
707   if (!Skeleton) {
708     LabelBegin = Asm->createTempSymbol("cu_begin");
709     Asm->OutStreamer->EmitLabel(LabelBegin);
710   }
711 
712   dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile
713                                 : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton
714                                                       : dwarf::DW_UT_compile;
715   DwarfUnit::emitCommonHeader(UseOffsets, UT);
716 }
717 
718 /// addGlobalName - Add a new global name to the compile unit.
719 void DwarfCompileUnit::addGlobalName(StringRef Name, const DIE &Die,
720                                      const DIScope *Context) {
721   if (includeMinimalInlineScopes())
722     return;
723   std::string FullName = getParentContextString(Context) + Name.str();
724   GlobalNames[FullName] = &Die;
725 }
726 
727 void DwarfCompileUnit::addGlobalNameForTypeUnit(StringRef Name,
728                                                 const DIScope *Context) {
729   if (includeMinimalInlineScopes())
730     return;
731   std::string FullName = getParentContextString(Context) + Name.str();
732   // Insert, allowing the entry to remain as-is if it's already present
733   // This way the CU-level type DIE is preferred over the "can't describe this
734   // type as a unit offset because it's not really in the CU at all, it's only
735   // in a type unit"
736   GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie()));
737 }
738 
739 /// Add a new global type to the unit.
740 void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die,
741                                      const DIScope *Context) {
742   if (includeMinimalInlineScopes())
743     return;
744   std::string FullName = getParentContextString(Context) + Ty->getName().str();
745   GlobalTypes[FullName] = &Die;
746 }
747 
748 void DwarfCompileUnit::addGlobalTypeUnitType(const DIType *Ty,
749                                              const DIScope *Context) {
750   if (includeMinimalInlineScopes())
751     return;
752   std::string FullName = getParentContextString(Context) + Ty->getName().str();
753   // Insert, allowing the entry to remain as-is if it's already present
754   // This way the CU-level type DIE is preferred over the "can't describe this
755   // type as a unit offset because it's not really in the CU at all, it's only
756   // in a type unit"
757   GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie()));
758 }
759 
760 /// addVariableAddress - Add DW_AT_location attribute for a
761 /// DbgVariable based on provided MachineLocation.
762 void DwarfCompileUnit::addVariableAddress(const DbgVariable &DV, DIE &Die,
763                                           MachineLocation Location) {
764   if (DV.hasComplexAddress())
765     addComplexAddress(DV, Die, dwarf::DW_AT_location, Location);
766   else if (DV.isBlockByrefVariable())
767     addBlockByrefAddress(DV, Die, dwarf::DW_AT_location, Location);
768   else
769     addAddress(Die, dwarf::DW_AT_location, Location);
770 }
771 
772 /// Add an address attribute to a die based on the location provided.
773 void DwarfCompileUnit::addAddress(DIE &Die, dwarf::Attribute Attribute,
774                                   const MachineLocation &Location) {
775   DIELoc *Loc = new (DIEValueAllocator) DIELoc;
776   DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
777 
778   SmallVector<uint64_t, 8> Ops;
779   if (Location.isIndirect()) {
780     Ops.push_back(dwarf::DW_OP_plus);
781     Ops.push_back(Location.getOffset());
782     Ops.push_back(dwarf::DW_OP_deref);
783   }
784   DIExpressionCursor Cursor(Ops);
785   const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
786   if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
787     return;
788   DwarfExpr.addExpression(std::move(Cursor));
789 
790   // Now attach the location information to the DIE.
791   addBlock(Die, Attribute, DwarfExpr.finalize());
792 }
793 
794 /// Start with the address based on the location provided, and generate the
795 /// DWARF information necessary to find the actual variable given the extra
796 /// address information encoded in the DbgVariable, starting from the starting
797 /// location.  Add the DWARF information to the die.
798 void DwarfCompileUnit::addComplexAddress(const DbgVariable &DV, DIE &Die,
799                                          dwarf::Attribute Attribute,
800                                          const MachineLocation &Location) {
801   DIELoc *Loc = new (DIEValueAllocator) DIELoc;
802   DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc);
803   const DIExpression *DIExpr = DV.getSingleExpression();
804   DwarfExpr.addFragmentOffset(DIExpr);
805 
806   SmallVector<uint64_t, 8> Ops;
807   if (Location.isIndirect()) {
808     Ops.push_back(dwarf::DW_OP_plus);
809     Ops.push_back(Location.getOffset());
810     Ops.push_back(dwarf::DW_OP_deref);
811   }
812   Ops.append(DIExpr->elements_begin(), DIExpr->elements_end());
813   DIExpressionCursor Cursor(Ops);
814   const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo();
815   if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg()))
816     return;
817   DwarfExpr.addExpression(std::move(Cursor));
818 
819   // Now attach the location information to the DIE.
820   addBlock(Die, Attribute, DwarfExpr.finalize());
821 }
822 
823 /// Add a Dwarf loclistptr attribute data and value.
824 void DwarfCompileUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute,
825                                        unsigned Index) {
826   dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset
827                                                 : dwarf::DW_FORM_data4;
828   Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index));
829 }
830 
831 void DwarfCompileUnit::applyVariableAttributes(const DbgVariable &Var,
832                                                DIE &VariableDie) {
833   StringRef Name = Var.getName();
834   if (!Name.empty())
835     addString(VariableDie, dwarf::DW_AT_name, Name);
836   const auto *DIVar = Var.getVariable();
837   if (DIVar)
838     if (uint32_t AlignInBytes = DIVar->getAlignInBytes())
839       addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata,
840               AlignInBytes);
841 
842   addSourceLine(VariableDie, DIVar);
843   addType(VariableDie, Var.getType());
844   if (Var.isArtificial())
845     addFlag(VariableDie, dwarf::DW_AT_artificial);
846 }
847 
848 /// Add a Dwarf expression attribute data and value.
849 void DwarfCompileUnit::addExpr(DIELoc &Die, dwarf::Form Form,
850                                const MCExpr *Expr) {
851   Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr));
852 }
853 
854 void DwarfCompileUnit::applySubprogramAttributesToDefinition(
855     const DISubprogram *SP, DIE &SPDie) {
856   auto *SPDecl = SP->getDeclaration();
857   auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope());
858   applySubprogramAttributes(SP, SPDie, includeMinimalInlineScopes());
859   addGlobalName(SP->getName(), SPDie, Context);
860 }
861 
862 bool DwarfCompileUnit::isDwoUnit() const {
863   return DD->useSplitDwarf() && Skeleton;
864 }
865 
866 bool DwarfCompileUnit::includeMinimalInlineScopes() const {
867   return getCUNode()->getEmissionKind() == DICompileUnit::LineTablesOnly ||
868          (DD->useSplitDwarf() && !Skeleton);
869 }
870 } // end llvm namespace
871