1 //===-- llvm/CodeGen/DebugHandlerBase.h -----------------------*- C++ -*--===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // Common functionality for different debug information format backends.
10 // LLVM currently supports DWARF and CodeView.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CODEGEN_DEBUGHANDLERBASE_H
15 #define LLVM_CODEGEN_DEBUGHANDLERBASE_H
17 #include "llvm/ADT/Optional.h"
18 #include "llvm/CodeGen/AsmPrinterHandler.h"
19 #include "llvm/CodeGen/DbgEntityHistoryCalculator.h"
20 #include "llvm/CodeGen/LexicalScopes.h"
21 #include "llvm/CodeGen/MachineInstr.h"
22 #include "llvm/IR/DebugInfoMetadata.h"
28 class MachineModuleInfo
;
30 /// Represents the location at which a variable is stored.
31 struct DbgVariableLocation
{
35 /// Chain of offsetted loads necessary to load the value if it lives in
36 /// memory. Every load except for the last is pointer-sized.
37 SmallVector
<int64_t, 1> LoadChain
;
39 /// Present if the location is part of a larger variable.
40 llvm::Optional
<llvm::DIExpression::FragmentInfo
> FragmentInfo
;
42 /// Extract a VariableLocation from a MachineInstr.
43 /// This will only work if Instruction is a debug value instruction
44 /// and the associated DIExpression is in one of the supported forms.
45 /// If these requirements are not met, the returned Optional will not
47 static Optional
<DbgVariableLocation
>
48 extractFromMachineInstruction(const MachineInstr
&Instruction
);
51 /// Base class for debug information backends. Common functionality related to
52 /// tracking which variables and scopes are alive at a given PC live here.
53 class DebugHandlerBase
: public AsmPrinterHandler
{
55 DebugHandlerBase(AsmPrinter
*A
);
57 /// Target of debug info emission.
60 /// Collected machine module information.
61 MachineModuleInfo
*MMI
;
63 /// Previous instruction's location information. This is used to
64 /// determine label location to indicate scope boundaries in debug info.
65 /// We track the previous instruction's source location (if not line 0),
66 /// whether it was a label, and its parent BB.
68 MCSymbol
*PrevLabel
= nullptr;
69 const MachineBasicBlock
*PrevInstBB
= nullptr;
71 /// This location indicates end of function prologue and beginning of
73 DebugLoc PrologEndLoc
;
75 /// If nonnull, stores the current machine instruction we're processing.
76 const MachineInstr
*CurMI
= nullptr;
78 LexicalScopes LScopes
;
80 /// History of DBG_VALUE and clobber instructions for each user
81 /// variable. Variables are listed in order of appearance.
82 DbgValueHistoryMap DbgValues
;
84 /// Mapping of inlined labels and DBG_LABEL machine instruction.
85 DbgLabelInstrMap DbgLabels
;
87 /// Maps instruction with label emitted before instruction.
88 /// FIXME: Make this private from DwarfDebug, we have the necessary accessors
90 DenseMap
<const MachineInstr
*, MCSymbol
*> LabelsBeforeInsn
;
92 /// Maps instruction with label emitted after instruction.
93 DenseMap
<const MachineInstr
*, MCSymbol
*> LabelsAfterInsn
;
95 /// Indentify instructions that are marking the beginning of or
96 /// ending of a scope.
97 void identifyScopeMarkers();
99 /// Ensure that a label will be emitted before MI.
100 void requestLabelBeforeInsn(const MachineInstr
*MI
) {
101 LabelsBeforeInsn
.insert(std::make_pair(MI
, nullptr));
104 /// Ensure that a label will be emitted after MI.
105 void requestLabelAfterInsn(const MachineInstr
*MI
) {
106 LabelsAfterInsn
.insert(std::make_pair(MI
, nullptr));
109 virtual void beginFunctionImpl(const MachineFunction
*MF
) = 0;
110 virtual void endFunctionImpl(const MachineFunction
*MF
) = 0;
111 virtual void skippedNonDebugFunction() {}
113 // AsmPrinterHandler overrides.
115 void beginInstruction(const MachineInstr
*MI
) override
;
116 void endInstruction() override
;
118 void beginFunction(const MachineFunction
*MF
) override
;
119 void endFunction(const MachineFunction
*MF
) override
;
121 /// Return Label preceding the instruction.
122 MCSymbol
*getLabelBeforeInsn(const MachineInstr
*MI
);
124 /// Return Label immediately following the instruction.
125 MCSymbol
*getLabelAfterInsn(const MachineInstr
*MI
);
127 /// Return the function-local offset of an instruction. A label for the
128 /// instruction \p MI should exist (\ref getLabelAfterInsn).
129 const MCExpr
*getFunctionLocalOffsetAfterInsn(const MachineInstr
*MI
);
131 /// If this type is derived from a base type then return base type size.
132 static uint64_t getBaseTypeSize(const DIType
*Ty
);