annotate src/share/vm/runtime/stackValue.hpp @ 818:b109e761e927

6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14 Summary: Disable escape analysis when jvmti/debugger is used. Add support for EA ibto SA. Reviewed-by: never
author kvn
date Tue, 09 Jun 2009 16:19:10 -0700
parents a61af66fc99e
children bd02caa94611
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 1997-2005 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 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 };