| 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 | |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 24 | /// This struct describes location entries emitted in the .debug_loc |
| David Blaikie | 1275e4f | 2014-04-01 21:49:04 +0000 | [diff] [blame] | 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 | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 32 | /// 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 | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 109 | /// 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 | |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 115 | /// Attempt to merge this DebugLocEntry with Next and return |
| Adrian Prantl | e09ee3f | 2014-08-11 20:59:28 +0000 | [diff] [blame] | 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 | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 139 | // 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 | |
| Adrian Prantl | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 151 | /// 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 | 5f8f34e4 | 2018-05-01 15:54:18 +0000 | [diff] [blame] | 156 | /// 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 |