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