hotspot/src/share/vm/runtime/registerMap.hpp
author never
Thu, 03 Apr 2008 10:20:44 -0700
changeset 350 d6d713dd712a
parent 1 489c9b5090e2
child 5547 f4b087cbb361
permissions -rw-r--r--
6619271: The -Xprintflags causes the VM to segv Summary: add null checks Reviewed-by: jrose, kvn
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
489c9b5090e2 Initial load
duke
parents:
diff changeset
     2
 * Copyright 2002-2007 Sun Microsystems, Inc.  All Rights Reserved.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    21
 * have any questions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
489c9b5090e2 Initial load
duke
parents:
diff changeset
    25
class JavaThread;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    26
489c9b5090e2 Initial load
duke
parents:
diff changeset
    27
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    28
// RegisterMap
489c9b5090e2 Initial load
duke
parents:
diff changeset
    29
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    30
// A companion structure used for stack traversal. The RegisterMap contains
489c9b5090e2 Initial load
duke
parents:
diff changeset
    31
// misc. information needed in order to do correct stack traversal of stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
    32
// frames.  Hence, it must always be passed in as an argument to
489c9b5090e2 Initial load
duke
parents:
diff changeset
    33
// frame::sender(RegisterMap*).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    34
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    35
// In particular,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    36
//   1) It provides access to the thread for which the stack belongs.  The
489c9b5090e2 Initial load
duke
parents:
diff changeset
    37
//      thread object is needed in order to get sender of a deoptimized frame.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    38
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    39
//   2) It is used to pass information from a callee frame to its caller
489c9b5090e2 Initial load
duke
parents:
diff changeset
    40
//      frame about how the frame should be traversed.  This is used to let
489c9b5090e2 Initial load
duke
parents:
diff changeset
    41
//      the caller frame take care of calling oops-do of out-going
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
//      arguments, when the callee frame is not instantiated yet.  This
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
//      happens, e.g., when a compiled frame calls into
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
//      resolve_virtual_call.  (Hence, it is critical that the same
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
//      RegisterMap object is used for the entire stack walk.  Normally,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
//      this is hidden by using the StackFrameStream.)  This is used when
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
//      doing follow_oops and oops_do.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    48
//
489c9b5090e2 Initial load
duke
parents:
diff changeset
    49
//   3) The RegisterMap keeps track of the values of callee-saved registers
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
//      from frame to frame (hence, the name).  For some stack traversal the
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
//      values of the callee-saved registers does not matter, e.g., if you
489c9b5090e2 Initial load
duke
parents:
diff changeset
    52
//      only need the static properies such as frame type, pc, and such.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    53
//      Updating of the RegisterMap can be turned off by instantiating the
489c9b5090e2 Initial load
duke
parents:
diff changeset
    54
//      register map as: RegisterMap map(thread, false);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    55
489c9b5090e2 Initial load
duke
parents:
diff changeset
    56
class RegisterMap : public StackObj {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    57
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    58
    typedef julong LocationValidType;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    59
  enum {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    60
    reg_count = ConcreteRegisterImpl::number_of_registers,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    61
    location_valid_type_size = sizeof(LocationValidType)*8,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    62
    location_valid_size = (reg_count+location_valid_type_size-1)/location_valid_type_size
489c9b5090e2 Initial load
duke
parents:
diff changeset
    63
  };
489c9b5090e2 Initial load
duke
parents:
diff changeset
    64
 private:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  intptr_t*    _location[reg_count];    // Location of registers (intptr_t* looks better than address in the debugger)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  LocationValidType _location_valid[location_valid_size];
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
  bool        _include_argument_oops;   // Should include argument_oop marked locations for compiler
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  JavaThread* _thread;                  // Reference to current thread
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
  bool        _update_map;              // Tells if the register map need to be
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
                                        // updated when traversing the stack
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
  void check_location_valid();
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
#else
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
  void check_location_valid() {}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
 public:
489c9b5090e2 Initial load
duke
parents:
diff changeset
    79
  debug_only(intptr_t* _update_for_id;) // Assert that RegisterMap is not updated twice for same frame
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
  RegisterMap(JavaThread *thread, bool update_map = true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
  RegisterMap(const RegisterMap* map);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    82
489c9b5090e2 Initial load
duke
parents:
diff changeset
    83
  address location(VMReg reg) const {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    84
    int index = reg->value() / location_valid_type_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    85
    assert(0 <= reg->value() && reg->value() < reg_count, "range check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    86
    assert(0 <= index && index < location_valid_size, "range check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    87
    if (_location_valid[index] & ((LocationValidType)1 << (reg->value() % location_valid_type_size))) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    88
      return (address) _location[reg->value()];
489c9b5090e2 Initial load
duke
parents:
diff changeset
    89
    } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    90
      return pd_location(reg);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    91
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
  void set_location(VMReg reg, address loc) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
    int index = reg->value() / location_valid_type_size;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    assert(0 <= reg->value() && reg->value() < reg_count, "range check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
    assert(0 <= index && index < location_valid_size, "range check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
    assert(_update_map, "updating map that does not need updating");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    _location[reg->value()] = (intptr_t*) loc;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
    _location_valid[index] |= ((LocationValidType)1 << (reg->value() % location_valid_type_size));
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
    check_location_valid();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   103
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  // Called by an entry frame.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
  void clear();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
  bool include_argument_oops() const      { return _include_argument_oops; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
  void set_include_argument_oops(bool f)  { _include_argument_oops = f; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
  JavaThread *thread() const { return _thread; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
  bool update_map()    const { return _update_map; }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
  void print_on(outputStream* st) const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
  void print() const;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  // the following contains the definition of pd_xxx methods
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
# include "incls/_registerMap_pd.hpp.incl"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
};