xref: /freebsd-src/contrib/llvm-project/llvm/lib/CodeGen/AsmPrinter/DebugHandlerBase.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
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/CodeGen/AsmPrinter.h"
160b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
170b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
190b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
200b57cec5SDimitry Andric #include "llvm/IR/DebugInfo.h"
21*0fca6ea1SDimitry Andric #include "llvm/IR/Module.h"
220b57cec5SDimitry Andric #include "llvm/MC/MCStreamer.h"
23e8d8bef9SDimitry Andric #include "llvm/Support/CommandLine.h"
240b57cec5SDimitry Andric 
250b57cec5SDimitry Andric using namespace llvm;
260b57cec5SDimitry Andric 
270b57cec5SDimitry Andric #define DEBUG_TYPE "dwarfdebug"
280b57cec5SDimitry Andric 
29e8d8bef9SDimitry Andric /// If true, we drop variable location ranges which exist entirely outside the
30e8d8bef9SDimitry Andric /// variable's lexical scope instruction ranges.
31e8d8bef9SDimitry Andric static cl::opt<bool> TrimVarLocs("trim-var-locs", cl::Hidden, cl::init(true));
32e8d8bef9SDimitry Andric 
33bdd1243dSDimitry Andric std::optional<DbgVariableLocation>
340b57cec5SDimitry Andric DbgVariableLocation::extractFromMachineInstruction(
350b57cec5SDimitry Andric     const MachineInstr &Instruction) {
360b57cec5SDimitry Andric   DbgVariableLocation Location;
37fe6060f1SDimitry Andric   // Variables calculated from multiple locations can't be represented here.
38fe6060f1SDimitry Andric   if (Instruction.getNumDebugOperands() != 1)
39bdd1243dSDimitry Andric     return std::nullopt;
405ffd83dbSDimitry Andric   if (!Instruction.getDebugOperand(0).isReg())
41bdd1243dSDimitry Andric     return std::nullopt;
425ffd83dbSDimitry Andric   Location.Register = Instruction.getDebugOperand(0).getReg();
430b57cec5SDimitry Andric   Location.FragmentInfo.reset();
440b57cec5SDimitry Andric   // We only handle expressions generated by DIExpression::appendOffset,
450b57cec5SDimitry Andric   // which doesn't require a full stack machine.
460b57cec5SDimitry Andric   int64_t Offset = 0;
470b57cec5SDimitry Andric   const DIExpression *DIExpr = Instruction.getDebugExpression();
480b57cec5SDimitry Andric   auto Op = DIExpr->expr_op_begin();
49fe6060f1SDimitry Andric   // We can handle a DBG_VALUE_LIST iff it has exactly one location operand that
50fe6060f1SDimitry Andric   // appears exactly once at the start of the expression.
51fe6060f1SDimitry Andric   if (Instruction.isDebugValueList()) {
52fe6060f1SDimitry Andric     if (Instruction.getNumDebugOperands() == 1 &&
53fe6060f1SDimitry Andric         Op->getOp() == dwarf::DW_OP_LLVM_arg)
54fe6060f1SDimitry Andric       ++Op;
55fe6060f1SDimitry Andric     else
56bdd1243dSDimitry Andric       return std::nullopt;
57fe6060f1SDimitry Andric   }
580b57cec5SDimitry Andric   while (Op != DIExpr->expr_op_end()) {
590b57cec5SDimitry Andric     switch (Op->getOp()) {
600b57cec5SDimitry Andric     case dwarf::DW_OP_constu: {
610b57cec5SDimitry Andric       int Value = Op->getArg(0);
620b57cec5SDimitry Andric       ++Op;
630b57cec5SDimitry Andric       if (Op != DIExpr->expr_op_end()) {
640b57cec5SDimitry Andric         switch (Op->getOp()) {
650b57cec5SDimitry Andric         case dwarf::DW_OP_minus:
660b57cec5SDimitry Andric           Offset -= Value;
670b57cec5SDimitry Andric           break;
680b57cec5SDimitry Andric         case dwarf::DW_OP_plus:
690b57cec5SDimitry Andric           Offset += Value;
700b57cec5SDimitry Andric           break;
710b57cec5SDimitry Andric         default:
720b57cec5SDimitry Andric           continue;
730b57cec5SDimitry Andric         }
740b57cec5SDimitry Andric       }
750b57cec5SDimitry Andric     } break;
760b57cec5SDimitry Andric     case dwarf::DW_OP_plus_uconst:
770b57cec5SDimitry Andric       Offset += Op->getArg(0);
780b57cec5SDimitry Andric       break;
790b57cec5SDimitry Andric     case dwarf::DW_OP_LLVM_fragment:
800b57cec5SDimitry Andric       Location.FragmentInfo = {Op->getArg(1), Op->getArg(0)};
810b57cec5SDimitry Andric       break;
820b57cec5SDimitry Andric     case dwarf::DW_OP_deref:
830b57cec5SDimitry Andric       Location.LoadChain.push_back(Offset);
840b57cec5SDimitry Andric       Offset = 0;
850b57cec5SDimitry Andric       break;
860b57cec5SDimitry Andric     default:
87bdd1243dSDimitry Andric       return std::nullopt;
880b57cec5SDimitry Andric     }
890b57cec5SDimitry Andric     ++Op;
900b57cec5SDimitry Andric   }
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   // Do one final implicit DW_OP_deref if this was an indirect DBG_VALUE
930b57cec5SDimitry Andric   // instruction.
940b57cec5SDimitry Andric   // FIXME: Replace these with DIExpression.
950b57cec5SDimitry Andric   if (Instruction.isIndirectDebugValue())
960b57cec5SDimitry Andric     Location.LoadChain.push_back(Offset);
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric   return Location;
990b57cec5SDimitry Andric }
1000b57cec5SDimitry Andric 
1010b57cec5SDimitry Andric DebugHandlerBase::DebugHandlerBase(AsmPrinter *A) : Asm(A), MMI(Asm->MMI) {}
1020b57cec5SDimitry Andric 
103*0fca6ea1SDimitry Andric DebugHandlerBase::~DebugHandlerBase() = default;
104*0fca6ea1SDimitry Andric 
105e8d8bef9SDimitry Andric void DebugHandlerBase::beginModule(Module *M) {
106e8d8bef9SDimitry Andric   if (M->debug_compile_units().empty())
107e8d8bef9SDimitry Andric     Asm = nullptr;
108e8d8bef9SDimitry Andric }
109e8d8bef9SDimitry Andric 
1100b57cec5SDimitry Andric // Each LexicalScope has first instruction and last instruction to mark
1110b57cec5SDimitry Andric // beginning and end of a scope respectively. Create an inverse map that list
1120b57cec5SDimitry Andric // scopes starts (and ends) with an instruction. One instruction may start (or
1130b57cec5SDimitry Andric // end) multiple scopes. Ignore scopes that are not reachable.
1140b57cec5SDimitry Andric void DebugHandlerBase::identifyScopeMarkers() {
1150b57cec5SDimitry Andric   SmallVector<LexicalScope *, 4> WorkList;
1160b57cec5SDimitry Andric   WorkList.push_back(LScopes.getCurrentFunctionScope());
1170b57cec5SDimitry Andric   while (!WorkList.empty()) {
1180b57cec5SDimitry Andric     LexicalScope *S = WorkList.pop_back_val();
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric     const SmallVectorImpl<LexicalScope *> &Children = S->getChildren();
1210b57cec5SDimitry Andric     if (!Children.empty())
1220b57cec5SDimitry Andric       WorkList.append(Children.begin(), Children.end());
1230b57cec5SDimitry Andric 
1240b57cec5SDimitry Andric     if (S->isAbstractScope())
1250b57cec5SDimitry Andric       continue;
1260b57cec5SDimitry Andric 
1270b57cec5SDimitry Andric     for (const InsnRange &R : S->getRanges()) {
1280b57cec5SDimitry Andric       assert(R.first && "InsnRange does not have first instruction!");
1290b57cec5SDimitry Andric       assert(R.second && "InsnRange does not have second instruction!");
1300b57cec5SDimitry Andric       requestLabelBeforeInsn(R.first);
1310b57cec5SDimitry Andric       requestLabelAfterInsn(R.second);
1320b57cec5SDimitry Andric     }
1330b57cec5SDimitry Andric   }
1340b57cec5SDimitry Andric }
1350b57cec5SDimitry Andric 
1360b57cec5SDimitry Andric // Return Label preceding the instruction.
1370b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelBeforeInsn(const MachineInstr *MI) {
1380b57cec5SDimitry Andric   MCSymbol *Label = LabelsBeforeInsn.lookup(MI);
1390b57cec5SDimitry Andric   assert(Label && "Didn't insert label before instruction");
1400b57cec5SDimitry Andric   return Label;
1410b57cec5SDimitry Andric }
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric // Return Label immediately following the instruction.
1440b57cec5SDimitry Andric MCSymbol *DebugHandlerBase::getLabelAfterInsn(const MachineInstr *MI) {
1450b57cec5SDimitry Andric   return LabelsAfterInsn.lookup(MI);
1460b57cec5SDimitry Andric }
1470b57cec5SDimitry Andric 
1480b57cec5SDimitry Andric /// If this type is derived from a base type then return base type size.
1490b57cec5SDimitry Andric uint64_t DebugHandlerBase::getBaseTypeSize(const DIType *Ty) {
1500b57cec5SDimitry Andric   assert(Ty);
1510b57cec5SDimitry Andric   const DIDerivedType *DDTy = dyn_cast<DIDerivedType>(Ty);
1520b57cec5SDimitry Andric   if (!DDTy)
1530b57cec5SDimitry Andric     return Ty->getSizeInBits();
1540b57cec5SDimitry Andric 
1550b57cec5SDimitry Andric   unsigned Tag = DDTy->getTag();
1560b57cec5SDimitry Andric 
1570b57cec5SDimitry Andric   if (Tag != dwarf::DW_TAG_member && Tag != dwarf::DW_TAG_typedef &&
1580b57cec5SDimitry Andric       Tag != dwarf::DW_TAG_const_type && Tag != dwarf::DW_TAG_volatile_type &&
15904eeddc0SDimitry Andric       Tag != dwarf::DW_TAG_restrict_type && Tag != dwarf::DW_TAG_atomic_type &&
160*0fca6ea1SDimitry Andric       Tag != dwarf::DW_TAG_immutable_type &&
161*0fca6ea1SDimitry Andric       Tag != dwarf::DW_TAG_template_alias)
1620b57cec5SDimitry Andric     return DDTy->getSizeInBits();
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric   DIType *BaseType = DDTy->getBaseType();
1650b57cec5SDimitry Andric 
1660b57cec5SDimitry Andric   if (!BaseType)
1670b57cec5SDimitry Andric     return 0;
1680b57cec5SDimitry Andric 
1690b57cec5SDimitry Andric   // If this is a derived type, go ahead and get the base type, unless it's a
1700b57cec5SDimitry Andric   // reference then it's just the size of the field. Pointer types have no need
1710b57cec5SDimitry Andric   // of this since they're a different type of qualification on the type.
1720b57cec5SDimitry Andric   if (BaseType->getTag() == dwarf::DW_TAG_reference_type ||
1730b57cec5SDimitry Andric       BaseType->getTag() == dwarf::DW_TAG_rvalue_reference_type)
1740b57cec5SDimitry Andric     return Ty->getSizeInBits();
1750b57cec5SDimitry Andric 
1760b57cec5SDimitry Andric   return getBaseTypeSize(BaseType);
1770b57cec5SDimitry Andric }
1780b57cec5SDimitry Andric 
179e8d8bef9SDimitry Andric bool DebugHandlerBase::isUnsignedDIType(const DIType *Ty) {
180fe6060f1SDimitry Andric   if (isa<DIStringType>(Ty)) {
181349cc55cSDimitry Andric     // Some transformations (e.g. instcombine) may decide to turn a Fortran
182349cc55cSDimitry Andric     // character object into an integer, and later ones (e.g. SROA) may
183349cc55cSDimitry Andric     // further inject a constant integer in a llvm.dbg.value call to track
184349cc55cSDimitry Andric     // the object's value. Here we trust the transformations are doing the
185349cc55cSDimitry Andric     // right thing, and treat the constant as unsigned to preserve that value
186349cc55cSDimitry Andric     // (i.e. avoid sign extension).
187fe6060f1SDimitry Andric     return true;
188fe6060f1SDimitry Andric   }
189349cc55cSDimitry Andric 
190e8d8bef9SDimitry Andric   if (auto *CTy = dyn_cast<DICompositeType>(Ty)) {
191349cc55cSDimitry Andric     if (CTy->getTag() == dwarf::DW_TAG_enumeration_type) {
192349cc55cSDimitry Andric       if (!(Ty = CTy->getBaseType()))
193e8d8bef9SDimitry Andric         // FIXME: Enums without a fixed underlying type have unknown signedness
194e8d8bef9SDimitry Andric         // here, leading to incorrectly emitted constants.
195e8d8bef9SDimitry Andric         return false;
196349cc55cSDimitry Andric     } else
197e8d8bef9SDimitry Andric       // (Pieces of) aggregate types that get hacked apart by SROA may be
198e8d8bef9SDimitry Andric       // represented by a constant. Encode them as unsigned bytes.
199e8d8bef9SDimitry Andric       return true;
200e8d8bef9SDimitry Andric   }
201e8d8bef9SDimitry Andric 
202e8d8bef9SDimitry Andric   if (auto *DTy = dyn_cast<DIDerivedType>(Ty)) {
203e8d8bef9SDimitry Andric     dwarf::Tag T = (dwarf::Tag)Ty->getTag();
204e8d8bef9SDimitry Andric     // Encode pointer constants as unsigned bytes. This is used at least for
205e8d8bef9SDimitry Andric     // null pointer constant emission.
206e8d8bef9SDimitry Andric     // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
207e8d8bef9SDimitry Andric     // here, but accept them for now due to a bug in SROA producing bogus
208e8d8bef9SDimitry Andric     // dbg.values.
209e8d8bef9SDimitry Andric     if (T == dwarf::DW_TAG_pointer_type ||
210e8d8bef9SDimitry Andric         T == dwarf::DW_TAG_ptr_to_member_type ||
211e8d8bef9SDimitry Andric         T == dwarf::DW_TAG_reference_type ||
212e8d8bef9SDimitry Andric         T == dwarf::DW_TAG_rvalue_reference_type)
213e8d8bef9SDimitry Andric       return true;
214e8d8bef9SDimitry Andric     assert(T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type ||
215e8d8bef9SDimitry Andric            T == dwarf::DW_TAG_volatile_type ||
21604eeddc0SDimitry Andric            T == dwarf::DW_TAG_restrict_type || T == dwarf::DW_TAG_atomic_type ||
217*0fca6ea1SDimitry Andric            T == dwarf::DW_TAG_immutable_type ||
218*0fca6ea1SDimitry Andric            T == dwarf::DW_TAG_template_alias);
219e8d8bef9SDimitry Andric     assert(DTy->getBaseType() && "Expected valid base type");
220e8d8bef9SDimitry Andric     return isUnsignedDIType(DTy->getBaseType());
221e8d8bef9SDimitry Andric   }
222e8d8bef9SDimitry Andric 
223e8d8bef9SDimitry Andric   auto *BTy = cast<DIBasicType>(Ty);
224e8d8bef9SDimitry Andric   unsigned Encoding = BTy->getEncoding();
225e8d8bef9SDimitry Andric   assert((Encoding == dwarf::DW_ATE_unsigned ||
226e8d8bef9SDimitry Andric           Encoding == dwarf::DW_ATE_unsigned_char ||
227e8d8bef9SDimitry Andric           Encoding == dwarf::DW_ATE_signed ||
228e8d8bef9SDimitry Andric           Encoding == dwarf::DW_ATE_signed_char ||
229e8d8bef9SDimitry Andric           Encoding == dwarf::DW_ATE_float || Encoding == dwarf::DW_ATE_UTF ||
230e8d8bef9SDimitry Andric           Encoding == dwarf::DW_ATE_boolean ||
23106c3fb27SDimitry Andric           Encoding == dwarf::DW_ATE_complex_float ||
232*0fca6ea1SDimitry Andric           Encoding == dwarf::DW_ATE_signed_fixed ||
233*0fca6ea1SDimitry Andric           Encoding == dwarf::DW_ATE_unsigned_fixed ||
234e8d8bef9SDimitry Andric           (Ty->getTag() == dwarf::DW_TAG_unspecified_type &&
235e8d8bef9SDimitry Andric            Ty->getName() == "decltype(nullptr)")) &&
236e8d8bef9SDimitry Andric          "Unsupported encoding");
237e8d8bef9SDimitry Andric   return Encoding == dwarf::DW_ATE_unsigned ||
238e8d8bef9SDimitry Andric          Encoding == dwarf::DW_ATE_unsigned_char ||
239e8d8bef9SDimitry Andric          Encoding == dwarf::DW_ATE_UTF || Encoding == dwarf::DW_ATE_boolean ||
240*0fca6ea1SDimitry Andric          Encoding == llvm::dwarf::DW_ATE_unsigned_fixed ||
241e8d8bef9SDimitry Andric          Ty->getTag() == dwarf::DW_TAG_unspecified_type;
242e8d8bef9SDimitry Andric }
243e8d8bef9SDimitry Andric 
2440b57cec5SDimitry Andric static bool hasDebugInfo(const MachineModuleInfo *MMI,
2450b57cec5SDimitry Andric                          const MachineFunction *MF) {
2460b57cec5SDimitry Andric   if (!MMI->hasDebugInfo())
2470b57cec5SDimitry Andric     return false;
2480b57cec5SDimitry Andric   auto *SP = MF->getFunction().getSubprogram();
2490b57cec5SDimitry Andric   if (!SP)
2500b57cec5SDimitry Andric     return false;
2510b57cec5SDimitry Andric   assert(SP->getUnit());
2520b57cec5SDimitry Andric   auto EK = SP->getUnit()->getEmissionKind();
2530b57cec5SDimitry Andric   if (EK == DICompileUnit::NoDebug)
2540b57cec5SDimitry Andric     return false;
2550b57cec5SDimitry Andric   return true;
2560b57cec5SDimitry Andric }
2570b57cec5SDimitry Andric 
2580b57cec5SDimitry Andric void DebugHandlerBase::beginFunction(const MachineFunction *MF) {
2590b57cec5SDimitry Andric   PrevInstBB = nullptr;
2600b57cec5SDimitry Andric 
2610b57cec5SDimitry Andric   if (!Asm || !hasDebugInfo(MMI, MF)) {
2620b57cec5SDimitry Andric     skippedNonDebugFunction();
2630b57cec5SDimitry Andric     return;
2640b57cec5SDimitry Andric   }
2650b57cec5SDimitry Andric 
2660b57cec5SDimitry Andric   // Grab the lexical scopes for the function, if we don't have any of those
2670b57cec5SDimitry Andric   // then we're not going to be able to do anything.
2680b57cec5SDimitry Andric   LScopes.initialize(*MF);
2690b57cec5SDimitry Andric   if (LScopes.empty()) {
2700b57cec5SDimitry Andric     beginFunctionImpl(MF);
2710b57cec5SDimitry Andric     return;
2720b57cec5SDimitry Andric   }
2730b57cec5SDimitry Andric 
2740b57cec5SDimitry Andric   // Make sure that each lexical scope will have a begin/end label.
2750b57cec5SDimitry Andric   identifyScopeMarkers();
2760b57cec5SDimitry Andric 
2770b57cec5SDimitry Andric   // Calculate history for local variables.
2780b57cec5SDimitry Andric   assert(DbgValues.empty() && "DbgValues map wasn't cleaned!");
2790b57cec5SDimitry Andric   assert(DbgLabels.empty() && "DbgLabels map wasn't cleaned!");
2800b57cec5SDimitry Andric   calculateDbgEntityHistory(MF, Asm->MF->getSubtarget().getRegisterInfo(),
2810b57cec5SDimitry Andric                             DbgValues, DbgLabels);
282e8d8bef9SDimitry Andric   InstOrdering.initialize(*MF);
283e8d8bef9SDimitry Andric   if (TrimVarLocs)
284e8d8bef9SDimitry Andric     DbgValues.trimLocationRanges(*MF, LScopes, InstOrdering);
28506c3fb27SDimitry Andric   LLVM_DEBUG(DbgValues.dump(MF->getName()));
2860b57cec5SDimitry Andric 
2870b57cec5SDimitry Andric   // Request labels for the full history.
2880b57cec5SDimitry Andric   for (const auto &I : DbgValues) {
2890b57cec5SDimitry Andric     const auto &Entries = I.second;
2900b57cec5SDimitry Andric     if (Entries.empty())
2910b57cec5SDimitry Andric       continue;
2920b57cec5SDimitry Andric 
2930b57cec5SDimitry Andric     auto IsDescribedByReg = [](const MachineInstr *MI) {
294fe6060f1SDimitry Andric       return any_of(MI->debug_operands(),
295fe6060f1SDimitry Andric                     [](auto &MO) { return MO.isReg() && MO.getReg(); });
2960b57cec5SDimitry Andric     };
2970b57cec5SDimitry Andric 
2980b57cec5SDimitry Andric     // The first mention of a function argument gets the CurrentFnBegin label,
2990b57cec5SDimitry Andric     // so arguments are visible when breaking at function entry.
3000b57cec5SDimitry Andric     //
3010b57cec5SDimitry Andric     // We do not change the label for values that are described by registers,
3020b57cec5SDimitry Andric     // as that could place them above their defining instructions. We should
3030b57cec5SDimitry Andric     // ideally not change the labels for constant debug values either, since
3040b57cec5SDimitry Andric     // doing that violates the ranges that are calculated in the history map.
3050b57cec5SDimitry Andric     // However, we currently do not emit debug values for constant arguments
3060b57cec5SDimitry Andric     // directly at the start of the function, so this code is still useful.
3070b57cec5SDimitry Andric     const DILocalVariable *DIVar =
3080b57cec5SDimitry Andric         Entries.front().getInstr()->getDebugVariable();
3090b57cec5SDimitry Andric     if (DIVar->isParameter() &&
310fe6060f1SDimitry Andric         getDISubprogram(DIVar->getScope())->describes(&MF->getFunction())) {
3110b57cec5SDimitry Andric       if (!IsDescribedByReg(Entries.front().getInstr()))
3120b57cec5SDimitry Andric         LabelsBeforeInsn[Entries.front().getInstr()] = Asm->getFunctionBegin();
3130b57cec5SDimitry Andric       if (Entries.front().getInstr()->getDebugExpression()->isFragment()) {
3140b57cec5SDimitry Andric         // Mark all non-overlapping initial fragments.
315fcaf7f86SDimitry Andric         for (const auto *I = Entries.begin(); I != Entries.end(); ++I) {
3160b57cec5SDimitry Andric           if (!I->isDbgValue())
3170b57cec5SDimitry Andric             continue;
3180b57cec5SDimitry Andric           const DIExpression *Fragment = I->getInstr()->getDebugExpression();
3190b57cec5SDimitry Andric           if (std::any_of(Entries.begin(), I,
3200b57cec5SDimitry Andric                           [&](DbgValueHistoryMap::Entry Pred) {
3210b57cec5SDimitry Andric                             return Pred.isDbgValue() &&
3220b57cec5SDimitry Andric                                    Fragment->fragmentsOverlap(
3230b57cec5SDimitry Andric                                        Pred.getInstr()->getDebugExpression());
3240b57cec5SDimitry Andric                           }))
3250b57cec5SDimitry Andric             break;
3260b57cec5SDimitry Andric           // The code that generates location lists for DWARF assumes that the
3270b57cec5SDimitry Andric           // entries' start labels are monotonically increasing, and since we
3280b57cec5SDimitry Andric           // don't change the label for fragments that are described by
3290b57cec5SDimitry Andric           // registers, we must bail out when encountering such a fragment.
3300b57cec5SDimitry Andric           if (IsDescribedByReg(I->getInstr()))
3310b57cec5SDimitry Andric             break;
3320b57cec5SDimitry Andric           LabelsBeforeInsn[I->getInstr()] = Asm->getFunctionBegin();
3330b57cec5SDimitry Andric         }
3340b57cec5SDimitry Andric       }
3350b57cec5SDimitry Andric     }
3360b57cec5SDimitry Andric 
3370b57cec5SDimitry Andric     for (const auto &Entry : Entries) {
3380b57cec5SDimitry Andric       if (Entry.isDbgValue())
3390b57cec5SDimitry Andric         requestLabelBeforeInsn(Entry.getInstr());
3400b57cec5SDimitry Andric       else
3410b57cec5SDimitry Andric         requestLabelAfterInsn(Entry.getInstr());
3420b57cec5SDimitry Andric     }
3430b57cec5SDimitry Andric   }
3440b57cec5SDimitry Andric 
3450b57cec5SDimitry Andric   // Ensure there is a symbol before DBG_LABEL.
3460b57cec5SDimitry Andric   for (const auto &I : DbgLabels) {
3470b57cec5SDimitry Andric     const MachineInstr *MI = I.second;
3480b57cec5SDimitry Andric     requestLabelBeforeInsn(MI);
3490b57cec5SDimitry Andric   }
3500b57cec5SDimitry Andric 
3510b57cec5SDimitry Andric   PrevInstLoc = DebugLoc();
3520b57cec5SDimitry Andric   PrevLabel = Asm->getFunctionBegin();
3530b57cec5SDimitry Andric   beginFunctionImpl(MF);
3540b57cec5SDimitry Andric }
3550b57cec5SDimitry Andric 
3560b57cec5SDimitry Andric void DebugHandlerBase::beginInstruction(const MachineInstr *MI) {
357e8d8bef9SDimitry Andric   if (!Asm || !MMI->hasDebugInfo())
3580b57cec5SDimitry Andric     return;
3590b57cec5SDimitry Andric 
3600b57cec5SDimitry Andric   assert(CurMI == nullptr);
3610b57cec5SDimitry Andric   CurMI = MI;
3620b57cec5SDimitry Andric 
3630b57cec5SDimitry Andric   // Insert labels where requested.
3640b57cec5SDimitry Andric   DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
3650b57cec5SDimitry Andric       LabelsBeforeInsn.find(MI);
3660b57cec5SDimitry Andric 
3670b57cec5SDimitry Andric   // No label needed.
3680b57cec5SDimitry Andric   if (I == LabelsBeforeInsn.end())
3690b57cec5SDimitry Andric     return;
3700b57cec5SDimitry Andric 
3710b57cec5SDimitry Andric   // Label already assigned.
3720b57cec5SDimitry Andric   if (I->second)
3730b57cec5SDimitry Andric     return;
3740b57cec5SDimitry Andric 
3750b57cec5SDimitry Andric   if (!PrevLabel) {
3760b57cec5SDimitry Andric     PrevLabel = MMI->getContext().createTempSymbol();
3775ffd83dbSDimitry Andric     Asm->OutStreamer->emitLabel(PrevLabel);
3780b57cec5SDimitry Andric   }
3790b57cec5SDimitry Andric   I->second = PrevLabel;
3800b57cec5SDimitry Andric }
3810b57cec5SDimitry Andric 
3820b57cec5SDimitry Andric void DebugHandlerBase::endInstruction() {
383e8d8bef9SDimitry Andric   if (!Asm || !MMI->hasDebugInfo())
3840b57cec5SDimitry Andric     return;
3850b57cec5SDimitry Andric 
3860b57cec5SDimitry Andric   assert(CurMI != nullptr);
3870b57cec5SDimitry Andric   // Don't create a new label after DBG_VALUE and other instructions that don't
3880b57cec5SDimitry Andric   // generate code.
3890b57cec5SDimitry Andric   if (!CurMI->isMetaInstruction()) {
3900b57cec5SDimitry Andric     PrevLabel = nullptr;
3910b57cec5SDimitry Andric     PrevInstBB = CurMI->getParent();
3920b57cec5SDimitry Andric   }
3930b57cec5SDimitry Andric 
3940b57cec5SDimitry Andric   DenseMap<const MachineInstr *, MCSymbol *>::iterator I =
3950b57cec5SDimitry Andric       LabelsAfterInsn.find(CurMI);
396fe6060f1SDimitry Andric 
397fe6060f1SDimitry Andric   // No label needed or label already assigned.
398fe6060f1SDimitry Andric   if (I == LabelsAfterInsn.end() || I->second) {
3990b57cec5SDimitry Andric     CurMI = nullptr;
4000b57cec5SDimitry Andric     return;
401fe6060f1SDimitry Andric   }
4020b57cec5SDimitry Andric 
403fe6060f1SDimitry Andric   // We need a label after this instruction.  With basic block sections, just
404fe6060f1SDimitry Andric   // use the end symbol of the section if this is the last instruction of the
405fe6060f1SDimitry Andric   // section.  This reduces the need for an additional label and also helps
406fe6060f1SDimitry Andric   // merging ranges.
407fe6060f1SDimitry Andric   if (CurMI->getParent()->isEndSection() && CurMI->getNextNode() == nullptr) {
408fe6060f1SDimitry Andric     PrevLabel = CurMI->getParent()->getEndSymbol();
409fe6060f1SDimitry Andric   } else if (!PrevLabel) {
4100b57cec5SDimitry Andric     PrevLabel = MMI->getContext().createTempSymbol();
4115ffd83dbSDimitry Andric     Asm->OutStreamer->emitLabel(PrevLabel);
4120b57cec5SDimitry Andric   }
4130b57cec5SDimitry Andric   I->second = PrevLabel;
414fe6060f1SDimitry Andric   CurMI = nullptr;
4150b57cec5SDimitry Andric }
4160b57cec5SDimitry Andric 
4170b57cec5SDimitry Andric void DebugHandlerBase::endFunction(const MachineFunction *MF) {
418e8d8bef9SDimitry Andric   if (Asm && hasDebugInfo(MMI, MF))
4190b57cec5SDimitry Andric     endFunctionImpl(MF);
4200b57cec5SDimitry Andric   DbgValues.clear();
4210b57cec5SDimitry Andric   DbgLabels.clear();
4220b57cec5SDimitry Andric   LabelsBeforeInsn.clear();
4230b57cec5SDimitry Andric   LabelsAfterInsn.clear();
424e8d8bef9SDimitry Andric   InstOrdering.clear();
4250b57cec5SDimitry Andric }
4265ffd83dbSDimitry Andric 
427bdd1243dSDimitry Andric void DebugHandlerBase::beginBasicBlockSection(const MachineBasicBlock &MBB) {
428bdd1243dSDimitry Andric   EpilogBeginBlock = nullptr;
429bdd1243dSDimitry Andric   if (!MBB.isEntryBlock())
4305ffd83dbSDimitry Andric     PrevLabel = MBB.getSymbol();
4315ffd83dbSDimitry Andric }
4325ffd83dbSDimitry Andric 
433bdd1243dSDimitry Andric void DebugHandlerBase::endBasicBlockSection(const MachineBasicBlock &MBB) {
4345ffd83dbSDimitry Andric   PrevLabel = nullptr;
4355ffd83dbSDimitry Andric }
436