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" 161a4cbbe4SBob Haarman #include "llvm/ADT/Optional.h" 171a4cbbe4SBob Haarman #include "llvm/ADT/Twine.h" 18f9c275feSReid Kleckner #include "llvm/CodeGen/AsmPrinter.h" 19f9c275feSReid Kleckner #include "llvm/CodeGen/MachineFunction.h" 20f9c275feSReid Kleckner #include "llvm/CodeGen/MachineInstr.h" 21f9c275feSReid Kleckner #include "llvm/CodeGen/MachineModuleInfo.h" 22*b3bde2eaSDavid Blaikie #include "llvm/CodeGen/TargetSubtargetInfo.h" 2328865809SReid Kleckner #include "llvm/IR/DebugInfo.h" 24a5b1eef8SReid Kleckner #include "llvm/MC/MCStreamer.h" 25f9c275feSReid Kleckner 26f9c275feSReid Kleckner using namespace llvm; 27f9c275feSReid Kleckner 281a4cbbe4SBob Haarman Optional<DbgVariableLocation> 291a4cbbe4SBob Haarman DbgVariableLocation::extractFromMachineInstruction( 301a4cbbe4SBob Haarman const MachineInstr &Instruction) { 311a4cbbe4SBob Haarman DbgVariableLocation Location; 32223303c5SBob Haarman if (!Instruction.isDebugValue()) 331a4cbbe4SBob Haarman return None; 34223303c5SBob Haarman if (!Instruction.getOperand(0).isReg()) 351a4cbbe4SBob Haarman return None; 36223303c5SBob Haarman Location.Register = Instruction.getOperand(0).getReg(); 37223303c5SBob Haarman Location.FragmentInfo.reset(); 38223303c5SBob Haarman // We only handle expressions generated by DIExpression::appendOffset, 39223303c5SBob Haarman // which doesn't require a full stack machine. 40223303c5SBob Haarman int64_t Offset = 0; 41223303c5SBob Haarman const DIExpression *DIExpr = Instruction.getDebugExpression(); 42223303c5SBob Haarman auto Op = DIExpr->expr_op_begin(); 43223303c5SBob Haarman while (Op != DIExpr->expr_op_end()) { 44223303c5SBob Haarman switch (Op->getOp()) { 45223303c5SBob Haarman case dwarf::DW_OP_constu: { 46223303c5SBob Haarman int Value = Op->getArg(0); 47223303c5SBob Haarman ++Op; 48223303c5SBob Haarman if (Op != DIExpr->expr_op_end()) { 49223303c5SBob Haarman switch (Op->getOp()) { 50223303c5SBob Haarman case dwarf::DW_OP_minus: 51223303c5SBob Haarman Offset -= Value; 52223303c5SBob Haarman break; 53223303c5SBob Haarman case dwarf::DW_OP_plus: 54223303c5SBob Haarman Offset += Value; 5568e46019SBob Haarman break; 56223303c5SBob Haarman default: 57223303c5SBob Haarman continue; 58223303c5SBob Haarman } 59223303c5SBob Haarman } 60223303c5SBob Haarman } break; 61223303c5SBob Haarman case dwarf::DW_OP_plus_uconst: 62223303c5SBob Haarman Offset += Op->getArg(0); 63223303c5SBob Haarman break; 64223303c5SBob Haarman case dwarf::DW_OP_LLVM_fragment: 65223303c5SBob Haarman Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)}; 66223303c5SBob Haarman break; 67223303c5SBob Haarman case dwarf::DW_OP_deref: 6808f5fd51SReid Kleckner Location.LoadChain.push_back(Offset); 6908f5fd51SReid Kleckner Offset = 0; 70223303c5SBob Haarman break; 71223303c5SBob Haarman default: 721a4cbbe4SBob Haarman return None; 73223303c5SBob Haarman } 74223303c5SBob Haarman ++Op; 75223303c5SBob Haarman } 76223303c5SBob Haarman 7708f5fd51SReid Kleckner // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE 7808f5fd51SReid Kleckner // instruction. 7908f5fd51SReid Kleckner // FIXME: Replace these with DIExpression. 8008f5fd51SReid Kleckner if (Instruction.isIndirectDebugValue()) 8108f5fd51SReid Kleckner Location.LoadChain.push_back(Offset); 8208f5fd51SReid Kleckner 831a4cbbe4SBob Haarman return Location; 84223303c5SBob Haarman } 85223303c5SBob Haarman 86f9c275feSReid Kleckner DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {} 87f9c275feSReid Kleckner 88f9c275feSReid Kleckner // Each LexicalScope has first instruction and last instruction to mark 89f9c275feSReid Kleckner // beginning and end of a scope respectively. Create an inverse map that list 90f9c275feSReid Kleckner // scopes starts (and ends) with an instruction. One instruction may start (or 91f9c275feSReid Kleckner // end) multiple scopes. Ignore scopes that are not reachable. 92f9c275feSReid Kleckner void DebugHandlerBase::identifyScopeMarkers() { 93f9c275feSReid Kleckner SmallVector<LexicalScope *, 4> WorkList; 94f9c275feSReid Kleckner WorkList.push_back(LScopes.getCurrentFunctionScope()); 95f9c275feSReid Kleckner while (!WorkList.empty()) { 96f9c275feSReid Kleckner LexicalScope *S = WorkList.pop_back_val(); 97f9c275feSReid Kleckner 98f9c275feSReid Kleckner const SmallVectorImpl<LexicalScope *> &Children = S->getChildren(); 99f9c275feSReid Kleckner if (!Children.empty()) 100f9c275feSReid Kleckner WorkList.append(Children.begin(), Children.end()); 101f9c275feSReid Kleckner 102f9c275feSReid Kleckner if (S->isAbstractScope()) 103f9c275feSReid Kleckner continue; 104f9c275feSReid Kleckner 105f9c275feSReid Kleckner for (const InsnRange &R : S->getRanges()) { 106f9c275feSReid Kleckner assert(R.first && "InsnRange does not have first instruction!"); 107f9c275feSReid Kleckner assert(R.second && "InsnRange does not have second instruction!"); 108f9c275feSReid Kleckner requestLabelBeforeInsn(R.first); 109f9c275feSReid Kleckner requestLabelAfterInsn(R.second); 110f9c275feSReid Kleckner } 111f9c275feSReid Kleckner } 112f9c275feSReid Kleckner } 113f9c275feSReid Kleckner 114f9c275feSReid Kleckner // Return Label preceding the instruction. 115f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) { 116f9c275feSReid Kleckner MCSymbol *Label = LabelsBeforeInsn.lookup(MI); 117f9c275feSReid Kleckner assert(Label && "Didn't insert label before instruction"); 118f9c275feSReid Kleckner return Label; 119f9c275feSReid Kleckner } 120f9c275feSReid Kleckner 121f9c275feSReid Kleckner // Return Label immediately following the instruction. 122f9c275feSReid Kleckner MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) { 123f9c275feSReid Kleckner return LabelsAfterInsn.lookup(MI); 124f9c275feSReid Kleckner } 125f9c275feSReid Kleckner 126941fa758SAdrian Prantl int DebugHandlerBase::fragmentCmp(const DIExpression *P1, 127941fa758SAdrian Prantl const DIExpression *P2) { 12849797ca6SAdrian Prantl auto Fragment1 = *P1->getFragmentInfo(); 12949797ca6SAdrian Prantl auto Fragment2 = *P2->getFragmentInfo(); 13049797ca6SAdrian Prantl unsigned l1 = Fragment1.OffsetInBits; 13149797ca6SAdrian Prantl unsigned l2 = Fragment2.OffsetInBits; 13249797ca6SAdrian Prantl unsigned r1 = l1 + Fragment1.SizeInBits; 13349797ca6SAdrian Prantl unsigned r2 = l2 + Fragment2.SizeInBits; 134f9c275feSReid Kleckner if (r1 <= l2) 135f9c275feSReid Kleckner return -1; 136f9c275feSReid Kleckner else if (r2 <= l1) 137f9c275feSReid Kleckner return 1; 138f9c275feSReid Kleckner else 139f9c275feSReid Kleckner return 0; 140f9c275feSReid Kleckner } 141f9c275feSReid Kleckner 142941fa758SAdrian Prantl bool DebugHandlerBase::fragmentsOverlap(const DIExpression *P1, 143941fa758SAdrian Prantl const DIExpression *P2) { 144941fa758SAdrian Prantl if (!P1->isFragment() || !P2->isFragment()) 145f9c275feSReid Kleckner return true; 146941fa758SAdrian Prantl return fragmentCmp(P1, P2) == 0; 147f9c275feSReid Kleckner } 148f9c275feSReid Kleckner 149acee5685SAmjad Aboud /// If this type is derived from a base type then return base type size. 150acee5685SAmjad Aboud uint64_t DebugHandlerBase::getBaseTypeSize(const DITypeRef TyRef) { 151acee5685SAmjad Aboud DIType *Ty = TyRef.resolve(); 152acee5685SAmjad Aboud assert(Ty); 153acee5685SAmjad Aboud DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty); 154acee5685SAmjad Aboud if (!DDTy) 155acee5685SAmjad Aboud return Ty->getSizeInBits(); 156acee5685SAmjad Aboud 157acee5685SAmjad Aboud unsigned Tag = DDTy->getTag(); 158acee5685SAmjad Aboud 159acee5685SAmjad Aboud if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef && 160acee5685SAmjad Aboud Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type && 161e1156c2eSVictor Leschuk Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type) 162acee5685SAmjad Aboud return DDTy->getSizeInBits(); 163acee5685SAmjad Aboud 164acee5685SAmjad Aboud DIType *BaseType = DDTy->getBaseType().resolve(); 165acee5685SAmjad Aboud 166acee5685SAmjad Aboud assert(BaseType && "Unexpected invalid base type"); 167acee5685SAmjad Aboud 168acee5685SAmjad Aboud // If this is a derived type, go ahead and get the base type, unless it's a 169acee5685SAmjad Aboud // reference then it's just the size of the field. Pointer types have no need 170acee5685SAmjad Aboud // of this since they're a different type of qualification on the type. 171acee5685SAmjad Aboud if (BaseType->getTag() == dwarf::DW_TAG_reference_type || 172acee5685SAmjad Aboud BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type) 173acee5685SAmjad Aboud return Ty->getSizeInBits(); 174acee5685SAmjad Aboud 175acee5685SAmjad Aboud return getBaseTypeSize(BaseType); 176acee5685SAmjad Aboud } 177acee5685SAmjad Aboud 178debb3c35SBenjamin Kramer static bool hasDebugInfo(const MachineModuleInfo *MMI, 179debb3c35SBenjamin Kramer const MachineFunction *MF) { 180b2fbb4b2SDavid Blaikie if (!MMI->hasDebugInfo()) 181b2fbb4b2SDavid Blaikie return false; 182b2fbb4b2SDavid Blaikie auto *SP = MF->getFunction()->getSubprogram(); 183b2fbb4b2SDavid Blaikie if (!SP) 184b2fbb4b2SDavid Blaikie return false; 185b2fbb4b2SDavid Blaikie assert(SP->getUnit()); 186b2fbb4b2SDavid Blaikie auto EK = SP->getUnit()->getEmissionKind(); 187b2fbb4b2SDavid Blaikie if (EK == DICompileUnit::NoDebug) 188b2fbb4b2SDavid Blaikie return false; 189b2fbb4b2SDavid Blaikie return true; 190b2fbb4b2SDavid Blaikie } 191b2fbb4b2SDavid Blaikie 192f9c275feSReid Kleckner void DebugHandlerBase::beginFunction(const MachineFunction *MF) { 1938f333795SAdrian Prantl PrevInstBB = nullptr; 194b2fbb4b2SDavid Blaikie 1955bc8543aSReid Kleckner if (!Asm || !hasDebugInfo(MMI, MF)) { 196b2fbb4b2SDavid Blaikie skippedNonDebugFunction(); 197b2fbb4b2SDavid Blaikie return; 198b2fbb4b2SDavid Blaikie } 199b2fbb4b2SDavid Blaikie 200f9c275feSReid Kleckner // Grab the lexical scopes for the function, if we don't have any of those 201f9c275feSReid Kleckner // then we're not going to be able to do anything. 202f9c275feSReid Kleckner LScopes.initialize(*MF); 203b2fbb4b2SDavid Blaikie if (LScopes.empty()) { 204b2fbb4b2SDavid Blaikie beginFunctionImpl(MF); 205f9c275feSReid Kleckner return; 206b2fbb4b2SDavid Blaikie } 207f9c275feSReid Kleckner 208f9c275feSReid Kleckner // Make sure that each lexical scope will have a begin/end label. 209f9c275feSReid Kleckner identifyScopeMarkers(); 210f9c275feSReid Kleckner 211f9c275feSReid Kleckner // Calculate history for local variables. 212f9c275feSReid Kleckner assert(DbgValues.empty() && "DbgValues map wasn't cleaned!"); 213f9c275feSReid Kleckner calculateDbgValueHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(), 214f9c275feSReid Kleckner DbgValues); 215f9c275feSReid Kleckner 216f9c275feSReid Kleckner // Request labels for the full history. 217f9c275feSReid Kleckner for (const auto &I : DbgValues) { 218f9c275feSReid Kleckner const auto &Ranges = I.second; 219f9c275feSReid Kleckner if (Ranges.empty()) 220f9c275feSReid Kleckner continue; 221f9c275feSReid Kleckner 222f9c275feSReid Kleckner // The first mention of a function argument gets the CurrentFnBegin 223f9c275feSReid Kleckner // label, so arguments are visible when breaking at function entry. 224f9c275feSReid Kleckner const DILocalVariable *DIVar = Ranges.front().first->getDebugVariable(); 225f9c275feSReid Kleckner if (DIVar->isParameter() && 226f9c275feSReid Kleckner getDISubprogram(DIVar->getScope())->describes(MF->getFunction())) { 227f9c275feSReid Kleckner LabelsBeforeInsn[Ranges.front().first] = Asm->getFunctionBegin(); 228941fa758SAdrian Prantl if (Ranges.front().first->getDebugExpression()->isFragment()) { 229941fa758SAdrian Prantl // Mark all non-overlapping initial fragments. 230f9c275feSReid Kleckner for (auto I = Ranges.begin(); I != Ranges.end(); ++I) { 231941fa758SAdrian Prantl const DIExpression *Fragment = I->first->getDebugExpression(); 232f9c275feSReid Kleckner if (std::all_of(Ranges.begin(), I, 233f9c275feSReid Kleckner [&](DbgValueHistoryMap::InstrRange Pred) { 234941fa758SAdrian Prantl return !fragmentsOverlap( 235941fa758SAdrian Prantl Fragment, Pred.first->getDebugExpression()); 236f9c275feSReid Kleckner })) 237f9c275feSReid Kleckner LabelsBeforeInsn[I->first] = Asm->getFunctionBegin(); 238f9c275feSReid Kleckner else 239f9c275feSReid Kleckner break; 240f9c275feSReid Kleckner } 241f9c275feSReid Kleckner } 242f9c275feSReid Kleckner } 243f9c275feSReid Kleckner 244f9c275feSReid Kleckner for (const auto &Range : Ranges) { 245f9c275feSReid Kleckner requestLabelBeforeInsn(Range.first); 246f9c275feSReid Kleckner if (Range.second) 247f9c275feSReid Kleckner requestLabelAfterInsn(Range.second); 248f9c275feSReid Kleckner } 249f9c275feSReid Kleckner } 250f9c275feSReid Kleckner 251f9c275feSReid Kleckner PrevInstLoc = DebugLoc(); 252f9c275feSReid Kleckner PrevLabel = Asm->getFunctionBegin(); 253b2fbb4b2SDavid Blaikie beginFunctionImpl(MF); 254f9c275feSReid Kleckner } 255f9c275feSReid Kleckner 256f9c275feSReid Kleckner void DebugHandlerBase::beginInstruction(const MachineInstr *MI) { 257f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 258f9c275feSReid Kleckner return; 259f9c275feSReid Kleckner 260f9c275feSReid Kleckner assert(CurMI == nullptr); 261f9c275feSReid Kleckner CurMI = MI; 262f9c275feSReid Kleckner 263f9c275feSReid Kleckner // Insert labels where requested. 264f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 265f9c275feSReid Kleckner LabelsBeforeInsn.find(MI); 266f9c275feSReid Kleckner 267f9c275feSReid Kleckner // No label needed. 268f9c275feSReid Kleckner if (I == LabelsBeforeInsn.end()) 269f9c275feSReid Kleckner return; 270f9c275feSReid Kleckner 271f9c275feSReid Kleckner // Label already assigned. 272f9c275feSReid Kleckner if (I->second) 273f9c275feSReid Kleckner return; 274f9c275feSReid Kleckner 275f9c275feSReid Kleckner if (!PrevLabel) { 276f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 277f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 278f9c275feSReid Kleckner } 279f9c275feSReid Kleckner I->second = PrevLabel; 280f9c275feSReid Kleckner } 281f9c275feSReid Kleckner 282f9c275feSReid Kleckner void DebugHandlerBase::endInstruction() { 283f9c275feSReid Kleckner if (!MMI->hasDebugInfo()) 284f9c275feSReid Kleckner return; 285f9c275feSReid Kleckner 286f9c275feSReid Kleckner assert(CurMI != nullptr); 287fb31da13SAdrian Prantl // Don't create a new label after DBG_VALUE and other instructions that don't 288fb31da13SAdrian Prantl // generate code. 289fb31da13SAdrian Prantl if (!CurMI->isMetaInstruction()) { 290f9c275feSReid Kleckner PrevLabel = nullptr; 291ac7fe5e0SPaul Robinson PrevInstBB = CurMI->getParent(); 292ac7fe5e0SPaul Robinson } 293f9c275feSReid Kleckner 294f9c275feSReid Kleckner DenseMap<const MachineInstr *, MCSymbol *>::iterator I = 295f9c275feSReid Kleckner LabelsAfterInsn.find(CurMI); 296f9c275feSReid Kleckner CurMI = nullptr; 297f9c275feSReid Kleckner 298f9c275feSReid Kleckner // No label needed. 299f9c275feSReid Kleckner if (I == LabelsAfterInsn.end()) 300f9c275feSReid Kleckner return; 301f9c275feSReid Kleckner 302f9c275feSReid Kleckner // Label already assigned. 303f9c275feSReid Kleckner if (I->second) 304f9c275feSReid Kleckner return; 305f9c275feSReid Kleckner 306f9c275feSReid Kleckner // We need a label after this instruction. 307f9c275feSReid Kleckner if (!PrevLabel) { 308f9c275feSReid Kleckner PrevLabel = MMI->getContext().createTempSymbol(); 309f9c275feSReid Kleckner Asm->OutStreamer->EmitLabel(PrevLabel); 310f9c275feSReid Kleckner } 311f9c275feSReid Kleckner I->second = PrevLabel; 312f9c275feSReid Kleckner } 313f9c275feSReid Kleckner 314f9c275feSReid Kleckner void DebugHandlerBase::endFunction(const MachineFunction *MF) { 315b2fbb4b2SDavid Blaikie if (hasDebugInfo(MMI, MF)) 316b2fbb4b2SDavid Blaikie endFunctionImpl(MF); 317f9c275feSReid Kleckner DbgValues.clear(); 318f9c275feSReid Kleckner LabelsBeforeInsn.clear(); 319f9c275feSReid Kleckner LabelsAfterInsn.clear(); 320f9c275feSReid Kleckner } 321