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   int realnum;
 270   gdb_byte raw_buffer[MAX_REGISTER_SIZE];
 271   enum lval_type lval;
 272
 273   /* User registers lie completely outside of the range of normal
 274      registers.  Catch them early so that the target never sees them.  */
 275   if (regnum >= gdbarch_num_regs (gdbarch)
 276                 + gdbarch_num_pseudo_regs (gdbarch))
 277     return value_of_user_reg (regnum, frame);
 278
 279   frame_register (frame, regnum, &optim, &unavail,
 280                   &lval, &addr, &realnum, raw_buffer);
 281
 282   reg_val = allocate_value (register_type (gdbarch, regnum));
 283
 284   if (!optim && !unavail)
 285     memcpy (value_contents_raw (reg_val), raw_buffer,
 286             register_size (gdbarch, regnum));
 287   else
 288     memset (value_contents_raw (reg_val), 0,
 289             register_size (gdbarch, regnum));
 290
 291   VALUE_LVAL (reg_val) = lval;
 292   set_value_address (reg_val, addr);
 293   VALUE_REGNUM (reg_val) = regnum;
 294   set_value_optimized_out (reg_val, optim);
 295   if (unavail)
 296     mark_value_bytes_unavailable (reg_val, 0, register_size (gdbarch, regnum));
 297   VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
 298   return reg_val;
 299 }
 300
 301 /* Return a `value' with the contents of (virtual or cooked) register
 302    REGNUM as found in the specified FRAME.  The register's type is
 303    determined by register_type().  The value is not fetched.  */
 304
 305 struct value *
 306 value_of_register_lazy (struct frame_info *frame, int regnum)
 307 {
 308   struct gdbarch *gdbarch = get_frame_arch (frame);
 309   struct value *reg_val;
 310
 311   gdb_assert (regnum < (gdbarch_num_regs (gdbarch)
 312                         + gdbarch_num_pseudo_regs (gdbarch)));
 313
 314   /* We should have a valid (i.e. non-sentinel) frame.  */
 315   gdb_assert (frame_id_p (get_frame_id (frame)));
 316
 317   reg_val = allocate_value_lazy (register_type (gdbarch, regnum));
 318   VALUE_LVAL (reg_val) = lval_register;
 319   VALUE_REGNUM (reg_val) = regnum;
 320   VALUE_FRAME_ID (reg_val) = get_frame_id (frame);
 321   return reg_val;
 322 }
 323
 324 /* Given a pointer of type TYPE in target form in BUF, return the
 325    address it represents.  */
 326 CORE_ADDR
 327 unsigned_pointer_to_address (struct gdbarch *gdbarch,
 328                              struct type *type, const gdb_byte *buf)
 329 {
 330   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 331
 332   return extract_unsigned_integer (buf, TYPE_LENGTH (type), byte_order);
 333 }
 334
 335 CORE_ADDR
 336 signed_pointer_to_address (struct gdbarch *gdbarch,
 337                            struct type *type, const gdb_byte *buf)
 338 {
 339   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 340
 341   return extract_signed_integer (buf, TYPE_LENGTH (type), byte_order);
 342 }
 343
 344 /* Given an address, store it as a pointer of type TYPE in target
 345    format in BUF.  */
 346 void
 347 unsigned_address_to_pointer (struct gdbarch *gdbarch, struct type *type,
 348                              gdb_byte *buf, CORE_ADDR addr)
 349 {
 350   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 351
 352   store_unsigned_integer (buf, TYPE_LENGTH (type), byte_order, addr);
 353 }
 354
 355 void
 356 address_to_signed_pointer (struct gdbarch *gdbarch, struct type *type,
 357                            gdb_byte *buf, CORE_ADDR addr)
 358 {
 359   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
 360
 361   store_signed_integer (buf, TYPE_LENGTH (type), byte_order, addr);
 362 }
 363 \f
 364 /* Will calling read_var_value or locate_var_value on SYM end
 365    up caring what frame it is being evaluated relative to?  SYM must
 366    be non-NULL.  */
 367 int
 368 symbol_read_needs_frame (struct symbol *sym)
 369 {
 370   if (SYMBOL_COMPUTED_OPS (sym) != NULL)
 371     return SYMBOL_COMPUTED_OPS (sym)->read_needs_frame (sym);
 372
 373   switch (SYMBOL_CLASS (sym))
 374     {
 375       /* All cases listed explicitly so that gcc -Wall will detect it if
 376          we failed to consider one.  */
 377     case LOC_COMPUTED:
 378       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 379
 380     case LOC_REGISTER:
 381     case LOC_ARG:
 382     case LOC_REF_ARG:
 383     case LOC_REGPARM_ADDR:
 384     case LOC_LOCAL:
 385       return 1;
 386
 387     case LOC_UNDEF:
 388     case LOC_CONST:
 389     case LOC_STATIC:
 390     case LOC_TYPEDEF:
 391
 392     case LOC_LABEL:
 393       /* Getting the address of a label can be done independently of the block,
 394          even if some *uses* of that address wouldn't work so well without
 395          the right frame.  */
 396
 397     case LOC_BLOCK:
 398     case LOC_CONST_BYTES:
 399     case LOC_UNRESOLVED:
 400     case LOC_OPTIMIZED_OUT:
 401       return 0;
 402     }
 403   return 1;
 404 }
 405
 406 /* Private data to be used with minsym_lookup_iterator_cb.  */
 407
 408 struct minsym_lookup_data
 409 {
 410   /* The name of the minimal symbol we are searching for.  */
 411   const char *name;
 412
 413   /* The field where the callback should store the minimal symbol
 414      if found.  It should be initialized to NULL before the search
 415      is started.  */
 416   struct minimal_symbol *result;
 417 };
 418
 419 /* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
 420    It searches by name for a minimal symbol within the given OBJFILE.
 421    The arguments are passed via CB_DATA, which in reality is a pointer
 422    to struct minsym_lookup_data.  */
 423
 424 static int
 425 minsym_lookup_iterator_cb (struct objfile *objfile, void *cb_data)
 426 {
 427   struct minsym_lookup_data *data = (struct minsym_lookup_data *) cb_data;
 428
 429   gdb_assert (data->result == NULL);
 430
 431   data->result = lookup_minimal_symbol (data->name, NULL, objfile);
 432
 433   /* The iterator should stop iff a match was found.  */
 434   return (data->result != NULL);
 435 }
 436
 437 /* A default implementation for the "la_read_var_value" hook in
 438    the language vector which should work in most situations.  */
 439
 440 struct value *
 441 default_read_var_value (struct symbol *var, struct frame_info *frame)
 442 {
 443   struct value *v;
 444   struct type *type = SYMBOL_TYPE (var);
 445   CORE_ADDR addr;
 446
 447   /* Call check_typedef on our type to make sure that, if TYPE is
 448      a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
 449      instead of zero.  However, we do not replace the typedef type by the
 450      target type, because we want to keep the typedef in order to be able to
 451      set the returned value type description correctly.  */
 452   check_typedef (type);
 453
 454   if (symbol_read_needs_frame (var))
 455     gdb_assert (frame);
 456
 457   if (SYMBOL_COMPUTED_OPS (var) != NULL)
 458     return SYMBOL_COMPUTED_OPS (var)->read_variable (var, frame);
 459
 460   switch (SYMBOL_CLASS (var))
 461     {
 462     case LOC_CONST:
 463       /* Put the constant back in target format.  */
 464       v = allocate_value (type);
 465       store_signed_integer (value_contents_raw (v), TYPE_LENGTH (type),
 466                             gdbarch_byte_order (get_type_arch (type)),
 467                             (LONGEST) SYMBOL_VALUE (var));
 468       VALUE_LVAL (v) = not_lval;
 469       return v;
 470
 471     case LOC_LABEL:
 472       /* Put the constant back in target format.  */
 473       v = allocate_value (type);
 474       if (overlay_debugging)
 475         {
 476           CORE_ADDR addr
 477             = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 478                                         SYMBOL_OBJ_SECTION (var));
 479
 480           store_typed_address (value_contents_raw (v), type, addr);
 481         }
 482       else
 483         store_typed_address (value_contents_raw (v), type,
 484                               SYMBOL_VALUE_ADDRESS (var));
 485       VALUE_LVAL (v) = not_lval;
 486       return v;
 487
 488     case LOC_CONST_BYTES:
 489       v = allocate_value (type);
 490       memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var),
 491               TYPE_LENGTH (type));
 492       VALUE_LVAL (v) = not_lval;
 493       return v;
 494
 495     case LOC_STATIC:
 496       v = allocate_value_lazy (type);
 497       if (overlay_debugging)
 498         addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 499                                          SYMBOL_OBJ_SECTION (var));
 500       else
 501         addr = SYMBOL_VALUE_ADDRESS (var);
 502       break;
 503
 504     case LOC_ARG:
 505       addr = get_frame_args_address (frame);
 506       if (!addr)
 507         error (_("Unknown argument list address for `%s'."),
 508                SYMBOL_PRINT_NAME (var));
 509       addr += SYMBOL_VALUE (var);
 510       v = allocate_value_lazy (type);
 511       break;
 512
 513     case LOC_REF_ARG:
 514       {
 515         struct value *ref;
 516         CORE_ADDR argref;
 517
 518         argref = get_frame_args_address (frame);
 519         if (!argref)
 520           error (_("Unknown argument list address for `%s'."),
 521                  SYMBOL_PRINT_NAME (var));
 522         argref += SYMBOL_VALUE (var);
 523         ref = value_at (lookup_pointer_type (type), argref);
 524         addr = value_as_address (ref);
 525         v = allocate_value_lazy (type);
 526         break;
 527       }
 528
 529     case LOC_LOCAL:
 530       addr = get_frame_locals_address (frame);
 531       addr += SYMBOL_VALUE (var);
 532       v = allocate_value_lazy (type);
 533       break;
 534
 535     case LOC_TYPEDEF:
 536       error (_("Cannot look up value of a typedef `%s'."),
 537              SYMBOL_PRINT_NAME (var));
 538       break;
 539
 540     case LOC_BLOCK:
 541       v = allocate_value_lazy (type);
 542       if (overlay_debugging)
 543         addr = symbol_overlayed_address
 544           (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_OBJ_SECTION (var));
 545       else
 546         addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
 547       break;
 548
 549     case LOC_REGISTER:
 550     case LOC_REGPARM_ADDR:
 551       {
 552         int regno = SYMBOL_REGISTER_OPS (var)
 553                       ->register_number (var, get_frame_arch (frame));
 554         struct value *regval;
 555
 556         if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
 557           {
 558             regval = value_from_register (lookup_pointer_type (type),
 559                                           regno,
 560                                           frame);
 561
 562             if (regval == NULL)
 563               error (_("Value of register variable not available for `%s'."),
 564                      SYMBOL_PRINT_NAME (var));
 565
 566             addr = value_as_address (regval);
 567             v = allocate_value_lazy (type);
 568           }
 569         else
 570           {
 571             regval = value_from_register (type, regno, frame);
 572
 573             if (regval == NULL)
 574               error (_("Value of register variable not available for `%s'."),
 575                      SYMBOL_PRINT_NAME (var));
 576             return regval;
 577           }
 578       }
 579       break;
 580
 581     case LOC_COMPUTED:
 582       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 583
 584     case LOC_UNRESOLVED:
 585       {
 586         struct minsym_lookup_data lookup_data;
 587         struct minimal_symbol *msym;
 588         struct obj_section *obj_section;
 589
 590         memset (&lookup_data, 0, sizeof (lookup_data));
 591         lookup_data.name = SYMBOL_LINKAGE_NAME (var);
 592
 593         gdbarch_iterate_over_objfiles_in_search_order
 594           (get_objfile_arch (SYMBOL_SYMTAB (var)->objfile),
 595            minsym_lookup_iterator_cb, &lookup_data,
 596            SYMBOL_SYMTAB (var)->objfile);
 597         msym = lookup_data.result;
 598
 599         if (msym == NULL)
 600           error (_("No global symbol \"%s\"."), SYMBOL_LINKAGE_NAME (var));
 601         if (overlay_debugging)
 602           addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (msym),
 603                                            SYMBOL_OBJ_SECTION (msym));
 604         else
 605           addr = SYMBOL_VALUE_ADDRESS (msym);
 606
 607         obj_section = SYMBOL_OBJ_SECTION (msym);
 608         if (obj_section
 609             && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
 610           addr = target_translate_tls_address (obj_section->objfile, addr);
 611         v = allocate_value_lazy (type);
 612       }
 613       break;
 614
 615     case LOC_OPTIMIZED_OUT:
 616       return allocate_optimized_out_value (type);
 617
 618     default:
 619       error (_("Cannot look up value of a botched symbol `%s'."),
 620              SYMBOL_PRINT_NAME (var));
 621       break;
 622     }
 623
 624   VALUE_LVAL (v) = lval_memory;
 625   set_value_address (v, addr);
 626   return v;
 627 }
 628
 629 /* Calls VAR's language la_read_var_value hook with the given arguments.  */
 630
 631 struct value *
 632 read_var_value (struct symbol *var, struct frame_info *frame)
 633 {
 634   const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
 635
 636   gdb_assert (lang != NULL);
 637   gdb_assert (lang->la_read_var_value != NULL);
 638
 639   return lang->la_read_var_value (var, frame);
 640 }
 641
 642 /* Install default attributes for register values.  */
 643
 644 struct value *
 645 default_value_from_register (struct type *type, int regnum,
 646                              struct frame_info *frame)
 647 {
 648   struct gdbarch *gdbarch = get_frame_arch (frame);
 649   int len = TYPE_LENGTH (type);
 650   struct value *value = allocate_value (type);
 651
 652   VALUE_LVAL (value) = lval_register;
 653   VALUE_FRAME_ID (value) = get_frame_id (frame);
 654   VALUE_REGNUM (value) = regnum;
 655
 656   /* Any structure stored in more than one register will always be
 657      an integral number of registers.  Otherwise, you need to do
 658      some fiddling with the last register copied here for little
 659      endian machines.  */
 660   if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
 661       && len < register_size (gdbarch, regnum))
 662     /* Big-endian, and we want less than full size.  */
 663     set_value_offset (value, register_size (gdbarch, regnum) - len);
 664   else
 665     set_value_offset (value, 0);
 666
 667   return value;
 668 }
 669
 670 /* VALUE must be an lval_register value.  If regnum is the value's
 671    associated register number, and len the length of the values type,
 672    read one or more registers in FRAME, starting with register REGNUM,
 673    until we've read LEN bytes.
 674
 675    If any of the registers we try to read are optimized out, then mark the
 676    complete resulting value as optimized out.  */
 677
 678 void
 679 read_frame_register_value (struct value *value, struct frame_info *frame)
 680 {
 681   struct gdbarch *gdbarch = get_frame_arch (frame);
 682   int offset = 0;
 683   int reg_offset = value_offset (value);
 684   int regnum = VALUE_REGNUM (value);
 685   int len = TYPE_LENGTH (check_typedef (value_type (value)));
 686
 687   gdb_assert (VALUE_LVAL (value) == lval_register);
 688
 689   /* Skip registers wholly inside of REG_OFFSET.  */
 690   while (reg_offset >= register_size (gdbarch, regnum))
 691     {
 692       reg_offset -= register_size (gdbarch, regnum);
 693       regnum++;
 694     }
 695
 696   /* Copy the data.  */
 697   while (len > 0)
 698     {
 699       struct value *regval = get_frame_register_value (frame, regnum);
 700       int reg_len = TYPE_LENGTH (value_type (regval)) - reg_offset;
 701
 702       if (value_optimized_out (regval))
 703         {
 704           set_value_optimized_out (value, 1);
 705           break;
 706         }
 707
 708       /* If the register length is larger than the number of bytes
 709          remaining to copy, then only copy the appropriate bytes.  */
 710       if (reg_len > len)
 711         reg_len = len;
 712
 713       value_contents_copy (value, offset, regval, reg_offset, reg_len);
 714
 715       offset += reg_len;
 716       len -= reg_len;
 717       reg_offset = 0;
 718       regnum++;
 719     }
 720 }
 721
 722 /* Return a value of type TYPE, stored in register REGNUM, in frame FRAME.  */
 723
 724 struct value *
 725 value_from_register (struct type *type, int regnum, struct frame_info *frame)
 726 {
 727   struct gdbarch *gdbarch = get_frame_arch (frame);
 728   struct type *type1 = check_typedef (type);
 729   struct value *v;
 730
 731   if (gdbarch_convert_register_p (gdbarch, regnum, type1))
 732     {
 733       int optim, unavail, ok;
 734
 735       /* The ISA/ABI need to something weird when obtaining the
 736          specified value from this register.  It might need to
 737          re-order non-adjacent, starting with REGNUM (see MIPS and
 738          i386).  It might need to convert the [float] register into
 739          the corresponding [integer] type (see Alpha).  The assumption
 740          is that gdbarch_register_to_value populates the entire value
 741          including the location.  */
 742       v = allocate_value (type);
 743       VALUE_LVAL (v) = lval_register;
 744       VALUE_FRAME_ID (v) = get_frame_id (frame);
 745       VALUE_REGNUM (v) = regnum;
 746       ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
 747                                       value_contents_raw (v), &optim,
 748                                       &unavail);
 749
 750       if (!ok)
 751         {
 752           if (optim)
 753             set_value_optimized_out (v, 1);
 754           if (unavail)
 755             mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
 756         }
 757     }
 758   else
 759     {
 760       /* Construct the value.  */
 761       v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
 762
 763       /* Get the data.  */
 764       read_frame_register_value (v, frame);
 765     }
 766
 767   return v;
 768 }
 769
 770 /* Return contents of register REGNUM in frame FRAME as address,
 771    interpreted as value of type TYPE.   Will abort if register
 772    value is not available.  */
 773
 774 CORE_ADDR
 775 address_from_register (struct type *type, int regnum, struct frame_info *frame)
 776 {
 777   struct value *value;
 778   CORE_ADDR result;
 779
 780   value = value_from_register (type, regnum, frame);
 781   gdb_assert (value);
 782
 783   result = value_as_address (value);
 784   release_value (value);
 785   value_free (value);
 786
 787   return result;
 788 }
 789