annotate src/share/vm/runtime/stackValue.cpp @ 844:bd02caa94611

6862919: Update copyright year Summary: Update copyright for files that have been modified in 2009, up to 07/09 Reviewed-by: tbell, ohair
author xdono
date Tue, 28 Jul 2009 12:12:40 -0700
parents b109e761e927
children 18f526145aea
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 # include "incls/_precompiled.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
26 # include "incls/_stackValue.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28 StackValue* StackValue::create_stack_value(const frame* fr, const RegisterMap* reg_map, ScopeValue* sv) {
a61af66fc99e Initial load
duke
parents:
diff changeset
29 if (sv->is_location()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // Stack or register value
a61af66fc99e Initial load
duke
parents:
diff changeset
31 Location loc = ((LocationValue *)sv)->location();
a61af66fc99e Initial load
duke
parents:
diff changeset
32
a61af66fc99e Initial load
duke
parents:
diff changeset
33 #ifdef SPARC
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // %%%%% Callee-save floats will NOT be working on a Sparc until we
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // handle the case of a 2 floats in a single double register.
a61af66fc99e Initial load
duke
parents:
diff changeset
36 assert( !(loc.is_register() && loc.type() == Location::float_in_dbl), "Sparc does not handle callee-save floats yet" );
a61af66fc99e Initial load
duke
parents:
diff changeset
37 #endif // SPARC
a61af66fc99e Initial load
duke
parents:
diff changeset
38
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // First find address of value
a61af66fc99e Initial load
duke
parents:
diff changeset
40
a61af66fc99e Initial load
duke
parents:
diff changeset
41 address value_addr = loc.is_register()
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // Value was in a callee-save register
a61af66fc99e Initial load
duke
parents:
diff changeset
43 ? reg_map->location(VMRegImpl::as_VMReg(loc.register_number()))
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // Else value was directly saved on the stack. The frame's original stack pointer,
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // before any extension by its callee (due to Compiler1 linkage on SPARC), must be used.
a61af66fc99e Initial load
duke
parents:
diff changeset
46 : ((address)fr->unextended_sp()) + loc.stack_offset();
a61af66fc99e Initial load
duke
parents:
diff changeset
47
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // Then package it right depending on type
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // Note: the transfer of the data is thru a union that contains
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // an intptr_t. This is because an interpreter stack slot is
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // really an intptr_t. The use of a union containing an intptr_t
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // ensures that on a 64 bit platform we have proper alignment
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // and that we store the value where the interpreter will expect
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // to find it (i.e. proper endian). Similarly on a 32bit platform
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // using the intptr_t ensures that when a value is larger than
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // a stack slot (jlong/jdouble) that we capture the proper part
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // of the value for the stack slot in question.
a61af66fc99e Initial load
duke
parents:
diff changeset
58 //
a61af66fc99e Initial load
duke
parents:
diff changeset
59 switch( loc.type() ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 case Location::float_in_dbl: { // Holds a float in a double register?
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // The callee has no clue whether the register holds a float,
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // double or is unused. He always saves a double. Here we know
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // a double was saved, but we only want a float back. Narrow the
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // saved double to the float that the JVM wants.
a61af66fc99e Initial load
duke
parents:
diff changeset
65 assert( loc.is_register(), "floats always saved to stack in 1 word" );
a61af66fc99e Initial load
duke
parents:
diff changeset
66 union { intptr_t p; jfloat jf; } value;
a61af66fc99e Initial load
duke
parents:
diff changeset
67 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 value.jf = (jfloat) *(jdouble*) value_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
69 return new StackValue(value.p); // 64-bit high half is stack junk
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 case Location::int_in_long: { // Holds an int in a long register?
a61af66fc99e Initial load
duke
parents:
diff changeset
72 // The callee has no clue whether the register holds an int,
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // long or is unused. He always saves a long. Here we know
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // a long was saved, but we only want an int back. Narrow the
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // saved long to the int that the JVM wants.
a61af66fc99e Initial load
duke
parents:
diff changeset
76 assert( loc.is_register(), "ints always saved to stack in 1 word" );
a61af66fc99e Initial load
duke
parents:
diff changeset
77 union { intptr_t p; jint ji;} value;
a61af66fc99e Initial load
duke
parents:
diff changeset
78 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
79 value.ji = (jint) *(jlong*) value_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
80 return new StackValue(value.p); // 64-bit high half is stack junk
a61af66fc99e Initial load
duke
parents:
diff changeset
81 }
a61af66fc99e Initial load
duke
parents:
diff changeset
82 #ifdef _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
83 case Location::dbl:
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // Double value in an aligned adjacent pair
a61af66fc99e Initial load
duke
parents:
diff changeset
85 return new StackValue(*(intptr_t*)value_addr);
a61af66fc99e Initial load
duke
parents:
diff changeset
86 case Location::lng:
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // Long value in an aligned adjacent pair
a61af66fc99e Initial load
duke
parents:
diff changeset
88 return new StackValue(*(intptr_t*)value_addr);
331
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
89 case Location::narrowoop: {
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
90 union { intptr_t p; narrowOop noop;} value;
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
91 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
92 if (loc.is_register()) {
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
93 // The callee has no clue whether the register holds an int,
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
94 // long or is unused. He always saves a long. Here we know
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
95 // a long was saved, but we only want an int back. Narrow the
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
96 // saved long to the int that the JVM wants.
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
97 value.noop = (narrowOop) *(julong*) value_addr;
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
98 } else {
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
99 value.noop = *(narrowOop*) value_addr;
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
100 }
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
101 // Decode narrowoop and wrap a handle around the oop
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
102 Handle h(oopDesc::decode_heap_oop(value.noop));
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
103 return new StackValue(h);
cecd8eb4e0ca 6706829: Compressed Oops: add debug info for narrow oops
kvn
parents: 0
diff changeset
104 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
105 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
106 case Location::oop: {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 Handle h(*(oop *)value_addr); // Wrap a handle around the oop
a61af66fc99e Initial load
duke
parents:
diff changeset
108 return new StackValue(h);
a61af66fc99e Initial load
duke
parents:
diff changeset
109 }
a61af66fc99e Initial load
duke
parents:
diff changeset
110 case Location::addr: {
a61af66fc99e Initial load
duke
parents:
diff changeset
111 ShouldNotReachHere(); // both C1 and C2 now inline jsrs
a61af66fc99e Initial load
duke
parents:
diff changeset
112 }
a61af66fc99e Initial load
duke
parents:
diff changeset
113 case Location::normal: {
a61af66fc99e Initial load
duke
parents:
diff changeset
114 // Just copy all other bits straight through
a61af66fc99e Initial load
duke
parents:
diff changeset
115 union { intptr_t p; jint ji;} value;
a61af66fc99e Initial load
duke
parents:
diff changeset
116 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
117 value.ji = *(jint*)value_addr;
a61af66fc99e Initial load
duke
parents:
diff changeset
118 return new StackValue(value.p);
a61af66fc99e Initial load
duke
parents:
diff changeset
119 }
a61af66fc99e Initial load
duke
parents:
diff changeset
120 case Location::invalid:
a61af66fc99e Initial load
duke
parents:
diff changeset
121 return new StackValue();
a61af66fc99e Initial load
duke
parents:
diff changeset
122 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
123 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
124 }
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 } else if (sv->is_constant_int()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
127 // Constant int: treat same as register int.
a61af66fc99e Initial load
duke
parents:
diff changeset
128 union { intptr_t p; jint ji;} value;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
130 value.ji = (jint)((ConstantIntValue*)sv)->value();
a61af66fc99e Initial load
duke
parents:
diff changeset
131 return new StackValue(value.p);
a61af66fc99e Initial load
duke
parents:
diff changeset
132 } else if (sv->is_constant_oop()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
133 // constant oop
a61af66fc99e Initial load
duke
parents:
diff changeset
134 return new StackValue(((ConstantOopReadValue *)sv)->value());
a61af66fc99e Initial load
duke
parents:
diff changeset
135 #ifdef _LP64
a61af66fc99e Initial load
duke
parents:
diff changeset
136 } else if (sv->is_constant_double()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
137 // Constant double in a single stack slot
a61af66fc99e Initial load
duke
parents:
diff changeset
138 union { intptr_t p; double d; } value;
a61af66fc99e Initial load
duke
parents:
diff changeset
139 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
140 value.d = ((ConstantDoubleValue *)sv)->value();
a61af66fc99e Initial load
duke
parents:
diff changeset
141 return new StackValue(value.p);
a61af66fc99e Initial load
duke
parents:
diff changeset
142 } else if (sv->is_constant_long()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
143 // Constant long in a single stack slot
a61af66fc99e Initial load
duke
parents:
diff changeset
144 union { intptr_t p; jlong jl; } value;
a61af66fc99e Initial load
duke
parents:
diff changeset
145 value.p = (intptr_t) CONST64(0xDEADDEAFDEADDEAF);
a61af66fc99e Initial load
duke
parents:
diff changeset
146 value.jl = ((ConstantLongValue *)sv)->value();
a61af66fc99e Initial load
duke
parents:
diff changeset
147 return new StackValue(value.p);
a61af66fc99e Initial load
duke
parents:
diff changeset
148 #endif
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 331
diff changeset
149 } else if (sv->is_object()) { // Scalar replaced object in compiled frame
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 331
diff changeset
150 Handle ov = ((ObjectValue *)sv)->value();
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 331
diff changeset
151 return new StackValue(ov, (ov.is_null()) ? 1 : 0);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
152 }
a61af66fc99e Initial load
duke
parents:
diff changeset
153
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // Unknown ScopeValue type
a61af66fc99e Initial load
duke
parents:
diff changeset
155 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
156 return new StackValue((intptr_t) 0); // dummy
a61af66fc99e Initial load
duke
parents:
diff changeset
157 }
a61af66fc99e Initial load
duke
parents:
diff changeset
158
a61af66fc99e Initial load
duke
parents:
diff changeset
159
a61af66fc99e Initial load
duke
parents:
diff changeset
160 BasicLock* StackValue::resolve_monitor_lock(const frame* fr, Location location) {
a61af66fc99e Initial load
duke
parents:
diff changeset
161 assert(location.is_stack(), "for now we only look at the stack");
a61af66fc99e Initial load
duke
parents:
diff changeset
162 int word_offset = location.stack_offset() / wordSize;
a61af66fc99e Initial load
duke
parents:
diff changeset
163 // (stack picture)
a61af66fc99e Initial load
duke
parents:
diff changeset
164 // high: [ ] word_offset + 1
a61af66fc99e Initial load
duke
parents:
diff changeset
165 // low [ ] word_offset
a61af66fc99e Initial load
duke
parents:
diff changeset
166 //
a61af66fc99e Initial load
duke
parents:
diff changeset
167 // sp-> [ ] 0
a61af66fc99e Initial load
duke
parents:
diff changeset
168 // the word_offset is the distance from the stack pointer to the lowest address
a61af66fc99e Initial load
duke
parents:
diff changeset
169 // The frame's original stack pointer, before any extension by its callee
a61af66fc99e Initial load
duke
parents:
diff changeset
170 // (due to Compiler1 linkage on SPARC), must be used.
a61af66fc99e Initial load
duke
parents:
diff changeset
171 return (BasicLock*) (fr->unextended_sp() + word_offset);
a61af66fc99e Initial load
duke
parents:
diff changeset
172 }
a61af66fc99e Initial load
duke
parents:
diff changeset
173
a61af66fc99e Initial load
duke
parents:
diff changeset
174
a61af66fc99e Initial load
duke
parents:
diff changeset
175 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
176
a61af66fc99e Initial load
duke
parents:
diff changeset
177 void StackValue::print_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
178 switch(_type) {
a61af66fc99e Initial load
duke
parents:
diff changeset
179 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
180 st->print("%d (int) %f (float) %x (hex)", *(int *)&_i, *(float *)&_i, *(int *)&_i);
a61af66fc99e Initial load
duke
parents:
diff changeset
181 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
182
a61af66fc99e Initial load
duke
parents:
diff changeset
183 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
184 _o()->print_value_on(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
185 st->print(" <" INTPTR_FORMAT ">", (address)_o());
a61af66fc99e Initial load
duke
parents:
diff changeset
186 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
187
a61af66fc99e Initial load
duke
parents:
diff changeset
188 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
189 st->print("conflict");
a61af66fc99e Initial load
duke
parents:
diff changeset
190 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
191
a61af66fc99e Initial load
duke
parents:
diff changeset
192 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
193 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
194 }
a61af66fc99e Initial load
duke
parents:
diff changeset
195 }
a61af66fc99e Initial load
duke
parents:
diff changeset
196
a61af66fc99e Initial load
duke
parents:
diff changeset
197 #endif