xref: /freebsd/contrib/llvm-project/llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
10b57cec5SDimitry Andric //===-- llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp -------*- C++ -*--===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // Common functionality for different debug information format backends.
100b57cec5SDimitry Andric // LLVM currently supports DWARF and CodeView.
110b57cec5SDimitry Andric //
120b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
130b57cec5SDimitry Andric 
140b57cec5SDimitry Andric #include "llvm/CodeGen/DebugHandlerBase.h"
150b57cec5SDimitry Andric #include "llvm/ADT/Optional.h"
160b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
170b57cec5SDimitry Andric #include "llvm/CodeGen/AsmPrinter.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
220b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h"
230b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h"
240b57cec5SDimitry Andric 
250b57cec5SDimitry Andric using namespace llvm;
260b57cec5SDimitry Andric 
270b57cec5SDimitry Andric #define DEBUG_TYPE "dwarfdebug"
280b57cec5SDimitry Andric 
290b57cec5SDimitry Andric Optional<DbgVariableLocation>
300b57cec5SDimitry Andric DbgVariableLocation::extractFromMachineInstruction(
310b57cec5SDimitry Andric     const MachineInstr &Instruction) {
320b57cec5SDimitry Andric   DbgVariableLocation Location;
330b57cec5SDimitry Andric   if (!Instruction.isDebugValue())
340b57cec5SDimitry Andric     return None;
35*5ffd83dbSDimitry Andric   if (!Instruction.getDebugOperand(0).isReg())
360b57cec5SDimitry Andric     return None;
37*5ffd83dbSDimitry Andric   Location.Register = Instruction.getDebugOperand(0).getReg();
380b57cec5SDimitry Andric   Location.FragmentInfo.reset();
390b57cec5SDimitry Andric   // We only handle expressions generated by DIExpression::appendOffset,
400b57cec5SDimitry Andric   // which doesn't require a full stack machine.
410b57cec5SDimitry Andric   int64_t Offset = 0;
420b57cec5SDimitry Andric   const DIExpression *DIExpr = Instruction.getDebugExpression();
430b57cec5SDimitry Andric   auto Op = DIExpr->expr_op_begin();
440b57cec5SDimitry Andric   while (Op != DIExpr->expr_op_end()) {
450b57cec5SDimitry Andric     switch (Op->getOp()) {
460b57cec5SDimitry Andric     case dwarf::DW_OP_constu: {
470b57cec5SDimitry Andric       int Value = Op->getArg(0);
480b57cec5SDimitry Andric       ++Op;
490b57cec5SDimitry Andric       if (Op != DIExpr->expr_op_end()) {
500b57cec5SDimitry Andric         switch (Op->getOp()) {
510b57cec5SDimitry Andric         case dwarf::DW_OP_minus:
520b57cec5SDimitry Andric           Offset -= Value;
530b57cec5SDimitry Andric           break;
540b57cec5SDimitry Andric         case dwarf::DW_OP_plus:
550b57cec5SDimitry Andric           Offset += Value;
560b57cec5SDimitry Andric           break;
570b57cec5SDimitry Andric         default:
580b57cec5SDimitry Andric           continue;
590b57cec5SDimitry Andric         }
600b57cec5SDimitry Andric       }
610b57cec5SDimitry Andric     } break;
620b57cec5SDimitry Andric     case dwarf::DW_OP_plus_uconst:
630b57cec5SDimitry Andric       Offset += Op->getArg(0);
640b57cec5SDimitry Andric       break;
650b57cec5SDimitry Andric     case dwarf::DW_OP_LLVM_fragment:
660b57cec5SDimitry Andric       Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)};
670b57cec5SDimitry Andric       break;
680b57cec5SDimitry Andric     case dwarf::DW_OP_deref:
690b57cec5SDimitry Andric       Location.LoadChain.push_back(Offset);
700b57cec5SDimitry Andric       Offset = 0;
710b57cec5SDimitry Andric       break;
720b57cec5SDimitry Andric     default:
730b57cec5SDimitry Andric       return None;
740b57cec5SDimitry Andric     }
750b57cec5SDimitry Andric     ++Op;
760b57cec5SDimitry Andric   }
770b57cec5SDimitry Andric 
780b57cec5SDimitry Andric   // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE
790b57cec5SDimitry Andric   // instruction.
800b57cec5SDimitry Andric   // FIXME: Replace these with DIExpression.
810b57cec5SDimitry Andric   if (Instruction.isIndirectDebugValue())
820b57cec5SDimitry Andric     Location.LoadChain.push_back(Offset);
830b57cec5SDimitry Andric 
840b57cec5SDimitry Andric   return Location;
850b57cec5SDimitry Andric }
860b57cec5SDimitry Andric 
870b57cec5SDimitry Andric DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {}
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric // Each LexicalScope has first instruction and last instruction to mark
900b57cec5SDimitry Andric // beginning and end of a scope respectively. Create an inverse map that list
910b57cec5SDimitry Andric // scopes starts (and ends) with an instruction. One instruction may start (or
920b57cec5SDimitry Andric // end) multiple scopes. Ignore scopes that are not reachable.
930b57cec5SDimitry Andric void DebugHandlerBase::identifyScopeMarkers() {
940b57cec5SDimitry Andric   SmallVector<LexicalScope *, 4> WorkList;
950b57cec5SDimitry Andric   WorkList.push_back(LScopes.getCurrentFunctionScope());
960b57cec5SDimitry Andric   while (!WorkList.empty()) {
970b57cec5SDimitry Andric     LexicalScope *S = WorkList.pop_back_val();
980b57cec5SDimitry Andric 
990b57cec5SDimitry Andric     const SmallVectorImpl<LexicalScope *> &Children = S->getChildren();
1000b57cec5SDimitry Andric     if (!Children.empty())
1010b57cec5SDimitry Andric       WorkList.append(Children.begin(), Children.end());
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric     if (S->isAbstractScope())
1040b57cec5SDimitry Andric       continue;
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric     for (const InsnRange &R : S->getRanges()) {
1070b57cec5SDimitry Andric       assert(R.first && "InsnRange does not have first instruction!");
1080b57cec5SDimitry Andric       assert(R.second && "InsnRange does not have second instruction!");
1090b57cec5SDimitry Andric       requestLabelBeforeInsn(R.first);
1100b57cec5SDimitry Andric       requestLabelAfterInsn(R.second);
1110b57cec5SDimitry Andric     }
1120b57cec5SDimitry Andric   }
1130b57cec5SDimitry Andric }
1140b57cec5SDimitry Andric 
1150b57cec5SDimitry Andric // Return Label preceding the instruction.
1160b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) {
1170b57cec5SDimitry Andric   MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1180b57cec5SDimitry Andric   assert(Label && "Didn't insert label before instruction");
1190b57cec5SDimitry Andric   return Label;
1200b57cec5SDimitry Andric }
1210b57cec5SDimitry Andric 
1220b57cec5SDimitry Andric // Return Label immediately following the instruction.
1230b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) {
1240b57cec5SDimitry Andric   return LabelsAfterInsn.lookup(MI);
1250b57cec5SDimitry Andric }
1260b57cec5SDimitry Andric 
1270b57cec5SDimitry Andric /// If this type is derived from a base type then return base type size.
1280b57cec5SDimitry Andric uint64_t DebugHandlerBase::getBaseTypeSize(const DIType *Ty) {
1290b57cec5SDimitry Andric   assert(Ty);
1300b57cec5SDimitry Andric   const DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty);
1310b57cec5SDimitry Andric   if (!DDTy)
1320b57cec5SDimitry Andric     return Ty->getSizeInBits();
1330b57cec5SDimitry Andric 
1340b57cec5SDimitry Andric   unsigned Tag = DDTy->getTag();
1350b57cec5SDimitry Andric 
1360b57cec5SDimitry Andric   if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
1370b57cec5SDimitry Andric       Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
1380b57cec5SDimitry Andric       Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type)
1390b57cec5SDimitry Andric     return DDTy->getSizeInBits();
1400b57cec5SDimitry Andric 
1410b57cec5SDimitry Andric   DIType *BaseType = DDTy->getBaseType();
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric   if (!BaseType)
1440b57cec5SDimitry Andric     return 0;
1450b57cec5SDimitry Andric 
1460b57cec5SDimitry Andric   // If this is a derived type, go ahead and get the base type, unless it's a
1470b57cec5SDimitry Andric   // reference then it's just the size of the field. Pointer types have no need
1480b57cec5SDimitry Andric   // of this since they're a different type of qualification on the type.
1490b57cec5SDimitry Andric   if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
1500b57cec5SDimitry Andric       BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
1510b57cec5SDimitry Andric     return Ty->getSizeInBits();
1520b57cec5SDimitry Andric 
1530b57cec5SDimitry Andric   return getBaseTypeSize(BaseType);
1540b57cec5SDimitry Andric }
1550b57cec5SDimitry Andric 
1560b57cec5SDimitry Andric static bool hasDebugInfo(const MachineModuleInfo *MMI,
1570b57cec5SDimitry Andric                          const MachineFunction *MF) {
1580b57cec5SDimitry Andric   if (!MMI->hasDebugInfo())
1590b57cec5SDimitry Andric     return false;
1600b57cec5SDimitry Andric   auto *SP = MF->getFunction().getSubprogram();
1610b57cec5SDimitry Andric   if (!SP)
1620b57cec5SDimitry Andric     return false;
1630b57cec5SDimitry Andric   assert(SP->getUnit());
1640b57cec5SDimitry Andric   auto EK = SP->getUnit()->getEmissionKind();
1650b57cec5SDimitry Andric   if (EK == DICompileUnit::NoDebug)
1660b57cec5SDimitry Andric     return false;
1670b57cec5SDimitry Andric   return true;
1680b57cec5SDimitry Andric }
1690b57cec5SDimitry Andric 
1700b57cec5SDimitry Andric void DebugHandlerBase::beginFunction(const MachineFunction *MF) {
1710b57cec5SDimitry Andric   PrevInstBB = nullptr;
1720b57cec5SDimitry Andric 
1730b57cec5SDimitry Andric   if (!Asm || !hasDebugInfo(MMI, MF)) {
1740b57cec5SDimitry Andric     skippedNonDebugFunction();
1750b57cec5SDimitry Andric     return;
1760b57cec5SDimitry Andric   }
1770b57cec5SDimitry Andric 
1780b57cec5SDimitry Andric   // Grab the lexical scopes for the function, if we don't have any of those
1790b57cec5SDimitry Andric   // then we're not going to be able to do anything.
1800b57cec5SDimitry Andric   LScopes.initialize(*MF);
1810b57cec5SDimitry Andric   if (LScopes.empty()) {
1820b57cec5SDimitry Andric     beginFunctionImpl(MF);
1830b57cec5SDimitry Andric     return;
1840b57cec5SDimitry Andric   }
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric   // Make sure that each lexical scope will have a begin/end label.
1870b57cec5SDimitry Andric   identifyScopeMarkers();
1880b57cec5SDimitry Andric 
1890b57cec5SDimitry Andric   // Calculate history for local variables.
1900b57cec5SDimitry Andric   assert(DbgValues.empty() && "DbgValues map wasn't cleaned!");
1910b57cec5SDimitry Andric   assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!");
1920b57cec5SDimitry Andric   calculateDbgEntityHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(),
1930b57cec5SDimitry Andric                             DbgValues, DbgLabels);
1940b57cec5SDimitry Andric   LLVM_DEBUG(DbgValues.dump());
1950b57cec5SDimitry Andric 
1960b57cec5SDimitry Andric   // Request labels for the full history.
1970b57cec5SDimitry Andric   for (const auto &I : DbgValues) {
1980b57cec5SDimitry Andric     const auto &Entries = I.second;
1990b57cec5SDimitry Andric     if (Entries.empty())
2000b57cec5SDimitry Andric       continue;
2010b57cec5SDimitry Andric 
2020b57cec5SDimitry Andric     auto IsDescribedByReg = [](const MachineInstr *MI) {
203*5ffd83dbSDimitry Andric       return MI->getDebugOperand(0).isReg() && MI->getDebugOperand(0).getReg();
2040b57cec5SDimitry Andric     };
2050b57cec5SDimitry Andric 
2060b57cec5SDimitry Andric     // The first mention of a function argument gets the CurrentFnBegin label,
2070b57cec5SDimitry Andric     // so arguments are visible when breaking at function entry.
2080b57cec5SDimitry Andric     //
2090b57cec5SDimitry Andric     // We do not change the label for values that are described by registers,
2100b57cec5SDimitry Andric     // as that could place them above their defining instructions. We should
2110b57cec5SDimitry Andric     // ideally not change the labels for constant debug values either, since
2120b57cec5SDimitry Andric     // doing that violates the ranges that are calculated in the history map.
2130b57cec5SDimitry Andric     // However, we currently do not emit debug values for constant arguments
2140b57cec5SDimitry Andric     // directly at the start of the function, so this code is still useful.
2150b57cec5SDimitry Andric     const DILocalVariable *DIVar =
2160b57cec5SDimitry Andric         Entries.front().getInstr()->getDebugVariable();
2170b57cec5SDimitry Andric     if (DIVar->isParameter() &&
2180b57cec5SDimitry Andric         getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) {
2190b57cec5SDimitry Andric       if (!IsDescribedByReg(Entries.front().getInstr()))
2200b57cec5SDimitry Andric         LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin();
2210b57cec5SDimitry Andric       if (Entries.front().getInstr()->getDebugExpression()->isFragment()) {
2220b57cec5SDimitry Andric         // Mark all non-overlapping initial fragments.
2230b57cec5SDimitry Andric         for (auto I = Entries.begin(); I != Entries.end(); ++I) {
2240b57cec5SDimitry Andric           if (!I->isDbgValue())
2250b57cec5SDimitry Andric             continue;
2260b57cec5SDimitry Andric           const DIExpression *Fragment = I->getInstr()->getDebugExpression();
2270b57cec5SDimitry Andric           if (std::any_of(Entries.begin(), I,
2280b57cec5SDimitry Andric                           [&](DbgValueHistoryMap::Entry Pred) {
2290b57cec5SDimitry Andric                             return Pred.isDbgValue() &&
2300b57cec5SDimitry Andric                                    Fragment->fragmentsOverlap(
2310b57cec5SDimitry Andric                                        Pred.getInstr()->getDebugExpression());
2320b57cec5SDimitry Andric                           }))
2330b57cec5SDimitry Andric             break;
2340b57cec5SDimitry Andric           // The code that generates location lists for DWARF assumes that the
2350b57cec5SDimitry Andric           // entries' start labels are monotonically increasing, and since we
2360b57cec5SDimitry Andric           // don't change the label for fragments that are described by
2370b57cec5SDimitry Andric           // registers, we must bail out when encountering such a fragment.
2380b57cec5SDimitry Andric           if (IsDescribedByReg(I->getInstr()))
2390b57cec5SDimitry Andric             break;
2400b57cec5SDimitry Andric           LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin();
2410b57cec5SDimitry Andric         }
2420b57cec5SDimitry Andric       }
2430b57cec5SDimitry Andric     }
2440b57cec5SDimitry Andric 
2450b57cec5SDimitry Andric     for (const auto &Entry : Entries) {
2460b57cec5SDimitry Andric       if (Entry.isDbgValue())
2470b57cec5SDimitry Andric         requestLabelBeforeInsn(Entry.getInstr());
2480b57cec5SDimitry Andric       else
2490b57cec5SDimitry Andric         requestLabelAfterInsn(Entry.getInstr());
2500b57cec5SDimitry Andric     }
2510b57cec5SDimitry Andric   }
2520b57cec5SDimitry Andric 
2530b57cec5SDimitry Andric   // Ensure there is a symbol before DBG_LABEL.
2540b57cec5SDimitry Andric   for (const auto &I : DbgLabels) {
2550b57cec5SDimitry Andric     const MachineInstr *MI = I.second;
2560b57cec5SDimitry Andric     requestLabelBeforeInsn(MI);
2570b57cec5SDimitry Andric   }
2580b57cec5SDimitry Andric 
2590b57cec5SDimitry Andric   PrevInstLoc = DebugLoc();
2600b57cec5SDimitry Andric   PrevLabel = Asm->getFunctionBegin();
2610b57cec5SDimitry Andric   beginFunctionImpl(MF);
2620b57cec5SDimitry Andric }
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric void DebugHandlerBase::beginInstruction(const MachineInstr *MI) {
2650b57cec5SDimitry Andric   if (!MMI->hasDebugInfo())
2660b57cec5SDimitry Andric     return;
2670b57cec5SDimitry Andric 
2680b57cec5SDimitry Andric   assert(CurMI == nullptr);
2690b57cec5SDimitry Andric   CurMI = MI;
2700b57cec5SDimitry Andric 
2710b57cec5SDimitry Andric   // Insert labels where requested.
2720b57cec5SDimitry Andric   DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
2730b57cec5SDimitry Andric       LabelsBeforeInsn.find(MI);
2740b57cec5SDimitry Andric 
2750b57cec5SDimitry Andric   // No label needed.
2760b57cec5SDimitry Andric   if (I == LabelsBeforeInsn.end())
2770b57cec5SDimitry Andric     return;
2780b57cec5SDimitry Andric 
2790b57cec5SDimitry Andric   // Label already assigned.
2800b57cec5SDimitry Andric   if (I->second)
2810b57cec5SDimitry Andric     return;
2820b57cec5SDimitry Andric 
2830b57cec5SDimitry Andric   if (!PrevLabel) {
2840b57cec5SDimitry Andric     PrevLabel = MMI->getContext().createTempSymbol();
285*5ffd83dbSDimitry Andric     Asm->OutStreamer->emitLabel(PrevLabel);
2860b57cec5SDimitry Andric   }
2870b57cec5SDimitry Andric   I->second = PrevLabel;
2880b57cec5SDimitry Andric }
2890b57cec5SDimitry Andric 
2900b57cec5SDimitry Andric void DebugHandlerBase::endInstruction() {
2910b57cec5SDimitry Andric   if (!MMI->hasDebugInfo())
2920b57cec5SDimitry Andric     return;
2930b57cec5SDimitry Andric 
2940b57cec5SDimitry Andric   assert(CurMI != nullptr);
2950b57cec5SDimitry Andric   // Don't create a new label after DBG_VALUE and other instructions that don't
2960b57cec5SDimitry Andric   // generate code.
2970b57cec5SDimitry Andric   if (!CurMI->isMetaInstruction()) {
2980b57cec5SDimitry Andric     PrevLabel = nullptr;
2990b57cec5SDimitry Andric     PrevInstBB = CurMI->getParent();
3000b57cec5SDimitry Andric   }
3010b57cec5SDimitry Andric 
3020b57cec5SDimitry Andric   DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
3030b57cec5SDimitry Andric       LabelsAfterInsn.find(CurMI);
3040b57cec5SDimitry Andric   CurMI = nullptr;
3050b57cec5SDimitry Andric 
3060b57cec5SDimitry Andric   // No label needed.
3070b57cec5SDimitry Andric   if (I == LabelsAfterInsn.end())
3080b57cec5SDimitry Andric     return;
3090b57cec5SDimitry Andric 
3100b57cec5SDimitry Andric   // Label already assigned.
3110b57cec5SDimitry Andric   if (I->second)
3120b57cec5SDimitry Andric     return;
3130b57cec5SDimitry Andric 
3140b57cec5SDimitry Andric   // We need a label after this instruction.
3150b57cec5SDimitry Andric   if (!PrevLabel) {
3160b57cec5SDimitry Andric     PrevLabel = MMI->getContext().createTempSymbol();
317*5ffd83dbSDimitry Andric     Asm->OutStreamer->emitLabel(PrevLabel);
3180b57cec5SDimitry Andric   }
3190b57cec5SDimitry Andric   I->second = PrevLabel;
3200b57cec5SDimitry Andric }
3210b57cec5SDimitry Andric 
3220b57cec5SDimitry Andric void DebugHandlerBase::endFunction(const MachineFunction *MF) {
3230b57cec5SDimitry Andric   if (hasDebugInfo(MMI, MF))
3240b57cec5SDimitry Andric     endFunctionImpl(MF);
3250b57cec5SDimitry Andric   DbgValues.clear();
3260b57cec5SDimitry Andric   DbgLabels.clear();
3270b57cec5SDimitry Andric   LabelsBeforeInsn.clear();
3280b57cec5SDimitry Andric   LabelsAfterInsn.clear();
3290b57cec5SDimitry Andric }
330*5ffd83dbSDimitry Andric 
331*5ffd83dbSDimitry Andric void DebugHandlerBase::beginBasicBlock(const MachineBasicBlock &MBB) {
332*5ffd83dbSDimitry Andric   if (!MBB.isBeginSection())
333*5ffd83dbSDimitry Andric     return;
334*5ffd83dbSDimitry Andric 
335*5ffd83dbSDimitry Andric   PrevLabel = MBB.getSymbol();
336*5ffd83dbSDimitry Andric }
337*5ffd83dbSDimitry Andric 
338*5ffd83dbSDimitry Andric void DebugHandlerBase::endBasicBlock(const MachineBasicBlock &MBB) {
339*5ffd83dbSDimitry Andric   if (!MBB.isEndSection())
340*5ffd83dbSDimitry Andric     return;
341*5ffd83dbSDimitry Andric 
342*5ffd83dbSDimitry Andric   PrevLabel = nullptr;
343*5ffd83dbSDimitry Andric }
344