Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 1 | //===- llvm/CodeGen/DwarfCompileUnit.cpp - Dwarf Compile Units ------------===// |
Paul Robinson | 3443575 | 2017-03-01 00:14:42 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file contains support for constructing a dwarf compile unit. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 14 | #include "DwarfCompileUnit.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 15 | #include "AddressPool.h" |
| 16 | #include "DwarfDebug.h" |
Adrian Prantl | 7813d9c | 2015-01-14 01:01:30 +0000 | [diff] [blame] | 17 | #include "DwarfExpression.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 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" |
| 23 | #include "llvm/BinaryFormat/Dwarf.h" |
| 24 | #include "llvm/CodeGen/AsmPrinter.h" |
| 25 | #include "llvm/CodeGen/DIE.h" |
| 26 | #include "llvm/CodeGen/LexicalScopes.h" |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 27 | #include "llvm/CodeGen/MachineFunction.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/MachineInstr.h" |
| 29 | #include "llvm/CodeGen/MachineOperand.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/TargetFrameLowering.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/TargetRegisterInfo.h" |
| 32 | #include "llvm/CodeGen/TargetSubtargetInfo.h" |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 33 | #include "llvm/IR/DataLayout.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 34 | #include "llvm/IR/DebugInfo.h" |
| 35 | #include "llvm/IR/DebugInfoMetadata.h" |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 36 | #include "llvm/IR/GlobalVariable.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 37 | #include "llvm/MC/MCSection.h" |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 38 | #include "llvm/MC/MCStreamer.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 39 | #include "llvm/MC/MCSymbol.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 40 | #include "llvm/MC/MachineLocation.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 41 | #include "llvm/Support/Casting.h" |
David Blaikie | 6054e65 | 2018-03-23 23:58:19 +0000 | [diff] [blame] | 42 | #include "llvm/Target/TargetLoweringObjectFile.h" |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 43 | #include "llvm/Target/TargetMachine.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 44 | #include "llvm/Target/TargetOptions.h" |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 45 | #include <algorithm> |
| 46 | #include <cassert> |
| 47 | #include <cstdint> |
| 48 | #include <iterator> |
| 49 | #include <memory> |
| 50 | #include <string> |
| 51 | #include <utility> |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 52 | |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 53 | using namespace llvm; |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 54 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 55 | DwarfCompileUnit::DwarfCompileUnit(unsigned UID, const DICompileUnit *Node, |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 56 | AsmPrinter *A, DwarfDebug *DW, |
| 57 | DwarfFile *DWU) |
Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 58 | : DwarfUnit(dwarf::DW_TAG_compile_unit, Node, A, DW, DWU), UniqueID(UID) { |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 59 | insertDIE(Node, &getUnitDie()); |
Amjad Aboud | 8bbce8a | 2016-02-01 14:09:41 +0000 | [diff] [blame] | 60 | MacroLabelBegin = Asm->createTempSymbol("cu_macro_begin"); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | /// addLabelAddress - Add a dwarf label attribute data and value using |
| 64 | /// DW_FORM_addr or DW_FORM_GNU_addr_index. |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 65 | void DwarfCompileUnit::addLabelAddress(DIE &Die, dwarf::Attribute Attribute, |
| 66 | const MCSymbol *Label) { |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 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). |
David Blaikie | 161dd3c | 2018-10-20 06:02:15 +0000 | [diff] [blame] | 72 | if ((!DD->useSplitDwarf() || !Skeleton) && DD->getDwarfVersion() < 5) |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 73 | return addLocalLabelAddress(Die, Attribute, Label); |
| 74 | |
| 75 | if (Label) |
| 76 | DD->addArangeLabel(SymbolCU(this, Label)); |
| 77 | |
| 78 | unsigned idx = DD->getAddressPool().getIndex(Label); |
David Blaikie | 161dd3c | 2018-10-20 06:02:15 +0000 | [diff] [blame] | 79 | Die.addValue(DIEValueAllocator, Attribute, |
| 80 | DD->getDwarfVersion() >= 5 ? dwarf::DW_FORM_addrx |
| 81 | : dwarf::DW_FORM_GNU_addr_index, |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 82 | DIEInteger(idx)); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 83 | } |
| 84 | |
| 85 | void DwarfCompileUnit::addLocalLabelAddress(DIE &Die, |
| 86 | dwarf::Attribute Attribute, |
| 87 | const MCSymbol *Label) { |
| 88 | if (Label) |
| 89 | DD->addArangeLabel(SymbolCU(this, Label)); |
| 90 | |
Duncan P. N. Exon Smith | 815a6eb5 | 2015-05-27 22:31:41 +0000 | [diff] [blame] | 91 | if (Label) |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 92 | Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, |
| 93 | DIELabel(Label)); |
Duncan P. N. Exon Smith | 815a6eb5 | 2015-05-27 22:31:41 +0000 | [diff] [blame] | 94 | else |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 95 | Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, |
| 96 | DIEInteger(0)); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Paul Robinson | 612e89d | 2018-01-12 19:17:50 +0000 | [diff] [blame] | 99 | unsigned DwarfCompileUnit::getOrCreateSourceID(const DIFile *File) { |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 100 | // If we print assembly, we can't separate .file entries according to |
| 101 | // compile units. Thus all files will belong to the default compile unit. |
| 102 | |
| 103 | // FIXME: add a better feature test than hasRawTextSupport. Even better, |
| 104 | // extend .file to support this. |
Paul Robinson | 612e89d | 2018-01-12 19:17:50 +0000 | [diff] [blame] | 105 | unsigned CUID = Asm->OutStreamer->hasRawTextSupport() ? 0 : getUniqueID(); |
| 106 | if (!File) |
Scott Linder | 16c7bda | 2018-02-23 23:01:06 +0000 | [diff] [blame] | 107 | return Asm->OutStreamer->EmitDwarfFileDirective(0, "", "", nullptr, None, CUID); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 108 | return Asm->OutStreamer->EmitDwarfFileDirective( |
Scott Linder | 16c7bda | 2018-02-23 23:01:06 +0000 | [diff] [blame] | 109 | 0, File->getDirectory(), File->getFilename(), getMD5AsBytes(File), |
| 110 | File->getSource(), CUID); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Duncan P. N. Exon Smith | 60635e3 | 2015-04-21 18:44:06 +0000 | [diff] [blame] | 113 | DIE *DwarfCompileUnit::getOrCreateGlobalVariableDIE( |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 114 | const DIGlobalVariable *GV, ArrayRef<GlobalExpr> GlobalExprs) { |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 115 | // Check for pre-existence. |
| 116 | if (DIE *Die = getDIE(GV)) |
| 117 | return Die; |
| 118 | |
Duncan P. N. Exon Smith | e686f15 | 2015-04-06 23:27:40 +0000 | [diff] [blame] | 119 | assert(GV); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 120 | |
Duncan P. N. Exon Smith | be9e4fe | 2015-04-20 18:32:29 +0000 | [diff] [blame] | 121 | auto *GVContext = GV->getScope(); |
| 122 | auto *GTy = DD->resolve(GV->getType()); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 123 | |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 124 | // Construct the context before querying for the existence of the DIE in |
| 125 | // case such construction creates the DIE. |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 126 | DIE *ContextDIE = getOrCreateContextDIE(GVContext); |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 127 | |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 128 | // Add to map. |
| 129 | DIE *VariableDIE = &createAndAddDIE(GV->getTag(), *ContextDIE, GV); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 130 | DIScope *DeclContext; |
Duncan P. N. Exon Smith | b105564 | 2015-04-16 01:01:28 +0000 | [diff] [blame] | 131 | if (auto *SDMDecl = GV->getStaticDataMemberDeclaration()) { |
| 132 | DeclContext = resolve(SDMDecl->getScope()); |
| 133 | assert(SDMDecl->isStaticMember() && "Expected static member decl"); |
Duncan P. N. Exon Smith | 7348dda | 2015-04-14 02:22:36 +0000 | [diff] [blame] | 134 | assert(GV->isDefinition()); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 135 | // We need the declaration DIE that is in the static member's class. |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 136 | DIE *VariableSpecDIE = getOrCreateStaticMemberDIE(SDMDecl); |
| 137 | addDIEEntry(*VariableDIE, dwarf::DW_AT_specification, *VariableSpecDIE); |
Adrian Prantl | 3502f20 | 2016-11-08 22:11:38 +0000 | [diff] [blame] | 138 | // If the global variable's type is different from the one in the class |
| 139 | // member type, assume that it's more specific and also emit it. |
| 140 | if (GTy != DD->resolve(SDMDecl->getBaseType())) |
| 141 | addType(*VariableDIE, GTy); |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 142 | } else { |
Duncan P. N. Exon Smith | 7348dda | 2015-04-14 02:22:36 +0000 | [diff] [blame] | 143 | DeclContext = GV->getScope(); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 144 | // Add name and type. |
Duncan P. N. Exon Smith | 7348dda | 2015-04-14 02:22:36 +0000 | [diff] [blame] | 145 | addString(*VariableDIE, dwarf::DW_AT_name, GV->getDisplayName()); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 146 | addType(*VariableDIE, GTy); |
| 147 | |
| 148 | // Add scoping info. |
Duncan P. N. Exon Smith | 7348dda | 2015-04-14 02:22:36 +0000 | [diff] [blame] | 149 | if (!GV->isLocalToUnit()) |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 150 | addFlag(*VariableDIE, dwarf::DW_AT_external); |
| 151 | |
| 152 | // Add line number info. |
| 153 | addSourceLine(*VariableDIE, GV); |
| 154 | } |
| 155 | |
Duncan P. N. Exon Smith | 7348dda | 2015-04-14 02:22:36 +0000 | [diff] [blame] | 156 | if (!GV->isDefinition()) |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 157 | addFlag(*VariableDIE, dwarf::DW_AT_declaration); |
David Blaikie | 877354a | 2015-04-14 18:08:25 +0000 | [diff] [blame] | 158 | else |
| 159 | addGlobalName(GV->getName(), *VariableDIE, DeclContext); |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 160 | |
Victor Leschuk | 3c98998 | 2016-10-26 11:59:03 +0000 | [diff] [blame] | 161 | if (uint32_t AlignInBytes = GV->getAlignInBytes()) |
| 162 | addUInt(*VariableDIE, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, |
| 163 | AlignInBytes); |
| 164 | |
Matthew Voss | f8ab35a | 2018-10-03 18:44:53 +0000 | [diff] [blame] | 165 | if (MDTuple *TP = GV->getTemplateParams()) |
| 166 | addTemplateParams(*VariableDIE, DINodeArray(TP)); |
| 167 | |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 168 | // Add location. |
| 169 | bool addToAccelTable = false; |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 170 | DIELoc *Loc = nullptr; |
| 171 | std::unique_ptr<DIEDwarfExpression> DwarfExpr; |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 172 | for (const auto &GE : GlobalExprs) { |
| 173 | const GlobalVariable *Global = GE.Var; |
| 174 | const DIExpression *Expr = GE.Expr; |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 175 | |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 176 | // For compatibility with DWARF 3 and earlier, |
| 177 | // DW_AT_location(DW_OP_constu, X, DW_OP_stack_value) becomes |
| 178 | // DW_AT_const_value(X). |
| 179 | if (GlobalExprs.size() == 1 && Expr && Expr->isConstant()) { |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 180 | addToAccelTable = true; |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 181 | addConstantValue(*VariableDIE, /*Unsigned=*/true, Expr->getElement(1)); |
| 182 | break; |
| 183 | } |
| 184 | |
| 185 | // We cannot describe the location of dllimport'd variables: the |
| 186 | // computation of their address requires loads from the IAT. |
| 187 | if (Global && Global->hasDLLImportStorageClass()) |
| 188 | continue; |
| 189 | |
| 190 | // Nothing to describe without address or constant. |
| 191 | if (!Global && (!Expr || !Expr->isConstant())) |
| 192 | continue; |
| 193 | |
Lei Liu | 8e422b8 | 2018-08-01 23:46:49 +0000 | [diff] [blame] | 194 | if (Global && Global->isThreadLocal() && |
| 195 | !Asm->getObjFileLowering().supportDebugThreadLocalLocation()) |
| 196 | continue; |
| 197 | |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 198 | if (!Loc) { |
| 199 | addToAccelTable = true; |
| 200 | Loc = new (DIEValueAllocator) DIELoc; |
| 201 | DwarfExpr = llvm::make_unique<DIEDwarfExpression>(*Asm, *this, *Loc); |
| 202 | } |
| 203 | |
Mikael Holmen | a9e3153 | 2018-01-29 12:37:30 +0000 | [diff] [blame] | 204 | if (Expr) |
| 205 | DwarfExpr->addFragmentOffset(Expr); |
| 206 | |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 207 | if (Global) { |
| 208 | const MCSymbol *Sym = Asm->getSymbol(Global); |
| 209 | if (Global->isThreadLocal()) { |
Chih-Hung Hsieh | 9f9e468 | 2018-02-28 17:48:55 +0000 | [diff] [blame] | 210 | if (Asm->TM.useEmulatedTLS()) { |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 211 | // TODO: add debug info for emulated thread local mode. |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 212 | } else { |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 213 | // FIXME: Make this work with -gsplit-dwarf. |
| 214 | unsigned PointerSize = Asm->getDataLayout().getPointerSize(); |
| 215 | assert((PointerSize == 4 || PointerSize == 8) && |
| 216 | "Add support for other sizes if necessary"); |
| 217 | // Based on GCC's support for TLS: |
| 218 | if (!DD->useSplitDwarf()) { |
| 219 | // 1) Start with a constNu of the appropriate pointer size |
| 220 | addUInt(*Loc, dwarf::DW_FORM_data1, |
| 221 | PointerSize == 4 ? dwarf::DW_OP_const4u |
| 222 | : dwarf::DW_OP_const8u); |
| 223 | // 2) containing the (relocated) offset of the TLS variable |
| 224 | // within the module's TLS block. |
| 225 | addExpr(*Loc, dwarf::DW_FORM_udata, |
| 226 | Asm->getObjFileLowering().getDebugThreadLocalSymbol(Sym)); |
| 227 | } else { |
| 228 | addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_GNU_const_index); |
| 229 | addUInt(*Loc, dwarf::DW_FORM_udata, |
| 230 | DD->getAddressPool().getIndex(Sym, /* TLS */ true)); |
| 231 | } |
| 232 | // 3) followed by an OP to make the debugger do a TLS lookup. |
| 233 | addUInt(*Loc, dwarf::DW_FORM_data1, |
| 234 | DD->useGNUTLSOpcode() ? dwarf::DW_OP_GNU_push_tls_address |
| 235 | : dwarf::DW_OP_form_tls_address); |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 236 | } |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 237 | } else { |
| 238 | DD->addArangeLabel(SymbolCU(this, Sym)); |
| 239 | addOpAddress(*Loc, Sym); |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 240 | } |
Adrian Prantl | b216e3e | 2017-03-23 23:35:09 +0000 | [diff] [blame] | 241 | } |
Adrian Prantl | 4b542c6 | 2018-04-27 22:05:31 +0000 | [diff] [blame] | 242 | // Global variables attached to symbols are memory locations. |
| 243 | // It would be better if this were unconditional, but malformed input that |
| 244 | // mixes non-fragments and fragments for the same variable is too expensive |
| 245 | // to detect in the verifier. |
Adrian Prantl | 3edc63a | 2018-05-04 16:10:43 +0000 | [diff] [blame] | 246 | if (DwarfExpr->isUnknownLocation()) |
Adrian Prantl | 4b542c6 | 2018-04-27 22:05:31 +0000 | [diff] [blame] | 247 | DwarfExpr->setMemoryLocationKind(); |
| 248 | DwarfExpr->addExpression(Expr); |
Adrian Prantl | 73ec065 | 2016-12-16 19:39:01 +0000 | [diff] [blame] | 249 | } |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 250 | if (Loc) |
| 251 | addBlock(*VariableDIE, dwarf::DW_AT_location, DwarfExpr->finalize()); |
| 252 | |
| 253 | if (DD->useAllLinkageNames()) |
| 254 | addLinkageName(*VariableDIE, GV->getLinkageName()); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 255 | |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 256 | if (addToAccelTable) { |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 257 | DD->addAccelName(*CUNode, GV->getName(), *VariableDIE); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 258 | |
| 259 | // If the linkage name is different than the name, go ahead and output |
| 260 | // that as well into the name table. |
Pavel Labath | 2a6afe5 | 2018-05-14 14:13:20 +0000 | [diff] [blame] | 261 | if (GV->getLinkageName() != "" && GV->getName() != GV->getLinkageName() && |
| 262 | DD->useAllLinkageNames()) |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 263 | DD->addAccelName(*CUNode, GV->getLinkageName(), *VariableDIE); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 264 | } |
| 265 | |
David Blaikie | 49cfc8c | 2014-10-23 19:12:43 +0000 | [diff] [blame] | 266 | return VariableDIE; |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 267 | } |
| 268 | |
| 269 | void DwarfCompileUnit::addRange(RangeSpan Range) { |
| 270 | bool SameAsPrevCU = this == DD->getPrevCU(); |
| 271 | DD->setPrevCU(this); |
| 272 | // If we have no current ranges just add the range and return, otherwise, |
| 273 | // check the current section and CU against the previous section and CU we |
| 274 | // emitted into and the subprogram was contained within. If these are the |
| 275 | // same then extend our current range, otherwise add this as a new range. |
| 276 | if (CURanges.empty() || !SameAsPrevCU || |
| 277 | (&CURanges.back().getEnd()->getSection() != |
| 278 | &Range.getEnd()->getSection())) { |
| 279 | CURanges.push_back(Range); |
| 280 | return; |
| 281 | } |
| 282 | |
| 283 | CURanges.back().setEnd(Range.getEnd()); |
| 284 | } |
| 285 | |
Rafael Espindola | 063d725 | 2015-03-10 16:58:10 +0000 | [diff] [blame] | 286 | void DwarfCompileUnit::initStmtList() { |
Alexey Bataev | d4dd721 | 2018-08-01 19:38:20 +0000 | [diff] [blame] | 287 | if (CUNode->isDebugDirectivesOnly()) |
| 288 | return; |
| 289 | |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 290 | // Define start line table label for each Compile Unit. |
Alexey Bataev | bff3608 | 2018-03-23 13:35:54 +0000 | [diff] [blame] | 291 | MCSymbol *LineTableStartSym; |
| 292 | const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); |
| 293 | if (DD->useSectionsAsReferences()) { |
| 294 | LineTableStartSym = TLOF.getDwarfLineSection()->getBeginSymbol(); |
| 295 | } else { |
| 296 | LineTableStartSym = |
| 297 | Asm->OutStreamer->getDwarfLineTableSymbol(getUniqueID()); |
| 298 | } |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 299 | |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 300 | // DW_AT_stmt_list is a offset of line number information for this |
| 301 | // compile unit in debug_line section. For split dwarf this is |
| 302 | // left in the skeleton CU and so not included. |
| 303 | // The line table entries are not always emitted in assembly, so it |
| 304 | // is not okay to use line_table_start here. |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 305 | StmtListValue = |
Greg Clayton | 35630c3 | 2016-12-01 18:56:29 +0000 | [diff] [blame] | 306 | addSectionLabel(getUnitDie(), dwarf::DW_AT_stmt_list, LineTableStartSym, |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 307 | TLOF.getDwarfLineSection()->getBeginSymbol()); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 308 | } |
| 309 | |
| 310 | void DwarfCompileUnit::applyStmtList(DIE &D) { |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 311 | D.addValue(DIEValueAllocator, *StmtListValue); |
David Blaikie | 37c5231 | 2014-10-04 15:49:50 +0000 | [diff] [blame] | 312 | } |
| 313 | |
David Blaikie | 14499a7 | 2014-10-04 15:58:47 +0000 | [diff] [blame] | 314 | void DwarfCompileUnit::attachLowHighPC(DIE &D, const MCSymbol *Begin, |
| 315 | const MCSymbol *End) { |
| 316 | assert(Begin && "Begin label should not be null!"); |
| 317 | assert(End && "End label should not be null!"); |
| 318 | assert(Begin->isDefined() && "Invalid starting label"); |
| 319 | assert(End->isDefined() && "Invalid end label"); |
| 320 | |
| 321 | addLabelAddress(D, dwarf::DW_AT_low_pc, Begin); |
| 322 | if (DD->getDwarfVersion() < 4) |
| 323 | addLabelAddress(D, dwarf::DW_AT_high_pc, End); |
| 324 | else |
| 325 | addLabelDelta(D, dwarf::DW_AT_high_pc, End, Begin); |
| 326 | } |
| 327 | |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 328 | // Find DIE for the given subprogram and attach appropriate DW_AT_low_pc |
| 329 | // and DW_AT_high_pc attributes. If there are global variables in this |
| 330 | // scope then create and insert DIEs for these variables. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 331 | DIE &DwarfCompileUnit::updateSubprogramScopeDIE(const DISubprogram *SP) { |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 332 | DIE *SPDie = getOrCreateSubprogramDIE(SP, includeMinimalInlineScopes()); |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 333 | |
Rafael Espindola | 07c03d3 | 2015-03-05 02:05:42 +0000 | [diff] [blame] | 334 | attachLowHighPC(*SPDie, Asm->getFunctionBegin(), Asm->getFunctionEnd()); |
David Blaikie | c53e18d | 2016-05-24 21:19:28 +0000 | [diff] [blame] | 335 | if (DD->useAppleExtensionAttributes() && |
| 336 | !DD->getCurrentFunction()->getTarget().Options.DisableFramePointerElim( |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 337 | *DD->getCurrentFunction())) |
| 338 | addFlag(*SPDie, dwarf::DW_AT_APPLE_omit_frame_ptr); |
| 339 | |
| 340 | // Only include DW_AT_frame_base in full debug info |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 341 | if (!includeMinimalInlineScopes()) { |
Alexey Bataev | 7ae86fe | 2018-07-26 16:10:05 +0000 | [diff] [blame] | 342 | if (Asm->MF->getTarget().getTargetTriple().isNVPTX()) { |
| 343 | DIELoc *Loc = new (DIEValueAllocator) DIELoc; |
| 344 | addUInt(*Loc, dwarf::DW_FORM_data1, dwarf::DW_OP_call_frame_cfa); |
| 345 | addBlock(*SPDie, dwarf::DW_AT_frame_base, Loc); |
| 346 | } else { |
| 347 | const TargetRegisterInfo *RI = Asm->MF->getSubtarget().getRegisterInfo(); |
| 348 | MachineLocation Location(RI->getFrameRegister(*Asm->MF)); |
| 349 | if (RI->isPhysicalRegister(Location.getReg())) |
| 350 | addAddress(*SPDie, dwarf::DW_AT_frame_base, Location); |
| 351 | } |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 352 | } |
| 353 | |
| 354 | // Add name to the name table, we do this here because we're guaranteed |
| 355 | // to have concrete versions of our DW_TAG_subprogram nodes. |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 356 | DD->addSubprogramNames(*CUNode, SP, *SPDie); |
David Blaikie | cda2aa8 | 2014-10-04 16:24:00 +0000 | [diff] [blame] | 357 | |
| 358 | return *SPDie; |
| 359 | } |
| 360 | |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 361 | // Construct a DIE for this scope. |
| 362 | void DwarfCompileUnit::constructScopeDIE( |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 363 | LexicalScope *Scope, SmallVectorImpl<DIE *> &FinalChildren) { |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 364 | if (!Scope || !Scope->getScopeNode()) |
| 365 | return; |
| 366 | |
Duncan P. N. Exon Smith | be9e4fe | 2015-04-20 18:32:29 +0000 | [diff] [blame] | 367 | auto *DS = Scope->getScopeNode(); |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 368 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 369 | assert((Scope->getInlinedAt() || !isa<DISubprogram>(DS)) && |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 370 | "Only handle inlined subprograms here, use " |
| 371 | "constructSubprogramScopeDIE for non-inlined " |
| 372 | "subprograms"); |
| 373 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 374 | SmallVector<DIE *, 8> Children; |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 375 | |
| 376 | // We try to create the scope DIE first, then the children DIEs. This will |
| 377 | // avoid creating un-used children then removing them later when we find out |
| 378 | // the scope DIE is null. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 379 | DIE *ScopeDIE; |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 380 | if (Scope->getParent() && isa<DISubprogram>(DS)) { |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 381 | ScopeDIE = constructInlinedScopeDIE(Scope); |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 382 | if (!ScopeDIE) |
| 383 | return; |
| 384 | // We create children when the scope DIE is not null. |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 385 | createScopeChildrenDIE(Scope, Children); |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 386 | } else { |
| 387 | // Early exit when we know the scope DIE is going to be null. |
| 388 | if (DD->isLexicalScopeDIENull(Scope)) |
| 389 | return; |
| 390 | |
David Blaikie | 2195e13 | 2017-07-27 00:06:53 +0000 | [diff] [blame] | 391 | bool HasNonScopeChildren = false; |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 392 | |
| 393 | // We create children here when we know the scope DIE is not going to be |
| 394 | // null and the children will be added to the scope DIE. |
David Blaikie | 2195e13 | 2017-07-27 00:06:53 +0000 | [diff] [blame] | 395 | createScopeChildrenDIE(Scope, Children, &HasNonScopeChildren); |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 396 | |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 397 | // If there are only other scopes as children, put them directly in the |
| 398 | // parent instead, as this scope would serve no purpose. |
David Blaikie | 2195e13 | 2017-07-27 00:06:53 +0000 | [diff] [blame] | 399 | if (!HasNonScopeChildren) { |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 400 | FinalChildren.insert(FinalChildren.end(), |
| 401 | std::make_move_iterator(Children.begin()), |
| 402 | std::make_move_iterator(Children.end())); |
| 403 | return; |
| 404 | } |
David Blaikie | 0fbf8bd | 2014-10-09 17:08:42 +0000 | [diff] [blame] | 405 | ScopeDIE = constructLexicalScopeDIE(Scope); |
David Blaikie | 9c65b13 | 2014-10-08 22:20:02 +0000 | [diff] [blame] | 406 | assert(ScopeDIE && "Scope DIE should not be null."); |
| 407 | } |
| 408 | |
| 409 | // Add children |
| 410 | for (auto &I : Children) |
| 411 | ScopeDIE->addChild(std::move(I)); |
| 412 | |
| 413 | FinalChildren.push_back(std::move(ScopeDIE)); |
| 414 | } |
| 415 | |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 416 | void DwarfCompileUnit::addScopeRangeList(DIE &ScopeDIE, |
| 417 | SmallVector<RangeSpan, 2> Range) { |
Rafael Espindola | 063d725 | 2015-03-10 16:58:10 +0000 | [diff] [blame] | 418 | const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); |
| 419 | |
Wolfgang Pieb | fcf3810 | 2018-07-12 18:18:21 +0000 | [diff] [blame] | 420 | // Emit the offset into .debug_ranges or .debug_rnglists as a relocatable |
| 421 | // label. emitDIE() will handle emitting it appropriately. |
Rafael Espindola | 063d725 | 2015-03-10 16:58:10 +0000 | [diff] [blame] | 422 | const MCSymbol *RangeSectionSym = |
Wolfgang Pieb | fcf3810 | 2018-07-12 18:18:21 +0000 | [diff] [blame] | 423 | DD->getDwarfVersion() >= 5 |
| 424 | ? TLOF.getDwarfRnglistsSection()->getBeginSymbol() |
| 425 | : TLOF.getDwarfRangesSection()->getBeginSymbol(); |
David Blaikie | 5240020 | 2014-10-09 00:11:39 +0000 | [diff] [blame] | 426 | |
David Blaikie | c4af8bf | 2018-10-20 07:36:39 +0000 | [diff] [blame] | 427 | HasRangeLists = true; |
| 428 | |
| 429 | // Add the range list to the set of ranges to be emitted. |
| 430 | auto IndexAndList = |
| 431 | (DD->getDwarfVersion() < 5 && Skeleton ? Skeleton->DU : DU) |
| 432 | ->addRange((Skeleton ? Skeleton->BaseAddress : BaseAddress), |
| 433 | std::move(Range)); |
| 434 | |
| 435 | uint32_t Index = IndexAndList.first; |
| 436 | auto &List = *IndexAndList.second; |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 437 | |
David Blaikie | 5240020 | 2014-10-09 00:11:39 +0000 | [diff] [blame] | 438 | // Under fission, ranges are specified by constant offsets relative to the |
| 439 | // CU's DW_AT_GNU_ranges_base. |
Wolfgang Pieb | fcf3810 | 2018-07-12 18:18:21 +0000 | [diff] [blame] | 440 | // FIXME: For DWARF v5, do not generate the DW_AT_ranges attribute under |
| 441 | // fission until we support the forms using the .debug_addr section |
| 442 | // (DW_RLE_startx_endx etc.). |
David Blaikie | 32e09de | 2018-10-20 08:12:36 +0000 | [diff] [blame] | 443 | if (DD->getDwarfVersion() >= 5) |
| 444 | addUInt(ScopeDIE, dwarf::DW_AT_ranges, dwarf::DW_FORM_rnglistx, Index); |
| 445 | else if (isDwoUnit()) |
David Blaikie | c4af8bf | 2018-10-20 07:36:39 +0000 | [diff] [blame] | 446 | addSectionDelta(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(), |
| 447 | RangeSectionSym); |
David Blaikie | c4af8bf | 2018-10-20 07:36:39 +0000 | [diff] [blame] | 448 | else |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 449 | addSectionLabel(ScopeDIE, dwarf::DW_AT_ranges, List.getSym(), |
| 450 | RangeSectionSym); |
David Blaikie | 5240020 | 2014-10-09 00:11:39 +0000 | [diff] [blame] | 451 | } |
| 452 | |
David Blaikie | de12375 | 2014-10-09 00:21:42 +0000 | [diff] [blame] | 453 | void DwarfCompileUnit::attachRangesOrLowHighPC( |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 454 | DIE &Die, SmallVector<RangeSpan, 2> Ranges) { |
Alexey Bataev | 858a7dd | 2018-03-20 20:21:38 +0000 | [diff] [blame] | 455 | if (Ranges.size() == 1 || !DD->useRangesSection()) { |
| 456 | const RangeSpan &Front = Ranges.front(); |
| 457 | const RangeSpan &Back = Ranges.back(); |
| 458 | attachLowHighPC(Die, Front.getStart(), Back.getEnd()); |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 459 | } else |
| 460 | addScopeRangeList(Die, std::move(Ranges)); |
| 461 | } |
| 462 | |
| 463 | void DwarfCompileUnit::attachRangesOrLowHighPC( |
David Blaikie | de12375 | 2014-10-09 00:21:42 +0000 | [diff] [blame] | 464 | DIE &Die, const SmallVectorImpl<InsnRange> &Ranges) { |
David Blaikie | 5b02a19 | 2014-11-03 23:10:59 +0000 | [diff] [blame] | 465 | SmallVector<RangeSpan, 2> List; |
| 466 | List.reserve(Ranges.size()); |
| 467 | for (const InsnRange &R : Ranges) |
| 468 | List.push_back(RangeSpan(DD->getLabelBeforeInsn(R.first), |
| 469 | DD->getLabelAfterInsn(R.second))); |
| 470 | attachRangesOrLowHighPC(Die, std::move(List)); |
David Blaikie | de12375 | 2014-10-09 00:21:42 +0000 | [diff] [blame] | 471 | } |
| 472 | |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 473 | // This scope represents inlined body of a function. Construct DIE to |
| 474 | // represent this concrete inlined copy of the function. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 475 | DIE *DwarfCompileUnit::constructInlinedScopeDIE(LexicalScope *Scope) { |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 476 | assert(Scope->getScopeNode()); |
Duncan P. N. Exon Smith | be9e4fe | 2015-04-20 18:32:29 +0000 | [diff] [blame] | 477 | auto *DS = Scope->getScopeNode(); |
| 478 | auto *InlinedSP = getDISubprogram(DS); |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 479 | // Find the subprogram's DwarfCompileUnit in the SPMap in case the subprogram |
| 480 | // was inlined from another compile unit. |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 481 | DIE *OriginDIE = getAbstractSPDies()[InlinedSP]; |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 482 | assert(OriginDIE && "Unable to find original DIE for an inlined subprogram."); |
| 483 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 484 | auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_inlined_subroutine); |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 485 | addDIEEntry(*ScopeDIE, dwarf::DW_AT_abstract_origin, *OriginDIE); |
| 486 | |
| 487 | attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); |
| 488 | |
| 489 | // Add the call site information to the DIE. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 490 | const DILocation *IA = Scope->getInlinedAt(); |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 491 | addUInt(*ScopeDIE, dwarf::DW_AT_call_file, None, |
Paul Robinson | 612e89d | 2018-01-12 19:17:50 +0000 | [diff] [blame] | 492 | getOrCreateSourceID(IA->getFile())); |
Duncan P. N. Exon Smith | b7e221b | 2015-04-14 01:35:55 +0000 | [diff] [blame] | 493 | addUInt(*ScopeDIE, dwarf::DW_AT_call_line, None, IA->getLine()); |
Dehao Chen | 6e0c844 | 2016-10-07 15:21:31 +0000 | [diff] [blame] | 494 | if (IA->getDiscriminator() && DD->getDwarfVersion() >= 4) |
Dehao Chen | 5451135 | 2015-11-11 18:09:47 +0000 | [diff] [blame] | 495 | addUInt(*ScopeDIE, dwarf::DW_AT_GNU_discriminator, None, |
| 496 | IA->getDiscriminator()); |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 497 | |
| 498 | // Add name to the name table, we do this here because we're guaranteed |
| 499 | // to have concrete versions of our DW_TAG_inlined_subprogram nodes. |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 500 | DD->addSubprogramNames(*CUNode, InlinedSP, *ScopeDIE); |
David Blaikie | 01b48a8 | 2014-10-09 16:50:53 +0000 | [diff] [blame] | 501 | |
| 502 | return ScopeDIE; |
| 503 | } |
| 504 | |
David Blaikie | 0fbf8bd | 2014-10-09 17:08:42 +0000 | [diff] [blame] | 505 | // Construct new DW_TAG_lexical_block for this scope and attach |
| 506 | // DW_AT_low_pc/DW_AT_high_pc labels. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 507 | DIE *DwarfCompileUnit::constructLexicalScopeDIE(LexicalScope *Scope) { |
David Blaikie | 0fbf8bd | 2014-10-09 17:08:42 +0000 | [diff] [blame] | 508 | if (DD->isLexicalScopeDIENull(Scope)) |
| 509 | return nullptr; |
| 510 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 511 | auto ScopeDIE = DIE::get(DIEValueAllocator, dwarf::DW_TAG_lexical_block); |
David Blaikie | 0fbf8bd | 2014-10-09 17:08:42 +0000 | [diff] [blame] | 512 | if (Scope->isAbstractScope()) |
| 513 | return ScopeDIE; |
| 514 | |
| 515 | attachRangesOrLowHighPC(*ScopeDIE, Scope->getRanges()); |
| 516 | |
| 517 | return ScopeDIE; |
| 518 | } |
| 519 | |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 520 | /// constructVariableDIE - Construct a DIE for the given DbgVariable. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 521 | DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, bool Abstract) { |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 522 | auto D = constructVariableDIEImpl(DV, Abstract); |
| 523 | DV.setDIE(*D); |
| 524 | return D; |
| 525 | } |
| 526 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 527 | DIE *DwarfCompileUnit::constructLabelDIE(DbgLabel &DL, |
| 528 | const LexicalScope &Scope) { |
| 529 | auto LabelDie = DIE::get(DIEValueAllocator, DL.getTag()); |
| 530 | insertDIE(DL.getLabel(), LabelDie); |
| 531 | DL.setDIE(*LabelDie); |
| 532 | |
| 533 | if (Scope.isAbstractScope()) |
| 534 | applyLabelAttributes(DL, *LabelDie); |
| 535 | |
| 536 | return LabelDie; |
| 537 | } |
| 538 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 539 | DIE *DwarfCompileUnit::constructVariableDIEImpl(const DbgVariable &DV, |
| 540 | bool Abstract) { |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 541 | // Define variable debug information entry. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 542 | auto VariableDie = DIE::get(DIEValueAllocator, DV.getTag()); |
Sander de Smalen | dc00bec | 2018-01-24 13:35:54 +0000 | [diff] [blame] | 543 | insertDIE(DV.getVariable(), VariableDie); |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 544 | |
| 545 | if (Abstract) { |
| 546 | applyVariableAttributes(DV, *VariableDie); |
| 547 | return VariableDie; |
| 548 | } |
| 549 | |
| 550 | // Add variable address. |
| 551 | |
Duncan P. N. Exon Smith | 364a300 | 2015-04-17 21:34:47 +0000 | [diff] [blame] | 552 | unsigned Offset = DV.getDebugLocListIndex(); |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 553 | if (Offset != ~0U) { |
| 554 | addLocationList(*VariableDie, dwarf::DW_AT_location, Offset); |
| 555 | return VariableDie; |
| 556 | } |
| 557 | |
| 558 | // Check if variable is described by a DBG_VALUE instruction. |
| 559 | if (const MachineInstr *DVInsn = DV.getMInsn()) { |
| 560 | assert(DVInsn->getNumOperands() == 4); |
| 561 | if (DVInsn->getOperand(0).isReg()) { |
Adrian Prantl | bd6d291 | 2017-08-02 17:19:13 +0000 | [diff] [blame] | 562 | auto RegOp = DVInsn->getOperand(0); |
| 563 | auto Op1 = DVInsn->getOperand(1); |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 564 | // If the second operand is an immediate, this is an indirect value. |
Adrian Prantl | bd6d291 | 2017-08-02 17:19:13 +0000 | [diff] [blame] | 565 | assert((!Op1.isImm() || (Op1.getImm() == 0)) && "unexpected offset"); |
| 566 | MachineLocation Location(RegOp.getReg(), Op1.isImm()); |
Adrian Prantl | 5577363 | 2017-08-02 17:07:38 +0000 | [diff] [blame] | 567 | addVariableAddress(DV, *VariableDie, Location); |
Adrian Prantl | 3b89e66 | 2016-02-17 22:20:08 +0000 | [diff] [blame] | 568 | } else if (DVInsn->getOperand(0).isImm()) { |
| 569 | // This variable is described by a single constant. |
| 570 | // Check whether it has a DIExpression. |
| 571 | auto *Expr = DV.getSingleExpression(); |
| 572 | if (Expr && Expr->getNumElements()) { |
| 573 | DIELoc *Loc = new (DIEValueAllocator) DIELoc; |
| 574 | DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); |
| 575 | // If there is an expression, emit raw unsigned bytes. |
Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 576 | DwarfExpr.addFragmentOffset(Expr); |
Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 577 | DwarfExpr.addUnsignedConstant(DVInsn->getOperand(0).getImm()); |
| 578 | DwarfExpr.addExpression(Expr); |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 579 | addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); |
Adrian Prantl | 3b89e66 | 2016-02-17 22:20:08 +0000 | [diff] [blame] | 580 | } else |
| 581 | addConstantValue(*VariableDie, DVInsn->getOperand(0), DV.getType()); |
| 582 | } else if (DVInsn->getOperand(0).isFPImm()) |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 583 | addConstantFPValue(*VariableDie, DVInsn->getOperand(0)); |
| 584 | else if (DVInsn->getOperand(0).isCImm()) |
| 585 | addConstantValue(*VariableDie, DVInsn->getOperand(0).getCImm(), |
| 586 | DV.getType()); |
| 587 | |
| 588 | return VariableDie; |
| 589 | } |
| 590 | |
| 591 | // .. else use frame index. |
Adrian Prantl | 67c2442 | 2017-02-17 19:42:32 +0000 | [diff] [blame] | 592 | if (!DV.hasFrameIndexExprs()) |
Adrian Prantl | ca7e470 | 2015-02-10 23:18:28 +0000 | [diff] [blame] | 593 | return VariableDie; |
| 594 | |
Duncan P. N. Exon Smith | e7e1d0c | 2015-05-27 22:14:58 +0000 | [diff] [blame] | 595 | DIELoc *Loc = new (DIEValueAllocator) DIELoc; |
Adrian Prantl | ca7e470 | 2015-02-10 23:18:28 +0000 | [diff] [blame] | 596 | DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); |
Adrian Prantl | 67c2442 | 2017-02-17 19:42:32 +0000 | [diff] [blame] | 597 | for (auto &Fragment : DV.getFrameIndexExprs()) { |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 598 | unsigned FrameReg = 0; |
Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 599 | const DIExpression *Expr = Fragment.Expr; |
Eric Christopher | d4e723f | 2015-02-20 22:36:11 +0000 | [diff] [blame] | 600 | const TargetFrameLowering *TFI = Asm->MF->getSubtarget().getFrameLowering(); |
Adrian Prantl | 67c2442 | 2017-02-17 19:42:32 +0000 | [diff] [blame] | 601 | int Offset = TFI->getFrameIndexReference(*Asm->MF, Fragment.FI, FrameReg); |
Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 602 | DwarfExpr.addFragmentOffset(Expr); |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 603 | SmallVector<uint64_t, 8> Ops; |
Florian Hahn | ffc498d | 2017-06-14 13:14:38 +0000 | [diff] [blame] | 604 | Ops.push_back(dwarf::DW_OP_plus_uconst); |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 605 | Ops.push_back(Offset); |
Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 606 | Ops.append(Expr->elements_begin(), Expr->elements_end()); |
| 607 | DIExpressionCursor Cursor(Ops); |
Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 608 | DwarfExpr.setMemoryLocationKind(); |
Alexey Bataev | 4dd7558 | 2018-07-26 16:29:52 +0000 | [diff] [blame] | 609 | if (const MCSymbol *FrameSymbol = Asm->getFunctionFrameSymbol()) |
| 610 | addOpAddress(*Loc, FrameSymbol); |
| 611 | else |
| 612 | DwarfExpr.addMachineRegExpression( |
| 613 | *Asm->MF->getSubtarget().getRegisterInfo(), Cursor, FrameReg); |
Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 614 | DwarfExpr.addExpression(std::move(Cursor)); |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 615 | } |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 616 | addBlock(*VariableDie, dwarf::DW_AT_location, DwarfExpr.finalize()); |
David Blaikie | ee7df55 | 2014-10-09 17:56:36 +0000 | [diff] [blame] | 617 | |
| 618 | return VariableDie; |
| 619 | } |
| 620 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 621 | DIE *DwarfCompileUnit::constructVariableDIE(DbgVariable &DV, |
| 622 | const LexicalScope &Scope, |
| 623 | DIE *&ObjectPointer) { |
David Blaikie | 4a1a44e | 2014-10-09 17:56:39 +0000 | [diff] [blame] | 624 | auto Var = constructVariableDIE(DV, Scope.isAbstractScope()); |
| 625 | if (DV.isObjectPointer()) |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 626 | ObjectPointer = Var; |
David Blaikie | 4a1a44e | 2014-10-09 17:56:39 +0000 | [diff] [blame] | 627 | return Var; |
| 628 | } |
| 629 | |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 630 | /// Return all DIVariables that appear in count: expressions. |
| 631 | static SmallVector<const DIVariable *, 2> dependencies(DbgVariable *Var) { |
| 632 | SmallVector<const DIVariable *, 2> Result; |
| 633 | auto *Array = dyn_cast<DICompositeType>(Var->getType()); |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 634 | if (!Array || Array->getTag() != dwarf::DW_TAG_array_type) |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 635 | return Result; |
| 636 | for (auto *El : Array->getElements()) { |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 637 | if (auto *Subrange = dyn_cast<DISubrange>(El)) { |
| 638 | auto Count = Subrange->getCount(); |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 639 | if (auto *Dependency = Count.dyn_cast<DIVariable *>()) |
| 640 | Result.push_back(Dependency); |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 641 | } |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 642 | } |
| 643 | return Result; |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 644 | } |
| 645 | |
| 646 | /// Sort local variables so that variables appearing inside of helper |
| 647 | /// expressions come first. |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 648 | static SmallVector<DbgVariable *, 8> |
| 649 | sortLocalVars(SmallVectorImpl<DbgVariable *> &Input) { |
| 650 | SmallVector<DbgVariable *, 8> Result; |
| 651 | SmallVector<PointerIntPair<DbgVariable *, 1>, 8> WorkList; |
| 652 | // Map back from a DIVariable to its containing DbgVariable. |
| 653 | SmallDenseMap<const DILocalVariable *, DbgVariable *> DbgVar; |
| 654 | // Set of DbgVariables in Result. |
| 655 | SmallDenseSet<DbgVariable *, 8> Visited; |
| 656 | // For cycle detection. |
| 657 | SmallDenseSet<DbgVariable *, 8> Visiting; |
| 658 | |
| 659 | // Initialize the worklist and the DIVariable lookup table. |
| 660 | for (auto Var : reverse(Input)) { |
| 661 | DbgVar.insert({Var->getVariable(), Var}); |
| 662 | WorkList.push_back({Var, 0}); |
| 663 | } |
| 664 | |
| 665 | // Perform a stable topological sort by doing a DFS. |
| 666 | while (!WorkList.empty()) { |
| 667 | auto Item = WorkList.back(); |
| 668 | DbgVariable *Var = Item.getPointer(); |
| 669 | bool visitedAllDependencies = Item.getInt(); |
| 670 | WorkList.pop_back(); |
| 671 | |
| 672 | // Dependency is in a different lexical scope or a global. |
| 673 | if (!Var) |
| 674 | continue; |
| 675 | |
| 676 | // Already handled. |
| 677 | if (Visited.count(Var)) |
| 678 | continue; |
| 679 | |
| 680 | // Add to Result if all dependencies are visited. |
| 681 | if (visitedAllDependencies) { |
| 682 | Visited.insert(Var); |
| 683 | Result.push_back(Var); |
| 684 | continue; |
| 685 | } |
| 686 | |
| 687 | // Detect cycles. |
| 688 | auto Res = Visiting.insert(Var); |
| 689 | if (!Res.second) { |
| 690 | assert(false && "dependency cycle in local variables"); |
| 691 | return Result; |
| 692 | } |
| 693 | |
| 694 | // Push dependencies and this node onto the worklist, so that this node is |
| 695 | // visited again after all of its dependencies are handled. |
| 696 | WorkList.push_back({Var, 1}); |
| 697 | for (auto *Dependency : dependencies(Var)) { |
| 698 | auto Dep = dyn_cast_or_null<const DILocalVariable>(Dependency); |
| 699 | WorkList.push_back({DbgVar[Dep], 0}); |
| 700 | } |
| 701 | } |
| 702 | return Result; |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 703 | } |
| 704 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 705 | DIE *DwarfCompileUnit::createScopeChildrenDIE(LexicalScope *Scope, |
| 706 | SmallVectorImpl<DIE *> &Children, |
David Blaikie | 2195e13 | 2017-07-27 00:06:53 +0000 | [diff] [blame] | 707 | bool *HasNonScopeChildren) { |
| 708 | assert(Children.empty()); |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 709 | DIE *ObjectPointer = nullptr; |
| 710 | |
Adrian Prantl | c929f7a | 2018-02-06 22:17:45 +0000 | [diff] [blame] | 711 | // Emit function arguments (order is significant). |
| 712 | auto Vars = DU->getScopeVariables().lookup(Scope); |
| 713 | for (auto &DV : Vars.Args) |
| 714 | Children.push_back(constructVariableDIE(*DV.second, *Scope, ObjectPointer)); |
| 715 | |
| 716 | // Emit local variables. |
Adrian Prantl | 03dd6f5 | 2018-02-08 23:21:15 +0000 | [diff] [blame] | 717 | auto Locals = sortLocalVars(Vars.Locals); |
| 718 | for (DbgVariable *DV : Locals) |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 719 | Children.push_back(constructVariableDIE(*DV, *Scope, ObjectPointer)); |
| 720 | |
David Blaikie | 2195e13 | 2017-07-27 00:06:53 +0000 | [diff] [blame] | 721 | // Skip imported directives in gmlt-like data. |
| 722 | if (!includeMinimalInlineScopes()) { |
| 723 | // There is no need to emit empty lexical block DIE. |
| 724 | for (const auto *IE : ImportedEntities[Scope->getScopeNode()]) |
| 725 | Children.push_back( |
| 726 | constructImportedEntityDIE(cast<DIImportedEntity>(IE))); |
| 727 | } |
| 728 | |
| 729 | if (HasNonScopeChildren) |
| 730 | *HasNonScopeChildren = !Children.empty(); |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 731 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 732 | for (DbgLabel *DL : DU->getScopeLabels().lookup(Scope)) |
| 733 | Children.push_back(constructLabelDIE(*DL, *Scope)); |
| 734 | |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 735 | for (LexicalScope *LS : Scope->getChildren()) |
| 736 | constructScopeDIE(LS, Children); |
| 737 | |
David Blaikie | 8b2fdb8 | 2014-10-09 18:24:28 +0000 | [diff] [blame] | 738 | return ObjectPointer; |
| 739 | } |
| 740 | |
Vedant Kumar | 5931b4e | 2018-10-05 20:37:17 +0000 | [diff] [blame] | 741 | DIE &DwarfCompileUnit::constructSubprogramScopeDIE(const DISubprogram *Sub, |
| 742 | LexicalScope *Scope) { |
David Blaikie | 1d07234 | 2014-10-09 20:21:36 +0000 | [diff] [blame] | 743 | DIE &ScopeDIE = updateSubprogramScopeDIE(Sub); |
| 744 | |
David Blaikie | 3e3eb33 | 2016-12-15 23:17:52 +0000 | [diff] [blame] | 745 | if (Scope) { |
| 746 | assert(!Scope->getInlinedAt()); |
| 747 | assert(!Scope->isAbstractScope()); |
| 748 | // Collect lexical scope children first. |
| 749 | // ObjectPointer might be a local (non-argument) local variable if it's a |
| 750 | // block's synthetic this pointer. |
| 751 | if (DIE *ObjectPointer = createAndAddScopeChildren(Scope, ScopeDIE)) |
| 752 | addDIEEntry(ScopeDIE, dwarf::DW_AT_object_pointer, *ObjectPointer); |
| 753 | } |
| 754 | |
David Blaikie | 1d07234 | 2014-10-09 20:21:36 +0000 | [diff] [blame] | 755 | // If this is a variadic function, add an unspecified parameter. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 756 | DITypeRefArray FnArgs = Sub->getType()->getTypeArray(); |
David Blaikie | 1dd573d | 2014-10-23 22:27:50 +0000 | [diff] [blame] | 757 | |
David Blaikie | 1d07234 | 2014-10-09 20:21:36 +0000 | [diff] [blame] | 758 | // If we have a single element of null, it is a function that returns void. |
| 759 | // If we have more than one elements and the last one is null, it is a |
| 760 | // variadic function. |
Duncan P. N. Exon Smith | 000fa2c | 2015-04-07 04:14:33 +0000 | [diff] [blame] | 761 | if (FnArgs.size() > 1 && !FnArgs[FnArgs.size() - 1] && |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 762 | !includeMinimalInlineScopes()) |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 763 | ScopeDIE.addChild( |
| 764 | DIE::get(DIEValueAllocator, dwarf::DW_TAG_unspecified_parameters)); |
Vedant Kumar | 5931b4e | 2018-10-05 20:37:17 +0000 | [diff] [blame] | 765 | |
| 766 | return ScopeDIE; |
David Blaikie | 1d07234 | 2014-10-09 20:21:36 +0000 | [diff] [blame] | 767 | } |
| 768 | |
David Blaikie | 78b65b6 | 2014-10-09 20:26:15 +0000 | [diff] [blame] | 769 | DIE *DwarfCompileUnit::createAndAddScopeChildren(LexicalScope *Scope, |
| 770 | DIE &ScopeDIE) { |
| 771 | // We create children when the scope DIE is not null. |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 772 | SmallVector<DIE *, 8> Children; |
David Blaikie | 78b65b6 | 2014-10-09 20:26:15 +0000 | [diff] [blame] | 773 | DIE *ObjectPointer = createScopeChildrenDIE(Scope, Children); |
| 774 | |
| 775 | // Add children |
| 776 | for (auto &I : Children) |
| 777 | ScopeDIE.addChild(std::move(I)); |
| 778 | |
| 779 | return ObjectPointer; |
| 780 | } |
| 781 | |
Dehao Chen | 5451135 | 2015-11-11 18:09:47 +0000 | [diff] [blame] | 782 | void DwarfCompileUnit::constructAbstractSubprogramScopeDIE( |
| 783 | LexicalScope *Scope) { |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 784 | DIE *&AbsDef = getAbstractSPDies()[Scope->getScopeNode()]; |
David Blaikie | 49be5b3 | 2014-10-31 21:57:02 +0000 | [diff] [blame] | 785 | if (AbsDef) |
| 786 | return; |
| 787 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 788 | auto *SP = cast<DISubprogram>(Scope->getScopeNode()); |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 789 | |
| 790 | DIE *ContextDIE; |
Jonas Devlieghere | 294e689 | 2017-11-15 10:57:05 +0000 | [diff] [blame] | 791 | DwarfCompileUnit *ContextCU = this; |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 792 | |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 793 | if (includeMinimalInlineScopes()) |
| 794 | ContextDIE = &getUnitDie(); |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 795 | // Some of this is duplicated from DwarfUnit::getOrCreateSubprogramDIE, with |
Duncan P. N. Exon Smith | 7c60f20 | 2015-04-18 00:35:36 +0000 | [diff] [blame] | 796 | // the important distinction that the debug node is not associated with the |
| 797 | // DIE (since the debug node will be associated with the concrete DIE, if |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 798 | // any). It could be refactored to some common utility function. |
Duncan P. N. Exon Smith | 537b4a8 | 2015-04-14 03:40:37 +0000 | [diff] [blame] | 799 | else if (auto *SPDecl = SP->getDeclaration()) { |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 800 | ContextDIE = &getUnitDie(); |
| 801 | getOrCreateSubprogramDIE(SPDecl); |
Jonas Devlieghere | 294e689 | 2017-11-15 10:57:05 +0000 | [diff] [blame] | 802 | } else { |
Duncan P. N. Exon Smith | 537b4a8 | 2015-04-14 03:40:37 +0000 | [diff] [blame] | 803 | ContextDIE = getOrCreateContextDIE(resolve(SP->getScope())); |
Jonas Devlieghere | 294e689 | 2017-11-15 10:57:05 +0000 | [diff] [blame] | 804 | // The scope may be shared with a subprogram that has already been |
| 805 | // constructed in another CU, in which case we need to construct this |
| 806 | // subprogram in the same CU. |
| 807 | ContextCU = DD->lookupCU(ContextDIE->getUnitDie()); |
| 808 | } |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 809 | |
Duncan P. N. Exon Smith | 7c60f20 | 2015-04-18 00:35:36 +0000 | [diff] [blame] | 810 | // Passing null as the associated node because the abstract definition |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 811 | // shouldn't be found by lookup. |
Jonas Devlieghere | 294e689 | 2017-11-15 10:57:05 +0000 | [diff] [blame] | 812 | AbsDef = &ContextCU->createAndAddDIE(dwarf::DW_TAG_subprogram, *ContextDIE, nullptr); |
| 813 | ContextCU->applySubprogramAttributesToDefinition(SP, *AbsDef); |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 814 | |
Jonas Devlieghere | 294e689 | 2017-11-15 10:57:05 +0000 | [diff] [blame] | 815 | if (!ContextCU->includeMinimalInlineScopes()) |
| 816 | ContextCU->addUInt(*AbsDef, dwarf::DW_AT_inline, None, dwarf::DW_INL_inlined); |
| 817 | if (DIE *ObjectPointer = ContextCU->createAndAddScopeChildren(Scope, *AbsDef)) |
| 818 | ContextCU->addDIEEntry(*AbsDef, dwarf::DW_AT_object_pointer, *ObjectPointer); |
David Blaikie | 58410f2 | 2014-10-10 06:39:26 +0000 | [diff] [blame] | 819 | } |
| 820 | |
Vedant Kumar | 5931b4e | 2018-10-05 20:37:17 +0000 | [diff] [blame] | 821 | DIE &DwarfCompileUnit::constructCallSiteEntryDIE(DIE &ScopeDIE, |
| 822 | const DISubprogram &CalleeSP, |
| 823 | bool IsTail, |
Vedant Kumar | 74533bd | 2018-10-22 21:44:21 +0000 | [diff] [blame^] | 824 | const MCExpr *PCOffset) { |
Vedant Kumar | 5931b4e | 2018-10-05 20:37:17 +0000 | [diff] [blame] | 825 | // Insert a call site entry DIE within ScopeDIE. |
| 826 | DIE &CallSiteDIE = |
| 827 | createAndAddDIE(dwarf::DW_TAG_call_site, ScopeDIE, nullptr); |
| 828 | |
| 829 | // For the purposes of showing tail call frames in backtraces, a key piece of |
| 830 | // information is DW_AT_call_origin, a pointer to the callee DIE. |
| 831 | DIE *CalleeDIE = getOrCreateSubprogramDIE(&CalleeSP); |
| 832 | assert(CalleeDIE && "Could not create DIE for call site entry origin"); |
| 833 | addDIEEntry(CallSiteDIE, dwarf::DW_AT_call_origin, *CalleeDIE); |
| 834 | |
| 835 | if (IsTail) { |
| 836 | // Attach DW_AT_call_tail_call to tail calls for standards compliance. |
| 837 | addFlag(CallSiteDIE, dwarf::DW_AT_call_tail_call); |
| 838 | } else { |
| 839 | // Attach the return PC to allow the debugger to disambiguate call paths |
| 840 | // from one function to another. |
Vedant Kumar | 74533bd | 2018-10-22 21:44:21 +0000 | [diff] [blame^] | 841 | assert(PCOffset && "Missing return PC information for a call"); |
| 842 | addAddressExpr(CallSiteDIE, dwarf::DW_AT_call_return_pc, PCOffset); |
Vedant Kumar | 5931b4e | 2018-10-05 20:37:17 +0000 | [diff] [blame] | 843 | } |
| 844 | return CallSiteDIE; |
| 845 | } |
| 846 | |
Duncan P. N. Exon Smith | 827200c | 2015-06-25 23:52:10 +0000 | [diff] [blame] | 847 | DIE *DwarfCompileUnit::constructImportedEntityDIE( |
| 848 | const DIImportedEntity *Module) { |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 849 | DIE *IMDie = DIE::get(DIEValueAllocator, (dwarf::Tag)Module->getTag()); |
| 850 | insertDIE(Module, IMDie); |
Frederic Riss | 987fe22 | 2014-10-24 21:31:09 +0000 | [diff] [blame] | 851 | DIE *EntityDie; |
Duncan P. N. Exon Smith | de8e427 | 2015-04-14 01:46:44 +0000 | [diff] [blame] | 852 | auto *Entity = resolve(Module->getEntity()); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 853 | if (auto *NS = dyn_cast<DINamespace>(Entity)) |
Duncan P. N. Exon Smith | e686f15 | 2015-04-06 23:27:40 +0000 | [diff] [blame] | 854 | EntityDie = getOrCreateNameSpace(NS); |
Adrian Prantl | 08a388b | 2015-06-30 02:13:04 +0000 | [diff] [blame] | 855 | else if (auto *M = dyn_cast<DIModule>(Entity)) |
| 856 | EntityDie = getOrCreateModule(M); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 857 | else if (auto *SP = dyn_cast<DISubprogram>(Entity)) |
Duncan P. N. Exon Smith | e686f15 | 2015-04-06 23:27:40 +0000 | [diff] [blame] | 858 | EntityDie = getOrCreateSubprogramDIE(SP); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 859 | else if (auto *T = dyn_cast<DIType>(Entity)) |
Duncan P. N. Exon Smith | e686f15 | 2015-04-06 23:27:40 +0000 | [diff] [blame] | 860 | EntityDie = getOrCreateTypeDIE(T); |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 861 | else if (auto *GV = dyn_cast<DIGlobalVariable>(Entity)) |
Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 862 | EntityDie = getOrCreateGlobalVariableDIE(GV, {}); |
Frederic Riss | 987fe22 | 2014-10-24 21:31:09 +0000 | [diff] [blame] | 863 | else |
| 864 | EntityDie = getDIE(Entity); |
| 865 | assert(EntityDie); |
Paul Robinson | 612e89d | 2018-01-12 19:17:50 +0000 | [diff] [blame] | 866 | addSourceLine(*IMDie, Module->getLine(), Module->getFile()); |
Frederic Riss | 987fe22 | 2014-10-24 21:31:09 +0000 | [diff] [blame] | 867 | addDIEEntry(*IMDie, dwarf::DW_AT_import, *EntityDie); |
Duncan P. N. Exon Smith | de8e427 | 2015-04-14 01:46:44 +0000 | [diff] [blame] | 868 | StringRef Name = Module->getName(); |
Frederic Riss | 987fe22 | 2014-10-24 21:31:09 +0000 | [diff] [blame] | 869 | if (!Name.empty()) |
| 870 | addString(*IMDie, dwarf::DW_AT_name, Name); |
| 871 | |
| 872 | return IMDie; |
| 873 | } |
| 874 | |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 875 | void DwarfCompileUnit::finishSubprogramDefinition(const DISubprogram *SP) { |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 876 | DIE *D = getDIE(SP); |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 877 | if (DIE *AbsSPDIE = getAbstractSPDies().lookup(SP)) { |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 878 | if (D) |
David Blaikie | 4191cbc | 2014-10-10 06:39:29 +0000 | [diff] [blame] | 879 | // If this subprogram has an abstract definition, reference that |
| 880 | addDIEEntry(*D, dwarf::DW_AT_abstract_origin, *AbsSPDIE); |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 881 | } else { |
David Blaikie | 3e3eb33 | 2016-12-15 23:17:52 +0000 | [diff] [blame] | 882 | assert(D || includeMinimalInlineScopes()); |
Amjad Aboud | 72da939 | 2016-04-30 01:44:07 +0000 | [diff] [blame] | 883 | if (D) |
David Blaikie | 4191cbc | 2014-10-10 06:39:29 +0000 | [diff] [blame] | 884 | // And attach the attributes |
| 885 | applySubprogramAttributesToDefinition(SP, *D); |
| 886 | } |
| 887 | } |
| 888 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 889 | void DwarfCompileUnit::finishEntityDefinition(const DbgEntity *Entity) { |
| 890 | DbgEntity *AbsEntity = getExistingAbstractEntity(Entity->getEntity()); |
| 891 | |
| 892 | auto *Die = Entity->getDIE(); |
| 893 | /// Label may be used to generate DW_AT_low_pc, so put it outside |
| 894 | /// if/else block. |
| 895 | const DbgLabel *Label = nullptr; |
| 896 | if (AbsEntity && AbsEntity->getDIE()) { |
| 897 | addDIEEntry(*Die, dwarf::DW_AT_abstract_origin, *AbsEntity->getDIE()); |
| 898 | Label = dyn_cast<const DbgLabel>(Entity); |
| 899 | } else { |
| 900 | if (const DbgVariable *Var = dyn_cast<const DbgVariable>(Entity)) |
| 901 | applyVariableAttributes(*Var, *Die); |
| 902 | else if ((Label = dyn_cast<const DbgLabel>(Entity))) |
| 903 | applyLabelAttributes(*Label, *Die); |
| 904 | else |
| 905 | llvm_unreachable("DbgEntity must be DbgVariable or DbgLabel."); |
| 906 | } |
| 907 | |
Hsiangkai Wang | 55321d8 | 2018-09-26 04:19:23 +0000 | [diff] [blame] | 908 | if (Label) |
| 909 | if (const auto *Sym = Label->getSymbol()) |
| 910 | addLabelAddress(*Die, dwarf::DW_AT_low_pc, Sym); |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 911 | } |
| 912 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 913 | DbgEntity *DwarfCompileUnit::getExistingAbstractEntity(const DINode *Node) { |
| 914 | auto &AbstractEntities = getAbstractEntities(); |
| 915 | auto I = AbstractEntities.find(Node); |
| 916 | if (I != AbstractEntities.end()) |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 917 | return I->second.get(); |
| 918 | return nullptr; |
| 919 | } |
| 920 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 921 | void DwarfCompileUnit::createAbstractEntity(const DINode *Node, |
| 922 | LexicalScope *Scope) { |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 923 | assert(Scope && Scope->isAbstractScope()); |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 924 | auto &Entity = getAbstractEntities()[Node]; |
| 925 | if (isa<const DILocalVariable>(Node)) { |
| 926 | Entity = llvm::make_unique<DbgVariable>( |
| 927 | cast<const DILocalVariable>(Node), nullptr /* IA */);; |
| 928 | DU->addScopeVariable(Scope, cast<DbgVariable>(Entity.get())); |
| 929 | } else if (isa<const DILabel>(Node)) { |
| 930 | Entity = llvm::make_unique<DbgLabel>( |
| 931 | cast<const DILabel>(Node), nullptr /* IA */); |
| 932 | DU->addScopeLabel(Scope, cast<DbgLabel>(Entity.get())); |
| 933 | } |
David Blaikie | 488393f | 2017-05-12 01:13:45 +0000 | [diff] [blame] | 934 | } |
| 935 | |
Rafael Espindola | 063d725 | 2015-03-10 16:58:10 +0000 | [diff] [blame] | 936 | void DwarfCompileUnit::emitHeader(bool UseOffsets) { |
David Blaikie | b6726a9 | 2014-11-02 02:26:24 +0000 | [diff] [blame] | 937 | // Don't bother labeling the .dwo unit, as its offset isn't used. |
Alexey Bataev | bff3608 | 2018-03-23 13:35:54 +0000 | [diff] [blame] | 938 | if (!Skeleton && !DD->useSectionsAsReferences()) { |
Rafael Espindola | 9ab0923 | 2015-03-17 20:07:06 +0000 | [diff] [blame] | 939 | LabelBegin = Asm->createTempSymbol("cu_begin"); |
Lang Hames | 9ff69c8 | 2015-04-24 19:11:51 +0000 | [diff] [blame] | 940 | Asm->OutStreamer->EmitLabel(LabelBegin); |
Rafael Espindola | 3c31114 | 2015-03-10 03:11:11 +0000 | [diff] [blame] | 941 | } |
David Blaikie | ae57e66 | 2014-11-01 23:59:23 +0000 | [diff] [blame] | 942 | |
Paul Robinson | cddd604 | 2017-02-28 20:24:55 +0000 | [diff] [blame] | 943 | dwarf::UnitType UT = Skeleton ? dwarf::DW_UT_split_compile |
| 944 | : DD->useSplitDwarf() ? dwarf::DW_UT_skeleton |
| 945 | : dwarf::DW_UT_compile; |
| 946 | DwarfUnit::emitCommonHeader(UseOffsets, UT); |
Paul Robinson | 543c0e1 | 2018-05-22 17:27:31 +0000 | [diff] [blame] | 947 | if (DD->getDwarfVersion() >= 5 && UT != dwarf::DW_UT_compile) |
| 948 | Asm->emitInt64(getDWOId()); |
David Blaikie | ae57e66 | 2014-11-01 23:59:23 +0000 | [diff] [blame] | 949 | } |
| 950 | |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 951 | bool DwarfCompileUnit::hasDwarfPubSections() const { |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 952 | switch (CUNode->getNameTableKind()) { |
| 953 | case DICompileUnit::DebugNameTableKind::None: |
| 954 | return false; |
| 955 | // Opting in to GNU Pubnames/types overrides the default to ensure these are |
| 956 | // generated for things like Gold's gdb_index generation. |
| 957 | case DICompileUnit::DebugNameTableKind::GNU: |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 958 | return true; |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 959 | case DICompileUnit::DebugNameTableKind::Default: |
David Blaikie | 0e03047 | 2018-08-16 23:57:15 +0000 | [diff] [blame] | 960 | return DD->tuneForGDB() && !includeMinimalInlineScopes() && |
| 961 | !CUNode->isDebugDirectivesOnly(); |
David Blaikie | 66cf14d | 2018-08-16 21:29:55 +0000 | [diff] [blame] | 962 | } |
Simon Pilgrim | 22d580f2 | 2018-08-17 09:47:52 +0000 | [diff] [blame] | 963 | llvm_unreachable("Unhandled DICompileUnit::DebugNameTableKind enum"); |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 964 | } |
| 965 | |
David Blaikie | 192b45c | 2014-11-02 06:16:39 +0000 | [diff] [blame] | 966 | /// addGlobalName - Add a new global name to the compile unit. |
David Blaikie | a0e3c75 | 2017-02-03 00:44:18 +0000 | [diff] [blame] | 967 | void DwarfCompileUnit::addGlobalName(StringRef Name, const DIE &Die, |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 968 | const DIScope *Context) { |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 969 | if (!hasDwarfPubSections()) |
David Blaikie | 192b45c | 2014-11-02 06:16:39 +0000 | [diff] [blame] | 970 | return; |
| 971 | std::string FullName = getParentContextString(Context) + Name.str(); |
| 972 | GlobalNames[FullName] = &Die; |
| 973 | } |
| 974 | |
David Blaikie | a0e3c75 | 2017-02-03 00:44:18 +0000 | [diff] [blame] | 975 | void DwarfCompileUnit::addGlobalNameForTypeUnit(StringRef Name, |
| 976 | const DIScope *Context) { |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 977 | if (!hasDwarfPubSections()) |
David Blaikie | a0e3c75 | 2017-02-03 00:44:18 +0000 | [diff] [blame] | 978 | return; |
| 979 | std::string FullName = getParentContextString(Context) + Name.str(); |
| 980 | // Insert, allowing the entry to remain as-is if it's already present |
| 981 | // This way the CU-level type DIE is preferred over the "can't describe this |
| 982 | // type as a unit offset because it's not really in the CU at all, it's only |
| 983 | // in a type unit" |
| 984 | GlobalNames.insert(std::make_pair(std::move(FullName), &getUnitDie())); |
| 985 | } |
| 986 | |
David Blaikie | 192b45c | 2014-11-02 06:16:39 +0000 | [diff] [blame] | 987 | /// Add a new global type to the unit. |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 988 | void DwarfCompileUnit::addGlobalType(const DIType *Ty, const DIE &Die, |
| 989 | const DIScope *Context) { |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 990 | if (!hasDwarfPubSections()) |
David Blaikie | 192b45c | 2014-11-02 06:16:39 +0000 | [diff] [blame] | 991 | return; |
Duncan P. N. Exon Smith | b105564 | 2015-04-16 01:01:28 +0000 | [diff] [blame] | 992 | std::string FullName = getParentContextString(Context) + Ty->getName().str(); |
David Blaikie | 192b45c | 2014-11-02 06:16:39 +0000 | [diff] [blame] | 993 | GlobalTypes[FullName] = &Die; |
| 994 | } |
David Blaikie | ae57e66 | 2014-11-01 23:59:23 +0000 | [diff] [blame] | 995 | |
David Blaikie | a0e3c75 | 2017-02-03 00:44:18 +0000 | [diff] [blame] | 996 | void DwarfCompileUnit::addGlobalTypeUnitType(const DIType *Ty, |
| 997 | const DIScope *Context) { |
Peter Collingbourne | b52e236 | 2017-09-12 21:50:41 +0000 | [diff] [blame] | 998 | if (!hasDwarfPubSections()) |
David Blaikie | a0e3c75 | 2017-02-03 00:44:18 +0000 | [diff] [blame] | 999 | return; |
| 1000 | std::string FullName = getParentContextString(Context) + Ty->getName().str(); |
| 1001 | // Insert, allowing the entry to remain as-is if it's already present |
| 1002 | // This way the CU-level type DIE is preferred over the "can't describe this |
| 1003 | // type as a unit offset because it's not really in the CU at all, it's only |
| 1004 | // in a type unit" |
| 1005 | GlobalTypes.insert(std::make_pair(std::move(FullName), &getUnitDie())); |
| 1006 | } |
| 1007 | |
David Blaikie | 7d48be2 | 2014-11-02 06:37:23 +0000 | [diff] [blame] | 1008 | /// addVariableAddress - Add DW_AT_location attribute for a |
| 1009 | /// DbgVariable based on provided MachineLocation. |
| 1010 | void DwarfCompileUnit::addVariableAddress(const DbgVariable &DV, DIE &Die, |
| 1011 | MachineLocation Location) { |
Adrian Prantl | a2f9e3a | 2017-10-12 22:54:36 +0000 | [diff] [blame] | 1012 | // addBlockByrefAddress is obsolete and will be removed soon. |
| 1013 | // The clang frontend always generates block byref variables with a |
| 1014 | // complex expression that encodes exactly what addBlockByrefAddress |
| 1015 | // would do. |
| 1016 | assert((!DV.isBlockByrefVariable() || DV.hasComplexAddress()) && |
| 1017 | "block byref variable without a complex expression"); |
Duncan P. N. Exon Smith | e6cc531 | 2015-06-21 16:50:43 +0000 | [diff] [blame] | 1018 | if (DV.hasComplexAddress()) |
David Blaikie | 7d48be2 | 2014-11-02 06:37:23 +0000 | [diff] [blame] | 1019 | addComplexAddress(DV, Die, dwarf::DW_AT_location, Location); |
David Blaikie | 7d48be2 | 2014-11-02 06:37:23 +0000 | [diff] [blame] | 1020 | else |
Adrian Prantl | 5883af3 | 2015-01-19 17:57:29 +0000 | [diff] [blame] | 1021 | addAddress(Die, dwarf::DW_AT_location, Location); |
David Blaikie | 7d48be2 | 2014-11-02 06:37:23 +0000 | [diff] [blame] | 1022 | } |
David Blaikie | f7435ee | 2014-11-02 06:46:40 +0000 | [diff] [blame] | 1023 | |
| 1024 | /// Add an address attribute to a die based on the location provided. |
| 1025 | void DwarfCompileUnit::addAddress(DIE &Die, dwarf::Attribute Attribute, |
Adrian Prantl | 5883af3 | 2015-01-19 17:57:29 +0000 | [diff] [blame] | 1026 | const MachineLocation &Location) { |
Duncan P. N. Exon Smith | e7e1d0c | 2015-05-27 22:14:58 +0000 | [diff] [blame] | 1027 | DIELoc *Loc = new (DIEValueAllocator) DIELoc; |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1028 | DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); |
Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 1029 | if (Location.isIndirect()) |
| 1030 | DwarfExpr.setMemoryLocationKind(); |
David Blaikie | f7435ee | 2014-11-02 06:46:40 +0000 | [diff] [blame] | 1031 | |
Adrian Prantl | 2049c0d | 2017-08-02 15:22:17 +0000 | [diff] [blame] | 1032 | DIExpressionCursor Cursor({}); |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1033 | const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); |
Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 1034 | if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) |
Adrian Prantl | ab255fc | 2014-12-05 01:02:46 +0000 | [diff] [blame] | 1035 | return; |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1036 | DwarfExpr.addExpression(std::move(Cursor)); |
Adrian Prantl | ab255fc | 2014-12-05 01:02:46 +0000 | [diff] [blame] | 1037 | |
David Blaikie | f7435ee | 2014-11-02 06:46:40 +0000 | [diff] [blame] | 1038 | // Now attach the location information to the DIE. |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1039 | addBlock(Die, Attribute, DwarfExpr.finalize()); |
David Blaikie | f7435ee | 2014-11-02 06:46:40 +0000 | [diff] [blame] | 1040 | } |
David Blaikie | 77895fb | 2014-11-02 06:58:44 +0000 | [diff] [blame] | 1041 | |
| 1042 | /// Start with the address based on the location provided, and generate the |
| 1043 | /// DWARF information necessary to find the actual variable given the extra |
| 1044 | /// address information encoded in the DbgVariable, starting from the starting |
| 1045 | /// location. Add the DWARF information to the die. |
| 1046 | void DwarfCompileUnit::addComplexAddress(const DbgVariable &DV, DIE &Die, |
| 1047 | dwarf::Attribute Attribute, |
| 1048 | const MachineLocation &Location) { |
Duncan P. N. Exon Smith | e7e1d0c | 2015-05-27 22:14:58 +0000 | [diff] [blame] | 1049 | DIELoc *Loc = new (DIEValueAllocator) DIELoc; |
Adrian Prantl | 7813d9c | 2015-01-14 01:01:30 +0000 | [diff] [blame] | 1050 | DIEDwarfExpression DwarfExpr(*Asm, *this, *Loc); |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1051 | const DIExpression *DIExpr = DV.getSingleExpression(); |
| 1052 | DwarfExpr.addFragmentOffset(DIExpr); |
Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 1053 | if (Location.isIndirect()) |
| 1054 | DwarfExpr.setMemoryLocationKind(); |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1055 | |
Adrian Prantl | 2049c0d | 2017-08-02 15:22:17 +0000 | [diff] [blame] | 1056 | DIExpressionCursor Cursor(DIExpr); |
Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 1057 | const TargetRegisterInfo &TRI = *Asm->MF->getSubtarget().getRegisterInfo(); |
Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 1058 | if (!DwarfExpr.addMachineRegExpression(TRI, Cursor, Location.getReg())) |
Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 1059 | return; |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1060 | DwarfExpr.addExpression(std::move(Cursor)); |
David Blaikie | 77895fb | 2014-11-02 06:58:44 +0000 | [diff] [blame] | 1061 | |
| 1062 | // Now attach the location information to the DIE. |
Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 1063 | addBlock(Die, Attribute, DwarfExpr.finalize()); |
David Blaikie | 77895fb | 2014-11-02 06:58:44 +0000 | [diff] [blame] | 1064 | } |
David Blaikie | 4bc0881 | 2014-11-02 07:03:19 +0000 | [diff] [blame] | 1065 | |
| 1066 | /// Add a Dwarf loclistptr attribute data and value. |
| 1067 | void DwarfCompileUnit::addLocationList(DIE &Die, dwarf::Attribute Attribute, |
| 1068 | unsigned Index) { |
David Blaikie | 4bc0881 | 2014-11-02 07:03:19 +0000 | [diff] [blame] | 1069 | dwarf::Form Form = DD->getDwarfVersion() >= 4 ? dwarf::DW_FORM_sec_offset |
| 1070 | : dwarf::DW_FORM_data4; |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 1071 | Die.addValue(DIEValueAllocator, Attribute, Form, DIELocList(Index)); |
David Blaikie | 4bc0881 | 2014-11-02 07:03:19 +0000 | [diff] [blame] | 1072 | } |
David Blaikie | 02a6333 | 2014-11-02 07:06:51 +0000 | [diff] [blame] | 1073 | |
David Blaikie | 8c485b5 | 2014-11-02 07:08:12 +0000 | [diff] [blame] | 1074 | void DwarfCompileUnit::applyVariableAttributes(const DbgVariable &Var, |
| 1075 | DIE &VariableDie) { |
David Blaikie | 02a6333 | 2014-11-02 07:06:51 +0000 | [diff] [blame] | 1076 | StringRef Name = Var.getName(); |
| 1077 | if (!Name.empty()) |
| 1078 | addString(VariableDie, dwarf::DW_AT_name, Name); |
Victor Leschuk | 3c98998 | 2016-10-26 11:59:03 +0000 | [diff] [blame] | 1079 | const auto *DIVar = Var.getVariable(); |
| 1080 | if (DIVar) |
| 1081 | if (uint32_t AlignInBytes = DIVar->getAlignInBytes()) |
| 1082 | addUInt(VariableDie, dwarf::DW_AT_alignment, dwarf::DW_FORM_udata, |
| 1083 | AlignInBytes); |
| 1084 | |
| 1085 | addSourceLine(VariableDie, DIVar); |
David Blaikie | 02a6333 | 2014-11-02 07:06:51 +0000 | [diff] [blame] | 1086 | addType(VariableDie, Var.getType()); |
| 1087 | if (Var.isArtificial()) |
| 1088 | addFlag(VariableDie, dwarf::DW_AT_artificial); |
| 1089 | } |
David Blaikie | 9780208 | 2014-11-02 07:11:55 +0000 | [diff] [blame] | 1090 | |
Hsiangkai Wang | 2532ac8 | 2018-08-17 15:22:04 +0000 | [diff] [blame] | 1091 | void DwarfCompileUnit::applyLabelAttributes(const DbgLabel &Label, |
| 1092 | DIE &LabelDie) { |
| 1093 | StringRef Name = Label.getName(); |
| 1094 | if (!Name.empty()) |
| 1095 | addString(LabelDie, dwarf::DW_AT_name, Name); |
| 1096 | const auto *DILabel = Label.getLabel(); |
| 1097 | addSourceLine(LabelDie, DILabel); |
| 1098 | } |
| 1099 | |
David Blaikie | 9780208 | 2014-11-02 07:11:55 +0000 | [diff] [blame] | 1100 | /// Add a Dwarf expression attribute data and value. |
| 1101 | void DwarfCompileUnit::addExpr(DIELoc &Die, dwarf::Form Form, |
| 1102 | const MCExpr *Expr) { |
Duncan P. N. Exon Smith | 4fb1f9c | 2015-06-25 23:46:41 +0000 | [diff] [blame] | 1103 | Die.addValue(DIEValueAllocator, (dwarf::Attribute)0, Form, DIEExpr(Expr)); |
David Blaikie | 9780208 | 2014-11-02 07:11:55 +0000 | [diff] [blame] | 1104 | } |
David Blaikie | 3363a57 | 2014-11-02 08:09:09 +0000 | [diff] [blame] | 1105 | |
Vedant Kumar | 74533bd | 2018-10-22 21:44:21 +0000 | [diff] [blame^] | 1106 | void DwarfCompileUnit::addAddressExpr(DIE &Die, dwarf::Attribute Attribute, |
| 1107 | const MCExpr *Expr) { |
| 1108 | Die.addValue(DIEValueAllocator, Attribute, dwarf::DW_FORM_addr, |
| 1109 | DIEExpr(Expr)); |
| 1110 | } |
| 1111 | |
Duncan P. N. Exon Smith | 2fbe135 | 2015-04-20 22:10:08 +0000 | [diff] [blame] | 1112 | void DwarfCompileUnit::applySubprogramAttributesToDefinition( |
Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 1113 | const DISubprogram *SP, DIE &SPDie) { |
Duncan P. N. Exon Smith | 537b4a8 | 2015-04-14 03:40:37 +0000 | [diff] [blame] | 1114 | auto *SPDecl = SP->getDeclaration(); |
Duncan P. N. Exon Smith | be9e4fe | 2015-04-20 18:32:29 +0000 | [diff] [blame] | 1115 | auto *Context = resolve(SPDecl ? SPDecl->getScope() : SP->getScope()); |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 1116 | applySubprogramAttributes(SP, SPDie, includeMinimalInlineScopes()); |
Duncan P. N. Exon Smith | 537b4a8 | 2015-04-14 03:40:37 +0000 | [diff] [blame] | 1117 | addGlobalName(SP->getName(), SPDie, Context); |
David Blaikie | 3363a57 | 2014-11-02 08:09:09 +0000 | [diff] [blame] | 1118 | } |
David Blaikie | cafd962 | 2014-11-02 08:51:37 +0000 | [diff] [blame] | 1119 | |
| 1120 | bool DwarfCompileUnit::isDwoUnit() const { |
| 1121 | return DD->useSplitDwarf() && Skeleton; |
| 1122 | } |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 1123 | |
| 1124 | bool DwarfCompileUnit::includeMinimalInlineScopes() const { |
Adrian Prantl | b939a25 | 2016-03-31 23:56:58 +0000 | [diff] [blame] | 1125 | return getCUNode()->getEmissionKind() == DICompileUnit::LineTablesOnly || |
David Blaikie | 3a443c2 | 2014-11-04 22:12:25 +0000 | [diff] [blame] | 1126 | (DD->useSplitDwarf() && !Skeleton); |
| 1127 | } |