| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 1 | //===-- llvm/CodeGen/DebugLocEntry.h - Entry in debug_loc list -*- C++ -*--===// | 
|  | 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 |  | 
| Benjamin Kramer | a7c40ef | 2014-08-13 16:26:38 +0000 | [diff] [blame] | 10 | #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H | 
|  | 11 | #define LLVM_LIB_CODEGEN_ASMPRINTER_DEBUGLOCENTRY_H | 
| Adrian Prantl | 96b1551 | 2015-10-15 20:58:55 +0000 | [diff] [blame] | 12 |  | 
|  | 13 | #include "DebugLocStream.h" | 
| Nico Weber | 432a388 | 2018-04-30 14:59:11 +0000 | [diff] [blame] | 14 | #include "llvm/Config/llvm-config.h" | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 15 | #include "llvm/IR/Constants.h" | 
| Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 16 | #include "llvm/IR/DebugInfo.h" | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCSymbol.h" | 
| Chandler Carruth | d990388 | 2015-01-14 11:23:27 +0000 | [diff] [blame] | 18 | #include "llvm/MC/MachineLocation.h" | 
| Benjamin Kramer | 4dbf337 | 2016-03-04 10:49:30 +0000 | [diff] [blame] | 19 | #include "llvm/Support/Debug.h" | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 20 |  | 
|  | 21 | namespace llvm { | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 22 | class AsmPrinter; | 
| Duncan P. N. Exon Smith | c0f7dd7 | 2015-04-17 16:36:10 +0000 | [diff] [blame] | 23 |  | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 24 | /// \brief This struct describes location entries emitted in the .debug_loc | 
|  | 25 | /// section. | 
|  | 26 | class DebugLocEntry { | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 27 | /// Begin and end symbols for the address range that this location is valid. | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 28 | const MCSymbol *Begin; | 
|  | 29 | const MCSymbol *End; | 
|  | 30 |  | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 31 | public: | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 32 | /// \brief A single location or constant. | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 33 | struct Value { | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 34 | Value(const DIExpression *Expr, int64_t i) | 
| Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 35 | : Expression(Expr), EntryKind(E_Integer) { | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 36 | Constant.Int = i; | 
|  | 37 | } | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 38 | Value(const DIExpression *Expr, const ConstantFP *CFP) | 
| Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 39 | : Expression(Expr), EntryKind(E_ConstantFP) { | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 40 | Constant.CFP = CFP; | 
|  | 41 | } | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 42 | Value(const DIExpression *Expr, const ConstantInt *CIP) | 
| Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 43 | : Expression(Expr), EntryKind(E_ConstantInt) { | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 44 | Constant.CIP = CIP; | 
|  | 45 | } | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 46 | Value(const DIExpression *Expr, MachineLocation Loc) | 
| Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 47 | : Expression(Expr), EntryKind(E_Location), Loc(Loc) { | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 48 | assert(cast<DIExpression>(Expr)->isValid()); | 
| David Blaikie | d306baf | 2014-04-01 22:04:07 +0000 | [diff] [blame] | 49 | } | 
|  | 50 |  | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 51 | /// Any complex address location expression for this Value. | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 52 | const DIExpression *Expression; | 
| Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 53 |  | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 54 | /// Type of entry that this represents. | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 55 | enum EntryType { E_Location, E_Integer, E_ConstantFP, E_ConstantInt }; | 
|  | 56 | enum EntryType EntryKind; | 
|  | 57 |  | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 58 | /// Either a constant, | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 59 | union { | 
|  | 60 | int64_t Int; | 
|  | 61 | const ConstantFP *CFP; | 
|  | 62 | const ConstantInt *CIP; | 
|  | 63 | } Constant; | 
|  | 64 |  | 
|  | 65 | // Or a location in the machine frame. | 
|  | 66 | MachineLocation Loc; | 
|  | 67 |  | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 68 | bool isLocation() const { return EntryKind == E_Location; } | 
|  | 69 | bool isInt() const { return EntryKind == E_Integer; } | 
|  | 70 | bool isConstantFP() const { return EntryKind == E_ConstantFP; } | 
|  | 71 | bool isConstantInt() const { return EntryKind == E_ConstantInt; } | 
|  | 72 | int64_t getInt() const { return Constant.Int; } | 
|  | 73 | const ConstantFP *getConstantFP() const { return Constant.CFP; } | 
|  | 74 | const ConstantInt *getConstantInt() const { return Constant.CIP; } | 
|  | 75 | MachineLocation getLoc() const { return Loc; } | 
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 76 | bool isFragment() const { return getExpression()->isFragment(); } | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 77 | const DIExpression *getExpression() const { return Expression; } | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 78 | friend bool operator==(const Value &, const Value &); | 
|  | 79 | friend bool operator<(const Value &, const Value &); | 
| Aaron Ballman | 615eb47 | 2017-10-15 14:32:27 +0000 | [diff] [blame] | 80 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) | 
| Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame] | 81 | LLVM_DUMP_METHOD void dump() const { | 
| Adrian Prantl | dba58fb | 2016-02-29 22:28:22 +0000 | [diff] [blame] | 82 | if (isLocation()) { | 
|  | 83 | llvm::dbgs() << "Loc = { reg=" << Loc.getReg() << " "; | 
|  | 84 | if (Loc.isIndirect()) | 
| Adrian Prantl | 2049c0d | 2017-08-02 15:22:17 +0000 | [diff] [blame] | 85 | llvm::dbgs() << "+0"; | 
| Adrian Prantl | dba58fb | 2016-02-29 22:28:22 +0000 | [diff] [blame] | 86 | llvm::dbgs() << "} "; | 
|  | 87 | } | 
|  | 88 | else if (isConstantInt()) | 
|  | 89 | Constant.CIP->dump(); | 
|  | 90 | else if (isConstantFP()) | 
|  | 91 | Constant.CFP->dump(); | 
|  | 92 | if (Expression) | 
|  | 93 | Expression->dump(); | 
|  | 94 | } | 
| Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame] | 95 | #endif | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 96 | }; | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 97 |  | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 98 | private: | 
| Adrian Prantl | be4b517 | 2014-08-11 21:06:03 +0000 | [diff] [blame] | 99 | /// A nonempty list of locations/constants belonging to this entry, | 
|  | 100 | /// sorted by offset. | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 101 | SmallVector<Value, 1> Values; | 
|  | 102 |  | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 103 | public: | 
| David Blaikie | e1a26a6 | 2014-08-05 23:14:16 +0000 | [diff] [blame] | 104 | DebugLocEntry(const MCSymbol *B, const MCSymbol *E, Value Val) | 
|  | 105 | : Begin(B), End(E) { | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 106 | Values.push_back(std::move(Val)); | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 107 | } | 
|  | 108 |  | 
| Adrian Prantl | e09ee3f | 2014-08-11 20:59:28 +0000 | [diff] [blame] | 109 | /// \brief If this and Next are describing different pieces of the same | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 110 | /// variable, merge them by appending Next's values to the current | 
|  | 111 | /// list of values. | 
|  | 112 | /// Return true if the merge was successful. | 
| Keno Fischer | f8eb6a1 | 2016-01-16 01:11:33 +0000 | [diff] [blame] | 113 | bool MergeValues(const DebugLocEntry &Next); | 
| Adrian Prantl | e09ee3f | 2014-08-11 20:59:28 +0000 | [diff] [blame] | 114 |  | 
|  | 115 | /// \brief Attempt to merge this DebugLocEntry with Next and return | 
|  | 116 | /// true if the merge was successful. Entries can be merged if they | 
|  | 117 | /// share the same Loc/Constant and if Next immediately follows this | 
|  | 118 | /// Entry. | 
|  | 119 | bool MergeRanges(const DebugLocEntry &Next) { | 
| Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 120 | // If this and Next are describing the same variable, merge them. | 
| Adrian Prantl | e19e5ef | 2014-04-27 18:25:40 +0000 | [diff] [blame] | 121 | if ((End == Next.Begin && Values == Next.Values)) { | 
| David Blaikie | 6fa9966 | 2014-04-01 23:19:23 +0000 | [diff] [blame] | 122 | End = Next.End; | 
|  | 123 | return true; | 
|  | 124 | } | 
|  | 125 | return false; | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 126 | } | 
| Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 127 |  | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 128 | const MCSymbol *getBeginSym() const { return Begin; } | 
|  | 129 | const MCSymbol *getEndSym() const { return End; } | 
| Craig Topper | 3af9722 | 2014-08-27 05:25:00 +0000 | [diff] [blame] | 130 | ArrayRef<Value> getValues() const { return Values; } | 
| Adrian Prantl | 1c6f2ec | 2014-08-11 21:06:00 +0000 | [diff] [blame] | 131 | void addValues(ArrayRef<DebugLocEntry::Value> Vals) { | 
|  | 132 | Values.append(Vals.begin(), Vals.end()); | 
| Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 133 | sortUniqueValues(); | 
| David Majnemer | 0a16c22 | 2016-08-11 21:15:00 +0000 | [diff] [blame] | 134 | assert(all_of(Values, [](DebugLocEntry::Value V) { | 
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 135 | return V.isFragment(); | 
| Adrian Prantl | 1c6f2ec | 2014-08-11 21:06:00 +0000 | [diff] [blame] | 136 | }) && "value must be a piece"); | 
| Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 137 | } | 
|  | 138 |  | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 139 | // \brief Sort the pieces by offset. | 
| Adrian Prantl | 293dd93 | 2014-08-11 21:05:55 +0000 | [diff] [blame] | 140 | // Remove any duplicate entries by dropping all but the first. | 
|  | 141 | void sortUniqueValues() { | 
| Mandeep Singh Grang | e92f0cf | 2018-04-06 18:08:42 +0000 | [diff] [blame] | 142 | llvm::sort(Values.begin(), Values.end()); | 
| Duncan P. N. Exon Smith | 546c8be | 2015-04-17 16:33:37 +0000 | [diff] [blame] | 143 | Values.erase( | 
|  | 144 | std::unique( | 
|  | 145 | Values.begin(), Values.end(), [](const Value &A, const Value &B) { | 
|  | 146 | return A.getExpression() == B.getExpression(); | 
|  | 147 | }), | 
|  | 148 | Values.end()); | 
| Adrian Prantl | b141683 | 2014-08-01 22:11:58 +0000 | [diff] [blame] | 149 | } | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 150 |  | 
|  | 151 | /// \brief Lower this entry into a DWARF expression. | 
| Duncan P. N. Exon Smith | 3a73d9e | 2015-06-21 16:54:56 +0000 | [diff] [blame] | 152 | void finalize(const AsmPrinter &AP, DebugLocStream::ListBuilder &List, | 
| Duncan P. N. Exon Smith | a9308c4 | 2015-04-29 16:38:44 +0000 | [diff] [blame] | 153 | const DIBasicType *BT); | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 154 | }; | 
|  | 155 |  | 
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 156 | /// \brief Compare two Values for equality. | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 157 | inline bool operator==(const DebugLocEntry::Value &A, | 
|  | 158 | const DebugLocEntry::Value &B) { | 
|  | 159 | if (A.EntryKind != B.EntryKind) | 
|  | 160 | return false; | 
|  | 161 |  | 
| Adrian Prantl | 87b7eb9 | 2014-10-01 18:55:02 +0000 | [diff] [blame] | 162 | if (A.Expression != B.Expression) | 
|  | 163 | return false; | 
|  | 164 |  | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 165 | switch (A.EntryKind) { | 
|  | 166 | case DebugLocEntry::Value::E_Location: | 
|  | 167 | return A.Loc == B.Loc; | 
|  | 168 | case DebugLocEntry::Value::E_Integer: | 
|  | 169 | return A.Constant.Int == B.Constant.Int; | 
|  | 170 | case DebugLocEntry::Value::E_ConstantFP: | 
|  | 171 | return A.Constant.CFP == B.Constant.CFP; | 
|  | 172 | case DebugLocEntry::Value::E_ConstantInt: | 
|  | 173 | return A.Constant.CIP == B.Constant.CIP; | 
|  | 174 | } | 
|  | 175 | llvm_unreachable("unhandled EntryKind"); | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 176 | } | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 177 |  | 
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 178 | /// Compare two fragments based on their offset. | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 179 | inline bool operator<(const DebugLocEntry::Value &A, | 
|  | 180 | const DebugLocEntry::Value &B) { | 
| Adrian Prantl | 49797ca | 2016-12-22 05:27:12 +0000 | [diff] [blame] | 181 | return A.getExpression()->getFragmentInfo()->OffsetInBits < | 
|  | 182 | B.getExpression()->getFragmentInfo()->OffsetInBits; | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 183 | } | 
|  | 184 |  | 
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 185 | } | 
| Adrian Prantl | e8bde9f | 2014-08-11 22:52:56 +0000 | [diff] [blame] | 186 |  | 
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 187 | #endif |