| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 1 | //===- llvm/CodeGen/DwarfExpression.h - Dwarf Compile Unit ------*- C++ -*-===// |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 2 | // |
| Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | // This file contains support for writing dwarf compile unit. |
| 10 | // |
| 11 | //===----------------------------------------------------------------------===// |
| 12 | |
| 13 | #ifndef LLVM_LIB_CODEGEN_ASMPRINTER_DWARFEXPRESSION_H |
| 14 | #define LLVM_LIB_CODEGEN_ASMPRINTER_DWARFEXPRESSION_H |
| 15 | |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/ArrayRef.h" |
| 17 | #include "llvm/ADT/None.h" |
| 18 | #include "llvm/ADT/Optional.h" |
| 19 | #include "llvm/ADT/SmallVector.h" |
| 20 | #include "llvm/IR/DebugInfoMetadata.h" |
| 21 | #include <cassert> |
| 22 | #include <cstdint> |
| 23 | #include <iterator> |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 24 | |
| 25 | namespace llvm { |
| 26 | |
| Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 27 | class AsmPrinter; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 28 | class APInt; |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 29 | class ByteStreamer; |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 30 | class DwarfCompileUnit; |
| Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 31 | class DIELoc; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 32 | class TargetRegisterInfo; |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 33 | |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 34 | /// Holds a DIExpression and keeps track of how many operands have been consumed |
| 35 | /// so far. |
| 36 | class DIExpressionCursor { |
| 37 | DIExpression::expr_op_iterator Start, End; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 38 | |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 39 | public: |
| 40 | DIExpressionCursor(const DIExpression *Expr) { |
| 41 | if (!Expr) { |
| 42 | assert(Start == End); |
| 43 | return; |
| 44 | } |
| 45 | Start = Expr->expr_op_begin(); |
| 46 | End = Expr->expr_op_end(); |
| 47 | } |
| 48 | |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 49 | DIExpressionCursor(ArrayRef<uint64_t> Expr) |
| 50 | : Start(Expr.begin()), End(Expr.end()) {} |
| 51 | |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 52 | DIExpressionCursor(const DIExpressionCursor &) = default; |
| Florian Hahn | ffc498d | 2017-06-14 13:14:38 +0000 | [diff] [blame] | 53 | |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 54 | /// Consume one operation. |
| 55 | Optional<DIExpression::ExprOperand> take() { |
| 56 | if (Start == End) |
| 57 | return None; |
| 58 | return *(Start++); |
| 59 | } |
| 60 | |
| 61 | /// Consume N operations. |
| 62 | void consume(unsigned N) { std::advance(Start, N); } |
| 63 | |
| 64 | /// Return the current operation. |
| 65 | Optional<DIExpression::ExprOperand> peek() const { |
| 66 | if (Start == End) |
| 67 | return None; |
| 68 | return *(Start); |
| 69 | } |
| 70 | |
| 71 | /// Return the next operation. |
| 72 | Optional<DIExpression::ExprOperand> peekNext() const { |
| 73 | if (Start == End) |
| 74 | return None; |
| 75 | |
| 76 | auto Next = Start.getNext(); |
| 77 | if (Next == End) |
| 78 | return None; |
| 79 | |
| 80 | return *Next; |
| 81 | } |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 82 | |
| Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 83 | /// Determine whether there are any operations left in this expression. |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 84 | operator bool() const { return Start != End; } |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 85 | |
| Adrian Prantl | ada1048 | 2017-04-20 20:42:33 +0000 | [diff] [blame] | 86 | DIExpression::expr_op_iterator begin() const { return Start; } |
| 87 | DIExpression::expr_op_iterator end() const { return End; } |
| Adrian Prantl | 5542da4 | 2016-12-22 06:10:41 +0000 | [diff] [blame] | 88 | |
| 89 | /// Retrieve the fragment information, if any. |
| 90 | Optional<DIExpression::FragmentInfo> getFragmentInfo() const { |
| 91 | return DIExpression::getFragmentInfo(Start, End); |
| 92 | } |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 93 | }; |
| 94 | |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 95 | /// Base class containing the logic for constructing DWARF expressions |
| 96 | /// independently of whether they are emitted into a DIE or into a .debug_loc |
| 97 | /// entry. |
| 98 | class DwarfExpression { |
| Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 99 | protected: |
| Adrian Prantl | 80e188d | 2017-03-22 01:15:57 +0000 | [diff] [blame] | 100 | /// Holds information about all subregisters comprising a register location. |
| 101 | struct Register { |
| 102 | int DwarfRegNo; |
| 103 | unsigned Size; |
| 104 | const char *Comment; |
| 105 | }; |
| 106 | |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 107 | DwarfCompileUnit &CU; |
| 108 | |
| Adrian Prantl | 80e188d | 2017-03-22 01:15:57 +0000 | [diff] [blame] | 109 | /// The register location, if any. |
| 110 | SmallVector<Register, 2> DwarfRegs; |
| 111 | |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 112 | /// Current Fragment Offset in Bits. |
| 113 | uint64_t OffsetInBits = 0; |
| 114 | |
| Fangrui Song | f78650a | 2018-07-30 19:41:25 +0000 | [diff] [blame] | 115 | /// Sometimes we need to add a DW_OP_bit_piece to describe a subregister. |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 116 | unsigned SubRegisterSizeInBits : 16; |
| 117 | unsigned SubRegisterOffsetInBits : 16; |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 118 | |
| Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 119 | /// The kind of location description being produced. |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 120 | enum { Unknown = 0, Register, Memory, Implicit }; |
| Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 121 | |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 122 | unsigned LocationKind : 3; |
| 123 | unsigned LocationFlags : 2; |
| 124 | unsigned DwarfVersion : 4; |
| 125 | |
| 126 | public: |
| 127 | bool isUnknownLocation() const { |
| 128 | return LocationKind == Unknown; |
| 129 | } |
| 130 | |
| 131 | bool isMemoryLocation() const { |
| 132 | return LocationKind == Memory; |
| 133 | } |
| 134 | |
| 135 | bool isRegisterLocation() const { |
| 136 | return LocationKind == Register; |
| 137 | } |
| 138 | |
| 139 | bool isImplicitLocation() const { |
| 140 | return LocationKind == Implicit; |
| 141 | } |
| 142 | |
| 143 | protected: |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 144 | /// Push a DW_OP_piece / DW_OP_bit_piece for emitting later, if one is needed |
| 145 | /// to represent a subregister. |
| 146 | void setSubRegisterPiece(unsigned SizeInBits, unsigned OffsetInBits) { |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 147 | assert(SizeInBits < 65536 && OffsetInBits < 65536); |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 148 | SubRegisterSizeInBits = SizeInBits; |
| 149 | SubRegisterOffsetInBits = OffsetInBits; |
| 150 | } |
| Adrian Prantl | a4c30d6 | 2015-01-12 23:36:56 +0000 | [diff] [blame] | 151 | |
| Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame] | 152 | /// Add masking operations to stencil out a subregister. |
| 153 | void maskSubRegister(); |
| 154 | |
| Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 155 | /// Output a dwarf operand and an optional assembler comment. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 156 | virtual void emitOp(uint8_t Op, const char *Comment = nullptr) = 0; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 157 | |
| Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 158 | /// Emit a raw signed value. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 159 | virtual void emitSigned(int64_t Value) = 0; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 160 | |
| Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 161 | /// Emit a raw unsigned value. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 162 | virtual void emitUnsigned(uint64_t Value) = 0; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 163 | |
| Markus Lavin | a475da3 | 2019-04-30 07:58:57 +0000 | [diff] [blame] | 164 | virtual void emitData1(uint8_t Value) = 0; |
| 165 | |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 166 | virtual void emitBaseTypeRef(uint64_t Idx) = 0; |
| 167 | |
| Jonas Devlieghere | 965b598 | 2018-09-05 10:18:36 +0000 | [diff] [blame] | 168 | /// Emit a normalized unsigned constant. |
| 169 | void emitConstu(uint64_t Value); |
| 170 | |
| Adrian Prantl | 172ab66 | 2015-01-13 23:11:07 +0000 | [diff] [blame] | 171 | /// Return whether the given machine register is the frame register in the |
| 172 | /// current function. |
| Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 173 | virtual bool isFrameRegister(const TargetRegisterInfo &TRI, unsigned MachineReg) = 0; |
| Adrian Prantl | 00dbc2a | 2015-01-12 22:19:26 +0000 | [diff] [blame] | 174 | |
| Adrian Prantl | 6825fb6 | 2017-04-18 01:21:53 +0000 | [diff] [blame] | 175 | /// Emit a DW_OP_reg operation. Note that this is only legal inside a DWARF |
| 176 | /// register location description. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 177 | void addReg(int DwarfReg, const char *Comment = nullptr); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 178 | |
| Adrian Prantl | a271988 | 2017-03-22 17:19:55 +0000 | [diff] [blame] | 179 | /// Emit a DW_OP_breg operation. |
| 180 | void addBReg(int DwarfReg, int Offset); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 181 | |
| Adrian Prantl | 80e188d | 2017-03-22 01:15:57 +0000 | [diff] [blame] | 182 | /// Emit DW_OP_fbreg <Offset>. |
| 183 | void addFBReg(int Offset); |
| Adrian Prantl | 956484b | 2017-03-20 21:35:09 +0000 | [diff] [blame] | 184 | |
| 185 | /// Emit a partial DWARF register operation. |
| 186 | /// |
| 187 | /// \param MachineReg The register number. |
| 188 | /// \param MaxSize If the register must be composed from |
| 189 | /// sub-registers this is an upper bound |
| 190 | /// for how many bits the emitted DW_OP_piece |
| 191 | /// may cover. |
| 192 | /// |
| 193 | /// If size and offset is zero an operation for the entire register is |
| 194 | /// emitted: Some targets do not provide a DWARF register number for every |
| 195 | /// register. If this is the case, this function will attempt to emit a DWARF |
| 196 | /// register by emitting a fragment of a super-register or by piecing together |
| 197 | /// multiple subregisters that alias the register. |
| 198 | /// |
| 199 | /// \return false if no DWARF register exists for MachineReg. |
| 200 | bool addMachineReg(const TargetRegisterInfo &TRI, unsigned MachineReg, |
| 201 | unsigned MaxSize = ~1U); |
| 202 | |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 203 | /// Emit a DW_OP_piece or DW_OP_bit_piece operation for a variable fragment. |
| 204 | /// \param OffsetInBits This is an optional offset into the location that |
| 205 | /// is at the top of the DWARF stack. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 206 | void addOpPiece(unsigned SizeInBits, unsigned OffsetInBits = 0); |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 207 | |
| Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame] | 208 | /// Emit a shift-right dwarf operation. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 209 | void addShr(unsigned ShiftBy); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 210 | |
| Adrian Prantl | 981f03e | 2017-03-16 17:14:56 +0000 | [diff] [blame] | 211 | /// Emit a bitwise and dwarf operation. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 212 | void addAnd(unsigned Mask); |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 213 | |
| Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 214 | /// Emit a DW_OP_stack_value, if supported. |
| 215 | /// |
| Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 216 | /// The proper way to describe a constant value is DW_OP_constu <const>, |
| 217 | /// DW_OP_stack_value. Unfortunately, DW_OP_stack_value was not available |
| 218 | /// until DWARF 4, so we will continue to generate DW_OP_constu <const> for |
| 219 | /// DWARF 2 and DWARF 3. Technically, this is incorrect since DW_OP_const |
| Matt Davis | 87b2268 | 2018-12-20 00:01:57 +0000 | [diff] [blame] | 220 | /// <const> actually describes a value at a constant address, not a constant |
| Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 221 | /// value. However, in the past there was no better way to describe a |
| 222 | /// constant value, so the producers and consumers started to rely on |
| 223 | /// heuristics to disambiguate the value vs. location status of the |
| 224 | /// expression. See PR21176 for more details. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 225 | void addStackValue(); |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 226 | |
| Adrian Prantl | 035862b | 2017-03-27 17:34:04 +0000 | [diff] [blame] | 227 | ~DwarfExpression() = default; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 228 | |
| Adrian Prantl | 52884b7 | 2017-03-20 21:34:19 +0000 | [diff] [blame] | 229 | public: |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 230 | DwarfExpression(unsigned DwarfVersion, DwarfCompileUnit &CU) |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 231 | : CU(CU), SubRegisterSizeInBits(0), SubRegisterOffsetInBits(0), |
| 232 | LocationKind(Unknown), LocationFlags(Unknown), |
| 233 | DwarfVersion(DwarfVersion) {} |
| Adrian Prantl | 52884b7 | 2017-03-20 21:34:19 +0000 | [diff] [blame] | 234 | |
| 235 | /// This needs to be called last to commit any pending changes. |
| 236 | void finalize(); |
| 237 | |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 238 | /// Emit a signed constant. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 239 | void addSignedConstant(int64_t Value); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 240 | |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 241 | /// Emit an unsigned constant. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 242 | void addUnsignedConstant(uint64_t Value); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 243 | |
| Adrian Prantl | 3e9c887 | 2016-04-08 00:38:37 +0000 | [diff] [blame] | 244 | /// Emit an unsigned constant. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 245 | void addUnsignedConstant(const APInt &Value); |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 246 | |
| Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 247 | /// Lock this down to become a memory location description. |
| 248 | void setMemoryLocationKind() { |
| Petar Jovanovic | ff47d83 | 2019-05-23 10:37:13 +0000 | [diff] [blame] | 249 | assert(isUnknownLocation()); |
| Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 250 | LocationKind = Memory; |
| 251 | } |
| 252 | |
| Adrian Prantl | f148d69 | 2016-11-02 16:20:37 +0000 | [diff] [blame] | 253 | /// Emit a machine register location. As an optimization this may also consume |
| 254 | /// the prefix of a DwarfExpression if a more efficient representation for |
| 255 | /// combining the register location and the first operation exists. |
| Duncan P. N. Exon Smith | 60635e3 | 2015-04-21 18:44:06 +0000 | [diff] [blame] | 256 | /// |
| Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 257 | /// \param FragmentOffsetInBits If this is one fragment out of a |
| 258 | /// fragmented |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 259 | /// location, this is the offset of the |
| 260 | /// fragment inside the entire variable. |
| 261 | /// \return false if no DWARF register exists |
| 262 | /// for MachineReg. |
| Adrian Prantl | c12cee3 | 2017-04-19 23:42:25 +0000 | [diff] [blame] | 263 | bool addMachineRegExpression(const TargetRegisterInfo &TRI, |
| 264 | DIExpressionCursor &Expr, unsigned MachineReg, |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 265 | unsigned FragmentOffsetInBits = 0); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 266 | |
| Adrian Prantl | 54286bd | 2016-11-02 16:12:20 +0000 | [diff] [blame] | 267 | /// Emit all remaining operations in the DIExpressionCursor. |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 268 | /// |
| 269 | /// \param FragmentOffsetInBits If this is one fragment out of multiple |
| 270 | /// locations, this is the offset of the |
| 271 | /// fragment inside the entire variable. |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 272 | void addExpression(DIExpressionCursor &&Expr, |
| Adrian Prantl | 941fa75 | 2016-12-05 18:04:47 +0000 | [diff] [blame] | 273 | unsigned FragmentOffsetInBits = 0); |
| Adrian Prantl | 8fafb8d | 2016-12-09 20:43:40 +0000 | [diff] [blame] | 274 | |
| 275 | /// If applicable, emit an empty DW_OP_piece / DW_OP_bit_piece to advance to |
| 276 | /// the fragment described by \c Expr. |
| 277 | void addFragmentOffset(const DIExpression *Expr); |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 278 | |
| 279 | void emitLegacySExt(unsigned FromBits); |
| 280 | void emitLegacyZExt(unsigned FromBits); |
| Adrian Prantl | 092d948 | 2015-01-13 23:39:11 +0000 | [diff] [blame] | 281 | }; |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 282 | |
| 283 | /// DwarfExpression implementation for .debug_loc entries. |
| Adrian Prantl | 035862b | 2017-03-27 17:34:04 +0000 | [diff] [blame] | 284 | class DebugLocDwarfExpression final : public DwarfExpression { |
| Adrian Prantl | 66f2595 | 2015-01-13 00:04:06 +0000 | [diff] [blame] | 285 | ByteStreamer &BS; |
| 286 | |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 287 | void emitOp(uint8_t Op, const char *Comment = nullptr) override; |
| 288 | void emitSigned(int64_t Value) override; |
| 289 | void emitUnsigned(uint64_t Value) override; |
| Markus Lavin | a475da3 | 2019-04-30 07:58:57 +0000 | [diff] [blame] | 290 | void emitData1(uint8_t Value) override; |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 291 | void emitBaseTypeRef(uint64_t Idx) override; |
| Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 292 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 293 | unsigned MachineReg) override; |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 294 | |
| Adrian Prantl | 52884b7 | 2017-03-20 21:34:19 +0000 | [diff] [blame] | 295 | public: |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 296 | DebugLocDwarfExpression(unsigned DwarfVersion, ByteStreamer &BS, DwarfCompileUnit &CU) |
| 297 | : DwarfExpression(DwarfVersion, CU), BS(BS) {} |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 298 | }; |
| Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 299 | |
| 300 | /// DwarfExpression implementation for singular DW_AT_location. |
| Adrian Prantl | 035862b | 2017-03-27 17:34:04 +0000 | [diff] [blame] | 301 | class DIEDwarfExpression final : public DwarfExpression { |
| Adrian Prantl | 92da14b | 2015-03-02 22:02:33 +0000 | [diff] [blame] | 302 | const AsmPrinter &AP; |
| Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 303 | DIELoc &DIE; |
| 304 | |
| Adrian Prantl | a63b8e8 | 2017-03-16 17:42:45 +0000 | [diff] [blame] | 305 | void emitOp(uint8_t Op, const char *Comment = nullptr) override; |
| 306 | void emitSigned(int64_t Value) override; |
| 307 | void emitUnsigned(uint64_t Value) override; |
| Markus Lavin | a475da3 | 2019-04-30 07:58:57 +0000 | [diff] [blame] | 308 | void emitData1(uint8_t Value) override; |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 309 | void emitBaseTypeRef(uint64_t Idx) override; |
| Peter Collingbourne | 96c9ae6 | 2016-05-20 19:35:17 +0000 | [diff] [blame] | 310 | bool isFrameRegister(const TargetRegisterInfo &TRI, |
| 311 | unsigned MachineReg) override; |
| Adrian Prantl | 52884b7 | 2017-03-20 21:34:19 +0000 | [diff] [blame] | 312 | public: |
| Markus Lavin | b86ce21 | 2019-03-19 13:16:28 +0000 | [diff] [blame] | 313 | DIEDwarfExpression(const AsmPrinter &AP, DwarfCompileUnit &CU, DIELoc &DIE); |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 314 | |
| Adrian Prantl | bceaaa9 | 2016-12-20 02:09:43 +0000 | [diff] [blame] | 315 | DIELoc *finalize() { |
| 316 | DwarfExpression::finalize(); |
| 317 | return &DIE; |
| 318 | } |
| Adrian Prantl | 658676c | 2015-01-14 01:01:22 +0000 | [diff] [blame] | 319 | }; |
| Adrian Prantl | b16d9eb | 2015-01-12 22:19:22 +0000 | [diff] [blame] | 320 | |
| Eugene Zelenko | 6e07bfd | 2017-08-17 21:26:39 +0000 | [diff] [blame] | 321 | } // end namespace llvm |
| 322 | |
| 323 | #endif // LLVM_LIB_CODEGEN_ASMPRINTER_DWARFEXPRESSION_H |