blob: 1235c149005743dc93dc29c85ff769c23b6622cc [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//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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 Prantlb16d9eb2015-01-12 22:19:22 +00006//
7//===----------------------------------------------------------------------===//
8//
9// This file contains support for writing dwarf debug info into asm files.
10//
11//===----------------------------------------------------------------------===//
12
13#include "DwarfExpression.h"
Markus Lavinb86ce212019-03-19 13:16:28 +000014#include "DwarfCompileUnit.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"
David Blaikieb3bde2e2017-11-17 01:07:10 +000018#include "llvm/CodeGen/TargetRegisterInfo.h"
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +000019#include "llvm/IR/DebugInfoMetadata.h"
20#include "llvm/Support/ErrorHandling.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
Jonas Devlieghere965b5982018-09-05 10:18:36 +000027void DwarfExpression::emitConstu(uint64_t Value) {
28 if (Value < 32)
29 emitOp(dwarf::DW_OP_lit0 + Value);
30 else if (Value == std::numeric_limits<uint64_t>::max()) {
31 // Only do this for 64-bit values as the DWARF expression stack uses
32 // target-address-size values.
33 emitOp(dwarf::DW_OP_lit0);
34 emitOp(dwarf::DW_OP_not);
35 } else {
36 emitOp(dwarf::DW_OP_constu);
37 emitUnsigned(Value);
38 }
39}
40
Adrian Prantla63b8e82017-03-16 17:42:45 +000041void DwarfExpression::addReg(int DwarfReg, const char *Comment) {
Adrian Prantl6825fb62017-04-18 01:21:53 +000042 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
43 assert((LocationKind == Unknown || LocationKind == Register) &&
44 "location description already locked down");
45 LocationKind = Register;
46 if (DwarfReg < 32) {
47 emitOp(dwarf::DW_OP_reg0 + DwarfReg, Comment);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000048 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000049 emitOp(dwarf::DW_OP_regx, Comment);
50 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000051 }
52}
53
Adrian Prantla2719882017-03-22 17:19:55 +000054void DwarfExpression::addBReg(int DwarfReg, int Offset) {
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000055 assert(DwarfReg >= 0 && "invalid negative dwarf register number");
Adrian Prantl6825fb62017-04-18 01:21:53 +000056 assert(LocationKind != Register && "location description already locked down");
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000057 if (DwarfReg < 32) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000058 emitOp(dwarf::DW_OP_breg0 + DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000059 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000060 emitOp(dwarf::DW_OP_bregx);
61 emitUnsigned(DwarfReg);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000062 }
Adrian Prantla63b8e82017-03-16 17:42:45 +000063 emitSigned(Offset);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000064}
65
Adrian Prantl80e188d2017-03-22 01:15:57 +000066void DwarfExpression::addFBReg(int Offset) {
67 emitOp(dwarf::DW_OP_fbreg);
68 emitSigned(Offset);
69}
70
Adrian Prantla63b8e82017-03-16 17:42:45 +000071void DwarfExpression::addOpPiece(unsigned SizeInBits, unsigned OffsetInBits) {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000072 if (!SizeInBits)
73 return;
74
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000075 const unsigned SizeOfByte = 8;
76 if (OffsetInBits > 0 || SizeInBits % SizeOfByte) {
Adrian Prantla63b8e82017-03-16 17:42:45 +000077 emitOp(dwarf::DW_OP_bit_piece);
78 emitUnsigned(SizeInBits);
79 emitUnsigned(OffsetInBits);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000080 } else {
Adrian Prantla63b8e82017-03-16 17:42:45 +000081 emitOp(dwarf::DW_OP_piece);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000082 unsigned ByteSize = SizeInBits / SizeOfByte;
Adrian Prantla63b8e82017-03-16 17:42:45 +000083 emitUnsigned(ByteSize);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000084 }
Adrian Prantl8fafb8d2016-12-09 20:43:40 +000085 this->OffsetInBits += SizeInBits;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000086}
87
Adrian Prantla63b8e82017-03-16 17:42:45 +000088void DwarfExpression::addShr(unsigned ShiftBy) {
Jonas Devlieghere965b5982018-09-05 10:18:36 +000089 emitConstu(ShiftBy);
Adrian Prantla63b8e82017-03-16 17:42:45 +000090 emitOp(dwarf::DW_OP_shr);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +000091}
92
Adrian Prantla63b8e82017-03-16 17:42:45 +000093void DwarfExpression::addAnd(unsigned Mask) {
Jonas Devlieghere965b5982018-09-05 10:18:36 +000094 emitConstu(Mask);
Adrian Prantla63b8e82017-03-16 17:42:45 +000095 emitOp(dwarf::DW_OP_and);
Adrian Prantl981f03e2017-03-16 17:14:56 +000096}
97
Adrian Prantla63b8e82017-03-16 17:42:45 +000098bool DwarfExpression::addMachineReg(const TargetRegisterInfo &TRI,
Adrian Prantl5542da42016-12-22 06:10:41 +000099 unsigned MachineReg, unsigned MaxSize) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000100 if (!TRI.isPhysicalRegister(MachineReg)) {
101 if (isFrameRegister(TRI, MachineReg)) {
102 DwarfRegs.push_back({-1, 0, nullptr});
103 return true;
104 }
Adrian Prantl40cb8192015-01-25 19:04:08 +0000105 return false;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000106 }
Adrian Prantl40cb8192015-01-25 19:04:08 +0000107
Adrian Prantl92da14b2015-03-02 22:02:33 +0000108 int Reg = TRI.getDwarfRegNum(MachineReg, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000109
110 // If this is a valid register number, emit it.
111 if (Reg >= 0) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000112 DwarfRegs.push_back({Reg, 0, nullptr});
Adrian Prantlad768c32015-01-14 01:01:28 +0000113 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000114 }
115
116 // Walk up the super-register chain until we find a valid number.
Adrian Prantl941fa752016-12-05 18:04:47 +0000117 // For example, EAX on x86_64 is a 32-bit fragment of RAX with offset 0.
Adrian Prantl92da14b2015-03-02 22:02:33 +0000118 for (MCSuperRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
119 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000120 if (Reg >= 0) {
Adrian Prantl92da14b2015-03-02 22:02:33 +0000121 unsigned Idx = TRI.getSubRegIndex(*SR, MachineReg);
122 unsigned Size = TRI.getSubRegIdxSize(Idx);
123 unsigned RegOffset = TRI.getSubRegIdxOffset(Idx);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000124 DwarfRegs.push_back({Reg, 0, "super-register"});
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000125 // Use a DW_OP_bit_piece to describe the sub-register.
126 setSubRegisterPiece(Size, RegOffset);
Adrian Prantlad768c32015-01-14 01:01:28 +0000127 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000128 }
129 }
130
131 // Otherwise, attempt to find a covering set of sub-register numbers.
132 // For example, Q0 on ARM is a composition of D0+D1.
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000133 unsigned CurPos = 0;
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000134 // The size of the register in bits.
135 const TargetRegisterClass *RC = TRI.getMinimalPhysRegClass(MachineReg);
136 unsigned RegSize = TRI.getRegSizeInBits(*RC);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000137 // Keep track of the bits in the register we already emitted, so we
Adrian Prantl984251c2018-02-13 19:54:00 +0000138 // can avoid emitting redundant aliasing subregs. Because this is
139 // just doing a greedy scan of all subregisters, it is possible that
140 // this doesn't find a combination of subregisters that fully cover
141 // the register (even though one may exist).
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000142 SmallBitVector Coverage(RegSize, false);
Adrian Prantl92da14b2015-03-02 22:02:33 +0000143 for (MCSubRegIterator SR(MachineReg, &TRI); SR.isValid(); ++SR) {
144 unsigned Idx = TRI.getSubRegIndex(MachineReg, *SR);
145 unsigned Size = TRI.getSubRegIdxSize(Idx);
146 unsigned Offset = TRI.getSubRegIdxOffset(Idx);
147 Reg = TRI.getDwarfRegNum(*SR, false);
Adrian Prantl3a3ba772017-10-10 20:33:43 +0000148 if (Reg < 0)
149 continue;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000150
151 // Intersection between the bits we already emitted and the bits
152 // covered by this subregister.
Adrian Prantl4cae1082017-08-28 23:07:43 +0000153 SmallBitVector CurSubReg(RegSize, false);
154 CurSubReg.set(Offset, Offset + Size);
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000155
156 // If this sub-register has a DWARF number and we haven't covered
157 // its range, emit a DWARF piece for it.
Adrian Prantl3a3ba772017-10-10 20:33:43 +0000158 if (CurSubReg.test(Coverage)) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000159 // Emit a piece for any gap in the coverage.
160 if (Offset > CurPos)
Adrian Prantl984251c2018-02-13 19:54:00 +0000161 DwarfRegs.push_back({-1, Offset - CurPos, "no DWARF register encoding"});
Adrian Prantl80e188d2017-03-22 01:15:57 +0000162 DwarfRegs.push_back(
163 {Reg, std::min<unsigned>(Size, MaxSize - Offset), "sub-register"});
Adrian Prantl5542da42016-12-22 06:10:41 +0000164 if (Offset >= MaxSize)
NAKAMURA Takumia1e97a72017-08-28 06:47:47 +0000165 break;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000166
167 // Mark it as emitted.
168 Coverage.set(Offset, Offset + Size);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000169 CurPos = Offset + Size;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000170 }
171 }
Adrian Prantl984251c2018-02-13 19:54:00 +0000172 // Failed to find any DWARF encoding.
173 if (CurPos == 0)
174 return false;
175 // Found a partial or complete DWARF encoding.
176 if (CurPos < RegSize)
177 DwarfRegs.push_back({-1, RegSize - CurPos, "no DWARF register encoding"});
178 return true;
Adrian Prantlb16d9eb2015-01-12 22:19:22 +0000179}
Adrian Prantl66f25952015-01-13 00:04:06 +0000180
Adrian Prantla63b8e82017-03-16 17:42:45 +0000181void DwarfExpression::addStackValue() {
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000182 if (DwarfVersion >= 4)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000183 emitOp(dwarf::DW_OP_stack_value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000184}
185
Adrian Prantla63b8e82017-03-16 17:42:45 +0000186void DwarfExpression::addSignedConstant(int64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000187 assert(LocationKind == Implicit || LocationKind == Unknown);
188 LocationKind = Implicit;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000189 emitOp(dwarf::DW_OP_consts);
190 emitSigned(Value);
Adrian Prantl66f25952015-01-13 00:04:06 +0000191}
192
Adrian Prantla63b8e82017-03-16 17:42:45 +0000193void DwarfExpression::addUnsignedConstant(uint64_t Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000194 assert(LocationKind == Implicit || LocationKind == Unknown);
195 LocationKind = Implicit;
Jonas Devlieghere965b5982018-09-05 10:18:36 +0000196 emitConstu(Value);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000197}
198
Adrian Prantla63b8e82017-03-16 17:42:45 +0000199void DwarfExpression::addUnsignedConstant(const APInt &Value) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000200 assert(LocationKind == Implicit || LocationKind == Unknown);
201 LocationKind = Implicit;
202
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000203 unsigned Size = Value.getBitWidth();
204 const uint64_t *Data = Value.getRawData();
205
206 // Chop it up into 64-bit pieces, because that's the maximum that
Adrian Prantla63b8e82017-03-16 17:42:45 +0000207 // addUnsignedConstant takes.
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000208 unsigned Offset = 0;
209 while (Offset < Size) {
Adrian Prantla63b8e82017-03-16 17:42:45 +0000210 addUnsignedConstant(*Data++);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000211 if (Offset == 0 && Size <= 64)
212 break;
Adrian Prantl6825fb62017-04-18 01:21:53 +0000213 addStackValue();
214 addOpPiece(std::min(Size - Offset, 64u), Offset);
Adrian Prantl3e9c8872016-04-08 00:38:37 +0000215 Offset += 64;
216 }
Adrian Prantl66f25952015-01-13 00:04:06 +0000217}
Adrian Prantl092d9482015-01-13 23:39:11 +0000218
Adrian Prantlc12cee32017-04-19 23:42:25 +0000219bool DwarfExpression::addMachineRegExpression(const TargetRegisterInfo &TRI,
Adrian Prantl54286bd2016-11-02 16:12:20 +0000220 DIExpressionCursor &ExprCursor,
Adrian Prantlc12cee32017-04-19 23:42:25 +0000221 unsigned MachineReg,
Adrian Prantl941fa752016-12-05 18:04:47 +0000222 unsigned FragmentOffsetInBits) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000223 auto Fragment = ExprCursor.getFragmentInfo();
Adrian Prantldd215022017-04-25 19:40:53 +0000224 if (!addMachineReg(TRI, MachineReg, Fragment ? Fragment->SizeInBits : ~1U)) {
225 LocationKind = Unknown;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000226 return false;
Adrian Prantldd215022017-04-25 19:40:53 +0000227 }
Adrian Prantl531641a2015-01-22 00:00:59 +0000228
Adrian Prantl80e188d2017-03-22 01:15:57 +0000229 bool HasComplexExpression = false;
Adrian Prantl4dc03242017-03-21 17:14:30 +0000230 auto Op = ExprCursor.peek();
Adrian Prantl80e188d2017-03-22 01:15:57 +0000231 if (Op && Op->getOp() != dwarf::DW_OP_LLVM_fragment)
232 HasComplexExpression = true;
233
Adrian Prantl0498baa2017-03-22 01:16:01 +0000234 // If the register can only be described by a complex expression (i.e.,
235 // multiple subregisters) it doesn't safely compose with another complex
236 // expression. For example, it is not possible to apply a DW_OP_deref
237 // operation to multiple DW_OP_pieces.
238 if (HasComplexExpression && DwarfRegs.size() > 1) {
239 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000240 LocationKind = Unknown;
Adrian Prantl0498baa2017-03-22 01:16:01 +0000241 return false;
242 }
243
Adrian Prantl80e188d2017-03-22 01:15:57 +0000244 // Handle simple register locations.
Adrian Prantl6825fb62017-04-18 01:21:53 +0000245 if (LocationKind != Memory && !HasComplexExpression) {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000246 for (auto &Reg : DwarfRegs) {
247 if (Reg.DwarfRegNo >= 0)
248 addReg(Reg.DwarfRegNo, Reg.Comment);
249 addOpPiece(Reg.Size);
250 }
251 DwarfRegs.clear();
252 return true;
253 }
254
Adrian Prantl6825fb62017-04-18 01:21:53 +0000255 // Don't emit locations that cannot be expressed without DW_OP_stack_value.
Adrian Prantlada10482017-04-20 20:42:33 +0000256 if (DwarfVersion < 4)
Fangrui Song2e83b2e2018-10-19 06:12:02 +0000257 if (any_of(ExprCursor, [](DIExpression::ExprOperand Op) -> bool {
258 return Op.getOp() == dwarf::DW_OP_stack_value;
259 })) {
Adrian Prantlada10482017-04-20 20:42:33 +0000260 DwarfRegs.clear();
Adrian Prantldd215022017-04-25 19:40:53 +0000261 LocationKind = Unknown;
Adrian Prantlada10482017-04-20 20:42:33 +0000262 return false;
263 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000264
Adrian Prantl80e188d2017-03-22 01:15:57 +0000265 assert(DwarfRegs.size() == 1);
266 auto Reg = DwarfRegs[0];
Adrian Prantl6825fb62017-04-18 01:21:53 +0000267 bool FBReg = isFrameRegister(TRI, MachineReg);
268 int SignedOffset = 0;
Adrian Prantl80e188d2017-03-22 01:15:57 +0000269 assert(Reg.Size == 0 && "subregister has same size as superregister");
270
271 // Pattern-match combinations for which more efficient representations exist.
Florian Hahnc9c403c2017-06-13 16:54:44 +0000272 // [Reg, DW_OP_plus_uconst, Offset] --> [DW_OP_breg, Offset].
273 if (Op && (Op->getOp() == dwarf::DW_OP_plus_uconst)) {
274 SignedOffset = Op->getArg(0);
275 ExprCursor.take();
276 }
277
Florian Hahnffc498d2017-06-14 13:14:38 +0000278 // [Reg, DW_OP_constu, Offset, DW_OP_plus] --> [DW_OP_breg, Offset]
279 // [Reg, DW_OP_constu, Offset, DW_OP_minus] --> [DW_OP_breg,-Offset]
Adrian Prantl6825fb62017-04-18 01:21:53 +0000280 // If Reg is a subregister we need to mask it out before subtracting.
Florian Hahnffc498d2017-06-14 13:14:38 +0000281 if (Op && Op->getOp() == dwarf::DW_OP_constu) {
282 auto N = ExprCursor.peekNext();
283 if (N && (N->getOp() == dwarf::DW_OP_plus ||
284 (N->getOp() == dwarf::DW_OP_minus && !SubRegisterSizeInBits))) {
285 int Offset = Op->getArg(0);
286 SignedOffset = (N->getOp() == dwarf::DW_OP_minus) ? -Offset : Offset;
287 ExprCursor.consume(2);
288 }
Adrian Prantl531641a2015-01-22 00:00:59 +0000289 }
Florian Hahnffc498d2017-06-14 13:14:38 +0000290
Adrian Prantl6825fb62017-04-18 01:21:53 +0000291 if (FBReg)
292 addFBReg(SignedOffset);
293 else
294 addBReg(Reg.DwarfRegNo, SignedOffset);
Adrian Prantl80e188d2017-03-22 01:15:57 +0000295 DwarfRegs.clear();
296 return true;
Adrian Prantl092d9482015-01-13 23:39:11 +0000297}
298
Adrian Prantl6825fb62017-04-18 01:21:53 +0000299/// Assuming a well-formed expression, match "DW_OP_deref* DW_OP_LLVM_fragment?".
300static bool isMemoryLocation(DIExpressionCursor ExprCursor) {
301 while (ExprCursor) {
302 auto Op = ExprCursor.take();
303 switch (Op->getOp()) {
304 case dwarf::DW_OP_deref:
305 case dwarf::DW_OP_LLVM_fragment:
306 break;
307 default:
308 return false;
309 }
310 }
311 return true;
312}
313
Adrian Prantla63b8e82017-03-16 17:42:45 +0000314void DwarfExpression::addExpression(DIExpressionCursor &&ExprCursor,
Adrian Prantl941fa752016-12-05 18:04:47 +0000315 unsigned FragmentOffsetInBits) {
Adrian Prantl6825fb62017-04-18 01:21:53 +0000316 // If we need to mask out a subregister, do it now, unless the next
317 // operation would emit an OpPiece anyway.
318 auto N = ExprCursor.peek();
319 if (SubRegisterSizeInBits && N && (N->getOp() != dwarf::DW_OP_LLVM_fragment))
320 maskSubRegister();
321
Markus Lavinb86ce212019-03-19 13:16:28 +0000322 Optional<DIExpression::ExprOperand> PrevConvertOp = None;
323
Adrian Prantl54286bd2016-11-02 16:12:20 +0000324 while (ExprCursor) {
325 auto Op = ExprCursor.take();
326 switch (Op->getOp()) {
Adrian Prantl941fa752016-12-05 18:04:47 +0000327 case dwarf::DW_OP_LLVM_fragment: {
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000328 unsigned SizeInBits = Op->getArg(1);
329 unsigned FragmentOffset = Op->getArg(0);
330 // The fragment offset must have already been adjusted by emitting an
331 // empty DW_OP_piece / DW_OP_bit_piece before we emitted the base
332 // location.
333 assert(OffsetInBits >= FragmentOffset && "fragment offset not added?");
334
Adrian Prantl6825fb62017-04-18 01:21:53 +0000335 // If addMachineReg already emitted DW_OP_piece operations to represent
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000336 // a super-register by splicing together sub-registers, subtract the size
337 // of the pieces that was already emitted.
338 SizeInBits -= OffsetInBits - FragmentOffset;
339
Adrian Prantl6825fb62017-04-18 01:21:53 +0000340 // If addMachineReg requested a DW_OP_bit_piece to stencil out a
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000341 // sub-register that is smaller than the current fragment's size, use it.
342 if (SubRegisterSizeInBits)
343 SizeInBits = std::min<unsigned>(SizeInBits, SubRegisterSizeInBits);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000344
345 // Emit a DW_OP_stack_value for implicit location descriptions.
346 if (LocationKind == Implicit)
347 addStackValue();
348
349 // Emit the DW_OP_piece.
Adrian Prantla63b8e82017-03-16 17:42:45 +0000350 addOpPiece(SizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000351 setSubRegisterPiece(0, 0);
Adrian Prantl6825fb62017-04-18 01:21:53 +0000352 // Reset the location description kind.
353 LocationKind = Unknown;
354 return;
Adrian Prantl092d9482015-01-13 23:39:11 +0000355 }
Florian Hahnc9c403c2017-06-13 16:54:44 +0000356 case dwarf::DW_OP_plus_uconst:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000357 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000358 emitOp(dwarf::DW_OP_plus_uconst);
359 emitUnsigned(Op->getArg(0));
Adrian Prantl092d9482015-01-13 23:39:11 +0000360 break;
Florian Hahnffc498d2017-06-14 13:14:38 +0000361 case dwarf::DW_OP_plus:
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000362 case dwarf::DW_OP_minus:
Strahinja Petrovic29202f62017-09-21 10:04:02 +0000363 case dwarf::DW_OP_mul:
Vedant Kumar4011c262018-02-13 01:09:52 +0000364 case dwarf::DW_OP_div:
365 case dwarf::DW_OP_mod:
Vedant Kumar04386d82018-02-09 19:19:55 +0000366 case dwarf::DW_OP_or:
Petar Jovanovic17689572018-02-14 13:10:35 +0000367 case dwarf::DW_OP_and:
Vedant Kumar96b7dc02018-02-13 01:09:46 +0000368 case dwarf::DW_OP_xor:
Vedant Kumar31ec3562018-02-13 01:09:49 +0000369 case dwarf::DW_OP_shl:
370 case dwarf::DW_OP_shr:
371 case dwarf::DW_OP_shra:
Vedant Kumar6379a622018-07-06 17:32:39 +0000372 case dwarf::DW_OP_lit0:
373 case dwarf::DW_OP_not:
374 case dwarf::DW_OP_dup:
Florian Hahnffc498d2017-06-14 13:14:38 +0000375 emitOp(Op->getOp());
Evgeniy Stepanovf6081112015-09-30 19:55:43 +0000376 break;
Eugene Zelenko6e07bfd2017-08-17 21:26:39 +0000377 case dwarf::DW_OP_deref:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000378 assert(LocationKind != Register);
Adrian Prantl4b542c62018-04-27 22:05:31 +0000379 if (LocationKind != Memory && ::isMemoryLocation(ExprCursor))
Adrian Prantl6825fb62017-04-18 01:21:53 +0000380 // Turning this into a memory location description makes the deref
381 // implicit.
382 LocationKind = Memory;
383 else
384 emitOp(dwarf::DW_OP_deref);
Adrian Prantl092d9482015-01-13 23:39:11 +0000385 break;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000386 case dwarf::DW_OP_constu:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000387 assert(LocationKind != Register);
Jonas Devlieghere965b5982018-09-05 10:18:36 +0000388 emitConstu(Op->getArg(0));
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000389 break;
Markus Lavinb86ce212019-03-19 13:16:28 +0000390 case dwarf::DW_OP_LLVM_convert: {
391 unsigned BitSize = Op->getArg(0);
392 dwarf::TypeKind Encoding = static_cast<dwarf::TypeKind>(Op->getArg(1));
393 if (DwarfVersion >= 5) {
394 emitOp(dwarf::DW_OP_convert);
395 // Reuse the base_type if we already have one in this CU otherwise we
396 // create a new one.
397 unsigned I = 0, E = CU.ExprRefedBaseTypes.size();
398 for (; I != E; ++I)
399 if (CU.ExprRefedBaseTypes[I].BitSize == BitSize &&
400 CU.ExprRefedBaseTypes[I].Encoding == Encoding)
401 break;
402
403 if (I == E)
404 CU.ExprRefedBaseTypes.emplace_back(BitSize, Encoding);
405
406 // If targeting a location-list; simply emit the index into the raw
407 // byte stream as ULEB128, DwarfDebug::emitDebugLocEntry has been
408 // fitted with means to extract it later.
409 // If targeting a inlined DW_AT_location; insert a DIEBaseTypeRef
410 // (containing the index and a resolve mechanism during emit) into the
411 // DIE value list.
412 emitBaseTypeRef(I);
413 } else {
414 if (PrevConvertOp && PrevConvertOp->getArg(0) < BitSize) {
415 if (Encoding == dwarf::DW_ATE_signed)
416 emitLegacySExt(PrevConvertOp->getArg(0));
417 else if (Encoding == dwarf::DW_ATE_unsigned)
418 emitLegacyZExt(PrevConvertOp->getArg(0));
419 PrevConvertOp = None;
420 } else {
421 PrevConvertOp = Op;
422 }
423 }
424 break;
425 }
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000426 case dwarf::DW_OP_stack_value:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000427 LocationKind = Implicit;
Peter Collingbourned4135bb2016-09-13 01:12:59 +0000428 break;
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000429 case dwarf::DW_OP_swap:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000430 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000431 emitOp(dwarf::DW_OP_swap);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000432 break;
433 case dwarf::DW_OP_xderef:
Adrian Prantl6825fb62017-04-18 01:21:53 +0000434 assert(LocationKind != Register);
Adrian Prantla63b8e82017-03-16 17:42:45 +0000435 emitOp(dwarf::DW_OP_xderef);
Konstantin Zhuravlyovf9b41cd2017-03-08 00:28:57 +0000436 break;
Markus Lavina475da32019-04-30 07:58:57 +0000437 case dwarf::DW_OP_deref_size:
438 emitOp(dwarf::DW_OP_deref_size);
439 emitData1(Op->getArg(0));
440 break;
Adrian Prantl092d9482015-01-13 23:39:11 +0000441 default:
Duncan P. N. Exon Smith60635e32015-04-21 18:44:06 +0000442 llvm_unreachable("unhandled opcode found in expression");
Adrian Prantl092d9482015-01-13 23:39:11 +0000443 }
444 }
Adrian Prantl6825fb62017-04-18 01:21:53 +0000445
446 if (LocationKind == Implicit)
447 // Turn this into an implicit location description.
448 addStackValue();
Adrian Prantl092d9482015-01-13 23:39:11 +0000449}
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000450
Adrian Prantla63b8e82017-03-16 17:42:45 +0000451/// add masking operations to stencil out a subregister.
Adrian Prantl981f03e2017-03-16 17:14:56 +0000452void DwarfExpression::maskSubRegister() {
453 assert(SubRegisterSizeInBits && "no subregister was registered");
454 if (SubRegisterOffsetInBits > 0)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000455 addShr(SubRegisterOffsetInBits);
Adrian Prantldc855222017-03-16 18:06:04 +0000456 uint64_t Mask = (1ULL << (uint64_t)SubRegisterSizeInBits) - 1ULL;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000457 addAnd(Mask);
Adrian Prantl981f03e2017-03-16 17:14:56 +0000458}
459
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000460void DwarfExpression::finalize() {
Adrian Prantl80e188d2017-03-22 01:15:57 +0000461 assert(DwarfRegs.size() == 0 && "dwarf registers not emitted");
Adrian Prantl981f03e2017-03-16 17:14:56 +0000462 // Emit any outstanding DW_OP_piece operations to mask out subregisters.
463 if (SubRegisterSizeInBits == 0)
464 return;
465 // Don't emit a DW_OP_piece for a subregister at offset 0.
466 if (SubRegisterOffsetInBits == 0)
467 return;
Adrian Prantla63b8e82017-03-16 17:42:45 +0000468 addOpPiece(SubRegisterSizeInBits, SubRegisterOffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000469}
470
471void DwarfExpression::addFragmentOffset(const DIExpression *Expr) {
472 if (!Expr || !Expr->isFragment())
473 return;
474
Adrian Prantl49797ca2016-12-22 05:27:12 +0000475 uint64_t FragmentOffset = Expr->getFragmentInfo()->OffsetInBits;
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000476 assert(FragmentOffset >= OffsetInBits &&
477 "overlapping or duplicate fragments");
478 if (FragmentOffset > OffsetInBits)
Adrian Prantla63b8e82017-03-16 17:42:45 +0000479 addOpPiece(FragmentOffset - OffsetInBits);
Adrian Prantl8fafb8d2016-12-09 20:43:40 +0000480 OffsetInBits = FragmentOffset;
481}
Markus Lavinb86ce212019-03-19 13:16:28 +0000482
483void DwarfExpression::emitLegacySExt(unsigned FromBits) {
484 // (((X >> (FromBits - 1)) * (~0)) << FromBits) | X
485 emitOp(dwarf::DW_OP_dup);
486 emitOp(dwarf::DW_OP_constu);
487 emitUnsigned(FromBits - 1);
488 emitOp(dwarf::DW_OP_shr);
489 emitOp(dwarf::DW_OP_lit0);
490 emitOp(dwarf::DW_OP_not);
491 emitOp(dwarf::DW_OP_mul);
492 emitOp(dwarf::DW_OP_constu);
493 emitUnsigned(FromBits);
494 emitOp(dwarf::DW_OP_shl);
495 emitOp(dwarf::DW_OP_or);
496}
497
498void DwarfExpression::emitLegacyZExt(unsigned FromBits) {
499 // (X & (1 << FromBits - 1))
500 emitOp(dwarf::DW_OP_constu);
501 emitUnsigned((1ULL << FromBits) - 1);
502 emitOp(dwarf::DW_OP_and);
503}