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   /* The objfile in which the symbol was found.  */
 419   struct objfile *objfile;
 420 };
 421
 422 /* A callback function for gdbarch_iterate_over_objfiles_in_search_order.
 423    It searches by name for a minimal symbol within the given OBJFILE.
 424    The arguments are passed via CB_DATA, which in reality is a pointer
 425    to struct minsym_lookup_data.  */
 426
 427 static int
 428 minsym_lookup_iterator_cb (struct objfile *objfile, void *cb_data)
 429 {
 430   struct minsym_lookup_data *data = (struct minsym_lookup_data *) cb_data;
 431
 432   gdb_assert (data->result == NULL);
 433
 434   data->result = lookup_minimal_symbol (data->name, NULL, objfile);
 435   data->objfile = objfile;
 436
 437   /* The iterator should stop iff a match was found.  */
 438   return (data->result != NULL);
 439 }
 440
 441 /* A default implementation for the "la_read_var_value" hook in
 442    the language vector which should work in most situations.  */
 443
 444 struct value *
 445 default_read_var_value (struct symbol *var, struct frame_info *frame)
 446 {
 447   struct value *v;
 448   struct type *type = SYMBOL_TYPE (var);
 449   CORE_ADDR addr;
 450
 451   /* Call check_typedef on our type to make sure that, if TYPE is
 452      a TYPE_CODE_TYPEDEF, its length is set to the length of the target type
 453      instead of zero.  However, we do not replace the typedef type by the
 454      target type, because we want to keep the typedef in order to be able to
 455      set the returned value type description correctly.  */
 456   check_typedef (type);
 457
 458   if (symbol_read_needs_frame (var))
 459     gdb_assert (frame);
 460
 461   if (SYMBOL_COMPUTED_OPS (var) != NULL)
 462     return SYMBOL_COMPUTED_OPS (var)->read_variable (var, frame);
 463
 464   switch (SYMBOL_CLASS (var))
 465     {
 466     case LOC_CONST:
 467       /* Put the constant back in target format.  */
 468       v = allocate_value (type);
 469       store_signed_integer (value_contents_raw (v), TYPE_LENGTH (type),
 470                             gdbarch_byte_order (get_type_arch (type)),
 471                             (LONGEST) SYMBOL_VALUE (var));
 472       VALUE_LVAL (v) = not_lval;
 473       return v;
 474
 475     case LOC_LABEL:
 476       /* Put the constant back in target format.  */
 477       v = allocate_value (type);
 478       if (overlay_debugging)
 479         {
 480           CORE_ADDR addr
 481             = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 482                                         SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 483                                                             var));
 484
 485           store_typed_address (value_contents_raw (v), type, addr);
 486         }
 487       else
 488         store_typed_address (value_contents_raw (v), type,
 489                               SYMBOL_VALUE_ADDRESS (var));
 490       VALUE_LVAL (v) = not_lval;
 491       return v;
 492
 493     case LOC_CONST_BYTES:
 494       v = allocate_value (type);
 495       memcpy (value_contents_raw (v), SYMBOL_VALUE_BYTES (var),
 496               TYPE_LENGTH (type));
 497       VALUE_LVAL (v) = not_lval;
 498       return v;
 499
 500     case LOC_STATIC:
 501       v = allocate_value_lazy (type);
 502       if (overlay_debugging)
 503         addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 504                                          SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 505                                                              var));
 506       else
 507         addr = SYMBOL_VALUE_ADDRESS (var);
 508       break;
 509
 510     case LOC_ARG:
 511       addr = get_frame_args_address (frame);
 512       if (!addr)
 513         error (_("Unknown argument list address for `%s'."),
 514                SYMBOL_PRINT_NAME (var));
 515       addr += SYMBOL_VALUE (var);
 516       v = allocate_value_lazy (type);
 517       break;
 518
 519     case LOC_REF_ARG:
 520       {
 521         struct value *ref;
 522         CORE_ADDR argref;
 523
 524         argref = get_frame_args_address (frame);
 525         if (!argref)
 526           error (_("Unknown argument list address for `%s'."),
 527                  SYMBOL_PRINT_NAME (var));
 528         argref += SYMBOL_VALUE (var);
 529         ref = value_at (lookup_pointer_type (type), argref);
 530         addr = value_as_address (ref);
 531         v = allocate_value_lazy (type);
 532         break;
 533       }
 534
 535     case LOC_LOCAL:
 536       addr = get_frame_locals_address (frame);
 537       addr += SYMBOL_VALUE (var);
 538       v = allocate_value_lazy (type);
 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       v = allocate_value_lazy (type);
 548       if (overlay_debugging)
 549         addr = symbol_overlayed_address
 550           (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 551                                                                        var));
 552       else
 553         addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
 554       break;
 555
 556     case LOC_REGISTER:
 557     case LOC_REGPARM_ADDR:
 558       {
 559         int regno = SYMBOL_REGISTER_OPS (var)
 560                       ->register_number (var, get_frame_arch (frame));
 561         struct value *regval;
 562
 563         if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
 564           {
 565             regval = value_from_register (lookup_pointer_type (type),
 566                                           regno,
 567                                           frame);
 568
 569             if (regval == NULL)
 570               error (_("Value of register variable not available for `%s'."),
 571                      SYMBOL_PRINT_NAME (var));
 572
 573             addr = value_as_address (regval);
 574             v = allocate_value_lazy (type);
 575           }
 576         else
 577           {
 578             regval = value_from_register (type, regno, frame);
 579
 580             if (regval == NULL)
 581               error (_("Value of register variable not available for `%s'."),
 582                      SYMBOL_PRINT_NAME (var));
 583             return regval;
 584           }
 585       }
 586       break;
 587
 588     case LOC_COMPUTED:
 589       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 590
 591     case LOC_UNRESOLVED:
 592       {
 593         struct minsym_lookup_data lookup_data;
 594         struct minimal_symbol *msym;
 595         struct obj_section *obj_section;
 596
 597         memset (&lookup_data, 0, sizeof (lookup_data));
 598         lookup_data.name = SYMBOL_LINKAGE_NAME (var);
 599
 600         gdbarch_iterate_over_objfiles_in_search_order
 601           (get_objfile_arch (SYMBOL_SYMTAB (var)->objfile),
 602            minsym_lookup_iterator_cb, &lookup_data,
 603            SYMBOL_SYMTAB (var)->objfile);
 604         msym = lookup_data.result;
 605
 606         if (msym == NULL)
 607           error (_("No global symbol \"%s\"."), SYMBOL_LINKAGE_NAME (var));
 608         if (overlay_debugging)
 609           addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (msym),
 610                                            SYMBOL_OBJ_SECTION (lookup_data.objfile,
 611                                                                msym));
 612         else
 613           addr = SYMBOL_VALUE_ADDRESS (msym);
 614
 615         obj_section = SYMBOL_OBJ_SECTION (lookup_data.objfile, msym);
 616         if (obj_section
 617             && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
 618           addr = target_translate_tls_address (obj_section->objfile, addr);
 619         v = allocate_value_lazy (type);
 620       }
 621       break;
 622
 623     case LOC_OPTIMIZED_OUT:
 624       return allocate_optimized_out_value (type);
 625
 626     default:
 627       error (_("Cannot look up value of a botched symbol `%s'."),
 628              SYMBOL_PRINT_NAME (var));
 629       break;
 630     }
 631
 632   VALUE_LVAL (v) = lval_memory;
 633   set_value_address (v, addr);
 634   return v;
 635 }
 636
 637 /* Calls VAR's language la_read_var_value hook with the given arguments.  */
 638
 639 struct value *
 640 read_var_value (struct symbol *var, struct frame_info *frame)
 641 {
 642   const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
 643
 644   gdb_assert (lang != NULL);
 645   gdb_assert (lang->la_read_var_value != NULL);
 646
 647   return lang->la_read_var_value (var, frame);
 648 }
 649
 650 /* Install default attributes for register values.  */
 651
 652 struct value *
 653 default_value_from_register (struct type *type, int regnum,
 654                              struct frame_info *frame)
 655 {
 656   struct gdbarch *gdbarch = get_frame_arch (frame);
 657   int len = TYPE_LENGTH (type);
 658   struct value *value = allocate_value (type);
 659
 660   VALUE_LVAL (value) = lval_register;
 661   VALUE_FRAME_ID (value) = get_frame_id (frame);
 662   VALUE_REGNUM (value) = regnum;
 663
 664   /* Any structure stored in more than one register will always be
 665      an integral number of registers.  Otherwise, you need to do
 666      some fiddling with the last register copied here for little
 667      endian machines.  */
 668   if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
 669       && len < register_size (gdbarch, regnum))
 670     /* Big-endian, and we want less than full size.  */
 671     set_value_offset (value, register_size (gdbarch, regnum) - len);
 672   else
 673     set_value_offset (value, 0);
 674
 675   return value;
 676 }
 677
 678 /* VALUE must be an lval_register value.  If regnum is the value's
 679    associated register number, and len the length of the values type,
 680    read one or more registers in FRAME, starting with register REGNUM,
 681    until we've read LEN bytes.
 682
 683    If any of the registers we try to read are optimized out, then mark the
 684    complete resulting value as optimized out.  */
 685
 686 void
 687 read_frame_register_value (struct value *value, struct frame_info *frame)
 688 {
 689   struct gdbarch *gdbarch = get_frame_arch (frame);
 690   int offset = 0;
 691   int reg_offset = value_offset (value);
 692   int regnum = VALUE_REGNUM (value);
 693   int len = TYPE_LENGTH (check_typedef (value_type (value)));
 694
 695   gdb_assert (VALUE_LVAL (value) == lval_register);
 696
 697   /* Skip registers wholly inside of REG_OFFSET.  */
 698   while (reg_offset >= register_size (gdbarch, regnum))
 699     {
 700       reg_offset -= register_size (gdbarch, regnum);
 701       regnum++;
 702     }
 703
 704   /* Copy the data.  */
 705   while (len > 0)
 706     {
 707       struct value *regval = get_frame_register_value (frame, regnum);
 708       int reg_len = TYPE_LENGTH (value_type (regval)) - reg_offset;
 709
 710       if (value_optimized_out (regval))
 711         {
 712           set_value_optimized_out (value, 1);
 713           break;
 714         }
 715
 716       /* If the register length is larger than the number of bytes
 717          remaining to copy, then only copy the appropriate bytes.  */
 718       if (reg_len > len)
 719         reg_len = len;
 720
 721       value_contents_copy (value, offset, regval, reg_offset, reg_len);
 722
 723       offset += reg_len;
 724       len -= reg_len;
 725       reg_offset = 0;
 726       regnum++;
 727     }
 728 }
 729
 730 /* Return a value of type TYPE, stored in register REGNUM, in frame FRAME.  */
 731
 732 struct value *
 733 value_from_register (struct type *type, int regnum, struct frame_info *frame)
 734 {
 735   struct gdbarch *gdbarch = get_frame_arch (frame);
 736   struct type *type1 = check_typedef (type);
 737   struct value *v;
 738
 739   if (gdbarch_convert_register_p (gdbarch, regnum, type1))
 740     {
 741       int optim, unavail, ok;
 742
 743       /* The ISA/ABI need to something weird when obtaining the
 744          specified value from this register.  It might need to
 745          re-order non-adjacent, starting with REGNUM (see MIPS and
 746          i386).  It might need to convert the [float] register into
 747          the corresponding [integer] type (see Alpha).  The assumption
 748          is that gdbarch_register_to_value populates the entire value
 749          including the location.  */
 750       v = allocate_value (type);
 751       VALUE_LVAL (v) = lval_register;
 752       VALUE_FRAME_ID (v) = get_frame_id (frame);
 753       VALUE_REGNUM (v) = regnum;
 754       ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
 755                                       value_contents_raw (v), &optim,
 756                                       &unavail);
 757
 758       if (!ok)
 759         {
 760           if (optim)
 761             set_value_optimized_out (v, 1);
 762           if (unavail)
 763             mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
 764         }
 765     }
 766   else
 767     {
 768       /* Construct the value.  */
 769       v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
 770
 771       /* Get the data.  */
 772       read_frame_register_value (v, frame);
 773     }
 774
 775   return v;
 776 }
 777
 778 /* Return contents of register REGNUM in frame FRAME as address,
 779    interpreted as value of type TYPE.   Will abort if register
 780    value is not available.  */
 781
 782 CORE_ADDR
 783 address_from_register (struct type *type, int regnum, struct frame_info *frame)
 784 {
 785   struct value *value;
 786   CORE_ADDR result;
 787
 788   value = value_from_register (type, regnum, frame);
 789   gdb_assert (value);
 790
 791   result = value_as_address (value);
 792   release_value (value);
 793   value_free (value);
 794
 795   return result;
 796 }
 797