annotate src/share/vm/runtime/vframeArray.cpp @ 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 15bbd3f505c0
children e3a4305c6bc3
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/_vframeArray.cpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
27
a61af66fc99e Initial load
duke
parents:
diff changeset
28
a61af66fc99e Initial load
duke
parents:
diff changeset
29 int vframeArrayElement:: bci(void) const { return (_bci == SynchronizationEntryBCI ? 0 : _bci); }
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 void vframeArrayElement::free_monitors(JavaThread* jt) {
a61af66fc99e Initial load
duke
parents:
diff changeset
32 if (_monitors != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
33 MonitorChunk* chunk = _monitors;
a61af66fc99e Initial load
duke
parents:
diff changeset
34 _monitors = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
35 jt->remove_monitor_chunk(chunk);
a61af66fc99e Initial load
duke
parents:
diff changeset
36 delete chunk;
a61af66fc99e Initial load
duke
parents:
diff changeset
37 }
a61af66fc99e Initial load
duke
parents:
diff changeset
38 }
a61af66fc99e Initial load
duke
parents:
diff changeset
39
a61af66fc99e Initial load
duke
parents:
diff changeset
40 void vframeArrayElement::fill_in(compiledVFrame* vf) {
a61af66fc99e Initial load
duke
parents:
diff changeset
41
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // Copy the information from the compiled vframe to the
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // interpreter frame we will be creating to replace vf
a61af66fc99e Initial load
duke
parents:
diff changeset
44
a61af66fc99e Initial load
duke
parents:
diff changeset
45 _method = vf->method();
a61af66fc99e Initial load
duke
parents:
diff changeset
46 _bci = vf->raw_bci();
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
47 _reexecute = vf->should_reexecute();
0
a61af66fc99e Initial load
duke
parents:
diff changeset
48
a61af66fc99e Initial load
duke
parents:
diff changeset
49 int index;
a61af66fc99e Initial load
duke
parents:
diff changeset
50
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // Get the monitors off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
52
a61af66fc99e Initial load
duke
parents:
diff changeset
53 GrowableArray<MonitorInfo*>* list = vf->monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
54 if (list->is_empty()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
55 _monitors = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
56 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // Allocate monitor chunk
a61af66fc99e Initial load
duke
parents:
diff changeset
59 _monitors = new MonitorChunk(list->length());
a61af66fc99e Initial load
duke
parents:
diff changeset
60 vf->thread()->add_monitor_chunk(_monitors);
a61af66fc99e Initial load
duke
parents:
diff changeset
61
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // Migrate the BasicLocks from the stack to the monitor chunk
a61af66fc99e Initial load
duke
parents:
diff changeset
63 for (index = 0; index < list->length(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
64 MonitorInfo* monitor = list->at(index);
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
65 assert(!monitor->owner_is_scalar_replaced(), "object should be reallocated already");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
66 assert(monitor->owner() == NULL || (!monitor->owner()->is_unlocked() && !monitor->owner()->has_bias_pattern()), "object must be null or locked, and unbiased");
a61af66fc99e Initial load
duke
parents:
diff changeset
67 BasicObjectLock* dest = _monitors->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
68 dest->set_obj(monitor->owner());
a61af66fc99e Initial load
duke
parents:
diff changeset
69 monitor->lock()->move_to(monitor->owner(), dest->lock());
a61af66fc99e Initial load
duke
parents:
diff changeset
70 }
a61af66fc99e Initial load
duke
parents:
diff changeset
71 }
a61af66fc99e Initial load
duke
parents:
diff changeset
72
a61af66fc99e Initial load
duke
parents:
diff changeset
73 // Convert the vframe locals and expressions to off stack
a61af66fc99e Initial load
duke
parents:
diff changeset
74 // values. Because we will not gc all oops can be converted to
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // intptr_t (i.e. a stack slot) and we are fine. This is
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // good since we are inside a HandleMark and the oops in our
a61af66fc99e Initial load
duke
parents:
diff changeset
77 // collection would go away between packing them here and
a61af66fc99e Initial load
duke
parents:
diff changeset
78 // unpacking them in unpack_on_stack.
a61af66fc99e Initial load
duke
parents:
diff changeset
79
a61af66fc99e Initial load
duke
parents:
diff changeset
80 // First the locals go off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
81
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // FIXME this seems silly it creates a StackValueCollection
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // in order to get the size to then copy them and
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // convert the types to intptr_t size slots. Seems like it
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // could do it in place... Still uses less memory than the
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // old way though
a61af66fc99e Initial load
duke
parents:
diff changeset
87
a61af66fc99e Initial load
duke
parents:
diff changeset
88 StackValueCollection *locs = vf->locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
89 _locals = new StackValueCollection(locs->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
90 for(index = 0; index < locs->size(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
91 StackValue* value = locs->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
92 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 case T_OBJECT:
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
94 assert(!value->obj_is_scalar_replaced(), "object should be reallocated already");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // preserve object type
a61af66fc99e Initial load
duke
parents:
diff changeset
96 _locals->add( new StackValue((intptr_t) (value->get_obj()()), T_OBJECT ));
a61af66fc99e Initial load
duke
parents:
diff changeset
97 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
98 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
99 // A dead local. Will be initialized to null/zero.
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _locals->add( new StackValue());
a61af66fc99e Initial load
duke
parents:
diff changeset
101 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
102 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
103 _locals->add( new StackValue(value->get_int()));
a61af66fc99e Initial load
duke
parents:
diff changeset
104 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
105 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
106 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
107 }
a61af66fc99e Initial load
duke
parents:
diff changeset
108 }
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 // Now the expressions off-stack
a61af66fc99e Initial load
duke
parents:
diff changeset
111 // Same silliness as above
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 StackValueCollection *exprs = vf->expressions();
a61af66fc99e Initial load
duke
parents:
diff changeset
114 _expressions = new StackValueCollection(exprs->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
115 for(index = 0; index < exprs->size(); index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
116 StackValue* value = exprs->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
117 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
118 case T_OBJECT:
818
b109e761e927 6837472: com/sun/jdi/MonitorFrameInfo.java fails with AggressiveOpts in 6u14
kvn
parents: 0
diff changeset
119 assert(!value->obj_is_scalar_replaced(), "object should be reallocated already");
0
a61af66fc99e Initial load
duke
parents:
diff changeset
120 // preserve object type
a61af66fc99e Initial load
duke
parents:
diff changeset
121 _expressions->add( new StackValue((intptr_t) (value->get_obj()()), T_OBJECT ));
a61af66fc99e Initial load
duke
parents:
diff changeset
122 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
123 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
124 // A dead stack element. Will be initialized to null/zero.
a61af66fc99e Initial load
duke
parents:
diff changeset
125 // This can occur when the compiler emits a state in which stack
a61af66fc99e Initial load
duke
parents:
diff changeset
126 // elements are known to be dead (because of an imminent exception).
a61af66fc99e Initial load
duke
parents:
diff changeset
127 _expressions->add( new StackValue());
a61af66fc99e Initial load
duke
parents:
diff changeset
128 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
129 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
130 _expressions->add( new StackValue(value->get_int()));
a61af66fc99e Initial load
duke
parents:
diff changeset
131 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
132 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
133 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
134 }
a61af66fc99e Initial load
duke
parents:
diff changeset
135 }
a61af66fc99e Initial load
duke
parents:
diff changeset
136 }
a61af66fc99e Initial load
duke
parents:
diff changeset
137
a61af66fc99e Initial load
duke
parents:
diff changeset
138 int unpack_counter = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 void vframeArrayElement::unpack_on_stack(int callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
141 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
142 frame* caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
143 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
144 int exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
145 JavaThread* thread = (JavaThread*) Thread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
146
a61af66fc99e Initial load
duke
parents:
diff changeset
147 // Look at bci and decide on bcp and continuation pc
a61af66fc99e Initial load
duke
parents:
diff changeset
148 address bcp;
a61af66fc99e Initial load
duke
parents:
diff changeset
149 // C++ interpreter doesn't need a pc since it will figure out what to do when it
a61af66fc99e Initial load
duke
parents:
diff changeset
150 // begins execution
a61af66fc99e Initial load
duke
parents:
diff changeset
151 address pc;
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
152 bool use_next_mdp = false; // true if we should use the mdp associated with the next bci
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
153 // rather than the one associated with bcp
0
a61af66fc99e Initial load
duke
parents:
diff changeset
154 if (raw_bci() == SynchronizationEntryBCI) {
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // We are deoptimizing while hanging in prologue code for synchronized method
a61af66fc99e Initial load
duke
parents:
diff changeset
156 bcp = method()->bcp_from(0); // first byte code
a61af66fc99e Initial load
duke
parents:
diff changeset
157 pc = Interpreter::deopt_entry(vtos, 0); // step = 0 since we don't skip current bytecode
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
158 } else if (should_reexecute()) { //reexecute this bytecode
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
159 assert(is_top_frame, "reexecute allowed only for the top frame");
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
160 bcp = method()->bcp_from(bci());
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
161 pc = Interpreter::deopt_reexecute_entry(method(), bcp);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
162 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
163 bcp = method()->bcp_from(bci());
900
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
164 pc = Interpreter::deopt_continue_after_entry(method(), bcp, callee_parameters, is_top_frame);
9987d9d5eb0e 6833129: specjvm98 fails with NullPointerException in the compiler with -XX:DeoptimizeALot
cfang
parents: 818
diff changeset
165 use_next_mdp = true;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
166 }
a61af66fc99e Initial load
duke
parents:
diff changeset
167 assert(Bytecodes::is_defined(*bcp), "must be a valid bytecode");
a61af66fc99e Initial load
duke
parents:
diff changeset
168
a61af66fc99e Initial load
duke
parents:
diff changeset
169 // Monitorenter and pending exceptions:
a61af66fc99e Initial load
duke
parents:
diff changeset
170 //
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // For Compiler2, there should be no pending exception when deoptimizing at monitorenter
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // because there is no safepoint at the null pointer check (it is either handled explicitly
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // or prior to the monitorenter) and asynchronous exceptions are not made "pending" by the
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // runtime interface for the slow case (see JRT_ENTRY_FOR_MONITORENTER). If an asynchronous
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // exception was processed, the bytecode pointer would have to be extended one bytecode beyond
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // the monitorenter to place it in the proper exception range.
a61af66fc99e Initial load
duke
parents:
diff changeset
177 //
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // For Compiler1, deoptimization can occur while throwing a NullPointerException at monitorenter,
a61af66fc99e Initial load
duke
parents:
diff changeset
179 // in which case bcp should point to the monitorenter since it is within the exception's range.
a61af66fc99e Initial load
duke
parents:
diff changeset
180
a61af66fc99e Initial load
duke
parents:
diff changeset
181 assert(*bcp != Bytecodes::_monitorenter || is_top_frame, "a _monitorenter must be a top frame");
a61af66fc99e Initial load
duke
parents:
diff changeset
182 // TIERED Must know the compiler of the deoptee QQQ
a61af66fc99e Initial load
duke
parents:
diff changeset
183 COMPILER2_PRESENT(guarantee(*bcp != Bytecodes::_monitorenter || exec_mode != Deoptimization::Unpack_exception,
a61af66fc99e Initial load
duke
parents:
diff changeset
184 "shouldn't get exception during monitorenter");)
a61af66fc99e Initial load
duke
parents:
diff changeset
185
a61af66fc99e Initial load
duke
parents:
diff changeset
186 int popframe_preserved_args_size_in_bytes = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
187 int popframe_preserved_args_size_in_words = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
188 if (is_top_frame) {
a61af66fc99e Initial load
duke
parents:
diff changeset
189 JvmtiThreadState *state = thread->jvmti_thread_state();
a61af66fc99e Initial load
duke
parents:
diff changeset
190 if (JvmtiExport::can_pop_frame() &&
a61af66fc99e Initial load
duke
parents:
diff changeset
191 (thread->has_pending_popframe() || thread->popframe_forcing_deopt_reexecution())) {
a61af66fc99e Initial load
duke
parents:
diff changeset
192 if (thread->has_pending_popframe()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
193 // Pop top frame after deoptimization
a61af66fc99e Initial load
duke
parents:
diff changeset
194 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
195 pc = Interpreter::remove_activation_preserving_args_entry();
a61af66fc99e Initial load
duke
parents:
diff changeset
196 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
197 // Do an uncommon trap type entry. c++ interpreter will know
a61af66fc99e Initial load
duke
parents:
diff changeset
198 // to pop frame and preserve the args
a61af66fc99e Initial load
duke
parents:
diff changeset
199 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
200 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
201 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
202 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
203 // Reexecute invoke in top frame
a61af66fc99e Initial load
duke
parents:
diff changeset
204 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
205 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
206 popframe_preserved_args_size_in_bytes = in_bytes(thread->popframe_preserved_args_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
207 // Note: the PopFrame-related extension of the expression stack size is done in
a61af66fc99e Initial load
duke
parents:
diff changeset
208 // Deoptimization::fetch_unroll_info_helper
a61af66fc99e Initial load
duke
parents:
diff changeset
209 popframe_preserved_args_size_in_words = in_words(thread->popframe_preserved_args_size_in_words());
a61af66fc99e Initial load
duke
parents:
diff changeset
210 }
a61af66fc99e Initial load
duke
parents:
diff changeset
211 } else if (JvmtiExport::can_force_early_return() && state != NULL && state->is_earlyret_pending()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
212 // Force early return from top frame after deoptimization
a61af66fc99e Initial load
duke
parents:
diff changeset
213 #ifndef CC_INTERP
a61af66fc99e Initial load
duke
parents:
diff changeset
214 pc = Interpreter::remove_activation_early_entry(state->earlyret_tos());
a61af66fc99e Initial load
duke
parents:
diff changeset
215 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
216 // TBD: Need to implement ForceEarlyReturn for CC_INTERP (ia64)
a61af66fc99e Initial load
duke
parents:
diff changeset
217 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
218 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
219 // Possibly override the previous pc computation of the top (youngest) frame
a61af66fc99e Initial load
duke
parents:
diff changeset
220 switch (exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
221 case Deoptimization::Unpack_deopt:
a61af66fc99e Initial load
duke
parents:
diff changeset
222 // use what we've got
a61af66fc99e Initial load
duke
parents:
diff changeset
223 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
224 case Deoptimization::Unpack_exception:
a61af66fc99e Initial load
duke
parents:
diff changeset
225 // exception is pending
a61af66fc99e Initial load
duke
parents:
diff changeset
226 pc = SharedRuntime::raw_exception_handler_for_return_address(pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
227 // [phh] We're going to end up in some handler or other, so it doesn't
a61af66fc99e Initial load
duke
parents:
diff changeset
228 // matter what mdp we point to. See exception_handler_for_exception()
a61af66fc99e Initial load
duke
parents:
diff changeset
229 // in interpreterRuntime.cpp.
a61af66fc99e Initial load
duke
parents:
diff changeset
230 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
231 case Deoptimization::Unpack_uncommon_trap:
a61af66fc99e Initial load
duke
parents:
diff changeset
232 case Deoptimization::Unpack_reexecute:
a61af66fc99e Initial load
duke
parents:
diff changeset
233 // redo last byte code
a61af66fc99e Initial load
duke
parents:
diff changeset
234 pc = Interpreter::deopt_entry(vtos, 0);
a61af66fc99e Initial load
duke
parents:
diff changeset
235 use_next_mdp = false;
a61af66fc99e Initial load
duke
parents:
diff changeset
236 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
237 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
238 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
239 }
a61af66fc99e Initial load
duke
parents:
diff changeset
240 }
a61af66fc99e Initial load
duke
parents:
diff changeset
241 }
a61af66fc99e Initial load
duke
parents:
diff changeset
242
a61af66fc99e Initial load
duke
parents:
diff changeset
243 // Setup the interpreter frame
a61af66fc99e Initial load
duke
parents:
diff changeset
244
a61af66fc99e Initial load
duke
parents:
diff changeset
245 assert(method() != NULL, "method must exist");
a61af66fc99e Initial load
duke
parents:
diff changeset
246 int temps = expressions()->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
247
a61af66fc99e Initial load
duke
parents:
diff changeset
248 int locks = monitors() == NULL ? 0 : monitors()->number_of_monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
249
a61af66fc99e Initial load
duke
parents:
diff changeset
250 Interpreter::layout_activation(method(),
a61af66fc99e Initial load
duke
parents:
diff changeset
251 temps + callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
252 popframe_preserved_args_size_in_words,
a61af66fc99e Initial load
duke
parents:
diff changeset
253 locks,
a61af66fc99e Initial load
duke
parents:
diff changeset
254 callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
255 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
256 caller,
a61af66fc99e Initial load
duke
parents:
diff changeset
257 iframe(),
a61af66fc99e Initial load
duke
parents:
diff changeset
258 is_top_frame);
a61af66fc99e Initial load
duke
parents:
diff changeset
259
a61af66fc99e Initial load
duke
parents:
diff changeset
260 // Update the pc in the frame object and overwrite the temporary pc
a61af66fc99e Initial load
duke
parents:
diff changeset
261 // we placed in the skeletal frame now that we finally know the
a61af66fc99e Initial load
duke
parents:
diff changeset
262 // exact interpreter address we should use.
a61af66fc99e Initial load
duke
parents:
diff changeset
263
a61af66fc99e Initial load
duke
parents:
diff changeset
264 _frame.patch_pc(thread, pc);
a61af66fc99e Initial load
duke
parents:
diff changeset
265
a61af66fc99e Initial load
duke
parents:
diff changeset
266 assert (!method()->is_synchronized() || locks > 0, "synchronized methods must have monitors");
a61af66fc99e Initial load
duke
parents:
diff changeset
267
a61af66fc99e Initial load
duke
parents:
diff changeset
268 BasicObjectLock* top = iframe()->interpreter_frame_monitor_begin();
a61af66fc99e Initial load
duke
parents:
diff changeset
269 for (int index = 0; index < locks; index++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
270 top = iframe()->previous_monitor_in_interpreter_frame(top);
a61af66fc99e Initial load
duke
parents:
diff changeset
271 BasicObjectLock* src = _monitors->at(index);
a61af66fc99e Initial load
duke
parents:
diff changeset
272 top->set_obj(src->obj());
a61af66fc99e Initial load
duke
parents:
diff changeset
273 src->lock()->move_to(src->obj(), top->lock());
a61af66fc99e Initial load
duke
parents:
diff changeset
274 }
a61af66fc99e Initial load
duke
parents:
diff changeset
275 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
276 iframe()->interpreter_frame_set_mdx(0); // clear out the mdp.
a61af66fc99e Initial load
duke
parents:
diff changeset
277 }
a61af66fc99e Initial load
duke
parents:
diff changeset
278 iframe()->interpreter_frame_set_bcx((intptr_t)bcp); // cannot use bcp because frame is not initialized yet
a61af66fc99e Initial load
duke
parents:
diff changeset
279 if (ProfileInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
280 methodDataOop mdo = method()->method_data();
a61af66fc99e Initial load
duke
parents:
diff changeset
281 if (mdo != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
282 int bci = iframe()->interpreter_frame_bci();
a61af66fc99e Initial load
duke
parents:
diff changeset
283 if (use_next_mdp) ++bci;
a61af66fc99e Initial load
duke
parents:
diff changeset
284 address mdp = mdo->bci_to_dp(bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
285 iframe()->interpreter_frame_set_mdp(mdp);
a61af66fc99e Initial load
duke
parents:
diff changeset
286 }
a61af66fc99e Initial load
duke
parents:
diff changeset
287 }
a61af66fc99e Initial load
duke
parents:
diff changeset
288
a61af66fc99e Initial load
duke
parents:
diff changeset
289 // Unpack expression stack
a61af66fc99e Initial load
duke
parents:
diff changeset
290 // If this is an intermediate frame (i.e. not top frame) then this
a61af66fc99e Initial load
duke
parents:
diff changeset
291 // only unpacks the part of the expression stack not used by callee
a61af66fc99e Initial load
duke
parents:
diff changeset
292 // as parameters. The callee parameters are unpacked as part of the
a61af66fc99e Initial load
duke
parents:
diff changeset
293 // callee locals.
a61af66fc99e Initial load
duke
parents:
diff changeset
294 int i;
a61af66fc99e Initial load
duke
parents:
diff changeset
295 for(i = 0; i < expressions()->size(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
296 StackValue *value = expressions()->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
297 intptr_t* addr = iframe()->interpreter_frame_expression_stack_at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
298 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
299 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
300 *addr = value->get_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
301 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
302 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
303 *addr = value->get_int(T_OBJECT);
a61af66fc99e Initial load
duke
parents:
diff changeset
304 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
305 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
306 // A dead stack slot. Initialize to null in case it is an oop.
a61af66fc99e Initial load
duke
parents:
diff changeset
307 *addr = NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
308 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
309 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
310 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
311 }
a61af66fc99e Initial load
duke
parents:
diff changeset
312 if (TaggedStackInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
313 // Write tag to the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
314 iframe()->interpreter_frame_set_expression_stack_tag(i,
a61af66fc99e Initial load
duke
parents:
diff changeset
315 frame::tag_for_basic_type(value->type()));
a61af66fc99e Initial load
duke
parents:
diff changeset
316 }
a61af66fc99e Initial load
duke
parents:
diff changeset
317 }
a61af66fc99e Initial load
duke
parents:
diff changeset
318
a61af66fc99e Initial load
duke
parents:
diff changeset
319
a61af66fc99e Initial load
duke
parents:
diff changeset
320 // Unpack the locals
a61af66fc99e Initial load
duke
parents:
diff changeset
321 for(i = 0; i < locals()->size(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
322 StackValue *value = locals()->at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
323 intptr_t* addr = iframe()->interpreter_frame_local_at(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
324 switch(value->type()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
325 case T_INT:
a61af66fc99e Initial load
duke
parents:
diff changeset
326 *addr = value->get_int();
a61af66fc99e Initial load
duke
parents:
diff changeset
327 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
328 case T_OBJECT:
a61af66fc99e Initial load
duke
parents:
diff changeset
329 *addr = value->get_int(T_OBJECT);
a61af66fc99e Initial load
duke
parents:
diff changeset
330 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
331 case T_CONFLICT:
a61af66fc99e Initial load
duke
parents:
diff changeset
332 // A dead location. If it is an oop then we need a NULL to prevent GC from following it
a61af66fc99e Initial load
duke
parents:
diff changeset
333 *addr = NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
334 break;
a61af66fc99e Initial load
duke
parents:
diff changeset
335 default:
a61af66fc99e Initial load
duke
parents:
diff changeset
336 ShouldNotReachHere();
a61af66fc99e Initial load
duke
parents:
diff changeset
337 }
a61af66fc99e Initial load
duke
parents:
diff changeset
338 if (TaggedStackInterpreter) {
a61af66fc99e Initial load
duke
parents:
diff changeset
339 // Write tag to stack
a61af66fc99e Initial load
duke
parents:
diff changeset
340 iframe()->interpreter_frame_set_local_tag(i,
a61af66fc99e Initial load
duke
parents:
diff changeset
341 frame::tag_for_basic_type(value->type()));
a61af66fc99e Initial load
duke
parents:
diff changeset
342 }
a61af66fc99e Initial load
duke
parents:
diff changeset
343 }
a61af66fc99e Initial load
duke
parents:
diff changeset
344
a61af66fc99e Initial load
duke
parents:
diff changeset
345 if (is_top_frame && JvmtiExport::can_pop_frame() && thread->popframe_forcing_deopt_reexecution()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
346 // An interpreted frame was popped but it returns to a deoptimized
a61af66fc99e Initial load
duke
parents:
diff changeset
347 // frame. The incoming arguments to the interpreted activation
a61af66fc99e Initial load
duke
parents:
diff changeset
348 // were preserved in thread-local storage by the
a61af66fc99e Initial load
duke
parents:
diff changeset
349 // remove_activation_preserving_args_entry in the interpreter; now
a61af66fc99e Initial load
duke
parents:
diff changeset
350 // we put them back into the just-unpacked interpreter frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
351 // Note that this assumes that the locals arena grows toward lower
a61af66fc99e Initial load
duke
parents:
diff changeset
352 // addresses.
a61af66fc99e Initial load
duke
parents:
diff changeset
353 if (popframe_preserved_args_size_in_words != 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
354 void* saved_args = thread->popframe_preserved_args();
a61af66fc99e Initial load
duke
parents:
diff changeset
355 assert(saved_args != NULL, "must have been saved by interpreter");
a61af66fc99e Initial load
duke
parents:
diff changeset
356 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
357 int stack_words = Interpreter::stackElementWords();
a61af66fc99e Initial load
duke
parents:
diff changeset
358 assert(popframe_preserved_args_size_in_words <=
a61af66fc99e Initial load
duke
parents:
diff changeset
359 iframe()->interpreter_frame_expression_stack_size()*stack_words,
a61af66fc99e Initial load
duke
parents:
diff changeset
360 "expression stack size should have been extended");
a61af66fc99e Initial load
duke
parents:
diff changeset
361 #endif // ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
362 int top_element = iframe()->interpreter_frame_expression_stack_size()-1;
a61af66fc99e Initial load
duke
parents:
diff changeset
363 intptr_t* base;
a61af66fc99e Initial load
duke
parents:
diff changeset
364 if (frame::interpreter_frame_expression_stack_direction() < 0) {
a61af66fc99e Initial load
duke
parents:
diff changeset
365 base = iframe()->interpreter_frame_expression_stack_at(top_element);
a61af66fc99e Initial load
duke
parents:
diff changeset
366 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
367 base = iframe()->interpreter_frame_expression_stack();
a61af66fc99e Initial load
duke
parents:
diff changeset
368 }
a61af66fc99e Initial load
duke
parents:
diff changeset
369 Copy::conjoint_bytes(saved_args,
a61af66fc99e Initial load
duke
parents:
diff changeset
370 base,
a61af66fc99e Initial load
duke
parents:
diff changeset
371 popframe_preserved_args_size_in_bytes);
a61af66fc99e Initial load
duke
parents:
diff changeset
372 thread->popframe_free_preserved_args();
a61af66fc99e Initial load
duke
parents:
diff changeset
373 }
a61af66fc99e Initial load
duke
parents:
diff changeset
374 }
a61af66fc99e Initial load
duke
parents:
diff changeset
375
a61af66fc99e Initial load
duke
parents:
diff changeset
376 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
377 if (TraceDeoptimization && Verbose) {
a61af66fc99e Initial load
duke
parents:
diff changeset
378 ttyLocker ttyl;
a61af66fc99e Initial load
duke
parents:
diff changeset
379 tty->print_cr("[%d Interpreted Frame]", ++unpack_counter);
a61af66fc99e Initial load
duke
parents:
diff changeset
380 iframe()->print_on(tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
381 RegisterMap map(thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
382 vframe* f = vframe::new_vframe(iframe(), &map, thread);
a61af66fc99e Initial load
duke
parents:
diff changeset
383 f->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
384 iframe()->interpreter_frame_print_on(tty);
a61af66fc99e Initial load
duke
parents:
diff changeset
385
a61af66fc99e Initial load
duke
parents:
diff changeset
386 tty->print_cr("locals size %d", locals()->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
387 tty->print_cr("expression size %d", expressions()->size());
a61af66fc99e Initial load
duke
parents:
diff changeset
388
a61af66fc99e Initial load
duke
parents:
diff changeset
389 method()->print_value();
a61af66fc99e Initial load
duke
parents:
diff changeset
390 tty->cr();
a61af66fc99e Initial load
duke
parents:
diff changeset
391 // method()->print_codes();
a61af66fc99e Initial load
duke
parents:
diff changeset
392 } else if (TraceDeoptimization) {
a61af66fc99e Initial load
duke
parents:
diff changeset
393 tty->print(" ");
a61af66fc99e Initial load
duke
parents:
diff changeset
394 method()->print_value();
a61af66fc99e Initial load
duke
parents:
diff changeset
395 Bytecodes::Code code = Bytecodes::java_code_at(bcp);
a61af66fc99e Initial load
duke
parents:
diff changeset
396 int bci = method()->bci_from(bcp);
a61af66fc99e Initial load
duke
parents:
diff changeset
397 tty->print(" - %s", Bytecodes::name(code));
a61af66fc99e Initial load
duke
parents:
diff changeset
398 tty->print(" @ bci %d ", bci);
a61af66fc99e Initial load
duke
parents:
diff changeset
399 tty->print_cr("sp = " PTR_FORMAT, iframe()->sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
400 }
a61af66fc99e Initial load
duke
parents:
diff changeset
401 #endif // PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
402
a61af66fc99e Initial load
duke
parents:
diff changeset
403 // The expression stack and locals are in the resource area don't leave
a61af66fc99e Initial load
duke
parents:
diff changeset
404 // a dangling pointer in the vframeArray we leave around for debug
a61af66fc99e Initial load
duke
parents:
diff changeset
405 // purposes
a61af66fc99e Initial load
duke
parents:
diff changeset
406
a61af66fc99e Initial load
duke
parents:
diff changeset
407 _locals = _expressions = NULL;
a61af66fc99e Initial load
duke
parents:
diff changeset
408
a61af66fc99e Initial load
duke
parents:
diff changeset
409 }
a61af66fc99e Initial load
duke
parents:
diff changeset
410
a61af66fc99e Initial load
duke
parents:
diff changeset
411 int vframeArrayElement::on_stack_size(int callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
412 int callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
413 bool is_top_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
414 int popframe_extra_stack_expression_els) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
415 assert(method()->max_locals() == locals()->size(), "just checking");
a61af66fc99e Initial load
duke
parents:
diff changeset
416 int locks = monitors() == NULL ? 0 : monitors()->number_of_monitors();
a61af66fc99e Initial load
duke
parents:
diff changeset
417 int temps = expressions()->size();
a61af66fc99e Initial load
duke
parents:
diff changeset
418 return Interpreter::size_activation(method(),
a61af66fc99e Initial load
duke
parents:
diff changeset
419 temps + callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
420 popframe_extra_stack_expression_els,
a61af66fc99e Initial load
duke
parents:
diff changeset
421 locks,
a61af66fc99e Initial load
duke
parents:
diff changeset
422 callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
423 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
424 is_top_frame);
a61af66fc99e Initial load
duke
parents:
diff changeset
425 }
a61af66fc99e Initial load
duke
parents:
diff changeset
426
a61af66fc99e Initial load
duke
parents:
diff changeset
427
a61af66fc99e Initial load
duke
parents:
diff changeset
428
a61af66fc99e Initial load
duke
parents:
diff changeset
429 vframeArray* vframeArray::allocate(JavaThread* thread, int frame_size, GrowableArray<compiledVFrame*>* chunk,
a61af66fc99e Initial load
duke
parents:
diff changeset
430 RegisterMap *reg_map, frame sender, frame caller, frame self) {
a61af66fc99e Initial load
duke
parents:
diff changeset
431
a61af66fc99e Initial load
duke
parents:
diff changeset
432 // Allocate the vframeArray
a61af66fc99e Initial load
duke
parents:
diff changeset
433 vframeArray * result = (vframeArray*) AllocateHeap(sizeof(vframeArray) + // fixed part
a61af66fc99e Initial load
duke
parents:
diff changeset
434 sizeof(vframeArrayElement) * (chunk->length() - 1), // variable part
a61af66fc99e Initial load
duke
parents:
diff changeset
435 "vframeArray::allocate");
a61af66fc99e Initial load
duke
parents:
diff changeset
436 result->_frames = chunk->length();
a61af66fc99e Initial load
duke
parents:
diff changeset
437 result->_owner_thread = thread;
a61af66fc99e Initial load
duke
parents:
diff changeset
438 result->_sender = sender;
a61af66fc99e Initial load
duke
parents:
diff changeset
439 result->_caller = caller;
a61af66fc99e Initial load
duke
parents:
diff changeset
440 result->_original = self;
a61af66fc99e Initial load
duke
parents:
diff changeset
441 result->set_unroll_block(NULL); // initialize it
a61af66fc99e Initial load
duke
parents:
diff changeset
442 result->fill_in(thread, frame_size, chunk, reg_map);
a61af66fc99e Initial load
duke
parents:
diff changeset
443 return result;
a61af66fc99e Initial load
duke
parents:
diff changeset
444 }
a61af66fc99e Initial load
duke
parents:
diff changeset
445
a61af66fc99e Initial load
duke
parents:
diff changeset
446 void vframeArray::fill_in(JavaThread* thread,
a61af66fc99e Initial load
duke
parents:
diff changeset
447 int frame_size,
a61af66fc99e Initial load
duke
parents:
diff changeset
448 GrowableArray<compiledVFrame*>* chunk,
a61af66fc99e Initial load
duke
parents:
diff changeset
449 const RegisterMap *reg_map) {
a61af66fc99e Initial load
duke
parents:
diff changeset
450 // Set owner first, it is used when adding monitor chunks
a61af66fc99e Initial load
duke
parents:
diff changeset
451
a61af66fc99e Initial load
duke
parents:
diff changeset
452 _frame_size = frame_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
453 for(int i = 0; i < chunk->length(); i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
454 element(i)->fill_in(chunk->at(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
455 }
a61af66fc99e Initial load
duke
parents:
diff changeset
456
a61af66fc99e Initial load
duke
parents:
diff changeset
457 // Copy registers for callee-saved registers
a61af66fc99e Initial load
duke
parents:
diff changeset
458 if (reg_map != NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
459 for(int i = 0; i < RegisterMap::reg_count; i++) {
a61af66fc99e Initial load
duke
parents:
diff changeset
460 #ifdef AMD64
a61af66fc99e Initial load
duke
parents:
diff changeset
461 // The register map has one entry for every int (32-bit value), so
a61af66fc99e Initial load
duke
parents:
diff changeset
462 // 64-bit physical registers have two entries in the map, one for
a61af66fc99e Initial load
duke
parents:
diff changeset
463 // each half. Ignore the high halves of 64-bit registers, just like
a61af66fc99e Initial load
duke
parents:
diff changeset
464 // frame::oopmapreg_to_location does.
a61af66fc99e Initial load
duke
parents:
diff changeset
465 //
a61af66fc99e Initial load
duke
parents:
diff changeset
466 // [phh] FIXME: this is a temporary hack! This code *should* work
a61af66fc99e Initial load
duke
parents:
diff changeset
467 // correctly w/o this hack, possibly by changing RegisterMap::pd_location
a61af66fc99e Initial load
duke
parents:
diff changeset
468 // in frame_amd64.cpp and the values of the phantom high half registers
a61af66fc99e Initial load
duke
parents:
diff changeset
469 // in amd64.ad.
a61af66fc99e Initial load
duke
parents:
diff changeset
470 // if (VMReg::Name(i) < SharedInfo::stack0 && is_even(i)) {
a61af66fc99e Initial load
duke
parents:
diff changeset
471 intptr_t* src = (intptr_t*) reg_map->location(VMRegImpl::as_VMReg(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
472 _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
473 // } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
474 // jint* src = (jint*) reg_map->location(VMReg::Name(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
475 // _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
476 // }
a61af66fc99e Initial load
duke
parents:
diff changeset
477 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
478 jint* src = (jint*) reg_map->location(VMRegImpl::as_VMReg(i));
a61af66fc99e Initial load
duke
parents:
diff changeset
479 _callee_registers[i] = src != NULL ? *src : NULL_WORD;
a61af66fc99e Initial load
duke
parents:
diff changeset
480 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
481 if (src == NULL) {
a61af66fc99e Initial load
duke
parents:
diff changeset
482 set_location_valid(i, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
483 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
484 set_location_valid(i, true);
a61af66fc99e Initial load
duke
parents:
diff changeset
485 jint* dst = (jint*) register_location(i);
a61af66fc99e Initial load
duke
parents:
diff changeset
486 *dst = *src;
a61af66fc99e Initial load
duke
parents:
diff changeset
487 }
a61af66fc99e Initial load
duke
parents:
diff changeset
488 }
a61af66fc99e Initial load
duke
parents:
diff changeset
489 }
a61af66fc99e Initial load
duke
parents:
diff changeset
490 }
a61af66fc99e Initial load
duke
parents:
diff changeset
491
a61af66fc99e Initial load
duke
parents:
diff changeset
492 void vframeArray::unpack_to_stack(frame &unpack_frame, int exec_mode) {
a61af66fc99e Initial load
duke
parents:
diff changeset
493 // stack picture
a61af66fc99e Initial load
duke
parents:
diff changeset
494 // unpack_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
495 // [new interpreter frames ] (frames are skeletal but walkable)
a61af66fc99e Initial load
duke
parents:
diff changeset
496 // caller_frame
a61af66fc99e Initial load
duke
parents:
diff changeset
497 //
a61af66fc99e Initial load
duke
parents:
diff changeset
498 // This routine fills in the missing data for the skeletal interpreter frames
a61af66fc99e Initial load
duke
parents:
diff changeset
499 // in the above picture.
a61af66fc99e Initial load
duke
parents:
diff changeset
500
a61af66fc99e Initial load
duke
parents:
diff changeset
501 // Find the skeletal interpreter frames to unpack into
a61af66fc99e Initial load
duke
parents:
diff changeset
502 RegisterMap map(JavaThread::current(), false);
a61af66fc99e Initial load
duke
parents:
diff changeset
503 // Get the youngest frame we will unpack (last to be unpacked)
a61af66fc99e Initial load
duke
parents:
diff changeset
504 frame me = unpack_frame.sender(&map);
a61af66fc99e Initial load
duke
parents:
diff changeset
505 int index;
a61af66fc99e Initial load
duke
parents:
diff changeset
506 for (index = 0; index < frames(); index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
507 *element(index)->iframe() = me;
a61af66fc99e Initial load
duke
parents:
diff changeset
508 // Get the caller frame (possibly skeletal)
a61af66fc99e Initial load
duke
parents:
diff changeset
509 me = me.sender(&map);
a61af66fc99e Initial load
duke
parents:
diff changeset
510 }
a61af66fc99e Initial load
duke
parents:
diff changeset
511
a61af66fc99e Initial load
duke
parents:
diff changeset
512 frame caller_frame = me;
a61af66fc99e Initial load
duke
parents:
diff changeset
513
a61af66fc99e Initial load
duke
parents:
diff changeset
514 // Do the unpacking of interpreter frames; the frame at index 0 represents the top activation, so it has no callee
a61af66fc99e Initial load
duke
parents:
diff changeset
515
a61af66fc99e Initial load
duke
parents:
diff changeset
516 // Unpack the frames from the oldest (frames() -1) to the youngest (0)
a61af66fc99e Initial load
duke
parents:
diff changeset
517
a61af66fc99e Initial load
duke
parents:
diff changeset
518 for (index = frames() - 1; index >= 0 ; index--) {
a61af66fc99e Initial load
duke
parents:
diff changeset
519 int callee_parameters = index == 0 ? 0 : element(index-1)->method()->size_of_parameters();
a61af66fc99e Initial load
duke
parents:
diff changeset
520 int callee_locals = index == 0 ? 0 : element(index-1)->method()->max_locals();
a61af66fc99e Initial load
duke
parents:
diff changeset
521 element(index)->unpack_on_stack(callee_parameters,
a61af66fc99e Initial load
duke
parents:
diff changeset
522 callee_locals,
a61af66fc99e Initial load
duke
parents:
diff changeset
523 &caller_frame,
a61af66fc99e Initial load
duke
parents:
diff changeset
524 index == 0,
a61af66fc99e Initial load
duke
parents:
diff changeset
525 exec_mode);
a61af66fc99e Initial load
duke
parents:
diff changeset
526 if (index == frames() - 1) {
a61af66fc99e Initial load
duke
parents:
diff changeset
527 Deoptimization::unwind_callee_save_values(element(index)->iframe(), this);
a61af66fc99e Initial load
duke
parents:
diff changeset
528 }
a61af66fc99e Initial load
duke
parents:
diff changeset
529 caller_frame = *element(index)->iframe();
a61af66fc99e Initial load
duke
parents:
diff changeset
530 }
a61af66fc99e Initial load
duke
parents:
diff changeset
531
a61af66fc99e Initial load
duke
parents:
diff changeset
532
a61af66fc99e Initial load
duke
parents:
diff changeset
533 deallocate_monitor_chunks();
a61af66fc99e Initial load
duke
parents:
diff changeset
534 }
a61af66fc99e Initial load
duke
parents:
diff changeset
535
a61af66fc99e Initial load
duke
parents:
diff changeset
536 void vframeArray::deallocate_monitor_chunks() {
a61af66fc99e Initial load
duke
parents:
diff changeset
537 JavaThread* jt = JavaThread::current();
a61af66fc99e Initial load
duke
parents:
diff changeset
538 for (int index = 0; index < frames(); index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
539 element(index)->free_monitors(jt);
a61af66fc99e Initial load
duke
parents:
diff changeset
540 }
a61af66fc99e Initial load
duke
parents:
diff changeset
541 }
a61af66fc99e Initial load
duke
parents:
diff changeset
542
a61af66fc99e Initial load
duke
parents:
diff changeset
543 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
544
a61af66fc99e Initial load
duke
parents:
diff changeset
545 bool vframeArray::structural_compare(JavaThread* thread, GrowableArray<compiledVFrame*>* chunk) {
a61af66fc99e Initial load
duke
parents:
diff changeset
546 if (owner_thread() != thread) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
547 int index = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
548 #if 0 // FIXME can't do this comparison
a61af66fc99e Initial load
duke
parents:
diff changeset
549
a61af66fc99e Initial load
duke
parents:
diff changeset
550 // Compare only within vframe array.
a61af66fc99e Initial load
duke
parents:
diff changeset
551 for (deoptimizedVFrame* vf = deoptimizedVFrame::cast(vframe_at(first_index())); vf; vf = vf->deoptimized_sender_or_null()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
552 if (index >= chunk->length() || !vf->structural_compare(chunk->at(index))) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
553 index++;
a61af66fc99e Initial load
duke
parents:
diff changeset
554 }
a61af66fc99e Initial load
duke
parents:
diff changeset
555 if (index != chunk->length()) return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
556 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
557
a61af66fc99e Initial load
duke
parents:
diff changeset
558 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
559 }
a61af66fc99e Initial load
duke
parents:
diff changeset
560
a61af66fc99e Initial load
duke
parents:
diff changeset
561 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
562
a61af66fc99e Initial load
duke
parents:
diff changeset
563 address vframeArray::register_location(int i) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
564 assert(0 <= i && i < RegisterMap::reg_count, "index out of bounds");
a61af66fc99e Initial load
duke
parents:
diff changeset
565 return (address) & _callee_registers[i];
a61af66fc99e Initial load
duke
parents:
diff changeset
566 }
a61af66fc99e Initial load
duke
parents:
diff changeset
567
a61af66fc99e Initial load
duke
parents:
diff changeset
568
a61af66fc99e Initial load
duke
parents:
diff changeset
569 #ifndef PRODUCT
a61af66fc99e Initial load
duke
parents:
diff changeset
570
a61af66fc99e Initial load
duke
parents:
diff changeset
571 // Printing
a61af66fc99e Initial load
duke
parents:
diff changeset
572
a61af66fc99e Initial load
duke
parents:
diff changeset
573 // Note: we cannot have print_on as const, as we allocate inside the method
a61af66fc99e Initial load
duke
parents:
diff changeset
574 void vframeArray::print_on_2(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
575 st->print_cr(" - sp: " INTPTR_FORMAT, sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
576 st->print(" - thread: ");
a61af66fc99e Initial load
duke
parents:
diff changeset
577 Thread::current()->print();
a61af66fc99e Initial load
duke
parents:
diff changeset
578 st->print_cr(" - frame size: %d", frame_size());
a61af66fc99e Initial load
duke
parents:
diff changeset
579 for (int index = 0; index < frames() ; index++ ) {
a61af66fc99e Initial load
duke
parents:
diff changeset
580 element(index)->print(st);
a61af66fc99e Initial load
duke
parents:
diff changeset
581 }
a61af66fc99e Initial load
duke
parents:
diff changeset
582 }
a61af66fc99e Initial load
duke
parents:
diff changeset
583
a61af66fc99e Initial load
duke
parents:
diff changeset
584 void vframeArrayElement::print(outputStream* st) {
a61af66fc99e Initial load
duke
parents:
diff changeset
585 st->print_cr(" - interpreter_frame -> sp: ", INTPTR_FORMAT, iframe()->sp());
a61af66fc99e Initial load
duke
parents:
diff changeset
586 }
a61af66fc99e Initial load
duke
parents:
diff changeset
587
a61af66fc99e Initial load
duke
parents:
diff changeset
588 void vframeArray::print_value_on(outputStream* st) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
589 st->print_cr("vframeArray [%d] ", frames());
a61af66fc99e Initial load
duke
parents:
diff changeset
590 }
a61af66fc99e Initial load
duke
parents:
diff changeset
591
a61af66fc99e Initial load
duke
parents:
diff changeset
592
a61af66fc99e Initial load
duke
parents:
diff changeset
593 #endif