annotate src/share/vm/runtime/registerMap.hpp @ 1250:3f5b7efb9642

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