LLVM 22.0.0git
DWARFCFIProgram.cpp
Go to the documentation of this file.
1//===- DWARFCFIProgram.cpp - Parsing the cfi-portions of .debug_frame -----===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
11#include "llvm/Support/Errc.h"
14#include <cassert>
15#include <cinttypes>
16#include <cstdint>
17
18using namespace llvm;
19using namespace dwarf;
20
21StringRef CFIProgram::callFrameString(unsigned Opcode) const {
22 return dwarf::CallFrameString(Opcode, Arch);
23}
24
26#define ENUM_TO_CSTR(e) \
27 case e: \
28 return #e;
29 switch (OT) {
40 }
41 return "<unknown CFIProgram::OperandType>";
42}
43
46 uint32_t OperandIdx) const {
47 if (OperandIdx >= MaxOperands)
49 "operand index %" PRIu32 " is not valid",
50 OperandIdx);
51 OperandType Type = CFIP.getOperandTypes()[Opcode][OperandIdx];
52 uint64_t Operand = Ops[OperandIdx];
53 switch (Type) {
54 case OT_Unset:
55 case OT_None:
56 case OT_Expression:
58 "op[%" PRIu32 "] has type %s which has no value",
60
61 case OT_Offset:
64 return createStringError(
66 "op[%" PRIu32 "] has OperandType OT_Offset which produces a signed "
67 "result, call getOperandAsSigned instead",
68 OperandIdx);
69
70 case OT_Address:
71 case OT_Register:
72 case OT_AddressSpace:
73 return Operand;
74
76 const uint64_t CodeAlignmentFactor = CFIP.codeAlign();
77 if (CodeAlignmentFactor == 0)
78 return createStringError(
80 "op[%" PRIu32 "] has type OT_FactoredCodeOffset but code alignment "
81 "is zero",
82 OperandIdx);
83 return Operand * CodeAlignmentFactor;
84 }
85 }
86 llvm_unreachable("invalid operand type");
87}
88
91 uint32_t OperandIdx) const {
92 if (OperandIdx >= MaxOperands)
94 "operand index %" PRIu32 " is not valid",
95 OperandIdx);
96 OperandType Type = CFIP.getOperandTypes()[Opcode][OperandIdx];
97 uint64_t Operand = Ops[OperandIdx];
98 switch (Type) {
99 case OT_Unset:
100 case OT_None:
101 case OT_Expression:
103 "op[%" PRIu32 "] has type %s which has no value",
105
106 case OT_Address:
107 case OT_Register:
108 case OT_AddressSpace:
109 return createStringError(
111 "op[%" PRIu32 "] has OperandType %s which produces an unsigned result, "
112 "call getOperandAsUnsigned instead",
114
115 case OT_Offset:
116 return (int64_t)Operand;
117
120 const int64_t DataAlignmentFactor = CFIP.dataAlign();
121 if (DataAlignmentFactor == 0)
123 "op[%" PRIu32 "] has type %s but data "
124 "alignment is zero",
126 return int64_t(Operand) * DataAlignmentFactor;
127 }
128
130 const int64_t DataAlignmentFactor = CFIP.dataAlign();
131 if (DataAlignmentFactor == 0)
133 "op[%" PRIu32
134 "] has type OT_UnsignedFactDataOffset but data "
135 "alignment is zero",
136 OperandIdx);
137 return Operand * DataAlignmentFactor;
138 }
139 }
140 llvm_unreachable("invalid operand type");
141}
142
145 static OperandType OpTypes[DW_CFA_restore + 1][MaxOperands];
146 static bool Initialized = false;
147 if (Initialized) {
148 return ArrayRef<OperandType[MaxOperands]>(&OpTypes[0], DW_CFA_restore + 1);
149 }
150 Initialized = true;
151
152#define DECLARE_OP3(OP, OPTYPE0, OPTYPE1, OPTYPE2) \
153 do { \
154 OpTypes[OP][0] = OPTYPE0; \
155 OpTypes[OP][1] = OPTYPE1; \
156 OpTypes[OP][2] = OPTYPE2; \
157 } while (false)
158#define DECLARE_OP2(OP, OPTYPE0, OPTYPE1) \
159 DECLARE_OP3(OP, OPTYPE0, OPTYPE1, OT_None)
160#define DECLARE_OP1(OP, OPTYPE0) DECLARE_OP2(OP, OPTYPE0, OT_None)
161#define DECLARE_OP0(OP) DECLARE_OP1(OP, OT_None)
162
163 DECLARE_OP1(DW_CFA_set_loc, OT_Address);
164 DECLARE_OP1(DW_CFA_advance_loc, OT_FactoredCodeOffset);
165 DECLARE_OP1(DW_CFA_advance_loc1, OT_FactoredCodeOffset);
166 DECLARE_OP1(DW_CFA_advance_loc2, OT_FactoredCodeOffset);
167 DECLARE_OP1(DW_CFA_advance_loc4, OT_FactoredCodeOffset);
168 DECLARE_OP1(DW_CFA_MIPS_advance_loc8, OT_FactoredCodeOffset);
169 DECLARE_OP2(DW_CFA_def_cfa, OT_Register, OT_Offset);
171 DECLARE_OP1(DW_CFA_def_cfa_register, OT_Register);
172 DECLARE_OP3(DW_CFA_LLVM_def_aspace_cfa, OT_Register, OT_Offset,
174 DECLARE_OP3(DW_CFA_LLVM_def_aspace_cfa_sf, OT_Register,
176 DECLARE_OP1(DW_CFA_def_cfa_offset, OT_Offset);
177 DECLARE_OP1(DW_CFA_def_cfa_offset_sf, OT_SignedFactDataOffset);
178 DECLARE_OP1(DW_CFA_def_cfa_expression, OT_Expression);
179 DECLARE_OP1(DW_CFA_undefined, OT_Register);
180 DECLARE_OP1(DW_CFA_same_value, OT_Register);
182 DECLARE_OP2(DW_CFA_offset_extended, OT_Register, OT_UnsignedFactDataOffset);
183 DECLARE_OP2(DW_CFA_offset_extended_sf, OT_Register, OT_SignedFactDataOffset);
185 DECLARE_OP2(DW_CFA_val_offset_sf, OT_Register, OT_SignedFactDataOffset);
186 DECLARE_OP2(DW_CFA_register, OT_Register, OT_Register);
187 DECLARE_OP2(DW_CFA_expression, OT_Register, OT_Expression);
188 DECLARE_OP2(DW_CFA_val_expression, OT_Register, OT_Expression);
189 DECLARE_OP1(DW_CFA_restore, OT_Register);
190 DECLARE_OP1(DW_CFA_restore_extended, OT_Register);
191 DECLARE_OP0(DW_CFA_remember_state);
192 DECLARE_OP0(DW_CFA_restore_state);
193 DECLARE_OP0(DW_CFA_GNU_window_save);
194 DECLARE_OP0(DW_CFA_AARCH64_negate_ra_state_with_pc);
195 DECLARE_OP1(DW_CFA_GNU_args_size, OT_Offset);
196 DECLARE_OP0(DW_CFA_nop);
197
198#undef DECLARE_OP0
199#undef DECLARE_OP1
200#undef DECLARE_OP2
201
202 return ArrayRef<OperandType[MaxOperands]>(&OpTypes[0], DW_CFA_restore + 1);
203}
#define DECLARE_OP3(OP, OPTYPE0, OPTYPE1, OPTYPE2)
#define DECLARE_OP2(OP, OPTYPE0, OPTYPE1)
#define DECLARE_OP0(OP)
#define ENUM_TO_CSTR(e)
#define DECLARE_OP1(OP, OPTYPE0)
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
Tagged union holding either a T or a Error.
Definition: Error.h:485
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:55
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
Represent a sequence of Call Frame Information instructions that, when read in order,...
OperandType
Types of operands to CFI instructions In DWARF, this type is implicitly tied to a CFI instruction opc...
uint64_t codeAlign() const
static constexpr size_t MaxOperands
static LLVM_ABI ArrayRef< OperandType[MaxOperands]> getOperandTypes()
Retrieve the array describing the types of operands according to the enum above.
int64_t dataAlign() const
static LLVM_ABI const char * operandTypeString(OperandType OT)
Get the OperandType as a "const char *".
LLVM_ABI StringRef callFrameString(unsigned Opcode) const
Get a DWARF CFI call frame string for the given DW_CFA opcode.
LLVM_ABI StringRef CallFrameString(unsigned Encoding, Triple::ArchType Arch)
Definition: Dwarf.cpp:632
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
Error createStringError(std::error_code EC, char const *Fmt, const Ts &... Vals)
Create formatted StringError object.
Definition: Error.h:1305
LLVM_ABI Expected< uint64_t > getOperandAsUnsigned(const CFIProgram &CFIP, uint32_t OperandIdx) const
LLVM_ABI Expected< int64_t > getOperandAsSigned(const CFIProgram &CFIP, uint32_t OperandIdx) const