gdb/findvar.c

   1 /* Find a variable's value in memory, for GDB, the GNU debugger.
   2
   3    Copyright (C) 1986-2013 Free Software Foundation, Inc.
   4
   5    This file is part of GDB.
   6
   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.
  11
  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.
  16
  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/>.  */
  19
  20 #include "defs.h"
  21 #include "symtab.h"
  22 #include "gdbtypes.h"
  23 #include "frame.h"
  24 #include "value.h"
  25 #include "gdbcore.h"
  26 #include "inferior.h"
  27 #include "target.h"
  28 #include "gdb_string.h"
  29 #include "gdb_assert.h"
  30 #include "floatformat.h"
  31 #include "symfile.h"            /* for overlay functions */
  32 #include "regcache.h"
  33 #include "user-regs.h"
  34 #include "block.h"
  35 #include "objfiles.h"
  36 #include "language.h"
  37
  38 /* Basic byte-swapping routines.  All 'extract' functions return a
  39    host-format integer from a target-format integer at ADDR which is
  40    LEN bytes long.  */
  41
  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...  */
  47 you lose
  48 #endif
  49
  50 LONGEST
  51 extract_signed_integer (const gdb_byte *addr, int len,
  52                         enum bfd_endian byte_order)
  53 {
  54   LONGEST retval;
  55   const unsigned char *p;
  56   const unsigned char *startaddr = addr;
  57   const unsigned char *endaddr = startaddr + len;
  58
  59   if (len > (int) sizeof (LONGEST))
  60     error (_("\
  61 That operation is not available on integers of more than %d bytes."),
  62            (int) sizeof (LONGEST));
  63
  64   /* Start at the most significant end of the integer, and work towards
  65      the least significant.  */
  66   if (byte_order == BFD_ENDIAN_BIG)
  67     {
  68       p = startaddr;
  69       /* Do the sign extension once at the start.  */
  70       retval = ((LONGEST) * p ^ 0x80) - 0x80;
  71       for (++p; p < endaddr; ++p)
  72         retval = (retval << 8) | *p;
  73     }
  74   else
  75     {
  76       p = endaddr - 1;
  77       /* Do the sign extension once at the start.  */
  78       retval = ((LONGEST) * p ^ 0x80) - 0x80;
  79       for (--p; p >= startaddr; --p)
  80         retval = (retval << 8) | *p;
  81     }
  82   return retval;
  83 }
  84
  85 ULONGEST
  86 extract_unsigned_integer (const gdb_byte *addr, int len,
  87                           enum bfd_endian byte_order)
  88 {
  89   ULONGEST retval;
  90   const unsigned char *p;
  91   const unsigned char *startaddr = addr;
  92   const unsigned char *endaddr = startaddr + len;
  93
  94   if (len > (int) sizeof (ULONGEST))
  95     error (_("\
  96 That operation is not available on integers of more than %d bytes."),
  97            (int) sizeof (ULONGEST));
  98
  99   /* Start at the most significant end of the integer, and work towards
 100      the least significant.  */
 101   retval = 0;
 102   if (byte_order == BFD_ENDIAN_BIG)
 103     {
 104       for (p = startaddr; p < endaddr; ++p)
 105         retval = (retval << 8) | *p;
 106     }
 107   else
 108     {
 109       for (p = endaddr - 1; p >= startaddr; --p)
 110         retval = (retval << 8) | *p;
 111     }
 112   return retval;
 113 }
 114
 115 /* Sometimes a long long unsigned integer can be extracted as a
 116    LONGEST value.  This is done so that we can print these values
 117    better.  If this integer can be converted to a LONGEST, this
 118    function returns 1 and sets *PVAL.  Otherwise it returns 0.  */
 119
 120 int
 121 extract_long_unsigned_integer (const gdb_byte *addr, int orig_len,
 122                                enum bfd_endian byte_order, LONGEST *pval)
 123 {
 124   const gdb_byte *p;
 125   const gdb_byte *first_addr;
 126   int len;
 127
 128   len = orig_len;
 129   if (byte_order == BFD_ENDIAN_BIG)
 130     {
 131       for (p = addr;
 132            len > (int) sizeof (LONGEST) && p < addr + orig_len;
 133            p++)
 134         {
 135           if (*p == 0)
 136             len--;
 137           else
 138             break;
 139         }
 140       first_addr = p;
 141     }
 142   else
 143     {
 144       first_addr = addr;
 145       for (p = addr + orig_len - 1;
 146            len > (int) sizeof (LONGEST) && p >= addr;
 147            p--)
 148         {
 149           if (*p == 0)
 150             len--;
 151           else
 152             break;
 153         }
 154     }
 155
 156   if (len <= (int) sizeof (LONGEST))
 157     {
 158       *pval = (LONGEST) extract_unsigned_integer (first_addr,
 159                                                   sizeof (LONGEST),
 160                                                   byte_order);
 161       return 1;
 162     }
 163
 164   return 0;
 165 }
 166
 167
 168 /* Treat the bytes at BUF as a pointer of type TYPE, and return the
 169    address it represents.  */
 170 CORE_ADDR
 171 extract_typed_address (const gdb_byte *buf, struct type *type)
 172 {
 173   if (TYPE_CODE (type) != TYPE_CODE_PTR
 174       && TYPE_CODE (type) != TYPE_CODE_REF)
 175     internal_error (__FILE__, __LINE__,
 176                     _("extract_typed_address: "
 177                     "type is not a pointer or reference"));
 178
 179   return gdbarch_pointer_to_address (get_type_arch (type), type, buf);
 180 }
 181
 182 /* All 'store' functions accept a host-format integer and store a
 183    target-format integer at ADDR which is LEN bytes long.  */
 184
 185 void
 186 store_signed_integer (gdb_byte *addr, int len,
 187                       enum bfd_endian byte_order, LONGEST val)
 188 {
 189   gdb_byte *p;
 190   gdb_byte *startaddr = addr;
 191   gdb_byte *endaddr = startaddr + len;
 192
 193   /* Start at the least significant end of the integer, and work towards
 194      the most significant.  */
 195   if (byte_order == BFD_ENDIAN_BIG)
 196     {
 197       for (p = endaddr - 1; p >= startaddr; --p)
 198         {
 199           *p = val & 0xff;
 200           val >>= 8;
 201         }
 202     }
 203   else
 204     {
 205       for (p = startaddr; p < endaddr; ++p)
 206         {
 207           *p = val & 0xff;
 208           val >>= 8;
 209         }
 210     }
 211 }
 212
 213 void
 214 store_unsigned_integer (gdb_byte *addr, int len,
 215                         enum bfd_endian byte_order, ULONGEST val)
 216 {
 217   unsigned char *p;
 218   unsigned char *startaddr = (unsigned char *) addr;
 219   unsigned char *endaddr = startaddr + len;
 220
 221   /* Start at the least significant end of the integer, and work towards
 222      the most significant.  */
 223   if (byte_order == BFD_ENDIAN_BIG)
 224     {
 225       for (p = endaddr - 1; p >= startaddr; --p)
 226         {
 227           *p = val & 0xff;
 228           val >>= 8;
 229         }
 230     }
 231   else
 232     {
 233       for (p = startaddr; p < endaddr; ++p)
 234         {
 235           *p = val & 0xff;
 236           val >>= 8;
 237         }
 238     }
 239 }
 240
 241 /* Store the address ADDR as a pointer of type TYPE at BUF, in target
 242    form.  */
 243 void
 244 store_typed_address (gdb_byte *buf, struct type *type, CORE_ADDR addr)
 245 {
 246   if (TYPE_CODE (type) != TYPE_CODE_PTR
 247       && TYPE_CODE (type) != TYPE_CODE_REF)
 248     internal_error (__FILE__, __LINE__,
 249                     _("store_typed_address: "
 250                     "type is not a pointer or reference"));
 251
 252   gdbarch_address_to_pointer (get_type_arch (type), type, buf, addr);
 253 }
 254
 255
 256
 257 /* Return a `value' with the contents of (virtual or cooked) register
 258    REGNUM as found in the specified FRAME.  The register's type is
 259    determined by register_type().  */
 260
 261 struct value *
 262 value_of_register (int regnum, struct frame_info *frame)
 263 {
 264   struct gdbarch *gdbarch = get_frame_arch (frame);
 265   CORE_ADDR addr;
 266   int optim;
 267   int unavail;
 268   struct value *reg_val;
 269   struct type *reg_type;
 270   int realnum;
 271   gdb_byte raw_buffer[MAX_REGISTER_SIZE];
 272   enum lval_type lval;
 273
 274   /* User registers lie completely outside of the range of normal
 275      registers.  Catch them early so that the target never sees them.  */
 276   if (regnum >= gdbarch_num_regs (gdbarch)
 277                 + gdbarch_num_pseudo_regs (gdbarch))
 278     return value_of_user_reg (regnum, frame);
 279
 280   frame_register (frame, regnum, &optim, &unavail,
 281                   &lval, &addr, &realnum, raw_buffer);
 282
 283   reg_type = register_type (gdbarch, regnum);
 284   if (optim)
 285     reg_val = allocate_optimized_out_value (reg_type);
 286   else
 287     reg_val = allocate_value (reg_type);
 288
 289   if (!optim && !unavail)
 290     memcpy (value_contents_raw (reg_val), raw_buffer,
 291             register_size (gdbarch, regnum));
 292   else
 293     memset (value_contents_raw (reg_val), 0,
 294             register_size (gdbarch, regnum));
 295
 296   VALUE_LVAL (reg_val) = lval;
 297   set_value_address (reg_val, addr);
 298   VALUE_REGNUM (reg_val) = regnum;
 299   if (unavail)
 300     mark_value_bytes_unavailable (reg_val, 0, register_size (gdbarch, regnum));
 301   VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
 302   return reg_val;
 303 }
 304
 305 /* Return a `value' with the contents of (virtual or cooked) register
 306    REGNUM as found in the specified FRAME.  The register's type is
 307    determined by register_type().  The value is not fetched.  */
 308
 309 struct value *
 310 value_of_register_lazy (struct frame_info *frame, int regnum)
 311 {
 312   struct gdbarch *gdbarch = get_frame_arch (frame);
 313   struct value *reg_val;
 314
 315   gdb_assert (regnum < (gdbarch_num_regs (gdbarch)
 316                         + gdbarch_num_pseudo_regs (gdbarch)));
 317
 318   /* We should have a valid (i.e. non-sentinel) frame.  */
 319   gdb_assert (frame_id_p (get_frame_id (frame)));
 320
 321   reg_val = allocate_value_lazy (register_type (gdbarch, regnum));
 322   VALUE_LVAL (reg_val) = lval_register;
 323   VALUE_REGNUM (reg_val) = regnum;
 324   VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
 325   return reg_val;
 326 }
 327
 328 /* Given a pointer of type TYPE in target form in BUF, return the
 329    address it represents.  */
 330 CORE_ADDR
 331 unsigned_pointer_to_address (struct gdbarch *gdbarch,
 332                              struct type *type, const gdb_byte *buf)
 333 {
 334   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 335
 336   return extract_unsigned_integer (buf, TYPE_LENGTH (type), byte_order);
 337 }
 338
 339 CORE_ADDR
 340 signed_pointer_to_address (struct gdbarch *gdbarch,
 341                            struct type *type, const gdb_byte *buf)
 342 {
 343   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 344
 345   return extract_signed_integer (buf, TYPE_LENGTH (type), byte_order);
 346 }
 347
 348 /* Given an address, store it as a pointer of type TYPE in target
 349    format in BUF.  */
 350 void
 351 unsigned_address_to_pointer (struct gdbarch *gdbarch, struct type *type,
 352                              gdb_byte *buf, CORE_ADDR addr)
 353 {
 354   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 355
 356   store_unsigned_integer (buf, TYPE_LENGTH (type), byte_order, addr);
 357 }
 358
 359 void
 360 address_to_signed_pointer (struct gdbarch *gdbarch, struct type *type,
 361                            gdb_byte *buf, CORE_ADDR addr)
 362 {
 363   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 364
 365   store_signed_integer (buf, TYPE_LENGTH (type), byte_order, addr);
 366 }
 367 \f
 368 /* Will calling read_var_value or locate_var_value on SYM end
 369    up caring what frame it is being evaluated relative to?  SYM must
 370    be non-NULL.  */
 371 int
 372 symbol_read_needs_frame (struct symbol *sym)
 373 {
 374   if (SYMBOL_COMPUTED_OPS (sym) != NULL)
 375     return SYMBOL_COMPUTED_OPS (sym)->read_needs_frame (sym);
 376
 377   switch (SYMBOL_CLASS (sym))
 378     {
 379       /* All cases listed explicitly so that gcc -Wall will detect it if
 380          we failed to consider one.  */
 381     case LOC_COMPUTED:
 382       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 383
 384     case LOC_REGISTER:
 385     case LOC_ARG:
 386     case LOC_REF_ARG:
 387     case LOC_REGPARM_ADDR:
 388     case LOC_LOCAL:
 389       return 1;
 390
 391     case LOC_UNDEF:
 392     case LOC_CONST:
 393     case LOC_STATIC:
 394     case LOC_TYPEDEF:
 395
 396     case LOC_LABEL:
 397       /* Getting the address of a label can be done independently of the block,
 398          even if some *uses* of that address wouldn't work so well without
 399          the right frame.  */
 400
 401     case LOC_BLOCK:
 402     case LOC_CONST_BYTES:
 403     case LOC_UNRESOLVED:
 404     case LOC_OPTIMIZED_OUT:
 405       return 0;
 406     }
 407   return 1;
 408 }
 409
 410 /* Private data to be used with minsym_lookup_iterator_cb.  */
 411
 412 struct minsym_lookup_data
 413 {
 414   /* The name of the minimal symbol we are searching for.  */
 415   const char *name;
 416
 417   /* The field where the callback should store the minimal symbol
 418      if found.  It should be initialized to NULL before the search
 419      is started.  */
 420   struct minimal_symbol *result;
 421
 422   /* The objfile in which the symbol was found.  */
 423   struct objfile *objfile;
 424 };
 425
 426 /* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
 427    It searches by name for a minimal symbol within the given OBJFILE.
 428    The arguments are passed via CB_DATA, which in reality is a pointer
 429    to struct minsym_lookup_data.  */
 430
 431 static int
 432 minsym_lookup_iterator_cb (struct objfile *objfile, void *cb_data)
 433 {
 434   struct minsym_lookup_data *data = (struct minsym_lookup_data *) cb_data;
 435
 436   gdb_assert (data->result == NULL);
 437
 438   data->result = lookup_minimal_symbol (data->name, NULL, objfile);
 439   data->objfile = objfile;
 440
 441   /* The iterator should stop iff a match was found.  */
 442   return (data->result != NULL);
 443 }
 444
 445 /* A default implementation for the "la_read_var_value" hook in
 446    the language vector which should work in most situations.  */
 447
 448 struct value *
 449 default_read_var_value (struct symbol *var, struct frame_info *frame)
 450 {
 451   struct value *v;
 452   struct type *type = SYMBOL_TYPE (var);
 453   CORE_ADDR addr;
 454
 455   /* Call check_typedef on our type to make sure that, if TYPE is
 456      a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
 457      instead of zero.  However, we do not replace the typedef type by the
 458      target type, because we want to keep the typedef in order to be able to
 459      set the returned value type description correctly.  */
 460   check_typedef (type);
 461
 462   if (symbol_read_needs_frame (var))
 463     gdb_assert (frame);
 464
 465   if (SYMBOL_COMPUTED_OPS (var) != NULL)
 466     return SYMBOL_COMPUTED_OPS (var)->read_variable (var, frame);
 467
 468   switch (SYMBOL_CLASS (var))
 469     {
 470     case LOC_CONST:
 471       /* Put the constant back in target format.  */
 472       v = allocate_value (type);
 473       store_signed_integer (value_contents_raw (v), TYPE_LENGTH (type),
 474                             gdbarch_byte_order (get_type_arch (type)),
 475                             (LONGEST) SYMBOL_VALUE (var));
 476       VALUE_LVAL (v) = not_lval;
 477       return v;
 478
 479     case LOC_LABEL:
 480       /* Put the constant back in target format.  */
 481       v = allocate_value (type);
 482       if (overlay_debugging)
 483         {
 484           CORE_ADDR addr
 485             = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 486                                         SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 487                                                             var));
 488
 489           store_typed_address (value_contents_raw (v), type, addr);
 490         }
 491       else
 492         store_typed_address (value_contents_raw (v), type,
 493                               SYMBOL_VALUE_ADDRESS (var));
 494       VALUE_LVAL (v) = not_lval;
 495       return v;
 496
 497     case LOC_CONST_BYTES:
 498       v = allocate_value (type);
 499       memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var),
 500               TYPE_LENGTH (type));
 501       VALUE_LVAL (v) = not_lval;
 502       return v;
 503
 504     case LOC_STATIC:
 505       if (overlay_debugging)
 506         addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 507                                          SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 508                                                              var));
 509       else
 510         addr = SYMBOL_VALUE_ADDRESS (var);
 511       break;
 512
 513     case LOC_ARG:
 514       addr = get_frame_args_address (frame);
 515       if (!addr)
 516         error (_("Unknown argument list address for `%s'."),
 517                SYMBOL_PRINT_NAME (var));
 518       addr += SYMBOL_VALUE (var);
 519       break;
 520
 521     case LOC_REF_ARG:
 522       {
 523         struct value *ref;
 524         CORE_ADDR argref;
 525
 526         argref = get_frame_args_address (frame);
 527         if (!argref)
 528           error (_("Unknown argument list address for `%s'."),
 529                  SYMBOL_PRINT_NAME (var));
 530         argref += SYMBOL_VALUE (var);
 531         ref = value_at (lookup_pointer_type (type), argref);
 532         addr = value_as_address (ref);
 533         break;
 534       }
 535
 536     case LOC_LOCAL:
 537       addr = get_frame_locals_address (frame);
 538       addr += SYMBOL_VALUE (var);
 539       break;
 540
 541     case LOC_TYPEDEF:
 542       error (_("Cannot look up value of a typedef `%s'."),
 543              SYMBOL_PRINT_NAME (var));
 544       break;
 545
 546     case LOC_BLOCK:
 547       if (overlay_debugging)
 548         addr = symbol_overlayed_address
 549           (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 550                                                                        var));
 551       else
 552         addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
 553       break;
 554
 555     case LOC_REGISTER:
 556     case LOC_REGPARM_ADDR:
 557       {
 558         int regno = SYMBOL_REGISTER_OPS (var)
 559                       ->register_number (var, get_frame_arch (frame));
 560         struct value *regval;
 561
 562         if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
 563           {
 564             regval = value_from_register (lookup_pointer_type (type),
 565                                           regno,
 566                                           frame);
 567
 568             if (regval == NULL)
 569               error (_("Value of register variable not available for `%s'."),
 570                      SYMBOL_PRINT_NAME (var));
 571
 572             addr = value_as_address (regval);
 573           }
 574         else
 575           {
 576             regval = value_from_register (type, regno, frame);
 577
 578             if (regval == NULL)
 579               error (_("Value of register variable not available for `%s'."),
 580                      SYMBOL_PRINT_NAME (var));
 581             return regval;
 582           }
 583       }
 584       break;
 585
 586     case LOC_COMPUTED:
 587       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 588
 589     case LOC_UNRESOLVED:
 590       {
 591         struct minsym_lookup_data lookup_data;
 592         struct minimal_symbol *msym;
 593         struct obj_section *obj_section;
 594
 595         memset (&lookup_data, 0, sizeof (lookup_data));
 596         lookup_data.name = SYMBOL_LINKAGE_NAME (var);
 597
 598         gdbarch_iterate_over_objfiles_in_search_order
 599           (get_objfile_arch (SYMBOL_SYMTAB (var)->objfile),
 600            minsym_lookup_iterator_cb, &lookup_data,
 601            SYMBOL_SYMTAB (var)->objfile);
 602         msym = lookup_data.result;
 603
 604         if (msym == NULL)
 605           error (_("No global symbol \"%s\"."), SYMBOL_LINKAGE_NAME (var));
 606         if (overlay_debugging)
 607           addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (msym),
 608                                            SYMBOL_OBJ_SECTION (lookup_data.objfile,
 609                                                                msym));
 610         else
 611           addr = SYMBOL_VALUE_ADDRESS (msym);
 612
 613         obj_section = SYMBOL_OBJ_SECTION (lookup_data.objfile, msym);
 614         if (obj_section
 615             && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
 616           addr = target_translate_tls_address (obj_section->objfile, addr);
 617       }
 618       break;
 619
 620     case LOC_OPTIMIZED_OUT:
 621       return allocate_optimized_out_value (type);
 622
 623     default:
 624       error (_("Cannot look up value of a botched symbol `%s'."),
 625              SYMBOL_PRINT_NAME (var));
 626       break;
 627     }
 628
 629   v = value_at_lazy (type, addr);
 630   return v;
 631 }
 632
 633 /* Calls VAR's language la_read_var_value hook with the given arguments.  */
 634
 635 struct value *
 636 read_var_value (struct symbol *var, struct frame_info *frame)
 637 {
 638   const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
 639
 640   gdb_assert (lang != NULL);
 641   gdb_assert (lang->la_read_var_value != NULL);
 642
 643   return lang->la_read_var_value (var, frame);
 644 }
 645
 646 /* Install default attributes for register values.  */
 647
 648 struct value *
 649 default_value_from_register (struct type *type, int regnum,
 650                              struct frame_info *frame)
 651 {
 652   struct gdbarch *gdbarch = get_frame_arch (frame);
 653   int len = TYPE_LENGTH (type);
 654   struct value *value = allocate_value (type);
 655
 656   VALUE_LVAL (value) = lval_register;
 657   VALUE_FRAME_ID (value) = get_frame_id (frame);
 658   VALUE_REGNUM (value) = regnum;
 659
 660   /* Any structure stored in more than one register will always be
 661      an integral number of registers.  Otherwise, you need to do
 662      some fiddling with the last register copied here for little
 663      endian machines.  */
 664   if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
 665       && len < register_size (gdbarch, regnum))
 666     /* Big-endian, and we want less than full size.  */
 667     set_value_offset (value, register_size (gdbarch, regnum) - len);
 668   else
 669     set_value_offset (value, 0);
 670
 671   return value;
 672 }
 673
 674 /* VALUE must be an lval_register value.  If regnum is the value's
 675    associated register number, and len the length of the values type,
 676    read one or more registers in FRAME, starting with register REGNUM,
 677    until we've read LEN bytes.
 678
 679    If any of the registers we try to read are optimized out, then mark the
 680    complete resulting value as optimized out.  */
 681
 682 void
 683 read_frame_register_value (struct value *value, struct frame_info *frame)
 684 {
 685   struct gdbarch *gdbarch = get_frame_arch (frame);
 686   int offset = 0;
 687   int reg_offset = value_offset (value);
 688   int regnum = VALUE_REGNUM (value);
 689   int len = TYPE_LENGTH (check_typedef (value_type (value)));
 690
 691   gdb_assert (VALUE_LVAL (value) == lval_register);
 692
 693   /* Skip registers wholly inside of REG_OFFSET.  */
 694   while (reg_offset >= register_size (gdbarch, regnum))
 695     {
 696       reg_offset -= register_size (gdbarch, regnum);
 697       regnum++;
 698     }
 699
 700   /* Copy the data.  */
 701   while (len > 0)
 702     {
 703       struct value *regval = get_frame_register_value (frame, regnum);
 704       int reg_len = TYPE_LENGTH (value_type (regval)) - reg_offset;
 705
 706       if (value_optimized_out (regval))
 707         {
 708           set_value_optimized_out (value, 1);
 709           break;
 710         }
 711
 712       /* If the register length is larger than the number of bytes
 713          remaining to copy, then only copy the appropriate bytes.  */
 714       if (reg_len > len)
 715         reg_len = len;
 716
 717       value_contents_copy (value, offset, regval, reg_offset, reg_len);
 718
 719       offset += reg_len;
 720       len -= reg_len;
 721       reg_offset = 0;
 722       regnum++;
 723     }
 724 }
 725
 726 /* Return a value of type TYPE, stored in register REGNUM, in frame FRAME.  */
 727
 728 struct value *
 729 value_from_register (struct type *type, int regnum, struct frame_info *frame)
 730 {
 731   struct gdbarch *gdbarch = get_frame_arch (frame);
 732   struct type *type1 = check_typedef (type);
 733   struct value *v;
 734
 735   if (gdbarch_convert_register_p (gdbarch, regnum, type1))
 736     {
 737       int optim, unavail, ok;
 738
 739       /* The ISA/ABI need to something weird when obtaining the
 740          specified value from this register.  It might need to
 741          re-order non-adjacent, starting with REGNUM (see MIPS and
 742          i386).  It might need to convert the [float] register into
 743          the corresponding [integer] type (see Alpha).  The assumption
 744          is that gdbarch_register_to_value populates the entire value
 745          including the location.  */
 746       v = allocate_value (type);
 747       VALUE_LVAL (v) = lval_register;
 748       VALUE_FRAME_ID (v) = get_frame_id (frame);
 749       VALUE_REGNUM (v) = regnum;
 750       ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
 751                                       value_contents_raw (v), &optim,
 752                                       &unavail);
 753
 754       if (!ok)
 755         {
 756           if (optim)
 757             set_value_optimized_out (v, 1);
 758           if (unavail)
 759             mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
 760         }
 761     }
 762   else
 763     {
 764       /* Construct the value.  */
 765       v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
 766
 767       /* Get the data.  */
 768       read_frame_register_value (v, frame);
 769     }
 770
 771   return v;
 772 }
 773
 774 /* Return contents of register REGNUM in frame FRAME as address,
 775    interpreted as value of type TYPE.   Will abort if register
 776    value is not available.  */
 777
 778 CORE_ADDR
 779 address_from_register (struct type *type, int regnum, struct frame_info *frame)
 780 {
 781   struct value *value;
 782   CORE_ADDR result;
 783
 784   value = value_from_register (type, regnum, frame);
 785   gdb_assert (value);
 786
 787   result = value_as_address (value);
 788   release_value (value);
 789   value_free (value);
 790
 791   return result;
 792 }
 793