gdb/findvar.c

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