19 using namespace dwarf;
23 typedef std::vector<DWARFExpression::Operation::Description>
DescVector;
26 DescVector Descriptions;
28 typedef Op::Description Desc;
30 Descriptions.resize(0xff);
31 Descriptions[DW_OP_addr] = Desc(Op::Dwarf2, Op::SizeAddr);
32 Descriptions[DW_OP_deref] = Desc(Op::Dwarf2);
33 Descriptions[DW_OP_const1u] = Desc(Op::Dwarf2, Op::Size1);
34 Descriptions[DW_OP_const1s] = Desc(Op::Dwarf2, Op::SignedSize1);
35 Descriptions[DW_OP_const2u] = Desc(Op::Dwarf2, Op::Size2);
36 Descriptions[DW_OP_const2s] = Desc(Op::Dwarf2, Op::SignedSize2);
37 Descriptions[DW_OP_const4u] = Desc(Op::Dwarf2, Op::Size4);
38 Descriptions[DW_OP_const4s] = Desc(Op::Dwarf2, Op::SignedSize4);
39 Descriptions[DW_OP_const8u] = Desc(Op::Dwarf2, Op::Size8);
40 Descriptions[DW_OP_const8s] = Desc(Op::Dwarf2, Op::SignedSize8);
41 Descriptions[DW_OP_constu] = Desc(Op::Dwarf2, Op::SizeLEB);
42 Descriptions[DW_OP_consts] = Desc(Op::Dwarf2, Op::SignedSizeLEB);
43 Descriptions[DW_OP_dup] = Desc(Op::Dwarf2);
44 Descriptions[DW_OP_drop] = Desc(Op::Dwarf2);
45 Descriptions[DW_OP_over] = Desc(Op::Dwarf2);
46 Descriptions[DW_OP_pick] = Desc(Op::Dwarf2, Op::Size1);
47 Descriptions[DW_OP_swap] = Desc(Op::Dwarf2);
48 Descriptions[DW_OP_rot] = Desc(Op::Dwarf2);
49 Descriptions[DW_OP_xderef] = Desc(Op::Dwarf2);
50 Descriptions[DW_OP_abs] = Desc(Op::Dwarf2);
51 Descriptions[DW_OP_and] = Desc(Op::Dwarf2);
52 Descriptions[DW_OP_div] = Desc(Op::Dwarf2);
53 Descriptions[DW_OP_minus] = Desc(Op::Dwarf2);
54 Descriptions[DW_OP_mod] = Desc(Op::Dwarf2);
55 Descriptions[DW_OP_mul] = Desc(Op::Dwarf2);
56 Descriptions[DW_OP_neg] = Desc(Op::Dwarf2);
57 Descriptions[DW_OP_not] = Desc(Op::Dwarf2);
58 Descriptions[DW_OP_or] = Desc(Op::Dwarf2);
59 Descriptions[DW_OP_plus] = Desc(Op::Dwarf2);
60 Descriptions[DW_OP_plus_uconst] = Desc(Op::Dwarf2, Op::SizeLEB);
61 Descriptions[DW_OP_shl] = Desc(Op::Dwarf2);
62 Descriptions[DW_OP_shr] = Desc(Op::Dwarf2);
63 Descriptions[DW_OP_shra] = Desc(Op::Dwarf2);
64 Descriptions[DW_OP_xor] = Desc(Op::Dwarf2);
65 Descriptions[DW_OP_skip] = Desc(Op::Dwarf2, Op::SignedSize2);
66 Descriptions[DW_OP_bra] = Desc(Op::Dwarf2, Op::SignedSize2);
67 Descriptions[DW_OP_eq] = Desc(Op::Dwarf2);
68 Descriptions[DW_OP_ge] = Desc(Op::Dwarf2);
69 Descriptions[DW_OP_gt] = Desc(Op::Dwarf2);
70 Descriptions[DW_OP_le] = Desc(Op::Dwarf2);
71 Descriptions[DW_OP_lt] = Desc(Op::Dwarf2);
72 Descriptions[DW_OP_ne] = Desc(Op::Dwarf2);
73 for (uint16_t LA = DW_OP_lit0; LA <= DW_OP_lit31; ++LA)
74 Descriptions[LA] = Desc(Op::Dwarf2);
75 for (uint16_t LA = DW_OP_reg0; LA <= DW_OP_reg31; ++LA)
76 Descriptions[LA] = Desc(Op::Dwarf2);
77 for (uint16_t LA = DW_OP_breg0; LA <= DW_OP_breg31; ++LA)
78 Descriptions[LA] = Desc(Op::Dwarf2, Op::SignedSizeLEB);
79 Descriptions[DW_OP_regx] = Desc(Op::Dwarf2, Op::SizeLEB);
80 Descriptions[DW_OP_fbreg] = Desc(Op::Dwarf2, Op::SignedSizeLEB);
81 Descriptions[DW_OP_bregx] = Desc(Op::Dwarf2, Op::SizeLEB, Op::SignedSizeLEB);
82 Descriptions[DW_OP_piece] = Desc(Op::Dwarf2, Op::SizeLEB);
83 Descriptions[DW_OP_deref_size] = Desc(Op::Dwarf2, Op::Size1);
84 Descriptions[DW_OP_xderef_size] = Desc(Op::Dwarf2, Op::Size1);
85 Descriptions[DW_OP_nop] = Desc(Op::Dwarf2);
86 Descriptions[DW_OP_push_object_address] = Desc(Op::Dwarf3);
87 Descriptions[DW_OP_call2] = Desc(Op::Dwarf3, Op::Size2);
88 Descriptions[DW_OP_call4] = Desc(Op::Dwarf3, Op::Size4);
89 Descriptions[DW_OP_call_ref] = Desc(Op::Dwarf3, Op::SizeRefAddr);
90 Descriptions[DW_OP_form_tls_address] = Desc(Op::Dwarf3);
91 Descriptions[DW_OP_call_frame_cfa] = Desc(Op::Dwarf3);
92 Descriptions[DW_OP_bit_piece] = Desc(Op::Dwarf3, Op::SizeLEB, Op::SizeLEB);
93 Descriptions[DW_OP_implicit_value] =
94 Desc(Op::Dwarf3, Op::SizeLEB, Op::SizeBlock);
95 Descriptions[DW_OP_stack_value] = Desc(Op::Dwarf3);
96 Descriptions[DW_OP_GNU_push_tls_address] = Desc(Op::Dwarf3);
97 Descriptions[DW_OP_addrx] = Desc(Op::Dwarf4, Op::SizeLEB);
98 Descriptions[DW_OP_GNU_addr_index] = Desc(Op::Dwarf4, Op::SizeLEB);
99 Descriptions[DW_OP_GNU_const_index] = Desc(Op::Dwarf4, Op::SizeLEB);
107 if (OpCode >= Descriptions.size())
109 return Descriptions[OpCode];
113 return (Version == 2) ? AddrSize : 4;
118 Opcode = Data.
getU8(&Offset);
121 if (Desc.Version == Operation::DwarfNA) {
126 for (
unsigned Operand = 0; Operand < 2; ++Operand) {
127 unsigned Size = Desc.Op[Operand];
128 unsigned Signed = Size & Operation::SignBit;
130 if (Size == Operation::SizeNA)
133 switch (Size & ~Operation::SignBit) {
134 case Operation::Size1:
135 Operands[Operand] = Data.
getU8(&Offset);
137 Operands[Operand] = (int8_t)Operands[Operand];
139 case Operation::Size2:
140 Operands[Operand] = Data.
getU16(&Offset);
142 Operands[Operand] = (int16_t)Operands[Operand];
144 case Operation::Size4:
145 Operands[Operand] = Data.
getU32(&Offset);
147 Operands[Operand] = (int32_t)Operands[Operand];
149 case Operation::Size8:
150 Operands[Operand] = Data.
getU64(&Offset);
152 case Operation::SizeAddr:
153 if (AddressSize == 8) {
154 Operands[Operand] = Data.
getU64(&Offset);
157 Operands[Operand] = Data.
getU32(&Offset);
160 case Operation::SizeRefAddr:
162 Operands[Operand] = Data.
getU64(&Offset);
165 Operands[Operand] = Data.
getU32(&Offset);
168 case Operation::SizeLEB:
174 case Operation::SizeBlock:
179 Operands[Operand] =
Offset;
180 Offset += Operands[Operand - 1];
192 uint64_t Operands[2],
197 uint64_t DwarfRegNum;
200 if (Opcode == DW_OP_bregx || Opcode == DW_OP_regx)
201 DwarfRegNum = Operands[OpNum++];
202 else if (Opcode >= DW_OP_breg0 && Opcode < DW_OP_bregx)
203 DwarfRegNum = Opcode - DW_OP_breg0;
205 DwarfRegNum = Opcode - DW_OP_reg0;
208 if (LLVMRegNum >= 0) {
209 if (
const char *RegName = MRI->
getName(LLVMRegNum)) {
210 if ((Opcode >= DW_OP_breg0 && Opcode <= DW_OP_breg31) ||
211 Opcode == DW_OP_bregx)
212 OS <<
format(
" %s%+" PRId64, RegName, Operands[OpNum]);
214 OS <<
' ' << RegName;
227 OS <<
"<decoding error>";
235 if ((Opcode >= DW_OP_breg0 && Opcode <= DW_OP_breg31) ||
236 (Opcode >= DW_OP_reg0 && Opcode <= DW_OP_reg31) ||
237 Opcode == DW_OP_bregx || Opcode == DW_OP_regx)
241 for (
unsigned Operand = 0; Operand < 2; ++Operand) {
242 unsigned Size = Desc.Op[Operand];
243 unsigned Signed = Size & Operation::SignBit;
245 if (Size == Operation::SizeNA)
248 if (Size == Operation::SizeBlock) {
250 for (
unsigned i = 0; i < Operands[Operand - 1]; ++i)
251 OS <<
format(
" 0x%02x", Expr->Data.
getU8(&Offset));
254 OS <<
format(
" %+" PRId64, (int64_t)Operands[Operand]);
256 OS <<
format(
" 0x%" PRIx64, Operands[Operand]);
264 for (
auto &
Op : *
this) {
265 if (!
Op.print(OS,
this, RegInfo, IsEH)) {
267 while (FailOffset <
Data.getData().size())
268 OS <<
format(
" %02x",
Data.getU8(&FailOffset));
271 if (
Op.getEndOffset() <
Data.getData().size())
static bool prettyPrintRegisterOp(raw_ostream &OS, uint8_t Opcode, uint64_t Operands[2], const MCRegisterInfo *MRI, bool isEH)
This class represents lattice values for constants.
void print(raw_ostream &OS, const MCRegisterInfo *RegInfo, bool IsEH=false) const
format_object< Ts... > format(const char *Fmt, const Ts &... Vals)
These are helper functions used to produce formatted output.
This class represents an Operation in the Expression.
amdgpu Simplify well known AMD library false Value Value const Twine & Name
LLVM_NODISCARD LLVM_ATTRIBUTE_ALWAYS_INLINE bool empty() const
empty - Check if the string is empty.
static DescVector getDescriptions()
const char * getName(unsigned RegNo) const
Return the human-readable symbolic target-specific name for the specified physical register...
MCRegisterInfo base class - We assume that the target defines a static array of MCRegisterDesc object...
unsigned const MachineRegisterInfo * MRI
static uint8_t getRefAddrSize(uint8_t AddrSize, uint16_t Version)
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
StringRef OperationEncodingString(unsigned Encoding)
This file contains constants used for implementing Dwarf debug support.
bool extract(DataExtractor Data, uint16_t Version, uint8_t AddressSize, uint32_t Offset)
std::vector< DWARFExpression::Operation::Description > DescVector
Description of the encoding of one expression Op.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
bool print(raw_ostream &OS, const DWARFExpression *U, const MCRegisterInfo *RegInfo, bool isEH)
Lightweight error class with error context and mandatory checking.
This class implements an extremely fast bulk output stream that can only output to a stream...
StringRef - Represent a constant reference to a string, i.e.
int getLLVMRegNum(unsigned RegNum, bool isEH) const
Map a dwarf register back to a target register.
static DWARFExpression::Operation::Description getOpDesc(unsigned OpCode)