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