Some cleanup removal in dwarf2loc.c
[deliverable/binutils-gdb.git] / gdb / dwarf2expr.c
CommitLineData
852483bc
MK
1/* DWARF 2 Expression Evaluator.
2
618f726f 3 Copyright (C) 2001-2016 Free Software Foundation, Inc.
852483bc 4
4c2df51b
DJ
5 Contributed by Daniel Berlin (dan@dberlin.org)
6
7 This file is part of GDB.
8
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
a9762ec7 11 the Free Software Foundation; either version 3 of the License, or
4c2df51b
DJ
12 (at your option) any later version.
13
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
18
19 You should have received a copy of the GNU General Public License
a9762ec7 20 along with this program. If not, see <http://www.gnu.org/licenses/>. */
4c2df51b
DJ
21
22#include "defs.h"
23#include "symtab.h"
24#include "gdbtypes.h"
25#include "value.h"
26#include "gdbcore.h"
fa8f86ff 27#include "dwarf2.h"
4c2df51b 28#include "dwarf2expr.h"
0fde2c53 29#include "dwarf2loc.h"
4c2df51b
DJ
30
31/* Local prototypes. */
32
33static void execute_stack_op (struct dwarf_expr_context *,
0d45f56e 34 const gdb_byte *, const gdb_byte *);
4c2df51b 35
8a9b8146
TT
36/* Cookie for gdbarch data. */
37
38static struct gdbarch_data *dwarf_arch_cookie;
39
40/* This holds gdbarch-specific types used by the DWARF expression
41 evaluator. See comments in execute_stack_op. */
42
43struct dwarf_gdbarch_types
44{
45 struct type *dw_types[3];
46};
47
48/* Allocate and fill in dwarf_gdbarch_types for an arch. */
49
50static void *
51dwarf_gdbarch_types_init (struct gdbarch *gdbarch)
52{
53 struct dwarf_gdbarch_types *types
54 = GDBARCH_OBSTACK_ZALLOC (gdbarch, struct dwarf_gdbarch_types);
55
56 /* The types themselves are lazily initialized. */
57
58 return types;
59}
60
61/* Return the type used for DWARF operations where the type is
62 unspecified in the DWARF spec. Only certain sizes are
63 supported. */
64
65static struct type *
66dwarf_expr_address_type (struct dwarf_expr_context *ctx)
67{
9a3c8263
SM
68 struct dwarf_gdbarch_types *types
69 = (struct dwarf_gdbarch_types *) gdbarch_data (ctx->gdbarch,
70 dwarf_arch_cookie);
8a9b8146
TT
71 int ndx;
72
73 if (ctx->addr_size == 2)
74 ndx = 0;
75 else if (ctx->addr_size == 4)
76 ndx = 1;
77 else if (ctx->addr_size == 8)
78 ndx = 2;
79 else
80 error (_("Unsupported address size in DWARF expressions: %d bits"),
81 8 * ctx->addr_size);
82
83 if (types->dw_types[ndx] == NULL)
84 types->dw_types[ndx]
85 = arch_integer_type (ctx->gdbarch,
86 8 * ctx->addr_size,
87 0, "<signed DWARF address type>");
88
89 return types->dw_types[ndx];
90}
91
4c2df51b
DJ
92/* Create a new context for the expression evaluator. */
93
94struct dwarf_expr_context *
e4adbba9 95new_dwarf_expr_context (void)
4c2df51b
DJ
96{
97 struct dwarf_expr_context *retval;
9a619af0 98
8d749320 99 retval = XCNEW (struct dwarf_expr_context);
18ec9831
KB
100 retval->stack_len = 0;
101 retval->stack_allocated = 10;
8d749320 102 retval->stack = XNEWVEC (struct dwarf_stack_value, retval->stack_allocated);
87808bd6
JB
103 retval->num_pieces = 0;
104 retval->pieces = 0;
1e3a102a 105 retval->max_recursion_depth = 0x100;
4c2df51b
DJ
106 return retval;
107}
108
109/* Release the memory allocated to CTX. */
110
111void
112free_dwarf_expr_context (struct dwarf_expr_context *ctx)
113{
114 xfree (ctx->stack);
87808bd6 115 xfree (ctx->pieces);
4c2df51b
DJ
116 xfree (ctx);
117}
118
4a227398
TT
119/* Helper for make_cleanup_free_dwarf_expr_context. */
120
121static void
122free_dwarf_expr_context_cleanup (void *arg)
123{
9a3c8263 124 free_dwarf_expr_context ((struct dwarf_expr_context *) arg);
4a227398
TT
125}
126
127/* Return a cleanup that calls free_dwarf_expr_context. */
128
129struct cleanup *
130make_cleanup_free_dwarf_expr_context (struct dwarf_expr_context *ctx)
131{
132 return make_cleanup (free_dwarf_expr_context_cleanup, ctx);
133}
134
4c2df51b
DJ
135/* Expand the memory allocated to CTX's stack to contain at least
136 NEED more elements than are currently used. */
137
138static void
139dwarf_expr_grow_stack (struct dwarf_expr_context *ctx, size_t need)
140{
141 if (ctx->stack_len + need > ctx->stack_allocated)
142 {
18ec9831 143 size_t newlen = ctx->stack_len + need + 10;
9a619af0 144
224c3ddb 145 ctx->stack = XRESIZEVEC (struct dwarf_stack_value, ctx->stack, newlen);
18ec9831 146 ctx->stack_allocated = newlen;
4c2df51b
DJ
147 }
148}
149
150/* Push VALUE onto CTX's stack. */
151
8a9b8146
TT
152static void
153dwarf_expr_push (struct dwarf_expr_context *ctx, struct value *value,
44353522 154 int in_stack_memory)
4c2df51b 155{
44353522
DE
156 struct dwarf_stack_value *v;
157
4c2df51b 158 dwarf_expr_grow_stack (ctx, 1);
44353522
DE
159 v = &ctx->stack[ctx->stack_len++];
160 v->value = value;
161 v->in_stack_memory = in_stack_memory;
4c2df51b
DJ
162}
163
8a9b8146 164/* Push VALUE onto CTX's stack. */
4c2df51b
DJ
165
166void
8a9b8146
TT
167dwarf_expr_push_address (struct dwarf_expr_context *ctx, CORE_ADDR value,
168 int in_stack_memory)
169{
170 dwarf_expr_push (ctx,
171 value_from_ulongest (dwarf_expr_address_type (ctx), value),
172 in_stack_memory);
173}
174
175/* Pop the top item off of CTX's stack. */
176
177static void
4c2df51b
DJ
178dwarf_expr_pop (struct dwarf_expr_context *ctx)
179{
180 if (ctx->stack_len <= 0)
8a3fe4f8 181 error (_("dwarf expression stack underflow"));
4c2df51b
DJ
182 ctx->stack_len--;
183}
184
185/* Retrieve the N'th item on CTX's stack. */
186
8a9b8146 187struct value *
4c2df51b
DJ
188dwarf_expr_fetch (struct dwarf_expr_context *ctx, int n)
189{
ef0fdf07 190 if (ctx->stack_len <= n)
3e43a32a
MS
191 error (_("Asked for position %d of stack, "
192 "stack only has %d elements on it."),
4c2df51b 193 n, ctx->stack_len);
44353522 194 return ctx->stack[ctx->stack_len - (1 + n)].value;
8a9b8146
TT
195}
196
197/* Require that TYPE be an integral type; throw an exception if not. */
44353522 198
8a9b8146
TT
199static void
200dwarf_require_integral (struct type *type)
201{
202 if (TYPE_CODE (type) != TYPE_CODE_INT
203 && TYPE_CODE (type) != TYPE_CODE_CHAR
204 && TYPE_CODE (type) != TYPE_CODE_BOOL)
205 error (_("integral type expected in DWARF expression"));
206}
207
208/* Return the unsigned form of TYPE. TYPE is necessarily an integral
209 type. */
210
211static struct type *
212get_unsigned_type (struct gdbarch *gdbarch, struct type *type)
213{
214 switch (TYPE_LENGTH (type))
215 {
216 case 1:
217 return builtin_type (gdbarch)->builtin_uint8;
218 case 2:
219 return builtin_type (gdbarch)->builtin_uint16;
220 case 4:
221 return builtin_type (gdbarch)->builtin_uint32;
222 case 8:
223 return builtin_type (gdbarch)->builtin_uint64;
224 default:
225 error (_("no unsigned variant found for type, while evaluating "
226 "DWARF expression"));
227 }
44353522
DE
228}
229
8ddd9a20
TT
230/* Return the signed form of TYPE. TYPE is necessarily an integral
231 type. */
232
233static struct type *
234get_signed_type (struct gdbarch *gdbarch, struct type *type)
235{
236 switch (TYPE_LENGTH (type))
237 {
238 case 1:
239 return builtin_type (gdbarch)->builtin_int8;
240 case 2:
241 return builtin_type (gdbarch)->builtin_int16;
242 case 4:
243 return builtin_type (gdbarch)->builtin_int32;
244 case 8:
245 return builtin_type (gdbarch)->builtin_int64;
246 default:
247 error (_("no signed variant found for type, while evaluating "
248 "DWARF expression"));
249 }
250}
251
f2c7657e
UW
252/* Retrieve the N'th item on CTX's stack, converted to an address. */
253
254CORE_ADDR
255dwarf_expr_fetch_address (struct dwarf_expr_context *ctx, int n)
256{
8a9b8146
TT
257 struct value *result_val = dwarf_expr_fetch (ctx, n);
258 enum bfd_endian byte_order = gdbarch_byte_order (ctx->gdbarch);
259 ULONGEST result;
260
261 dwarf_require_integral (value_type (result_val));
262 result = extract_unsigned_integer (value_contents (result_val),
263 TYPE_LENGTH (value_type (result_val)),
264 byte_order);
f2c7657e
UW
265
266 /* For most architectures, calling extract_unsigned_integer() alone
267 is sufficient for extracting an address. However, some
268 architectures (e.g. MIPS) use signed addresses and using
269 extract_unsigned_integer() will not produce a correct
270 result. Make sure we invoke gdbarch_integer_to_address()
271 for those architectures which require it. */
272 if (gdbarch_integer_to_address_p (ctx->gdbarch))
273 {
224c3ddb 274 gdb_byte *buf = (gdb_byte *) alloca (ctx->addr_size);
8a9b8146
TT
275 struct type *int_type = get_unsigned_type (ctx->gdbarch,
276 value_type (result_val));
f2c7657e
UW
277
278 store_unsigned_integer (buf, ctx->addr_size, byte_order, result);
279 return gdbarch_integer_to_address (ctx->gdbarch, int_type, buf);
280 }
281
282 return (CORE_ADDR) result;
283}
284
44353522
DE
285/* Retrieve the in_stack_memory flag of the N'th item on CTX's stack. */
286
287int
288dwarf_expr_fetch_in_stack_memory (struct dwarf_expr_context *ctx, int n)
289{
290 if (ctx->stack_len <= n)
3e43a32a
MS
291 error (_("Asked for position %d of stack, "
292 "stack only has %d elements on it."),
44353522
DE
293 n, ctx->stack_len);
294 return ctx->stack[ctx->stack_len - (1 + n)].in_stack_memory;
4c2df51b
DJ
295}
296
cb826367
TT
297/* Return true if the expression stack is empty. */
298
299static int
300dwarf_expr_stack_empty_p (struct dwarf_expr_context *ctx)
301{
302 return ctx->stack_len == 0;
303}
304
87808bd6
JB
305/* Add a new piece to CTX's piece list. */
306static void
d3b1e874 307add_piece (struct dwarf_expr_context *ctx, ULONGEST size, ULONGEST offset)
87808bd6
JB
308{
309 struct dwarf_expr_piece *p;
310
311 ctx->num_pieces++;
312
224c3ddb
SM
313 ctx->pieces
314 = XRESIZEVEC (struct dwarf_expr_piece, ctx->pieces, ctx->num_pieces);
87808bd6
JB
315
316 p = &ctx->pieces[ctx->num_pieces - 1];
cec03d70 317 p->location = ctx->location;
87808bd6 318 p->size = size;
d3b1e874
TT
319 p->offset = offset;
320
cec03d70
TT
321 if (p->location == DWARF_VALUE_LITERAL)
322 {
323 p->v.literal.data = ctx->data;
324 p->v.literal.length = ctx->len;
325 }
cb826367
TT
326 else if (dwarf_expr_stack_empty_p (ctx))
327 {
328 p->location = DWARF_VALUE_OPTIMIZED_OUT;
329 /* Also reset the context's location, for our callers. This is
330 a somewhat strange approach, but this lets us avoid setting
331 the location to DWARF_VALUE_MEMORY in all the individual
332 cases in the evaluator. */
333 ctx->location = DWARF_VALUE_OPTIMIZED_OUT;
334 }
f2c7657e
UW
335 else if (p->location == DWARF_VALUE_MEMORY)
336 {
337 p->v.mem.addr = dwarf_expr_fetch_address (ctx, 0);
338 p->v.mem.in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, 0);
339 }
8cf6f0b1
TT
340 else if (p->location == DWARF_VALUE_IMPLICIT_POINTER)
341 {
8b9737bf 342 p->v.ptr.die.sect_off = ctx->len;
8a9b8146 343 p->v.ptr.offset = value_as_long (dwarf_expr_fetch (ctx, 0));
8cf6f0b1 344 }
8a9b8146
TT
345 else if (p->location == DWARF_VALUE_REGISTER)
346 p->v.regno = value_as_long (dwarf_expr_fetch (ctx, 0));
cec03d70 347 else
44353522 348 {
f2c7657e 349 p->v.value = dwarf_expr_fetch (ctx, 0);
44353522 350 }
87808bd6
JB
351}
352
4c2df51b
DJ
353/* Evaluate the expression at ADDR (LEN bytes long) using the context
354 CTX. */
355
356void
0d45f56e
TT
357dwarf_expr_eval (struct dwarf_expr_context *ctx, const gdb_byte *addr,
358 size_t len)
4c2df51b 359{
1e3a102a
JK
360 int old_recursion_depth = ctx->recursion_depth;
361
4c2df51b 362 execute_stack_op (ctx, addr, addr + len);
1e3a102a
JK
363
364 /* CTX RECURSION_DEPTH becomes invalid if an exception was thrown here. */
365
366 gdb_assert (ctx->recursion_depth == old_recursion_depth);
4c2df51b
DJ
367}
368
f664829e 369/* Helper to read a uleb128 value or throw an error. */
4c2df51b 370
0d45f56e 371const gdb_byte *
f664829e 372safe_read_uleb128 (const gdb_byte *buf, const gdb_byte *buf_end,
9fccedf7 373 uint64_t *r)
4c2df51b 374{
f664829e
DE
375 buf = gdb_read_uleb128 (buf, buf_end, r);
376 if (buf == NULL)
377 error (_("DWARF expression error: ran off end of buffer reading uleb128 value"));
4c2df51b
DJ
378 return buf;
379}
380
f664829e 381/* Helper to read a sleb128 value or throw an error. */
4c2df51b 382
0d45f56e 383const gdb_byte *
f664829e 384safe_read_sleb128 (const gdb_byte *buf, const gdb_byte *buf_end,
9fccedf7 385 int64_t *r)
4c2df51b 386{
f664829e
DE
387 buf = gdb_read_sleb128 (buf, buf_end, r);
388 if (buf == NULL)
389 error (_("DWARF expression error: ran off end of buffer reading sleb128 value"));
390 return buf;
391}
4c2df51b 392
f664829e
DE
393const gdb_byte *
394safe_skip_leb128 (const gdb_byte *buf, const gdb_byte *buf_end)
395{
396 buf = gdb_skip_leb128 (buf, buf_end);
397 if (buf == NULL)
398 error (_("DWARF expression error: ran off end of buffer reading leb128 value"));
4c2df51b
DJ
399 return buf;
400}
4c2df51b 401\f
cec03d70
TT
402
403/* Check that the current operator is either at the end of an
f206f69c
AA
404 expression, or that it is followed by a composition operator or by
405 DW_OP_GNU_uninit (which should terminate the expression). */
cec03d70 406
3cf03773
TT
407void
408dwarf_expr_require_composition (const gdb_byte *op_ptr, const gdb_byte *op_end,
409 const char *op_name)
cec03d70 410{
f206f69c
AA
411 if (op_ptr != op_end && *op_ptr != DW_OP_piece && *op_ptr != DW_OP_bit_piece
412 && *op_ptr != DW_OP_GNU_uninit)
cec03d70 413 error (_("DWARF-2 expression error: `%s' operations must be "
64b9b334 414 "used either alone or in conjunction with DW_OP_piece "
cec03d70
TT
415 "or DW_OP_bit_piece."),
416 op_name);
417}
418
8a9b8146
TT
419/* Return true iff the types T1 and T2 are "the same". This only does
420 checks that might reasonably be needed to compare DWARF base
421 types. */
422
423static int
424base_types_equal_p (struct type *t1, struct type *t2)
425{
426 if (TYPE_CODE (t1) != TYPE_CODE (t2))
427 return 0;
428 if (TYPE_UNSIGNED (t1) != TYPE_UNSIGNED (t2))
429 return 0;
430 return TYPE_LENGTH (t1) == TYPE_LENGTH (t2);
431}
432
433/* A convenience function to call get_base_type on CTX and return the
434 result. DIE is the DIE whose type we need. SIZE is non-zero if
435 this function should verify that the resulting type has the correct
436 size. */
437
438static struct type *
b64f50a1 439dwarf_get_base_type (struct dwarf_expr_context *ctx, cu_offset die, int size)
8a9b8146
TT
440{
441 struct type *result;
442
9e8b7a03 443 if (ctx->funcs->get_base_type)
8a9b8146 444 {
9e8b7a03 445 result = ctx->funcs->get_base_type (ctx, die);
9ff3b74f
TT
446 if (result == NULL)
447 error (_("Could not find type for DW_OP_GNU_const_type"));
8a9b8146
TT
448 if (size != 0 && TYPE_LENGTH (result) != size)
449 error (_("DW_OP_GNU_const_type has different sizes for type and data"));
450 }
451 else
452 /* Anything will do. */
453 result = builtin_type (ctx->gdbarch)->builtin_int;
454
455 return result;
456}
457
8e3b41a9
JK
458/* If <BUF..BUF_END] contains DW_FORM_block* with single DW_OP_reg* return the
459 DWARF register number. Otherwise return -1. */
460
461int
462dwarf_block_to_dwarf_reg (const gdb_byte *buf, const gdb_byte *buf_end)
463{
9fccedf7 464 uint64_t dwarf_reg;
8e3b41a9
JK
465
466 if (buf_end <= buf)
467 return -1;
468 if (*buf >= DW_OP_reg0 && *buf <= DW_OP_reg31)
469 {
470 if (buf_end - buf != 1)
471 return -1;
472 return *buf - DW_OP_reg0;
473 }
474
475 if (*buf == DW_OP_GNU_regval_type)
476 {
477 buf++;
f664829e
DE
478 buf = gdb_read_uleb128 (buf, buf_end, &dwarf_reg);
479 if (buf == NULL)
480 return -1;
481 buf = gdb_skip_leb128 (buf, buf_end);
482 if (buf == NULL)
483 return -1;
8e3b41a9
JK
484 }
485 else if (*buf == DW_OP_regx)
486 {
487 buf++;
f664829e
DE
488 buf = gdb_read_uleb128 (buf, buf_end, &dwarf_reg);
489 if (buf == NULL)
490 return -1;
8e3b41a9
JK
491 }
492 else
493 return -1;
494 if (buf != buf_end || (int) dwarf_reg != dwarf_reg)
495 return -1;
496 return dwarf_reg;
497}
498
a471c594
JK
499/* If <BUF..BUF_END] contains DW_FORM_block* with just DW_OP_breg*(0) and
500 DW_OP_deref* return the DWARF register number. Otherwise return -1.
501 DEREF_SIZE_RETURN contains -1 for DW_OP_deref; otherwise it contains the
502 size from DW_OP_deref_size. */
503
504int
505dwarf_block_to_dwarf_reg_deref (const gdb_byte *buf, const gdb_byte *buf_end,
506 CORE_ADDR *deref_size_return)
507{
9fccedf7
DE
508 uint64_t dwarf_reg;
509 int64_t offset;
a471c594
JK
510
511 if (buf_end <= buf)
512 return -1;
f664829e 513
a471c594
JK
514 if (*buf >= DW_OP_breg0 && *buf <= DW_OP_breg31)
515 {
516 dwarf_reg = *buf - DW_OP_breg0;
517 buf++;
f664829e
DE
518 if (buf >= buf_end)
519 return -1;
a471c594
JK
520 }
521 else if (*buf == DW_OP_bregx)
522 {
523 buf++;
f664829e
DE
524 buf = gdb_read_uleb128 (buf, buf_end, &dwarf_reg);
525 if (buf == NULL)
526 return -1;
a471c594
JK
527 if ((int) dwarf_reg != dwarf_reg)
528 return -1;
529 }
530 else
531 return -1;
532
f664829e
DE
533 buf = gdb_read_sleb128 (buf, buf_end, &offset);
534 if (buf == NULL)
a471c594 535 return -1;
f664829e 536 if (offset != 0)
a471c594
JK
537 return -1;
538
539 if (*buf == DW_OP_deref)
540 {
541 buf++;
542 *deref_size_return = -1;
543 }
544 else if (*buf == DW_OP_deref_size)
545 {
546 buf++;
547 if (buf >= buf_end)
548 return -1;
549 *deref_size_return = *buf++;
550 }
551 else
552 return -1;
553
554 if (buf != buf_end)
555 return -1;
556
557 return dwarf_reg;
558}
559
e18b2753
JK
560/* If <BUF..BUF_END] contains DW_FORM_block* with single DW_OP_fbreg(X) fill
561 in FB_OFFSET_RETURN with the X offset and return 1. Otherwise return 0. */
562
563int
564dwarf_block_to_fb_offset (const gdb_byte *buf, const gdb_byte *buf_end,
565 CORE_ADDR *fb_offset_return)
566{
9fccedf7 567 int64_t fb_offset;
e18b2753
JK
568
569 if (buf_end <= buf)
570 return 0;
571
572 if (*buf != DW_OP_fbreg)
573 return 0;
574 buf++;
575
f664829e
DE
576 buf = gdb_read_sleb128 (buf, buf_end, &fb_offset);
577 if (buf == NULL)
578 return 0;
e18b2753
JK
579 *fb_offset_return = fb_offset;
580 if (buf != buf_end || fb_offset != (LONGEST) *fb_offset_return)
581 return 0;
582
583 return 1;
584}
585
586/* If <BUF..BUF_END] contains DW_FORM_block* with single DW_OP_bregSP(X) fill
587 in SP_OFFSET_RETURN with the X offset and return 1. Otherwise return 0.
588 The matched SP register number depends on GDBARCH. */
589
590int
591dwarf_block_to_sp_offset (struct gdbarch *gdbarch, const gdb_byte *buf,
592 const gdb_byte *buf_end, CORE_ADDR *sp_offset_return)
593{
9fccedf7
DE
594 uint64_t dwarf_reg;
595 int64_t sp_offset;
e18b2753
JK
596
597 if (buf_end <= buf)
598 return 0;
599 if (*buf >= DW_OP_breg0 && *buf <= DW_OP_breg31)
600 {
601 dwarf_reg = *buf - DW_OP_breg0;
602 buf++;
603 }
604 else
605 {
606 if (*buf != DW_OP_bregx)
607 return 0;
608 buf++;
f664829e
DE
609 buf = gdb_read_uleb128 (buf, buf_end, &dwarf_reg);
610 if (buf == NULL)
611 return 0;
e18b2753
JK
612 }
613
0fde2c53 614 if (dwarf_reg_to_regnum (gdbarch, dwarf_reg)
e18b2753
JK
615 != gdbarch_sp_regnum (gdbarch))
616 return 0;
617
f664829e
DE
618 buf = gdb_read_sleb128 (buf, buf_end, &sp_offset);
619 if (buf == NULL)
620 return 0;
e18b2753
JK
621 *sp_offset_return = sp_offset;
622 if (buf != buf_end || sp_offset != (LONGEST) *sp_offset_return)
623 return 0;
624
625 return 1;
626}
627
4c2df51b
DJ
628/* The engine for the expression evaluator. Using the context in CTX,
629 evaluate the expression between OP_PTR and OP_END. */
630
631static void
852483bc 632execute_stack_op (struct dwarf_expr_context *ctx,
0d45f56e 633 const gdb_byte *op_ptr, const gdb_byte *op_end)
4c2df51b 634{
e17a4113 635 enum bfd_endian byte_order = gdbarch_byte_order (ctx->gdbarch);
8a9b8146
TT
636 /* Old-style "untyped" DWARF values need special treatment in a
637 couple of places, specifically DW_OP_mod and DW_OP_shr. We need
638 a special type for these values so we can distinguish them from
639 values that have an explicit type, because explicitly-typed
640 values do not need special treatment. This special type must be
641 different (in the `==' sense) from any base type coming from the
642 CU. */
643 struct type *address_type = dwarf_expr_address_type (ctx);
9a619af0 644
cec03d70 645 ctx->location = DWARF_VALUE_MEMORY;
42be36b3 646 ctx->initialized = 1; /* Default is initialized. */
18ec9831 647
1e3a102a
JK
648 if (ctx->recursion_depth > ctx->max_recursion_depth)
649 error (_("DWARF-2 expression error: Loop detected (%d)."),
650 ctx->recursion_depth);
651 ctx->recursion_depth++;
652
4c2df51b
DJ
653 while (op_ptr < op_end)
654 {
aead7601 655 enum dwarf_location_atom op = (enum dwarf_location_atom) *op_ptr++;
f2c7657e 656 ULONGEST result;
44353522
DE
657 /* Assume the value is not in stack memory.
658 Code that knows otherwise sets this to 1.
659 Some arithmetic on stack addresses can probably be assumed to still
660 be a stack address, but we skip this complication for now.
661 This is just an optimization, so it's always ok to punt
662 and leave this as 0. */
663 int in_stack_memory = 0;
9fccedf7
DE
664 uint64_t uoffset, reg;
665 int64_t offset;
8a9b8146 666 struct value *result_val = NULL;
4c2df51b 667
e0e9434c
TT
668 /* The DWARF expression might have a bug causing an infinite
669 loop. In that case, quitting is the only way out. */
670 QUIT;
671
4c2df51b
DJ
672 switch (op)
673 {
674 case DW_OP_lit0:
675 case DW_OP_lit1:
676 case DW_OP_lit2:
677 case DW_OP_lit3:
678 case DW_OP_lit4:
679 case DW_OP_lit5:
680 case DW_OP_lit6:
681 case DW_OP_lit7:
682 case DW_OP_lit8:
683 case DW_OP_lit9:
684 case DW_OP_lit10:
685 case DW_OP_lit11:
686 case DW_OP_lit12:
687 case DW_OP_lit13:
688 case DW_OP_lit14:
689 case DW_OP_lit15:
690 case DW_OP_lit16:
691 case DW_OP_lit17:
692 case DW_OP_lit18:
693 case DW_OP_lit19:
694 case DW_OP_lit20:
695 case DW_OP_lit21:
696 case DW_OP_lit22:
697 case DW_OP_lit23:
698 case DW_OP_lit24:
699 case DW_OP_lit25:
700 case DW_OP_lit26:
701 case DW_OP_lit27:
702 case DW_OP_lit28:
703 case DW_OP_lit29:
704 case DW_OP_lit30:
705 case DW_OP_lit31:
706 result = op - DW_OP_lit0;
8a9b8146 707 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
708 break;
709
710 case DW_OP_addr:
f2c7657e
UW
711 result = extract_unsigned_integer (op_ptr,
712 ctx->addr_size, byte_order);
ae0d2f24 713 op_ptr += ctx->addr_size;
ac56253d
TT
714 /* Some versions of GCC emit DW_OP_addr before
715 DW_OP_GNU_push_tls_address. In this case the value is an
716 index, not an address. We don't support things like
717 branching between the address and the TLS op. */
718 if (op_ptr >= op_end || *op_ptr != DW_OP_GNU_push_tls_address)
719 result += ctx->offset;
8a9b8146 720 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
721 break;
722
3019eac3 723 case DW_OP_GNU_addr_index:
49f6c839
DE
724 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
725 result = (ctx->funcs->get_addr_index) (ctx->baton, uoffset);
726 result += ctx->offset;
727 result_val = value_from_ulongest (address_type, result);
728 break;
729 case DW_OP_GNU_const_index:
f664829e 730 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
3019eac3
DE
731 result = (ctx->funcs->get_addr_index) (ctx->baton, uoffset);
732 result_val = value_from_ulongest (address_type, result);
733 break;
734
4c2df51b 735 case DW_OP_const1u:
e17a4113 736 result = extract_unsigned_integer (op_ptr, 1, byte_order);
8a9b8146 737 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
738 op_ptr += 1;
739 break;
740 case DW_OP_const1s:
e17a4113 741 result = extract_signed_integer (op_ptr, 1, byte_order);
8a9b8146 742 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
743 op_ptr += 1;
744 break;
745 case DW_OP_const2u:
e17a4113 746 result = extract_unsigned_integer (op_ptr, 2, byte_order);
8a9b8146 747 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
748 op_ptr += 2;
749 break;
750 case DW_OP_const2s:
e17a4113 751 result = extract_signed_integer (op_ptr, 2, byte_order);
8a9b8146 752 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
753 op_ptr += 2;
754 break;
755 case DW_OP_const4u:
e17a4113 756 result = extract_unsigned_integer (op_ptr, 4, byte_order);
8a9b8146 757 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
758 op_ptr += 4;
759 break;
760 case DW_OP_const4s:
e17a4113 761 result = extract_signed_integer (op_ptr, 4, byte_order);
8a9b8146 762 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
763 op_ptr += 4;
764 break;
765 case DW_OP_const8u:
e17a4113 766 result = extract_unsigned_integer (op_ptr, 8, byte_order);
8a9b8146 767 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
768 op_ptr += 8;
769 break;
770 case DW_OP_const8s:
e17a4113 771 result = extract_signed_integer (op_ptr, 8, byte_order);
8a9b8146 772 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
773 op_ptr += 8;
774 break;
775 case DW_OP_constu:
f664829e 776 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
4c2df51b 777 result = uoffset;
8a9b8146 778 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
779 break;
780 case DW_OP_consts:
f664829e 781 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
4c2df51b 782 result = offset;
8a9b8146 783 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
784 break;
785
786 /* The DW_OP_reg operations are required to occur alone in
787 location expressions. */
788 case DW_OP_reg0:
789 case DW_OP_reg1:
790 case DW_OP_reg2:
791 case DW_OP_reg3:
792 case DW_OP_reg4:
793 case DW_OP_reg5:
794 case DW_OP_reg6:
795 case DW_OP_reg7:
796 case DW_OP_reg8:
797 case DW_OP_reg9:
798 case DW_OP_reg10:
799 case DW_OP_reg11:
800 case DW_OP_reg12:
801 case DW_OP_reg13:
802 case DW_OP_reg14:
803 case DW_OP_reg15:
804 case DW_OP_reg16:
805 case DW_OP_reg17:
806 case DW_OP_reg18:
807 case DW_OP_reg19:
808 case DW_OP_reg20:
809 case DW_OP_reg21:
810 case DW_OP_reg22:
811 case DW_OP_reg23:
812 case DW_OP_reg24:
813 case DW_OP_reg25:
814 case DW_OP_reg26:
815 case DW_OP_reg27:
816 case DW_OP_reg28:
817 case DW_OP_reg29:
818 case DW_OP_reg30:
819 case DW_OP_reg31:
f206f69c 820 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_reg");
4c2df51b 821
61fbb938 822 result = op - DW_OP_reg0;
8a9b8146 823 result_val = value_from_ulongest (address_type, result);
cec03d70 824 ctx->location = DWARF_VALUE_REGISTER;
4c2df51b
DJ
825 break;
826
827 case DW_OP_regx:
f664829e 828 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3cf03773 829 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
4c2df51b 830
61fbb938 831 result = reg;
8a9b8146 832 result_val = value_from_ulongest (address_type, result);
cec03d70 833 ctx->location = DWARF_VALUE_REGISTER;
4c2df51b
DJ
834 break;
835
cec03d70
TT
836 case DW_OP_implicit_value:
837 {
9fccedf7 838 uint64_t len;
9a619af0 839
f664829e 840 op_ptr = safe_read_uleb128 (op_ptr, op_end, &len);
cec03d70
TT
841 if (op_ptr + len > op_end)
842 error (_("DW_OP_implicit_value: too few bytes available."));
843 ctx->len = len;
844 ctx->data = op_ptr;
845 ctx->location = DWARF_VALUE_LITERAL;
846 op_ptr += len;
3cf03773
TT
847 dwarf_expr_require_composition (op_ptr, op_end,
848 "DW_OP_implicit_value");
cec03d70
TT
849 }
850 goto no_push;
851
852 case DW_OP_stack_value:
853 ctx->location = DWARF_VALUE_STACK;
3cf03773 854 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_stack_value");
cec03d70
TT
855 goto no_push;
856
8cf6f0b1
TT
857 case DW_OP_GNU_implicit_pointer:
858 {
9fccedf7 859 int64_t len;
8cf6f0b1 860
181cebd4
JK
861 if (ctx->ref_addr_size == -1)
862 error (_("DWARF-2 expression error: DW_OP_GNU_implicit_pointer "
863 "is not allowed in frame context"));
864
8b9737bf 865 /* The referred-to DIE of sect_offset kind. */
181cebd4 866 ctx->len = extract_unsigned_integer (op_ptr, ctx->ref_addr_size,
8cf6f0b1 867 byte_order);
181cebd4 868 op_ptr += ctx->ref_addr_size;
8cf6f0b1
TT
869
870 /* The byte offset into the data. */
f664829e 871 op_ptr = safe_read_sleb128 (op_ptr, op_end, &len);
8cf6f0b1 872 result = (ULONGEST) len;
8a9b8146 873 result_val = value_from_ulongest (address_type, result);
8cf6f0b1
TT
874
875 ctx->location = DWARF_VALUE_IMPLICIT_POINTER;
876 dwarf_expr_require_composition (op_ptr, op_end,
877 "DW_OP_GNU_implicit_pointer");
878 }
879 break;
880
4c2df51b
DJ
881 case DW_OP_breg0:
882 case DW_OP_breg1:
883 case DW_OP_breg2:
884 case DW_OP_breg3:
885 case DW_OP_breg4:
886 case DW_OP_breg5:
887 case DW_OP_breg6:
888 case DW_OP_breg7:
889 case DW_OP_breg8:
890 case DW_OP_breg9:
891 case DW_OP_breg10:
892 case DW_OP_breg11:
893 case DW_OP_breg12:
894 case DW_OP_breg13:
895 case DW_OP_breg14:
896 case DW_OP_breg15:
897 case DW_OP_breg16:
898 case DW_OP_breg17:
899 case DW_OP_breg18:
900 case DW_OP_breg19:
901 case DW_OP_breg20:
902 case DW_OP_breg21:
903 case DW_OP_breg22:
904 case DW_OP_breg23:
905 case DW_OP_breg24:
906 case DW_OP_breg25:
907 case DW_OP_breg26:
908 case DW_OP_breg27:
909 case DW_OP_breg28:
910 case DW_OP_breg29:
911 case DW_OP_breg30:
912 case DW_OP_breg31:
913 {
f664829e 914 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
b1370418
JB
915 result = (ctx->funcs->read_addr_from_reg) (ctx->baton,
916 op - DW_OP_breg0);
4c2df51b 917 result += offset;
8a9b8146 918 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
919 }
920 break;
921 case DW_OP_bregx:
922 {
f664829e
DE
923 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
924 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
b1370418 925 result = (ctx->funcs->read_addr_from_reg) (ctx->baton, reg);
4c2df51b 926 result += offset;
8a9b8146 927 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
928 }
929 break;
930 case DW_OP_fbreg:
931 {
0d45f56e 932 const gdb_byte *datastart;
4c2df51b
DJ
933 size_t datalen;
934 unsigned int before_stack_len;
935
f664829e 936 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
4c2df51b
DJ
937 /* Rather than create a whole new context, we simply
938 record the stack length before execution, then reset it
939 afterwards, effectively erasing whatever the recursive
940 call put there. */
941 before_stack_len = ctx->stack_len;
da62e633
AC
942 /* FIXME: cagney/2003-03-26: This code should be using
943 get_frame_base_address(), and then implement a dwarf2
944 specific this_base method. */
9e8b7a03 945 (ctx->funcs->get_frame_base) (ctx->baton, &datastart, &datalen);
4c2df51b 946 dwarf_expr_eval (ctx, datastart, datalen);
f2c7657e
UW
947 if (ctx->location == DWARF_VALUE_MEMORY)
948 result = dwarf_expr_fetch_address (ctx, 0);
949 else if (ctx->location == DWARF_VALUE_REGISTER)
b1370418
JB
950 result = (ctx->funcs->read_addr_from_reg)
951 (ctx->baton,
952 value_as_long (dwarf_expr_fetch (ctx, 0)));
f2c7657e 953 else
3e43a32a
MS
954 error (_("Not implemented: computing frame "
955 "base using explicit value operator"));
4c2df51b 956 result = result + offset;
8a9b8146 957 result_val = value_from_ulongest (address_type, result);
44353522 958 in_stack_memory = 1;
4c2df51b 959 ctx->stack_len = before_stack_len;
cec03d70 960 ctx->location = DWARF_VALUE_MEMORY;
4c2df51b
DJ
961 }
962 break;
44353522 963
4c2df51b 964 case DW_OP_dup:
8a9b8146 965 result_val = dwarf_expr_fetch (ctx, 0);
44353522 966 in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, 0);
4c2df51b
DJ
967 break;
968
969 case DW_OP_drop:
970 dwarf_expr_pop (ctx);
971 goto no_push;
972
973 case DW_OP_pick:
974 offset = *op_ptr++;
8a9b8146 975 result_val = dwarf_expr_fetch (ctx, offset);
44353522 976 in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, offset);
4c2df51b 977 break;
9f3fe11c
TG
978
979 case DW_OP_swap:
980 {
44353522 981 struct dwarf_stack_value t1, t2;
9f3fe11c
TG
982
983 if (ctx->stack_len < 2)
3e43a32a 984 error (_("Not enough elements for "
0963b4bd 985 "DW_OP_swap. Need 2, have %d."),
9f3fe11c
TG
986 ctx->stack_len);
987 t1 = ctx->stack[ctx->stack_len - 1];
988 t2 = ctx->stack[ctx->stack_len - 2];
989 ctx->stack[ctx->stack_len - 1] = t2;
990 ctx->stack[ctx->stack_len - 2] = t1;
991 goto no_push;
992 }
4c2df51b
DJ
993
994 case DW_OP_over:
8a9b8146 995 result_val = dwarf_expr_fetch (ctx, 1);
44353522 996 in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, 1);
4c2df51b
DJ
997 break;
998
999 case DW_OP_rot:
1000 {
44353522 1001 struct dwarf_stack_value t1, t2, t3;
4c2df51b
DJ
1002
1003 if (ctx->stack_len < 3)
0963b4bd
MS
1004 error (_("Not enough elements for "
1005 "DW_OP_rot. Need 3, have %d."),
4c2df51b
DJ
1006 ctx->stack_len);
1007 t1 = ctx->stack[ctx->stack_len - 1];
1008 t2 = ctx->stack[ctx->stack_len - 2];
1009 t3 = ctx->stack[ctx->stack_len - 3];
1010 ctx->stack[ctx->stack_len - 1] = t2;
1011 ctx->stack[ctx->stack_len - 2] = t3;
1012 ctx->stack[ctx->stack_len - 3] = t1;
1013 goto no_push;
1014 }
1015
1016 case DW_OP_deref:
1017 case DW_OP_deref_size:
8a9b8146 1018 case DW_OP_GNU_deref_type:
f2c7657e
UW
1019 {
1020 int addr_size = (op == DW_OP_deref ? ctx->addr_size : *op_ptr++);
224c3ddb 1021 gdb_byte *buf = (gdb_byte *) alloca (addr_size);
f2c7657e 1022 CORE_ADDR addr = dwarf_expr_fetch_address (ctx, 0);
8a9b8146
TT
1023 struct type *type;
1024
f2c7657e
UW
1025 dwarf_expr_pop (ctx);
1026
8a9b8146
TT
1027 if (op == DW_OP_GNU_deref_type)
1028 {
b64f50a1 1029 cu_offset type_die;
8a9b8146 1030
f664829e 1031 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
b64f50a1 1032 type_die.cu_off = uoffset;
8a9b8146
TT
1033 type = dwarf_get_base_type (ctx, type_die, 0);
1034 }
1035 else
1036 type = address_type;
1037
9e8b7a03 1038 (ctx->funcs->read_mem) (ctx->baton, buf, addr, addr_size);
325663dc
JB
1039
1040 /* If the size of the object read from memory is different
1041 from the type length, we need to zero-extend it. */
1042 if (TYPE_LENGTH (type) != addr_size)
1043 {
1044 ULONGEST result =
1045 extract_unsigned_integer (buf, addr_size, byte_order);
1046
224c3ddb 1047 buf = (gdb_byte *) alloca (TYPE_LENGTH (type));
325663dc
JB
1048 store_unsigned_integer (buf, TYPE_LENGTH (type),
1049 byte_order, result);
1050 }
1051
8a9b8146 1052 result_val = value_from_contents_and_address (type, buf, addr);
f2c7657e
UW
1053 break;
1054 }
1055
4c2df51b
DJ
1056 case DW_OP_abs:
1057 case DW_OP_neg:
1058 case DW_OP_not:
1059 case DW_OP_plus_uconst:
8a9b8146
TT
1060 {
1061 /* Unary operations. */
1062 result_val = dwarf_expr_fetch (ctx, 0);
1063 dwarf_expr_pop (ctx);
4c2df51b 1064
8a9b8146
TT
1065 switch (op)
1066 {
1067 case DW_OP_abs:
1068 if (value_less (result_val,
1069 value_zero (value_type (result_val), not_lval)))
1070 result_val = value_neg (result_val);
1071 break;
1072 case DW_OP_neg:
1073 result_val = value_neg (result_val);
1074 break;
1075 case DW_OP_not:
1076 dwarf_require_integral (value_type (result_val));
1077 result_val = value_complement (result_val);
1078 break;
1079 case DW_OP_plus_uconst:
1080 dwarf_require_integral (value_type (result_val));
1081 result = value_as_long (result_val);
f664829e 1082 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
8a9b8146
TT
1083 result += reg;
1084 result_val = value_from_ulongest (address_type, result);
1085 break;
1086 }
1087 }
4c2df51b
DJ
1088 break;
1089
1090 case DW_OP_and:
1091 case DW_OP_div:
1092 case DW_OP_minus:
1093 case DW_OP_mod:
1094 case DW_OP_mul:
1095 case DW_OP_or:
1096 case DW_OP_plus:
1097 case DW_OP_shl:
1098 case DW_OP_shr:
1099 case DW_OP_shra:
1100 case DW_OP_xor:
1101 case DW_OP_le:
1102 case DW_OP_ge:
1103 case DW_OP_eq:
1104 case DW_OP_lt:
1105 case DW_OP_gt:
1106 case DW_OP_ne:
1107 {
f2c7657e 1108 /* Binary operations. */
8a9b8146 1109 struct value *first, *second;
4c2df51b
DJ
1110
1111 second = dwarf_expr_fetch (ctx, 0);
1112 dwarf_expr_pop (ctx);
1113
b263358a 1114 first = dwarf_expr_fetch (ctx, 0);
4c2df51b
DJ
1115 dwarf_expr_pop (ctx);
1116
8a9b8146
TT
1117 if (! base_types_equal_p (value_type (first), value_type (second)))
1118 error (_("Incompatible types on DWARF stack"));
1119
4c2df51b
DJ
1120 switch (op)
1121 {
1122 case DW_OP_and:
8a9b8146
TT
1123 dwarf_require_integral (value_type (first));
1124 dwarf_require_integral (value_type (second));
1125 result_val = value_binop (first, second, BINOP_BITWISE_AND);
4c2df51b
DJ
1126 break;
1127 case DW_OP_div:
8a9b8146 1128 result_val = value_binop (first, second, BINOP_DIV);
99c87dab 1129 break;
4c2df51b 1130 case DW_OP_minus:
8a9b8146 1131 result_val = value_binop (first, second, BINOP_SUB);
4c2df51b
DJ
1132 break;
1133 case DW_OP_mod:
8a9b8146
TT
1134 {
1135 int cast_back = 0;
1136 struct type *orig_type = value_type (first);
1137
1138 /* We have to special-case "old-style" untyped values
1139 -- these must have mod computed using unsigned
1140 math. */
1141 if (orig_type == address_type)
1142 {
1143 struct type *utype
1144 = get_unsigned_type (ctx->gdbarch, orig_type);
1145
1146 cast_back = 1;
1147 first = value_cast (utype, first);
1148 second = value_cast (utype, second);
1149 }
1150 /* Note that value_binop doesn't handle float or
1151 decimal float here. This seems unimportant. */
1152 result_val = value_binop (first, second, BINOP_MOD);
1153 if (cast_back)
1154 result_val = value_cast (orig_type, result_val);
1155 }
4c2df51b
DJ
1156 break;
1157 case DW_OP_mul:
8a9b8146 1158 result_val = value_binop (first, second, BINOP_MUL);
4c2df51b
DJ
1159 break;
1160 case DW_OP_or:
8a9b8146
TT
1161 dwarf_require_integral (value_type (first));
1162 dwarf_require_integral (value_type (second));
1163 result_val = value_binop (first, second, BINOP_BITWISE_IOR);
4c2df51b
DJ
1164 break;
1165 case DW_OP_plus:
8a9b8146 1166 result_val = value_binop (first, second, BINOP_ADD);
4c2df51b
DJ
1167 break;
1168 case DW_OP_shl:
8a9b8146
TT
1169 dwarf_require_integral (value_type (first));
1170 dwarf_require_integral (value_type (second));
1171 result_val = value_binop (first, second, BINOP_LSH);
4c2df51b
DJ
1172 break;
1173 case DW_OP_shr:
8a9b8146
TT
1174 dwarf_require_integral (value_type (first));
1175 dwarf_require_integral (value_type (second));
b087e0ed 1176 if (!TYPE_UNSIGNED (value_type (first)))
8a9b8146
TT
1177 {
1178 struct type *utype
1179 = get_unsigned_type (ctx->gdbarch, value_type (first));
1180
1181 first = value_cast (utype, first);
1182 }
1183
1184 result_val = value_binop (first, second, BINOP_RSH);
1185 /* Make sure we wind up with the same type we started
1186 with. */
1187 if (value_type (result_val) != value_type (second))
1188 result_val = value_cast (value_type (second), result_val);
99c87dab 1189 break;
4c2df51b 1190 case DW_OP_shra:
8a9b8146
TT
1191 dwarf_require_integral (value_type (first));
1192 dwarf_require_integral (value_type (second));
8ddd9a20
TT
1193 if (TYPE_UNSIGNED (value_type (first)))
1194 {
1195 struct type *stype
1196 = get_signed_type (ctx->gdbarch, value_type (first));
1197
1198 first = value_cast (stype, first);
1199 }
1200
8a9b8146 1201 result_val = value_binop (first, second, BINOP_RSH);
8ddd9a20
TT
1202 /* Make sure we wind up with the same type we started
1203 with. */
1204 if (value_type (result_val) != value_type (second))
1205 result_val = value_cast (value_type (second), result_val);
4c2df51b
DJ
1206 break;
1207 case DW_OP_xor:
8a9b8146
TT
1208 dwarf_require_integral (value_type (first));
1209 dwarf_require_integral (value_type (second));
1210 result_val = value_binop (first, second, BINOP_BITWISE_XOR);
4c2df51b
DJ
1211 break;
1212 case DW_OP_le:
8a9b8146
TT
1213 /* A <= B is !(B < A). */
1214 result = ! value_less (second, first);
1215 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1216 break;
1217 case DW_OP_ge:
8a9b8146
TT
1218 /* A >= B is !(A < B). */
1219 result = ! value_less (first, second);
1220 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1221 break;
1222 case DW_OP_eq:
8a9b8146
TT
1223 result = value_equal (first, second);
1224 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1225 break;
1226 case DW_OP_lt:
8a9b8146
TT
1227 result = value_less (first, second);
1228 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1229 break;
1230 case DW_OP_gt:
8a9b8146
TT
1231 /* A > B is B < A. */
1232 result = value_less (second, first);
1233 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1234 break;
1235 case DW_OP_ne:
8a9b8146
TT
1236 result = ! value_equal (first, second);
1237 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1238 break;
1239 default:
1240 internal_error (__FILE__, __LINE__,
e2e0b3e5 1241 _("Can't be reached."));
4c2df51b 1242 }
4c2df51b
DJ
1243 }
1244 break;
1245
e7802207 1246 case DW_OP_call_frame_cfa:
9e8b7a03 1247 result = (ctx->funcs->get_frame_cfa) (ctx->baton);
8a9b8146 1248 result_val = value_from_ulongest (address_type, result);
44353522 1249 in_stack_memory = 1;
e7802207
TT
1250 break;
1251
4c2df51b 1252 case DW_OP_GNU_push_tls_address:
4aa4e28b 1253 case DW_OP_form_tls_address:
c3228f12
EZ
1254 /* Variable is at a constant offset in the thread-local
1255 storage block into the objfile for the current thread and
0963b4bd 1256 the dynamic linker module containing this expression. Here
c3228f12
EZ
1257 we return returns the offset from that base. The top of the
1258 stack has the offset from the beginning of the thread
1259 control block at which the variable is located. Nothing
1260 should follow this operator, so the top of stack would be
1261 returned. */
8a9b8146 1262 result = value_as_long (dwarf_expr_fetch (ctx, 0));
4c2df51b 1263 dwarf_expr_pop (ctx);
9e8b7a03 1264 result = (ctx->funcs->get_tls_address) (ctx->baton, result);
8a9b8146 1265 result_val = value_from_ulongest (address_type, result);
4c2df51b
DJ
1266 break;
1267
1268 case DW_OP_skip:
e17a4113 1269 offset = extract_signed_integer (op_ptr, 2, byte_order);
4c2df51b
DJ
1270 op_ptr += 2;
1271 op_ptr += offset;
1272 goto no_push;
1273
1274 case DW_OP_bra:
8a9b8146
TT
1275 {
1276 struct value *val;
1277
1278 offset = extract_signed_integer (op_ptr, 2, byte_order);
1279 op_ptr += 2;
1280 val = dwarf_expr_fetch (ctx, 0);
1281 dwarf_require_integral (value_type (val));
1282 if (value_as_long (val) != 0)
1283 op_ptr += offset;
1284 dwarf_expr_pop (ctx);
1285 }
4c2df51b
DJ
1286 goto no_push;
1287
1288 case DW_OP_nop:
1289 goto no_push;
1290
87808bd6
JB
1291 case DW_OP_piece:
1292 {
9fccedf7 1293 uint64_t size;
87808bd6
JB
1294
1295 /* Record the piece. */
f664829e 1296 op_ptr = safe_read_uleb128 (op_ptr, op_end, &size);
d3b1e874 1297 add_piece (ctx, 8 * size, 0);
87808bd6 1298
cec03d70
TT
1299 /* Pop off the address/regnum, and reset the location
1300 type. */
cb826367
TT
1301 if (ctx->location != DWARF_VALUE_LITERAL
1302 && ctx->location != DWARF_VALUE_OPTIMIZED_OUT)
cec03d70
TT
1303 dwarf_expr_pop (ctx);
1304 ctx->location = DWARF_VALUE_MEMORY;
87808bd6
JB
1305 }
1306 goto no_push;
1307
d3b1e874
TT
1308 case DW_OP_bit_piece:
1309 {
9fccedf7 1310 uint64_t size, offset;
d3b1e874
TT
1311
1312 /* Record the piece. */
f664829e
DE
1313 op_ptr = safe_read_uleb128 (op_ptr, op_end, &size);
1314 op_ptr = safe_read_uleb128 (op_ptr, op_end, &offset);
d3b1e874
TT
1315 add_piece (ctx, size, offset);
1316
1317 /* Pop off the address/regnum, and reset the location
1318 type. */
1319 if (ctx->location != DWARF_VALUE_LITERAL
1320 && ctx->location != DWARF_VALUE_OPTIMIZED_OUT)
1321 dwarf_expr_pop (ctx);
1322 ctx->location = DWARF_VALUE_MEMORY;
1323 }
1324 goto no_push;
1325
42be36b3
CT
1326 case DW_OP_GNU_uninit:
1327 if (op_ptr != op_end)
9c482037 1328 error (_("DWARF-2 expression error: DW_OP_GNU_uninit must always "
42be36b3
CT
1329 "be the very last op."));
1330
1331 ctx->initialized = 0;
1332 goto no_push;
1333
5c631832 1334 case DW_OP_call2:
b64f50a1
JK
1335 {
1336 cu_offset offset;
1337
1338 offset.cu_off = extract_unsigned_integer (op_ptr, 2, byte_order);
1339 op_ptr += 2;
1340 ctx->funcs->dwarf_call (ctx, offset);
1341 }
5c631832
JK
1342 goto no_push;
1343
1344 case DW_OP_call4:
b64f50a1
JK
1345 {
1346 cu_offset offset;
1347
1348 offset.cu_off = extract_unsigned_integer (op_ptr, 4, byte_order);
1349 op_ptr += 4;
1350 ctx->funcs->dwarf_call (ctx, offset);
1351 }
5c631832 1352 goto no_push;
dd90784c
JK
1353
1354 case DW_OP_GNU_entry_value:
8e3b41a9 1355 {
9fccedf7 1356 uint64_t len;
8e3b41a9 1357 CORE_ADDR deref_size;
24c5c679 1358 union call_site_parameter_u kind_u;
8e3b41a9 1359
f664829e 1360 op_ptr = safe_read_uleb128 (op_ptr, op_end, &len);
8e3b41a9
JK
1361 if (op_ptr + len > op_end)
1362 error (_("DW_OP_GNU_entry_value: too few bytes available."));
1363
24c5c679
JK
1364 kind_u.dwarf_reg = dwarf_block_to_dwarf_reg (op_ptr, op_ptr + len);
1365 if (kind_u.dwarf_reg != -1)
8e3b41a9
JK
1366 {
1367 op_ptr += len;
24c5c679
JK
1368 ctx->funcs->push_dwarf_reg_entry_value (ctx,
1369 CALL_SITE_PARAMETER_DWARF_REG,
1370 kind_u,
a471c594
JK
1371 -1 /* deref_size */);
1372 goto no_push;
1373 }
1374
24c5c679
JK
1375 kind_u.dwarf_reg = dwarf_block_to_dwarf_reg_deref (op_ptr,
1376 op_ptr + len,
1377 &deref_size);
1378 if (kind_u.dwarf_reg != -1)
a471c594
JK
1379 {
1380 if (deref_size == -1)
1381 deref_size = ctx->addr_size;
1382 op_ptr += len;
24c5c679
JK
1383 ctx->funcs->push_dwarf_reg_entry_value (ctx,
1384 CALL_SITE_PARAMETER_DWARF_REG,
1385 kind_u, deref_size);
8e3b41a9
JK
1386 goto no_push;
1387 }
1388
1389 error (_("DWARF-2 expression error: DW_OP_GNU_entry_value is "
a471c594
JK
1390 "supported only for single DW_OP_reg* "
1391 "or for DW_OP_breg*(0)+DW_OP_deref*"));
8e3b41a9 1392 }
5c631832 1393
1788b2d3
JK
1394 case DW_OP_GNU_parameter_ref:
1395 {
1396 union call_site_parameter_u kind_u;
1397
1398 kind_u.param_offset.cu_off = extract_unsigned_integer (op_ptr, 4,
1399 byte_order);
1400 op_ptr += 4;
1401 ctx->funcs->push_dwarf_reg_entry_value (ctx,
1402 CALL_SITE_PARAMETER_PARAM_OFFSET,
1403 kind_u,
1404 -1 /* deref_size */);
1405 }
1406 goto no_push;
1407
8a9b8146
TT
1408 case DW_OP_GNU_const_type:
1409 {
b64f50a1 1410 cu_offset type_die;
8a9b8146
TT
1411 int n;
1412 const gdb_byte *data;
1413 struct type *type;
1414
f664829e 1415 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
b64f50a1 1416 type_die.cu_off = uoffset;
8a9b8146
TT
1417 n = *op_ptr++;
1418 data = op_ptr;
1419 op_ptr += n;
1420
1421 type = dwarf_get_base_type (ctx, type_die, n);
1422 result_val = value_from_contents (type, data);
1423 }
1424 break;
1425
1426 case DW_OP_GNU_regval_type:
1427 {
b64f50a1 1428 cu_offset type_die;
8a9b8146
TT
1429 struct type *type;
1430
f664829e
DE
1431 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
1432 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
b64f50a1 1433 type_die.cu_off = uoffset;
8a9b8146
TT
1434
1435 type = dwarf_get_base_type (ctx, type_die, 0);
0acf8b65 1436 result_val = ctx->funcs->get_reg_value (ctx->baton, type, reg);
8a9b8146
TT
1437 }
1438 break;
1439
1440 case DW_OP_GNU_convert:
1441 case DW_OP_GNU_reinterpret:
1442 {
b64f50a1 1443 cu_offset type_die;
8a9b8146
TT
1444 struct type *type;
1445
f664829e 1446 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
b64f50a1 1447 type_die.cu_off = uoffset;
8a9b8146 1448
b64f50a1 1449 if (type_die.cu_off == 0)
c38c4bc5
TT
1450 type = address_type;
1451 else
1452 type = dwarf_get_base_type (ctx, type_die, 0);
8a9b8146
TT
1453
1454 result_val = dwarf_expr_fetch (ctx, 0);
1455 dwarf_expr_pop (ctx);
1456
1457 if (op == DW_OP_GNU_convert)
1458 result_val = value_cast (type, result_val);
1459 else if (type == value_type (result_val))
1460 {
1461 /* Nothing. */
1462 }
1463 else if (TYPE_LENGTH (type)
1464 != TYPE_LENGTH (value_type (result_val)))
1465 error (_("DW_OP_GNU_reinterpret has wrong size"));
1466 else
1467 result_val
1468 = value_from_contents (type,
1469 value_contents_all (result_val));
1470 }
1471 break;
1472
08412b07
JB
1473 case DW_OP_push_object_address:
1474 /* Return the address of the object we are currently observing. */
1475 result = (ctx->funcs->get_object_address) (ctx->baton);
1476 result_val = value_from_ulongest (address_type, result);
1477 break;
1478
4c2df51b 1479 default:
8a3fe4f8 1480 error (_("Unhandled dwarf expression opcode 0x%x"), op);
4c2df51b
DJ
1481 }
1482
1483 /* Most things push a result value. */
8a9b8146
TT
1484 gdb_assert (result_val != NULL);
1485 dwarf_expr_push (ctx, result_val, in_stack_memory);
82ae4854 1486 no_push:
b27cf2b3 1487 ;
4c2df51b 1488 }
1e3a102a 1489
8cf6f0b1
TT
1490 /* To simplify our main caller, if the result is an implicit
1491 pointer, then make a pieced value. This is ok because we can't
1492 have implicit pointers in contexts where pieces are invalid. */
1493 if (ctx->location == DWARF_VALUE_IMPLICIT_POINTER)
1494 add_piece (ctx, 8 * ctx->addr_size, 0);
1495
dd90784c 1496abort_expression:
1e3a102a
JK
1497 ctx->recursion_depth--;
1498 gdb_assert (ctx->recursion_depth >= 0);
8a9b8146
TT
1499}
1500
523f3620
JK
1501/* Stub dwarf_expr_context_funcs.get_frame_base implementation. */
1502
1503void
1504ctx_no_get_frame_base (void *baton, const gdb_byte **start, size_t *length)
1505{
1506 error (_("%s is invalid in this context"), "DW_OP_fbreg");
1507}
1508
1509/* Stub dwarf_expr_context_funcs.get_frame_cfa implementation. */
1510
1511CORE_ADDR
1512ctx_no_get_frame_cfa (void *baton)
1513{
1514 error (_("%s is invalid in this context"), "DW_OP_call_frame_cfa");
1515}
1516
1517/* Stub dwarf_expr_context_funcs.get_frame_pc implementation. */
1518
1519CORE_ADDR
1520ctx_no_get_frame_pc (void *baton)
1521{
1522 error (_("%s is invalid in this context"), "DW_OP_GNU_implicit_pointer");
1523}
1524
1525/* Stub dwarf_expr_context_funcs.get_tls_address implementation. */
1526
1527CORE_ADDR
1528ctx_no_get_tls_address (void *baton, CORE_ADDR offset)
1529{
4aa4e28b 1530 error (_("%s is invalid in this context"), "DW_OP_form_tls_address");
523f3620
JK
1531}
1532
1533/* Stub dwarf_expr_context_funcs.dwarf_call implementation. */
1534
1535void
b64f50a1 1536ctx_no_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset)
523f3620
JK
1537{
1538 error (_("%s is invalid in this context"), "DW_OP_call*");
1539}
1540
1541/* Stub dwarf_expr_context_funcs.get_base_type implementation. */
1542
1543struct type *
b64f50a1 1544ctx_no_get_base_type (struct dwarf_expr_context *ctx, cu_offset die)
523f3620
JK
1545{
1546 error (_("Support for typed DWARF is not supported in this context"));
1547}
1548
8e3b41a9
JK
1549/* Stub dwarf_expr_context_funcs.push_dwarf_block_entry_value
1550 implementation. */
1551
1552void
1553ctx_no_push_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
24c5c679
JK
1554 enum call_site_parameter_kind kind,
1555 union call_site_parameter_u kind_u,
a471c594 1556 int deref_size)
8e3b41a9
JK
1557{
1558 internal_error (__FILE__, __LINE__,
1559 _("Support for DW_OP_GNU_entry_value is unimplemented"));
1560}
1561
3019eac3
DE
1562/* Stub dwarf_expr_context_funcs.get_addr_index implementation. */
1563
1564CORE_ADDR
1565ctx_no_get_addr_index (void *baton, unsigned int index)
1566{
1567 error (_("%s is invalid in this context"), "DW_OP_GNU_addr_index");
1568}
1569
70221824
PA
1570/* Provide a prototype to silence -Wmissing-prototypes. */
1571extern initialize_file_ftype _initialize_dwarf2expr;
1572
8a9b8146
TT
1573void
1574_initialize_dwarf2expr (void)
1575{
1576 dwarf_arch_cookie
1577 = gdbarch_data_register_post_init (dwarf_gdbarch_types_init);
4c2df51b 1578}
This page took 1.024946 seconds and 4 git commands to generate.