blob: d96479f434333ad39b7ec7cc4ed1a00fb46bb530 [file] [log] [blame]
Adrian Prantlb16d9eb2015-01-12 22:19:22 +00001//===-- llvm/CodeGen/DwarfExpression.cpp - Dwarf Debug Framework ----------===//
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//
10// This file contains support for writing dwarf debug info into asm files.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DwarfExpression.h"
Adrian Prantla4c30d62015-01-12 23:36:56 +000015#include "DwarfDebug.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000016#include "llvm/ADT/SmallBitVector.h"
Zachary Turner264b5d92017-06-07 03:48:56 +000017#include "llvm/BinaryFormat/Dwarf.h"
Adrian Prantla4c30d62015-01-12 23:36:56 +000018#include "llvm/CodeGen/AsmPrinter.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000019#include "llvm/Target/TargetMachine.h"
20#include "llvm/Target/TargetRegisterInfo.h"
21#include "llvm/Target/TargetSubtargetInfo.h"
22
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000023using namespace llvm;
24
Adrian Prantla63b8e82017-03-16 17:42:45 +000025void DwarfExpression::addReg(int DwarfReg, const char *Comment) {
Adrian Prantl6825fb62017-04-18 01:21:53 +000026 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
27 assert((LocationKind == Unknown || LocationKind == Register) &&
28 "location description already locked down");
29 LocationKind = Register;
30 if (DwarfReg < 32) {
31 emitOp(dwarf::DW_OP_reg0 + DwarfReg, Comment);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000032 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000033 emitOp(dwarf::DW_OP_regx, Comment);
34 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000035 }
36}
37
Adrian Prantla2719882017-03-22 17:19:55 +000038void DwarfExpression::addBReg(int DwarfReg, int Offset) {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000039 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
Adrian Prantl6825fb62017-04-18 01:21:53 +000040 assert(LocationKind != Register && "location description already locked down");
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000041 if (DwarfReg < 32) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000042 emitOp(dwarf::DW_OP_breg0 + DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000043 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000044 emitOp(dwarf::DW_OP_bregx);
45 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000046 }
Adrian Prantla63b8e82017-03-16 17:42:45 +000047 emitSigned(Offset);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000048}
49
Adrian Prantl80e188d2017-03-22 01:15:57 +000050void DwarfExpression::addFBReg(int Offset) {
51 emitOp(dwarf::DW_OP_fbreg);
52 emitSigned(Offset);
53}
54
Adrian Prantla63b8e82017-03-16 17:42:45 +000055void DwarfExpression::addOpPiece(unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000056 if (!SizeInBits)
57 return;
58
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000059 const unsigned SizeOfByte = 8;
60 if (OffsetInBits > 0 || SizeInBits % SizeOfByte) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000061 emitOp(dwarf::DW_OP_bit_piece);
62 emitUnsigned(SizeInBits);
63 emitUnsigned(OffsetInBits);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000064 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000065 emitOp(dwarf::DW_OP_piece);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000066 unsigned ByteSize = SizeInBits / SizeOfByte;
Adrian Prantla63b8e82017-03-16 17:42:45 +000067 emitUnsigned(ByteSize);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000068 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000069 this->OffsetInBits += SizeInBits;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000070}
71
Adrian Prantla63b8e82017-03-16 17:42:45 +000072void DwarfExpression::addShr(unsigned ShiftBy) {
73 emitOp(dwarf::DW_OP_constu);
74 emitUnsigned(ShiftBy);
75 emitOp(dwarf::DW_OP_shr);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000076}
77
Adrian Prantla63b8e82017-03-16 17:42:45 +000078void DwarfExpression::addAnd(unsigned Mask) {
79 emitOp(dwarf::DW_OP_constu);
80 emitUnsigned(Mask);
81 emitOp(dwarf::DW_OP_and);
Adrian Prantl981f03e2017-03-16 17:14:56 +000082}
83
Adrian Prantla63b8e82017-03-16 17:42:45 +000084bool DwarfExpression::addMachineReg(const TargetRegisterInfo &TRI,
Adrian Prantl5542da42016-12-22 06:10:41 +000085 unsigned MachineReg, unsigned MaxSize) {
Adrian Prantl80e188d2017-03-22 01:15:57 +000086 if (!TRI.isPhysicalRegister(MachineReg)) {
87 if (isFrameRegister(TRI, MachineReg)) {
88 DwarfRegs.push_back({-1, 0, nullptr});
89 return true;
90 }
Adrian Prantl40cb8192015-01-25 19:04:08 +000091 return false;
Adrian Prantl80e188d2017-03-22 01:15:57 +000092 }
Adrian Prantl40cb8192015-01-25 19:04:08 +000093
Adrian Prantl92da14b2015-03-02 22:02:33 +000094 int Reg = TRI.getDwarfRegNum(MachineReg, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000095
96 // If this is a valid register number, emit it.
97 if (Reg >= 0) {
Adrian Prantl80e188d2017-03-22 01:15:57 +000098 DwarfRegs.push_back({Reg, 0, nullptr});
Adrian Prantlad768c32015-01-14 01:01:28 +000099 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000100 }
101
102 // Walk up the super-register chain until we find a valid number.
Adrian Prantl941fa752016-12-05 18:04:47 +0000103 // For example, EAX on x86_64 is a 32-bit fragment of RAX with offset 0.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000104 for (MCSuperRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
105 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000106 if (Reg >= 0) {
Adrian Prantl92da14b2015-03-02 22:02:33 +0000107 unsigned Idx = TRI.getSubRegIndex(*SR, MachineReg);
108 unsigned Size = TRI.getSubRegIdxSize(Idx);
109 unsigned RegOffset = TRI.getSubRegIdxOffset(Idx);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000110 DwarfRegs.push_back({Reg, 0, "super-register"});
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000111 // Use a DW_OP_bit_piece to describe the sub-register.
112 setSubRegisterPiece(Size, RegOffset);
Adrian Prantlad768c32015-01-14 01:01:28 +0000113 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000114 }
115 }
116
117 // Otherwise, attempt to find a covering set of sub-register numbers.
118 // For example, Q0 on ARM is a composition of D0+D1.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000119 unsigned CurPos = 0;
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000120 // The size of the register in bits.
121 const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(MachineReg);
122 unsigned RegSize = TRI.getRegSizeInBits(*RC);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000123 // Keep track of the bits in the register we already emitted, so we
124 // can avoid emitting redundant aliasing subregs.
125 SmallBitVector Coverage(RegSize, false);
Adrian Prantl92da14b2015-03-02 22:02:33 +0000126 for (MCSubRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
127 unsigned Idx = TRI.getSubRegIndex(MachineReg, *SR);
128 unsigned Size = TRI.getSubRegIdxSize(Idx);
129 unsigned Offset = TRI.getSubRegIdxOffset(Idx);
130 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000131
132 // Intersection between the bits we already emitted and the bits
133 // covered by this subregister.
134 SmallBitVector Intersection(RegSize, false);
135 Intersection.set(Offset, Offset + Size);
136 Intersection ^= Coverage;
137
138 // If this sub-register has a DWARF number and we haven't covered
139 // its range, emit a DWARF piece for it.
140 if (Reg >= 0 && Intersection.any()) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000141 // Emit a piece for any gap in the coverage.
142 if (Offset > CurPos)
143 DwarfRegs.push_back({-1, Offset - CurPos, nullptr});
144 DwarfRegs.push_back(
145 {Reg, std::min<unsigned>(Size, MaxSize - Offset), "sub-register"});
Adrian Prantl5542da42016-12-22 06:10:41 +0000146 if (Offset >= MaxSize)
147 break;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000148
149 // Mark it as emitted.
150 Coverage.set(Offset, Offset + Size);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000151 CurPos = Offset + Size;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000152 }
153 }
154
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000155 return CurPos;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000156}
Adrian Prantl66f25952015-01-13 00:04:06 +0000157
Adrian Prantla63b8e82017-03-16 17:42:45 +0000158void DwarfExpression::addStackValue() {
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000159 if (DwarfVersion >= 4)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000160 emitOp(dwarf::DW_OP_stack_value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000161}
162
Adrian Prantla63b8e82017-03-16 17:42:45 +0000163void DwarfExpression::addSignedConstant(int64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000164 assert(LocationKind == Implicit || LocationKind == Unknown);
165 LocationKind = Implicit;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000166 emitOp(dwarf::DW_OP_consts);
167 emitSigned(Value);
Adrian Prantl66f25952015-01-13 00:04:06 +0000168}
169
Adrian Prantla63b8e82017-03-16 17:42:45 +0000170void DwarfExpression::addUnsignedConstant(uint64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000171 assert(LocationKind == Implicit || LocationKind == Unknown);
172 LocationKind = Implicit;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000173 emitOp(dwarf::DW_OP_constu);
174 emitUnsigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000175}
176
Adrian Prantla63b8e82017-03-16 17:42:45 +0000177void DwarfExpression::addUnsignedConstant(const APInt &Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000178 assert(LocationKind == Implicit || LocationKind == Unknown);
179 LocationKind = Implicit;
180
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000181 unsigned Size = Value.getBitWidth();
182 const uint64_t *Data = Value.getRawData();
183
184 // Chop it up into 64-bit pieces, because that's the maximum that
Adrian Prantla63b8e82017-03-16 17:42:45 +0000185 // addUnsignedConstant takes.
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000186 unsigned Offset = 0;
187 while (Offset < Size) {
Adrian Prantla63b8e82017-03-16 17:42:45 +0000188 addUnsignedConstant(*Data++);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000189 if (Offset == 0 && Size <= 64)
190 break;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000191 addStackValue();
192 addOpPiece(std::min(Size - Offset, 64u), Offset);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000193 Offset += 64;
194 }
Adrian Prantl66f25952015-01-13 00:04:06 +0000195}
Adrian Prantl092d9482015-01-13 23:39:11 +0000196
Adrian Prantlc12cee32017-04-19 23:42:25 +0000197bool DwarfExpression::addMachineRegExpression(const TargetRegisterInfo &TRI,
Adrian Prantl54286bd2016-11-02 16:12:20 +0000198 DIExpressionCursor &ExprCursor,
Adrian Prantlc12cee32017-04-19 23:42:25 +0000199 unsigned MachineReg,
Adrian Prantl941fa752016-12-05 18:04:47 +0000200 unsigned FragmentOffsetInBits) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000201 auto Fragment = ExprCursor.getFragmentInfo();
Adrian Prantldd215022017-04-25 19:40:53 +0000202 if (!addMachineReg(TRI, MachineReg, Fragment ? Fragment->SizeInBits : ~1U)) {
203 LocationKind = Unknown;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000204 return false;
Adrian Prantldd215022017-04-25 19:40:53 +0000205 }
Adrian Prantl531641a2015-01-22 00:00:59 +0000206
Adrian Prantl80e188d2017-03-22 01:15:57 +0000207 bool HasComplexExpression = false;
Adrian Prantl4dc03242017-03-21 17:14:30 +0000208 auto Op = ExprCursor.peek();
Adrian Prantl80e188d2017-03-22 01:15:57 +0000209 if (Op && Op->getOp() != dwarf::DW_OP_LLVM_fragment)
210 HasComplexExpression = true;
211
Adrian Prantl0498baa2017-03-22 01:16:01 +0000212 // If the register can only be described by a complex expression (i.e.,
213 // multiple subregisters) it doesn't safely compose with another complex
214 // expression. For example, it is not possible to apply a DW_OP_deref
215 // operation to multiple DW_OP_pieces.
216 if (HasComplexExpression && DwarfRegs.size() > 1) {
217 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000218 LocationKind = Unknown;
Adrian Prantl0498baa2017-03-22 01:16:01 +0000219 return false;
220 }
221
Adrian Prantl80e188d2017-03-22 01:15:57 +0000222 // Handle simple register locations.
Adrian Prantl6825fb62017-04-18 01:21:53 +0000223 if (LocationKind != Memory && !HasComplexExpression) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000224 for (auto &Reg : DwarfRegs) {
225 if (Reg.DwarfRegNo >= 0)
226 addReg(Reg.DwarfRegNo, Reg.Comment);
227 addOpPiece(Reg.Size);
228 }
229 DwarfRegs.clear();
230 return true;
231 }
232
Adrian Prantl6825fb62017-04-18 01:21:53 +0000233 // Don't emit locations that cannot be expressed without DW_OP_stack_value.
Adrian Prantlada10482017-04-20 20:42:33 +0000234 if (DwarfVersion < 4)
235 if (std::any_of(ExprCursor.begin(), ExprCursor.end(),
236 [](DIExpression::ExprOperand Op) -> bool {
237 return Op.getOp() == dwarf::DW_OP_stack_value;
238 })) {
239 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000240 LocationKind = Unknown;
Adrian Prantlada10482017-04-20 20:42:33 +0000241 return false;
242 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000243
Adrian Prantl80e188d2017-03-22 01:15:57 +0000244 assert(DwarfRegs.size() == 1);
245 auto Reg = DwarfRegs[0];
Adrian Prantl6825fb62017-04-18 01:21:53 +0000246 bool FBReg = isFrameRegister(TRI, MachineReg);
247 int SignedOffset = 0;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000248 assert(Reg.Size == 0 && "subregister has same size as superregister");
249
250 // Pattern-match combinations for which more efficient representations exist.
Adrian Prantl6825fb62017-04-18 01:21:53 +0000251 // [Reg, Offset, DW_OP_plus] --> [DW_OP_breg, Offset].
252 // [Reg, Offset, DW_OP_minus] --> [DW_OP_breg, -Offset].
253 // If Reg is a subregister we need to mask it out before subtracting.
254 if (Op && ((Op->getOp() == dwarf::DW_OP_plus) ||
255 (Op->getOp() == dwarf::DW_OP_minus && !SubRegisterSizeInBits))) {
256 int Offset = Op->getArg(0);
257 SignedOffset = (Op->getOp() == dwarf::DW_OP_plus) ? Offset : -Offset;
Adrian Prantl54286bd2016-11-02 16:12:20 +0000258 ExprCursor.take();
Adrian Prantl531641a2015-01-22 00:00:59 +0000259 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000260 if (FBReg)
261 addFBReg(SignedOffset);
262 else
263 addBReg(Reg.DwarfRegNo, SignedOffset);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000264 DwarfRegs.clear();
265 return true;
Adrian Prantl092d9482015-01-13 23:39:11 +0000266}
267
Adrian Prantl6825fb62017-04-18 01:21:53 +0000268/// Assuming a well-formed expression, match "DW_OP_deref* DW_OP_LLVM_fragment?".
269static bool isMemoryLocation(DIExpressionCursor ExprCursor) {
270 while (ExprCursor) {
271 auto Op = ExprCursor.take();
272 switch (Op->getOp()) {
273 case dwarf::DW_OP_deref:
274 case dwarf::DW_OP_LLVM_fragment:
275 break;
276 default:
277 return false;
278 }
279 }
280 return true;
281}
282
Adrian Prantla63b8e82017-03-16 17:42:45 +0000283void DwarfExpression::addExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000284 unsigned FragmentOffsetInBits) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000285 // If we need to mask out a subregister, do it now, unless the next
286 // operation would emit an OpPiece anyway.
287 auto N = ExprCursor.peek();
288 if (SubRegisterSizeInBits && N && (N->getOp() != dwarf::DW_OP_LLVM_fragment))
289 maskSubRegister();
290
Adrian Prantl54286bd2016-11-02 16:12:20 +0000291 while (ExprCursor) {
292 auto Op = ExprCursor.take();
293 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000294 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000295 unsigned SizeInBits = Op->getArg(1);
296 unsigned FragmentOffset = Op->getArg(0);
297 // The fragment offset must have already been adjusted by emitting an
298 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
299 // location.
300 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
301
Adrian Prantl6825fb62017-04-18 01:21:53 +0000302 // If addMachineReg already emitted DW_OP_piece operations to represent
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000303 // a super-register by splicing together sub-registers, subtract the size
304 // of the pieces that was already emitted.
305 SizeInBits -= OffsetInBits - FragmentOffset;
306
Adrian Prantl6825fb62017-04-18 01:21:53 +0000307 // If addMachineReg requested a DW_OP_bit_piece to stencil out a
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000308 // sub-register that is smaller than the current fragment's size, use it.
309 if (SubRegisterSizeInBits)
310 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000311
312 // Emit a DW_OP_stack_value for implicit location descriptions.
313 if (LocationKind == Implicit)
314 addStackValue();
315
316 // Emit the DW_OP_piece.
Adrian Prantla63b8e82017-03-16 17:42:45 +0000317 addOpPiece(SizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000318 setSubRegisterPiece(0, 0);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000319 // Reset the location description kind.
320 LocationKind = Unknown;
321 return;
Adrian Prantl092d9482015-01-13 23:39:11 +0000322 }
323 case dwarf::DW_OP_plus:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000324 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000325 emitOp(dwarf::DW_OP_plus_uconst);
326 emitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000327 break;
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000328 case dwarf::DW_OP_minus:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000329 assert(LocationKind != Register);
330 // There is no DW_OP_minus_uconst.
Adrian Prantla63b8e82017-03-16 17:42:45 +0000331 emitOp(dwarf::DW_OP_constu);
332 emitUnsigned(Op->getArg(0));
333 emitOp(dwarf::DW_OP_minus);
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000334 break;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000335 case dwarf::DW_OP_deref: {
336 assert(LocationKind != Register);
337 if (LocationKind != Memory && isMemoryLocation(ExprCursor))
338 // Turning this into a memory location description makes the deref
339 // implicit.
340 LocationKind = Memory;
341 else
342 emitOp(dwarf::DW_OP_deref);
Adrian Prantl092d9482015-01-13 23:39:11 +0000343 break;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000344 }
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000345 case dwarf::DW_OP_constu:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000346 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000347 emitOp(dwarf::DW_OP_constu);
348 emitUnsigned(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000349 break;
350 case dwarf::DW_OP_stack_value:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000351 LocationKind = Implicit;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000352 break;
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000353 case dwarf::DW_OP_swap:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000354 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000355 emitOp(dwarf::DW_OP_swap);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000356 break;
357 case dwarf::DW_OP_xderef:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000358 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000359 emitOp(dwarf::DW_OP_xderef);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000360 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000361 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000362 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000363 }
364 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000365
366 if (LocationKind == Implicit)
367 // Turn this into an implicit location description.
368 addStackValue();
Adrian Prantl092d9482015-01-13 23:39:11 +0000369}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000370
Adrian Prantla63b8e82017-03-16 17:42:45 +0000371/// add masking operations to stencil out a subregister.
Adrian Prantl981f03e2017-03-16 17:14:56 +0000372void DwarfExpression::maskSubRegister() {
373 assert(SubRegisterSizeInBits && "no subregister was registered");
374 if (SubRegisterOffsetInBits > 0)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000375 addShr(SubRegisterOffsetInBits);
Adrian Prantldc855222017-03-16 18:06:04 +0000376 uint64_t Mask = (1ULL << (uint64_t)SubRegisterSizeInBits) - 1ULL;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000377 addAnd(Mask);
Adrian Prantl981f03e2017-03-16 17:14:56 +0000378}
379
380
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000381void DwarfExpression::finalize() {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000382 assert(DwarfRegs.size() == 0 && "dwarf registers not emitted");
Adrian Prantl981f03e2017-03-16 17:14:56 +0000383 // Emit any outstanding DW_OP_piece operations to mask out subregisters.
384 if (SubRegisterSizeInBits == 0)
385 return;
386 // Don't emit a DW_OP_piece for a subregister at offset 0.
387 if (SubRegisterOffsetInBits == 0)
388 return;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000389 addOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000390}
391
392void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
393 if (!Expr || !Expr->isFragment())
394 return;
395
Adrian Prantl49797ca2016-12-22 05:27:12 +0000396 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000397 assert(FragmentOffset >= OffsetInBits &&
398 "overlapping or duplicate fragments");
399 if (FragmentOffset > OffsetInBits)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000400 addOpPiece(FragmentOffset - OffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000401 OffsetInBits = FragmentOffset;
402}