Reid Kleckner | 70f5bc9 | 2016-01-14 19:25:04 +0000 | [diff] [blame] | 1 | //===-- llvm/lib/CodeGen/AsmPrinter/CodeViewDebug.h ----*- C++ -*--===// |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
Reid Kleckner | 70f5bc9 | 2016-01-14 19:25:04 +0000 | [diff] [blame] | 10 | // This file contains support for writing Microsoft CodeView debug info. |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Reid Kleckner | 70f5bc9 | 2016-01-14 19:25:04 +0000 | [diff] [blame] | 14 | #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_CODEVIEWDEBUG_H |
| 15 | #define LLVM_LIB_CODEGEN_ASMPRINTER_CODEVIEWDEBUG_H |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 16 | |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 17 | #include "DebugHandlerBase.h" |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/DenseMap.h" |
| 19 | #include "llvm/ADT/StringMap.h" |
| 20 | #include "llvm/ADT/StringRef.h" |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 21 | #include "llvm/CodeGen/AsmPrinter.h" |
| 22 | #include "llvm/CodeGen/MachineFunction.h" |
| 23 | #include "llvm/CodeGen/MachineModuleInfo.h" |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 24 | #include "llvm/DebugInfo/CodeView/TypeIndex.h" |
Chandler Carruth | 9a4c9e5 | 2014-03-06 00:46:21 +0000 | [diff] [blame] | 25 | #include "llvm/IR/DebugInfo.h" |
Chandler Carruth | 9205140 | 2014-03-05 10:30:38 +0000 | [diff] [blame] | 26 | #include "llvm/IR/DebugLoc.h" |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 27 | #include "llvm/MC/MCStreamer.h" |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 28 | #include "llvm/Target/TargetLoweringObjectFile.h" |
| 29 | |
| 30 | namespace llvm { |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 31 | |
| 32 | class LexicalScope; |
| 33 | |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 34 | /// \brief Collects and handles line tables information in a CodeView format. |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 35 | class LLVM_LIBRARY_VISIBILITY CodeViewDebug : public DebugHandlerBase { |
Reid Kleckner | dac21b4 | 2016-02-03 21:15:48 +0000 | [diff] [blame] | 36 | MCStreamer &OS; |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 37 | |
Reid Kleckner | 876330d | 2016-02-12 21:48:30 +0000 | [diff] [blame] | 38 | /// Represents the most general definition range. |
| 39 | struct LocalVarDefRange { |
| 40 | /// Indicates that variable data is stored in memory relative to the |
| 41 | /// specified register. |
| 42 | int InMemory : 1; |
| 43 | |
| 44 | /// Offset of variable data in memory. |
| 45 | int DataOffset : 31; |
| 46 | |
| 47 | /// Offset of the data into the user level struct. If zero, no splitting |
| 48 | /// occurred. |
| 49 | uint16_t StructOffset; |
| 50 | |
| 51 | /// Register containing the data or the register base of the memory |
| 52 | /// location containing the data. |
| 53 | uint16_t CVRegister; |
| 54 | |
| 55 | /// Compares all location fields. This includes all fields except the label |
| 56 | /// ranges. |
| 57 | bool isDifferentLocation(LocalVarDefRange &O) { |
| 58 | return InMemory != O.InMemory || DataOffset != O.DataOffset || |
| 59 | StructOffset != O.StructOffset || CVRegister != O.CVRegister; |
| 60 | } |
| 61 | |
| 62 | SmallVector<std::pair<const MCSymbol *, const MCSymbol *>, 1> Ranges; |
| 63 | }; |
| 64 | |
| 65 | static LocalVarDefRange createDefRangeMem(uint16_t CVRegister, int Offset); |
| 66 | static LocalVarDefRange createDefRangeReg(uint16_t CVRegister); |
| 67 | |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 68 | /// Similar to DbgVariable in DwarfDebug, but not dwarf-specific. |
| 69 | struct LocalVariable { |
| 70 | const DILocalVariable *DIVar = nullptr; |
Reid Kleckner | 876330d | 2016-02-12 21:48:30 +0000 | [diff] [blame] | 71 | SmallVector<LocalVarDefRange, 1> DefRanges; |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 72 | }; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 73 | |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 74 | struct InlineSite { |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 75 | SmallVector<LocalVariable, 1> InlinedLocals; |
| 76 | SmallVector<const DILocation *, 1> ChildSites; |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 77 | const DISubprogram *Inlinee = nullptr; |
| 78 | unsigned SiteFuncId = 0; |
| 79 | }; |
| 80 | |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 81 | // For each function, store a vector of labels to its instructions, as well as |
| 82 | // to the end of the function. |
| 83 | struct FunctionInfo { |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 84 | /// Map from inlined call site to inlined instructions and child inlined |
| 85 | /// call sites. Listed in program order. |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 86 | std::unordered_map<const DILocation *, InlineSite> InlineSites; |
| 87 | |
| 88 | /// Ordered list of top-level inlined call sites. |
| 89 | SmallVector<const DILocation *, 1> ChildSites; |
| 90 | |
| 91 | SmallVector<LocalVariable, 1> Locals; |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 92 | |
Reid Kleckner | 9533af4 | 2016-01-16 00:09:09 +0000 | [diff] [blame] | 93 | DebugLoc LastLoc; |
Reid Kleckner | 1fcd610 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 94 | const MCSymbol *Begin = nullptr; |
| 95 | const MCSymbol *End = nullptr; |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 96 | unsigned FuncId = 0; |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 97 | unsigned LastFileId = 0; |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 98 | bool HaveLineInfo = false; |
Reid Kleckner | 9533af4 | 2016-01-16 00:09:09 +0000 | [diff] [blame] | 99 | }; |
| 100 | FunctionInfo *CurFn; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 101 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 102 | /// The next available function index for use with our .cv_* directives. Not |
| 103 | /// to be confused with type indices for LF_FUNC_ID records. |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 104 | unsigned NextFuncId = 0; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 105 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 106 | /// The next available type index. |
| 107 | unsigned NextTypeIndex = llvm::codeview::TypeIndex::FirstNonSimpleIndex; |
| 108 | |
| 109 | /// Get the next type index and reserve it. Can be used to reserve more than |
| 110 | /// one type index. |
| 111 | unsigned getNextTypeIndex(unsigned NumRecords = 1) { |
| 112 | unsigned Result = NextTypeIndex; |
| 113 | NextTypeIndex += NumRecords; |
| 114 | return Result; |
| 115 | } |
| 116 | |
Reid Kleckner | 876330d | 2016-02-12 21:48:30 +0000 | [diff] [blame] | 117 | InlineSite &getInlineSite(const DILocation *InlinedAt, |
| 118 | const DISubprogram *Inlinee); |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 119 | |
Reid Kleckner | 1fcd610 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 120 | static void collectInlineSiteChildren(SmallVectorImpl<unsigned> &Children, |
| 121 | const FunctionInfo &FI, |
| 122 | const InlineSite &Site); |
| 123 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 124 | /// Remember some debug info about each function. Keep it in a stable order to |
| 125 | /// emit at the end of the TU. |
| 126 | MapVector<const Function *, FunctionInfo> FnDebugInfo; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 127 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 128 | /// Map from DIFile to .cv_file id. |
| 129 | DenseMap<const DIFile *, unsigned> FileIdMap; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 130 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 131 | /// Map from subprogram to index in InlinedSubprograms. |
| 132 | DenseMap<const DISubprogram *, size_t> SubprogramIndices; |
Reid Kleckner | 1fcd610 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 133 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 134 | /// All inlined subprograms in the order they should be emitted. |
| 135 | SmallVector<const DISubprogram *, 4> InlinedSubprograms; |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 136 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 137 | /// The first type index that refers to an LF_FUNC_ID record. We have one |
| 138 | /// record per inlined subprogram. |
| 139 | /// FIXME: Keep in sync with emitTypeInformation until we buffer type records |
| 140 | /// on the side as we go. Once we buffer type records, we can allocate type |
| 141 | /// indices on demand without interleaving our assembly output. |
| 142 | unsigned FuncIdTypeIndexStart = NextTypeIndex + 2; |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 143 | |
Reid Kleckner | 9533af4 | 2016-01-16 00:09:09 +0000 | [diff] [blame] | 144 | typedef std::map<const DIFile *, std::string> FileToFilepathMapTy; |
| 145 | FileToFilepathMapTy FileToFilepathMap; |
| 146 | StringRef getFullFilepath(const DIFile *S); |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 147 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 148 | unsigned maybeRecordFile(const DIFile *F); |
| 149 | |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 150 | void maybeRecordLocation(DebugLoc DL, const MachineFunction *MF); |
| 151 | |
| 152 | void clear() { |
Craig Topper | e73658d | 2014-04-28 04:05:08 +0000 | [diff] [blame] | 153 | assert(CurFn == nullptr); |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 154 | FileIdMap.clear(); |
| 155 | FnDebugInfo.clear(); |
| 156 | FileToFilepathMap.clear(); |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 157 | } |
| 158 | |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 159 | void emitTypeInformation(); |
| 160 | |
Reid Kleckner | fbd7787 | 2016-03-18 18:54:32 +0000 | [diff] [blame] | 161 | void emitInlineeFuncIdsAndLines(); |
Reid Kleckner | 1fcd610 | 2016-02-02 17:41:18 +0000 | [diff] [blame] | 162 | |
Reid Kleckner | 2214ed8 | 2016-01-29 00:49:42 +0000 | [diff] [blame] | 163 | void emitDebugInfoForFunction(const Function *GV, FunctionInfo &FI); |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 164 | |
Reid Kleckner | f3b9ba4 | 2016-01-29 18:16:43 +0000 | [diff] [blame] | 165 | void emitInlinedCallSite(const FunctionInfo &FI, const DILocation *InlinedAt, |
| 166 | const InlineSite &Site); |
| 167 | |
Reid Kleckner | 876330d | 2016-02-12 21:48:30 +0000 | [diff] [blame] | 168 | typedef DbgValueHistoryMap::InlinedVariable InlinedVariable; |
| 169 | |
| 170 | void collectVariableInfo(const DISubprogram *SP); |
| 171 | |
| 172 | void collectVariableInfoFromMMITable(DenseSet<InlinedVariable> &Processed); |
| 173 | |
| 174 | /// Records information about a local variable in the appropriate scope. In |
| 175 | /// particular, locals from inlined code live inside the inlining site. |
| 176 | void recordLocalVariable(LocalVariable &&Var, const DILocation *Loc); |
Reid Kleckner | f9c275f | 2016-02-10 20:55:49 +0000 | [diff] [blame] | 177 | |
| 178 | void emitLocalVariable(const LocalVariable &Var); |
| 179 | |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 180 | public: |
Reid Kleckner | 70f5bc9 | 2016-01-14 19:25:04 +0000 | [diff] [blame] | 181 | CodeViewDebug(AsmPrinter *Asm); |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 182 | |
Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 183 | void setSymbolSize(const llvm::MCSymbol *, uint64_t) override {} |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 184 | |
| 185 | /// \brief Emit the COFF section that holds the line table information. |
Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 186 | void endModule() override; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 187 | |
| 188 | /// \brief Gather pre-function debug information. |
Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 189 | void beginFunction(const MachineFunction *MF) override; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 190 | |
| 191 | /// \brief Gather post-function debug information. |
Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 192 | void endFunction(const MachineFunction *) override; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 193 | |
| 194 | /// \brief Process beginning of an instruction. |
Craig Topper | 7b883b3 | 2014-03-08 06:31:39 +0000 | [diff] [blame] | 195 | void beginInstruction(const MachineInstr *MI) override; |
Timur Iskhodzhanov | f166f6c | 2014-01-30 01:39:17 +0000 | [diff] [blame] | 196 | }; |
| 197 | } // End of namespace llvm |
| 198 | |
| 199 | #endif |