Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
14 | pmbaty | 1 | //===-- llvm/CodeGen/DebugHandlerBase.h -----------------------*- C++ -*--===// |
2 | // |
||
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 |
||
6 | // |
||
7 | //===----------------------------------------------------------------------===// |
||
8 | // |
||
9 | // Common functionality for different debug information format backends. |
||
10 | // LLVM currently supports DWARF and CodeView. |
||
11 | // |
||
12 | //===----------------------------------------------------------------------===// |
||
13 | |||
14 | #ifndef LLVM_CODEGEN_DEBUGHANDLERBASE_H |
||
15 | #define LLVM_CODEGEN_DEBUGHANDLERBASE_H |
||
16 | |||
17 | #include "llvm/CodeGen/AsmPrinterHandler.h" |
||
18 | #include "llvm/CodeGen/DbgEntityHistoryCalculator.h" |
||
19 | #include "llvm/CodeGen/LexicalScopes.h" |
||
20 | #include "llvm/IR/DebugInfoMetadata.h" |
||
21 | #include "llvm/IR/DebugLoc.h" |
||
22 | #include <optional> |
||
23 | |||
24 | namespace llvm { |
||
25 | |||
26 | class AsmPrinter; |
||
27 | class MachineInstr; |
||
28 | class MachineModuleInfo; |
||
29 | |||
30 | /// Represents the location at which a variable is stored. |
||
31 | struct DbgVariableLocation { |
||
32 | /// Base register. |
||
33 | unsigned Register; |
||
34 | |||
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; |
||
38 | |||
39 | /// Present if the location is part of a larger variable. |
||
40 | std::optional<llvm::DIExpression::FragmentInfo> FragmentInfo; |
||
41 | |||
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 |
||
46 | /// have a value. |
||
47 | static std::optional<DbgVariableLocation> |
||
48 | extractFromMachineInstruction(const MachineInstr &Instruction); |
||
49 | }; |
||
50 | |||
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 { |
||
54 | protected: |
||
55 | DebugHandlerBase(AsmPrinter *A); |
||
56 | |||
57 | /// Target of debug info emission. |
||
58 | AsmPrinter *Asm; |
||
59 | |||
60 | /// Collected machine module information. |
||
61 | MachineModuleInfo *MMI; |
||
62 | |||
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. |
||
67 | DebugLoc PrevInstLoc; |
||
68 | MCSymbol *PrevLabel = nullptr; |
||
69 | const MachineBasicBlock *PrevInstBB = nullptr; |
||
70 | |||
71 | /// This location indicates end of function prologue and beginning of |
||
72 | /// function body. |
||
73 | DebugLoc PrologEndLoc; |
||
74 | |||
75 | /// This block includes epilogue instructions. |
||
76 | const MachineBasicBlock *EpilogBeginBlock; |
||
77 | |||
78 | /// If nonnull, stores the current machine instruction we're processing. |
||
79 | const MachineInstr *CurMI = nullptr; |
||
80 | |||
81 | LexicalScopes LScopes; |
||
82 | |||
83 | /// History of DBG_VALUE and clobber instructions for each user |
||
84 | /// variable. Variables are listed in order of appearance. |
||
85 | DbgValueHistoryMap DbgValues; |
||
86 | |||
87 | /// Mapping of inlined labels and DBG_LABEL machine instruction. |
||
88 | DbgLabelInstrMap DbgLabels; |
||
89 | |||
90 | /// Maps instruction with label emitted before instruction. |
||
91 | /// FIXME: Make this private from DwarfDebug, we have the necessary accessors |
||
92 | /// for it. |
||
93 | DenseMap<const MachineInstr *, MCSymbol *> LabelsBeforeInsn; |
||
94 | |||
95 | /// Maps instruction with label emitted after instruction. |
||
96 | DenseMap<const MachineInstr *, MCSymbol *> LabelsAfterInsn; |
||
97 | |||
98 | /// Indentify instructions that are marking the beginning of or |
||
99 | /// ending of a scope. |
||
100 | void identifyScopeMarkers(); |
||
101 | |||
102 | /// Ensure that a label will be emitted before MI. |
||
103 | void requestLabelBeforeInsn(const MachineInstr *MI) { |
||
104 | LabelsBeforeInsn.insert(std::make_pair(MI, nullptr)); |
||
105 | } |
||
106 | |||
107 | /// Ensure that a label will be emitted after MI. |
||
108 | void requestLabelAfterInsn(const MachineInstr *MI) { |
||
109 | LabelsAfterInsn.insert(std::make_pair(MI, nullptr)); |
||
110 | } |
||
111 | |||
112 | virtual void beginFunctionImpl(const MachineFunction *MF) = 0; |
||
113 | virtual void endFunctionImpl(const MachineFunction *MF) = 0; |
||
114 | virtual void skippedNonDebugFunction() {} |
||
115 | |||
116 | private: |
||
117 | InstructionOrdering InstOrdering; |
||
118 | |||
119 | // AsmPrinterHandler overrides. |
||
120 | public: |
||
121 | void beginModule(Module *M) override; |
||
122 | |||
123 | void beginInstruction(const MachineInstr *MI) override; |
||
124 | void endInstruction() override; |
||
125 | |||
126 | void beginFunction(const MachineFunction *MF) override; |
||
127 | void endFunction(const MachineFunction *MF) override; |
||
128 | |||
129 | void beginBasicBlockSection(const MachineBasicBlock &MBB) override; |
||
130 | void endBasicBlockSection(const MachineBasicBlock &MBB) override; |
||
131 | |||
132 | /// Return Label preceding the instruction. |
||
133 | MCSymbol *getLabelBeforeInsn(const MachineInstr *MI); |
||
134 | |||
135 | /// Return Label immediately following the instruction. |
||
136 | MCSymbol *getLabelAfterInsn(const MachineInstr *MI); |
||
137 | |||
138 | /// If this type is derived from a base type then return base type size. |
||
139 | static uint64_t getBaseTypeSize(const DIType *Ty); |
||
140 | |||
141 | /// Return true if type encoding is unsigned. |
||
142 | static bool isUnsignedDIType(const DIType *Ty); |
||
143 | |||
144 | const InstructionOrdering &getInstOrdering() const { return InstOrdering; } |
||
145 | }; |
||
146 | |||
147 | } // namespace llvm |
||
148 | |||
149 | #endif |