annotate src/share/vm/runtime/stackValue.hpp @ 1091:6aa7255741f3

6906727: UseCompressedOops: some card-marking fixes related to object arrays Summary: Introduced a new write_ref_array(HeapWords* start, size_t count) method that does the requisite MemRegion range calculation so (some of the) clients of the erstwhile write_ref_array(MemRegion mr) do not need to worry. This removed all external uses of array_size(), which was also simplified and made private. Asserts were added to catch other possible issues. Further, less essential, fixes stemming from this investigation are deferred to CR 6904516 (to follow shortly in hs17). Reviewed-by: kvn, coleenp, jmasa
author ysr
date Thu, 03 Dec 2009 15:01:57 -0800
parents bd02caa94611
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
844
bd02caa94611 6862919: Update copyright year
xdono
parents: 818
diff changeset
2 * Copyright 1997-2009 Sun Microsystems, Inc. All Rights Reserved.
0
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 StackValue : public ResourceObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
26 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
27 BasicType _type;
a61af66fc99e Initial load
duke
parents:
diff changeset
28 intptr_t _i; // Blank java stack slot value
a61af66fc99e Initial load
duke
parents:
diff changeset
29 Handle _o; // Java stack slot value interpreted as a Handle
a61af66fc99e Initial load
duke
parents:
diff changeset
30 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
31
a61af66fc99e Initial load
duke
parents:
diff changeset
32 StackValue(intptr_t value) {
a61af66fc99e Initial load
duke
parents:
diff changeset
33 _type = T_INT;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 _i = value;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 }
a61af66fc99e Initial load
duke
parents:
diff changeset
36
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
37 StackValue(Handle value, intptr_t scalar_replaced = 0) {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
38 _type = T_OBJECT;
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
39 _i = scalar_replaced;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
40 _o = value;
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
41 assert(_i == 0 || _o.is_null(), "not null object should not be marked as scalar replaced");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
42 }
a61af66fc99e Initial load
duke
parents:
diff changeset
43
a61af66fc99e Initial load
duke
parents:
diff changeset
44 StackValue() {
a61af66fc99e Initial load
duke
parents:
diff changeset
45 _type = T_CONFLICT;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 _i = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
47 }
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Only used during deopt- preserve object type.
a61af66fc99e Initial load
duke
parents:
diff changeset
50 StackValue(intptr_t o, BasicType t) {
a61af66fc99e Initial load
duke
parents:
diff changeset
51 assert(t == T_OBJECT, "should not be used");
a61af66fc99e Initial load
duke
parents:
diff changeset
52 _type = t;
a61af66fc99e Initial load
duke
parents:
diff changeset
53 _i = o;
a61af66fc99e Initial load
duke
parents:
diff changeset
54 }
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 Handle get_obj() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 assert(type() == T_OBJECT, "type check");
a61af66fc99e Initial load
duke
parents:
diff changeset
58 return _o;
a61af66fc99e Initial load
duke
parents:
diff changeset
59 }
a61af66fc99e Initial load
duke
parents:
diff changeset
60
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
61 bool obj_is_scalar_replaced() const {
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
62 assert(type() == T_OBJECT, "type check");
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
63 return _i != 0;
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
64 }
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
65
0
a61af66fc99e Initial load
duke
parents:
diff changeset
66 void set_obj(Handle value) {
a61af66fc99e Initial load
duke
parents:
diff changeset
67 assert(type() == T_OBJECT, "type check");
a61af66fc99e Initial load
duke
parents:
diff changeset
68 _o = value;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 }
a61af66fc99e Initial load
duke
parents:
diff changeset
70
a61af66fc99e Initial load
duke
parents:
diff changeset
71 intptr_t get_int() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 assert(type() == T_INT, "type check");
a61af66fc99e Initial load
duke
parents:
diff changeset
73 return _i;
a61af66fc99e Initial load
duke
parents:
diff changeset
74 }
a61af66fc99e Initial load
duke
parents:
diff changeset
75
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // For special case in deopt.
a61af66fc99e Initial load
duke
parents:
diff changeset
77 intptr_t get_int(BasicType t) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
78 assert(t == T_OBJECT && type() == T_OBJECT, "type check");
a61af66fc99e Initial load
duke
parents:
diff changeset
79 return _i;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 }
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 void set_int(intptr_t value) {
a61af66fc99e Initial load
duke
parents:
diff changeset
83 assert(type() == T_INT, "type check");
a61af66fc99e Initial load
duke
parents:
diff changeset
84 _i = value;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
a61af66fc99e Initial load
duke
parents:
diff changeset
86
a61af66fc99e Initial load
duke
parents:
diff changeset
87 BasicType type() const { return _type; }
a61af66fc99e Initial load
duke
parents:
diff changeset
88
a61af66fc99e Initial load
duke
parents:
diff changeset
89 bool equal(StackValue *value) {
a61af66fc99e Initial load
duke
parents:
diff changeset
90 if (_type != value->_type) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
91 if (_type == T_OBJECT)
a61af66fc99e Initial load
duke
parents:
diff changeset
92 return (_o == value->_o);
a61af66fc99e Initial load
duke
parents:
diff changeset
93 else {
a61af66fc99e Initial load
duke
parents:
diff changeset
94 assert(_type == T_INT, "sanity check");
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // [phh] compare only low addressed portions of intptr_t slots
a61af66fc99e Initial load
duke
parents:
diff changeset
96 return (*(int *)&_i == *(int *)&value->_i);
a61af66fc99e Initial load
duke
parents:
diff changeset
97 }
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }
a61af66fc99e Initial load
duke
parents:
diff changeset
99
a61af66fc99e Initial load
duke
parents:
diff changeset
100 static StackValue* create_stack_value(const frame* fr, const RegisterMap* reg_map, ScopeValue* sv);
a61af66fc99e Initial load
duke
parents:
diff changeset
101 static BasicLock* resolve_monitor_lock(const frame* fr, Location location);
a61af66fc99e Initial load
duke
parents:
diff changeset
102
a61af66fc99e Initial load
duke
parents:
diff changeset
103 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
104 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
105 // Printing
a61af66fc99e Initial load
duke
parents:
diff changeset
106 void print_on(outputStream* st) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
107 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
108 };