1f9c275feSReid Kleckner //===-- llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp -------*- C++ -*--===// 2f9c275feSReid Kleckner // 3f9c275feSReid Kleckner // The LLVM Compiler Infrastructure 4f9c275feSReid Kleckner // 5f9c275feSReid Kleckner // This file is distributed under the University of Illinois Open Source 6f9c275feSReid Kleckner // License. See LICENSE.TXT for details. 7f9c275feSReid Kleckner // 8f9c275feSReid Kleckner //===----------------------------------------------------------------------===// 9f9c275feSReid Kleckner // 10f9c275feSReid Kleckner // Common functionality for different debug information format backends. 11f9c275feSReid Kleckner // LLVM currently supports DWARF and CodeView. 12f9c275feSReid Kleckner // 13f9c275feSReid Kleckner //===----------------------------------------------------------------------===// 14f9c275feSReid Kleckner 15f9c275feSReid Kleckner #include "DebugHandlerBase.h" 16f9c275feSReid Kleckner #include "llvm/CodeGen/AsmPrinter.h" 17f9c275feSReid Kleckner #include "llvm/CodeGen/MachineFunction.h" 18f9c275feSReid Kleckner #include "llvm/CodeGen/MachineInstr.h" 19f9c275feSReid Kleckner #include "llvm/CodeGen/MachineModuleInfo.h" 2028865809SReid Kleckner #include "llvm/IR/DebugInfo.h" 21a5b1eef8SReid Kleckner #include "llvm/MC/MCStreamer.h" 22f9c275feSReid Kleckner #include "llvm/Target/TargetSubtargetInfo.h" 23f9c275feSReid Kleckner 24f9c275feSReid Kleckner using namespace llvm; 25f9c275feSReid Kleckner 26f9c275feSReid Kleckner DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {} 27f9c275feSReid Kleckner 28f9c275feSReid Kleckner // Each LexicalScope has first instruction and last instruction to mark 29f9c275feSReid Kleckner // beginning and end of a scope respectively. Create an inverse map that list 30f9c275feSReid Kleckner // scopes starts (and ends) with an instruction. One instruction may start (or 31f9c275feSReid Kleckner // end) multiple scopes. Ignore scopes that are not reachable. 32f9c275feSReid Kleckner void DebugHandlerBase::identifyScopeMarkers() { 33f9c275feSReid Kleckner SmallVector<LexicalScope *, 4> WorkList; 34f9c275feSReid Kleckner WorkList.push_back(LScopes.getCurrentFunctionScope()); 35f9c275feSReid Kleckner while (!WorkList.empty()) { 36f9c275feSReid Kleckner LexicalScope *S = WorkList.pop_back_val(); 37f9c275feSReid Kleckner 38f9c275feSReid Kleckner const SmallVectorImpl<LexicalScope *> &Children = S->getChildren(); 39f9c275feSReid Kleckner if (!Children.empty()) 40f9c275feSReid Kleckner WorkList.append(Children.begin(), Children.end()); 41f9c275feSReid Kleckner 42f9c275feSReid Kleckner if (S->isAbstractScope()) 43f9c275feSReid Kleckner continue; 44f9c275feSReid Kleckner 45f9c275feSReid Kleckner for (const InsnRange &R : S->getRanges()) { 46f9c275feSReid Kleckner assert(R.first && "InsnRange does not have first instruction!"); 47f9c275feSReid Kleckner assert(R.second && "InsnRange does not have second instruction!"); 48f9c275feSReid Kleckner requestLabelBeforeInsn(R.first); 49f9c275feSReid Kleckner requestLabelAfterInsn(R.second); 50f9c275feSReid Kleckner } 51f9c275feSReid Kleckner } 52f9c275feSReid Kleckner } 53f9c275feSReid Kleckner 54f9c275feSReid Kleckner // Return Label preceding the instruction. 55f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) { 56f9c275feSReid Kleckner MCSymbol *Label = LabelsBeforeInsn.lookup(MI); 57f9c275feSReid Kleckner assert(Label && "Didn't insert label before instruction"); 58f9c275feSReid Kleckner return Label; 59f9c275feSReid Kleckner } 60f9c275feSReid Kleckner 61f9c275feSReid Kleckner // Return Label immediately following the instruction. 62f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) { 63f9c275feSReid Kleckner return LabelsAfterInsn.lookup(MI); 64f9c275feSReid Kleckner } 65f9c275feSReid Kleckner 66*941fa758SAdrian Prantl int DebugHandlerBase::fragmentCmp(const DIExpression *P1, 67*941fa758SAdrian Prantl const DIExpression *P2) { 68*941fa758SAdrian Prantl unsigned l1 = P1->getFragmentOffsetInBits(); 69*941fa758SAdrian Prantl unsigned l2 = P2->getFragmentOffsetInBits(); 70*941fa758SAdrian Prantl unsigned r1 = l1 + P1->getFragmentSizeInBits(); 71*941fa758SAdrian Prantl unsigned r2 = l2 + P2->getFragmentSizeInBits(); 72f9c275feSReid Kleckner if (r1 <= l2) 73f9c275feSReid Kleckner return -1; 74f9c275feSReid Kleckner else if (r2 <= l1) 75f9c275feSReid Kleckner return 1; 76f9c275feSReid Kleckner else 77f9c275feSReid Kleckner return 0; 78f9c275feSReid Kleckner } 79f9c275feSReid Kleckner 80*941fa758SAdrian Prantl bool DebugHandlerBase::fragmentsOverlap(const DIExpression *P1, 81*941fa758SAdrian Prantl const DIExpression *P2) { 82*941fa758SAdrian Prantl if (!P1->isFragment() || !P2->isFragment()) 83f9c275feSReid Kleckner return true; 84*941fa758SAdrian Prantl return fragmentCmp(P1, P2) == 0; 85f9c275feSReid Kleckner } 86f9c275feSReid Kleckner 87acee5685SAmjad Aboud /// If this type is derived from a base type then return base type size. 88acee5685SAmjad Aboud uint64_t DebugHandlerBase::getBaseTypeSize(const DITypeRef TyRef) { 89acee5685SAmjad Aboud DIType *Ty = TyRef.resolve(); 90acee5685SAmjad Aboud assert(Ty); 91acee5685SAmjad Aboud DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty); 92acee5685SAmjad Aboud if (!DDTy) 93acee5685SAmjad Aboud return Ty->getSizeInBits(); 94acee5685SAmjad Aboud 95acee5685SAmjad Aboud unsigned Tag = DDTy->getTag(); 96acee5685SAmjad Aboud 97acee5685SAmjad Aboud if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef && 98acee5685SAmjad Aboud Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type && 99e1156c2eSVictor Leschuk Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type) 100acee5685SAmjad Aboud return DDTy->getSizeInBits(); 101acee5685SAmjad Aboud 102acee5685SAmjad Aboud DIType *BaseType = DDTy->getBaseType().resolve(); 103acee5685SAmjad Aboud 104acee5685SAmjad Aboud assert(BaseType && "Unexpected invalid base type"); 105acee5685SAmjad Aboud 106acee5685SAmjad Aboud // If this is a derived type, go ahead and get the base type, unless it's a 107acee5685SAmjad Aboud // reference then it's just the size of the field. Pointer types have no need 108acee5685SAmjad Aboud // of this since they're a different type of qualification on the type. 109acee5685SAmjad Aboud if (BaseType->getTag() == dwarf::DW_TAG_reference_type || 110acee5685SAmjad Aboud BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type) 111acee5685SAmjad Aboud return Ty->getSizeInBits(); 112acee5685SAmjad Aboud 113acee5685SAmjad Aboud return getBaseTypeSize(BaseType); 114acee5685SAmjad Aboud } 115acee5685SAmjad Aboud 116f9c275feSReid Kleckner void DebugHandlerBase::beginFunction(const MachineFunction *MF) { 117f9c275feSReid Kleckner // Grab the lexical scopes for the function, if we don't have any of those 118f9c275feSReid Kleckner // then we're not going to be able to do anything. 119f9c275feSReid Kleckner LScopes.initialize(*MF); 120f9c275feSReid Kleckner if (LScopes.empty()) 121f9c275feSReid Kleckner return; 122f9c275feSReid Kleckner 123f9c275feSReid Kleckner // Make sure that each lexical scope will have a begin/end label. 124f9c275feSReid Kleckner identifyScopeMarkers(); 125f9c275feSReid Kleckner 126f9c275feSReid Kleckner // Calculate history for local variables. 127f9c275feSReid Kleckner assert(DbgValues.empty() && "DbgValues map wasn't cleaned!"); 128f9c275feSReid Kleckner calculateDbgValueHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(), 129f9c275feSReid Kleckner DbgValues); 130f9c275feSReid Kleckner 131f9c275feSReid Kleckner // Request labels for the full history. 132f9c275feSReid Kleckner for (const auto &I : DbgValues) { 133f9c275feSReid Kleckner const auto &Ranges = I.second; 134f9c275feSReid Kleckner if (Ranges.empty()) 135f9c275feSReid Kleckner continue; 136f9c275feSReid Kleckner 137f9c275feSReid Kleckner // The first mention of a function argument gets the CurrentFnBegin 138f9c275feSReid Kleckner // label, so arguments are visible when breaking at function entry. 139f9c275feSReid Kleckner const DILocalVariable *DIVar = Ranges.front().first->getDebugVariable(); 140f9c275feSReid Kleckner if (DIVar->isParameter() && 141f9c275feSReid Kleckner getDISubprogram(DIVar->getScope())->describes(MF->getFunction())) { 142f9c275feSReid Kleckner LabelsBeforeInsn[Ranges.front().first] = Asm->getFunctionBegin(); 143*941fa758SAdrian Prantl if (Ranges.front().first->getDebugExpression()->isFragment()) { 144*941fa758SAdrian Prantl // Mark all non-overlapping initial fragments. 145f9c275feSReid Kleckner for (auto I = Ranges.begin(); I != Ranges.end(); ++I) { 146*941fa758SAdrian Prantl const DIExpression *Fragment = I->first->getDebugExpression(); 147f9c275feSReid Kleckner if (std::all_of(Ranges.begin(), I, 148f9c275feSReid Kleckner [&](DbgValueHistoryMap::InstrRange Pred) { 149*941fa758SAdrian Prantl return !fragmentsOverlap( 150*941fa758SAdrian Prantl Fragment, Pred.first->getDebugExpression()); 151f9c275feSReid Kleckner })) 152f9c275feSReid Kleckner LabelsBeforeInsn[I->first] = Asm->getFunctionBegin(); 153f9c275feSReid Kleckner else 154f9c275feSReid Kleckner break; 155f9c275feSReid Kleckner } 156f9c275feSReid Kleckner } 157f9c275feSReid Kleckner } 158f9c275feSReid Kleckner 159f9c275feSReid Kleckner for (const auto &Range : Ranges) { 160f9c275feSReid Kleckner requestLabelBeforeInsn(Range.first); 161f9c275feSReid Kleckner if (Range.second) 162f9c275feSReid Kleckner requestLabelAfterInsn(Range.second); 163f9c275feSReid Kleckner } 164f9c275feSReid Kleckner } 165f9c275feSReid Kleckner 166f9c275feSReid Kleckner PrevInstLoc = DebugLoc(); 167f9c275feSReid Kleckner PrevLabel = Asm->getFunctionBegin(); 168f9c275feSReid Kleckner } 169f9c275feSReid Kleckner 170f9c275feSReid Kleckner void DebugHandlerBase::beginInstruction(const MachineInstr *MI) { 171f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 172f9c275feSReid Kleckner return; 173f9c275feSReid Kleckner 174f9c275feSReid Kleckner assert(CurMI == nullptr); 175f9c275feSReid Kleckner CurMI = MI; 176f9c275feSReid Kleckner 177f9c275feSReid Kleckner // Insert labels where requested. 178f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 179f9c275feSReid Kleckner LabelsBeforeInsn.find(MI); 180f9c275feSReid Kleckner 181f9c275feSReid Kleckner // No label needed. 182f9c275feSReid Kleckner if (I == LabelsBeforeInsn.end()) 183f9c275feSReid Kleckner return; 184f9c275feSReid Kleckner 185f9c275feSReid Kleckner // Label already assigned. 186f9c275feSReid Kleckner if (I->second) 187f9c275feSReid Kleckner return; 188f9c275feSReid Kleckner 189f9c275feSReid Kleckner if (!PrevLabel) { 190f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 191f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 192f9c275feSReid Kleckner } 193f9c275feSReid Kleckner I->second = PrevLabel; 194f9c275feSReid Kleckner } 195f9c275feSReid Kleckner 196f9c275feSReid Kleckner void DebugHandlerBase::endInstruction() { 197f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 198f9c275feSReid Kleckner return; 199f9c275feSReid Kleckner 200f9c275feSReid Kleckner assert(CurMI != nullptr); 201f9c275feSReid Kleckner // Don't create a new label after DBG_VALUE instructions. 202f9c275feSReid Kleckner // They don't generate code. 203b66cb88cSKostya Serebryany if (!CurMI->isDebugValue()) 204f9c275feSReid Kleckner PrevLabel = nullptr; 205f9c275feSReid Kleckner 206f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 207f9c275feSReid Kleckner LabelsAfterInsn.find(CurMI); 208f9c275feSReid Kleckner CurMI = nullptr; 209f9c275feSReid Kleckner 210f9c275feSReid Kleckner // No label needed. 211f9c275feSReid Kleckner if (I == LabelsAfterInsn.end()) 212f9c275feSReid Kleckner return; 213f9c275feSReid Kleckner 214f9c275feSReid Kleckner // Label already assigned. 215f9c275feSReid Kleckner if (I->second) 216f9c275feSReid Kleckner return; 217f9c275feSReid Kleckner 218f9c275feSReid Kleckner // We need a label after this instruction. 219f9c275feSReid Kleckner if (!PrevLabel) { 220f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 221f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 222f9c275feSReid Kleckner } 223f9c275feSReid Kleckner I->second = PrevLabel; 224f9c275feSReid Kleckner } 225f9c275feSReid Kleckner 226f9c275feSReid Kleckner void DebugHandlerBase::endFunction(const MachineFunction *MF) { 227f9c275feSReid Kleckner DbgValues.clear(); 228f9c275feSReid Kleckner LabelsBeforeInsn.clear(); 229f9c275feSReid Kleckner LabelsAfterInsn.clear(); 230f9c275feSReid Kleckner } 231