blob: fb943edfdb7e7ed677bc061887c51e32d470a920 [file] [log] [blame]
Saleem Abdulrasool17552662015-04-24 19:39:17 +00001//===--------------------------- DwarfParser.hpp --------------------------===//
2//
Chandler Carruth61860a52019-01-19 10:56:40 +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
Saleem Abdulrasool17552662015-04-24 19:39:17 +00006//
7//
8// Parses DWARF CFIs (FDEs and CIEs).
9//
10//===----------------------------------------------------------------------===//
11
12#ifndef __DWARF_PARSER_HPP__
13#define __DWARF_PARSER_HPP__
14
15#include <inttypes.h>
16#include <stdint.h>
17#include <stdio.h>
18#include <stdlib.h>
19
Saleem Abdulrasool17552662015-04-24 19:39:17 +000020#include "libunwind.h"
21#include "dwarf2.h"
Daniel Cederman9f2f07a2019-01-14 10:15:20 +000022#include "Registers.hpp"
Saleem Abdulrasool17552662015-04-24 19:39:17 +000023
Saleem Abdulrasool286a9162017-01-25 02:27:45 +000024#include "config.h"
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +000025
Saleem Abdulrasool17552662015-04-24 19:39:17 +000026namespace libunwind {
27
28/// CFI_Parser does basic parsing of a CFI (Call Frame Information) records.
Ed Maste4c43c3d2016-07-19 17:15:50 +000029/// See DWARF Spec for details:
Saleem Abdulrasool17552662015-04-24 19:39:17 +000030/// http://refspecs.linuxbase.org/LSB_3.1.0/LSB-Core-generic/LSB-Core-generic/ehframechpt.html
31///
32template <typename A>
33class CFI_Parser {
34public:
35 typedef typename A::pint_t pint_t;
36
37 /// Information encoded in a CIE (Common Information Entry)
38 struct CIE_Info {
39 pint_t cieStart;
40 pint_t cieLength;
41 pint_t cieInstructions;
42 uint8_t pointerEncoding;
43 uint8_t lsdaEncoding;
44 uint8_t personalityEncoding;
45 uint8_t personalityOffsetInCIE;
46 pint_t personality;
47 uint32_t codeAlignFactor;
48 int dataAlignFactor;
49 bool isSignalFrame;
50 bool fdesHaveAugmentationData;
51 uint8_t returnAddressRegister;
Luke Cheesemancba83c32018-12-17 11:43:24 +000052#if defined(_LIBUNWIND_TARGET_AARCH64)
53 bool addressesSignedWithBKey;
54#endif
Saleem Abdulrasool17552662015-04-24 19:39:17 +000055 };
56
57 /// Information about an FDE (Frame Description Entry)
58 struct FDE_Info {
59 pint_t fdeStart;
60 pint_t fdeLength;
61 pint_t fdeInstructions;
62 pint_t pcStart;
63 pint_t pcEnd;
64 pint_t lsda;
65 };
66
67 enum {
Ed Maste567984c2016-07-20 15:19:09 +000068 kMaxRegisterNumber = _LIBUNWIND_HIGHEST_DWARF_REGISTER
Saleem Abdulrasool17552662015-04-24 19:39:17 +000069 };
70 enum RegisterSavedWhere {
71 kRegisterUnused,
72 kRegisterInCFA,
73 kRegisterOffsetFromCFA,
74 kRegisterInRegister,
75 kRegisterAtExpression,
76 kRegisterIsExpression
77 };
78 struct RegisterLocation {
79 RegisterSavedWhere location;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -080080 bool initialStateSaved;
Saleem Abdulrasool17552662015-04-24 19:39:17 +000081 int64_t value;
82 };
83 /// Information about a frame layout and registers saved determined
Ed Maste4c43c3d2016-07-19 17:15:50 +000084 /// by "running" the DWARF FDE "instructions"
Saleem Abdulrasool17552662015-04-24 19:39:17 +000085 struct PrologInfo {
86 uint32_t cfaRegister;
87 int32_t cfaRegisterOffset; // CFA = (cfaRegister)+cfaRegisterOffset
88 int64_t cfaExpression; // CFA = expression
89 uint32_t spExtraArgSize;
90 uint32_t codeOffsetAtStackDecrement;
91 bool registersInOtherRegisters;
92 bool sameValueUsed;
Martin Storsjof10f3c92017-10-27 07:59:01 +000093 RegisterLocation savedRegisters[kMaxRegisterNumber + 1];
Sterling Augustinec0ef0db2020-03-04 16:29:58 -080094 enum class InitializeTime { kLazy, kNormal };
95
96 // When saving registers, this data structure is lazily initialized.
97 PrologInfo(InitializeTime IT = InitializeTime::kNormal) {
98 if (IT == InitializeTime::kNormal)
99 memset(this, 0, sizeof(*this));
100 }
101 void checkSaveRegister(uint64_t reg, PrologInfo &initialState) {
102 if (!savedRegisters[reg].initialStateSaved) {
103 initialState.savedRegisters[reg] = savedRegisters[reg];
104 savedRegisters[reg].initialStateSaved = true;
105 }
106 }
107 void setRegister(uint64_t reg, RegisterSavedWhere newLocation,
108 int64_t newValue, PrologInfo &initialState) {
109 checkSaveRegister(reg, initialState);
110 savedRegisters[reg].location = newLocation;
111 savedRegisters[reg].value = newValue;
112 }
113 void setRegisterLocation(uint64_t reg, RegisterSavedWhere newLocation,
114 PrologInfo &initialState) {
115 checkSaveRegister(reg, initialState);
116 savedRegisters[reg].location = newLocation;
117 }
118 void setRegisterValue(uint64_t reg, int64_t newValue,
119 PrologInfo &initialState) {
120 checkSaveRegister(reg, initialState);
121 savedRegisters[reg].value = newValue;
122 }
123 void restoreRegisterToInitialState(uint64_t reg, PrologInfo &initialState) {
124 if (savedRegisters[reg].initialStateSaved)
125 savedRegisters[reg] = initialState.savedRegisters[reg];
126 // else the register still holds its initial state
127 }
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000128 };
129
130 struct PrologInfoStackEntry {
131 PrologInfoStackEntry(PrologInfoStackEntry *n, const PrologInfo &i)
132 : next(n), info(i) {}
133 PrologInfoStackEntry *next;
134 PrologInfo info;
135 };
136
137 static bool findFDE(A &addressSpace, pint_t pc, pint_t ehSectionStart,
Ryan Prichard0cff8572020-09-16 01:22:55 -0700138 uintptr_t sectionLength, pint_t fdeHint, FDE_Info *fdeInfo,
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000139 CIE_Info *cieInfo);
140 static const char *decodeFDE(A &addressSpace, pint_t fdeStart,
141 FDE_Info *fdeInfo, CIE_Info *cieInfo);
142 static bool parseFDEInstructions(A &addressSpace, const FDE_Info &fdeInfo,
143 const CIE_Info &cieInfo, pint_t upToPC,
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000144 int arch, PrologInfo *results);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000145
146 static const char *parseCIE(A &addressSpace, pint_t cie, CIE_Info *cieInfo);
147
148private:
149 static bool parseInstructions(A &addressSpace, pint_t instructions,
150 pint_t instructionsEnd, const CIE_Info &cieInfo,
151 pint_t pcoffset,
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000152 PrologInfoStackEntry *&rememberStack, int arch,
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000153 PrologInfo *results);
154};
155
156/// Parse a FDE into a CIE_Info and an FDE_Info
157template <typename A>
158const char *CFI_Parser<A>::decodeFDE(A &addressSpace, pint_t fdeStart,
159 FDE_Info *fdeInfo, CIE_Info *cieInfo) {
160 pint_t p = fdeStart;
161 pint_t cfiLength = (pint_t)addressSpace.get32(p);
162 p += 4;
163 if (cfiLength == 0xffffffff) {
164 // 0xffffffff means length is really next 8 bytes
165 cfiLength = (pint_t)addressSpace.get64(p);
166 p += 8;
167 }
168 if (cfiLength == 0)
Ryan Prichard0cff8572020-09-16 01:22:55 -0700169 return "FDE has zero length"; // zero terminator
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000170 uint32_t ciePointer = addressSpace.get32(p);
171 if (ciePointer == 0)
172 return "FDE is really a CIE"; // this is a CIE not an FDE
173 pint_t nextCFI = p + cfiLength;
174 pint_t cieStart = p - ciePointer;
175 const char *err = parseCIE(addressSpace, cieStart, cieInfo);
176 if (err != NULL)
177 return err;
178 p += 4;
Ed Maste1b651132016-07-19 17:28:38 +0000179 // Parse pc begin and range.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000180 pint_t pcStart =
181 addressSpace.getEncodedP(p, nextCFI, cieInfo->pointerEncoding);
182 pint_t pcRange =
183 addressSpace.getEncodedP(p, nextCFI, cieInfo->pointerEncoding & 0x0F);
Ed Maste1b651132016-07-19 17:28:38 +0000184 // Parse rest of info.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000185 fdeInfo->lsda = 0;
Ed Maste1b651132016-07-19 17:28:38 +0000186 // Check for augmentation length.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000187 if (cieInfo->fdesHaveAugmentationData) {
188 pint_t augLen = (pint_t)addressSpace.getULEB128(p, nextCFI);
189 pint_t endOfAug = p + augLen;
190 if (cieInfo->lsdaEncoding != DW_EH_PE_omit) {
Ed Maste1b651132016-07-19 17:28:38 +0000191 // Peek at value (without indirection). Zero means no LSDA.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000192 pint_t lsdaStart = p;
193 if (addressSpace.getEncodedP(p, nextCFI, cieInfo->lsdaEncoding & 0x0F) !=
194 0) {
Ed Maste1b651132016-07-19 17:28:38 +0000195 // Reset pointer and re-parse LSDA address.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000196 p = lsdaStart;
197 fdeInfo->lsda =
198 addressSpace.getEncodedP(p, nextCFI, cieInfo->lsdaEncoding);
199 }
200 }
201 p = endOfAug;
202 }
203 fdeInfo->fdeStart = fdeStart;
204 fdeInfo->fdeLength = nextCFI - fdeStart;
205 fdeInfo->fdeInstructions = p;
206 fdeInfo->pcStart = pcStart;
207 fdeInfo->pcEnd = pcStart + pcRange;
208 return NULL; // success
209}
210
211/// Scan an eh_frame section to find an FDE for a pc
212template <typename A>
213bool CFI_Parser<A>::findFDE(A &addressSpace, pint_t pc, pint_t ehSectionStart,
Ryan Prichard0cff8572020-09-16 01:22:55 -0700214 uintptr_t sectionLength, pint_t fdeHint,
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000215 FDE_Info *fdeInfo, CIE_Info *cieInfo) {
216 //fprintf(stderr, "findFDE(0x%llX)\n", (long long)pc);
217 pint_t p = (fdeHint != 0) ? fdeHint : ehSectionStart;
Ryan Prichard0cff8572020-09-16 01:22:55 -0700218 const pint_t ehSectionEnd = (sectionLength == UINTPTR_MAX)
219 ? static_cast<pint_t>(-1)
220 : (ehSectionStart + sectionLength);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000221 while (p < ehSectionEnd) {
222 pint_t currentCFI = p;
223 //fprintf(stderr, "findFDE() CFI at 0x%llX\n", (long long)p);
224 pint_t cfiLength = addressSpace.get32(p);
225 p += 4;
226 if (cfiLength == 0xffffffff) {
227 // 0xffffffff means length is really next 8 bytes
228 cfiLength = (pint_t)addressSpace.get64(p);
229 p += 8;
230 }
231 if (cfiLength == 0)
Ryan Prichard0cff8572020-09-16 01:22:55 -0700232 return false; // zero terminator
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000233 uint32_t id = addressSpace.get32(p);
234 if (id == 0) {
Ed Maste1b651132016-07-19 17:28:38 +0000235 // Skip over CIEs.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000236 p += cfiLength;
237 } else {
Ed Maste1b651132016-07-19 17:28:38 +0000238 // Process FDE to see if it covers pc.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000239 pint_t nextCFI = p + cfiLength;
240 uint32_t ciePointer = addressSpace.get32(p);
241 pint_t cieStart = p - ciePointer;
Ed Maste1b651132016-07-19 17:28:38 +0000242 // Validate pointer to CIE is within section.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000243 if ((ehSectionStart <= cieStart) && (cieStart < ehSectionEnd)) {
244 if (parseCIE(addressSpace, cieStart, cieInfo) == NULL) {
245 p += 4;
Ed Maste1b651132016-07-19 17:28:38 +0000246 // Parse pc begin and range.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000247 pint_t pcStart =
248 addressSpace.getEncodedP(p, nextCFI, cieInfo->pointerEncoding);
249 pint_t pcRange = addressSpace.getEncodedP(
250 p, nextCFI, cieInfo->pointerEncoding & 0x0F);
Ed Maste1b651132016-07-19 17:28:38 +0000251 // Test if pc is within the function this FDE covers.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000252 if ((pcStart < pc) && (pc <= pcStart + pcRange)) {
253 // parse rest of info
254 fdeInfo->lsda = 0;
255 // check for augmentation length
256 if (cieInfo->fdesHaveAugmentationData) {
257 pint_t augLen = (pint_t)addressSpace.getULEB128(p, nextCFI);
258 pint_t endOfAug = p + augLen;
259 if (cieInfo->lsdaEncoding != DW_EH_PE_omit) {
Ed Maste1b651132016-07-19 17:28:38 +0000260 // Peek at value (without indirection). Zero means no LSDA.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000261 pint_t lsdaStart = p;
262 if (addressSpace.getEncodedP(
263 p, nextCFI, cieInfo->lsdaEncoding & 0x0F) != 0) {
Ed Maste1b651132016-07-19 17:28:38 +0000264 // Reset pointer and re-parse LSDA address.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000265 p = lsdaStart;
266 fdeInfo->lsda = addressSpace
267 .getEncodedP(p, nextCFI, cieInfo->lsdaEncoding);
268 }
269 }
270 p = endOfAug;
271 }
272 fdeInfo->fdeStart = currentCFI;
273 fdeInfo->fdeLength = nextCFI - currentCFI;
274 fdeInfo->fdeInstructions = p;
275 fdeInfo->pcStart = pcStart;
276 fdeInfo->pcEnd = pcStart + pcRange;
277 return true;
278 } else {
279 // pc is not in begin/range, skip this FDE
280 }
281 } else {
Ed Maste1b651132016-07-19 17:28:38 +0000282 // Malformed CIE, now augmentation describing pc range encoding.
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000283 }
284 } else {
285 // malformed FDE. CIE is bad
286 }
287 p = nextCFI;
288 }
289 }
290 return false;
291}
292
293/// Extract info from a CIE
294template <typename A>
295const char *CFI_Parser<A>::parseCIE(A &addressSpace, pint_t cie,
296 CIE_Info *cieInfo) {
297 cieInfo->pointerEncoding = 0;
298 cieInfo->lsdaEncoding = DW_EH_PE_omit;
299 cieInfo->personalityEncoding = 0;
300 cieInfo->personalityOffsetInCIE = 0;
301 cieInfo->personality = 0;
302 cieInfo->codeAlignFactor = 0;
303 cieInfo->dataAlignFactor = 0;
304 cieInfo->isSignalFrame = false;
305 cieInfo->fdesHaveAugmentationData = false;
Luke Cheesemancba83c32018-12-17 11:43:24 +0000306#if defined(_LIBUNWIND_TARGET_AARCH64)
307 cieInfo->addressesSignedWithBKey = false;
308#endif
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000309 cieInfo->cieStart = cie;
310 pint_t p = cie;
311 pint_t cieLength = (pint_t)addressSpace.get32(p);
312 p += 4;
313 pint_t cieContentEnd = p + cieLength;
314 if (cieLength == 0xffffffff) {
315 // 0xffffffff means length is really next 8 bytes
316 cieLength = (pint_t)addressSpace.get64(p);
317 p += 8;
318 cieContentEnd = p + cieLength;
319 }
320 if (cieLength == 0)
321 return NULL;
322 // CIE ID is always 0
323 if (addressSpace.get32(p) != 0)
324 return "CIE ID is not zero";
325 p += 4;
326 // Version is always 1 or 3
327 uint8_t version = addressSpace.get8(p);
328 if ((version != 1) && (version != 3))
329 return "CIE version is not 1 or 3";
330 ++p;
331 // save start of augmentation string and find end
332 pint_t strStart = p;
333 while (addressSpace.get8(p) != 0)
334 ++p;
335 ++p;
336 // parse code aligment factor
337 cieInfo->codeAlignFactor = (uint32_t)addressSpace.getULEB128(p, cieContentEnd);
338 // parse data alignment factor
339 cieInfo->dataAlignFactor = (int)addressSpace.getSLEB128(p, cieContentEnd);
340 // parse return address register
Ryan Prichard58b19e62020-07-13 22:06:22 -0700341 uint64_t raReg = (version == 1) ? addressSpace.get8(p++)
342 : addressSpace.getULEB128(p, cieContentEnd);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000343 assert(raReg < 255 && "return address register too large");
344 cieInfo->returnAddressRegister = (uint8_t)raReg;
345 // parse augmentation data based on augmentation string
346 const char *result = NULL;
347 if (addressSpace.get8(strStart) == 'z') {
348 // parse augmentation data length
349 addressSpace.getULEB128(p, cieContentEnd);
350 for (pint_t s = strStart; addressSpace.get8(s) != '\0'; ++s) {
351 switch (addressSpace.get8(s)) {
352 case 'z':
353 cieInfo->fdesHaveAugmentationData = true;
354 break;
355 case 'P':
356 cieInfo->personalityEncoding = addressSpace.get8(p);
357 ++p;
358 cieInfo->personalityOffsetInCIE = (uint8_t)(p - cie);
359 cieInfo->personality = addressSpace
360 .getEncodedP(p, cieContentEnd, cieInfo->personalityEncoding);
361 break;
362 case 'L':
363 cieInfo->lsdaEncoding = addressSpace.get8(p);
364 ++p;
365 break;
366 case 'R':
367 cieInfo->pointerEncoding = addressSpace.get8(p);
368 ++p;
369 break;
370 case 'S':
371 cieInfo->isSignalFrame = true;
372 break;
Luke Cheesemancba83c32018-12-17 11:43:24 +0000373#if defined(_LIBUNWIND_TARGET_AARCH64)
374 case 'B':
375 cieInfo->addressesSignedWithBKey = true;
376 break;
377#endif
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000378 default:
379 // ignore unknown letters
380 break;
381 }
382 }
383 }
384 cieInfo->cieLength = cieContentEnd - cieInfo->cieStart;
385 cieInfo->cieInstructions = p;
386 return result;
387}
388
389
Ed Maste4c43c3d2016-07-19 17:15:50 +0000390/// "run" the DWARF instructions and create the abstact PrologInfo for an FDE
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000391template <typename A>
392bool CFI_Parser<A>::parseFDEInstructions(A &addressSpace,
393 const FDE_Info &fdeInfo,
394 const CIE_Info &cieInfo, pint_t upToPC,
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000395 int arch, PrologInfo *results) {
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000396 PrologInfoStackEntry *rememberStack = NULL;
397
398 // parse CIE then FDE instructions
Jorge Gorbe Moyafd8399e2020-02-18 11:48:02 -0800399 bool returnValue =
400 parseInstructions(addressSpace, cieInfo.cieInstructions,
401 cieInfo.cieStart + cieInfo.cieLength, cieInfo,
402 (pint_t)(-1), rememberStack, arch, results) &&
403 parseInstructions(addressSpace, fdeInfo.fdeInstructions,
404 fdeInfo.fdeStart + fdeInfo.fdeLength, cieInfo,
405 upToPC - fdeInfo.pcStart, rememberStack, arch, results);
406
Saleem Abdulrasool1ffb31a2020-05-15 14:43:19 -0700407#if !defined(_LIBUNWIND_NO_HEAP)
Jorge Gorbe Moyafd8399e2020-02-18 11:48:02 -0800408 // Clean up rememberStack. Even in the case where every DW_CFA_remember_state
409 // is paired with a DW_CFA_restore_state, parseInstructions can skip restore
410 // opcodes if it reaches the target PC and stops interpreting, so we have to
411 // make sure we don't leak memory.
412 while (rememberStack) {
413 PrologInfoStackEntry *next = rememberStack->next;
414 free(rememberStack);
415 rememberStack = next;
416 }
Saleem Abdulrasool1ffb31a2020-05-15 14:43:19 -0700417#endif
Jorge Gorbe Moyafd8399e2020-02-18 11:48:02 -0800418
419 return returnValue;
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000420}
421
Ed Maste4c43c3d2016-07-19 17:15:50 +0000422/// "run" the DWARF instructions
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000423template <typename A>
424bool CFI_Parser<A>::parseInstructions(A &addressSpace, pint_t instructions,
425 pint_t instructionsEnd,
426 const CIE_Info &cieInfo, pint_t pcoffset,
427 PrologInfoStackEntry *&rememberStack,
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000428 int arch, PrologInfo *results) {
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000429 pint_t p = instructions;
430 pint_t codeOffset = 0;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800431 // initialState initialized as registers in results are modified. Use
432 // PrologInfo accessor functions to avoid reading uninitialized data.
433 PrologInfo initialState(PrologInfo::InitializeTime::kLazy);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000434
435 _LIBUNWIND_TRACE_DWARF("parseInstructions(instructions=0x%0" PRIx64 ")\n",
436 static_cast<uint64_t>(instructionsEnd));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000437
Ed Maste4c43c3d2016-07-19 17:15:50 +0000438 // see DWARF Spec, section 6.4.2 for details on unwind opcodes
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000439 while ((p < instructionsEnd) && (codeOffset < pcoffset)) {
440 uint64_t reg;
441 uint64_t reg2;
442 int64_t offset;
443 uint64_t length;
444 uint8_t opcode = addressSpace.get8(p);
445 uint8_t operand;
Peter Zotov0717a2e2015-11-09 06:57:29 +0000446#if !defined(_LIBUNWIND_NO_HEAP)
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000447 PrologInfoStackEntry *entry;
Peter Zotov0717a2e2015-11-09 06:57:29 +0000448#endif
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000449 ++p;
450 switch (opcode) {
451 case DW_CFA_nop:
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000452 _LIBUNWIND_TRACE_DWARF("DW_CFA_nop\n");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000453 break;
454 case DW_CFA_set_loc:
455 codeOffset =
456 addressSpace.getEncodedP(p, instructionsEnd, cieInfo.pointerEncoding);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000457 _LIBUNWIND_TRACE_DWARF("DW_CFA_set_loc\n");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000458 break;
459 case DW_CFA_advance_loc1:
460 codeOffset += (addressSpace.get8(p) * cieInfo.codeAlignFactor);
461 p += 1;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000462 _LIBUNWIND_TRACE_DWARF("DW_CFA_advance_loc1: new offset=%" PRIu64 "\n",
463 static_cast<uint64_t>(codeOffset));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000464 break;
465 case DW_CFA_advance_loc2:
466 codeOffset += (addressSpace.get16(p) * cieInfo.codeAlignFactor);
467 p += 2;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000468 _LIBUNWIND_TRACE_DWARF("DW_CFA_advance_loc2: new offset=%" PRIu64 "\n",
469 static_cast<uint64_t>(codeOffset));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000470 break;
471 case DW_CFA_advance_loc4:
472 codeOffset += (addressSpace.get32(p) * cieInfo.codeAlignFactor);
473 p += 4;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000474 _LIBUNWIND_TRACE_DWARF("DW_CFA_advance_loc4: new offset=%" PRIu64 "\n",
475 static_cast<uint64_t>(codeOffset));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000476 break;
477 case DW_CFA_offset_extended:
478 reg = addressSpace.getULEB128(p, instructionsEnd);
479 offset = (int64_t)addressSpace.getULEB128(p, instructionsEnd)
480 * cieInfo.dataAlignFactor;
481 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000482 _LIBUNWIND_LOG0(
483 "malformed DW_CFA_offset_extended DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000484 return false;
485 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800486 results->setRegister(reg, kRegisterInCFA, offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000487 _LIBUNWIND_TRACE_DWARF("DW_CFA_offset_extended(reg=%" PRIu64 ", "
488 "offset=%" PRId64 ")\n",
489 reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000490 break;
491 case DW_CFA_restore_extended:
492 reg = addressSpace.getULEB128(p, instructionsEnd);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000493 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000494 _LIBUNWIND_LOG0(
495 "malformed DW_CFA_restore_extended DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000496 return false;
497 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800498 results->restoreRegisterToInitialState(reg, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000499 _LIBUNWIND_TRACE_DWARF("DW_CFA_restore_extended(reg=%" PRIu64 ")\n", reg);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000500 break;
501 case DW_CFA_undefined:
502 reg = addressSpace.getULEB128(p, instructionsEnd);
503 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000504 _LIBUNWIND_LOG0(
505 "malformed DW_CFA_undefined DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000506 return false;
507 }
Daniel Kiss850898d2020-09-18 11:37:54 +0200508 results->setRegisterLocation(reg, kRegisterUnused, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000509 _LIBUNWIND_TRACE_DWARF("DW_CFA_undefined(reg=%" PRIu64 ")\n", reg);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000510 break;
511 case DW_CFA_same_value:
512 reg = addressSpace.getULEB128(p, instructionsEnd);
513 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000514 _LIBUNWIND_LOG0(
515 "malformed DW_CFA_same_value DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000516 return false;
517 }
518 // <rdar://problem/8456377> DW_CFA_same_value unsupported
519 // "same value" means register was stored in frame, but its current
520 // value has not changed, so no need to restore from frame.
521 // We model this as if the register was never saved.
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800522 results->setRegisterLocation(reg, kRegisterUnused, initialState);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000523 // set flag to disable conversion to compact unwind
524 results->sameValueUsed = true;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000525 _LIBUNWIND_TRACE_DWARF("DW_CFA_same_value(reg=%" PRIu64 ")\n", reg);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000526 break;
527 case DW_CFA_register:
528 reg = addressSpace.getULEB128(p, instructionsEnd);
529 reg2 = addressSpace.getULEB128(p, instructionsEnd);
530 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000531 _LIBUNWIND_LOG0(
532 "malformed DW_CFA_register DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000533 return false;
534 }
535 if (reg2 > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000536 _LIBUNWIND_LOG0(
537 "malformed DW_CFA_register DWARF unwind, reg2 too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000538 return false;
539 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800540 results->setRegister(reg, kRegisterInRegister, (int64_t)reg2,
541 initialState);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000542 // set flag to disable conversion to compact unwind
543 results->registersInOtherRegisters = true;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000544 _LIBUNWIND_TRACE_DWARF(
545 "DW_CFA_register(reg=%" PRIu64 ", reg2=%" PRIu64 ")\n", reg, reg2);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000546 break;
Peter Zotov0717a2e2015-11-09 06:57:29 +0000547#if !defined(_LIBUNWIND_NO_HEAP)
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000548 case DW_CFA_remember_state:
549 // avoid operator new, because that would be an upward dependency
550 entry = (PrologInfoStackEntry *)malloc(sizeof(PrologInfoStackEntry));
551 if (entry != NULL) {
552 entry->next = rememberStack;
553 entry->info = *results;
554 rememberStack = entry;
555 } else {
556 return false;
557 }
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000558 _LIBUNWIND_TRACE_DWARF("DW_CFA_remember_state\n");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000559 break;
560 case DW_CFA_restore_state:
561 if (rememberStack != NULL) {
562 PrologInfoStackEntry *top = rememberStack;
563 *results = top->info;
564 rememberStack = top->next;
565 free((char *)top);
566 } else {
567 return false;
568 }
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000569 _LIBUNWIND_TRACE_DWARF("DW_CFA_restore_state\n");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000570 break;
Peter Zotov0717a2e2015-11-09 06:57:29 +0000571#endif
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000572 case DW_CFA_def_cfa:
573 reg = addressSpace.getULEB128(p, instructionsEnd);
574 offset = (int64_t)addressSpace.getULEB128(p, instructionsEnd);
575 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000576 _LIBUNWIND_LOG0("malformed DW_CFA_def_cfa DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000577 return false;
578 }
579 results->cfaRegister = (uint32_t)reg;
580 results->cfaRegisterOffset = (int32_t)offset;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000581 _LIBUNWIND_TRACE_DWARF(
582 "DW_CFA_def_cfa(reg=%" PRIu64 ", offset=%" PRIu64 ")\n", reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000583 break;
584 case DW_CFA_def_cfa_register:
585 reg = addressSpace.getULEB128(p, instructionsEnd);
586 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000587 _LIBUNWIND_LOG0(
588 "malformed DW_CFA_def_cfa_register DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000589 return false;
590 }
591 results->cfaRegister = (uint32_t)reg;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000592 _LIBUNWIND_TRACE_DWARF("DW_CFA_def_cfa_register(%" PRIu64 ")\n", reg);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000593 break;
594 case DW_CFA_def_cfa_offset:
595 results->cfaRegisterOffset = (int32_t)
596 addressSpace.getULEB128(p, instructionsEnd);
597 results->codeOffsetAtStackDecrement = (uint32_t)codeOffset;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000598 _LIBUNWIND_TRACE_DWARF("DW_CFA_def_cfa_offset(%d)\n",
599 results->cfaRegisterOffset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000600 break;
601 case DW_CFA_def_cfa_expression:
602 results->cfaRegister = 0;
603 results->cfaExpression = (int64_t)p;
604 length = addressSpace.getULEB128(p, instructionsEnd);
whitequark443f65c2017-12-25 21:08:41 +0000605 assert(length < static_cast<pint_t>(~0) && "pointer overflow");
Saleem Abdulrasool92acbf12017-03-08 16:03:27 +0000606 p += static_cast<pint_t>(length);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000607 _LIBUNWIND_TRACE_DWARF("DW_CFA_def_cfa_expression(expression=0x%" PRIx64
608 ", length=%" PRIu64 ")\n",
609 results->cfaExpression, length);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000610 break;
611 case DW_CFA_expression:
612 reg = addressSpace.getULEB128(p, instructionsEnd);
613 if (reg > kMaxRegisterNumber) {
whitequarka3b115c2017-12-25 13:42:41 +0000614 _LIBUNWIND_LOG0(
whitequarkb718c5f2017-12-25 13:27:56 +0000615 "malformed DW_CFA_expression DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000616 return false;
617 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800618 results->setRegister(reg, kRegisterAtExpression, (int64_t)p,
619 initialState);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000620 length = addressSpace.getULEB128(p, instructionsEnd);
whitequark443f65c2017-12-25 21:08:41 +0000621 assert(length < static_cast<pint_t>(~0) && "pointer overflow");
Saleem Abdulrasool92acbf12017-03-08 16:03:27 +0000622 p += static_cast<pint_t>(length);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000623 _LIBUNWIND_TRACE_DWARF("DW_CFA_expression(reg=%" PRIu64 ", "
624 "expression=0x%" PRIx64 ", "
625 "length=%" PRIu64 ")\n",
626 reg, results->savedRegisters[reg].value, length);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000627 break;
628 case DW_CFA_offset_extended_sf:
629 reg = addressSpace.getULEB128(p, instructionsEnd);
630 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000631 _LIBUNWIND_LOG0(
632 "malformed DW_CFA_offset_extended_sf DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000633 return false;
634 }
635 offset =
636 addressSpace.getSLEB128(p, instructionsEnd) * cieInfo.dataAlignFactor;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800637 results->setRegister(reg, kRegisterInCFA, offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000638 _LIBUNWIND_TRACE_DWARF("DW_CFA_offset_extended_sf(reg=%" PRIu64 ", "
639 "offset=%" PRId64 ")\n",
640 reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000641 break;
642 case DW_CFA_def_cfa_sf:
643 reg = addressSpace.getULEB128(p, instructionsEnd);
644 offset =
645 addressSpace.getSLEB128(p, instructionsEnd) * cieInfo.dataAlignFactor;
646 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000647 _LIBUNWIND_LOG0(
648 "malformed DW_CFA_def_cfa_sf DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000649 return false;
650 }
651 results->cfaRegister = (uint32_t)reg;
652 results->cfaRegisterOffset = (int32_t)offset;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000653 _LIBUNWIND_TRACE_DWARF("DW_CFA_def_cfa_sf(reg=%" PRIu64 ", "
654 "offset=%" PRId64 ")\n",
655 reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000656 break;
657 case DW_CFA_def_cfa_offset_sf:
658 results->cfaRegisterOffset = (int32_t)
659 (addressSpace.getSLEB128(p, instructionsEnd) * cieInfo.dataAlignFactor);
660 results->codeOffsetAtStackDecrement = (uint32_t)codeOffset;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000661 _LIBUNWIND_TRACE_DWARF("DW_CFA_def_cfa_offset_sf(%d)\n",
662 results->cfaRegisterOffset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000663 break;
664 case DW_CFA_val_offset:
665 reg = addressSpace.getULEB128(p, instructionsEnd);
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000666 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000667 _LIBUNWIND_LOG(
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000668 "malformed DW_CFA_val_offset DWARF unwind, reg (%" PRIu64
669 ") out of range\n",
670 reg);
671 return false;
672 }
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000673 offset = (int64_t)addressSpace.getULEB128(p, instructionsEnd)
674 * cieInfo.dataAlignFactor;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800675 results->setRegister(reg, kRegisterOffsetFromCFA, offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000676 _LIBUNWIND_TRACE_DWARF("DW_CFA_val_offset(reg=%" PRIu64 ", "
677 "offset=%" PRId64 "\n",
678 reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000679 break;
680 case DW_CFA_val_offset_sf:
681 reg = addressSpace.getULEB128(p, instructionsEnd);
682 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000683 _LIBUNWIND_LOG0(
684 "malformed DW_CFA_val_offset_sf DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000685 return false;
686 }
687 offset =
688 addressSpace.getSLEB128(p, instructionsEnd) * cieInfo.dataAlignFactor;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800689 results->setRegister(reg, kRegisterOffsetFromCFA, offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000690 _LIBUNWIND_TRACE_DWARF("DW_CFA_val_offset_sf(reg=%" PRIu64 ", "
691 "offset=%" PRId64 "\n",
692 reg, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000693 break;
694 case DW_CFA_val_expression:
695 reg = addressSpace.getULEB128(p, instructionsEnd);
696 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000697 _LIBUNWIND_LOG0(
698 "malformed DW_CFA_val_expression DWARF unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000699 return false;
700 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800701 results->setRegister(reg, kRegisterIsExpression, (int64_t)p,
702 initialState);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000703 length = addressSpace.getULEB128(p, instructionsEnd);
whitequark443f65c2017-12-25 21:08:41 +0000704 assert(length < static_cast<pint_t>(~0) && "pointer overflow");
Saleem Abdulrasool92acbf12017-03-08 16:03:27 +0000705 p += static_cast<pint_t>(length);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000706 _LIBUNWIND_TRACE_DWARF("DW_CFA_val_expression(reg=%" PRIu64 ", "
707 "expression=0x%" PRIx64 ", length=%" PRIu64 ")\n",
708 reg, results->savedRegisters[reg].value, length);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000709 break;
710 case DW_CFA_GNU_args_size:
711 length = addressSpace.getULEB128(p, instructionsEnd);
712 results->spExtraArgSize = (uint32_t)length;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000713 _LIBUNWIND_TRACE_DWARF("DW_CFA_GNU_args_size(%" PRIu64 ")\n", length);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000714 break;
715 case DW_CFA_GNU_negative_offset_extended:
716 reg = addressSpace.getULEB128(p, instructionsEnd);
717 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000718 _LIBUNWIND_LOG0("malformed DW_CFA_GNU_negative_offset_extended DWARF "
719 "unwind, reg too big");
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000720 return false;
721 }
722 offset = (int64_t)addressSpace.getULEB128(p, instructionsEnd)
723 * cieInfo.dataAlignFactor;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800724 results->setRegister(reg, kRegisterInCFA, -offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000725 _LIBUNWIND_TRACE_DWARF(
726 "DW_CFA_GNU_negative_offset_extended(%" PRId64 ")\n", offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000727 break;
Luke Cheeseman4d8e4312018-12-14 11:30:12 +0000728
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000729#if defined(_LIBUNWIND_TARGET_AARCH64) || defined(_LIBUNWIND_TARGET_SPARC)
730 // The same constant is used to represent different instructions on
731 // AArch64 (negate_ra_state) and SPARC (window_save).
732 static_assert(DW_CFA_AARCH64_negate_ra_state == DW_CFA_GNU_window_save,
733 "uses the same constant");
Luke Cheeseman4d8e4312018-12-14 11:30:12 +0000734 case DW_CFA_AARCH64_negate_ra_state:
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000735 switch (arch) {
736#if defined(_LIBUNWIND_TARGET_AARCH64)
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800737 case REGISTERS_ARM64: {
738 int64_t value =
739 results->savedRegisters[UNW_ARM64_RA_SIGN_STATE].value ^ 0x1;
740 results->setRegisterValue(UNW_ARM64_RA_SIGN_STATE, value, initialState);
741 _LIBUNWIND_TRACE_DWARF("DW_CFA_AARCH64_negate_ra_state\n");
742 } break;
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000743#endif
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800744
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000745#if defined(_LIBUNWIND_TARGET_SPARC)
746 // case DW_CFA_GNU_window_save:
747 case REGISTERS_SPARC:
748 _LIBUNWIND_TRACE_DWARF("DW_CFA_GNU_window_save()\n");
749 for (reg = UNW_SPARC_O0; reg <= UNW_SPARC_O7; reg++) {
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800750 results->setRegister(reg, kRegisterInRegister,
751 ((int64_t)reg - UNW_SPARC_O0) + UNW_SPARC_I0,
752 initialState);
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000753 }
754
755 for (reg = UNW_SPARC_L0; reg <= UNW_SPARC_I7; reg++) {
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800756 results->setRegister(reg, kRegisterInCFA,
757 ((int64_t)reg - UNW_SPARC_L0) * 4, initialState);
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000758 }
759 break;
760#endif
761 }
Luke Cheeseman4d8e4312018-12-14 11:30:12 +0000762 break;
Daniel Cederman9f2f07a2019-01-14 10:15:20 +0000763#else
764 (void)arch;
Luke Cheeseman4d8e4312018-12-14 11:30:12 +0000765#endif
766
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000767 default:
768 operand = opcode & 0x3F;
769 switch (opcode & 0xC0) {
770 case DW_CFA_offset:
771 reg = operand;
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000772 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000773 _LIBUNWIND_LOG("malformed DW_CFA_offset DWARF unwind, reg (%" PRIu64
774 ") out of range",
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000775 reg);
776 return false;
777 }
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000778 offset = (int64_t)addressSpace.getULEB128(p, instructionsEnd)
779 * cieInfo.dataAlignFactor;
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800780 results->setRegister(reg, kRegisterInCFA, offset, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000781 _LIBUNWIND_TRACE_DWARF("DW_CFA_offset(reg=%d, offset=%" PRId64 ")\n",
782 operand, offset);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000783 break;
784 case DW_CFA_advance_loc:
785 codeOffset += operand * cieInfo.codeAlignFactor;
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000786 _LIBUNWIND_TRACE_DWARF("DW_CFA_advance_loc: new offset=%" PRIu64 "\n",
787 static_cast<uint64_t>(codeOffset));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000788 break;
789 case DW_CFA_restore:
790 reg = operand;
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000791 if (reg > kMaxRegisterNumber) {
whitequarkb718c5f2017-12-25 13:27:56 +0000792 _LIBUNWIND_LOG("malformed DW_CFA_restore DWARF unwind, reg (%" PRIu64
793 ") out of range",
Martin Storsjo6ae660a2017-10-24 07:16:40 +0000794 reg);
795 return false;
796 }
Sterling Augustinec0ef0db2020-03-04 16:29:58 -0800797 results->restoreRegisterToInitialState(reg, initialState);
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000798 _LIBUNWIND_TRACE_DWARF("DW_CFA_restore(reg=%" PRIu64 ")\n",
Saleem Abdulrasoolc73a3c32017-01-21 21:27:29 +0000799 static_cast<uint64_t>(operand));
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000800 break;
801 default:
Saleem Abdulrasoold1be5b02017-01-21 16:22:57 +0000802 _LIBUNWIND_TRACE_DWARF("unknown CFA opcode 0x%02X\n", opcode);
Saleem Abdulrasool17552662015-04-24 19:39:17 +0000803 return false;
804 }
805 }
806 }
807
808 return true;
809}
810
811} // namespace libunwind
812
813#endif // __DWARF_PARSER_HPP__