blob: f8ffc438f73b3b187bd438b9e8ef97613612bef8 [file] [log] [blame]
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +00001//===- llvm/CodeGen/DwarfExpression.cpp - Dwarf Debug Framework -----------===//
Adrian Prantlb16d9eb2015-01-12 22:19:22 +00002//
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"
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +000015#include "llvm/ADT/APInt.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"
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +000018#include "llvm/IR/DebugInfoMetadata.h"
19#include "llvm/Support/ErrorHandling.h"
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000020#include "llvm/Target/TargetRegisterInfo.h"
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +000021#include <algorithm>
22#include <cassert>
23#include <cstdint>
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000024
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000025using namespace llvm;
26
Adrian Prantla63b8e82017-03-16 17:42:45 +000027void DwarfExpression::addReg(int DwarfReg, const char *Comment) {
Adrian Prantl6825fb62017-04-18 01:21:53 +000028 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
29 assert((LocationKind == Unknown || LocationKind == Register) &&
30 "location description already locked down");
31 LocationKind = Register;
32 if (DwarfReg < 32) {
33 emitOp(dwarf::DW_OP_reg0 + DwarfReg, Comment);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000034 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000035 emitOp(dwarf::DW_OP_regx, Comment);
36 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000037 }
38}
39
Adrian Prantla2719882017-03-22 17:19:55 +000040void DwarfExpression::addBReg(int DwarfReg, int Offset) {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000041 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
Adrian Prantl6825fb62017-04-18 01:21:53 +000042 assert(LocationKind != Register && "location description already locked down");
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000043 if (DwarfReg < 32) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000044 emitOp(dwarf::DW_OP_breg0 + DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000045 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000046 emitOp(dwarf::DW_OP_bregx);
47 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000048 }
Adrian Prantla63b8e82017-03-16 17:42:45 +000049 emitSigned(Offset);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000050}
51
Adrian Prantl80e188d2017-03-22 01:15:57 +000052void DwarfExpression::addFBReg(int Offset) {
53 emitOp(dwarf::DW_OP_fbreg);
54 emitSigned(Offset);
55}
56
Adrian Prantla63b8e82017-03-16 17:42:45 +000057void DwarfExpression::addOpPiece(unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000058 if (!SizeInBits)
59 return;
60
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000061 const unsigned SizeOfByte = 8;
62 if (OffsetInBits > 0 || SizeInBits % SizeOfByte) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000063 emitOp(dwarf::DW_OP_bit_piece);
64 emitUnsigned(SizeInBits);
65 emitUnsigned(OffsetInBits);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000066 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000067 emitOp(dwarf::DW_OP_piece);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000068 unsigned ByteSize = SizeInBits / SizeOfByte;
Adrian Prantla63b8e82017-03-16 17:42:45 +000069 emitUnsigned(ByteSize);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000070 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000071 this->OffsetInBits += SizeInBits;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000072}
73
Adrian Prantla63b8e82017-03-16 17:42:45 +000074void DwarfExpression::addShr(unsigned ShiftBy) {
75 emitOp(dwarf::DW_OP_constu);
76 emitUnsigned(ShiftBy);
77 emitOp(dwarf::DW_OP_shr);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000078}
79
Adrian Prantla63b8e82017-03-16 17:42:45 +000080void DwarfExpression::addAnd(unsigned Mask) {
81 emitOp(dwarf::DW_OP_constu);
82 emitUnsigned(Mask);
83 emitOp(dwarf::DW_OP_and);
Adrian Prantl981f03e2017-03-16 17:14:56 +000084}
85
Adrian Prantla63b8e82017-03-16 17:42:45 +000086bool DwarfExpression::addMachineReg(const TargetRegisterInfo &TRI,
Adrian Prantl5542da42016-12-22 06:10:41 +000087 unsigned MachineReg, unsigned MaxSize) {
Adrian Prantl80e188d2017-03-22 01:15:57 +000088 if (!TRI.isPhysicalRegister(MachineReg)) {
89 if (isFrameRegister(TRI, MachineReg)) {
90 DwarfRegs.push_back({-1, 0, nullptr});
91 return true;
92 }
Adrian Prantl40cb8192015-01-25 19:04:08 +000093 return false;
Adrian Prantl80e188d2017-03-22 01:15:57 +000094 }
Adrian Prantl40cb8192015-01-25 19:04:08 +000095
Adrian Prantl92da14b2015-03-02 22:02:33 +000096 int Reg = TRI.getDwarfRegNum(MachineReg, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000097
98 // If this is a valid register number, emit it.
99 if (Reg >= 0) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000100 DwarfRegs.push_back({Reg, 0, nullptr});
Adrian Prantlad768c32015-01-14 01:01:28 +0000101 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000102 }
103
104 // Walk up the super-register chain until we find a valid number.
Adrian Prantl941fa752016-12-05 18:04:47 +0000105 // For example, EAX on x86_64 is a 32-bit fragment of RAX with offset 0.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000106 for (MCSuperRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
107 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000108 if (Reg >= 0) {
Adrian Prantl92da14b2015-03-02 22:02:33 +0000109 unsigned Idx = TRI.getSubRegIndex(*SR, MachineReg);
110 unsigned Size = TRI.getSubRegIdxSize(Idx);
111 unsigned RegOffset = TRI.getSubRegIdxOffset(Idx);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000112 DwarfRegs.push_back({Reg, 0, "super-register"});
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000113 // Use a DW_OP_bit_piece to describe the sub-register.
114 setSubRegisterPiece(Size, RegOffset);
Adrian Prantlad768c32015-01-14 01:01:28 +0000115 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000116 }
117 }
118
119 // Otherwise, attempt to find a covering set of sub-register numbers.
120 // For example, Q0 on ARM is a composition of D0+D1.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000121 unsigned CurPos = 0;
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000122 // The size of the register in bits.
123 const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(MachineReg);
124 unsigned RegSize = TRI.getRegSizeInBits(*RC);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000125 // Keep track of the bits in the register we already emitted, so we
126 // can avoid emitting redundant aliasing subregs.
127 SmallBitVector Coverage(RegSize, false);
Adrian Prantl92da14b2015-03-02 22:02:33 +0000128 for (MCSubRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
129 unsigned Idx = TRI.getSubRegIndex(MachineReg, *SR);
130 unsigned Size = TRI.getSubRegIdxSize(Idx);
131 unsigned Offset = TRI.getSubRegIdxOffset(Idx);
132 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000133
134 // Intersection between the bits we already emitted and the bits
135 // covered by this subregister.
136 SmallBitVector Intersection(RegSize, false);
137 Intersection.set(Offset, Offset + Size);
138 Intersection ^= Coverage;
139
140 // If this sub-register has a DWARF number and we haven't covered
141 // its range, emit a DWARF piece for it.
142 if (Reg >= 0 && Intersection.any()) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000143 // Emit a piece for any gap in the coverage.
144 if (Offset > CurPos)
145 DwarfRegs.push_back({-1, Offset - CurPos, nullptr});
146 DwarfRegs.push_back(
147 {Reg, std::min<unsigned>(Size, MaxSize - Offset), "sub-register"});
Adrian Prantl5542da42016-12-22 06:10:41 +0000148 if (Offset >= MaxSize)
NAKAMURA Takumia1e97a72017-08-28 06:47:47 +0000149 break;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000150
151 // Mark it as emitted.
152 Coverage.set(Offset, Offset + Size);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000153 CurPos = Offset + Size;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000154 }
155 }
156
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000157 return CurPos;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000158}
Adrian Prantl66f25952015-01-13 00:04:06 +0000159
Adrian Prantla63b8e82017-03-16 17:42:45 +0000160void DwarfExpression::addStackValue() {
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000161 if (DwarfVersion >= 4)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000162 emitOp(dwarf::DW_OP_stack_value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000163}
164
Adrian Prantla63b8e82017-03-16 17:42:45 +0000165void DwarfExpression::addSignedConstant(int64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000166 assert(LocationKind == Implicit || LocationKind == Unknown);
167 LocationKind = Implicit;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000168 emitOp(dwarf::DW_OP_consts);
169 emitSigned(Value);
Adrian Prantl66f25952015-01-13 00:04:06 +0000170}
171
Adrian Prantla63b8e82017-03-16 17:42:45 +0000172void DwarfExpression::addUnsignedConstant(uint64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000173 assert(LocationKind == Implicit || LocationKind == Unknown);
174 LocationKind = Implicit;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000175 emitOp(dwarf::DW_OP_constu);
176 emitUnsigned(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000177}
178
Adrian Prantla63b8e82017-03-16 17:42:45 +0000179void DwarfExpression::addUnsignedConstant(const APInt &Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000180 assert(LocationKind == Implicit || LocationKind == Unknown);
181 LocationKind = Implicit;
182
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000183 unsigned Size = Value.getBitWidth();
184 const uint64_t *Data = Value.getRawData();
185
186 // Chop it up into 64-bit pieces, because that's the maximum that
Adrian Prantla63b8e82017-03-16 17:42:45 +0000187 // addUnsignedConstant takes.
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000188 unsigned Offset = 0;
189 while (Offset < Size) {
Adrian Prantla63b8e82017-03-16 17:42:45 +0000190 addUnsignedConstant(*Data++);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000191 if (Offset == 0 && Size <= 64)
192 break;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000193 addStackValue();
194 addOpPiece(std::min(Size - Offset, 64u), Offset);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000195 Offset += 64;
196 }
Adrian Prantl66f25952015-01-13 00:04:06 +0000197}
Adrian Prantl092d9482015-01-13 23:39:11 +0000198
Adrian Prantlc12cee32017-04-19 23:42:25 +0000199bool DwarfExpression::addMachineRegExpression(const TargetRegisterInfo &TRI,
Adrian Prantl54286bd2016-11-02 16:12:20 +0000200 DIExpressionCursor &ExprCursor,
Adrian Prantlc12cee32017-04-19 23:42:25 +0000201 unsigned MachineReg,
Adrian Prantl941fa752016-12-05 18:04:47 +0000202 unsigned FragmentOffsetInBits) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000203 auto Fragment = ExprCursor.getFragmentInfo();
Adrian Prantldd215022017-04-25 19:40:53 +0000204 if (!addMachineReg(TRI, MachineReg, Fragment ? Fragment->SizeInBits : ~1U)) {
205 LocationKind = Unknown;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000206 return false;
Adrian Prantldd215022017-04-25 19:40:53 +0000207 }
Adrian Prantl531641a2015-01-22 00:00:59 +0000208
Adrian Prantl80e188d2017-03-22 01:15:57 +0000209 bool HasComplexExpression = false;
Adrian Prantl4dc03242017-03-21 17:14:30 +0000210 auto Op = ExprCursor.peek();
Adrian Prantl80e188d2017-03-22 01:15:57 +0000211 if (Op && Op->getOp() != dwarf::DW_OP_LLVM_fragment)
212 HasComplexExpression = true;
213
Adrian Prantl0498baa2017-03-22 01:16:01 +0000214 // If the register can only be described by a complex expression (i.e.,
215 // multiple subregisters) it doesn't safely compose with another complex
216 // expression. For example, it is not possible to apply a DW_OP_deref
217 // operation to multiple DW_OP_pieces.
218 if (HasComplexExpression && DwarfRegs.size() > 1) {
219 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000220 LocationKind = Unknown;
Adrian Prantl0498baa2017-03-22 01:16:01 +0000221 return false;
222 }
223
Adrian Prantl80e188d2017-03-22 01:15:57 +0000224 // Handle simple register locations.
Adrian Prantl6825fb62017-04-18 01:21:53 +0000225 if (LocationKind != Memory && !HasComplexExpression) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000226 for (auto &Reg : DwarfRegs) {
227 if (Reg.DwarfRegNo >= 0)
228 addReg(Reg.DwarfRegNo, Reg.Comment);
229 addOpPiece(Reg.Size);
230 }
231 DwarfRegs.clear();
232 return true;
233 }
234
Adrian Prantl6825fb62017-04-18 01:21:53 +0000235 // Don't emit locations that cannot be expressed without DW_OP_stack_value.
Adrian Prantlada10482017-04-20 20:42:33 +0000236 if (DwarfVersion < 4)
237 if (std::any_of(ExprCursor.begin(), ExprCursor.end(),
238 [](DIExpression::ExprOperand Op) -> bool {
239 return Op.getOp() == dwarf::DW_OP_stack_value;
240 })) {
241 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000242 LocationKind = Unknown;
Adrian Prantlada10482017-04-20 20:42:33 +0000243 return false;
244 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000245
Adrian Prantl80e188d2017-03-22 01:15:57 +0000246 assert(DwarfRegs.size() == 1);
247 auto Reg = DwarfRegs[0];
Adrian Prantl6825fb62017-04-18 01:21:53 +0000248 bool FBReg = isFrameRegister(TRI, MachineReg);
249 int SignedOffset = 0;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000250 assert(Reg.Size == 0 && "subregister has same size as superregister");
251
252 // Pattern-match combinations for which more efficient representations exist.
Florian Hahnc9c403c2017-06-13 16:54:44 +0000253 // [Reg, DW_OP_plus_uconst, Offset] --> [DW_OP_breg, Offset].
254 if (Op && (Op->getOp() == dwarf::DW_OP_plus_uconst)) {
255 SignedOffset = Op->getArg(0);
256 ExprCursor.take();
257 }
258
Florian Hahnffc498d2017-06-14 13:14:38 +0000259 // [Reg, DW_OP_constu, Offset, DW_OP_plus] --> [DW_OP_breg, Offset]
260 // [Reg, DW_OP_constu, Offset, DW_OP_minus] --> [DW_OP_breg,-Offset]
Adrian Prantl6825fb62017-04-18 01:21:53 +0000261 // If Reg is a subregister we need to mask it out before subtracting.
Florian Hahnffc498d2017-06-14 13:14:38 +0000262 if (Op && Op->getOp() == dwarf::DW_OP_constu) {
263 auto N = ExprCursor.peekNext();
264 if (N && (N->getOp() == dwarf::DW_OP_plus ||
265 (N->getOp() == dwarf::DW_OP_minus && !SubRegisterSizeInBits))) {
266 int Offset = Op->getArg(0);
267 SignedOffset = (N->getOp() == dwarf::DW_OP_minus) ? -Offset : Offset;
268 ExprCursor.consume(2);
269 }
Adrian Prantl531641a2015-01-22 00:00:59 +0000270 }
Florian Hahnffc498d2017-06-14 13:14:38 +0000271
Adrian Prantl6825fb62017-04-18 01:21:53 +0000272 if (FBReg)
273 addFBReg(SignedOffset);
274 else
275 addBReg(Reg.DwarfRegNo, SignedOffset);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000276 DwarfRegs.clear();
277 return true;
Adrian Prantl092d9482015-01-13 23:39:11 +0000278}
279
Adrian Prantl6825fb62017-04-18 01:21:53 +0000280/// Assuming a well-formed expression, match "DW_OP_deref* DW_OP_LLVM_fragment?".
281static bool isMemoryLocation(DIExpressionCursor ExprCursor) {
282 while (ExprCursor) {
283 auto Op = ExprCursor.take();
284 switch (Op->getOp()) {
285 case dwarf::DW_OP_deref:
286 case dwarf::DW_OP_LLVM_fragment:
287 break;
288 default:
289 return false;
290 }
291 }
292 return true;
293}
294
Adrian Prantla63b8e82017-03-16 17:42:45 +0000295void DwarfExpression::addExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000296 unsigned FragmentOffsetInBits) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000297 // If we need to mask out a subregister, do it now, unless the next
298 // operation would emit an OpPiece anyway.
299 auto N = ExprCursor.peek();
300 if (SubRegisterSizeInBits && N && (N->getOp() != dwarf::DW_OP_LLVM_fragment))
301 maskSubRegister();
302
Adrian Prantl54286bd2016-11-02 16:12:20 +0000303 while (ExprCursor) {
304 auto Op = ExprCursor.take();
305 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000306 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000307 unsigned SizeInBits = Op->getArg(1);
308 unsigned FragmentOffset = Op->getArg(0);
309 // The fragment offset must have already been adjusted by emitting an
310 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
311 // location.
312 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
313
Adrian Prantl6825fb62017-04-18 01:21:53 +0000314 // If addMachineReg already emitted DW_OP_piece operations to represent
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000315 // a super-register by splicing together sub-registers, subtract the size
316 // of the pieces that was already emitted.
317 SizeInBits -= OffsetInBits - FragmentOffset;
318
Adrian Prantl6825fb62017-04-18 01:21:53 +0000319 // If addMachineReg requested a DW_OP_bit_piece to stencil out a
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000320 // sub-register that is smaller than the current fragment's size, use it.
321 if (SubRegisterSizeInBits)
322 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000323
324 // Emit a DW_OP_stack_value for implicit location descriptions.
325 if (LocationKind == Implicit)
326 addStackValue();
327
328 // Emit the DW_OP_piece.
Adrian Prantla63b8e82017-03-16 17:42:45 +0000329 addOpPiece(SizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000330 setSubRegisterPiece(0, 0);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000331 // Reset the location description kind.
332 LocationKind = Unknown;
333 return;
Adrian Prantl092d9482015-01-13 23:39:11 +0000334 }
Florian Hahnc9c403c2017-06-13 16:54:44 +0000335 case dwarf::DW_OP_plus_uconst:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000336 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000337 emitOp(dwarf::DW_OP_plus_uconst);
338 emitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000339 break;
Florian Hahnffc498d2017-06-14 13:14:38 +0000340 case dwarf::DW_OP_plus:
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000341 case dwarf::DW_OP_minus:
Florian Hahnffc498d2017-06-14 13:14:38 +0000342 emitOp(Op->getOp());
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000343 break;
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +0000344 case dwarf::DW_OP_deref:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000345 assert(LocationKind != Register);
346 if (LocationKind != Memory && isMemoryLocation(ExprCursor))
347 // Turning this into a memory location description makes the deref
348 // implicit.
349 LocationKind = Memory;
350 else
351 emitOp(dwarf::DW_OP_deref);
Adrian Prantl092d9482015-01-13 23:39:11 +0000352 break;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000353 case dwarf::DW_OP_constu:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000354 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000355 emitOp(dwarf::DW_OP_constu);
356 emitUnsigned(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000357 break;
358 case dwarf::DW_OP_stack_value:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000359 LocationKind = Implicit;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000360 break;
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000361 case dwarf::DW_OP_swap:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000362 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000363 emitOp(dwarf::DW_OP_swap);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000364 break;
365 case dwarf::DW_OP_xderef:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000366 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000367 emitOp(dwarf::DW_OP_xderef);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000368 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000369 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000370 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000371 }
372 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000373
374 if (LocationKind == Implicit)
375 // Turn this into an implicit location description.
376 addStackValue();
Adrian Prantl092d9482015-01-13 23:39:11 +0000377}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000378
Adrian Prantla63b8e82017-03-16 17:42:45 +0000379/// add masking operations to stencil out a subregister.
Adrian Prantl981f03e2017-03-16 17:14:56 +0000380void DwarfExpression::maskSubRegister() {
381 assert(SubRegisterSizeInBits && "no subregister was registered");
382 if (SubRegisterOffsetInBits > 0)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000383 addShr(SubRegisterOffsetInBits);
Adrian Prantldc855222017-03-16 18:06:04 +0000384 uint64_t Mask = (1ULL << (uint64_t)SubRegisterSizeInBits) - 1ULL;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000385 addAnd(Mask);
Adrian Prantl981f03e2017-03-16 17:14:56 +0000386}
387
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000388void DwarfExpression::finalize() {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000389 assert(DwarfRegs.size() == 0 && "dwarf registers not emitted");
Adrian Prantl981f03e2017-03-16 17:14:56 +0000390 // Emit any outstanding DW_OP_piece operations to mask out subregisters.
391 if (SubRegisterSizeInBits == 0)
392 return;
393 // Don't emit a DW_OP_piece for a subregister at offset 0.
394 if (SubRegisterOffsetInBits == 0)
395 return;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000396 addOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000397}
398
399void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
400 if (!Expr || !Expr->isFragment())
401 return;
402
Adrian Prantl49797ca2016-12-22 05:27:12 +0000403 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000404 assert(FragmentOffset >= OffsetInBits &&
405 "overlapping or duplicate fragments");
406 if (FragmentOffset > OffsetInBits)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000407 addOpPiece(FragmentOffset - OffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000408 OffsetInBits = FragmentOffset;
409}