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       v = allocate_value_lazy (type);
 506       if (overlay_debugging)
 507         addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (var),
 508                                          SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 509                                                              var));
 510       else
 511         addr = SYMBOL_VALUE_ADDRESS (var);
 512       break;
 513
 514     case LOC_ARG:
 515       addr = get_frame_args_address (frame);
 516       if (!addr)
 517         error (_("Unknown argument list address for `%s'."),
 518                SYMBOL_PRINT_NAME (var));
 519       addr += SYMBOL_VALUE (var);
 520       v = allocate_value_lazy (type);
 521       break;
 522
 523     case LOC_REF_ARG:
 524       {
 525         struct value *ref;
 526         CORE_ADDR argref;
 527
 528         argref = get_frame_args_address (frame);
 529         if (!argref)
 530           error (_("Unknown argument list address for `%s'."),
 531                  SYMBOL_PRINT_NAME (var));
 532         argref += SYMBOL_VALUE (var);
 533         ref = value_at (lookup_pointer_type (type), argref);
 534         addr = value_as_address (ref);
 535         v = allocate_value_lazy (type);
 536         break;
 537       }
 538
 539     case LOC_LOCAL:
 540       addr = get_frame_locals_address (frame);
 541       addr += SYMBOL_VALUE (var);
 542       v = allocate_value_lazy (type);
 543       break;
 544
 545     case LOC_TYPEDEF:
 546       error (_("Cannot look up value of a typedef `%s'."),
 547              SYMBOL_PRINT_NAME (var));
 548       break;
 549
 550     case LOC_BLOCK:
 551       v = allocate_value_lazy (type);
 552       if (overlay_debugging)
 553         addr = symbol_overlayed_address
 554           (BLOCK_START (SYMBOL_BLOCK_VALUE (var)), SYMBOL_OBJ_SECTION (SYMBOL_OBJFILE (var),
 555                                                                        var));
 556       else
 557         addr = BLOCK_START (SYMBOL_BLOCK_VALUE (var));
 558       break;
 559
 560     case LOC_REGISTER:
 561     case LOC_REGPARM_ADDR:
 562       {
 563         int regno = SYMBOL_REGISTER_OPS (var)
 564                       ->register_number (var, get_frame_arch (frame));
 565         struct value *regval;
 566
 567         if (SYMBOL_CLASS (var) == LOC_REGPARM_ADDR)
 568           {
 569             regval = value_from_register (lookup_pointer_type (type),
 570                                           regno,
 571                                           frame);
 572
 573             if (regval == NULL)
 574               error (_("Value of register variable not available for `%s'."),
 575                      SYMBOL_PRINT_NAME (var));
 576
 577             addr = value_as_address (regval);
 578             v = allocate_value_lazy (type);
 579           }
 580         else
 581           {
 582             regval = value_from_register (type, regno, frame);
 583
 584             if (regval == NULL)
 585               error (_("Value of register variable not available for `%s'."),
 586                      SYMBOL_PRINT_NAME (var));
 587             return regval;
 588           }
 589       }
 590       break;
 591
 592     case LOC_COMPUTED:
 593       gdb_assert_not_reached (_("LOC_COMPUTED variable missing a method"));
 594
 595     case LOC_UNRESOLVED:
 596       {
 597         struct minsym_lookup_data lookup_data;
 598         struct minimal_symbol *msym;
 599         struct obj_section *obj_section;
 600
 601         memset (&lookup_data, 0, sizeof (lookup_data));
 602         lookup_data.name = SYMBOL_LINKAGE_NAME (var);
 603
 604         gdbarch_iterate_over_objfiles_in_search_order
 605           (get_objfile_arch (SYMBOL_SYMTAB (var)->objfile),
 606            minsym_lookup_iterator_cb, &lookup_data,
 607            SYMBOL_SYMTAB (var)->objfile);
 608         msym = lookup_data.result;
 609
 610         if (msym == NULL)
 611           error (_("No global symbol \"%s\"."), SYMBOL_LINKAGE_NAME (var));
 612         if (overlay_debugging)
 613           addr = symbol_overlayed_address (SYMBOL_VALUE_ADDRESS (msym),
 614                                            SYMBOL_OBJ_SECTION (lookup_data.objfile,
 615                                                                msym));
 616         else
 617           addr = SYMBOL_VALUE_ADDRESS (msym);
 618
 619         obj_section = SYMBOL_OBJ_SECTION (lookup_data.objfile, msym);
 620         if (obj_section
 621             && (obj_section->the_bfd_section->flags & SEC_THREAD_LOCAL) != 0)
 622           addr = target_translate_tls_address (obj_section->objfile, addr);
 623         v = allocate_value_lazy (type);
 624       }
 625       break;
 626
 627     case LOC_OPTIMIZED_OUT:
 628       return allocate_optimized_out_value (type);
 629
 630     default:
 631       error (_("Cannot look up value of a botched symbol `%s'."),
 632              SYMBOL_PRINT_NAME (var));
 633       break;
 634     }
 635
 636   VALUE_LVAL (v) = lval_memory;
 637   set_value_address (v, addr);
 638   return v;
 639 }
 640
 641 /* Calls VAR's language la_read_var_value hook with the given arguments.  */
 642
 643 struct value *
 644 read_var_value (struct symbol *var, struct frame_info *frame)
 645 {
 646   const struct language_defn *lang = language_def (SYMBOL_LANGUAGE (var));
 647
 648   gdb_assert (lang != NULL);
 649   gdb_assert (lang->la_read_var_value != NULL);
 650
 651   return lang->la_read_var_value (var, frame);
 652 }
 653
 654 /* Install default attributes for register values.  */
 655
 656 struct value *
 657 default_value_from_register (struct type *type, int regnum,
 658                              struct frame_info *frame)
 659 {
 660   struct gdbarch *gdbarch = get_frame_arch (frame);
 661   int len = TYPE_LENGTH (type);
 662   struct value *value = allocate_value (type);
 663
 664   VALUE_LVAL (value) = lval_register;
 665   VALUE_FRAME_ID (value) = get_frame_id (frame);
 666   VALUE_REGNUM (value) = regnum;
 667
 668   /* Any structure stored in more than one register will always be
 669      an integral number of registers.  Otherwise, you need to do
 670      some fiddling with the last register copied here for little
 671      endian machines.  */
 672   if (gdbarch_byte_order (gdbarch) == BFD_ENDIAN_BIG
 673       && len < register_size (gdbarch, regnum))
 674     /* Big-endian, and we want less than full size.  */
 675     set_value_offset (value, register_size (gdbarch, regnum) - len);
 676   else
 677     set_value_offset (value, 0);
 678
 679   return value;
 680 }
 681
 682 /* VALUE must be an lval_register value.  If regnum is the value's
 683    associated register number, and len the length of the values type,
 684    read one or more registers in FRAME, starting with register REGNUM,
 685    until we've read LEN bytes.
 686
 687    If any of the registers we try to read are optimized out, then mark the
 688    complete resulting value as optimized out.  */
 689
 690 void
 691 read_frame_register_value (struct value *value, struct frame_info *frame)
 692 {
 693   struct gdbarch *gdbarch = get_frame_arch (frame);
 694   int offset = 0;
 695   int reg_offset = value_offset (value);
 696   int regnum = VALUE_REGNUM (value);
 697   int len = TYPE_LENGTH (check_typedef (value_type (value)));
 698
 699   gdb_assert (VALUE_LVAL (value) == lval_register);
 700
 701   /* Skip registers wholly inside of REG_OFFSET.  */
 702   while (reg_offset >= register_size (gdbarch, regnum))
 703     {
 704       reg_offset -= register_size (gdbarch, regnum);
 705       regnum++;
 706     }
 707
 708   /* Copy the data.  */
 709   while (len > 0)
 710     {
 711       struct value *regval = get_frame_register_value (frame, regnum);
 712       int reg_len = TYPE_LENGTH (value_type (regval)) - reg_offset;
 713
 714       if (value_optimized_out (regval))
 715         {
 716           set_value_optimized_out (value, 1);
 717           break;
 718         }
 719
 720       /* If the register length is larger than the number of bytes
 721          remaining to copy, then only copy the appropriate bytes.  */
 722       if (reg_len > len)
 723         reg_len = len;
 724
 725       value_contents_copy (value, offset, regval, reg_offset, reg_len);
 726
 727       offset += reg_len;
 728       len -= reg_len;
 729       reg_offset = 0;
 730       regnum++;
 731     }
 732 }
 733
 734 /* Return a value of type TYPE, stored in register REGNUM, in frame FRAME.  */
 735
 736 struct value *
 737 value_from_register (struct type *type, int regnum, struct frame_info *frame)
 738 {
 739   struct gdbarch *gdbarch = get_frame_arch (frame);
 740   struct type *type1 = check_typedef (type);
 741   struct value *v;
 742
 743   if (gdbarch_convert_register_p (gdbarch, regnum, type1))
 744     {
 745       int optim, unavail, ok;
 746
 747       /* The ISA/ABI need to something weird when obtaining the
 748          specified value from this register.  It might need to
 749          re-order non-adjacent, starting with REGNUM (see MIPS and
 750          i386).  It might need to convert the [float] register into
 751          the corresponding [integer] type (see Alpha).  The assumption
 752          is that gdbarch_register_to_value populates the entire value
 753          including the location.  */
 754       v = allocate_value (type);
 755       VALUE_LVAL (v) = lval_register;
 756       VALUE_FRAME_ID (v) = get_frame_id (frame);
 757       VALUE_REGNUM (v) = regnum;
 758       ok = gdbarch_register_to_value (gdbarch, frame, regnum, type1,
 759                                       value_contents_raw (v), &optim,
 760                                       &unavail);
 761
 762       if (!ok)
 763         {
 764           if (optim)
 765             set_value_optimized_out (v, 1);
 766           if (unavail)
 767             mark_value_bytes_unavailable (v, 0, TYPE_LENGTH (type));
 768         }
 769     }
 770   else
 771     {
 772       /* Construct the value.  */
 773       v = gdbarch_value_from_register (gdbarch, type, regnum, frame);
 774
 775       /* Get the data.  */
 776       read_frame_register_value (v, frame);
 777     }
 778
 779   return v;
 780 }
 781
 782 /* Return contents of register REGNUM in frame FRAME as address,
 783    interpreted as value of type TYPE.   Will abort if register
 784    value is not available.  */
 785
 786 CORE_ADDR
 787 address_from_register (struct type *type, int regnum, struct frame_info *frame)
 788 {
 789   struct value *value;
 790   CORE_ADDR result;
 791
 792   value = value_from_register (type, regnum, frame);
 793   gdb_assert (value);
 794
 795   result = value_as_address (value);
 796   release_value (value);
 797   value_free (value);
 798
 799   return result;
 800 }
 801