ld: don't use ia64 register name in expression of pr16322 test
[deliverable/binutils-gdb.git] / gdb / dwarf2loc.c
CommitLineData
4c2df51b 1/* DWARF 2 location expression support for GDB.
feb13ab0 2
32d0add0 3 Copyright (C) 2003-2015 Free Software Foundation, Inc.
feb13ab0 4
4c2df51b
DJ
5 Contributed by Daniel Jacobowitz, MontaVista Software, Inc.
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
JB
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
4c2df51b 13
a9762ec7
JB
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.
4c2df51b
DJ
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 "ui-out.h"
24#include "value.h"
25#include "frame.h"
26#include "gdbcore.h"
27#include "target.h"
28#include "inferior.h"
a55cc764
DJ
29#include "ax.h"
30#include "ax-gdb.h"
e4adbba9 31#include "regcache.h"
c3228f12 32#include "objfiles.h"
edb3359d 33#include "block.h"
8e3b41a9 34#include "gdbcmd.h"
4c2df51b 35
fa8f86ff 36#include "dwarf2.h"
4c2df51b
DJ
37#include "dwarf2expr.h"
38#include "dwarf2loc.h"
e7802207 39#include "dwarf2-frame.h"
bb2ec1b3 40#include "compile/compile.h"
4c2df51b 41
9eae7c52
TT
42extern int dwarf2_always_disassemble;
43
8e3b41a9
JK
44static const struct dwarf_expr_context_funcs dwarf_expr_ctx_funcs;
45
1632a688
JK
46static struct value *dwarf2_evaluate_loc_desc_full (struct type *type,
47 struct frame_info *frame,
48 const gdb_byte *data,
56eb65bd
SP
49 size_t size,
50 struct dwarf2_per_cu_data *per_cu,
1632a688 51 LONGEST byte_offset);
8cf6f0b1 52
f664829e
DE
53/* Until these have formal names, we define these here.
54 ref: http://gcc.gnu.org/wiki/DebugFission
55 Each entry in .debug_loc.dwo begins with a byte that describes the entry,
56 and is then followed by data specific to that entry. */
57
58enum debug_loc_kind
59{
60 /* Indicates the end of the list of entries. */
61 DEBUG_LOC_END_OF_LIST = 0,
62
63 /* This is followed by an unsigned LEB128 number that is an index into
64 .debug_addr and specifies the base address for all following entries. */
65 DEBUG_LOC_BASE_ADDRESS = 1,
66
67 /* This is followed by two unsigned LEB128 numbers that are indices into
68 .debug_addr and specify the beginning and ending addresses, and then
69 a normal location expression as in .debug_loc. */
3771a44c
DE
70 DEBUG_LOC_START_END = 2,
71
72 /* This is followed by an unsigned LEB128 number that is an index into
73 .debug_addr and specifies the beginning address, and a 4 byte unsigned
74 number that specifies the length, and then a normal location expression
75 as in .debug_loc. */
76 DEBUG_LOC_START_LENGTH = 3,
f664829e
DE
77
78 /* An internal value indicating there is insufficient data. */
79 DEBUG_LOC_BUFFER_OVERFLOW = -1,
80
81 /* An internal value indicating an invalid kind of entry was found. */
82 DEBUG_LOC_INVALID_ENTRY = -2
83};
84
b6807d98
TT
85/* Helper function which throws an error if a synthetic pointer is
86 invalid. */
87
88static void
89invalid_synthetic_pointer (void)
90{
91 error (_("access outside bounds of object "
92 "referenced via synthetic pointer"));
93}
94
f664829e
DE
95/* Decode the addresses in a non-dwo .debug_loc entry.
96 A pointer to the next byte to examine is returned in *NEW_PTR.
97 The encoded low,high addresses are return in *LOW,*HIGH.
98 The result indicates the kind of entry found. */
99
100static enum debug_loc_kind
101decode_debug_loc_addresses (const gdb_byte *loc_ptr, const gdb_byte *buf_end,
102 const gdb_byte **new_ptr,
103 CORE_ADDR *low, CORE_ADDR *high,
104 enum bfd_endian byte_order,
105 unsigned int addr_size,
106 int signed_addr_p)
107{
108 CORE_ADDR base_mask = ~(~(CORE_ADDR)1 << (addr_size * 8 - 1));
109
110 if (buf_end - loc_ptr < 2 * addr_size)
111 return DEBUG_LOC_BUFFER_OVERFLOW;
112
113 if (signed_addr_p)
114 *low = extract_signed_integer (loc_ptr, addr_size, byte_order);
115 else
116 *low = extract_unsigned_integer (loc_ptr, addr_size, byte_order);
117 loc_ptr += addr_size;
118
119 if (signed_addr_p)
120 *high = extract_signed_integer (loc_ptr, addr_size, byte_order);
121 else
122 *high = extract_unsigned_integer (loc_ptr, addr_size, byte_order);
123 loc_ptr += addr_size;
124
125 *new_ptr = loc_ptr;
126
127 /* A base-address-selection entry. */
128 if ((*low & base_mask) == base_mask)
129 return DEBUG_LOC_BASE_ADDRESS;
130
131 /* An end-of-list entry. */
132 if (*low == 0 && *high == 0)
133 return DEBUG_LOC_END_OF_LIST;
134
3771a44c 135 return DEBUG_LOC_START_END;
f664829e
DE
136}
137
138/* Decode the addresses in .debug_loc.dwo entry.
139 A pointer to the next byte to examine is returned in *NEW_PTR.
140 The encoded low,high addresses are return in *LOW,*HIGH.
141 The result indicates the kind of entry found. */
142
143static enum debug_loc_kind
144decode_debug_loc_dwo_addresses (struct dwarf2_per_cu_data *per_cu,
145 const gdb_byte *loc_ptr,
146 const gdb_byte *buf_end,
147 const gdb_byte **new_ptr,
3771a44c
DE
148 CORE_ADDR *low, CORE_ADDR *high,
149 enum bfd_endian byte_order)
f664829e 150{
9fccedf7 151 uint64_t low_index, high_index;
f664829e
DE
152
153 if (loc_ptr == buf_end)
154 return DEBUG_LOC_BUFFER_OVERFLOW;
155
156 switch (*loc_ptr++)
157 {
158 case DEBUG_LOC_END_OF_LIST:
159 *new_ptr = loc_ptr;
160 return DEBUG_LOC_END_OF_LIST;
161 case DEBUG_LOC_BASE_ADDRESS:
162 *low = 0;
163 loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &high_index);
164 if (loc_ptr == NULL)
165 return DEBUG_LOC_BUFFER_OVERFLOW;
166 *high = dwarf2_read_addr_index (per_cu, high_index);
167 *new_ptr = loc_ptr;
168 return DEBUG_LOC_BASE_ADDRESS;
3771a44c 169 case DEBUG_LOC_START_END:
f664829e
DE
170 loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &low_index);
171 if (loc_ptr == NULL)
172 return DEBUG_LOC_BUFFER_OVERFLOW;
173 *low = dwarf2_read_addr_index (per_cu, low_index);
174 loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &high_index);
175 if (loc_ptr == NULL)
176 return DEBUG_LOC_BUFFER_OVERFLOW;
177 *high = dwarf2_read_addr_index (per_cu, high_index);
178 *new_ptr = loc_ptr;
3771a44c
DE
179 return DEBUG_LOC_START_END;
180 case DEBUG_LOC_START_LENGTH:
181 loc_ptr = gdb_read_uleb128 (loc_ptr, buf_end, &low_index);
182 if (loc_ptr == NULL)
183 return DEBUG_LOC_BUFFER_OVERFLOW;
184 *low = dwarf2_read_addr_index (per_cu, low_index);
185 if (loc_ptr + 4 > buf_end)
186 return DEBUG_LOC_BUFFER_OVERFLOW;
187 *high = *low;
188 *high += extract_unsigned_integer (loc_ptr, 4, byte_order);
189 *new_ptr = loc_ptr + 4;
190 return DEBUG_LOC_START_LENGTH;
f664829e
DE
191 default:
192 return DEBUG_LOC_INVALID_ENTRY;
193 }
194}
195
8cf6f0b1 196/* A function for dealing with location lists. Given a
0d53c4c4
DJ
197 symbol baton (BATON) and a pc value (PC), find the appropriate
198 location expression, set *LOCEXPR_LENGTH, and return a pointer
199 to the beginning of the expression. Returns NULL on failure.
200
201 For now, only return the first matching location expression; there
202 can be more than one in the list. */
203
8cf6f0b1
TT
204const gdb_byte *
205dwarf2_find_location_expression (struct dwarf2_loclist_baton *baton,
206 size_t *locexpr_length, CORE_ADDR pc)
0d53c4c4 207{
ae0d2f24 208 struct objfile *objfile = dwarf2_per_cu_objfile (baton->per_cu);
f7fd4728 209 struct gdbarch *gdbarch = get_objfile_arch (objfile);
e17a4113 210 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
ae0d2f24 211 unsigned int addr_size = dwarf2_per_cu_addr_size (baton->per_cu);
d4a087c7 212 int signed_addr_p = bfd_get_sign_extend_vma (objfile->obfd);
8edfa926 213 /* Adjust base_address for relocatable objects. */
9aa1f1e3 214 CORE_ADDR base_offset = dwarf2_per_cu_text_offset (baton->per_cu);
8edfa926 215 CORE_ADDR base_address = baton->base_address + base_offset;
f664829e 216 const gdb_byte *loc_ptr, *buf_end;
0d53c4c4
DJ
217
218 loc_ptr = baton->data;
219 buf_end = baton->data + baton->size;
220
221 while (1)
222 {
f664829e
DE
223 CORE_ADDR low = 0, high = 0; /* init for gcc -Wall */
224 int length;
225 enum debug_loc_kind kind;
226 const gdb_byte *new_ptr = NULL; /* init for gcc -Wall */
227
228 if (baton->from_dwo)
229 kind = decode_debug_loc_dwo_addresses (baton->per_cu,
230 loc_ptr, buf_end, &new_ptr,
3771a44c 231 &low, &high, byte_order);
d4a087c7 232 else
f664829e
DE
233 kind = decode_debug_loc_addresses (loc_ptr, buf_end, &new_ptr,
234 &low, &high,
235 byte_order, addr_size,
236 signed_addr_p);
237 loc_ptr = new_ptr;
238 switch (kind)
1d6edc3c 239 {
f664829e 240 case DEBUG_LOC_END_OF_LIST:
1d6edc3c
JK
241 *locexpr_length = 0;
242 return NULL;
f664829e
DE
243 case DEBUG_LOC_BASE_ADDRESS:
244 base_address = high + base_offset;
245 continue;
3771a44c
DE
246 case DEBUG_LOC_START_END:
247 case DEBUG_LOC_START_LENGTH:
f664829e
DE
248 break;
249 case DEBUG_LOC_BUFFER_OVERFLOW:
250 case DEBUG_LOC_INVALID_ENTRY:
251 error (_("dwarf2_find_location_expression: "
252 "Corrupted DWARF expression."));
253 default:
254 gdb_assert_not_reached ("bad debug_loc_kind");
1d6edc3c 255 }
b5758fe4 256
bed911e5
DE
257 /* Otherwise, a location expression entry.
258 If the entry is from a DWO, don't add base address: the entry is
259 from .debug_addr which has absolute addresses. */
260 if (! baton->from_dwo)
261 {
262 low += base_address;
263 high += base_address;
264 }
0d53c4c4 265
e17a4113 266 length = extract_unsigned_integer (loc_ptr, 2, byte_order);
0d53c4c4
DJ
267 loc_ptr += 2;
268
e18b2753
JK
269 if (low == high && pc == low)
270 {
271 /* This is entry PC record present only at entry point
272 of a function. Verify it is really the function entry point. */
273
3977b71f 274 const struct block *pc_block = block_for_pc (pc);
e18b2753
JK
275 struct symbol *pc_func = NULL;
276
277 if (pc_block)
278 pc_func = block_linkage_function (pc_block);
279
280 if (pc_func && pc == BLOCK_START (SYMBOL_BLOCK_VALUE (pc_func)))
281 {
282 *locexpr_length = length;
283 return loc_ptr;
284 }
285 }
286
0d53c4c4
DJ
287 if (pc >= low && pc < high)
288 {
289 *locexpr_length = length;
290 return loc_ptr;
291 }
292
293 loc_ptr += length;
294 }
295}
296
4c2df51b
DJ
297/* This is the baton used when performing dwarf2 expression
298 evaluation. */
299struct dwarf_expr_baton
300{
301 struct frame_info *frame;
17ea53c3 302 struct dwarf2_per_cu_data *per_cu;
08412b07 303 CORE_ADDR obj_address;
4c2df51b
DJ
304};
305
306/* Helper functions for dwarf2_evaluate_loc_desc. */
307
4bc9efe1 308/* Using the frame specified in BATON, return the value of register
0b2b0195 309 REGNUM, treated as a pointer. */
4c2df51b 310static CORE_ADDR
b1370418 311dwarf_expr_read_addr_from_reg (void *baton, int dwarf_regnum)
4c2df51b 312{
4c2df51b 313 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
5e2b427d 314 struct gdbarch *gdbarch = get_frame_arch (debaton->frame);
2ed3c037 315 int regnum = gdbarch_dwarf2_reg_to_regnum (gdbarch, dwarf_regnum);
e4adbba9 316
2ed3c037 317 return address_from_register (regnum, debaton->frame);
4c2df51b
DJ
318}
319
0acf8b65
JB
320/* Implement struct dwarf_expr_context_funcs' "get_reg_value" callback. */
321
322static struct value *
323dwarf_expr_get_reg_value (void *baton, struct type *type, int dwarf_regnum)
324{
325 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
326 struct gdbarch *gdbarch = get_frame_arch (debaton->frame);
327 int regnum = gdbarch_dwarf2_reg_to_regnum (gdbarch, dwarf_regnum);
328
329 return value_from_register (type, regnum, debaton->frame);
330}
331
4c2df51b
DJ
332/* Read memory at ADDR (length LEN) into BUF. */
333
334static void
852483bc 335dwarf_expr_read_mem (void *baton, gdb_byte *buf, CORE_ADDR addr, size_t len)
4c2df51b
DJ
336{
337 read_memory (addr, buf, len);
338}
339
340/* Using the frame specified in BATON, find the location expression
341 describing the frame base. Return a pointer to it in START and
342 its length in LENGTH. */
343static void
0d45f56e 344dwarf_expr_frame_base (void *baton, const gdb_byte **start, size_t * length)
4c2df51b 345{
da62e633
AC
346 /* FIXME: cagney/2003-03-26: This code should be using
347 get_frame_base_address(), and then implement a dwarf2 specific
348 this_base method. */
4c2df51b 349 struct symbol *framefunc;
4c2df51b 350 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
3977b71f 351 const struct block *bl = get_frame_block (debaton->frame, NULL);
c90a0773
HZ
352
353 if (bl == NULL)
354 error (_("frame address is not available."));
0d53c4c4 355
edb3359d
DJ
356 /* Use block_linkage_function, which returns a real (not inlined)
357 function, instead of get_frame_function, which may return an
358 inlined function. */
c90a0773 359 framefunc = block_linkage_function (bl);
0d53c4c4 360
eff4f95e
JG
361 /* If we found a frame-relative symbol then it was certainly within
362 some function associated with a frame. If we can't find the frame,
363 something has gone wrong. */
364 gdb_assert (framefunc != NULL);
365
af945b75
TT
366 func_get_frame_base_dwarf_block (framefunc,
367 get_frame_address_in_block (debaton->frame),
368 start, length);
0936ad1d
SS
369}
370
f1e6e072
TT
371/* Implement find_frame_base_location method for LOC_BLOCK functions using
372 DWARF expression for its DW_AT_frame_base. */
373
374static void
375locexpr_find_frame_base_location (struct symbol *framefunc, CORE_ADDR pc,
376 const gdb_byte **start, size_t *length)
377{
378 struct dwarf2_locexpr_baton *symbaton = SYMBOL_LOCATION_BATON (framefunc);
379
380 *length = symbaton->size;
381 *start = symbaton->data;
382}
383
384/* Vector for inferior functions as represented by LOC_BLOCK, if the inferior
385 function uses DWARF expression for its DW_AT_frame_base. */
386
387const struct symbol_block_ops dwarf2_block_frame_base_locexpr_funcs =
388{
389 locexpr_find_frame_base_location
390};
391
392/* Implement find_frame_base_location method for LOC_BLOCK functions using
393 DWARF location list for its DW_AT_frame_base. */
394
395static void
396loclist_find_frame_base_location (struct symbol *framefunc, CORE_ADDR pc,
397 const gdb_byte **start, size_t *length)
398{
399 struct dwarf2_loclist_baton *symbaton = SYMBOL_LOCATION_BATON (framefunc);
400
401 *start = dwarf2_find_location_expression (symbaton, length, pc);
402}
403
404/* Vector for inferior functions as represented by LOC_BLOCK, if the inferior
405 function uses DWARF location list for its DW_AT_frame_base. */
406
407const struct symbol_block_ops dwarf2_block_frame_base_loclist_funcs =
408{
409 loclist_find_frame_base_location
410};
411
af945b75
TT
412/* See dwarf2loc.h. */
413
414void
415func_get_frame_base_dwarf_block (struct symbol *framefunc, CORE_ADDR pc,
416 const gdb_byte **start, size_t *length)
0936ad1d 417{
f1e6e072 418 if (SYMBOL_BLOCK_OPS (framefunc) != NULL)
0d53c4c4 419 {
f1e6e072 420 const struct symbol_block_ops *ops_block = SYMBOL_BLOCK_OPS (framefunc);
22c6caba 421
f1e6e072 422 ops_block->find_frame_base_location (framefunc, pc, start, length);
0d53c4c4
DJ
423 }
424 else
f1e6e072 425 *length = 0;
0d53c4c4 426
1d6edc3c 427 if (*length == 0)
8a3fe4f8 428 error (_("Could not find the frame base for \"%s\"."),
0d53c4c4 429 SYMBOL_NATURAL_NAME (framefunc));
4c2df51b
DJ
430}
431
e7802207
TT
432/* Helper function for dwarf2_evaluate_loc_desc. Computes the CFA for
433 the frame in BATON. */
434
435static CORE_ADDR
436dwarf_expr_frame_cfa (void *baton)
437{
438 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
9a619af0 439
e7802207
TT
440 return dwarf2_frame_cfa (debaton->frame);
441}
442
8cf6f0b1
TT
443/* Helper function for dwarf2_evaluate_loc_desc. Computes the PC for
444 the frame in BATON. */
445
446static CORE_ADDR
447dwarf_expr_frame_pc (void *baton)
448{
449 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
450
451 return get_frame_address_in_block (debaton->frame);
452}
453
4c2df51b
DJ
454/* Using the objfile specified in BATON, find the address for the
455 current thread's thread-local storage with offset OFFSET. */
456static CORE_ADDR
457dwarf_expr_tls_address (void *baton, CORE_ADDR offset)
458{
459 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
17ea53c3 460 struct objfile *objfile = dwarf2_per_cu_objfile (debaton->per_cu);
4c2df51b 461
17ea53c3 462 return target_translate_tls_address (objfile, offset);
4c2df51b
DJ
463}
464
3e43a32a
MS
465/* Call DWARF subroutine from DW_AT_location of DIE at DIE_OFFSET in
466 current CU (as is PER_CU). State of the CTX is not affected by the
467 call and return. */
5c631832
JK
468
469static void
b64f50a1 470per_cu_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset,
8cf6f0b1
TT
471 struct dwarf2_per_cu_data *per_cu,
472 CORE_ADDR (*get_frame_pc) (void *baton),
473 void *baton)
5c631832
JK
474{
475 struct dwarf2_locexpr_baton block;
476
8b9737bf 477 block = dwarf2_fetch_die_loc_cu_off (die_offset, per_cu, get_frame_pc, baton);
5c631832
JK
478
479 /* DW_OP_call_ref is currently not supported. */
480 gdb_assert (block.per_cu == per_cu);
481
482 dwarf_expr_eval (ctx, block.data, block.size);
483}
484
485/* Helper interface of per_cu_dwarf_call for dwarf2_evaluate_loc_desc. */
486
487static void
b64f50a1 488dwarf_expr_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset)
5c631832
JK
489{
490 struct dwarf_expr_baton *debaton = ctx->baton;
491
37b50a69 492 per_cu_dwarf_call (ctx, die_offset, debaton->per_cu,
9e8b7a03 493 ctx->funcs->get_frame_pc, ctx->baton);
5c631832
JK
494}
495
8a9b8146
TT
496/* Callback function for dwarf2_evaluate_loc_desc. */
497
498static struct type *
b64f50a1
JK
499dwarf_expr_get_base_type (struct dwarf_expr_context *ctx,
500 cu_offset die_offset)
8a9b8146
TT
501{
502 struct dwarf_expr_baton *debaton = ctx->baton;
503
504 return dwarf2_get_die_type (die_offset, debaton->per_cu);
505}
506
8e3b41a9
JK
507/* See dwarf2loc.h. */
508
ccce17b0 509unsigned int entry_values_debug = 0;
8e3b41a9
JK
510
511/* Helper to set entry_values_debug. */
512
513static void
514show_entry_values_debug (struct ui_file *file, int from_tty,
515 struct cmd_list_element *c, const char *value)
516{
517 fprintf_filtered (file,
518 _("Entry values and tail call frames debugging is %s.\n"),
519 value);
520}
521
522/* Find DW_TAG_GNU_call_site's DW_AT_GNU_call_site_target address.
523 CALLER_FRAME (for registers) can be NULL if it is not known. This function
524 always returns valid address or it throws NO_ENTRY_VALUE_ERROR. */
525
526static CORE_ADDR
527call_site_to_target_addr (struct gdbarch *call_site_gdbarch,
528 struct call_site *call_site,
529 struct frame_info *caller_frame)
530{
531 switch (FIELD_LOC_KIND (call_site->target))
532 {
533 case FIELD_LOC_KIND_DWARF_BLOCK:
534 {
535 struct dwarf2_locexpr_baton *dwarf_block;
536 struct value *val;
537 struct type *caller_core_addr_type;
538 struct gdbarch *caller_arch;
539
540 dwarf_block = FIELD_DWARF_BLOCK (call_site->target);
541 if (dwarf_block == NULL)
542 {
7cbd4a93 543 struct bound_minimal_symbol msym;
8e3b41a9
JK
544
545 msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
546 throw_error (NO_ENTRY_VALUE_ERROR,
547 _("DW_AT_GNU_call_site_target is not specified "
548 "at %s in %s"),
549 paddress (call_site_gdbarch, call_site->pc),
7cbd4a93 550 (msym.minsym == NULL ? "???"
efd66ac6 551 : MSYMBOL_PRINT_NAME (msym.minsym)));
8e3b41a9
JK
552
553 }
554 if (caller_frame == NULL)
555 {
7cbd4a93 556 struct bound_minimal_symbol msym;
8e3b41a9
JK
557
558 msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
559 throw_error (NO_ENTRY_VALUE_ERROR,
560 _("DW_AT_GNU_call_site_target DWARF block resolving "
561 "requires known frame which is currently not "
562 "available at %s in %s"),
563 paddress (call_site_gdbarch, call_site->pc),
7cbd4a93 564 (msym.minsym == NULL ? "???"
efd66ac6 565 : MSYMBOL_PRINT_NAME (msym.minsym)));
8e3b41a9
JK
566
567 }
568 caller_arch = get_frame_arch (caller_frame);
569 caller_core_addr_type = builtin_type (caller_arch)->builtin_func_ptr;
570 val = dwarf2_evaluate_loc_desc (caller_core_addr_type, caller_frame,
571 dwarf_block->data, dwarf_block->size,
572 dwarf_block->per_cu);
573 /* DW_AT_GNU_call_site_target is a DWARF expression, not a DWARF
574 location. */
575 if (VALUE_LVAL (val) == lval_memory)
576 return value_address (val);
577 else
578 return value_as_address (val);
579 }
580
581 case FIELD_LOC_KIND_PHYSNAME:
582 {
583 const char *physname;
3b7344d5 584 struct bound_minimal_symbol msym;
8e3b41a9
JK
585
586 physname = FIELD_STATIC_PHYSNAME (call_site->target);
9112db09
JK
587
588 /* Handle both the mangled and demangled PHYSNAME. */
589 msym = lookup_minimal_symbol (physname, NULL, NULL);
3b7344d5 590 if (msym.minsym == NULL)
8e3b41a9 591 {
3b7344d5 592 msym = lookup_minimal_symbol_by_pc (call_site->pc - 1);
8e3b41a9
JK
593 throw_error (NO_ENTRY_VALUE_ERROR,
594 _("Cannot find function \"%s\" for a call site target "
595 "at %s in %s"),
596 physname, paddress (call_site_gdbarch, call_site->pc),
3b7344d5
TT
597 (msym.minsym == NULL ? "???"
598 : MSYMBOL_PRINT_NAME (msym.minsym)));
8e3b41a9
JK
599
600 }
77e371c0 601 return BMSYMBOL_VALUE_ADDRESS (msym);
8e3b41a9
JK
602 }
603
604 case FIELD_LOC_KIND_PHYSADDR:
605 return FIELD_STATIC_PHYSADDR (call_site->target);
606
607 default:
608 internal_error (__FILE__, __LINE__, _("invalid call site target kind"));
609 }
610}
611
111c6489
JK
612/* Convert function entry point exact address ADDR to the function which is
613 compliant with TAIL_CALL_LIST_COMPLETE condition. Throw
614 NO_ENTRY_VALUE_ERROR otherwise. */
615
616static struct symbol *
617func_addr_to_tail_call_list (struct gdbarch *gdbarch, CORE_ADDR addr)
618{
619 struct symbol *sym = find_pc_function (addr);
620 struct type *type;
621
622 if (sym == NULL || BLOCK_START (SYMBOL_BLOCK_VALUE (sym)) != addr)
623 throw_error (NO_ENTRY_VALUE_ERROR,
624 _("DW_TAG_GNU_call_site resolving failed to find function "
625 "name for address %s"),
626 paddress (gdbarch, addr));
627
628 type = SYMBOL_TYPE (sym);
629 gdb_assert (TYPE_CODE (type) == TYPE_CODE_FUNC);
630 gdb_assert (TYPE_SPECIFIC_FIELD (type) == TYPE_SPECIFIC_FUNC);
631
632 return sym;
633}
634
2d6c5dc2
JK
635/* Verify function with entry point exact address ADDR can never call itself
636 via its tail calls (incl. transitively). Throw NO_ENTRY_VALUE_ERROR if it
637 can call itself via tail calls.
638
639 If a funtion can tail call itself its entry value based parameters are
640 unreliable. There is no verification whether the value of some/all
641 parameters is unchanged through the self tail call, we expect if there is
642 a self tail call all the parameters can be modified. */
643
644static void
645func_verify_no_selftailcall (struct gdbarch *gdbarch, CORE_ADDR verify_addr)
646{
647 struct obstack addr_obstack;
648 struct cleanup *old_chain;
649 CORE_ADDR addr;
650
651 /* Track here CORE_ADDRs which were already visited. */
652 htab_t addr_hash;
653
654 /* The verification is completely unordered. Track here function addresses
655 which still need to be iterated. */
656 VEC (CORE_ADDR) *todo = NULL;
657
658 obstack_init (&addr_obstack);
659 old_chain = make_cleanup_obstack_free (&addr_obstack);
660 addr_hash = htab_create_alloc_ex (64, core_addr_hash, core_addr_eq, NULL,
661 &addr_obstack, hashtab_obstack_allocate,
662 NULL);
663 make_cleanup_htab_delete (addr_hash);
664
665 make_cleanup (VEC_cleanup (CORE_ADDR), &todo);
666
667 VEC_safe_push (CORE_ADDR, todo, verify_addr);
668 while (!VEC_empty (CORE_ADDR, todo))
669 {
670 struct symbol *func_sym;
671 struct call_site *call_site;
672
673 addr = VEC_pop (CORE_ADDR, todo);
674
675 func_sym = func_addr_to_tail_call_list (gdbarch, addr);
676
677 for (call_site = TYPE_TAIL_CALL_LIST (SYMBOL_TYPE (func_sym));
678 call_site; call_site = call_site->tail_call_next)
679 {
680 CORE_ADDR target_addr;
681 void **slot;
682
683 /* CALLER_FRAME with registers is not available for tail-call jumped
684 frames. */
685 target_addr = call_site_to_target_addr (gdbarch, call_site, NULL);
686
687 if (target_addr == verify_addr)
688 {
7cbd4a93 689 struct bound_minimal_symbol msym;
2d6c5dc2
JK
690
691 msym = lookup_minimal_symbol_by_pc (verify_addr);
692 throw_error (NO_ENTRY_VALUE_ERROR,
693 _("DW_OP_GNU_entry_value resolving has found "
694 "function \"%s\" at %s can call itself via tail "
695 "calls"),
7cbd4a93 696 (msym.minsym == NULL ? "???"
efd66ac6 697 : MSYMBOL_PRINT_NAME (msym.minsym)),
2d6c5dc2
JK
698 paddress (gdbarch, verify_addr));
699 }
700
701 slot = htab_find_slot (addr_hash, &target_addr, INSERT);
702 if (*slot == NULL)
703 {
704 *slot = obstack_copy (&addr_obstack, &target_addr,
705 sizeof (target_addr));
706 VEC_safe_push (CORE_ADDR, todo, target_addr);
707 }
708 }
709 }
710
711 do_cleanups (old_chain);
712}
713
111c6489
JK
714/* Print user readable form of CALL_SITE->PC to gdb_stdlog. Used only for
715 ENTRY_VALUES_DEBUG. */
716
717static void
718tailcall_dump (struct gdbarch *gdbarch, const struct call_site *call_site)
719{
720 CORE_ADDR addr = call_site->pc;
7cbd4a93 721 struct bound_minimal_symbol msym = lookup_minimal_symbol_by_pc (addr - 1);
111c6489
JK
722
723 fprintf_unfiltered (gdb_stdlog, " %s(%s)", paddress (gdbarch, addr),
7cbd4a93 724 (msym.minsym == NULL ? "???"
efd66ac6 725 : MSYMBOL_PRINT_NAME (msym.minsym)));
111c6489
JK
726
727}
728
729/* vec.h needs single word type name, typedef it. */
730typedef struct call_site *call_sitep;
731
732/* Define VEC (call_sitep) functions. */
733DEF_VEC_P (call_sitep);
734
735/* Intersect RESULTP with CHAIN to keep RESULTP unambiguous, keep in RESULTP
736 only top callers and bottom callees which are present in both. GDBARCH is
737 used only for ENTRY_VALUES_DEBUG. RESULTP is NULL after return if there are
738 no remaining possibilities to provide unambiguous non-trivial result.
739 RESULTP should point to NULL on the first (initialization) call. Caller is
740 responsible for xfree of any RESULTP data. */
741
742static void
743chain_candidate (struct gdbarch *gdbarch, struct call_site_chain **resultp,
744 VEC (call_sitep) *chain)
745{
746 struct call_site_chain *result = *resultp;
747 long length = VEC_length (call_sitep, chain);
748 int callers, callees, idx;
749
750 if (result == NULL)
751 {
752 /* Create the initial chain containing all the passed PCs. */
753
754 result = xmalloc (sizeof (*result) + sizeof (*result->call_site)
755 * (length - 1));
756 result->length = length;
757 result->callers = result->callees = length;
19a1b230
AA
758 if (!VEC_empty (call_sitep, chain))
759 memcpy (result->call_site, VEC_address (call_sitep, chain),
760 sizeof (*result->call_site) * length);
111c6489
JK
761 *resultp = result;
762
763 if (entry_values_debug)
764 {
765 fprintf_unfiltered (gdb_stdlog, "tailcall: initial:");
766 for (idx = 0; idx < length; idx++)
767 tailcall_dump (gdbarch, result->call_site[idx]);
768 fputc_unfiltered ('\n', gdb_stdlog);
769 }
770
771 return;
772 }
773
774 if (entry_values_debug)
775 {
776 fprintf_unfiltered (gdb_stdlog, "tailcall: compare:");
777 for (idx = 0; idx < length; idx++)
778 tailcall_dump (gdbarch, VEC_index (call_sitep, chain, idx));
779 fputc_unfiltered ('\n', gdb_stdlog);
780 }
781
782 /* Intersect callers. */
783
784 callers = min (result->callers, length);
785 for (idx = 0; idx < callers; idx++)
786 if (result->call_site[idx] != VEC_index (call_sitep, chain, idx))
787 {
788 result->callers = idx;
789 break;
790 }
791
792 /* Intersect callees. */
793
794 callees = min (result->callees, length);
795 for (idx = 0; idx < callees; idx++)
796 if (result->call_site[result->length - 1 - idx]
797 != VEC_index (call_sitep, chain, length - 1 - idx))
798 {
799 result->callees = idx;
800 break;
801 }
802
803 if (entry_values_debug)
804 {
805 fprintf_unfiltered (gdb_stdlog, "tailcall: reduced:");
806 for (idx = 0; idx < result->callers; idx++)
807 tailcall_dump (gdbarch, result->call_site[idx]);
808 fputs_unfiltered (" |", gdb_stdlog);
809 for (idx = 0; idx < result->callees; idx++)
810 tailcall_dump (gdbarch, result->call_site[result->length
811 - result->callees + idx]);
812 fputc_unfiltered ('\n', gdb_stdlog);
813 }
814
815 if (result->callers == 0 && result->callees == 0)
816 {
817 /* There are no common callers or callees. It could be also a direct
818 call (which has length 0) with ambiguous possibility of an indirect
819 call - CALLERS == CALLEES == 0 is valid during the first allocation
820 but any subsequence processing of such entry means ambiguity. */
821 xfree (result);
822 *resultp = NULL;
823 return;
824 }
825
826 /* See call_site_find_chain_1 why there is no way to reach the bottom callee
827 PC again. In such case there must be two different code paths to reach
828 it, therefore some of the former determined intermediate PCs must differ
829 and the unambiguous chain gets shortened. */
830 gdb_assert (result->callers + result->callees < result->length);
831}
832
833/* Create and return call_site_chain for CALLER_PC and CALLEE_PC. All the
834 assumed frames between them use GDBARCH. Use depth first search so we can
835 keep single CHAIN of call_site's back to CALLER_PC. Function recursion
836 would have needless GDB stack overhead. Caller is responsible for xfree of
837 the returned result. Any unreliability results in thrown
838 NO_ENTRY_VALUE_ERROR. */
839
840static struct call_site_chain *
841call_site_find_chain_1 (struct gdbarch *gdbarch, CORE_ADDR caller_pc,
842 CORE_ADDR callee_pc)
843{
c4be5165 844 CORE_ADDR save_callee_pc = callee_pc;
111c6489
JK
845 struct obstack addr_obstack;
846 struct cleanup *back_to_retval, *back_to_workdata;
847 struct call_site_chain *retval = NULL;
848 struct call_site *call_site;
849
850 /* Mark CALL_SITEs so we do not visit the same ones twice. */
851 htab_t addr_hash;
852
853 /* CHAIN contains only the intermediate CALL_SITEs. Neither CALLER_PC's
854 call_site nor any possible call_site at CALLEE_PC's function is there.
855 Any CALL_SITE in CHAIN will be iterated to its siblings - via
856 TAIL_CALL_NEXT. This is inappropriate for CALLER_PC's call_site. */
857 VEC (call_sitep) *chain = NULL;
858
859 /* We are not interested in the specific PC inside the callee function. */
860 callee_pc = get_pc_function_start (callee_pc);
861 if (callee_pc == 0)
862 throw_error (NO_ENTRY_VALUE_ERROR, _("Unable to find function for PC %s"),
c4be5165 863 paddress (gdbarch, save_callee_pc));
111c6489
JK
864
865 back_to_retval = make_cleanup (free_current_contents, &retval);
866
867 obstack_init (&addr_obstack);
868 back_to_workdata = make_cleanup_obstack_free (&addr_obstack);
869 addr_hash = htab_create_alloc_ex (64, core_addr_hash, core_addr_eq, NULL,
870 &addr_obstack, hashtab_obstack_allocate,
871 NULL);
872 make_cleanup_htab_delete (addr_hash);
873
874 make_cleanup (VEC_cleanup (call_sitep), &chain);
875
876 /* Do not push CALL_SITE to CHAIN. Push there only the first tail call site
877 at the target's function. All the possible tail call sites in the
878 target's function will get iterated as already pushed into CHAIN via their
879 TAIL_CALL_NEXT. */
880 call_site = call_site_for_pc (gdbarch, caller_pc);
881
882 while (call_site)
883 {
884 CORE_ADDR target_func_addr;
885 struct call_site *target_call_site;
886
887 /* CALLER_FRAME with registers is not available for tail-call jumped
888 frames. */
889 target_func_addr = call_site_to_target_addr (gdbarch, call_site, NULL);
890
891 if (target_func_addr == callee_pc)
892 {
893 chain_candidate (gdbarch, &retval, chain);
894 if (retval == NULL)
895 break;
896
897 /* There is no way to reach CALLEE_PC again as we would prevent
898 entering it twice as being already marked in ADDR_HASH. */
899 target_call_site = NULL;
900 }
901 else
902 {
903 struct symbol *target_func;
904
905 target_func = func_addr_to_tail_call_list (gdbarch, target_func_addr);
906 target_call_site = TYPE_TAIL_CALL_LIST (SYMBOL_TYPE (target_func));
907 }
908
909 do
910 {
911 /* Attempt to visit TARGET_CALL_SITE. */
912
913 if (target_call_site)
914 {
915 void **slot;
916
917 slot = htab_find_slot (addr_hash, &target_call_site->pc, INSERT);
918 if (*slot == NULL)
919 {
920 /* Successfully entered TARGET_CALL_SITE. */
921
922 *slot = &target_call_site->pc;
923 VEC_safe_push (call_sitep, chain, target_call_site);
924 break;
925 }
926 }
927
928 /* Backtrack (without revisiting the originating call_site). Try the
929 callers's sibling; if there isn't any try the callers's callers's
930 sibling etc. */
931
932 target_call_site = NULL;
933 while (!VEC_empty (call_sitep, chain))
934 {
935 call_site = VEC_pop (call_sitep, chain);
936
937 gdb_assert (htab_find_slot (addr_hash, &call_site->pc,
938 NO_INSERT) != NULL);
939 htab_remove_elt (addr_hash, &call_site->pc);
940
941 target_call_site = call_site->tail_call_next;
942 if (target_call_site)
943 break;
944 }
945 }
946 while (target_call_site);
947
948 if (VEC_empty (call_sitep, chain))
949 call_site = NULL;
950 else
951 call_site = VEC_last (call_sitep, chain);
952 }
953
954 if (retval == NULL)
955 {
7cbd4a93 956 struct bound_minimal_symbol msym_caller, msym_callee;
111c6489
JK
957
958 msym_caller = lookup_minimal_symbol_by_pc (caller_pc);
959 msym_callee = lookup_minimal_symbol_by_pc (callee_pc);
960 throw_error (NO_ENTRY_VALUE_ERROR,
961 _("There are no unambiguously determinable intermediate "
962 "callers or callees between caller function \"%s\" at %s "
963 "and callee function \"%s\" at %s"),
7cbd4a93 964 (msym_caller.minsym == NULL
efd66ac6 965 ? "???" : MSYMBOL_PRINT_NAME (msym_caller.minsym)),
111c6489 966 paddress (gdbarch, caller_pc),
7cbd4a93 967 (msym_callee.minsym == NULL
efd66ac6 968 ? "???" : MSYMBOL_PRINT_NAME (msym_callee.minsym)),
111c6489
JK
969 paddress (gdbarch, callee_pc));
970 }
971
972 do_cleanups (back_to_workdata);
973 discard_cleanups (back_to_retval);
974 return retval;
975}
976
977/* Create and return call_site_chain for CALLER_PC and CALLEE_PC. All the
978 assumed frames between them use GDBARCH. If valid call_site_chain cannot be
979 constructed return NULL. Caller is responsible for xfree of the returned
980 result. */
981
982struct call_site_chain *
983call_site_find_chain (struct gdbarch *gdbarch, CORE_ADDR caller_pc,
984 CORE_ADDR callee_pc)
985{
986 volatile struct gdb_exception e;
987 struct call_site_chain *retval = NULL;
988
989 TRY_CATCH (e, RETURN_MASK_ERROR)
990 {
991 retval = call_site_find_chain_1 (gdbarch, caller_pc, callee_pc);
992 }
993 if (e.reason < 0)
994 {
995 if (e.error == NO_ENTRY_VALUE_ERROR)
996 {
997 if (entry_values_debug)
998 exception_print (gdb_stdout, e);
999
1000 return NULL;
1001 }
1002 else
1003 throw_exception (e);
1004 }
1005 return retval;
1006}
1007
24c5c679
JK
1008/* Return 1 if KIND and KIND_U match PARAMETER. Return 0 otherwise. */
1009
1010static int
1011call_site_parameter_matches (struct call_site_parameter *parameter,
1012 enum call_site_parameter_kind kind,
1013 union call_site_parameter_u kind_u)
1014{
1015 if (kind == parameter->kind)
1016 switch (kind)
1017 {
1018 case CALL_SITE_PARAMETER_DWARF_REG:
1019 return kind_u.dwarf_reg == parameter->u.dwarf_reg;
1020 case CALL_SITE_PARAMETER_FB_OFFSET:
1021 return kind_u.fb_offset == parameter->u.fb_offset;
1788b2d3
JK
1022 case CALL_SITE_PARAMETER_PARAM_OFFSET:
1023 return kind_u.param_offset.cu_off == parameter->u.param_offset.cu_off;
24c5c679
JK
1024 }
1025 return 0;
1026}
1027
1028/* Fetch call_site_parameter from caller matching KIND and KIND_U.
1029 FRAME is for callee.
8e3b41a9
JK
1030
1031 Function always returns non-NULL, it throws NO_ENTRY_VALUE_ERROR
1032 otherwise. */
1033
1034static struct call_site_parameter *
24c5c679
JK
1035dwarf_expr_reg_to_entry_parameter (struct frame_info *frame,
1036 enum call_site_parameter_kind kind,
1037 union call_site_parameter_u kind_u,
8e3b41a9
JK
1038 struct dwarf2_per_cu_data **per_cu_return)
1039{
9e3a7d65
JK
1040 CORE_ADDR func_addr, caller_pc;
1041 struct gdbarch *gdbarch;
1042 struct frame_info *caller_frame;
8e3b41a9
JK
1043 struct call_site *call_site;
1044 int iparams;
509f0fd9
JK
1045 /* Initialize it just to avoid a GCC false warning. */
1046 struct call_site_parameter *parameter = NULL;
8e3b41a9
JK
1047 CORE_ADDR target_addr;
1048
9e3a7d65
JK
1049 while (get_frame_type (frame) == INLINE_FRAME)
1050 {
1051 frame = get_prev_frame (frame);
1052 gdb_assert (frame != NULL);
1053 }
1054
1055 func_addr = get_frame_func (frame);
1056 gdbarch = get_frame_arch (frame);
1057 caller_frame = get_prev_frame (frame);
8e3b41a9
JK
1058 if (gdbarch != frame_unwind_arch (frame))
1059 {
7cbd4a93
TT
1060 struct bound_minimal_symbol msym
1061 = lookup_minimal_symbol_by_pc (func_addr);
8e3b41a9
JK
1062 struct gdbarch *caller_gdbarch = frame_unwind_arch (frame);
1063
1064 throw_error (NO_ENTRY_VALUE_ERROR,
1065 _("DW_OP_GNU_entry_value resolving callee gdbarch %s "
1066 "(of %s (%s)) does not match caller gdbarch %s"),
1067 gdbarch_bfd_arch_info (gdbarch)->printable_name,
1068 paddress (gdbarch, func_addr),
7cbd4a93 1069 (msym.minsym == NULL ? "???"
efd66ac6 1070 : MSYMBOL_PRINT_NAME (msym.minsym)),
8e3b41a9
JK
1071 gdbarch_bfd_arch_info (caller_gdbarch)->printable_name);
1072 }
1073
1074 if (caller_frame == NULL)
1075 {
7cbd4a93
TT
1076 struct bound_minimal_symbol msym
1077 = lookup_minimal_symbol_by_pc (func_addr);
8e3b41a9
JK
1078
1079 throw_error (NO_ENTRY_VALUE_ERROR, _("DW_OP_GNU_entry_value resolving "
1080 "requires caller of %s (%s)"),
1081 paddress (gdbarch, func_addr),
7cbd4a93 1082 (msym.minsym == NULL ? "???"
efd66ac6 1083 : MSYMBOL_PRINT_NAME (msym.minsym)));
8e3b41a9
JK
1084 }
1085 caller_pc = get_frame_pc (caller_frame);
1086 call_site = call_site_for_pc (gdbarch, caller_pc);
1087
1088 target_addr = call_site_to_target_addr (gdbarch, call_site, caller_frame);
1089 if (target_addr != func_addr)
1090 {
1091 struct minimal_symbol *target_msym, *func_msym;
1092
7cbd4a93
TT
1093 target_msym = lookup_minimal_symbol_by_pc (target_addr).minsym;
1094 func_msym = lookup_minimal_symbol_by_pc (func_addr).minsym;
8e3b41a9
JK
1095 throw_error (NO_ENTRY_VALUE_ERROR,
1096 _("DW_OP_GNU_entry_value resolving expects callee %s at %s "
1097 "but the called frame is for %s at %s"),
1098 (target_msym == NULL ? "???"
efd66ac6 1099 : MSYMBOL_PRINT_NAME (target_msym)),
8e3b41a9 1100 paddress (gdbarch, target_addr),
efd66ac6 1101 func_msym == NULL ? "???" : MSYMBOL_PRINT_NAME (func_msym),
8e3b41a9
JK
1102 paddress (gdbarch, func_addr));
1103 }
1104
2d6c5dc2
JK
1105 /* No entry value based parameters would be reliable if this function can
1106 call itself via tail calls. */
1107 func_verify_no_selftailcall (gdbarch, func_addr);
1108
8e3b41a9
JK
1109 for (iparams = 0; iparams < call_site->parameter_count; iparams++)
1110 {
1111 parameter = &call_site->parameter[iparams];
24c5c679 1112 if (call_site_parameter_matches (parameter, kind, kind_u))
8e3b41a9
JK
1113 break;
1114 }
1115 if (iparams == call_site->parameter_count)
1116 {
7cbd4a93
TT
1117 struct minimal_symbol *msym
1118 = lookup_minimal_symbol_by_pc (caller_pc).minsym;
8e3b41a9
JK
1119
1120 /* DW_TAG_GNU_call_site_parameter will be missing just if GCC could not
1121 determine its value. */
1122 throw_error (NO_ENTRY_VALUE_ERROR, _("Cannot find matching parameter "
1123 "at DW_TAG_GNU_call_site %s at %s"),
1124 paddress (gdbarch, caller_pc),
efd66ac6 1125 msym == NULL ? "???" : MSYMBOL_PRINT_NAME (msym));
8e3b41a9
JK
1126 }
1127
1128 *per_cu_return = call_site->per_cu;
1129 return parameter;
1130}
1131
a471c594
JK
1132/* Return value for PARAMETER matching DEREF_SIZE. If DEREF_SIZE is -1, return
1133 the normal DW_AT_GNU_call_site_value block. Otherwise return the
1134 DW_AT_GNU_call_site_data_value (dereferenced) block.
e18b2753
JK
1135
1136 TYPE and CALLER_FRAME specify how to evaluate the DWARF block into returned
1137 struct value.
1138
1139 Function always returns non-NULL, non-optimized out value. It throws
1140 NO_ENTRY_VALUE_ERROR if it cannot resolve the value for any reason. */
1141
1142static struct value *
1143dwarf_entry_parameter_to_value (struct call_site_parameter *parameter,
a471c594 1144 CORE_ADDR deref_size, struct type *type,
e18b2753
JK
1145 struct frame_info *caller_frame,
1146 struct dwarf2_per_cu_data *per_cu)
1147{
a471c594 1148 const gdb_byte *data_src;
e18b2753 1149 gdb_byte *data;
a471c594
JK
1150 size_t size;
1151
1152 data_src = deref_size == -1 ? parameter->value : parameter->data_value;
1153 size = deref_size == -1 ? parameter->value_size : parameter->data_value_size;
1154
1155 /* DEREF_SIZE size is not verified here. */
1156 if (data_src == NULL)
1157 throw_error (NO_ENTRY_VALUE_ERROR,
1158 _("Cannot resolve DW_AT_GNU_call_site_data_value"));
e18b2753
JK
1159
1160 /* DW_AT_GNU_call_site_value is a DWARF expression, not a DWARF
1161 location. Postprocessing of DWARF_VALUE_MEMORY would lose the type from
1162 DWARF block. */
a471c594
JK
1163 data = alloca (size + 1);
1164 memcpy (data, data_src, size);
1165 data[size] = DW_OP_stack_value;
e18b2753 1166
a471c594 1167 return dwarf2_evaluate_loc_desc (type, caller_frame, data, size + 1, per_cu);
e18b2753
JK
1168}
1169
24c5c679
JK
1170/* Execute DWARF block of call_site_parameter which matches KIND and KIND_U.
1171 Choose DEREF_SIZE value of that parameter. Search caller of the CTX's
1172 frame. CTX must be of dwarf_expr_ctx_funcs kind.
8e3b41a9
JK
1173
1174 The CTX caller can be from a different CU - per_cu_dwarf_call implementation
1175 can be more simple as it does not support cross-CU DWARF executions. */
1176
1177static void
1178dwarf_expr_push_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
24c5c679
JK
1179 enum call_site_parameter_kind kind,
1180 union call_site_parameter_u kind_u,
a471c594 1181 int deref_size)
8e3b41a9
JK
1182{
1183 struct dwarf_expr_baton *debaton;
1184 struct frame_info *frame, *caller_frame;
1185 struct dwarf2_per_cu_data *caller_per_cu;
1186 struct dwarf_expr_baton baton_local;
1187 struct dwarf_expr_context saved_ctx;
1188 struct call_site_parameter *parameter;
1189 const gdb_byte *data_src;
1190 size_t size;
1191
1192 gdb_assert (ctx->funcs == &dwarf_expr_ctx_funcs);
1193 debaton = ctx->baton;
1194 frame = debaton->frame;
1195 caller_frame = get_prev_frame (frame);
1196
24c5c679 1197 parameter = dwarf_expr_reg_to_entry_parameter (frame, kind, kind_u,
8e3b41a9 1198 &caller_per_cu);
a471c594
JK
1199 data_src = deref_size == -1 ? parameter->value : parameter->data_value;
1200 size = deref_size == -1 ? parameter->value_size : parameter->data_value_size;
1201
1202 /* DEREF_SIZE size is not verified here. */
1203 if (data_src == NULL)
1204 throw_error (NO_ENTRY_VALUE_ERROR,
1205 _("Cannot resolve DW_AT_GNU_call_site_data_value"));
8e3b41a9
JK
1206
1207 baton_local.frame = caller_frame;
1208 baton_local.per_cu = caller_per_cu;
08412b07 1209 baton_local.obj_address = 0;
8e3b41a9
JK
1210
1211 saved_ctx.gdbarch = ctx->gdbarch;
1212 saved_ctx.addr_size = ctx->addr_size;
1213 saved_ctx.offset = ctx->offset;
1214 saved_ctx.baton = ctx->baton;
1215 ctx->gdbarch = get_objfile_arch (dwarf2_per_cu_objfile (baton_local.per_cu));
1216 ctx->addr_size = dwarf2_per_cu_addr_size (baton_local.per_cu);
1217 ctx->offset = dwarf2_per_cu_text_offset (baton_local.per_cu);
1218 ctx->baton = &baton_local;
1219
1220 dwarf_expr_eval (ctx, data_src, size);
1221
1222 ctx->gdbarch = saved_ctx.gdbarch;
1223 ctx->addr_size = saved_ctx.addr_size;
1224 ctx->offset = saved_ctx.offset;
1225 ctx->baton = saved_ctx.baton;
1226}
1227
3019eac3
DE
1228/* Callback function for dwarf2_evaluate_loc_desc.
1229 Fetch the address indexed by DW_OP_GNU_addr_index. */
1230
1231static CORE_ADDR
1232dwarf_expr_get_addr_index (void *baton, unsigned int index)
1233{
1234 struct dwarf_expr_baton *debaton = (struct dwarf_expr_baton *) baton;
1235
1236 return dwarf2_read_addr_index (debaton->per_cu, index);
1237}
1238
08412b07
JB
1239/* Callback function for get_object_address. Return the address of the VLA
1240 object. */
1241
1242static CORE_ADDR
1243dwarf_expr_get_obj_addr (void *baton)
1244{
1245 struct dwarf_expr_baton *debaton = baton;
1246
1247 gdb_assert (debaton != NULL);
1248
1249 if (debaton->obj_address == 0)
1250 error (_("Location address is not set."));
1251
1252 return debaton->obj_address;
1253}
1254
a471c594
JK
1255/* VALUE must be of type lval_computed with entry_data_value_funcs. Perform
1256 the indirect method on it, that is use its stored target value, the sole
1257 purpose of entry_data_value_funcs.. */
1258
1259static struct value *
1260entry_data_value_coerce_ref (const struct value *value)
1261{
1262 struct type *checked_type = check_typedef (value_type (value));
1263 struct value *target_val;
1264
1265 if (TYPE_CODE (checked_type) != TYPE_CODE_REF)
1266 return NULL;
1267
1268 target_val = value_computed_closure (value);
1269 value_incref (target_val);
1270 return target_val;
1271}
1272
1273/* Implement copy_closure. */
1274
1275static void *
1276entry_data_value_copy_closure (const struct value *v)
1277{
1278 struct value *target_val = value_computed_closure (v);
1279
1280 value_incref (target_val);
1281 return target_val;
1282}
1283
1284/* Implement free_closure. */
1285
1286static void
1287entry_data_value_free_closure (struct value *v)
1288{
1289 struct value *target_val = value_computed_closure (v);
1290
1291 value_free (target_val);
1292}
1293
1294/* Vector for methods for an entry value reference where the referenced value
1295 is stored in the caller. On the first dereference use
1296 DW_AT_GNU_call_site_data_value in the caller. */
1297
1298static const struct lval_funcs entry_data_value_funcs =
1299{
1300 NULL, /* read */
1301 NULL, /* write */
a471c594
JK
1302 NULL, /* indirect */
1303 entry_data_value_coerce_ref,
1304 NULL, /* check_synthetic_pointer */
1305 entry_data_value_copy_closure,
1306 entry_data_value_free_closure
1307};
1308
24c5c679
JK
1309/* Read parameter of TYPE at (callee) FRAME's function entry. KIND and KIND_U
1310 are used to match DW_AT_location at the caller's
1311 DW_TAG_GNU_call_site_parameter.
e18b2753
JK
1312
1313 Function always returns non-NULL value. It throws NO_ENTRY_VALUE_ERROR if it
1314 cannot resolve the parameter for any reason. */
1315
1316static struct value *
1317value_of_dwarf_reg_entry (struct type *type, struct frame_info *frame,
24c5c679
JK
1318 enum call_site_parameter_kind kind,
1319 union call_site_parameter_u kind_u)
e18b2753 1320{
a471c594
JK
1321 struct type *checked_type = check_typedef (type);
1322 struct type *target_type = TYPE_TARGET_TYPE (checked_type);
e18b2753 1323 struct frame_info *caller_frame = get_prev_frame (frame);
a471c594 1324 struct value *outer_val, *target_val, *val;
e18b2753
JK
1325 struct call_site_parameter *parameter;
1326 struct dwarf2_per_cu_data *caller_per_cu;
1327
24c5c679 1328 parameter = dwarf_expr_reg_to_entry_parameter (frame, kind, kind_u,
e18b2753
JK
1329 &caller_per_cu);
1330
a471c594
JK
1331 outer_val = dwarf_entry_parameter_to_value (parameter, -1 /* deref_size */,
1332 type, caller_frame,
1333 caller_per_cu);
1334
1335 /* Check if DW_AT_GNU_call_site_data_value cannot be used. If it should be
1336 used and it is not available do not fall back to OUTER_VAL - dereferencing
1337 TYPE_CODE_REF with non-entry data value would give current value - not the
1338 entry value. */
1339
1340 if (TYPE_CODE (checked_type) != TYPE_CODE_REF
1341 || TYPE_TARGET_TYPE (checked_type) == NULL)
1342 return outer_val;
1343
1344 target_val = dwarf_entry_parameter_to_value (parameter,
1345 TYPE_LENGTH (target_type),
1346 target_type, caller_frame,
1347 caller_per_cu);
1348
a471c594
JK
1349 release_value (target_val);
1350 val = allocate_computed_value (type, &entry_data_value_funcs,
1351 target_val /* closure */);
1352
1353 /* Copy the referencing pointer to the new computed value. */
1354 memcpy (value_contents_raw (val), value_contents_raw (outer_val),
1355 TYPE_LENGTH (checked_type));
1356 set_value_lazy (val, 0);
1357
1358 return val;
e18b2753
JK
1359}
1360
1361/* Read parameter of TYPE at (callee) FRAME's function entry. DATA and
1362 SIZE are DWARF block used to match DW_AT_location at the caller's
1363 DW_TAG_GNU_call_site_parameter.
1364
1365 Function always returns non-NULL value. It throws NO_ENTRY_VALUE_ERROR if it
1366 cannot resolve the parameter for any reason. */
1367
1368static struct value *
1369value_of_dwarf_block_entry (struct type *type, struct frame_info *frame,
1370 const gdb_byte *block, size_t block_len)
1371{
24c5c679 1372 union call_site_parameter_u kind_u;
e18b2753 1373
24c5c679
JK
1374 kind_u.dwarf_reg = dwarf_block_to_dwarf_reg (block, block + block_len);
1375 if (kind_u.dwarf_reg != -1)
1376 return value_of_dwarf_reg_entry (type, frame, CALL_SITE_PARAMETER_DWARF_REG,
1377 kind_u);
e18b2753 1378
24c5c679
JK
1379 if (dwarf_block_to_fb_offset (block, block + block_len, &kind_u.fb_offset))
1380 return value_of_dwarf_reg_entry (type, frame, CALL_SITE_PARAMETER_FB_OFFSET,
1381 kind_u);
e18b2753
JK
1382
1383 /* This can normally happen - throw NO_ENTRY_VALUE_ERROR to get the message
1384 suppressed during normal operation. The expression can be arbitrary if
1385 there is no caller-callee entry value binding expected. */
1386 throw_error (NO_ENTRY_VALUE_ERROR,
1387 _("DWARF-2 expression error: DW_OP_GNU_entry_value is supported "
1388 "only for single DW_OP_reg* or for DW_OP_fbreg(*)"));
1389}
1390
052b9502
NF
1391struct piece_closure
1392{
88bfdde4
TT
1393 /* Reference count. */
1394 int refc;
1395
8cf6f0b1
TT
1396 /* The CU from which this closure's expression came. */
1397 struct dwarf2_per_cu_data *per_cu;
1398
052b9502
NF
1399 /* The number of pieces used to describe this variable. */
1400 int n_pieces;
1401
6063c216
UW
1402 /* The target address size, used only for DWARF_VALUE_STACK. */
1403 int addr_size;
cec03d70 1404
052b9502
NF
1405 /* The pieces themselves. */
1406 struct dwarf_expr_piece *pieces;
1407};
1408
1409/* Allocate a closure for a value formed from separately-described
1410 PIECES. */
1411
1412static struct piece_closure *
8cf6f0b1
TT
1413allocate_piece_closure (struct dwarf2_per_cu_data *per_cu,
1414 int n_pieces, struct dwarf_expr_piece *pieces,
6063c216 1415 int addr_size)
052b9502 1416{
41bf6aca 1417 struct piece_closure *c = XCNEW (struct piece_closure);
8a9b8146 1418 int i;
052b9502 1419
88bfdde4 1420 c->refc = 1;
8cf6f0b1 1421 c->per_cu = per_cu;
052b9502 1422 c->n_pieces = n_pieces;
6063c216 1423 c->addr_size = addr_size;
fc270c35 1424 c->pieces = XCNEWVEC (struct dwarf_expr_piece, n_pieces);
052b9502
NF
1425
1426 memcpy (c->pieces, pieces, n_pieces * sizeof (struct dwarf_expr_piece));
8a9b8146
TT
1427 for (i = 0; i < n_pieces; ++i)
1428 if (c->pieces[i].location == DWARF_VALUE_STACK)
1429 value_incref (c->pieces[i].v.value);
052b9502
NF
1430
1431 return c;
1432}
1433
d3b1e874
TT
1434/* The lowest-level function to extract bits from a byte buffer.
1435 SOURCE is the buffer. It is updated if we read to the end of a
1436 byte.
1437 SOURCE_OFFSET_BITS is the offset of the first bit to read. It is
1438 updated to reflect the number of bits actually read.
1439 NBITS is the number of bits we want to read. It is updated to
1440 reflect the number of bits actually read. This function may read
1441 fewer bits.
1442 BITS_BIG_ENDIAN is taken directly from gdbarch.
1443 This function returns the extracted bits. */
1444
1445static unsigned int
1446extract_bits_primitive (const gdb_byte **source,
1447 unsigned int *source_offset_bits,
1448 int *nbits, int bits_big_endian)
1449{
1450 unsigned int avail, mask, datum;
1451
1452 gdb_assert (*source_offset_bits < 8);
1453
1454 avail = 8 - *source_offset_bits;
1455 if (avail > *nbits)
1456 avail = *nbits;
1457
1458 mask = (1 << avail) - 1;
1459 datum = **source;
1460 if (bits_big_endian)
1461 datum >>= 8 - (*source_offset_bits + *nbits);
1462 else
1463 datum >>= *source_offset_bits;
1464 datum &= mask;
1465
1466 *nbits -= avail;
1467 *source_offset_bits += avail;
1468 if (*source_offset_bits >= 8)
1469 {
1470 *source_offset_bits -= 8;
1471 ++*source;
1472 }
1473
1474 return datum;
1475}
1476
1477/* Extract some bits from a source buffer and move forward in the
1478 buffer.
1479
1480 SOURCE is the source buffer. It is updated as bytes are read.
1481 SOURCE_OFFSET_BITS is the offset into SOURCE. It is updated as
1482 bits are read.
1483 NBITS is the number of bits to read.
1484 BITS_BIG_ENDIAN is taken directly from gdbarch.
1485
1486 This function returns the bits that were read. */
1487
1488static unsigned int
1489extract_bits (const gdb_byte **source, unsigned int *source_offset_bits,
1490 int nbits, int bits_big_endian)
1491{
1492 unsigned int datum;
1493
1494 gdb_assert (nbits > 0 && nbits <= 8);
1495
1496 datum = extract_bits_primitive (source, source_offset_bits, &nbits,
1497 bits_big_endian);
1498 if (nbits > 0)
1499 {
1500 unsigned int more;
1501
1502 more = extract_bits_primitive (source, source_offset_bits, &nbits,
1503 bits_big_endian);
1504 if (bits_big_endian)
1505 datum <<= nbits;
1506 else
1507 more <<= nbits;
1508 datum |= more;
1509 }
1510
1511 return datum;
1512}
1513
1514/* Write some bits into a buffer and move forward in the buffer.
1515
1516 DATUM is the bits to write. The low-order bits of DATUM are used.
1517 DEST is the destination buffer. It is updated as bytes are
1518 written.
1519 DEST_OFFSET_BITS is the bit offset in DEST at which writing is
1520 done.
1521 NBITS is the number of valid bits in DATUM.
1522 BITS_BIG_ENDIAN is taken directly from gdbarch. */
1523
1524static void
1525insert_bits (unsigned int datum,
1526 gdb_byte *dest, unsigned int dest_offset_bits,
1527 int nbits, int bits_big_endian)
1528{
1529 unsigned int mask;
1530
8c814cdd 1531 gdb_assert (dest_offset_bits + nbits <= 8);
d3b1e874
TT
1532
1533 mask = (1 << nbits) - 1;
1534 if (bits_big_endian)
1535 {
1536 datum <<= 8 - (dest_offset_bits + nbits);
1537 mask <<= 8 - (dest_offset_bits + nbits);
1538 }
1539 else
1540 {
1541 datum <<= dest_offset_bits;
1542 mask <<= dest_offset_bits;
1543 }
1544
1545 gdb_assert ((datum & ~mask) == 0);
1546
1547 *dest = (*dest & ~mask) | datum;
1548}
1549
1550/* Copy bits from a source to a destination.
1551
1552 DEST is where the bits should be written.
1553 DEST_OFFSET_BITS is the bit offset into DEST.
1554 SOURCE is the source of bits.
1555 SOURCE_OFFSET_BITS is the bit offset into SOURCE.
1556 BIT_COUNT is the number of bits to copy.
1557 BITS_BIG_ENDIAN is taken directly from gdbarch. */
1558
1559static void
1560copy_bitwise (gdb_byte *dest, unsigned int dest_offset_bits,
1561 const gdb_byte *source, unsigned int source_offset_bits,
1562 unsigned int bit_count,
1563 int bits_big_endian)
1564{
1565 unsigned int dest_avail;
1566 int datum;
1567
1568 /* Reduce everything to byte-size pieces. */
1569 dest += dest_offset_bits / 8;
1570 dest_offset_bits %= 8;
1571 source += source_offset_bits / 8;
1572 source_offset_bits %= 8;
1573
1574 dest_avail = 8 - dest_offset_bits % 8;
1575
1576 /* See if we can fill the first destination byte. */
1577 if (dest_avail < bit_count)
1578 {
1579 datum = extract_bits (&source, &source_offset_bits, dest_avail,
1580 bits_big_endian);
1581 insert_bits (datum, dest, dest_offset_bits, dest_avail, bits_big_endian);
1582 ++dest;
1583 dest_offset_bits = 0;
1584 bit_count -= dest_avail;
1585 }
1586
1587 /* Now, either DEST_OFFSET_BITS is byte-aligned, or we have fewer
1588 than 8 bits remaining. */
1589 gdb_assert (dest_offset_bits % 8 == 0 || bit_count < 8);
1590 for (; bit_count >= 8; bit_count -= 8)
1591 {
1592 datum = extract_bits (&source, &source_offset_bits, 8, bits_big_endian);
1593 *dest++ = (gdb_byte) datum;
1594 }
1595
1596 /* Finally, we may have a few leftover bits. */
1597 gdb_assert (bit_count <= 8 - dest_offset_bits % 8);
1598 if (bit_count > 0)
1599 {
1600 datum = extract_bits (&source, &source_offset_bits, bit_count,
1601 bits_big_endian);
1602 insert_bits (datum, dest, dest_offset_bits, bit_count, bits_big_endian);
1603 }
1604}
1605
052b9502
NF
1606static void
1607read_pieced_value (struct value *v)
1608{
1609 int i;
1610 long offset = 0;
d3b1e874 1611 ULONGEST bits_to_skip;
052b9502 1612 gdb_byte *contents;
3e43a32a
MS
1613 struct piece_closure *c
1614 = (struct piece_closure *) value_computed_closure (v);
052b9502 1615 struct frame_info *frame = frame_find_by_id (VALUE_FRAME_ID (v));
afd74c5f 1616 size_t type_len;
d3b1e874 1617 size_t buffer_size = 0;
948f8e3d 1618 gdb_byte *buffer = NULL;
d3b1e874
TT
1619 struct cleanup *cleanup;
1620 int bits_big_endian
1621 = gdbarch_bits_big_endian (get_type_arch (value_type (v)));
afd74c5f
TT
1622
1623 if (value_type (v) != value_enclosing_type (v))
1624 internal_error (__FILE__, __LINE__,
1625 _("Should not be able to create a lazy value with "
1626 "an enclosing type"));
052b9502 1627
d3b1e874
TT
1628 cleanup = make_cleanup (free_current_contents, &buffer);
1629
052b9502 1630 contents = value_contents_raw (v);
d3b1e874 1631 bits_to_skip = 8 * value_offset (v);
0e03807e
TT
1632 if (value_bitsize (v))
1633 {
1634 bits_to_skip += value_bitpos (v);
1635 type_len = value_bitsize (v);
1636 }
1637 else
1638 type_len = 8 * TYPE_LENGTH (value_type (v));
d3b1e874 1639
afd74c5f 1640 for (i = 0; i < c->n_pieces && offset < type_len; i++)
052b9502
NF
1641 {
1642 struct dwarf_expr_piece *p = &c->pieces[i];
d3b1e874
TT
1643 size_t this_size, this_size_bits;
1644 long dest_offset_bits, source_offset_bits, source_offset;
0d45f56e 1645 const gdb_byte *intermediate_buffer;
d3b1e874
TT
1646
1647 /* Compute size, source, and destination offsets for copying, in
1648 bits. */
1649 this_size_bits = p->size;
1650 if (bits_to_skip > 0 && bits_to_skip >= this_size_bits)
afd74c5f 1651 {
d3b1e874 1652 bits_to_skip -= this_size_bits;
afd74c5f
TT
1653 continue;
1654 }
d3b1e874 1655 if (bits_to_skip > 0)
afd74c5f 1656 {
d3b1e874
TT
1657 dest_offset_bits = 0;
1658 source_offset_bits = bits_to_skip;
1659 this_size_bits -= bits_to_skip;
1660 bits_to_skip = 0;
afd74c5f
TT
1661 }
1662 else
1663 {
d3b1e874
TT
1664 dest_offset_bits = offset;
1665 source_offset_bits = 0;
afd74c5f 1666 }
5bd1ef56
TT
1667 if (this_size_bits > type_len - offset)
1668 this_size_bits = type_len - offset;
9a619af0 1669
d3b1e874
TT
1670 this_size = (this_size_bits + source_offset_bits % 8 + 7) / 8;
1671 source_offset = source_offset_bits / 8;
1672 if (buffer_size < this_size)
1673 {
1674 buffer_size = this_size;
1675 buffer = xrealloc (buffer, buffer_size);
1676 }
1677 intermediate_buffer = buffer;
1678
1679 /* Copy from the source to DEST_BUFFER. */
cec03d70 1680 switch (p->location)
052b9502 1681 {
cec03d70
TT
1682 case DWARF_VALUE_REGISTER:
1683 {
1684 struct gdbarch *arch = get_frame_arch (frame);
8a9b8146 1685 int gdb_regnum = gdbarch_dwarf2_reg_to_regnum (arch, p->v.regno);
dcbf108f 1686
63b4f126
MGD
1687 if (gdb_regnum != -1)
1688 {
8dccd430 1689 int optim, unavail;
ca45ab26
VK
1690 int reg_offset = source_offset;
1691
1692 if (gdbarch_byte_order (arch) == BFD_ENDIAN_BIG
1693 && this_size < register_size (arch, gdb_regnum))
1694 {
1695 /* Big-endian, and we want less than full size. */
1696 reg_offset = register_size (arch, gdb_regnum) - this_size;
1697 /* We want the lower-order THIS_SIZE_BITS of the bytes
1698 we extract from the register. */
1699 source_offset_bits += 8 * this_size - this_size_bits;
1700 }
8dccd430
PA
1701
1702 if (!get_frame_register_bytes (frame, gdb_regnum, reg_offset,
1703 this_size, buffer,
1704 &optim, &unavail))
1705 {
1706 /* Just so garbage doesn't ever shine through. */
1707 memset (buffer, 0, this_size);
1708
1709 if (optim)
9a0dc9e3 1710 mark_value_bits_optimized_out (v, offset, this_size_bits);
8dccd430 1711 if (unavail)
bdf22206 1712 mark_value_bits_unavailable (v, offset, this_size_bits);
8dccd430 1713 }
63b4f126
MGD
1714 }
1715 else
1716 {
1717 error (_("Unable to access DWARF register number %s"),
8a9b8146 1718 paddress (arch, p->v.regno));
63b4f126 1719 }
cec03d70
TT
1720 }
1721 break;
1722
1723 case DWARF_VALUE_MEMORY:
e6ca34fc
PA
1724 read_value_memory (v, offset,
1725 p->v.mem.in_stack_memory,
1726 p->v.mem.addr + source_offset,
1727 buffer, this_size);
cec03d70
TT
1728 break;
1729
1730 case DWARF_VALUE_STACK:
1731 {
afd74c5f 1732 size_t n = this_size;
9a619af0 1733
afd74c5f
TT
1734 if (n > c->addr_size - source_offset)
1735 n = (c->addr_size >= source_offset
1736 ? c->addr_size - source_offset
1737 : 0);
1738 if (n == 0)
1739 {
1740 /* Nothing. */
1741 }
afd74c5f
TT
1742 else
1743 {
8a9b8146 1744 const gdb_byte *val_bytes = value_contents_all (p->v.value);
afd74c5f 1745
8a9b8146 1746 intermediate_buffer = val_bytes + source_offset;
afd74c5f 1747 }
cec03d70
TT
1748 }
1749 break;
1750
1751 case DWARF_VALUE_LITERAL:
1752 {
afd74c5f
TT
1753 size_t n = this_size;
1754
1755 if (n > p->v.literal.length - source_offset)
1756 n = (p->v.literal.length >= source_offset
1757 ? p->v.literal.length - source_offset
1758 : 0);
1759 if (n != 0)
d3b1e874 1760 intermediate_buffer = p->v.literal.data + source_offset;
cec03d70
TT
1761 }
1762 break;
1763
8cf6f0b1
TT
1764 /* These bits show up as zeros -- but do not cause the value
1765 to be considered optimized-out. */
1766 case DWARF_VALUE_IMPLICIT_POINTER:
1767 break;
1768
cb826367 1769 case DWARF_VALUE_OPTIMIZED_OUT:
9a0dc9e3 1770 mark_value_bits_optimized_out (v, offset, this_size_bits);
cb826367
TT
1771 break;
1772
cec03d70
TT
1773 default:
1774 internal_error (__FILE__, __LINE__, _("invalid location type"));
052b9502 1775 }
d3b1e874 1776
8cf6f0b1
TT
1777 if (p->location != DWARF_VALUE_OPTIMIZED_OUT
1778 && p->location != DWARF_VALUE_IMPLICIT_POINTER)
d3b1e874
TT
1779 copy_bitwise (contents, dest_offset_bits,
1780 intermediate_buffer, source_offset_bits % 8,
1781 this_size_bits, bits_big_endian);
1782
1783 offset += this_size_bits;
052b9502 1784 }
d3b1e874
TT
1785
1786 do_cleanups (cleanup);
052b9502
NF
1787}
1788
1789static void
1790write_pieced_value (struct value *to, struct value *from)
1791{
1792 int i;
1793 long offset = 0;
d3b1e874 1794 ULONGEST bits_to_skip;
afd74c5f 1795 const gdb_byte *contents;
3e43a32a
MS
1796 struct piece_closure *c
1797 = (struct piece_closure *) value_computed_closure (to);
052b9502 1798 struct frame_info *frame = frame_find_by_id (VALUE_FRAME_ID (to));
afd74c5f 1799 size_t type_len;
d3b1e874 1800 size_t buffer_size = 0;
948f8e3d 1801 gdb_byte *buffer = NULL;
d3b1e874
TT
1802 struct cleanup *cleanup;
1803 int bits_big_endian
1804 = gdbarch_bits_big_endian (get_type_arch (value_type (to)));
052b9502
NF
1805
1806 if (frame == NULL)
1807 {
9a0dc9e3 1808 mark_value_bytes_optimized_out (to, 0, TYPE_LENGTH (value_type (to)));
052b9502
NF
1809 return;
1810 }
1811
d3b1e874
TT
1812 cleanup = make_cleanup (free_current_contents, &buffer);
1813
afd74c5f 1814 contents = value_contents (from);
d3b1e874 1815 bits_to_skip = 8 * value_offset (to);
0e03807e
TT
1816 if (value_bitsize (to))
1817 {
1818 bits_to_skip += value_bitpos (to);
1819 type_len = value_bitsize (to);
1820 }
1821 else
1822 type_len = 8 * TYPE_LENGTH (value_type (to));
1823
afd74c5f 1824 for (i = 0; i < c->n_pieces && offset < type_len; i++)
052b9502
NF
1825 {
1826 struct dwarf_expr_piece *p = &c->pieces[i];
d3b1e874
TT
1827 size_t this_size_bits, this_size;
1828 long dest_offset_bits, source_offset_bits, dest_offset, source_offset;
1829 int need_bitwise;
1830 const gdb_byte *source_buffer;
afd74c5f 1831
d3b1e874
TT
1832 this_size_bits = p->size;
1833 if (bits_to_skip > 0 && bits_to_skip >= this_size_bits)
afd74c5f 1834 {
d3b1e874 1835 bits_to_skip -= this_size_bits;
afd74c5f
TT
1836 continue;
1837 }
d3b1e874
TT
1838 if (this_size_bits > type_len - offset)
1839 this_size_bits = type_len - offset;
1840 if (bits_to_skip > 0)
afd74c5f 1841 {
d3b1e874
TT
1842 dest_offset_bits = bits_to_skip;
1843 source_offset_bits = 0;
1844 this_size_bits -= bits_to_skip;
1845 bits_to_skip = 0;
afd74c5f
TT
1846 }
1847 else
1848 {
d3b1e874
TT
1849 dest_offset_bits = 0;
1850 source_offset_bits = offset;
1851 }
1852
1853 this_size = (this_size_bits + source_offset_bits % 8 + 7) / 8;
1854 source_offset = source_offset_bits / 8;
1855 dest_offset = dest_offset_bits / 8;
1856 if (dest_offset_bits % 8 == 0 && source_offset_bits % 8 == 0)
1857 {
1858 source_buffer = contents + source_offset;
1859 need_bitwise = 0;
1860 }
1861 else
1862 {
1863 if (buffer_size < this_size)
1864 {
1865 buffer_size = this_size;
1866 buffer = xrealloc (buffer, buffer_size);
1867 }
1868 source_buffer = buffer;
1869 need_bitwise = 1;
afd74c5f 1870 }
9a619af0 1871
cec03d70 1872 switch (p->location)
052b9502 1873 {
cec03d70
TT
1874 case DWARF_VALUE_REGISTER:
1875 {
1876 struct gdbarch *arch = get_frame_arch (frame);
8a9b8146 1877 int gdb_regnum = gdbarch_dwarf2_reg_to_regnum (arch, p->v.regno);
dcbf108f 1878
63b4f126
MGD
1879 if (gdb_regnum != -1)
1880 {
ca45ab26
VK
1881 int reg_offset = dest_offset;
1882
1883 if (gdbarch_byte_order (arch) == BFD_ENDIAN_BIG
1884 && this_size <= register_size (arch, gdb_regnum))
1885 {
1886 /* Big-endian, and we want less than full size. */
1887 reg_offset = register_size (arch, gdb_regnum) - this_size;
1888 }
1889
d3b1e874
TT
1890 if (need_bitwise)
1891 {
8dccd430
PA
1892 int optim, unavail;
1893
1894 if (!get_frame_register_bytes (frame, gdb_regnum, reg_offset,
1895 this_size, buffer,
1896 &optim, &unavail))
1897 {
1898 if (optim)
710409a2
PA
1899 throw_error (OPTIMIZED_OUT_ERROR,
1900 _("Can't do read-modify-write to "
1901 "update bitfield; containing word "
1902 "has been optimized out"));
8dccd430
PA
1903 if (unavail)
1904 throw_error (NOT_AVAILABLE_ERROR,
1905 _("Can't do read-modify-write to update "
1906 "bitfield; containing word "
1907 "is unavailable"));
1908 }
d3b1e874
TT
1909 copy_bitwise (buffer, dest_offset_bits,
1910 contents, source_offset_bits,
1911 this_size_bits,
1912 bits_big_endian);
1913 }
1914
63b4f126 1915 put_frame_register_bytes (frame, gdb_regnum, reg_offset,
d3b1e874 1916 this_size, source_buffer);
63b4f126
MGD
1917 }
1918 else
1919 {
1920 error (_("Unable to write to DWARF register number %s"),
8a9b8146 1921 paddress (arch, p->v.regno));
63b4f126 1922 }
cec03d70
TT
1923 }
1924 break;
1925 case DWARF_VALUE_MEMORY:
d3b1e874
TT
1926 if (need_bitwise)
1927 {
1928 /* Only the first and last bytes can possibly have any
1929 bits reused. */
f2c7657e
UW
1930 read_memory (p->v.mem.addr + dest_offset, buffer, 1);
1931 read_memory (p->v.mem.addr + dest_offset + this_size - 1,
d3b1e874
TT
1932 buffer + this_size - 1, 1);
1933 copy_bitwise (buffer, dest_offset_bits,
1934 contents, source_offset_bits,
1935 this_size_bits,
1936 bits_big_endian);
1937 }
1938
f2c7657e 1939 write_memory (p->v.mem.addr + dest_offset,
d3b1e874 1940 source_buffer, this_size);
cec03d70
TT
1941 break;
1942 default:
9a0dc9e3 1943 mark_value_bytes_optimized_out (to, 0, TYPE_LENGTH (value_type (to)));
0e03807e 1944 break;
052b9502 1945 }
d3b1e874 1946 offset += this_size_bits;
052b9502 1947 }
d3b1e874 1948
d3b1e874 1949 do_cleanups (cleanup);
052b9502
NF
1950}
1951
9a0dc9e3
PA
1952/* An implementation of an lval_funcs method to see whether a value is
1953 a synthetic pointer. */
8cf6f0b1 1954
0e03807e 1955static int
9a0dc9e3
PA
1956check_pieced_synthetic_pointer (const struct value *value, int bit_offset,
1957 int bit_length)
0e03807e
TT
1958{
1959 struct piece_closure *c
1960 = (struct piece_closure *) value_computed_closure (value);
1961 int i;
1962
1963 bit_offset += 8 * value_offset (value);
1964 if (value_bitsize (value))
1965 bit_offset += value_bitpos (value);
1966
1967 for (i = 0; i < c->n_pieces && bit_length > 0; i++)
1968 {
1969 struct dwarf_expr_piece *p = &c->pieces[i];
1970 size_t this_size_bits = p->size;
1971
1972 if (bit_offset > 0)
1973 {
1974 if (bit_offset >= this_size_bits)
1975 {
1976 bit_offset -= this_size_bits;
1977 continue;
1978 }
1979
1980 bit_length -= this_size_bits - bit_offset;
1981 bit_offset = 0;
1982 }
1983 else
1984 bit_length -= this_size_bits;
1985
9a0dc9e3
PA
1986 if (p->location != DWARF_VALUE_IMPLICIT_POINTER)
1987 return 0;
0e03807e
TT
1988 }
1989
9a0dc9e3 1990 return 1;
8cf6f0b1
TT
1991}
1992
1993/* A wrapper function for get_frame_address_in_block. */
1994
1995static CORE_ADDR
1996get_frame_address_in_block_wrapper (void *baton)
1997{
1998 return get_frame_address_in_block (baton);
1999}
2000
2001/* An implementation of an lval_funcs method to indirect through a
2002 pointer. This handles the synthetic pointer case when needed. */
2003
2004static struct value *
2005indirect_pieced_value (struct value *value)
2006{
2007 struct piece_closure *c
2008 = (struct piece_closure *) value_computed_closure (value);
2009 struct type *type;
2010 struct frame_info *frame;
2011 struct dwarf2_locexpr_baton baton;
2012 int i, bit_offset, bit_length;
2013 struct dwarf_expr_piece *piece = NULL;
8cf6f0b1 2014 LONGEST byte_offset;
b597c318 2015 enum bfd_endian byte_order;
8cf6f0b1 2016
0e37a63c 2017 type = check_typedef (value_type (value));
8cf6f0b1
TT
2018 if (TYPE_CODE (type) != TYPE_CODE_PTR)
2019 return NULL;
2020
2021 bit_length = 8 * TYPE_LENGTH (type);
2022 bit_offset = 8 * value_offset (value);
2023 if (value_bitsize (value))
2024 bit_offset += value_bitpos (value);
2025
2026 for (i = 0; i < c->n_pieces && bit_length > 0; i++)
2027 {
2028 struct dwarf_expr_piece *p = &c->pieces[i];
2029 size_t this_size_bits = p->size;
2030
2031 if (bit_offset > 0)
2032 {
2033 if (bit_offset >= this_size_bits)
2034 {
2035 bit_offset -= this_size_bits;
2036 continue;
2037 }
2038
2039 bit_length -= this_size_bits - bit_offset;
2040 bit_offset = 0;
2041 }
2042 else
2043 bit_length -= this_size_bits;
2044
2045 if (p->location != DWARF_VALUE_IMPLICIT_POINTER)
2046 return NULL;
2047
2048 if (bit_length != 0)
2049 error (_("Invalid use of DW_OP_GNU_implicit_pointer"));
2050
2051 piece = p;
2052 break;
2053 }
2054
2055 frame = get_selected_frame (_("No frame selected."));
543305c9 2056
5bd1ef56
TT
2057 /* This is an offset requested by GDB, such as value subscripts.
2058 However, due to how synthetic pointers are implemented, this is
2059 always presented to us as a pointer type. This means we have to
b597c318
YQ
2060 sign-extend it manually as appropriate. Use raw
2061 extract_signed_integer directly rather than value_as_address and
2062 sign extend afterwards on architectures that would need it
2063 (mostly everywhere except MIPS, which has signed addresses) as
2064 the later would go through gdbarch_pointer_to_address and thus
2065 return a CORE_ADDR with high bits set on architectures that
2066 encode address spaces and other things in CORE_ADDR. */
2067 byte_order = gdbarch_byte_order (get_frame_arch (frame));
2068 byte_offset = extract_signed_integer (value_contents (value),
2069 TYPE_LENGTH (type), byte_order);
5bd1ef56 2070 byte_offset += piece->v.ptr.offset;
8cf6f0b1 2071
e0e40094 2072 gdb_assert (piece);
8b9737bf
TT
2073 baton
2074 = dwarf2_fetch_die_loc_sect_off (piece->v.ptr.die, c->per_cu,
2075 get_frame_address_in_block_wrapper,
2076 frame);
8cf6f0b1 2077
b6807d98
TT
2078 if (baton.data != NULL)
2079 return dwarf2_evaluate_loc_desc_full (TYPE_TARGET_TYPE (type), frame,
2080 baton.data, baton.size, baton.per_cu,
5bd1ef56 2081 byte_offset);
b6807d98
TT
2082
2083 {
2084 struct obstack temp_obstack;
2085 struct cleanup *cleanup;
2086 const gdb_byte *bytes;
2087 LONGEST len;
2088 struct value *result;
2089
2090 obstack_init (&temp_obstack);
2091 cleanup = make_cleanup_obstack_free (&temp_obstack);
2092
2093 bytes = dwarf2_fetch_constant_bytes (piece->v.ptr.die, c->per_cu,
2094 &temp_obstack, &len);
2095 if (bytes == NULL)
2096 result = allocate_optimized_out_value (TYPE_TARGET_TYPE (type));
2097 else
2098 {
2099 if (byte_offset < 0
2100 || byte_offset + TYPE_LENGTH (TYPE_TARGET_TYPE (type)) > len)
2101 invalid_synthetic_pointer ();
2102 bytes += byte_offset;
2103 result = value_from_contents (TYPE_TARGET_TYPE (type), bytes);
2104 }
2105
2106 do_cleanups (cleanup);
2107 return result;
2108 }
0e03807e
TT
2109}
2110
052b9502 2111static void *
0e03807e 2112copy_pieced_value_closure (const struct value *v)
052b9502 2113{
3e43a32a
MS
2114 struct piece_closure *c
2115 = (struct piece_closure *) value_computed_closure (v);
052b9502 2116
88bfdde4
TT
2117 ++c->refc;
2118 return c;
052b9502
NF
2119}
2120
2121static void
2122free_pieced_value_closure (struct value *v)
2123{
3e43a32a
MS
2124 struct piece_closure *c
2125 = (struct piece_closure *) value_computed_closure (v);
052b9502 2126
88bfdde4
TT
2127 --c->refc;
2128 if (c->refc == 0)
2129 {
8a9b8146
TT
2130 int i;
2131
2132 for (i = 0; i < c->n_pieces; ++i)
2133 if (c->pieces[i].location == DWARF_VALUE_STACK)
2134 value_free (c->pieces[i].v.value);
2135
88bfdde4
TT
2136 xfree (c->pieces);
2137 xfree (c);
2138 }
052b9502
NF
2139}
2140
2141/* Functions for accessing a variable described by DW_OP_piece. */
c8f2448a 2142static const struct lval_funcs pieced_value_funcs = {
052b9502
NF
2143 read_pieced_value,
2144 write_pieced_value,
8cf6f0b1 2145 indirect_pieced_value,
a471c594 2146 NULL, /* coerce_ref */
8cf6f0b1 2147 check_pieced_synthetic_pointer,
052b9502
NF
2148 copy_pieced_value_closure,
2149 free_pieced_value_closure
2150};
2151
9e8b7a03
JK
2152/* Virtual method table for dwarf2_evaluate_loc_desc_full below. */
2153
2154static const struct dwarf_expr_context_funcs dwarf_expr_ctx_funcs =
2155{
b1370418 2156 dwarf_expr_read_addr_from_reg,
0acf8b65 2157 dwarf_expr_get_reg_value,
9e8b7a03
JK
2158 dwarf_expr_read_mem,
2159 dwarf_expr_frame_base,
2160 dwarf_expr_frame_cfa,
2161 dwarf_expr_frame_pc,
2162 dwarf_expr_tls_address,
2163 dwarf_expr_dwarf_call,
8e3b41a9 2164 dwarf_expr_get_base_type,
3019eac3 2165 dwarf_expr_push_dwarf_reg_entry_value,
08412b07
JB
2166 dwarf_expr_get_addr_index,
2167 dwarf_expr_get_obj_addr
9e8b7a03
JK
2168};
2169
4c2df51b 2170/* Evaluate a location description, starting at DATA and with length
8cf6f0b1
TT
2171 SIZE, to find the current location of variable of TYPE in the
2172 context of FRAME. BYTE_OFFSET is applied after the contents are
2173 computed. */
a2d33775 2174
8cf6f0b1
TT
2175static struct value *
2176dwarf2_evaluate_loc_desc_full (struct type *type, struct frame_info *frame,
56eb65bd 2177 const gdb_byte *data, size_t size,
8cf6f0b1
TT
2178 struct dwarf2_per_cu_data *per_cu,
2179 LONGEST byte_offset)
4c2df51b 2180{
4c2df51b
DJ
2181 struct value *retval;
2182 struct dwarf_expr_baton baton;
2183 struct dwarf_expr_context *ctx;
72fc29ff 2184 struct cleanup *old_chain, *value_chain;
ac56253d 2185 struct objfile *objfile = dwarf2_per_cu_objfile (per_cu);
79e1a869 2186 volatile struct gdb_exception ex;
4c2df51b 2187
8cf6f0b1
TT
2188 if (byte_offset < 0)
2189 invalid_synthetic_pointer ();
2190
0d53c4c4 2191 if (size == 0)
a7035dbb 2192 return allocate_optimized_out_value (type);
0d53c4c4 2193
4c2df51b 2194 baton.frame = frame;
17ea53c3 2195 baton.per_cu = per_cu;
08412b07 2196 baton.obj_address = 0;
4c2df51b
DJ
2197
2198 ctx = new_dwarf_expr_context ();
4a227398 2199 old_chain = make_cleanup_free_dwarf_expr_context (ctx);
72fc29ff 2200 value_chain = make_cleanup_value_free_to_mark (value_mark ());
4a227398 2201
ac56253d 2202 ctx->gdbarch = get_objfile_arch (objfile);
ae0d2f24 2203 ctx->addr_size = dwarf2_per_cu_addr_size (per_cu);
181cebd4 2204 ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (per_cu);
9aa1f1e3 2205 ctx->offset = dwarf2_per_cu_text_offset (per_cu);
4c2df51b 2206 ctx->baton = &baton;
9e8b7a03 2207 ctx->funcs = &dwarf_expr_ctx_funcs;
4c2df51b 2208
79e1a869
PA
2209 TRY_CATCH (ex, RETURN_MASK_ERROR)
2210 {
2211 dwarf_expr_eval (ctx, data, size);
2212 }
2213 if (ex.reason < 0)
2214 {
2215 if (ex.error == NOT_AVAILABLE_ERROR)
2216 {
72fc29ff 2217 do_cleanups (old_chain);
79e1a869
PA
2218 retval = allocate_value (type);
2219 mark_value_bytes_unavailable (retval, 0, TYPE_LENGTH (type));
2220 return retval;
2221 }
8e3b41a9
JK
2222 else if (ex.error == NO_ENTRY_VALUE_ERROR)
2223 {
2224 if (entry_values_debug)
2225 exception_print (gdb_stdout, ex);
2226 do_cleanups (old_chain);
2227 return allocate_optimized_out_value (type);
2228 }
79e1a869
PA
2229 else
2230 throw_exception (ex);
2231 }
2232
87808bd6
JB
2233 if (ctx->num_pieces > 0)
2234 {
052b9502
NF
2235 struct piece_closure *c;
2236 struct frame_id frame_id = get_frame_id (frame);
8cf6f0b1
TT
2237 ULONGEST bit_size = 0;
2238 int i;
052b9502 2239
8cf6f0b1
TT
2240 for (i = 0; i < ctx->num_pieces; ++i)
2241 bit_size += ctx->pieces[i].size;
2242 if (8 * (byte_offset + TYPE_LENGTH (type)) > bit_size)
2243 invalid_synthetic_pointer ();
2244
2245 c = allocate_piece_closure (per_cu, ctx->num_pieces, ctx->pieces,
6063c216 2246 ctx->addr_size);
72fc29ff
TT
2247 /* We must clean up the value chain after creating the piece
2248 closure but before allocating the result. */
2249 do_cleanups (value_chain);
a2d33775 2250 retval = allocate_computed_value (type, &pieced_value_funcs, c);
052b9502 2251 VALUE_FRAME_ID (retval) = frame_id;
8cf6f0b1 2252 set_value_offset (retval, byte_offset);
87808bd6 2253 }
4c2df51b
DJ
2254 else
2255 {
cec03d70
TT
2256 switch (ctx->location)
2257 {
2258 case DWARF_VALUE_REGISTER:
2259 {
2260 struct gdbarch *arch = get_frame_arch (frame);
7c33b57c
PA
2261 int dwarf_regnum
2262 = longest_to_int (value_as_long (dwarf_expr_fetch (ctx, 0)));
cec03d70 2263 int gdb_regnum = gdbarch_dwarf2_reg_to_regnum (arch, dwarf_regnum);
9a619af0 2264
8cf6f0b1
TT
2265 if (byte_offset != 0)
2266 error (_("cannot use offset on synthetic pointer to register"));
72fc29ff 2267 do_cleanups (value_chain);
901461f8 2268 if (gdb_regnum == -1)
7c33b57c
PA
2269 error (_("Unable to access DWARF register number %d"),
2270 dwarf_regnum);
901461f8
PA
2271 retval = value_from_register (type, gdb_regnum, frame);
2272 if (value_optimized_out (retval))
2273 {
9a0dc9e3
PA
2274 struct value *tmp;
2275
901461f8
PA
2276 /* This means the register has undefined value / was
2277 not saved. As we're computing the location of some
2278 variable etc. in the program, not a value for
2279 inspecting a register ($pc, $sp, etc.), return a
2280 generic optimized out value instead, so that we show
2281 <optimized out> instead of <not saved>. */
2282 do_cleanups (value_chain);
9a0dc9e3
PA
2283 tmp = allocate_value (type);
2284 value_contents_copy (tmp, 0, retval, 0, TYPE_LENGTH (type));
2285 retval = tmp;
901461f8 2286 }
cec03d70
TT
2287 }
2288 break;
2289
2290 case DWARF_VALUE_MEMORY:
2291 {
f2c7657e 2292 CORE_ADDR address = dwarf_expr_fetch_address (ctx, 0);
44353522 2293 int in_stack_memory = dwarf_expr_fetch_in_stack_memory (ctx, 0);
cec03d70 2294
72fc29ff 2295 do_cleanups (value_chain);
08039c9e 2296 retval = value_at_lazy (type, address + byte_offset);
44353522
DE
2297 if (in_stack_memory)
2298 set_value_stack (retval, 1);
cec03d70
TT
2299 }
2300 break;
2301
2302 case DWARF_VALUE_STACK:
2303 {
8a9b8146
TT
2304 struct value *value = dwarf_expr_fetch (ctx, 0);
2305 gdb_byte *contents;
2306 const gdb_byte *val_bytes;
2307 size_t n = TYPE_LENGTH (value_type (value));
cec03d70 2308
8cf6f0b1
TT
2309 if (byte_offset + TYPE_LENGTH (type) > n)
2310 invalid_synthetic_pointer ();
2311
8a9b8146
TT
2312 val_bytes = value_contents_all (value);
2313 val_bytes += byte_offset;
8cf6f0b1
TT
2314 n -= byte_offset;
2315
72fc29ff
TT
2316 /* Preserve VALUE because we are going to free values back
2317 to the mark, but we still need the value contents
2318 below. */
2319 value_incref (value);
2320 do_cleanups (value_chain);
2321 make_cleanup_value_free (value);
2322
a2d33775 2323 retval = allocate_value (type);
cec03d70 2324 contents = value_contents_raw (retval);
a2d33775 2325 if (n > TYPE_LENGTH (type))
b6cede78
JK
2326 {
2327 struct gdbarch *objfile_gdbarch = get_objfile_arch (objfile);
2328
2329 if (gdbarch_byte_order (objfile_gdbarch) == BFD_ENDIAN_BIG)
2330 val_bytes += n - TYPE_LENGTH (type);
2331 n = TYPE_LENGTH (type);
2332 }
8a9b8146 2333 memcpy (contents, val_bytes, n);
cec03d70
TT
2334 }
2335 break;
2336
2337 case DWARF_VALUE_LITERAL:
2338 {
2339 bfd_byte *contents;
8c814cdd 2340 const bfd_byte *ldata;
cec03d70
TT
2341 size_t n = ctx->len;
2342
8cf6f0b1
TT
2343 if (byte_offset + TYPE_LENGTH (type) > n)
2344 invalid_synthetic_pointer ();
2345
72fc29ff 2346 do_cleanups (value_chain);
a2d33775 2347 retval = allocate_value (type);
cec03d70 2348 contents = value_contents_raw (retval);
8cf6f0b1 2349
8c814cdd 2350 ldata = ctx->data + byte_offset;
8cf6f0b1
TT
2351 n -= byte_offset;
2352
a2d33775 2353 if (n > TYPE_LENGTH (type))
b6cede78
JK
2354 {
2355 struct gdbarch *objfile_gdbarch = get_objfile_arch (objfile);
2356
2357 if (gdbarch_byte_order (objfile_gdbarch) == BFD_ENDIAN_BIG)
2358 ldata += n - TYPE_LENGTH (type);
2359 n = TYPE_LENGTH (type);
2360 }
8c814cdd 2361 memcpy (contents, ldata, n);
cec03d70
TT
2362 }
2363 break;
2364
dd90784c 2365 case DWARF_VALUE_OPTIMIZED_OUT:
72fc29ff 2366 do_cleanups (value_chain);
a7035dbb 2367 retval = allocate_optimized_out_value (type);
dd90784c
JK
2368 break;
2369
8cf6f0b1
TT
2370 /* DWARF_VALUE_IMPLICIT_POINTER was converted to a pieced
2371 operation by execute_stack_op. */
2372 case DWARF_VALUE_IMPLICIT_POINTER:
cb826367
TT
2373 /* DWARF_VALUE_OPTIMIZED_OUT can't occur in this context --
2374 it can only be encountered when making a piece. */
cec03d70
TT
2375 default:
2376 internal_error (__FILE__, __LINE__, _("invalid location type"));
2377 }
4c2df51b
DJ
2378 }
2379
42be36b3
CT
2380 set_value_initialized (retval, ctx->initialized);
2381
4a227398 2382 do_cleanups (old_chain);
4c2df51b
DJ
2383
2384 return retval;
2385}
8cf6f0b1
TT
2386
2387/* The exported interface to dwarf2_evaluate_loc_desc_full; it always
2388 passes 0 as the byte_offset. */
2389
2390struct value *
2391dwarf2_evaluate_loc_desc (struct type *type, struct frame_info *frame,
56eb65bd 2392 const gdb_byte *data, size_t size,
8cf6f0b1
TT
2393 struct dwarf2_per_cu_data *per_cu)
2394{
2395 return dwarf2_evaluate_loc_desc_full (type, frame, data, size, per_cu, 0);
2396}
2397
80180f79
SA
2398/* Evaluates a dwarf expression and stores the result in VAL, expecting
2399 that the dwarf expression only produces a single CORE_ADDR. ADDR is a
2400 context (location of a variable) and might be needed to evaluate the
2401 location expression.
2402 Returns 1 on success, 0 otherwise. */
2403
2404static int
2405dwarf2_locexpr_baton_eval (const struct dwarf2_locexpr_baton *dlbaton,
08412b07 2406 CORE_ADDR addr,
1cfdf534 2407 CORE_ADDR *valp)
80180f79
SA
2408{
2409 struct dwarf_expr_context *ctx;
2410 struct dwarf_expr_baton baton;
2411 struct objfile *objfile;
2412 struct cleanup *cleanup;
2413
2414 if (dlbaton == NULL || dlbaton->size == 0)
2415 return 0;
2416
2417 ctx = new_dwarf_expr_context ();
2418 cleanup = make_cleanup_free_dwarf_expr_context (ctx);
2419
2420 baton.frame = get_selected_frame (NULL);
2421 baton.per_cu = dlbaton->per_cu;
08412b07 2422 baton.obj_address = addr;
80180f79
SA
2423
2424 objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
2425
2426 ctx->gdbarch = get_objfile_arch (objfile);
2427 ctx->addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
2428 ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (dlbaton->per_cu);
2429 ctx->offset = dwarf2_per_cu_text_offset (dlbaton->per_cu);
2430 ctx->funcs = &dwarf_expr_ctx_funcs;
2431 ctx->baton = &baton;
2432
2433 dwarf_expr_eval (ctx, dlbaton->data, dlbaton->size);
2434
2435 switch (ctx->location)
2436 {
2437 case DWARF_VALUE_REGISTER:
2438 case DWARF_VALUE_MEMORY:
2439 case DWARF_VALUE_STACK:
2440 *valp = dwarf_expr_fetch_address (ctx, 0);
2441 if (ctx->location == DWARF_VALUE_REGISTER)
2442 *valp = dwarf_expr_read_addr_from_reg (&baton, *valp);
2443 do_cleanups (cleanup);
2444 return 1;
2445 case DWARF_VALUE_LITERAL:
2446 *valp = extract_signed_integer (ctx->data, ctx->len,
2447 gdbarch_byte_order (ctx->gdbarch));
2448 do_cleanups (cleanup);
2449 return 1;
2450 /* Unsupported dwarf values. */
2451 case DWARF_VALUE_OPTIMIZED_OUT:
2452 case DWARF_VALUE_IMPLICIT_POINTER:
2453 break;
2454 }
2455
2456 do_cleanups (cleanup);
2457 return 0;
2458}
2459
2460/* See dwarf2loc.h. */
2461
2462int
08412b07
JB
2463dwarf2_evaluate_property (const struct dynamic_prop *prop,
2464 CORE_ADDR address, CORE_ADDR *value)
80180f79
SA
2465{
2466 if (prop == NULL)
2467 return 0;
2468
2469 switch (prop->kind)
2470 {
2471 case PROP_LOCEXPR:
2472 {
2473 const struct dwarf2_property_baton *baton = prop->data.baton;
2474
08412b07 2475 if (dwarf2_locexpr_baton_eval (&baton->locexpr, address, value))
80180f79
SA
2476 {
2477 if (baton->referenced_type)
2478 {
2479 struct value *val = value_at (baton->referenced_type, *value);
2480
2481 *value = value_as_address (val);
2482 }
2483 return 1;
2484 }
2485 }
2486 break;
2487
2488 case PROP_LOCLIST:
2489 {
2490 struct dwarf2_property_baton *baton = prop->data.baton;
2491 struct frame_info *frame = get_selected_frame (NULL);
2492 CORE_ADDR pc = get_frame_address_in_block (frame);
2493 const gdb_byte *data;
2494 struct value *val;
2495 size_t size;
2496
2497 data = dwarf2_find_location_expression (&baton->loclist, &size, pc);
2498 if (data != NULL)
2499 {
2500 val = dwarf2_evaluate_loc_desc (baton->referenced_type, frame, data,
2501 size, baton->loclist.per_cu);
2502 if (!value_optimized_out (val))
2503 {
2504 *value = value_as_address (val);
2505 return 1;
2506 }
2507 }
2508 }
2509 break;
2510
2511 case PROP_CONST:
2512 *value = prop->data.const_val;
2513 return 1;
2514 }
2515
2516 return 0;
2517}
2518
bb2ec1b3
TT
2519/* See dwarf2loc.h. */
2520
2521void
2522dwarf2_compile_property_to_c (struct ui_file *stream,
2523 const char *result_name,
2524 struct gdbarch *gdbarch,
2525 unsigned char *registers_used,
2526 const struct dynamic_prop *prop,
2527 CORE_ADDR pc,
2528 struct symbol *sym)
2529{
2530 struct dwarf2_property_baton *baton = prop->data.baton;
2531 const gdb_byte *data;
2532 size_t size;
2533 struct dwarf2_per_cu_data *per_cu;
2534
2535 if (prop->kind == PROP_LOCEXPR)
2536 {
2537 data = baton->locexpr.data;
2538 size = baton->locexpr.size;
2539 per_cu = baton->locexpr.per_cu;
2540 }
2541 else
2542 {
2543 gdb_assert (prop->kind == PROP_LOCLIST);
2544
2545 data = dwarf2_find_location_expression (&baton->loclist, &size, pc);
2546 per_cu = baton->loclist.per_cu;
2547 }
2548
2549 compile_dwarf_bounds_to_c (stream, result_name, prop, sym, pc,
2550 gdbarch, registers_used,
2551 dwarf2_per_cu_addr_size (per_cu),
2552 data, data + size, per_cu);
2553}
2554
4c2df51b
DJ
2555\f
2556/* Helper functions and baton for dwarf2_loc_desc_needs_frame. */
2557
2558struct needs_frame_baton
2559{
2560 int needs_frame;
17ea53c3 2561 struct dwarf2_per_cu_data *per_cu;
4c2df51b
DJ
2562};
2563
2564/* Reads from registers do require a frame. */
2565static CORE_ADDR
b1370418 2566needs_frame_read_addr_from_reg (void *baton, int regnum)
4c2df51b
DJ
2567{
2568 struct needs_frame_baton *nf_baton = baton;
9a619af0 2569
4c2df51b
DJ
2570 nf_baton->needs_frame = 1;
2571 return 1;
2572}
2573
0acf8b65
JB
2574/* struct dwarf_expr_context_funcs' "get_reg_value" callback:
2575 Reads from registers do require a frame. */
2576
2577static struct value *
2578needs_frame_get_reg_value (void *baton, struct type *type, int regnum)
2579{
2580 struct needs_frame_baton *nf_baton = baton;
2581
2582 nf_baton->needs_frame = 1;
2583 return value_zero (type, not_lval);
2584}
2585
4c2df51b
DJ
2586/* Reads from memory do not require a frame. */
2587static void
852483bc 2588needs_frame_read_mem (void *baton, gdb_byte *buf, CORE_ADDR addr, size_t len)
4c2df51b
DJ
2589{
2590 memset (buf, 0, len);
2591}
2592
2593/* Frame-relative accesses do require a frame. */
2594static void
0d45f56e 2595needs_frame_frame_base (void *baton, const gdb_byte **start, size_t * length)
4c2df51b 2596{
852483bc 2597 static gdb_byte lit0 = DW_OP_lit0;
4c2df51b
DJ
2598 struct needs_frame_baton *nf_baton = baton;
2599
2600 *start = &lit0;
2601 *length = 1;
2602
2603 nf_baton->needs_frame = 1;
2604}
2605
e7802207
TT
2606/* CFA accesses require a frame. */
2607
2608static CORE_ADDR
2609needs_frame_frame_cfa (void *baton)
2610{
2611 struct needs_frame_baton *nf_baton = baton;
9a619af0 2612
e7802207
TT
2613 nf_baton->needs_frame = 1;
2614 return 1;
2615}
2616
4c2df51b
DJ
2617/* Thread-local accesses do require a frame. */
2618static CORE_ADDR
2619needs_frame_tls_address (void *baton, CORE_ADDR offset)
2620{
2621 struct needs_frame_baton *nf_baton = baton;
9a619af0 2622
4c2df51b
DJ
2623 nf_baton->needs_frame = 1;
2624 return 1;
2625}
2626
5c631832
JK
2627/* Helper interface of per_cu_dwarf_call for dwarf2_loc_desc_needs_frame. */
2628
2629static void
b64f50a1 2630needs_frame_dwarf_call (struct dwarf_expr_context *ctx, cu_offset die_offset)
5c631832
JK
2631{
2632 struct needs_frame_baton *nf_baton = ctx->baton;
2633
37b50a69 2634 per_cu_dwarf_call (ctx, die_offset, nf_baton->per_cu,
9e8b7a03 2635 ctx->funcs->get_frame_pc, ctx->baton);
5c631832
JK
2636}
2637
8e3b41a9
JK
2638/* DW_OP_GNU_entry_value accesses require a caller, therefore a frame. */
2639
2640static void
2641needs_dwarf_reg_entry_value (struct dwarf_expr_context *ctx,
24c5c679
JK
2642 enum call_site_parameter_kind kind,
2643 union call_site_parameter_u kind_u, int deref_size)
8e3b41a9
JK
2644{
2645 struct needs_frame_baton *nf_baton = ctx->baton;
2646
2647 nf_baton->needs_frame = 1;
1788b2d3
JK
2648
2649 /* The expression may require some stub values on DWARF stack. */
2650 dwarf_expr_push_address (ctx, 0, 0);
8e3b41a9
JK
2651}
2652
3019eac3
DE
2653/* DW_OP_GNU_addr_index doesn't require a frame. */
2654
2655static CORE_ADDR
2656needs_get_addr_index (void *baton, unsigned int index)
2657{
2658 /* Nothing to do. */
2659 return 1;
2660}
2661
08412b07
JB
2662/* DW_OP_push_object_address has a frame already passed through. */
2663
2664static CORE_ADDR
2665needs_get_obj_addr (void *baton)
2666{
2667 /* Nothing to do. */
2668 return 1;
2669}
2670
9e8b7a03
JK
2671/* Virtual method table for dwarf2_loc_desc_needs_frame below. */
2672
2673static const struct dwarf_expr_context_funcs needs_frame_ctx_funcs =
2674{
b1370418 2675 needs_frame_read_addr_from_reg,
0acf8b65 2676 needs_frame_get_reg_value,
9e8b7a03
JK
2677 needs_frame_read_mem,
2678 needs_frame_frame_base,
2679 needs_frame_frame_cfa,
2680 needs_frame_frame_cfa, /* get_frame_pc */
2681 needs_frame_tls_address,
2682 needs_frame_dwarf_call,
8e3b41a9 2683 NULL, /* get_base_type */
3019eac3 2684 needs_dwarf_reg_entry_value,
08412b07
JB
2685 needs_get_addr_index,
2686 needs_get_obj_addr
9e8b7a03
JK
2687};
2688
4c2df51b
DJ
2689/* Return non-zero iff the location expression at DATA (length SIZE)
2690 requires a frame to evaluate. */
2691
2692static int
56eb65bd 2693dwarf2_loc_desc_needs_frame (const gdb_byte *data, size_t size,
ae0d2f24 2694 struct dwarf2_per_cu_data *per_cu)
4c2df51b
DJ
2695{
2696 struct needs_frame_baton baton;
2697 struct dwarf_expr_context *ctx;
f630a401 2698 int in_reg;
4a227398 2699 struct cleanup *old_chain;
ac56253d 2700 struct objfile *objfile = dwarf2_per_cu_objfile (per_cu);
4c2df51b
DJ
2701
2702 baton.needs_frame = 0;
17ea53c3 2703 baton.per_cu = per_cu;
4c2df51b
DJ
2704
2705 ctx = new_dwarf_expr_context ();
4a227398 2706 old_chain = make_cleanup_free_dwarf_expr_context (ctx);
72fc29ff 2707 make_cleanup_value_free_to_mark (value_mark ());
4a227398 2708
ac56253d 2709 ctx->gdbarch = get_objfile_arch (objfile);
ae0d2f24 2710 ctx->addr_size = dwarf2_per_cu_addr_size (per_cu);
181cebd4 2711 ctx->ref_addr_size = dwarf2_per_cu_ref_addr_size (per_cu);
9aa1f1e3 2712 ctx->offset = dwarf2_per_cu_text_offset (per_cu);
4c2df51b 2713 ctx->baton = &baton;
9e8b7a03 2714 ctx->funcs = &needs_frame_ctx_funcs;
4c2df51b
DJ
2715
2716 dwarf_expr_eval (ctx, data, size);
2717
cec03d70 2718 in_reg = ctx->location == DWARF_VALUE_REGISTER;
f630a401 2719
87808bd6
JB
2720 if (ctx->num_pieces > 0)
2721 {
2722 int i;
2723
2724 /* If the location has several pieces, and any of them are in
2725 registers, then we will need a frame to fetch them from. */
2726 for (i = 0; i < ctx->num_pieces; i++)
cec03d70 2727 if (ctx->pieces[i].location == DWARF_VALUE_REGISTER)
87808bd6
JB
2728 in_reg = 1;
2729 }
2730
4a227398 2731 do_cleanups (old_chain);
4c2df51b 2732
f630a401 2733 return baton.needs_frame || in_reg;
4c2df51b
DJ
2734}
2735
3cf03773
TT
2736/* A helper function that throws an unimplemented error mentioning a
2737 given DWARF operator. */
2738
2739static void
2740unimplemented (unsigned int op)
0d53c4c4 2741{
f39c6ffd 2742 const char *name = get_DW_OP_name (op);
b1bfef65
TT
2743
2744 if (name)
2745 error (_("DWARF operator %s cannot be translated to an agent expression"),
2746 name);
2747 else
1ba1b353
TT
2748 error (_("Unknown DWARF operator 0x%02x cannot be translated "
2749 "to an agent expression"),
b1bfef65 2750 op);
3cf03773 2751}
08922a10 2752
d064d1be 2753/* See dwarf2loc.h. */
08922a10 2754
d064d1be
JK
2755int
2756dwarf2_reg_to_regnum_or_error (struct gdbarch *arch, int dwarf_reg)
3cf03773
TT
2757{
2758 int reg = gdbarch_dwarf2_reg_to_regnum (arch, dwarf_reg);
2759 if (reg == -1)
2760 error (_("Unable to access DWARF register number %d"), dwarf_reg);
2761 return reg;
2762}
08922a10 2763
3cf03773
TT
2764/* A helper function that emits an access to memory. ARCH is the
2765 target architecture. EXPR is the expression which we are building.
2766 NBITS is the number of bits we want to read. This emits the
2767 opcodes needed to read the memory and then extract the desired
2768 bits. */
08922a10 2769
3cf03773
TT
2770static void
2771access_memory (struct gdbarch *arch, struct agent_expr *expr, ULONGEST nbits)
08922a10 2772{
3cf03773
TT
2773 ULONGEST nbytes = (nbits + 7) / 8;
2774
9df7235c 2775 gdb_assert (nbytes > 0 && nbytes <= sizeof (LONGEST));
3cf03773 2776
92bc6a20 2777 if (expr->tracing)
3cf03773
TT
2778 ax_trace_quick (expr, nbytes);
2779
2780 if (nbits <= 8)
2781 ax_simple (expr, aop_ref8);
2782 else if (nbits <= 16)
2783 ax_simple (expr, aop_ref16);
2784 else if (nbits <= 32)
2785 ax_simple (expr, aop_ref32);
2786 else
2787 ax_simple (expr, aop_ref64);
2788
2789 /* If we read exactly the number of bytes we wanted, we're done. */
2790 if (8 * nbytes == nbits)
2791 return;
2792
2793 if (gdbarch_bits_big_endian (arch))
0d53c4c4 2794 {
3cf03773
TT
2795 /* On a bits-big-endian machine, we want the high-order
2796 NBITS. */
2797 ax_const_l (expr, 8 * nbytes - nbits);
2798 ax_simple (expr, aop_rsh_unsigned);
0d53c4c4 2799 }
3cf03773 2800 else
0d53c4c4 2801 {
3cf03773
TT
2802 /* On a bits-little-endian box, we want the low-order NBITS. */
2803 ax_zero_ext (expr, nbits);
0d53c4c4 2804 }
3cf03773 2805}
0936ad1d 2806
8cf6f0b1
TT
2807/* A helper function to return the frame's PC. */
2808
2809static CORE_ADDR
2810get_ax_pc (void *baton)
2811{
2812 struct agent_expr *expr = baton;
2813
2814 return expr->scope;
2815}
2816
3cf03773
TT
2817/* Compile a DWARF location expression to an agent expression.
2818
2819 EXPR is the agent expression we are building.
2820 LOC is the agent value we modify.
2821 ARCH is the architecture.
2822 ADDR_SIZE is the size of addresses, in bytes.
2823 OP_PTR is the start of the location expression.
2824 OP_END is one past the last byte of the location expression.
2825
2826 This will throw an exception for various kinds of errors -- for
2827 example, if the expression cannot be compiled, or if the expression
2828 is invalid. */
0936ad1d 2829
9f6f94ff
TT
2830void
2831dwarf2_compile_expr_to_ax (struct agent_expr *expr, struct axs_value *loc,
2832 struct gdbarch *arch, unsigned int addr_size,
2833 const gdb_byte *op_ptr, const gdb_byte *op_end,
2834 struct dwarf2_per_cu_data *per_cu)
3cf03773
TT
2835{
2836 struct cleanup *cleanups;
2837 int i, *offsets;
2838 VEC(int) *dw_labels = NULL, *patches = NULL;
2839 const gdb_byte * const base = op_ptr;
2840 const gdb_byte *previous_piece = op_ptr;
2841 enum bfd_endian byte_order = gdbarch_byte_order (arch);
2842 ULONGEST bits_collected = 0;
2843 unsigned int addr_size_bits = 8 * addr_size;
2844 int bits_big_endian = gdbarch_bits_big_endian (arch);
0936ad1d 2845
3cf03773
TT
2846 offsets = xmalloc ((op_end - op_ptr) * sizeof (int));
2847 cleanups = make_cleanup (xfree, offsets);
0936ad1d 2848
3cf03773
TT
2849 for (i = 0; i < op_end - op_ptr; ++i)
2850 offsets[i] = -1;
0936ad1d 2851
3cf03773
TT
2852 make_cleanup (VEC_cleanup (int), &dw_labels);
2853 make_cleanup (VEC_cleanup (int), &patches);
0936ad1d 2854
3cf03773
TT
2855 /* By default we are making an address. */
2856 loc->kind = axs_lvalue_memory;
0d45f56e 2857
3cf03773
TT
2858 while (op_ptr < op_end)
2859 {
2860 enum dwarf_location_atom op = *op_ptr;
9fccedf7
DE
2861 uint64_t uoffset, reg;
2862 int64_t offset;
3cf03773
TT
2863 int i;
2864
2865 offsets[op_ptr - base] = expr->len;
2866 ++op_ptr;
2867
2868 /* Our basic approach to code generation is to map DWARF
2869 operations directly to AX operations. However, there are
2870 some differences.
2871
2872 First, DWARF works on address-sized units, but AX always uses
2873 LONGEST. For most operations we simply ignore this
2874 difference; instead we generate sign extensions as needed
2875 before division and comparison operations. It would be nice
2876 to omit the sign extensions, but there is no way to determine
2877 the size of the target's LONGEST. (This code uses the size
2878 of the host LONGEST in some cases -- that is a bug but it is
2879 difficult to fix.)
2880
2881 Second, some DWARF operations cannot be translated to AX.
2882 For these we simply fail. See
2883 http://sourceware.org/bugzilla/show_bug.cgi?id=11662. */
2884 switch (op)
0936ad1d 2885 {
3cf03773
TT
2886 case DW_OP_lit0:
2887 case DW_OP_lit1:
2888 case DW_OP_lit2:
2889 case DW_OP_lit3:
2890 case DW_OP_lit4:
2891 case DW_OP_lit5:
2892 case DW_OP_lit6:
2893 case DW_OP_lit7:
2894 case DW_OP_lit8:
2895 case DW_OP_lit9:
2896 case DW_OP_lit10:
2897 case DW_OP_lit11:
2898 case DW_OP_lit12:
2899 case DW_OP_lit13:
2900 case DW_OP_lit14:
2901 case DW_OP_lit15:
2902 case DW_OP_lit16:
2903 case DW_OP_lit17:
2904 case DW_OP_lit18:
2905 case DW_OP_lit19:
2906 case DW_OP_lit20:
2907 case DW_OP_lit21:
2908 case DW_OP_lit22:
2909 case DW_OP_lit23:
2910 case DW_OP_lit24:
2911 case DW_OP_lit25:
2912 case DW_OP_lit26:
2913 case DW_OP_lit27:
2914 case DW_OP_lit28:
2915 case DW_OP_lit29:
2916 case DW_OP_lit30:
2917 case DW_OP_lit31:
2918 ax_const_l (expr, op - DW_OP_lit0);
2919 break;
0d53c4c4 2920
3cf03773 2921 case DW_OP_addr:
ac56253d 2922 uoffset = extract_unsigned_integer (op_ptr, addr_size, byte_order);
3cf03773 2923 op_ptr += addr_size;
ac56253d
TT
2924 /* Some versions of GCC emit DW_OP_addr before
2925 DW_OP_GNU_push_tls_address. In this case the value is an
2926 index, not an address. We don't support things like
2927 branching between the address and the TLS op. */
2928 if (op_ptr >= op_end || *op_ptr != DW_OP_GNU_push_tls_address)
9aa1f1e3 2929 uoffset += dwarf2_per_cu_text_offset (per_cu);
ac56253d 2930 ax_const_l (expr, uoffset);
3cf03773 2931 break;
4c2df51b 2932
3cf03773
TT
2933 case DW_OP_const1u:
2934 ax_const_l (expr, extract_unsigned_integer (op_ptr, 1, byte_order));
2935 op_ptr += 1;
2936 break;
2937 case DW_OP_const1s:
2938 ax_const_l (expr, extract_signed_integer (op_ptr, 1, byte_order));
2939 op_ptr += 1;
2940 break;
2941 case DW_OP_const2u:
2942 ax_const_l (expr, extract_unsigned_integer (op_ptr, 2, byte_order));
2943 op_ptr += 2;
2944 break;
2945 case DW_OP_const2s:
2946 ax_const_l (expr, extract_signed_integer (op_ptr, 2, byte_order));
2947 op_ptr += 2;
2948 break;
2949 case DW_OP_const4u:
2950 ax_const_l (expr, extract_unsigned_integer (op_ptr, 4, byte_order));
2951 op_ptr += 4;
2952 break;
2953 case DW_OP_const4s:
2954 ax_const_l (expr, extract_signed_integer (op_ptr, 4, byte_order));
2955 op_ptr += 4;
2956 break;
2957 case DW_OP_const8u:
2958 ax_const_l (expr, extract_unsigned_integer (op_ptr, 8, byte_order));
2959 op_ptr += 8;
2960 break;
2961 case DW_OP_const8s:
2962 ax_const_l (expr, extract_signed_integer (op_ptr, 8, byte_order));
2963 op_ptr += 8;
2964 break;
2965 case DW_OP_constu:
f664829e 2966 op_ptr = safe_read_uleb128 (op_ptr, op_end, &uoffset);
3cf03773
TT
2967 ax_const_l (expr, uoffset);
2968 break;
2969 case DW_OP_consts:
f664829e 2970 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
3cf03773
TT
2971 ax_const_l (expr, offset);
2972 break;
9c238357 2973
3cf03773
TT
2974 case DW_OP_reg0:
2975 case DW_OP_reg1:
2976 case DW_OP_reg2:
2977 case DW_OP_reg3:
2978 case DW_OP_reg4:
2979 case DW_OP_reg5:
2980 case DW_OP_reg6:
2981 case DW_OP_reg7:
2982 case DW_OP_reg8:
2983 case DW_OP_reg9:
2984 case DW_OP_reg10:
2985 case DW_OP_reg11:
2986 case DW_OP_reg12:
2987 case DW_OP_reg13:
2988 case DW_OP_reg14:
2989 case DW_OP_reg15:
2990 case DW_OP_reg16:
2991 case DW_OP_reg17:
2992 case DW_OP_reg18:
2993 case DW_OP_reg19:
2994 case DW_OP_reg20:
2995 case DW_OP_reg21:
2996 case DW_OP_reg22:
2997 case DW_OP_reg23:
2998 case DW_OP_reg24:
2999 case DW_OP_reg25:
3000 case DW_OP_reg26:
3001 case DW_OP_reg27:
3002 case DW_OP_reg28:
3003 case DW_OP_reg29:
3004 case DW_OP_reg30:
3005 case DW_OP_reg31:
3006 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
d064d1be 3007 loc->u.reg = dwarf2_reg_to_regnum_or_error (arch, op - DW_OP_reg0);
3cf03773
TT
3008 loc->kind = axs_lvalue_register;
3009 break;
9c238357 3010
3cf03773 3011 case DW_OP_regx:
f664829e 3012 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3cf03773 3013 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_regx");
d064d1be 3014 loc->u.reg = dwarf2_reg_to_regnum_or_error (arch, reg);
3cf03773
TT
3015 loc->kind = axs_lvalue_register;
3016 break;
08922a10 3017
3cf03773
TT
3018 case DW_OP_implicit_value:
3019 {
9fccedf7 3020 uint64_t len;
3cf03773 3021
f664829e 3022 op_ptr = safe_read_uleb128 (op_ptr, op_end, &len);
3cf03773
TT
3023 if (op_ptr + len > op_end)
3024 error (_("DW_OP_implicit_value: too few bytes available."));
3025 if (len > sizeof (ULONGEST))
3026 error (_("Cannot translate DW_OP_implicit_value of %d bytes"),
3027 (int) len);
3028
3029 ax_const_l (expr, extract_unsigned_integer (op_ptr, len,
3030 byte_order));
3031 op_ptr += len;
3032 dwarf_expr_require_composition (op_ptr, op_end,
3033 "DW_OP_implicit_value");
3034
3035 loc->kind = axs_rvalue;
3036 }
3037 break;
08922a10 3038
3cf03773
TT
3039 case DW_OP_stack_value:
3040 dwarf_expr_require_composition (op_ptr, op_end, "DW_OP_stack_value");
3041 loc->kind = axs_rvalue;
3042 break;
08922a10 3043
3cf03773
TT
3044 case DW_OP_breg0:
3045 case DW_OP_breg1:
3046 case DW_OP_breg2:
3047 case DW_OP_breg3:
3048 case DW_OP_breg4:
3049 case DW_OP_breg5:
3050 case DW_OP_breg6:
3051 case DW_OP_breg7:
3052 case DW_OP_breg8:
3053 case DW_OP_breg9:
3054 case DW_OP_breg10:
3055 case DW_OP_breg11:
3056 case DW_OP_breg12:
3057 case DW_OP_breg13:
3058 case DW_OP_breg14:
3059 case DW_OP_breg15:
3060 case DW_OP_breg16:
3061 case DW_OP_breg17:
3062 case DW_OP_breg18:
3063 case DW_OP_breg19:
3064 case DW_OP_breg20:
3065 case DW_OP_breg21:
3066 case DW_OP_breg22:
3067 case DW_OP_breg23:
3068 case DW_OP_breg24:
3069 case DW_OP_breg25:
3070 case DW_OP_breg26:
3071 case DW_OP_breg27:
3072 case DW_OP_breg28:
3073 case DW_OP_breg29:
3074 case DW_OP_breg30:
3075 case DW_OP_breg31:
f664829e 3076 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
d064d1be 3077 i = dwarf2_reg_to_regnum_or_error (arch, op - DW_OP_breg0);
3cf03773
TT
3078 ax_reg (expr, i);
3079 if (offset != 0)
3080 {
3081 ax_const_l (expr, offset);
3082 ax_simple (expr, aop_add);
3083 }
3084 break;
3085 case DW_OP_bregx:
3086 {
f664829e
DE
3087 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3088 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
d064d1be 3089 i = dwarf2_reg_to_regnum_or_error (arch, reg);
3cf03773
TT
3090 ax_reg (expr, i);
3091 if (offset != 0)
3092 {
3093 ax_const_l (expr, offset);
3094 ax_simple (expr, aop_add);
3095 }
3096 }
3097 break;
3098 case DW_OP_fbreg:
3099 {
3100 const gdb_byte *datastart;
3101 size_t datalen;
3977b71f 3102 const struct block *b;
3cf03773 3103 struct symbol *framefunc;
08922a10 3104
3cf03773
TT
3105 b = block_for_pc (expr->scope);
3106
3107 if (!b)
3108 error (_("No block found for address"));
3109
3110 framefunc = block_linkage_function (b);
3111
3112 if (!framefunc)
3113 error (_("No function found for block"));
3114
af945b75
TT
3115 func_get_frame_base_dwarf_block (framefunc, expr->scope,
3116 &datastart, &datalen);
3cf03773 3117
f664829e 3118 op_ptr = safe_read_sleb128 (op_ptr, op_end, &offset);
9f6f94ff
TT
3119 dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size, datastart,
3120 datastart + datalen, per_cu);
d84cf7eb
TT
3121 if (loc->kind == axs_lvalue_register)
3122 require_rvalue (expr, loc);
3cf03773
TT
3123
3124 if (offset != 0)
3125 {
3126 ax_const_l (expr, offset);
3127 ax_simple (expr, aop_add);
3128 }
3129
3130 loc->kind = axs_lvalue_memory;
3131 }
08922a10 3132 break;
08922a10 3133
3cf03773
TT
3134 case DW_OP_dup:
3135 ax_simple (expr, aop_dup);
3136 break;
08922a10 3137
3cf03773
TT
3138 case DW_OP_drop:
3139 ax_simple (expr, aop_pop);
3140 break;
08922a10 3141
3cf03773
TT
3142 case DW_OP_pick:
3143 offset = *op_ptr++;
c7f96d2b 3144 ax_pick (expr, offset);
3cf03773
TT
3145 break;
3146
3147 case DW_OP_swap:
3148 ax_simple (expr, aop_swap);
3149 break;
08922a10 3150
3cf03773 3151 case DW_OP_over:
c7f96d2b 3152 ax_pick (expr, 1);
3cf03773 3153 break;
08922a10 3154
3cf03773 3155 case DW_OP_rot:
c7f96d2b 3156 ax_simple (expr, aop_rot);
3cf03773 3157 break;
08922a10 3158
3cf03773
TT
3159 case DW_OP_deref:
3160 case DW_OP_deref_size:
3161 {
3162 int size;
08922a10 3163
3cf03773
TT
3164 if (op == DW_OP_deref_size)
3165 size = *op_ptr++;
3166 else
3167 size = addr_size;
3168
9df7235c 3169 if (size != 1 && size != 2 && size != 4 && size != 8)
f3cec7e6
HZ
3170 error (_("Unsupported size %d in %s"),
3171 size, get_DW_OP_name (op));
9df7235c 3172 access_memory (arch, expr, size * TARGET_CHAR_BIT);
3cf03773
TT
3173 }
3174 break;
3175
3176 case DW_OP_abs:
3177 /* Sign extend the operand. */
3178 ax_ext (expr, addr_size_bits);
3179 ax_simple (expr, aop_dup);
3180 ax_const_l (expr, 0);
3181 ax_simple (expr, aop_less_signed);
3182 ax_simple (expr, aop_log_not);
3183 i = ax_goto (expr, aop_if_goto);
3184 /* We have to emit 0 - X. */
3185 ax_const_l (expr, 0);
3186 ax_simple (expr, aop_swap);
3187 ax_simple (expr, aop_sub);
3188 ax_label (expr, i, expr->len);
3189 break;
3190
3191 case DW_OP_neg:
3192 /* No need to sign extend here. */
3193 ax_const_l (expr, 0);
3194 ax_simple (expr, aop_swap);
3195 ax_simple (expr, aop_sub);
3196 break;
3197
3198 case DW_OP_not:
3199 /* Sign extend the operand. */
3200 ax_ext (expr, addr_size_bits);
3201 ax_simple (expr, aop_bit_not);
3202 break;
3203
3204 case DW_OP_plus_uconst:
f664829e 3205 op_ptr = safe_read_uleb128 (op_ptr, op_end, &reg);
3cf03773
TT
3206 /* It would be really weird to emit `DW_OP_plus_uconst 0',
3207 but we micro-optimize anyhow. */
3208 if (reg != 0)
3209 {
3210 ax_const_l (expr, reg);
3211 ax_simple (expr, aop_add);
3212 }
3213 break;
3214
3215 case DW_OP_and:
3216 ax_simple (expr, aop_bit_and);
3217 break;
3218
3219 case DW_OP_div:
3220 /* Sign extend the operands. */
3221 ax_ext (expr, addr_size_bits);
3222 ax_simple (expr, aop_swap);
3223 ax_ext (expr, addr_size_bits);
3224 ax_simple (expr, aop_swap);
3225 ax_simple (expr, aop_div_signed);
08922a10
SS
3226 break;
3227
3cf03773
TT
3228 case DW_OP_minus:
3229 ax_simple (expr, aop_sub);
3230 break;
3231
3232 case DW_OP_mod:
3233 ax_simple (expr, aop_rem_unsigned);
3234 break;
3235
3236 case DW_OP_mul:
3237 ax_simple (expr, aop_mul);
3238 break;
3239
3240 case DW_OP_or:
3241 ax_simple (expr, aop_bit_or);
3242 break;
3243
3244 case DW_OP_plus:
3245 ax_simple (expr, aop_add);
3246 break;
3247
3248 case DW_OP_shl:
3249 ax_simple (expr, aop_lsh);
3250 break;
3251
3252 case DW_OP_shr:
3253 ax_simple (expr, aop_rsh_unsigned);
3254 break;
3255
3256 case DW_OP_shra:
3257 ax_simple (expr, aop_rsh_signed);
3258 break;
3259
3260 case DW_OP_xor:
3261 ax_simple (expr, aop_bit_xor);
3262 break;
3263
3264 case DW_OP_le:
3265 /* Sign extend the operands. */
3266 ax_ext (expr, addr_size_bits);
3267 ax_simple (expr, aop_swap);
3268 ax_ext (expr, addr_size_bits);
3269 /* Note no swap here: A <= B is !(B < A). */
3270 ax_simple (expr, aop_less_signed);
3271 ax_simple (expr, aop_log_not);
3272 break;
3273
3274 case DW_OP_ge:
3275 /* Sign extend the operands. */
3276 ax_ext (expr, addr_size_bits);
3277 ax_simple (expr, aop_swap);
3278 ax_ext (expr, addr_size_bits);
3279 ax_simple (expr, aop_swap);
3280 /* A >= B is !(A < B). */
3281 ax_simple (expr, aop_less_signed);
3282 ax_simple (expr, aop_log_not);
3283 break;
3284
3285 case DW_OP_eq:
3286 /* Sign extend the operands. */
3287 ax_ext (expr, addr_size_bits);
3288 ax_simple (expr, aop_swap);
3289 ax_ext (expr, addr_size_bits);
3290 /* No need for a second swap here. */
3291 ax_simple (expr, aop_equal);
3292 break;
3293
3294 case DW_OP_lt:
3295 /* Sign extend the operands. */
3296 ax_ext (expr, addr_size_bits);
3297 ax_simple (expr, aop_swap);
3298 ax_ext (expr, addr_size_bits);
3299 ax_simple (expr, aop_swap);
3300 ax_simple (expr, aop_less_signed);
3301 break;
3302
3303 case DW_OP_gt:
3304 /* Sign extend the operands. */
3305 ax_ext (expr, addr_size_bits);
3306 ax_simple (expr, aop_swap);
3307 ax_ext (expr, addr_size_bits);
3308 /* Note no swap here: A > B is B < A. */
3309 ax_simple (expr, aop_less_signed);
3310 break;
3311
3312 case DW_OP_ne:
3313 /* Sign extend the operands. */
3314 ax_ext (expr, addr_size_bits);
3315 ax_simple (expr, aop_swap);
3316 ax_ext (expr, addr_size_bits);
3317 /* No need for a swap here. */
3318 ax_simple (expr, aop_equal);
3319 ax_simple (expr, aop_log_not);
3320 break;
3321
3322 case DW_OP_call_frame_cfa:
a8fd5589
TT
3323 {
3324 int regnum;
3325 CORE_ADDR text_offset;
3326 LONGEST off;
3327 const gdb_byte *cfa_start, *cfa_end;
3328
3329 if (dwarf2_fetch_cfa_info (arch, expr->scope, per_cu,
3330 &regnum, &off,
3331 &text_offset, &cfa_start, &cfa_end))
3332 {
3333 /* Register. */
3334 ax_reg (expr, regnum);
3335 if (off != 0)
3336 {
3337 ax_const_l (expr, off);
3338 ax_simple (expr, aop_add);
3339 }
3340 }
3341 else
3342 {
3343 /* Another expression. */
3344 ax_const_l (expr, text_offset);
3345 dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size,
3346 cfa_start, cfa_end, per_cu);
3347 }
3348
3349 loc->kind = axs_lvalue_memory;
3350 }
3cf03773
TT
3351 break;
3352
3353 case DW_OP_GNU_push_tls_address:
3354 unimplemented (op);
3355 break;
3356
08412b07
JB
3357 case DW_OP_push_object_address:
3358 unimplemented (op);
3359 break;
3360
3cf03773
TT
3361 case DW_OP_skip:
3362 offset = extract_signed_integer (op_ptr, 2, byte_order);
3363 op_ptr += 2;
3364 i = ax_goto (expr, aop_goto);
3365 VEC_safe_push (int, dw_labels, op_ptr + offset - base);
3366 VEC_safe_push (int, patches, i);
3367 break;
3368
3369 case DW_OP_bra:
3370 offset = extract_signed_integer (op_ptr, 2, byte_order);
3371 op_ptr += 2;
3372 /* Zero extend the operand. */
3373 ax_zero_ext (expr, addr_size_bits);
3374 i = ax_goto (expr, aop_if_goto);
3375 VEC_safe_push (int, dw_labels, op_ptr + offset - base);
3376 VEC_safe_push (int, patches, i);
3377 break;
3378
3379 case DW_OP_nop:
3380 break;
3381
3382 case DW_OP_piece:
3383 case DW_OP_bit_piece:
08922a10 3384 {
9fccedf7 3385 uint64_t size, offset;
3cf03773
TT
3386
3387 if (op_ptr - 1 == previous_piece)
3388 error (_("Cannot translate empty pieces to agent expressions"));
3389 previous_piece = op_ptr - 1;
3390
f664829e 3391 op_ptr = safe_read_uleb128 (op_ptr, op_end, &size);
3cf03773
TT
3392 if (op == DW_OP_piece)
3393 {
3394 size *= 8;
3395 offset = 0;
3396 }
3397 else
f664829e 3398 op_ptr = safe_read_uleb128 (op_ptr, op_end, &offset);
08922a10 3399
3cf03773
TT
3400 if (bits_collected + size > 8 * sizeof (LONGEST))
3401 error (_("Expression pieces exceed word size"));
3402
3403 /* Access the bits. */
3404 switch (loc->kind)
3405 {
3406 case axs_lvalue_register:
3407 ax_reg (expr, loc->u.reg);
3408 break;
3409
3410 case axs_lvalue_memory:
3411 /* Offset the pointer, if needed. */
3412 if (offset > 8)
3413 {
3414 ax_const_l (expr, offset / 8);
3415 ax_simple (expr, aop_add);
3416 offset %= 8;
3417 }
3418 access_memory (arch, expr, size);
3419 break;
3420 }
3421
3422 /* For a bits-big-endian target, shift up what we already
3423 have. For a bits-little-endian target, shift up the
3424 new data. Note that there is a potential bug here if
3425 the DWARF expression leaves multiple values on the
3426 stack. */
3427 if (bits_collected > 0)
3428 {
3429 if (bits_big_endian)
3430 {
3431 ax_simple (expr, aop_swap);
3432 ax_const_l (expr, size);
3433 ax_simple (expr, aop_lsh);
3434 /* We don't need a second swap here, because
3435 aop_bit_or is symmetric. */
3436 }
3437 else
3438 {
3439 ax_const_l (expr, size);
3440 ax_simple (expr, aop_lsh);
3441 }
3442 ax_simple (expr, aop_bit_or);
3443 }
3444
3445 bits_collected += size;
3446 loc->kind = axs_rvalue;
08922a10
SS
3447 }
3448 break;
08922a10 3449
3cf03773
TT
3450 case DW_OP_GNU_uninit:
3451 unimplemented (op);
3452
3453 case DW_OP_call2:
3454 case DW_OP_call4:
3455 {
3456 struct dwarf2_locexpr_baton block;
3457 int size = (op == DW_OP_call2 ? 2 : 4);
b64f50a1 3458 cu_offset offset;
3cf03773
TT
3459
3460 uoffset = extract_unsigned_integer (op_ptr, size, byte_order);
3461 op_ptr += size;
3462
b64f50a1 3463 offset.cu_off = uoffset;
8b9737bf
TT
3464 block = dwarf2_fetch_die_loc_cu_off (offset, per_cu,
3465 get_ax_pc, expr);
3cf03773
TT
3466
3467 /* DW_OP_call_ref is currently not supported. */
3468 gdb_assert (block.per_cu == per_cu);
3469
9f6f94ff
TT
3470 dwarf2_compile_expr_to_ax (expr, loc, arch, addr_size,
3471 block.data, block.data + block.size,
3472 per_cu);
3cf03773
TT
3473 }
3474 break;
3475
3476 case DW_OP_call_ref:
3477 unimplemented (op);
3478
3479 default:
b1bfef65 3480 unimplemented (op);
08922a10 3481 }
08922a10 3482 }
3cf03773
TT
3483
3484 /* Patch all the branches we emitted. */
3485 for (i = 0; i < VEC_length (int, patches); ++i)
3486 {
3487 int targ = offsets[VEC_index (int, dw_labels, i)];
3488 if (targ == -1)
3489 internal_error (__FILE__, __LINE__, _("invalid label"));
3490 ax_label (expr, VEC_index (int, patches, i), targ);
3491 }
3492
3493 do_cleanups (cleanups);
08922a10
SS
3494}
3495
4c2df51b
DJ
3496\f
3497/* Return the value of SYMBOL in FRAME using the DWARF-2 expression
3498 evaluator to calculate the location. */
3499static struct value *
3500locexpr_read_variable (struct symbol *symbol, struct frame_info *frame)
3501{
3502 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
3503 struct value *val;
9a619af0 3504
a2d33775
JK
3505 val = dwarf2_evaluate_loc_desc (SYMBOL_TYPE (symbol), frame, dlbaton->data,
3506 dlbaton->size, dlbaton->per_cu);
4c2df51b
DJ
3507
3508 return val;
3509}
3510
e18b2753
JK
3511/* Return the value of SYMBOL in FRAME at (callee) FRAME's function
3512 entry. SYMBOL should be a function parameter, otherwise NO_ENTRY_VALUE_ERROR
3513 will be thrown. */
3514
3515static struct value *
3516locexpr_read_variable_at_entry (struct symbol *symbol, struct frame_info *frame)
3517{
3518 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
3519
3520 return value_of_dwarf_block_entry (SYMBOL_TYPE (symbol), frame, dlbaton->data,
3521 dlbaton->size);
3522}
3523
4c2df51b
DJ
3524/* Return non-zero iff we need a frame to evaluate SYMBOL. */
3525static int
3526locexpr_read_needs_frame (struct symbol *symbol)
3527{
3528 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
9a619af0 3529
ae0d2f24
UW
3530 return dwarf2_loc_desc_needs_frame (dlbaton->data, dlbaton->size,
3531 dlbaton->per_cu);
4c2df51b
DJ
3532}
3533
9eae7c52
TT
3534/* Return true if DATA points to the end of a piece. END is one past
3535 the last byte in the expression. */
3536
3537static int
3538piece_end_p (const gdb_byte *data, const gdb_byte *end)
3539{
3540 return data == end || data[0] == DW_OP_piece || data[0] == DW_OP_bit_piece;
3541}
3542
5e44ecb3
TT
3543/* Helper for locexpr_describe_location_piece that finds the name of a
3544 DWARF register. */
3545
3546static const char *
3547locexpr_regname (struct gdbarch *gdbarch, int dwarf_regnum)
3548{
3549 int regnum;
3550
3551 regnum = gdbarch_dwarf2_reg_to_regnum (gdbarch, dwarf_regnum);
3552 return gdbarch_register_name (gdbarch, regnum);
3553}
3554
9eae7c52
TT
3555/* Nicely describe a single piece of a location, returning an updated
3556 position in the bytecode sequence. This function cannot recognize
3557 all locations; if a location is not recognized, it simply returns
f664829e
DE
3558 DATA. If there is an error during reading, e.g. we run off the end
3559 of the buffer, an error is thrown. */
08922a10 3560
0d45f56e 3561static const gdb_byte *
08922a10
SS
3562locexpr_describe_location_piece (struct symbol *symbol, struct ui_file *stream,
3563 CORE_ADDR addr, struct objfile *objfile,
49f6c839 3564 struct dwarf2_per_cu_data *per_cu,
9eae7c52 3565 const gdb_byte *data, const gdb_byte *end,
0d45f56e 3566 unsigned int addr_size)
4c2df51b 3567{
08922a10 3568 struct gdbarch *gdbarch = get_objfile_arch (objfile);
49f6c839 3569 size_t leb128_size;
08922a10
SS
3570
3571 if (data[0] >= DW_OP_reg0 && data[0] <= DW_OP_reg31)
3572 {
08922a10 3573 fprintf_filtered (stream, _("a variable in $%s"),
5e44ecb3 3574 locexpr_regname (gdbarch, data[0] - DW_OP_reg0));
08922a10
SS
3575 data += 1;
3576 }
3577 else if (data[0] == DW_OP_regx)
3578 {
9fccedf7 3579 uint64_t reg;
4c2df51b 3580
f664829e 3581 data = safe_read_uleb128 (data + 1, end, &reg);
08922a10 3582 fprintf_filtered (stream, _("a variable in $%s"),
5e44ecb3 3583 locexpr_regname (gdbarch, reg));
08922a10
SS
3584 }
3585 else if (data[0] == DW_OP_fbreg)
4c2df51b 3586 {
3977b71f 3587 const struct block *b;
08922a10
SS
3588 struct symbol *framefunc;
3589 int frame_reg = 0;
9fccedf7 3590 int64_t frame_offset;
7155d578 3591 const gdb_byte *base_data, *new_data, *save_data = data;
08922a10 3592 size_t base_size;
9fccedf7 3593 int64_t base_offset = 0;
08922a10 3594
f664829e 3595 new_data = safe_read_sleb128 (data + 1, end, &frame_offset);
9eae7c52
TT
3596 if (!piece_end_p (new_data, end))
3597 return data;
3598 data = new_data;
3599
08922a10
SS
3600 b = block_for_pc (addr);
3601
3602 if (!b)
3603 error (_("No block found for address for symbol \"%s\"."),
3604 SYMBOL_PRINT_NAME (symbol));
3605
3606 framefunc = block_linkage_function (b);
3607
3608 if (!framefunc)
3609 error (_("No function found for block for symbol \"%s\"."),
3610 SYMBOL_PRINT_NAME (symbol));
3611
af945b75 3612 func_get_frame_base_dwarf_block (framefunc, addr, &base_data, &base_size);
08922a10
SS
3613
3614 if (base_data[0] >= DW_OP_breg0 && base_data[0] <= DW_OP_breg31)
3615 {
0d45f56e 3616 const gdb_byte *buf_end;
08922a10
SS
3617
3618 frame_reg = base_data[0] - DW_OP_breg0;
f664829e
DE
3619 buf_end = safe_read_sleb128 (base_data + 1, base_data + base_size,
3620 &base_offset);
08922a10 3621 if (buf_end != base_data + base_size)
3e43a32a
MS
3622 error (_("Unexpected opcode after "
3623 "DW_OP_breg%u for symbol \"%s\"."),
08922a10
SS
3624 frame_reg, SYMBOL_PRINT_NAME (symbol));
3625 }
3626 else if (base_data[0] >= DW_OP_reg0 && base_data[0] <= DW_OP_reg31)
3627 {
3628 /* The frame base is just the register, with no offset. */
3629 frame_reg = base_data[0] - DW_OP_reg0;
3630 base_offset = 0;
3631 }
3632 else
3633 {
3634 /* We don't know what to do with the frame base expression,
3635 so we can't trace this variable; give up. */
7155d578 3636 return save_data;
08922a10
SS
3637 }
3638
3e43a32a
MS
3639 fprintf_filtered (stream,
3640 _("a variable at frame base reg $%s offset %s+%s"),
5e44ecb3 3641 locexpr_regname (gdbarch, frame_reg),
08922a10
SS
3642 plongest (base_offset), plongest (frame_offset));
3643 }
9eae7c52
TT
3644 else if (data[0] >= DW_OP_breg0 && data[0] <= DW_OP_breg31
3645 && piece_end_p (data, end))
08922a10 3646 {
9fccedf7 3647 int64_t offset;
08922a10 3648
f664829e 3649 data = safe_read_sleb128 (data + 1, end, &offset);
08922a10 3650
4c2df51b 3651 fprintf_filtered (stream,
08922a10
SS
3652 _("a variable at offset %s from base reg $%s"),
3653 plongest (offset),
5e44ecb3 3654 locexpr_regname (gdbarch, data[0] - DW_OP_breg0));
4c2df51b
DJ
3655 }
3656
c3228f12
EZ
3657 /* The location expression for a TLS variable looks like this (on a
3658 64-bit LE machine):
3659
3660 DW_AT_location : 10 byte block: 3 4 0 0 0 0 0 0 0 e0
3661 (DW_OP_addr: 4; DW_OP_GNU_push_tls_address)
09d8bd00 3662
c3228f12
EZ
3663 0x3 is the encoding for DW_OP_addr, which has an operand as long
3664 as the size of an address on the target machine (here is 8
09d8bd00
TT
3665 bytes). Note that more recent version of GCC emit DW_OP_const4u
3666 or DW_OP_const8u, depending on address size, rather than
0963b4bd
MS
3667 DW_OP_addr. 0xe0 is the encoding for DW_OP_GNU_push_tls_address.
3668 The operand represents the offset at which the variable is within
3669 the thread local storage. */
c3228f12 3670
9eae7c52 3671 else if (data + 1 + addr_size < end
09d8bd00
TT
3672 && (data[0] == DW_OP_addr
3673 || (addr_size == 4 && data[0] == DW_OP_const4u)
3674 || (addr_size == 8 && data[0] == DW_OP_const8u))
9eae7c52
TT
3675 && data[1 + addr_size] == DW_OP_GNU_push_tls_address
3676 && piece_end_p (data + 2 + addr_size, end))
08922a10 3677 {
d4a087c7
UW
3678 ULONGEST offset;
3679 offset = extract_unsigned_integer (data + 1, addr_size,
3680 gdbarch_byte_order (gdbarch));
9a619af0 3681
08922a10 3682 fprintf_filtered (stream,
d4a087c7 3683 _("a thread-local variable at offset 0x%s "
08922a10 3684 "in the thread-local storage for `%s'"),
4262abfb 3685 phex_nz (offset, addr_size), objfile_name (objfile));
08922a10
SS
3686
3687 data += 1 + addr_size + 1;
3688 }
49f6c839
DE
3689
3690 /* With -gsplit-dwarf a TLS variable can also look like this:
3691 DW_AT_location : 3 byte block: fc 4 e0
3692 (DW_OP_GNU_const_index: 4;
3693 DW_OP_GNU_push_tls_address) */
3694 else if (data + 3 <= end
3695 && data + 1 + (leb128_size = skip_leb128 (data + 1, end)) < end
3696 && data[0] == DW_OP_GNU_const_index
3697 && leb128_size > 0
3698 && data[1 + leb128_size] == DW_OP_GNU_push_tls_address
3699 && piece_end_p (data + 2 + leb128_size, end))
3700 {
a55c1f32 3701 uint64_t offset;
49f6c839
DE
3702
3703 data = safe_read_uleb128 (data + 1, end, &offset);
3704 offset = dwarf2_read_addr_index (per_cu, offset);
3705 fprintf_filtered (stream,
3706 _("a thread-local variable at offset 0x%s "
3707 "in the thread-local storage for `%s'"),
4262abfb 3708 phex_nz (offset, addr_size), objfile_name (objfile));
49f6c839
DE
3709 ++data;
3710 }
3711
9eae7c52
TT
3712 else if (data[0] >= DW_OP_lit0
3713 && data[0] <= DW_OP_lit31
3714 && data + 1 < end
3715 && data[1] == DW_OP_stack_value)
3716 {
3717 fprintf_filtered (stream, _("the constant %d"), data[0] - DW_OP_lit0);
3718 data += 2;
3719 }
3720
3721 return data;
3722}
3723
3724/* Disassemble an expression, stopping at the end of a piece or at the
3725 end of the expression. Returns a pointer to the next unread byte
3726 in the input expression. If ALL is nonzero, then this function
f664829e
DE
3727 will keep going until it reaches the end of the expression.
3728 If there is an error during reading, e.g. we run off the end
3729 of the buffer, an error is thrown. */
9eae7c52
TT
3730
3731static const gdb_byte *
3732disassemble_dwarf_expression (struct ui_file *stream,
3733 struct gdbarch *arch, unsigned int addr_size,
2bda9cc5 3734 int offset_size, const gdb_byte *start,
9eae7c52 3735 const gdb_byte *data, const gdb_byte *end,
2bda9cc5 3736 int indent, int all,
5e44ecb3 3737 struct dwarf2_per_cu_data *per_cu)
9eae7c52 3738{
9eae7c52
TT
3739 while (data < end
3740 && (all
3741 || (data[0] != DW_OP_piece && data[0] != DW_OP_bit_piece)))
3742 {
3743 enum dwarf_location_atom op = *data++;
9fccedf7
DE
3744 uint64_t ul;
3745 int64_t l;
9eae7c52
TT
3746 const char *name;
3747
f39c6ffd 3748 name = get_DW_OP_name (op);
9eae7c52
TT
3749
3750 if (!name)
3751 error (_("Unrecognized DWARF opcode 0x%02x at %ld"),
06826322 3752 op, (long) (data - 1 - start));
2bda9cc5
JK
3753 fprintf_filtered (stream, " %*ld: %s", indent + 4,
3754 (long) (data - 1 - start), name);
9eae7c52
TT
3755
3756 switch (op)
3757 {
3758 case DW_OP_addr:
d4a087c7
UW
3759 ul = extract_unsigned_integer (data, addr_size,
3760 gdbarch_byte_order (arch));
9eae7c52 3761 data += addr_size;
d4a087c7 3762 fprintf_filtered (stream, " 0x%s", phex_nz (ul, addr_size));
9eae7c52
TT
3763 break;
3764
3765 case DW_OP_const1u:
3766 ul = extract_unsigned_integer (data, 1, gdbarch_byte_order (arch));
3767 data += 1;
3768 fprintf_filtered (stream, " %s", pulongest (ul));
3769 break;
3770 case DW_OP_const1s:
3771 l = extract_signed_integer (data, 1, gdbarch_byte_order (arch));
3772 data += 1;
3773 fprintf_filtered (stream, " %s", plongest (l));
3774 break;
3775 case DW_OP_const2u:
3776 ul = extract_unsigned_integer (data, 2, gdbarch_byte_order (arch));
3777 data += 2;
3778 fprintf_filtered (stream, " %s", pulongest (ul));
3779 break;
3780 case DW_OP_const2s:
3781 l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
3782 data += 2;
3783 fprintf_filtered (stream, " %s", plongest (l));
3784 break;
3785 case DW_OP_const4u:
3786 ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
3787 data += 4;
3788 fprintf_filtered (stream, " %s", pulongest (ul));
3789 break;
3790 case DW_OP_const4s:
3791 l = extract_signed_integer (data, 4, gdbarch_byte_order (arch));
3792 data += 4;
3793 fprintf_filtered (stream, " %s", plongest (l));
3794 break;
3795 case DW_OP_const8u:
3796 ul = extract_unsigned_integer (data, 8, gdbarch_byte_order (arch));
3797 data += 8;
3798 fprintf_filtered (stream, " %s", pulongest (ul));
3799 break;
3800 case DW_OP_const8s:
3801 l = extract_signed_integer (data, 8, gdbarch_byte_order (arch));
3802 data += 8;
3803 fprintf_filtered (stream, " %s", plongest (l));
3804 break;
3805 case DW_OP_constu:
f664829e 3806 data = safe_read_uleb128 (data, end, &ul);
9eae7c52
TT
3807 fprintf_filtered (stream, " %s", pulongest (ul));
3808 break;
3809 case DW_OP_consts:
f664829e 3810 data = safe_read_sleb128 (data, end, &l);
9eae7c52
TT
3811 fprintf_filtered (stream, " %s", plongest (l));
3812 break;
3813
3814 case DW_OP_reg0:
3815 case DW_OP_reg1:
3816 case DW_OP_reg2:
3817 case DW_OP_reg3:
3818 case DW_OP_reg4:
3819 case DW_OP_reg5:
3820 case DW_OP_reg6:
3821 case DW_OP_reg7:
3822 case DW_OP_reg8:
3823 case DW_OP_reg9:
3824 case DW_OP_reg10:
3825 case DW_OP_reg11:
3826 case DW_OP_reg12:
3827 case DW_OP_reg13:
3828 case DW_OP_reg14:
3829 case DW_OP_reg15:
3830 case DW_OP_reg16:
3831 case DW_OP_reg17:
3832 case DW_OP_reg18:
3833 case DW_OP_reg19:
3834 case DW_OP_reg20:
3835 case DW_OP_reg21:
3836 case DW_OP_reg22:
3837 case DW_OP_reg23:
3838 case DW_OP_reg24:
3839 case DW_OP_reg25:
3840 case DW_OP_reg26:
3841 case DW_OP_reg27:
3842 case DW_OP_reg28:
3843 case DW_OP_reg29:
3844 case DW_OP_reg30:
3845 case DW_OP_reg31:
3846 fprintf_filtered (stream, " [$%s]",
5e44ecb3 3847 locexpr_regname (arch, op - DW_OP_reg0));
9eae7c52
TT
3848 break;
3849
3850 case DW_OP_regx:
f664829e 3851 data = safe_read_uleb128 (data, end, &ul);
9eae7c52 3852 fprintf_filtered (stream, " %s [$%s]", pulongest (ul),
5e44ecb3 3853 locexpr_regname (arch, (int) ul));
9eae7c52
TT
3854 break;
3855
3856 case DW_OP_implicit_value:
f664829e 3857 data = safe_read_uleb128 (data, end, &ul);
9eae7c52
TT
3858 data += ul;
3859 fprintf_filtered (stream, " %s", pulongest (ul));
3860 break;
3861
3862 case DW_OP_breg0:
3863 case DW_OP_breg1:
3864 case DW_OP_breg2:
3865 case DW_OP_breg3:
3866 case DW_OP_breg4:
3867 case DW_OP_breg5:
3868 case DW_OP_breg6:
3869 case DW_OP_breg7:
3870 case DW_OP_breg8:
3871 case DW_OP_breg9:
3872 case DW_OP_breg10:
3873 case DW_OP_breg11:
3874 case DW_OP_breg12:
3875 case DW_OP_breg13:
3876 case DW_OP_breg14:
3877 case DW_OP_breg15:
3878 case DW_OP_breg16:
3879 case DW_OP_breg17:
3880 case DW_OP_breg18:
3881 case DW_OP_breg19:
3882 case DW_OP_breg20:
3883 case DW_OP_breg21:
3884 case DW_OP_breg22:
3885 case DW_OP_breg23:
3886 case DW_OP_breg24:
3887 case DW_OP_breg25:
3888 case DW_OP_breg26:
3889 case DW_OP_breg27:
3890 case DW_OP_breg28:
3891 case DW_OP_breg29:
3892 case DW_OP_breg30:
3893 case DW_OP_breg31:
f664829e 3894 data = safe_read_sleb128 (data, end, &l);
0502ed8c 3895 fprintf_filtered (stream, " %s [$%s]", plongest (l),
5e44ecb3 3896 locexpr_regname (arch, op - DW_OP_breg0));
9eae7c52
TT
3897 break;
3898
3899 case DW_OP_bregx:
f664829e
DE
3900 data = safe_read_uleb128 (data, end, &ul);
3901 data = safe_read_sleb128 (data, end, &l);
0502ed8c
JK
3902 fprintf_filtered (stream, " register %s [$%s] offset %s",
3903 pulongest (ul),
5e44ecb3 3904 locexpr_regname (arch, (int) ul),
0502ed8c 3905 plongest (l));
9eae7c52
TT
3906 break;
3907
3908 case DW_OP_fbreg:
f664829e 3909 data = safe_read_sleb128 (data, end, &l);
0502ed8c 3910 fprintf_filtered (stream, " %s", plongest (l));
9eae7c52
TT
3911 break;
3912
3913 case DW_OP_xderef_size:
3914 case DW_OP_deref_size:
3915 case DW_OP_pick:
3916 fprintf_filtered (stream, " %d", *data);
3917 ++data;
3918 break;
3919
3920 case DW_OP_plus_uconst:
f664829e 3921 data = safe_read_uleb128 (data, end, &ul);
9eae7c52
TT
3922 fprintf_filtered (stream, " %s", pulongest (ul));
3923 break;
3924
3925 case DW_OP_skip:
3926 l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
3927 data += 2;
3928 fprintf_filtered (stream, " to %ld",
3929 (long) (data + l - start));
3930 break;
3931
3932 case DW_OP_bra:
3933 l = extract_signed_integer (data, 2, gdbarch_byte_order (arch));
3934 data += 2;
3935 fprintf_filtered (stream, " %ld",
3936 (long) (data + l - start));
3937 break;
3938
3939 case DW_OP_call2:
3940 ul = extract_unsigned_integer (data, 2, gdbarch_byte_order (arch));
3941 data += 2;
3942 fprintf_filtered (stream, " offset %s", phex_nz (ul, 2));
3943 break;
3944
3945 case DW_OP_call4:
3946 ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
3947 data += 4;
3948 fprintf_filtered (stream, " offset %s", phex_nz (ul, 4));
3949 break;
3950
3951 case DW_OP_call_ref:
3952 ul = extract_unsigned_integer (data, offset_size,
3953 gdbarch_byte_order (arch));
3954 data += offset_size;
3955 fprintf_filtered (stream, " offset %s", phex_nz (ul, offset_size));
3956 break;
3957
3958 case DW_OP_piece:
f664829e 3959 data = safe_read_uleb128 (data, end, &ul);
9eae7c52
TT
3960 fprintf_filtered (stream, " %s (bytes)", pulongest (ul));
3961 break;
3962
3963 case DW_OP_bit_piece:
3964 {
9fccedf7 3965 uint64_t offset;
9eae7c52 3966
f664829e
DE
3967 data = safe_read_uleb128 (data, end, &ul);
3968 data = safe_read_uleb128 (data, end, &offset);
9eae7c52
TT
3969 fprintf_filtered (stream, " size %s offset %s (bits)",
3970 pulongest (ul), pulongest (offset));
3971 }
3972 break;
8cf6f0b1
TT
3973
3974 case DW_OP_GNU_implicit_pointer:
3975 {
3976 ul = extract_unsigned_integer (data, offset_size,
3977 gdbarch_byte_order (arch));
3978 data += offset_size;
3979
f664829e 3980 data = safe_read_sleb128 (data, end, &l);
8cf6f0b1
TT
3981
3982 fprintf_filtered (stream, " DIE %s offset %s",
3983 phex_nz (ul, offset_size),
3984 plongest (l));
3985 }
3986 break;
5e44ecb3
TT
3987
3988 case DW_OP_GNU_deref_type:
3989 {
3990 int addr_size = *data++;
b64f50a1 3991 cu_offset offset;
5e44ecb3
TT
3992 struct type *type;
3993
f664829e 3994 data = safe_read_uleb128 (data, end, &ul);
b64f50a1 3995 offset.cu_off = ul;
5e44ecb3
TT
3996 type = dwarf2_get_die_type (offset, per_cu);
3997 fprintf_filtered (stream, "<");
3998 type_print (type, "", stream, -1);
b64f50a1 3999 fprintf_filtered (stream, " [0x%s]> %d", phex_nz (offset.cu_off, 0),
5e44ecb3
TT
4000 addr_size);
4001 }
4002 break;
4003
4004 case DW_OP_GNU_const_type:
4005 {
b64f50a1 4006 cu_offset type_die;
5e44ecb3
TT
4007 struct type *type;
4008
f664829e 4009 data = safe_read_uleb128 (data, end, &ul);
b64f50a1 4010 type_die.cu_off = ul;
5e44ecb3
TT
4011 type = dwarf2_get_die_type (type_die, per_cu);
4012 fprintf_filtered (stream, "<");
4013 type_print (type, "", stream, -1);
b64f50a1 4014 fprintf_filtered (stream, " [0x%s]>", phex_nz (type_die.cu_off, 0));
5e44ecb3
TT
4015 }
4016 break;
4017
4018 case DW_OP_GNU_regval_type:
4019 {
9fccedf7 4020 uint64_t reg;
b64f50a1 4021 cu_offset type_die;
5e44ecb3
TT
4022 struct type *type;
4023
f664829e
DE
4024 data = safe_read_uleb128 (data, end, &reg);
4025 data = safe_read_uleb128 (data, end, &ul);
b64f50a1 4026 type_die.cu_off = ul;
5e44ecb3
TT
4027
4028 type = dwarf2_get_die_type (type_die, per_cu);
4029 fprintf_filtered (stream, "<");
4030 type_print (type, "", stream, -1);
b64f50a1
JK
4031 fprintf_filtered (stream, " [0x%s]> [$%s]",
4032 phex_nz (type_die.cu_off, 0),
5e44ecb3
TT
4033 locexpr_regname (arch, reg));
4034 }
4035 break;
4036
4037 case DW_OP_GNU_convert:
4038 case DW_OP_GNU_reinterpret:
4039 {
b64f50a1 4040 cu_offset type_die;
5e44ecb3 4041
f664829e 4042 data = safe_read_uleb128 (data, end, &ul);
b64f50a1 4043 type_die.cu_off = ul;
5e44ecb3 4044
b64f50a1 4045 if (type_die.cu_off == 0)
5e44ecb3
TT
4046 fprintf_filtered (stream, "<0>");
4047 else
4048 {
4049 struct type *type;
4050
4051 type = dwarf2_get_die_type (type_die, per_cu);
4052 fprintf_filtered (stream, "<");
4053 type_print (type, "", stream, -1);
b64f50a1 4054 fprintf_filtered (stream, " [0x%s]>", phex_nz (type_die.cu_off, 0));
5e44ecb3
TT
4055 }
4056 }
4057 break;
2bda9cc5
JK
4058
4059 case DW_OP_GNU_entry_value:
f664829e 4060 data = safe_read_uleb128 (data, end, &ul);
2bda9cc5
JK
4061 fputc_filtered ('\n', stream);
4062 disassemble_dwarf_expression (stream, arch, addr_size, offset_size,
4063 start, data, data + ul, indent + 2,
4064 all, per_cu);
4065 data += ul;
4066 continue;
49f6c839 4067
a24f71ab
JK
4068 case DW_OP_GNU_parameter_ref:
4069 ul = extract_unsigned_integer (data, 4, gdbarch_byte_order (arch));
4070 data += 4;
4071 fprintf_filtered (stream, " offset %s", phex_nz (ul, 4));
4072 break;
4073
49f6c839
DE
4074 case DW_OP_GNU_addr_index:
4075 data = safe_read_uleb128 (data, end, &ul);
4076 ul = dwarf2_read_addr_index (per_cu, ul);
4077 fprintf_filtered (stream, " 0x%s", phex_nz (ul, addr_size));
4078 break;
4079 case DW_OP_GNU_const_index:
4080 data = safe_read_uleb128 (data, end, &ul);
4081 ul = dwarf2_read_addr_index (per_cu, ul);
4082 fprintf_filtered (stream, " %s", pulongest (ul));
4083 break;
9eae7c52
TT
4084 }
4085
4086 fprintf_filtered (stream, "\n");
4087 }
c3228f12 4088
08922a10 4089 return data;
4c2df51b
DJ
4090}
4091
08922a10
SS
4092/* Describe a single location, which may in turn consist of multiple
4093 pieces. */
a55cc764 4094
08922a10
SS
4095static void
4096locexpr_describe_location_1 (struct symbol *symbol, CORE_ADDR addr,
0d45f56e 4097 struct ui_file *stream,
56eb65bd 4098 const gdb_byte *data, size_t size,
9eae7c52 4099 struct objfile *objfile, unsigned int addr_size,
5e44ecb3 4100 int offset_size, struct dwarf2_per_cu_data *per_cu)
08922a10 4101{
0d45f56e 4102 const gdb_byte *end = data + size;
9eae7c52 4103 int first_piece = 1, bad = 0;
08922a10 4104
08922a10
SS
4105 while (data < end)
4106 {
9eae7c52
TT
4107 const gdb_byte *here = data;
4108 int disassemble = 1;
4109
4110 if (first_piece)
4111 first_piece = 0;
4112 else
4113 fprintf_filtered (stream, _(", and "));
08922a10 4114
9eae7c52
TT
4115 if (!dwarf2_always_disassemble)
4116 {
3e43a32a 4117 data = locexpr_describe_location_piece (symbol, stream,
49f6c839 4118 addr, objfile, per_cu,
9eae7c52
TT
4119 data, end, addr_size);
4120 /* If we printed anything, or if we have an empty piece,
4121 then don't disassemble. */
4122 if (data != here
4123 || data[0] == DW_OP_piece
4124 || data[0] == DW_OP_bit_piece)
4125 disassemble = 0;
08922a10 4126 }
9eae7c52 4127 if (disassemble)
2bda9cc5
JK
4128 {
4129 fprintf_filtered (stream, _("a complex DWARF expression:\n"));
4130 data = disassemble_dwarf_expression (stream,
4131 get_objfile_arch (objfile),
4132 addr_size, offset_size, data,
4133 data, end, 0,
4134 dwarf2_always_disassemble,
4135 per_cu);
4136 }
9eae7c52
TT
4137
4138 if (data < end)
08922a10 4139 {
9eae7c52 4140 int empty = data == here;
08922a10 4141
9eae7c52
TT
4142 if (disassemble)
4143 fprintf_filtered (stream, " ");
4144 if (data[0] == DW_OP_piece)
4145 {
9fccedf7 4146 uint64_t bytes;
08922a10 4147
f664829e 4148 data = safe_read_uleb128 (data + 1, end, &bytes);
08922a10 4149
9eae7c52
TT
4150 if (empty)
4151 fprintf_filtered (stream, _("an empty %s-byte piece"),
4152 pulongest (bytes));
4153 else
4154 fprintf_filtered (stream, _(" [%s-byte piece]"),
4155 pulongest (bytes));
4156 }
4157 else if (data[0] == DW_OP_bit_piece)
4158 {
9fccedf7 4159 uint64_t bits, offset;
9eae7c52 4160
f664829e
DE
4161 data = safe_read_uleb128 (data + 1, end, &bits);
4162 data = safe_read_uleb128 (data, end, &offset);
9eae7c52
TT
4163
4164 if (empty)
4165 fprintf_filtered (stream,
4166 _("an empty %s-bit piece"),
4167 pulongest (bits));
4168 else
4169 fprintf_filtered (stream,
4170 _(" [%s-bit piece, offset %s bits]"),
4171 pulongest (bits), pulongest (offset));
4172 }
4173 else
4174 {
4175 bad = 1;
4176 break;
4177 }
08922a10
SS
4178 }
4179 }
4180
4181 if (bad || data > end)
4182 error (_("Corrupted DWARF2 expression for \"%s\"."),
4183 SYMBOL_PRINT_NAME (symbol));
4184}
4185
4186/* Print a natural-language description of SYMBOL to STREAM. This
4187 version is for a symbol with a single location. */
a55cc764 4188
08922a10
SS
4189static void
4190locexpr_describe_location (struct symbol *symbol, CORE_ADDR addr,
4191 struct ui_file *stream)
4192{
4193 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
4194 struct objfile *objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
4195 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
9eae7c52 4196 int offset_size = dwarf2_per_cu_offset_size (dlbaton->per_cu);
08922a10 4197
3e43a32a
MS
4198 locexpr_describe_location_1 (symbol, addr, stream,
4199 dlbaton->data, dlbaton->size,
5e44ecb3
TT
4200 objfile, addr_size, offset_size,
4201 dlbaton->per_cu);
08922a10
SS
4202}
4203
4204/* Describe the location of SYMBOL as an agent value in VALUE, generating
4205 any necessary bytecode in AX. */
a55cc764 4206
0d53c4c4 4207static void
505e835d
UW
4208locexpr_tracepoint_var_ref (struct symbol *symbol, struct gdbarch *gdbarch,
4209 struct agent_expr *ax, struct axs_value *value)
a55cc764
DJ
4210{
4211 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
3cf03773 4212 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
a55cc764 4213
1d6edc3c 4214 if (dlbaton->size == 0)
cabe9ab6
PA
4215 value->optimized_out = 1;
4216 else
9f6f94ff
TT
4217 dwarf2_compile_expr_to_ax (ax, value, gdbarch, addr_size,
4218 dlbaton->data, dlbaton->data + dlbaton->size,
4219 dlbaton->per_cu);
a55cc764
DJ
4220}
4221
bb2ec1b3
TT
4222/* symbol_computed_ops 'generate_c_location' method. */
4223
4224static void
4225locexpr_generate_c_location (struct symbol *sym, struct ui_file *stream,
4226 struct gdbarch *gdbarch,
4227 unsigned char *registers_used,
4228 CORE_ADDR pc, const char *result_name)
4229{
4230 struct dwarf2_locexpr_baton *dlbaton = SYMBOL_LOCATION_BATON (sym);
4231 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4232
4233 if (dlbaton->size == 0)
4234 error (_("symbol \"%s\" is optimized out"), SYMBOL_NATURAL_NAME (sym));
4235
4236 compile_dwarf_expr_to_c (stream, result_name,
4237 sym, pc, gdbarch, registers_used, addr_size,
4238 dlbaton->data, dlbaton->data + dlbaton->size,
4239 dlbaton->per_cu);
4240}
4241
4c2df51b
DJ
4242/* The set of location functions used with the DWARF-2 expression
4243 evaluator. */
768a979c 4244const struct symbol_computed_ops dwarf2_locexpr_funcs = {
4c2df51b 4245 locexpr_read_variable,
e18b2753 4246 locexpr_read_variable_at_entry,
4c2df51b
DJ
4247 locexpr_read_needs_frame,
4248 locexpr_describe_location,
f1e6e072 4249 0, /* location_has_loclist */
bb2ec1b3
TT
4250 locexpr_tracepoint_var_ref,
4251 locexpr_generate_c_location
4c2df51b 4252};
0d53c4c4
DJ
4253
4254
4255/* Wrapper functions for location lists. These generally find
4256 the appropriate location expression and call something above. */
4257
4258/* Return the value of SYMBOL in FRAME using the DWARF-2 expression
4259 evaluator to calculate the location. */
4260static struct value *
4261loclist_read_variable (struct symbol *symbol, struct frame_info *frame)
4262{
4263 struct dwarf2_loclist_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
4264 struct value *val;
947bb88f 4265 const gdb_byte *data;
b6b08ebf 4266 size_t size;
8cf6f0b1 4267 CORE_ADDR pc = frame ? get_frame_address_in_block (frame) : 0;
0d53c4c4 4268
8cf6f0b1 4269 data = dwarf2_find_location_expression (dlbaton, &size, pc);
1d6edc3c
JK
4270 val = dwarf2_evaluate_loc_desc (SYMBOL_TYPE (symbol), frame, data, size,
4271 dlbaton->per_cu);
0d53c4c4
DJ
4272
4273 return val;
4274}
4275
e18b2753
JK
4276/* Read variable SYMBOL like loclist_read_variable at (callee) FRAME's function
4277 entry. SYMBOL should be a function parameter, otherwise NO_ENTRY_VALUE_ERROR
4278 will be thrown.
4279
4280 Function always returns non-NULL value, it may be marked optimized out if
4281 inferior frame information is not available. It throws NO_ENTRY_VALUE_ERROR
4282 if it cannot resolve the parameter for any reason. */
4283
4284static struct value *
4285loclist_read_variable_at_entry (struct symbol *symbol, struct frame_info *frame)
4286{
4287 struct dwarf2_loclist_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
4288 const gdb_byte *data;
4289 size_t size;
4290 CORE_ADDR pc;
4291
4292 if (frame == NULL || !get_frame_func_if_available (frame, &pc))
4293 return allocate_optimized_out_value (SYMBOL_TYPE (symbol));
4294
4295 data = dwarf2_find_location_expression (dlbaton, &size, pc);
4296 if (data == NULL)
4297 return allocate_optimized_out_value (SYMBOL_TYPE (symbol));
4298
4299 return value_of_dwarf_block_entry (SYMBOL_TYPE (symbol), frame, data, size);
4300}
4301
0d53c4c4
DJ
4302/* Return non-zero iff we need a frame to evaluate SYMBOL. */
4303static int
4304loclist_read_needs_frame (struct symbol *symbol)
4305{
4306 /* If there's a location list, then assume we need to have a frame
4307 to choose the appropriate location expression. With tracking of
4308 global variables this is not necessarily true, but such tracking
4309 is disabled in GCC at the moment until we figure out how to
4310 represent it. */
4311
4312 return 1;
4313}
4314
08922a10
SS
4315/* Print a natural-language description of SYMBOL to STREAM. This
4316 version applies when there is a list of different locations, each
4317 with a specified address range. */
4318
4319static void
4320loclist_describe_location (struct symbol *symbol, CORE_ADDR addr,
4321 struct ui_file *stream)
0d53c4c4 4322{
08922a10 4323 struct dwarf2_loclist_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
947bb88f 4324 const gdb_byte *loc_ptr, *buf_end;
08922a10
SS
4325 struct objfile *objfile = dwarf2_per_cu_objfile (dlbaton->per_cu);
4326 struct gdbarch *gdbarch = get_objfile_arch (objfile);
4327 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
4328 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
9eae7c52 4329 int offset_size = dwarf2_per_cu_offset_size (dlbaton->per_cu);
d4a087c7 4330 int signed_addr_p = bfd_get_sign_extend_vma (objfile->obfd);
08922a10 4331 /* Adjust base_address for relocatable objects. */
9aa1f1e3 4332 CORE_ADDR base_offset = dwarf2_per_cu_text_offset (dlbaton->per_cu);
08922a10 4333 CORE_ADDR base_address = dlbaton->base_address + base_offset;
f664829e 4334 int done = 0;
08922a10
SS
4335
4336 loc_ptr = dlbaton->data;
4337 buf_end = dlbaton->data + dlbaton->size;
4338
9eae7c52 4339 fprintf_filtered (stream, _("multi-location:\n"));
08922a10
SS
4340
4341 /* Iterate through locations until we run out. */
f664829e 4342 while (!done)
08922a10 4343 {
f664829e
DE
4344 CORE_ADDR low = 0, high = 0; /* init for gcc -Wall */
4345 int length;
4346 enum debug_loc_kind kind;
4347 const gdb_byte *new_ptr = NULL; /* init for gcc -Wall */
4348
4349 if (dlbaton->from_dwo)
4350 kind = decode_debug_loc_dwo_addresses (dlbaton->per_cu,
4351 loc_ptr, buf_end, &new_ptr,
3771a44c 4352 &low, &high, byte_order);
d4a087c7 4353 else
f664829e
DE
4354 kind = decode_debug_loc_addresses (loc_ptr, buf_end, &new_ptr,
4355 &low, &high,
4356 byte_order, addr_size,
4357 signed_addr_p);
4358 loc_ptr = new_ptr;
4359 switch (kind)
08922a10 4360 {
f664829e
DE
4361 case DEBUG_LOC_END_OF_LIST:
4362 done = 1;
4363 continue;
4364 case DEBUG_LOC_BASE_ADDRESS:
d4a087c7 4365 base_address = high + base_offset;
9eae7c52 4366 fprintf_filtered (stream, _(" Base address %s"),
08922a10 4367 paddress (gdbarch, base_address));
08922a10 4368 continue;
3771a44c
DE
4369 case DEBUG_LOC_START_END:
4370 case DEBUG_LOC_START_LENGTH:
f664829e
DE
4371 break;
4372 case DEBUG_LOC_BUFFER_OVERFLOW:
4373 case DEBUG_LOC_INVALID_ENTRY:
4374 error (_("Corrupted DWARF expression for symbol \"%s\"."),
4375 SYMBOL_PRINT_NAME (symbol));
4376 default:
4377 gdb_assert_not_reached ("bad debug_loc_kind");
08922a10
SS
4378 }
4379
08922a10
SS
4380 /* Otherwise, a location expression entry. */
4381 low += base_address;
4382 high += base_address;
4383
3e29f34a
MR
4384 low = gdbarch_adjust_dwarf2_addr (gdbarch, low);
4385 high = gdbarch_adjust_dwarf2_addr (gdbarch, high);
4386
08922a10
SS
4387 length = extract_unsigned_integer (loc_ptr, 2, byte_order);
4388 loc_ptr += 2;
4389
08922a10
SS
4390 /* (It would improve readability to print only the minimum
4391 necessary digits of the second number of the range.) */
9eae7c52 4392 fprintf_filtered (stream, _(" Range %s-%s: "),
08922a10
SS
4393 paddress (gdbarch, low), paddress (gdbarch, high));
4394
4395 /* Now describe this particular location. */
4396 locexpr_describe_location_1 (symbol, low, stream, loc_ptr, length,
5e44ecb3
TT
4397 objfile, addr_size, offset_size,
4398 dlbaton->per_cu);
9eae7c52
TT
4399
4400 fprintf_filtered (stream, "\n");
08922a10
SS
4401
4402 loc_ptr += length;
4403 }
0d53c4c4
DJ
4404}
4405
4406/* Describe the location of SYMBOL as an agent value in VALUE, generating
4407 any necessary bytecode in AX. */
4408static void
505e835d
UW
4409loclist_tracepoint_var_ref (struct symbol *symbol, struct gdbarch *gdbarch,
4410 struct agent_expr *ax, struct axs_value *value)
0d53c4c4
DJ
4411{
4412 struct dwarf2_loclist_baton *dlbaton = SYMBOL_LOCATION_BATON (symbol);
947bb88f 4413 const gdb_byte *data;
b6b08ebf 4414 size_t size;
3cf03773 4415 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
0d53c4c4 4416
8cf6f0b1 4417 data = dwarf2_find_location_expression (dlbaton, &size, ax->scope);
1d6edc3c 4418 if (size == 0)
cabe9ab6
PA
4419 value->optimized_out = 1;
4420 else
9f6f94ff
TT
4421 dwarf2_compile_expr_to_ax (ax, value, gdbarch, addr_size, data, data + size,
4422 dlbaton->per_cu);
0d53c4c4
DJ
4423}
4424
bb2ec1b3
TT
4425/* symbol_computed_ops 'generate_c_location' method. */
4426
4427static void
4428loclist_generate_c_location (struct symbol *sym, struct ui_file *stream,
4429 struct gdbarch *gdbarch,
4430 unsigned char *registers_used,
4431 CORE_ADDR pc, const char *result_name)
4432{
4433 struct dwarf2_loclist_baton *dlbaton = SYMBOL_LOCATION_BATON (sym);
4434 unsigned int addr_size = dwarf2_per_cu_addr_size (dlbaton->per_cu);
4435 const gdb_byte *data;
4436 size_t size;
4437
4438 data = dwarf2_find_location_expression (dlbaton, &size, pc);
4439 if (size == 0)
4440 error (_("symbol \"%s\" is optimized out"), SYMBOL_NATURAL_NAME (sym));
4441
4442 compile_dwarf_expr_to_c (stream, result_name,
4443 sym, pc, gdbarch, registers_used, addr_size,
4444 data, data + size,
4445 dlbaton->per_cu);
4446}
4447
0d53c4c4
DJ
4448/* The set of location functions used with the DWARF-2 expression
4449 evaluator and location lists. */
768a979c 4450const struct symbol_computed_ops dwarf2_loclist_funcs = {
0d53c4c4 4451 loclist_read_variable,
e18b2753 4452 loclist_read_variable_at_entry,
0d53c4c4
DJ
4453 loclist_read_needs_frame,
4454 loclist_describe_location,
f1e6e072 4455 1, /* location_has_loclist */
bb2ec1b3
TT
4456 loclist_tracepoint_var_ref,
4457 loclist_generate_c_location
0d53c4c4 4458};
8e3b41a9 4459
70221824
PA
4460/* Provide a prototype to silence -Wmissing-prototypes. */
4461extern initialize_file_ftype _initialize_dwarf2loc;
4462
8e3b41a9
JK
4463void
4464_initialize_dwarf2loc (void)
4465{
ccce17b0
YQ
4466 add_setshow_zuinteger_cmd ("entry-values", class_maintenance,
4467 &entry_values_debug,
4468 _("Set entry values and tail call frames "
4469 "debugging."),
4470 _("Show entry values and tail call frames "
4471 "debugging."),
4472 _("When non-zero, the process of determining "
4473 "parameter values from function entry point "
4474 "and tail call frames will be printed."),
4475 NULL,
4476 show_entry_values_debug,
4477 &setdebuglist, &showdebuglist);
8e3b41a9 4478}
This page took 1.043207 seconds and 4 git commands to generate.