1 /* Find a variable's value in memory, for GDB, the GNU debugger.
3 Copyright (C) 1986-2017 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
28 #include "floatformat.h"
29 #include "symfile.h" /* for overlay functions */
31 #include "user-regs.h"
35 #include "dwarf2loc.h"
38 /* Basic byte-swapping routines. All 'extract' functions return a
39 host-format integer from a target-format integer at ADDR which is
42 #if TARGET_CHAR_BIT != 8 || HOST_CHAR_BIT != 8
43 /* 8 bit characters are a pretty safe assumption these days, so we
44 assume it throughout all these swapping routines. If we had to deal with
45 9 bit characters, we would need to make len be in bits and would have
46 to re-write these routines... */
50 template<typename T
, typename
>
52 extract_integer (const gdb_byte
*addr
, int len
, enum bfd_endian byte_order
)
55 const unsigned char *p
;
56 const unsigned char *startaddr
= addr
;
57 const unsigned char *endaddr
= startaddr
+ len
;
59 if (len
> (int) sizeof (T
))
61 That operation is not available on integers of more than %d bytes."),
64 /* Start at the most significant end of the integer, and work towards
65 the least significant. */
66 if (byte_order
== BFD_ENDIAN_BIG
)
69 if (std::is_signed
<T
>::value
)
71 /* Do the sign extension once at the start. */
72 retval
= ((LONGEST
) * p
^ 0x80) - 0x80;
75 for (; p
< endaddr
; ++p
)
76 retval
= (retval
<< 8) | *p
;
81 if (std::is_signed
<T
>::value
)
83 /* Do the sign extension once at the start. */
84 retval
= ((LONGEST
) * p
^ 0x80) - 0x80;
87 for (; p
>= startaddr
; --p
)
88 retval
= (retval
<< 8) | *p
;
93 /* Explicit instantiations. */
94 template LONGEST extract_integer
<LONGEST
> (const gdb_byte
*addr
, int len
,
95 enum bfd_endian byte_order
);
96 template ULONGEST extract_integer
<ULONGEST
> (const gdb_byte
*addr
, int len
,
97 enum bfd_endian byte_order
);
99 /* Sometimes a long long unsigned integer can be extracted as a
100 LONGEST value. This is done so that we can print these values
101 better. If this integer can be converted to a LONGEST, this
102 function returns 1 and sets *PVAL. Otherwise it returns 0. */
105 extract_long_unsigned_integer (const gdb_byte
*addr
, int orig_len
,
106 enum bfd_endian byte_order
, LONGEST
*pval
)
109 const gdb_byte
*first_addr
;
113 if (byte_order
== BFD_ENDIAN_BIG
)
116 len
> (int) sizeof (LONGEST
) && p
< addr
+ orig_len
;
129 for (p
= addr
+ orig_len
- 1;
130 len
> (int) sizeof (LONGEST
) && p
>= addr
;
140 if (len
<= (int) sizeof (LONGEST
))
142 *pval
= (LONGEST
) extract_unsigned_integer (first_addr
,
152 /* Treat the bytes at BUF as a pointer of type TYPE, and return the
153 address it represents. */
155 extract_typed_address (const gdb_byte
*buf
, struct type
*type
)
157 if (TYPE_CODE (type
) != TYPE_CODE_PTR
&& !TYPE_IS_REFERENCE (type
))
158 internal_error (__FILE__
, __LINE__
,
159 _("extract_typed_address: "
160 "type is not a pointer or reference"));
162 return gdbarch_pointer_to_address (get_type_arch (type
), type
, buf
);
165 /* All 'store' functions accept a host-format integer and store a
166 target-format integer at ADDR which is LEN bytes long. */
167 template<typename T
, typename
>
169 store_integer (gdb_byte
*addr
, int len
, enum bfd_endian byte_order
,
173 gdb_byte
*startaddr
= addr
;
174 gdb_byte
*endaddr
= startaddr
+ len
;
176 /* Start at the least significant end of the integer, and work towards
177 the most significant. */
178 if (byte_order
== BFD_ENDIAN_BIG
)
180 for (p
= endaddr
- 1; p
>= startaddr
; --p
)
188 for (p
= startaddr
; p
< endaddr
; ++p
)
196 /* Explicit instantiations. */
197 template void store_integer (gdb_byte
*addr
, int len
,
198 enum bfd_endian byte_order
,
201 template void store_integer (gdb_byte
*addr
, int len
,
202 enum bfd_endian byte_order
,
205 /* Store the address ADDR as a pointer of type TYPE at BUF, in target
208 store_typed_address (gdb_byte
*buf
, struct type
*type
, CORE_ADDR addr
)
210 if (TYPE_CODE (type
) != TYPE_CODE_PTR
&& !TYPE_IS_REFERENCE (type
))
211 internal_error (__FILE__
, __LINE__
,
212 _("store_typed_address: "
213 "type is not a pointer or reference"));
215 gdbarch_address_to_pointer (get_type_arch (type
), type
, buf
, addr
);
218 /* Copy a value from SOURCE of size SOURCE_SIZE bytes to DEST of size DEST_SIZE
219 bytes. If SOURCE_SIZE is greater than DEST_SIZE, then truncate the most
220 significant bytes. If SOURCE_SIZE is less than DEST_SIZE then either sign
221 or zero extended according to IS_SIGNED. Values are stored in memory with
222 endianess BYTE_ORDER. */
225 copy_integer_to_size (gdb_byte
*dest
, int dest_size
, const gdb_byte
*source
,
226 int source_size
, bool is_signed
,
227 enum bfd_endian byte_order
)
229 signed int size_diff
= dest_size
- source_size
;
231 /* Copy across everything from SOURCE that can fit into DEST. */
233 if (byte_order
== BFD_ENDIAN_BIG
&& size_diff
> 0)
234 memcpy (dest
+ size_diff
, source
, source_size
);
235 else if (byte_order
== BFD_ENDIAN_BIG
&& size_diff
< 0)
236 memcpy (dest
, source
- size_diff
, dest_size
);
238 memcpy (dest
, source
, std::min (source_size
, dest_size
));
240 /* Fill the remaining space in DEST by either zero extending or sign
245 gdb_byte extension
= 0;
247 && ((byte_order
!= BFD_ENDIAN_BIG
&& source
[source_size
- 1] & 0x80)
248 || (byte_order
== BFD_ENDIAN_BIG
&& source
[0] & 0x80)))
251 /* Extend into MSBs of SOURCE. */
252 if (byte_order
== BFD_ENDIAN_BIG
)
253 memset (dest
, extension
, size_diff
);
255 memset (dest
+ source_size
, extension
, size_diff
);
259 /* Return a `value' with the contents of (virtual or cooked) register
260 REGNUM as found in the specified FRAME. The register's type is
261 determined by register_type(). */
264 value_of_register (int regnum
, struct frame_info
*frame
)
266 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
267 struct value
*reg_val
;
269 /* User registers lie completely outside of the range of normal
270 registers. Catch them early so that the target never sees them. */
271 if (regnum
>= gdbarch_num_regs (gdbarch
)
272 + gdbarch_num_pseudo_regs (gdbarch
))
273 return value_of_user_reg (regnum
, frame
);
275 reg_val
= value_of_register_lazy (frame
, regnum
);
276 value_fetch_lazy (reg_val
);
280 /* Return a `value' with the contents of (virtual or cooked) register
281 REGNUM as found in the specified FRAME. The register's type is
282 determined by register_type(). The value is not fetched. */
285 value_of_register_lazy (struct frame_info
*frame
, int regnum
)
287 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
288 struct value
*reg_val
;
289 struct frame_info
*next_frame
;
291 gdb_assert (regnum
< (gdbarch_num_regs (gdbarch
)
292 + gdbarch_num_pseudo_regs (gdbarch
)));
294 gdb_assert (frame
!= NULL
);
296 next_frame
= get_next_frame_sentinel_okay (frame
);
298 /* We should have a valid next frame. */
299 gdb_assert (frame_id_p (get_frame_id (next_frame
)));
301 reg_val
= allocate_value_lazy (register_type (gdbarch
, regnum
));
302 VALUE_LVAL (reg_val
) = lval_register
;
303 VALUE_REGNUM (reg_val
) = regnum
;
304 VALUE_NEXT_FRAME_ID (reg_val
) = get_frame_id (next_frame
);
309 /* Given a pointer of type TYPE in target form in BUF, return the
310 address it represents. */
312 unsigned_pointer_to_address (struct gdbarch
*gdbarch
,
313 struct type
*type
, const gdb_byte
*buf
)
315 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
317 return extract_unsigned_integer (buf
, TYPE_LENGTH (type
), byte_order
);
321 signed_pointer_to_address (struct gdbarch
*gdbarch
,
322 struct type
*type
, const gdb_byte
*buf
)
324 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
326 return extract_signed_integer (buf
, TYPE_LENGTH (type
), byte_order
);
329 /* Given an address, store it as a pointer of type TYPE in target
332 unsigned_address_to_pointer (struct gdbarch
*gdbarch
, struct type
*type
,
333 gdb_byte
*buf
, CORE_ADDR addr
)
335 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
337 store_unsigned_integer (buf
, TYPE_LENGTH (type
), byte_order
, addr
);
341 address_to_signed_pointer (struct gdbarch
*gdbarch
, struct type
*type
,
342 gdb_byte
*buf
, CORE_ADDR addr
)
344 enum bfd_endian byte_order
= gdbarch_byte_order (gdbarch
);
346 store_signed_integer (buf
, TYPE_LENGTH (type
), byte_order
, addr
);
351 enum symbol_needs_kind
352 symbol_read_needs (struct symbol
*sym
)
354 if (SYMBOL_COMPUTED_OPS (sym
) != NULL
)
355 return SYMBOL_COMPUTED_OPS (sym
)->get_symbol_read_needs (sym
);
357 switch (SYMBOL_CLASS (sym
))
359 /* All cases listed explicitly so that gcc -Wall will detect it if
360 we failed to consider one. */
362 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
367 case LOC_REGPARM_ADDR
:
369 return SYMBOL_NEEDS_FRAME
;
377 /* Getting the address of a label can be done independently of the block,
378 even if some *uses* of that address wouldn't work so well without
382 case LOC_CONST_BYTES
:
384 case LOC_OPTIMIZED_OUT
:
385 return SYMBOL_NEEDS_NONE
;
387 return SYMBOL_NEEDS_FRAME
;
393 symbol_read_needs_frame (struct symbol
*sym
)
395 return symbol_read_needs (sym
) == SYMBOL_NEEDS_FRAME
;
398 /* Private data to be used with minsym_lookup_iterator_cb. */
400 struct minsym_lookup_data
402 /* The name of the minimal symbol we are searching for. */
405 /* The field where the callback should store the minimal symbol
406 if found. It should be initialized to NULL before the search
408 struct bound_minimal_symbol result
;
411 /* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
412 It searches by name for a minimal symbol within the given OBJFILE.
413 The arguments are passed via CB_DATA, which in reality is a pointer
414 to struct minsym_lookup_data. */
417 minsym_lookup_iterator_cb (struct objfile
*objfile
, void *cb_data
)
419 struct minsym_lookup_data
*data
= (struct minsym_lookup_data
*) cb_data
;
421 gdb_assert (data
->result
.minsym
== NULL
);
423 data
->result
= lookup_minimal_symbol (data
->name
, NULL
, objfile
);
425 /* The iterator should stop iff a match was found. */
426 return (data
->result
.minsym
!= NULL
);
429 /* Given static link expression and the frame it lives in, look for the frame
430 the static links points to and return it. Return NULL if we could not find
433 static struct frame_info
*
434 follow_static_link (struct frame_info
*frame
,
435 const struct dynamic_prop
*static_link
)
437 CORE_ADDR upper_frame_base
;
439 if (!dwarf2_evaluate_property (static_link
, frame
, NULL
, &upper_frame_base
))
442 /* Now climb up the stack frame until we reach the frame we are interested
444 for (; frame
!= NULL
; frame
= get_prev_frame (frame
))
446 struct symbol
*framefunc
= get_frame_function (frame
);
448 /* Stacks can be quite deep: give the user a chance to stop this. */
451 /* If we don't know how to compute FRAME's base address, don't give up:
452 maybe the frame we are looking for is upper in the stace frame. */
453 if (framefunc
!= NULL
454 && SYMBOL_BLOCK_OPS (framefunc
) != NULL
455 && SYMBOL_BLOCK_OPS (framefunc
)->get_frame_base
!= NULL
456 && (SYMBOL_BLOCK_OPS (framefunc
)->get_frame_base (framefunc
, frame
)
457 == upper_frame_base
))
464 /* Assuming VAR is a symbol that can be reached from FRAME thanks to lexical
465 rules, look for the frame that is actually hosting VAR and return it. If,
466 for some reason, we found no such frame, return NULL.
468 This kind of computation is necessary to correctly handle lexically nested
471 Note that in some cases, we know what scope VAR comes from but we cannot
472 reach the specific frame that hosts the instance of VAR we are looking for.
473 For backward compatibility purposes (with old compilers), we then look for
474 the first frame that can host it. */
476 static struct frame_info
*
477 get_hosting_frame (struct symbol
*var
, const struct block
*var_block
,
478 struct frame_info
*frame
)
480 const struct block
*frame_block
= NULL
;
482 if (!symbol_read_needs_frame (var
))
485 /* Some symbols for local variables have no block: this happens when they are
486 not produced by a debug information reader, for instance when GDB creates
487 synthetic symbols. Without block information, we must assume they are
488 local to FRAME. In this case, there is nothing to do. */
489 else if (var_block
== NULL
)
492 /* We currently assume that all symbols with a location list need a frame.
493 This is true in practice because selecting the location description
494 requires to compute the CFA, hence requires a frame. However we have
495 tests that embed global/static symbols with null location lists.
496 We want to get <optimized out> instead of <frame required> when evaluating
497 them so return a frame instead of raising an error. */
498 else if (var_block
== block_global_block (var_block
)
499 || var_block
== block_static_block (var_block
))
502 /* We have to handle the "my_func::my_local_var" notation. This requires us
503 to look for upper frames when we find no block for the current frame: here
504 and below, handle when frame_block == NULL. */
506 frame_block
= get_frame_block (frame
, NULL
);
508 /* Climb up the call stack until reaching the frame we are looking for. */
509 while (frame
!= NULL
&& frame_block
!= var_block
)
511 /* Stacks can be quite deep: give the user a chance to stop this. */
514 if (frame_block
== NULL
)
516 frame
= get_prev_frame (frame
);
519 frame_block
= get_frame_block (frame
, NULL
);
522 /* If we failed to find the proper frame, fallback to the heuristic
524 else if (frame_block
== block_global_block (frame_block
))
530 /* Assuming we have a block for this frame: if we are at the function
531 level, the immediate upper lexical block is in an outer function:
532 follow the static link. */
533 else if (BLOCK_FUNCTION (frame_block
))
535 const struct dynamic_prop
*static_link
536 = block_static_link (frame_block
);
537 int could_climb_up
= 0;
539 if (static_link
!= NULL
)
541 frame
= follow_static_link (frame
, static_link
);
544 frame_block
= get_frame_block (frame
, NULL
);
545 could_climb_up
= frame_block
!= NULL
;
556 /* We must be in some function nested lexical block. Just get the
557 outer block: both must share the same frame. */
558 frame_block
= BLOCK_SUPERBLOCK (frame_block
);
561 /* Old compilers may not provide a static link, or they may provide an
562 invalid one. For such cases, fallback on the old way to evaluate
563 non-local references: just climb up the call stack and pick the first
564 frame that contains the variable we are looking for. */
567 frame
= block_innermost_frame (var_block
);
570 if (BLOCK_FUNCTION (var_block
)
571 && !block_inlined_p (var_block
)
572 && SYMBOL_PRINT_NAME (BLOCK_FUNCTION (var_block
)))
573 error (_("No frame is currently executing in block %s."),
574 SYMBOL_PRINT_NAME (BLOCK_FUNCTION (var_block
)));
576 error (_("No frame is currently executing in specified"
584 /* A default implementation for the "la_read_var_value" hook in
585 the language vector which should work in most situations. */
588 default_read_var_value (struct symbol
*var
, const struct block
*var_block
,
589 struct frame_info
*frame
)
592 struct type
*type
= SYMBOL_TYPE (var
);
594 enum symbol_needs_kind sym_need
;
596 /* Call check_typedef on our type to make sure that, if TYPE is
597 a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
598 instead of zero. However, we do not replace the typedef type by the
599 target type, because we want to keep the typedef in order to be able to
600 set the returned value type description correctly. */
601 check_typedef (type
);
603 sym_need
= symbol_read_needs (var
);
604 if (sym_need
== SYMBOL_NEEDS_FRAME
)
605 gdb_assert (frame
!= NULL
);
606 else if (sym_need
== SYMBOL_NEEDS_REGISTERS
&& !target_has_registers
)
607 error (_("Cannot read `%s' without registers"), SYMBOL_PRINT_NAME (var
));
610 frame
= get_hosting_frame (var
, var_block
, frame
);
612 if (SYMBOL_COMPUTED_OPS (var
) != NULL
)
613 return SYMBOL_COMPUTED_OPS (var
)->read_variable (var
, frame
);
615 switch (SYMBOL_CLASS (var
))
618 if (is_dynamic_type (type
))
620 /* Value is a constant byte-sequence and needs no memory access. */
621 type
= resolve_dynamic_type (type
, NULL
, /* Unused address. */ 0);
623 /* Put the constant back in target format. */
624 v
= allocate_value (type
);
625 store_signed_integer (value_contents_raw (v
), TYPE_LENGTH (type
),
626 gdbarch_byte_order (get_type_arch (type
)),
627 (LONGEST
) SYMBOL_VALUE (var
));
628 VALUE_LVAL (v
) = not_lval
;
632 /* Put the constant back in target format. */
633 v
= allocate_value (type
);
634 if (overlay_debugging
)
637 = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var
),
638 SYMBOL_OBJ_SECTION (symbol_objfile (var
),
641 store_typed_address (value_contents_raw (v
), type
, addr
);
644 store_typed_address (value_contents_raw (v
), type
,
645 SYMBOL_VALUE_ADDRESS (var
));
646 VALUE_LVAL (v
) = not_lval
;
649 case LOC_CONST_BYTES
:
650 if (is_dynamic_type (type
))
652 /* Value is a constant byte-sequence and needs no memory access. */
653 type
= resolve_dynamic_type (type
, NULL
, /* Unused address. */ 0);
655 v
= allocate_value (type
);
656 memcpy (value_contents_raw (v
), SYMBOL_VALUE_BYTES (var
),
658 VALUE_LVAL (v
) = not_lval
;
662 if (overlay_debugging
)
663 addr
= symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var
),
664 SYMBOL_OBJ_SECTION (symbol_objfile (var
),
667 addr
= SYMBOL_VALUE_ADDRESS (var
);
671 addr
= get_frame_args_address (frame
);
673 error (_("Unknown argument list address for `%s'."),
674 SYMBOL_PRINT_NAME (var
));
675 addr
+= SYMBOL_VALUE (var
);
683 argref
= get_frame_args_address (frame
);
685 error (_("Unknown argument list address for `%s'."),
686 SYMBOL_PRINT_NAME (var
));
687 argref
+= SYMBOL_VALUE (var
);
688 ref
= value_at (lookup_pointer_type (type
), argref
);
689 addr
= value_as_address (ref
);
694 addr
= get_frame_locals_address (frame
);
695 addr
+= SYMBOL_VALUE (var
);
699 error (_("Cannot look up value of a typedef `%s'."),
700 SYMBOL_PRINT_NAME (var
));
704 if (overlay_debugging
)
705 addr
= symbol_overlayed_address
706 (BLOCK_START (SYMBOL_BLOCK_VALUE (var
)),
707 SYMBOL_OBJ_SECTION (symbol_objfile (var
), var
));
709 addr
= BLOCK_START (SYMBOL_BLOCK_VALUE (var
));
713 case LOC_REGPARM_ADDR
:
715 int regno
= SYMBOL_REGISTER_OPS (var
)
716 ->register_number (var
, get_frame_arch (frame
));
717 struct value
*regval
;
719 if (SYMBOL_CLASS (var
) == LOC_REGPARM_ADDR
)
721 regval
= value_from_register (lookup_pointer_type (type
),
726 error (_("Value of register variable not available for `%s'."),
727 SYMBOL_PRINT_NAME (var
));
729 addr
= value_as_address (regval
);
733 regval
= value_from_register (type
, regno
, frame
);
736 error (_("Value of register variable not available for `%s'."),
737 SYMBOL_PRINT_NAME (var
));
744 gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
748 struct minsym_lookup_data lookup_data
;
749 struct minimal_symbol
*msym
;
750 struct obj_section
*obj_section
;
752 memset (&lookup_data
, 0, sizeof (lookup_data
));
753 lookup_data
.name
= SYMBOL_LINKAGE_NAME (var
);
755 gdbarch_iterate_over_objfiles_in_search_order
757 minsym_lookup_iterator_cb
, &lookup_data
,
758 symbol_objfile (var
));
759 msym
= lookup_data
.result
.minsym
;
761 /* If we can't find the minsym there's a problem in the symbol info.
762 The symbol exists in the debug info, but it's missing in the minsym
766 const char *flavour_name
767 = objfile_flavour_name (symbol_objfile (var
));
769 /* We can't get here unless we've opened the file, so flavour_name
771 gdb_assert (flavour_name
!= NULL
);
772 error (_("Missing %s symbol \"%s\"."),
773 flavour_name
, SYMBOL_LINKAGE_NAME (var
));
775 obj_section
= MSYMBOL_OBJ_SECTION (lookup_data
.result
.objfile
, msym
);
776 /* Relocate address, unless there is no section or the variable is
778 if (obj_section
== NULL
779 || (obj_section
->the_bfd_section
->flags
& SEC_THREAD_LOCAL
) != 0)
780 addr
= MSYMBOL_VALUE_RAW_ADDRESS (msym
);
782 addr
= BMSYMBOL_VALUE_ADDRESS (lookup_data
.result
);
783 if (overlay_debugging
)
784 addr
= symbol_overlayed_address (addr
, obj_section
);
785 /* Determine address of TLS variable. */
787 && (obj_section
->the_bfd_section
->flags
& SEC_THREAD_LOCAL
) != 0)
788 addr
= target_translate_tls_address (obj_section
->objfile
, addr
);
792 case LOC_OPTIMIZED_OUT
:
793 return allocate_optimized_out_value (type
);
796 error (_("Cannot look up value of a botched symbol `%s'."),
797 SYMBOL_PRINT_NAME (var
));
801 v
= value_at_lazy (type
, addr
);
805 /* Calls VAR's language la_read_var_value hook with the given arguments. */
808 read_var_value (struct symbol
*var
, const struct block
*var_block
,
809 struct frame_info
*frame
)
811 const struct language_defn
*lang
= language_def (SYMBOL_LANGUAGE (var
));
813 gdb_assert (lang
!= NULL
);
814 gdb_assert (lang
->la_read_var_value
!= NULL
);
816 return lang
->la_read_var_value (var
, var_block
, frame
);
819 /* Install default attributes for register values. */
822 default_value_from_register (struct gdbarch
*gdbarch
, struct type
*type
,
823 int regnum
, struct frame_id frame_id
)
825 int len
= TYPE_LENGTH (type
);
826 struct value
*value
= allocate_value (type
);
827 struct frame_info
*frame
;
829 VALUE_LVAL (value
) = lval_register
;
830 frame
= frame_find_by_id (frame_id
);
833 frame_id
= null_frame_id
;
835 frame_id
= get_frame_id (get_next_frame_sentinel_okay (frame
));
837 VALUE_NEXT_FRAME_ID (value
) = frame_id
;
838 VALUE_REGNUM (value
) = regnum
;
840 /* Any structure stored in more than one register will always be
841 an integral number of registers. Otherwise, you need to do
842 some fiddling with the last register copied here for little
844 if (gdbarch_byte_order (gdbarch
) == BFD_ENDIAN_BIG
845 && len
< register_size (gdbarch
, regnum
))
846 /* Big-endian, and we want less than full size. */
847 set_value_offset (value
, register_size (gdbarch
, regnum
) - len
);
849 set_value_offset (value
, 0);
854 /* VALUE must be an lval_register value. If regnum is the value's
855 associated register number, and len the length of the values type,
856 read one or more registers in FRAME, starting with register REGNUM,
857 until we've read LEN bytes.
859 If any of the registers we try to read are optimized out, then mark the
860 complete resulting value as optimized out. */
863 read_frame_register_value (struct value
*value
, struct frame_info
*frame
)
865 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
867 LONGEST reg_offset
= value_offset (value
);
868 int regnum
= VALUE_REGNUM (value
);
869 int len
= type_length_units (check_typedef (value_type (value
)));
871 gdb_assert (VALUE_LVAL (value
) == lval_register
);
873 /* Skip registers wholly inside of REG_OFFSET. */
874 while (reg_offset
>= register_size (gdbarch
, regnum
))
876 reg_offset
-= register_size (gdbarch
, regnum
);
883 struct value
*regval
= get_frame_register_value (frame
, regnum
);
884 int reg_len
= type_length_units (value_type (regval
)) - reg_offset
;
886 /* If the register length is larger than the number of bytes
887 remaining to copy, then only copy the appropriate bytes. */
891 value_contents_copy (value
, offset
, regval
, reg_offset
, reg_len
);
900 /* Return a value of type TYPE, stored in register REGNUM, in frame FRAME. */
903 value_from_register (struct type
*type
, int regnum
, struct frame_info
*frame
)
905 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
906 struct type
*type1
= check_typedef (type
);
909 if (gdbarch_convert_register_p (gdbarch
, regnum
, type1
))
911 int optim
, unavail
, ok
;
913 /* The ISA/ABI need to something weird when obtaining the
914 specified value from this register. It might need to
915 re-order non-adjacent, starting with REGNUM (see MIPS and
916 i386). It might need to convert the [float] register into
917 the corresponding [integer] type (see Alpha). The assumption
918 is that gdbarch_register_to_value populates the entire value
919 including the location. */
920 v
= allocate_value (type
);
921 VALUE_LVAL (v
) = lval_register
;
922 VALUE_NEXT_FRAME_ID (v
) = get_frame_id (get_next_frame_sentinel_okay (frame
));
923 VALUE_REGNUM (v
) = regnum
;
924 ok
= gdbarch_register_to_value (gdbarch
, frame
, regnum
, type1
,
925 value_contents_raw (v
), &optim
,
931 mark_value_bytes_optimized_out (v
, 0, TYPE_LENGTH (type
));
933 mark_value_bytes_unavailable (v
, 0, TYPE_LENGTH (type
));
938 /* Construct the value. */
939 v
= gdbarch_value_from_register (gdbarch
, type
,
940 regnum
, get_frame_id (frame
));
943 read_frame_register_value (v
, frame
);
949 /* Return contents of register REGNUM in frame FRAME as address.
950 Will abort if register value is not available. */
953 address_from_register (int regnum
, struct frame_info
*frame
)
955 struct gdbarch
*gdbarch
= get_frame_arch (frame
);
956 struct type
*type
= builtin_type (gdbarch
)->builtin_data_ptr
;
959 int regnum_max_excl
= (gdbarch_num_regs (gdbarch
)
960 + gdbarch_num_pseudo_regs (gdbarch
));
962 if (regnum
< 0 || regnum
>= regnum_max_excl
)
963 error (_("Invalid register #%d, expecting 0 <= # < %d"), regnum
,
966 /* This routine may be called during early unwinding, at a time
967 where the ID of FRAME is not yet known. Calling value_from_register
968 would therefore abort in get_frame_id. However, since we only need
969 a temporary value that is never used as lvalue, we actually do not
970 really need to set its VALUE_NEXT_FRAME_ID. Therefore, we re-implement
971 the core of value_from_register, but use the null_frame_id. */
973 /* Some targets require a special conversion routine even for plain
974 pointer types. Avoid constructing a value object in those cases. */
975 if (gdbarch_convert_register_p (gdbarch
, regnum
, type
))
977 gdb_byte
*buf
= (gdb_byte
*) alloca (TYPE_LENGTH (type
));
978 int optim
, unavail
, ok
;
980 ok
= gdbarch_register_to_value (gdbarch
, frame
, regnum
, type
,
981 buf
, &optim
, &unavail
);
984 /* This function is used while computing a location expression.
985 Complain about the value being optimized out, rather than
986 letting value_as_address complain about some random register
987 the expression depends on not being saved. */
988 error_value_optimized_out ();
991 return unpack_long (type
, buf
);
994 value
= gdbarch_value_from_register (gdbarch
, type
, regnum
, null_frame_id
);
995 read_frame_register_value (value
, frame
);
997 if (value_optimized_out (value
))
999 /* This function is used while computing a location expression.
1000 Complain about the value being optimized out, rather than
1001 letting value_as_address complain about some random register
1002 the expression depends on not being saved. */
1003 error_value_optimized_out ();
1006 result
= value_as_address (value
);
1007 release_value (value
);
1014 namespace selftests
{
1015 namespace findvar_tests
{
1017 /* Function to test copy_integer_to_size. Store SOURCE_VAL with size
1018 SOURCE_SIZE to a buffer, making sure no sign extending happens at this
1019 stage. Copy buffer to a new buffer using copy_integer_to_size. Extract
1020 copied value and compare to DEST_VALU. Copy again with a signed
1021 copy_integer_to_size and compare to DEST_VALS. Do everything for both
1022 LITTLE and BIG target endians. Use unsigned values throughout to make
1023 sure there are no implicit sign extensions. */
1026 do_cint_test (ULONGEST dest_valu
, ULONGEST dest_vals
, int dest_size
,
1027 ULONGEST src_val
, int src_size
)
1029 for (int i
= 0; i
< 2 ; i
++)
1031 gdb_byte srcbuf
[sizeof (ULONGEST
)] = {};
1032 gdb_byte destbuf
[sizeof (ULONGEST
)] = {};
1033 enum bfd_endian byte_order
= i
? BFD_ENDIAN_BIG
: BFD_ENDIAN_LITTLE
;
1035 /* Fill the src buffer (and later the dest buffer) with non-zero junk,
1036 to ensure zero extensions aren't hidden. */
1037 memset (srcbuf
, 0xaa, sizeof (srcbuf
));
1039 /* Store (and later extract) using unsigned to ensure there are no sign
1041 store_unsigned_integer (srcbuf
, src_size
, byte_order
, src_val
);
1043 /* Test unsigned. */
1044 memset (destbuf
, 0xaa, sizeof (destbuf
));
1045 copy_integer_to_size (destbuf
, dest_size
, srcbuf
, src_size
, false,
1047 SELF_CHECK (dest_valu
== extract_unsigned_integer (destbuf
, dest_size
,
1051 memset (destbuf
, 0xaa, sizeof (destbuf
));
1052 copy_integer_to_size (destbuf
, dest_size
, srcbuf
, src_size
, true,
1054 SELF_CHECK (dest_vals
== extract_unsigned_integer (destbuf
, dest_size
,
1060 copy_integer_to_size_test ()
1062 /* Destination is bigger than the source, which has the signed bit unset. */
1063 do_cint_test (0x12345678, 0x12345678, 8, 0x12345678, 4);
1064 do_cint_test (0x345678, 0x345678, 8, 0x12345678, 3);
1066 /* Destination is bigger than the source, which has the signed bit set. */
1067 do_cint_test (0xdeadbeef, 0xffffffffdeadbeef, 8, 0xdeadbeef, 4);
1068 do_cint_test (0xadbeef, 0xffffffffffadbeef, 8, 0xdeadbeef, 3);
1070 /* Destination is smaller than the source. */
1071 do_cint_test (0x5678, 0x5678, 2, 0x12345678, 3);
1072 do_cint_test (0xbeef, 0xbeef, 2, 0xdeadbeef, 3);
1074 /* Destination and source are the same size. */
1075 do_cint_test (0x8765432112345678, 0x8765432112345678, 8, 0x8765432112345678,
1077 do_cint_test (0x432112345678, 0x432112345678, 6, 0x8765432112345678, 6);
1078 do_cint_test (0xfeedbeaddeadbeef, 0xfeedbeaddeadbeef, 8, 0xfeedbeaddeadbeef,
1080 do_cint_test (0xbeaddeadbeef, 0xbeaddeadbeef, 6, 0xfeedbeaddeadbeef, 6);
1082 /* Destination is bigger than the source. Source is bigger than 32bits. */
1083 do_cint_test (0x3412345678, 0x3412345678, 8, 0x3412345678, 6);
1084 do_cint_test (0xff12345678, 0xff12345678, 8, 0xff12345678, 6);
1085 do_cint_test (0x432112345678, 0x432112345678, 8, 0x8765432112345678, 6);
1086 do_cint_test (0xff2112345678, 0xffffff2112345678, 8, 0xffffff2112345678, 6);
1089 } // namespace findvar_test
1090 } // namespace selftests
1095 _initialize_findvar (void)
1098 selftests::register_test
1099 ("copy_integer_to_size",
1100 selftests::findvar_tests::copy_integer_to_size_test
);