2012-10-26 Pedro Alves <palves@redhat.com>
[deliverable/binutils-gdb.git] / gdb / dwarf2expr.h
CommitLineData
852483bc
MK
1/* DWARF 2 Expression Evaluator.
2
0b302171
JB
3 Copyright (C) 2001-2003, 2005, 2007-2012 Free Software Foundation,
4 Inc.
852483bc
MK
5
6 Contributed by Daniel Berlin <dan@dberlin.org>.
7
4c2df51b
DJ
8 This file is part of GDB.
9
10 This program is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
a9762ec7 12 the Free Software Foundation; either version 3 of the License, or
4c2df51b
DJ
13 (at your option) any later version.
14
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
19
20 You should have received a copy of the GNU General Public License
a9762ec7 21 along with this program. If not, see <http://www.gnu.org/licenses/>. */
4c2df51b
DJ
22
23#if !defined (DWARF2EXPR_H)
24#define DWARF2EXPR_H
25
f664829e 26#include "leb128.h"
836bf454 27#include "gdbtypes.h"
f664829e 28
9e8b7a03 29struct dwarf_expr_context;
b64f50a1 30
9e8b7a03
JK
31/* Virtual method table for struct dwarf_expr_context below. */
32
33struct dwarf_expr_context_funcs
34{
35 /* Return the value of register number REGNUM. */
36 CORE_ADDR (*read_reg) (void *baton, int regnum);
37
38 /* Read LENGTH bytes at ADDR into BUF. */
39 void (*read_mem) (void *baton, gdb_byte *buf, CORE_ADDR addr, size_t length);
40
41 /* Return the location expression for the frame base attribute, in
42 START and LENGTH. The result must be live until the current
43 expression evaluation is complete. */
44 void (*get_frame_base) (void *baton, const gdb_byte **start, size_t *length);
45
46 /* Return the CFA for the frame. */
47 CORE_ADDR (*get_frame_cfa) (void *baton);
48
49 /* Return the PC for the frame. */
50 CORE_ADDR (*get_frame_pc) (void *baton);
51
52 /* Return the thread-local storage address for
53 DW_OP_GNU_push_tls_address. */
54 CORE_ADDR (*get_tls_address) (void *baton, CORE_ADDR offset);
55
56 /* Execute DW_AT_location expression for the DWARF expression subroutine in
57 the DIE at DIE_OFFSET in the CU from CTX. Do not touch STACK while it
58 being passed to and returned from the called DWARF subroutine. */
b64f50a1 59 void (*dwarf_call) (struct dwarf_expr_context *ctx, cu_offset die_offset);
9e8b7a03
JK
60
61 /* Return the base type given by the indicated DIE. This can throw
62 an exception if the DIE is invalid or does not represent a base
63 type. If can also be NULL in the special case where the
64 callbacks are not performing evaluation, and thus it is
65 meaningful to substitute a stub type of the correct size. */
b64f50a1 66 struct type *(*get_base_type) (struct dwarf_expr_context *ctx, cu_offset die);
9e8b7a03 67
8e3b41a9 68 /* Push on DWARF stack an entry evaluated for DW_TAG_GNU_call_site's
24c5c679
JK
69 parameter matching KIND and KIND_U at the caller of specified BATON.
70 If DEREF_SIZE is not -1 then use DW_AT_GNU_call_site_data_value instead of
71 DW_AT_GNU_call_site_value. */
8e3b41a9 72 void (*push_dwarf_reg_entry_value) (struct dwarf_expr_context *ctx,
24c5c679
JK
73 enum call_site_parameter_kind kind,
74 union call_site_parameter_u kind_u,
a471c594 75 int deref_size);
8e3b41a9 76
3019eac3
DE
77 /* Return the address indexed by DW_OP_GNU_addr_index.
78 This can throw an exception if the index is out of range. */
79 CORE_ADDR (*get_addr_index) (void *baton, unsigned int index);
80
9e8b7a03
JK
81#if 0
82 /* Not yet implemented. */
83
84 /* Return the `object address' for DW_OP_push_object_address. */
85 CORE_ADDR (*get_object_address) (void *baton);
86#endif
87};
88
cec03d70
TT
89/* The location of a value. */
90enum dwarf_value_location
91{
44353522
DE
92 /* The piece is in memory.
93 The value on the dwarf stack is its address. */
cec03d70 94 DWARF_VALUE_MEMORY,
44353522
DE
95
96 /* The piece is in a register.
97 The value on the dwarf stack is the register number. */
cec03d70 98 DWARF_VALUE_REGISTER,
44353522
DE
99
100 /* The piece is on the dwarf stack. */
cec03d70 101 DWARF_VALUE_STACK,
44353522 102
cec03d70 103 /* The piece is a literal. */
cb826367
TT
104 DWARF_VALUE_LITERAL,
105
106 /* The piece was optimized out. */
8cf6f0b1
TT
107 DWARF_VALUE_OPTIMIZED_OUT,
108
109 /* The piece is an implicit pointer. */
110 DWARF_VALUE_IMPLICIT_POINTER
cec03d70
TT
111};
112
44353522
DE
113/* The dwarf expression stack. */
114
115struct dwarf_stack_value
116{
8a9b8146 117 struct value *value;
44353522
DE
118
119 /* Non-zero if the piece is in memory and is known to be
120 on the program's stack. It is always ok to set this to zero.
121 This is used, for example, to optimize memory access from the target.
122 It can vastly speed up backtraces on long latency connections when
123 "set stack-cache on". */
124 int in_stack_memory;
125};
126
4c2df51b
DJ
127/* The expression evaluator works with a dwarf_expr_context, describing
128 its current state and its callbacks. */
129struct dwarf_expr_context
130{
131 /* The stack of values, allocated with xmalloc. */
44353522 132 struct dwarf_stack_value *stack;
4c2df51b
DJ
133
134 /* The number of values currently pushed on the stack, and the
135 number of elements allocated to the stack. */
136 int stack_len, stack_allocated;
137
f7fd4728
UW
138 /* Target architecture to use for address operations. */
139 struct gdbarch *gdbarch;
140
ae0d2f24
UW
141 /* Target address size in bytes. */
142 int addr_size;
143
181cebd4
JK
144 /* DW_FORM_ref_addr size in bytes. If -1 DWARF is executed from a frame
145 context and operations depending on DW_FORM_ref_addr are not allowed. */
146 int ref_addr_size;
147
49f6c839 148 /* Offset used to relocate DW_OP_addr and DW_OP_GNU_addr_index arguments. */
ac56253d
TT
149 CORE_ADDR offset;
150
4c2df51b
DJ
151 /* An opaque argument provided by the caller, which will be passed
152 to all of the callback functions. */
153 void *baton;
154
9e8b7a03
JK
155 /* Callback functions. */
156 const struct dwarf_expr_context_funcs *funcs;
4c2df51b
DJ
157
158 /* The current depth of dwarf expression recursion, via DW_OP_call*,
159 DW_OP_fbreg, DW_OP_push_object_address, etc., and the maximum
160 depth we'll tolerate before raising an error. */
161 int recursion_depth, max_recursion_depth;
162
cec03d70
TT
163 /* Location of the value. */
164 enum dwarf_value_location location;
165
766062f6 166 /* For DWARF_VALUE_LITERAL, the current literal value's length and
8cf6f0b1 167 data. For DWARF_VALUE_IMPLICIT_POINTER, LEN is the offset of the
b64f50a1 168 target DIE of cu_offset kind. */
cec03d70 169 ULONGEST len;
0d45f56e 170 const gdb_byte *data;
87808bd6 171
42be36b3
CT
172 /* Initialization status of variable: Non-zero if variable has been
173 initialized; zero otherwise. */
174 int initialized;
175
87808bd6
JB
176 /* An array of pieces. PIECES points to its first element;
177 NUM_PIECES is its length.
178
179 Each time DW_OP_piece is executed, we add a new element to the
180 end of this array, recording the current top of the stack, the
cec03d70 181 current location, and the size given as the operand to
44353522 182 DW_OP_piece. We then pop the top value from the stack, reset the
cec03d70 183 location, and resume evaluation.
87808bd6
JB
184
185 The Dwarf spec doesn't say whether DW_OP_piece pops the top value
186 from the stack. We do, ensuring that clients of this interface
187 expecting to see a value left on the top of the stack (say, code
188 evaluating frame base expressions or CFA's specified with
189 DW_CFA_def_cfa_expression) will get an error if the expression
190 actually marks all the values it computes as pieces.
191
192 If an expression never uses DW_OP_piece, num_pieces will be zero.
193 (It would be nice to present these cases as expressions yielding
cec03d70
TT
194 a single piece, so that callers need not distinguish between the
195 no-DW_OP_piece and one-DW_OP_piece cases. But expressions with
196 no DW_OP_piece operations have no value to place in a piece's
197 'size' field; the size comes from the surrounding data. So the
198 two cases need to be handled separately.) */
87808bd6
JB
199 int num_pieces;
200 struct dwarf_expr_piece *pieces;
201};
202
203
d3b1e874 204/* A piece of an object, as recorded by DW_OP_piece or DW_OP_bit_piece. */
87808bd6
JB
205struct dwarf_expr_piece
206{
cec03d70
TT
207 enum dwarf_value_location location;
208
209 union
210 {
44353522
DE
211 struct
212 {
f2c7657e
UW
213 /* This piece's address, for DWARF_VALUE_MEMORY pieces. */
214 CORE_ADDR addr;
44353522
DE
215 /* Non-zero if the piece is known to be in memory and on
216 the program's stack. */
217 int in_stack_memory;
f2c7657e
UW
218 } mem;
219
8a9b8146
TT
220 /* The piece's register number, for DWARF_VALUE_REGISTER pieces. */
221 int regno;
222
223 /* The piece's literal value, for DWARF_VALUE_STACK pieces. */
224 struct value *value;
cec03d70
TT
225
226 struct
227 {
f2c7657e
UW
228 /* A pointer to the data making up this piece,
229 for DWARF_VALUE_LITERAL pieces. */
0d45f56e 230 const gdb_byte *data;
cec03d70
TT
231 /* The length of the available data. */
232 ULONGEST length;
233 } literal;
8cf6f0b1
TT
234
235 /* Used for DWARF_VALUE_IMPLICIT_POINTER. */
236 struct
237 {
238 /* The referent DIE from DW_OP_GNU_implicit_pointer. */
b64f50a1 239 cu_offset die;
8cf6f0b1
TT
240 /* The byte offset into the resulting data. */
241 LONGEST offset;
242 } ptr;
cec03d70 243 } v;
87808bd6 244
d3b1e874 245 /* The length of the piece, in bits. */
87808bd6 246 ULONGEST size;
d3b1e874
TT
247 /* The piece offset, in bits. */
248 ULONGEST offset;
4c2df51b
DJ
249};
250
b9362cc7 251struct dwarf_expr_context *new_dwarf_expr_context (void);
4c2df51b 252void free_dwarf_expr_context (struct dwarf_expr_context *ctx);
4a227398
TT
253struct cleanup *
254 make_cleanup_free_dwarf_expr_context (struct dwarf_expr_context *ctx);
4c2df51b 255
8a9b8146
TT
256void dwarf_expr_push_address (struct dwarf_expr_context *ctx,
257 CORE_ADDR value,
258 int in_stack_memory);
0d45f56e 259void dwarf_expr_eval (struct dwarf_expr_context *ctx, const gdb_byte *addr,
4c2df51b 260 size_t len);
8a9b8146 261struct value *dwarf_expr_fetch (struct dwarf_expr_context *ctx, int n);
f2c7657e 262CORE_ADDR dwarf_expr_fetch_address (struct dwarf_expr_context *ctx, int n);
44353522 263int dwarf_expr_fetch_in_stack_memory (struct dwarf_expr_context *ctx, int n);
4c2df51b 264
3cf03773
TT
265void dwarf_expr_require_composition (const gdb_byte *, const gdb_byte *,
266 const char *);
267
523f3620
JK
268/* Stub dwarf_expr_context_funcs implementations. */
269
270void ctx_no_get_frame_base (void *baton, const gdb_byte **start,
271 size_t *length);
272CORE_ADDR ctx_no_get_frame_cfa (void *baton);
273CORE_ADDR ctx_no_get_frame_pc (void *baton);
274CORE_ADDR ctx_no_get_tls_address (void *baton, CORE_ADDR offset);
b64f50a1
JK
275void ctx_no_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset);
276struct type *ctx_no_get_base_type (struct dwarf_expr_context *ctx,
277 cu_offset die);
8e3b41a9 278void ctx_no_push_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
24c5c679
JK
279 enum call_site_parameter_kind kind,
280 union call_site_parameter_u kind_u,
a471c594 281 int deref_size);
3019eac3 282CORE_ADDR ctx_no_get_addr_index (void *baton, unsigned int index);
8e3b41a9
JK
283
284int dwarf_block_to_dwarf_reg (const gdb_byte *buf, const gdb_byte *buf_end);
523f3620 285
a471c594
JK
286int dwarf_block_to_dwarf_reg_deref (const gdb_byte *buf,
287 const gdb_byte *buf_end,
288 CORE_ADDR *deref_size_return);
289
e18b2753
JK
290int dwarf_block_to_fb_offset (const gdb_byte *buf, const gdb_byte *buf_end,
291 CORE_ADDR *fb_offset_return);
292
293int dwarf_block_to_sp_offset (struct gdbarch *gdbarch, const gdb_byte *buf,
294 const gdb_byte *buf_end,
295 CORE_ADDR *sp_offset_return);
296
f664829e
DE
297/* Wrappers around the leb128 reader routines to simplify them for our
298 purposes. */
299
300static inline const gdb_byte *
301gdb_read_uleb128 (const gdb_byte *buf, const gdb_byte *buf_end,
9fccedf7 302 uint64_t *r)
f664829e 303{
9fccedf7 304 size_t bytes_read = read_uleb128_to_uint64 (buf, buf_end, r);
f664829e
DE
305
306 if (bytes_read == 0)
307 return NULL;
308 return buf + bytes_read;
309}
310
311static inline const gdb_byte *
312gdb_read_sleb128 (const gdb_byte *buf, const gdb_byte *buf_end,
9fccedf7 313 int64_t *r)
f664829e 314{
9fccedf7 315 size_t bytes_read = read_sleb128_to_int64 (buf, buf_end, r);
f664829e
DE
316
317 if (bytes_read == 0)
318 return NULL;
319 return buf + bytes_read;
320}
321
322static inline const gdb_byte *
323gdb_skip_leb128 (const gdb_byte *buf, const gdb_byte *buf_end)
324{
325 size_t bytes_read = skip_leb128 (buf, buf_end);
326
327 if (bytes_read == 0)
328 return NULL;
329 return buf + bytes_read;
330}
331
332extern const gdb_byte *safe_read_uleb128 (const gdb_byte *buf,
333 const gdb_byte *buf_end,
9fccedf7 334 uint64_t *r);
f664829e
DE
335
336extern const gdb_byte *safe_read_sleb128 (const gdb_byte *buf,
337 const gdb_byte *buf_end,
9fccedf7 338 int64_t *r);
f664829e
DE
339
340extern const gdb_byte *safe_skip_leb128 (const gdb_byte *buf,
341 const gdb_byte *buf_end);
342
852483bc 343#endif /* dwarf2expr.h */
This page took 0.679873 seconds and 4 git commands to generate.