author | david |
Tue, 29 Sep 2015 11:02:08 +0200 | |
changeset 33105 | 294e48b4f704 |
parent 31790 | 4a08476437e8 |
child 33129 | e0bcbb5015b3 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
31019 | 2 |
* Copyright (c) 1999, 2015, Oracle and/or its affiliates. All rights reserved. |
1 | 3 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
4 |
* |
|
5 |
* This code is free software; you can redistribute it and/or modify it |
|
6 |
* under the terms of the GNU General Public License version 2 only, as |
|
7 |
* published by the Free Software Foundation. |
|
8 |
* |
|
9 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
10 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
11 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
12 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
13 |
* accompanied this code). |
|
14 |
* |
|
15 |
* You should have received a copy of the GNU General Public License version |
|
16 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
17 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
18 |
* |
|
5547
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4892
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4892
diff
changeset
|
20 |
* or visit www.oracle.com if you need additional information or have any |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
4892
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
26 |
#include "ci/ciCallProfile.hpp" |
|
27 |
#include "ci/ciExceptionHandler.hpp" |
|
28 |
#include "ci/ciInstanceKlass.hpp" |
|
29 |
#include "ci/ciMethod.hpp" |
|
30 |
#include "ci/ciMethodBlocks.hpp" |
|
31 |
#include "ci/ciMethodData.hpp" |
|
32 |
#include "ci/ciStreams.hpp" |
|
33 |
#include "ci/ciSymbol.hpp" |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
34 |
#include "ci/ciReplay.hpp" |
7397 | 35 |
#include "ci/ciUtilities.hpp" |
36 |
#include "classfile/systemDictionary.hpp" |
|
37 |
#include "compiler/abstractCompiler.hpp" |
|
38 |
#include "compiler/compilerOracle.hpp" |
|
39 |
#include "compiler/methodLiveness.hpp" |
|
40 |
#include "interpreter/interpreter.hpp" |
|
41 |
#include "interpreter/linkResolver.hpp" |
|
42 |
#include "interpreter/oopMapCache.hpp" |
|
43 |
#include "memory/allocation.inline.hpp" |
|
44 |
#include "memory/resourceArea.hpp" |
|
45 |
#include "oops/generateOopMap.hpp" |
|
46 |
#include "oops/oop.inline.hpp" |
|
47 |
#include "prims/nativeLookup.hpp" |
|
48 |
#include "runtime/deoptimization.hpp" |
|
49 |
#include "utilities/bitMap.inline.hpp" |
|
50 |
#include "utilities/xmlstream.hpp" |
|
29582 | 51 |
#include "trace/tracing.hpp" |
7397 | 52 |
#ifdef COMPILER2 |
53 |
#include "ci/bcEscapeAnalyzer.hpp" |
|
54 |
#include "ci/ciTypeFlow.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
55 |
#include "oops/method.hpp" |
7397 | 56 |
#endif |
57 |
#ifdef SHARK |
|
58 |
#include "ci/ciTypeFlow.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
59 |
#include "oops/method.hpp" |
7397 | 60 |
#endif |
1 | 61 |
|
62 |
// ciMethod |
|
63 |
// |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
64 |
// This class represents a Method* in the HotSpot virtual |
1 | 65 |
// machine. |
66 |
||
67 |
||
68 |
// ------------------------------------------------------------------ |
|
69 |
// ciMethod::ciMethod |
|
70 |
// |
|
71 |
// Loaded method. |
|
27644
f4aa22a934e4
8060147: SIGSEGV in Metadata::mark_on_stack() while marking metadata in ciEnv
vlivanov
parents:
27143
diff
changeset
|
72 |
ciMethod::ciMethod(methodHandle h_m, ciInstanceKlass* holder) : |
f4aa22a934e4
8060147: SIGSEGV in Metadata::mark_on_stack() while marking metadata in ciEnv
vlivanov
parents:
27143
diff
changeset
|
73 |
ciMetadata(h_m()), |
31228
8e427370cdd1
8074551: GWT can be marked non-compilable due to deopt count pollution
vlivanov
parents:
31019
diff
changeset
|
74 |
_holder(holder) |
27644
f4aa22a934e4
8060147: SIGSEGV in Metadata::mark_on_stack() while marking metadata in ciEnv
vlivanov
parents:
27143
diff
changeset
|
75 |
{ |
1 | 76 |
assert(h_m() != NULL, "no null method"); |
77 |
||
31790 | 78 |
if (LogTouchedMethods) { |
79 |
h_m()->log_touched(Thread::current()); |
|
80 |
} |
|
1 | 81 |
// These fields are always filled in in loaded methods. |
82 |
_flags = ciFlags(h_m()->access_flags()); |
|
83 |
||
84 |
// Easy to compute, so fill them in now. |
|
85 |
_max_stack = h_m()->max_stack(); |
|
86 |
_max_locals = h_m()->max_locals(); |
|
87 |
_code_size = h_m()->code_size(); |
|
88 |
_intrinsic_id = h_m()->intrinsic_id(); |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
89 |
_handler_count = h_m()->exception_table_length(); |
24018
77b156916bab
8032410: compiler/uncommontrap/TestStackBangRbp.java times out on Solaris-Sparc V9
roland
parents:
23525
diff
changeset
|
90 |
_size_of_parameters = h_m()->size_of_parameters(); |
1 | 91 |
_uses_monitors = h_m()->access_flags().has_monitor_bytecodes(); |
92 |
_balanced_monitors = !_uses_monitors || h_m()->access_flags().is_monitor_matching(); |
|
6453 | 93 |
_is_c1_compilable = !h_m()->is_not_c1_compilable(); |
94 |
_is_c2_compilable = !h_m()->is_not_c2_compilable(); |
|
1 | 95 |
// Lazy fields, filled in on demand. Require allocation. |
96 |
_code = NULL; |
|
97 |
_exception_handlers = NULL; |
|
98 |
_liveness = NULL; |
|
99 |
_method_blocks = NULL; |
|
6187 | 100 |
#if defined(COMPILER2) || defined(SHARK) |
1 | 101 |
_flow = NULL; |
5928
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
102 |
_bcea = NULL; |
6187 | 103 |
#endif // COMPILER2 || SHARK |
1 | 104 |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
2534
diff
changeset
|
105 |
ciEnv *env = CURRENT_ENV; |
6453 | 106 |
if (env->jvmti_can_hotswap_or_post_breakpoint() && can_be_compiled()) { |
1 | 107 |
// 6328518 check hotswap conditions under the right lock. |
108 |
MutexLocker locker(Compile_lock); |
|
109 |
if (Dependencies::check_evol_method(h_m()) != NULL) { |
|
6453 | 110 |
_is_c1_compilable = false; |
111 |
_is_c2_compilable = false; |
|
1 | 112 |
} |
113 |
} else { |
|
114 |
CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops()); |
|
115 |
} |
|
116 |
||
14391
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13728
diff
changeset
|
117 |
if (h_m()->method_holder()->is_linked()) { |
1 | 118 |
_can_be_statically_bound = h_m()->can_be_statically_bound(); |
119 |
} else { |
|
120 |
// Have to use a conservative value in this case. |
|
121 |
_can_be_statically_bound = false; |
|
122 |
} |
|
123 |
||
124 |
// Adjust the definition of this condition to be more useful: |
|
125 |
// %%% take these conditions into account in vtable generation |
|
126 |
if (!_can_be_statically_bound && h_m()->is_private()) |
|
127 |
_can_be_statically_bound = true; |
|
128 |
if (_can_be_statically_bound && h_m()->is_abstract()) |
|
129 |
_can_be_statically_bound = false; |
|
130 |
||
131 |
// generating _signature may allow GC and therefore move m. |
|
132 |
// These fields are always filled in. |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
133 |
_name = env->get_symbol(h_m()->name()); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
134 |
ciSymbol* sig_symbol = env->get_symbol(h_m()->signature()); |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
8676
diff
changeset
|
135 |
constantPoolHandle cpool = h_m()->constants(); |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
8676
diff
changeset
|
136 |
_signature = new (env->arena()) ciSignature(_holder, cpool, sig_symbol); |
1 | 137 |
_method_data = NULL; |
24442
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
138 |
_nmethod_age = h_m()->nmethod_age(); |
1 | 139 |
// Take a snapshot of these values, so they will be commensurate with the MDO. |
6453 | 140 |
if (ProfileInterpreter || TieredCompilation) { |
1 | 141 |
int invcnt = h_m()->interpreter_invocation_count(); |
142 |
// if the value overflowed report it as max int |
|
143 |
_interpreter_invocation_count = invcnt < 0 ? max_jint : invcnt ; |
|
144 |
_interpreter_throwout_count = h_m()->interpreter_throwout_count(); |
|
145 |
} else { |
|
146 |
_interpreter_invocation_count = 0; |
|
147 |
_interpreter_throwout_count = 0; |
|
148 |
} |
|
149 |
if (_interpreter_invocation_count == 0) |
|
150 |
_interpreter_invocation_count = 1; |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
151 |
_instructions_size = -1; |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
152 |
#ifdef ASSERT |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
153 |
if (ReplayCompiles) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
154 |
ciReplay::initialize(this); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
155 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
156 |
#endif |
1 | 157 |
} |
158 |
||
159 |
||
160 |
// ------------------------------------------------------------------ |
|
161 |
// ciMethod::ciMethod |
|
162 |
// |
|
163 |
// Unloaded method. |
|
164 |
ciMethod::ciMethod(ciInstanceKlass* holder, |
|
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
165 |
ciSymbol* name, |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
166 |
ciSymbol* signature, |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
167 |
ciInstanceKlass* accessor) : |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
168 |
ciMetadata((Metadata*)NULL), |
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
169 |
_name( name), |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
170 |
_holder( holder), |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
171 |
_intrinsic_id( vmIntrinsics::_none), |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
172 |
_liveness( NULL), |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
173 |
_can_be_statically_bound(false), |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
174 |
_method_blocks( NULL), |
31228
8e427370cdd1
8074551: GWT can be marked non-compilable due to deopt count pollution
vlivanov
parents:
31019
diff
changeset
|
175 |
_method_data( NULL) |
6187 | 176 |
#if defined(COMPILER2) || defined(SHARK) |
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
177 |
, |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
178 |
_flow( NULL), |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
179 |
_bcea( NULL), |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
180 |
_instructions_size(-1) |
6187 | 181 |
#endif // COMPILER2 || SHARK |
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
182 |
{ |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
183 |
// Usually holder and accessor are the same type but in some cases |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
184 |
// the holder has the wrong class loader (e.g. invokedynamic call |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
185 |
// sites) so we pass the accessor. |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10506
diff
changeset
|
186 |
_signature = new (CURRENT_ENV->arena()) ciSignature(accessor, constantPoolHandle(), signature); |
1 | 187 |
} |
188 |
||
189 |
||
190 |
// ------------------------------------------------------------------ |
|
191 |
// ciMethod::load_code |
|
192 |
// |
|
193 |
// Load the bytecodes and exception handler table for this method. |
|
194 |
void ciMethod::load_code() { |
|
195 |
VM_ENTRY_MARK; |
|
196 |
assert(is_loaded(), "only loaded methods have code"); |
|
197 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
198 |
Method* me = get_Method(); |
1 | 199 |
Arena* arena = CURRENT_THREAD_ENV->arena(); |
200 |
||
201 |
// Load the bytecodes. |
|
202 |
_code = (address)arena->Amalloc(code_size()); |
|
203 |
memcpy(_code, me->code_base(), code_size()); |
|
204 |
||
205 |
// Revert any breakpoint bytecodes in ci's copy |
|
200
88d83617f912
6498878: client compiler crashes on windows when dealing with breakpoint instructions
kvn
parents:
1
diff
changeset
|
206 |
if (me->number_of_breakpoints() > 0) { |
14391
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13728
diff
changeset
|
207 |
BreakpointInfo* bp = me->method_holder()->breakpoints(); |
1 | 208 |
for (; bp != NULL; bp = bp->next()) { |
209 |
if (bp->match(me)) { |
|
210 |
code_at_put(bp->bci(), bp->orig_bytecode()); |
|
211 |
} |
|
212 |
} |
|
213 |
} |
|
214 |
||
215 |
// And load the exception table. |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
216 |
ExceptionTable exc_table(me); |
1 | 217 |
|
218 |
// Allocate one extra spot in our list of exceptions. This |
|
219 |
// last entry will be used to represent the possibility that |
|
220 |
// an exception escapes the method. See ciExceptionHandlerStream |
|
221 |
// for details. |
|
222 |
_exception_handlers = |
|
223 |
(ciExceptionHandler**)arena->Amalloc(sizeof(ciExceptionHandler*) |
|
224 |
* (_handler_count + 1)); |
|
225 |
if (_handler_count > 0) { |
|
226 |
for (int i=0; i<_handler_count; i++) { |
|
227 |
_exception_handlers[i] = new (arena) ciExceptionHandler( |
|
228 |
holder(), |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
229 |
/* start */ exc_table.start_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
230 |
/* limit */ exc_table.end_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
231 |
/* goto pc */ exc_table.handler_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
232 |
/* cp index */ exc_table.catch_type_index(i)); |
1 | 233 |
} |
234 |
} |
|
235 |
||
236 |
// Put an entry at the end of our list to represent the possibility |
|
237 |
// of exceptional exit. |
|
238 |
_exception_handlers[_handler_count] = |
|
239 |
new (arena) ciExceptionHandler(holder(), 0, code_size(), -1, 0); |
|
240 |
||
241 |
if (CIPrintMethodCodes) { |
|
242 |
print_codes(); |
|
243 |
} |
|
244 |
} |
|
245 |
||
246 |
||
247 |
// ------------------------------------------------------------------ |
|
248 |
// ciMethod::has_linenumber_table |
|
249 |
// |
|
250 |
// length unknown until decompression |
|
251 |
bool ciMethod::has_linenumber_table() const { |
|
252 |
check_is_loaded(); |
|
253 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
254 |
return get_Method()->has_linenumber_table(); |
1 | 255 |
} |
256 |
||
257 |
||
258 |
// ------------------------------------------------------------------ |
|
259 |
// ciMethod::compressed_linenumber_table |
|
260 |
u_char* ciMethod::compressed_linenumber_table() const { |
|
261 |
check_is_loaded(); |
|
262 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
263 |
return get_Method()->compressed_linenumber_table(); |
1 | 264 |
} |
265 |
||
266 |
||
267 |
// ------------------------------------------------------------------ |
|
268 |
// ciMethod::line_number_from_bci |
|
269 |
int ciMethod::line_number_from_bci(int bci) const { |
|
270 |
check_is_loaded(); |
|
271 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
272 |
return get_Method()->line_number_from_bci(bci); |
1 | 273 |
} |
274 |
||
275 |
||
276 |
// ------------------------------------------------------------------ |
|
277 |
// ciMethod::vtable_index |
|
278 |
// |
|
279 |
// Get the position of this method's entry in the vtable, if any. |
|
280 |
int ciMethod::vtable_index() { |
|
281 |
check_is_loaded(); |
|
282 |
assert(holder()->is_linked(), "must be linked"); |
|
283 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
284 |
return get_Method()->vtable_index(); |
1 | 285 |
} |
286 |
||
287 |
||
6187 | 288 |
#ifdef SHARK |
289 |
// ------------------------------------------------------------------ |
|
290 |
// ciMethod::itable_index |
|
291 |
// |
|
292 |
// Get the position of this method's entry in the itable, if any. |
|
293 |
int ciMethod::itable_index() { |
|
294 |
check_is_loaded(); |
|
295 |
assert(holder()->is_linked(), "must be linked"); |
|
296 |
VM_ENTRY_MARK; |
|
20017
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
297 |
Method* m = get_Method(); |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
298 |
if (!m->has_itable_index()) |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
299 |
return Method::nonvirtual_vtable_index; |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
300 |
return m->itable_index(); |
6187 | 301 |
} |
302 |
#endif // SHARK |
|
303 |
||
304 |
||
1 | 305 |
// ------------------------------------------------------------------ |
306 |
// ciMethod::native_entry |
|
307 |
// |
|
308 |
// Get the address of this method's native code, if any. |
|
309 |
address ciMethod::native_entry() { |
|
310 |
check_is_loaded(); |
|
311 |
assert(flags().is_native(), "must be native method"); |
|
312 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
313 |
Method* method = get_Method(); |
1 | 314 |
address entry = method->native_function(); |
315 |
assert(entry != NULL, "must be valid entry point"); |
|
316 |
return entry; |
|
317 |
} |
|
318 |
||
319 |
||
320 |
// ------------------------------------------------------------------ |
|
321 |
// ciMethod::interpreter_entry |
|
322 |
// |
|
323 |
// Get the entry point for running this method in the interpreter. |
|
324 |
address ciMethod::interpreter_entry() { |
|
325 |
check_is_loaded(); |
|
326 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
327 |
methodHandle mh(THREAD, get_Method()); |
1 | 328 |
return Interpreter::entry_for_method(mh); |
329 |
} |
|
330 |
||
331 |
||
332 |
// ------------------------------------------------------------------ |
|
333 |
// ciMethod::uses_balanced_monitors |
|
334 |
// |
|
335 |
// Does this method use monitors in a strict stack-disciplined manner? |
|
336 |
bool ciMethod::has_balanced_monitors() { |
|
337 |
check_is_loaded(); |
|
338 |
if (_balanced_monitors) return true; |
|
339 |
||
340 |
// Analyze the method to see if monitors are used properly. |
|
341 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
342 |
methodHandle method(THREAD, get_Method()); |
1 | 343 |
assert(method->has_monitor_bytecodes(), "should have checked this"); |
344 |
||
345 |
// Check to see if a previous compilation computed the |
|
346 |
// monitor-matching analysis. |
|
347 |
if (method->guaranteed_monitor_matching()) { |
|
348 |
_balanced_monitors = true; |
|
349 |
return true; |
|
350 |
} |
|
351 |
||
352 |
{ |
|
353 |
EXCEPTION_MARK; |
|
354 |
ResourceMark rm(THREAD); |
|
355 |
GeneratePairingInfo gpi(method); |
|
356 |
gpi.compute_map(CATCH); |
|
357 |
if (!gpi.monitor_safe()) { |
|
358 |
return false; |
|
359 |
} |
|
360 |
method->set_guaranteed_monitor_matching(); |
|
361 |
_balanced_monitors = true; |
|
362 |
} |
|
363 |
return true; |
|
364 |
} |
|
365 |
||
366 |
||
367 |
// ------------------------------------------------------------------ |
|
368 |
// ciMethod::get_flow_analysis |
|
369 |
ciTypeFlow* ciMethod::get_flow_analysis() { |
|
6187 | 370 |
#if defined(COMPILER2) || defined(SHARK) |
1 | 371 |
if (_flow == NULL) { |
372 |
ciEnv* env = CURRENT_ENV; |
|
373 |
_flow = new (env->arena()) ciTypeFlow(env, this); |
|
374 |
_flow->do_flow(); |
|
375 |
} |
|
376 |
return _flow; |
|
6187 | 377 |
#else // COMPILER2 || SHARK |
1 | 378 |
ShouldNotReachHere(); |
379 |
return NULL; |
|
6187 | 380 |
#endif // COMPILER2 || SHARK |
1 | 381 |
} |
382 |
||
383 |
||
384 |
// ------------------------------------------------------------------ |
|
385 |
// ciMethod::get_osr_flow_analysis |
|
386 |
ciTypeFlow* ciMethod::get_osr_flow_analysis(int osr_bci) { |
|
6187 | 387 |
#if defined(COMPILER2) || defined(SHARK) |
1 | 388 |
// OSR entry points are always place after a call bytecode of some sort |
389 |
assert(osr_bci >= 0, "must supply valid OSR entry point"); |
|
390 |
ciEnv* env = CURRENT_ENV; |
|
391 |
ciTypeFlow* flow = new (env->arena()) ciTypeFlow(env, this, osr_bci); |
|
392 |
flow->do_flow(); |
|
393 |
return flow; |
|
6187 | 394 |
#else // COMPILER2 || SHARK |
1 | 395 |
ShouldNotReachHere(); |
396 |
return NULL; |
|
6187 | 397 |
#endif // COMPILER2 || SHARK |
1 | 398 |
} |
399 |
||
400 |
// ------------------------------------------------------------------ |
|
3910 | 401 |
// ciMethod::raw_liveness_at_bci |
1 | 402 |
// |
403 |
// Which local variables are live at a specific bci? |
|
3910 | 404 |
MethodLivenessResult ciMethod::raw_liveness_at_bci(int bci) { |
1 | 405 |
check_is_loaded(); |
406 |
if (_liveness == NULL) { |
|
407 |
// Create the liveness analyzer. |
|
408 |
Arena* arena = CURRENT_ENV->arena(); |
|
409 |
_liveness = new (arena) MethodLiveness(arena, this); |
|
410 |
_liveness->compute_liveness(); |
|
411 |
} |
|
3910 | 412 |
return _liveness->get_liveness_at(bci); |
413 |
} |
|
414 |
||
415 |
// ------------------------------------------------------------------ |
|
416 |
// ciMethod::liveness_at_bci |
|
417 |
// |
|
418 |
// Which local variables are live at a specific bci? When debugging |
|
419 |
// will return true for all locals in some cases to improve debug |
|
420 |
// information. |
|
421 |
MethodLivenessResult ciMethod::liveness_at_bci(int bci) { |
|
422 |
MethodLivenessResult result = raw_liveness_at_bci(bci); |
|
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
423 |
if (CURRENT_ENV->should_retain_local_variables() || DeoptimizeALot || CompileTheWorld) { |
1 | 424 |
// Keep all locals live for the user's edification and amusement. |
425 |
result.at_put_range(0, result.size(), true); |
|
426 |
} |
|
427 |
return result; |
|
428 |
} |
|
429 |
||
430 |
// ciMethod::live_local_oops_at_bci |
|
431 |
// |
|
432 |
// find all the live oops in the locals array for a particular bci |
|
433 |
// Compute what the interpreter believes by using the interpreter |
|
434 |
// oopmap generator. This is used as a double check during osr to |
|
435 |
// guard against conservative result from MethodLiveness making us |
|
436 |
// think a dead oop is live. MethodLiveness is conservative in the |
|
437 |
// sense that it may consider locals to be live which cannot be live, |
|
438 |
// like in the case where a local could contain an oop or a primitive |
|
439 |
// along different paths. In that case the local must be dead when |
|
440 |
// those paths merge. Since the interpreter's viewpoint is used when |
|
441 |
// gc'ing an interpreter frame we need to use its viewpoint during |
|
442 |
// OSR when loading the locals. |
|
443 |
||
444 |
BitMap ciMethod::live_local_oops_at_bci(int bci) { |
|
445 |
VM_ENTRY_MARK; |
|
446 |
InterpreterOopMap mask; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
447 |
OopMapCache::compute_one_oop_map(get_Method(), bci, &mask); |
1 | 448 |
int mask_size = max_locals(); |
449 |
BitMap result(mask_size); |
|
450 |
result.clear(); |
|
451 |
int i; |
|
452 |
for (i = 0; i < mask_size ; i++ ) { |
|
453 |
if (mask.is_oop(i)) result.set_bit(i); |
|
454 |
} |
|
455 |
return result; |
|
456 |
} |
|
457 |
||
458 |
||
459 |
#ifdef COMPILER1 |
|
460 |
// ------------------------------------------------------------------ |
|
461 |
// ciMethod::bci_block_start |
|
462 |
// |
|
463 |
// Marks all bcis where a new basic block starts |
|
464 |
const BitMap ciMethod::bci_block_start() { |
|
465 |
check_is_loaded(); |
|
466 |
if (_liveness == NULL) { |
|
467 |
// Create the liveness analyzer. |
|
468 |
Arena* arena = CURRENT_ENV->arena(); |
|
469 |
_liveness = new (arena) MethodLiveness(arena, this); |
|
470 |
_liveness->compute_liveness(); |
|
471 |
} |
|
472 |
||
473 |
return _liveness->get_bci_block_start(); |
|
474 |
} |
|
475 |
#endif // COMPILER1 |
|
476 |
||
477 |
||
478 |
// ------------------------------------------------------------------ |
|
479 |
// ciMethod::call_profile_at_bci |
|
480 |
// |
|
481 |
// Get the ciCallProfile for the invocation of this method. |
|
482 |
// Also reports receiver types for non-call type checks (if TypeProfileCasts). |
|
483 |
ciCallProfile ciMethod::call_profile_at_bci(int bci) { |
|
484 |
ResourceMark rm; |
|
485 |
ciCallProfile result; |
|
486 |
if (method_data() != NULL && method_data()->is_mature()) { |
|
487 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
488 |
if (data != NULL && data->is_CounterData()) { |
|
489 |
// Every profiled call site has a counter. |
|
490 |
int count = data->as_CounterData()->count(); |
|
491 |
||
492 |
if (!data->is_ReceiverTypeData()) { |
|
493 |
result._receiver_count[0] = 0; // that's a definite zero |
|
494 |
} else { // ReceiverTypeData is a subclass of CounterData |
|
495 |
ciReceiverTypeData* call = (ciReceiverTypeData*)data->as_ReceiverTypeData(); |
|
496 |
// In addition, virtual call sites have receiver type information |
|
497 |
int receivers_count_total = 0; |
|
498 |
int morphism = 0; |
|
6453 | 499 |
// Precompute morphism for the possible fixup |
1 | 500 |
for (uint i = 0; i < call->row_limit(); i++) { |
501 |
ciKlass* receiver = call->receiver(i); |
|
502 |
if (receiver == NULL) continue; |
|
6453 | 503 |
morphism++; |
504 |
} |
|
505 |
int epsilon = 0; |
|
506 |
if (TieredCompilation && ProfileInterpreter) { |
|
507 |
// Interpreter and C1 treat final and special invokes differently. |
|
508 |
// C1 will record a type, whereas the interpreter will just |
|
509 |
// increment the count. Detect this case. |
|
510 |
if (morphism == 1 && count > 0) { |
|
511 |
epsilon = count; |
|
512 |
count = 0; |
|
513 |
} |
|
514 |
} |
|
515 |
for (uint i = 0; i < call->row_limit(); i++) { |
|
516 |
ciKlass* receiver = call->receiver(i); |
|
517 |
if (receiver == NULL) continue; |
|
518 |
int rcount = call->receiver_count(i) + epsilon; |
|
1 | 519 |
if (rcount == 0) rcount = 1; // Should be valid value |
520 |
receivers_count_total += rcount; |
|
521 |
// Add the receiver to result data. |
|
522 |
result.add_receiver(receiver, rcount); |
|
523 |
// If we extend profiling to record methods, |
|
524 |
// we will set result._method also. |
|
525 |
} |
|
526 |
// Determine call site's morphism. |
|
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
527 |
// The call site count is 0 with known morphism (onlt 1 or 2 receivers) |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
528 |
// or < 0 in the case of a type check failured for checkcast, aastore, instanceof. |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
529 |
// The call site count is > 0 in the case of a polymorphic virtual call. |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
530 |
if (morphism > 0 && morphism == result._limit) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
531 |
// The morphism <= MorphismLimit. |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
532 |
if ((morphism < ciCallProfile::MorphismLimit) || |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
533 |
(morphism == ciCallProfile::MorphismLimit && count == 0)) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
534 |
#ifdef ASSERT |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
535 |
if (count > 0) { |
4892
e977b527544a
6923002: assert(false,"this call site should not be polymorphic")
kvn
parents:
4754
diff
changeset
|
536 |
this->print_short_name(tty); |
e977b527544a
6923002: assert(false,"this call site should not be polymorphic")
kvn
parents:
4754
diff
changeset
|
537 |
tty->print_cr(" @ bci:%d", bci); |
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
538 |
this->print_codes(); |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
539 |
assert(false, "this call site should not be polymorphic"); |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
540 |
} |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
541 |
#endif |
1 | 542 |
result._morphism = morphism; |
543 |
} |
|
544 |
} |
|
545 |
// Make the count consistent if this is a call profile. If count is |
|
546 |
// zero or less, presume that this is a typecheck profile and |
|
547 |
// do nothing. Otherwise, increase count to be the sum of all |
|
548 |
// receiver's counts. |
|
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
549 |
if (count >= 0) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
550 |
count += receivers_count_total; |
1 | 551 |
} |
552 |
} |
|
553 |
result._count = count; |
|
554 |
} |
|
555 |
} |
|
556 |
return result; |
|
557 |
} |
|
558 |
||
559 |
// ------------------------------------------------------------------ |
|
560 |
// Add new receiver and sort data by receiver's profile count. |
|
561 |
void ciCallProfile::add_receiver(ciKlass* receiver, int receiver_count) { |
|
562 |
// Add new receiver and sort data by receiver's counts when we have space |
|
563 |
// for it otherwise replace the less called receiver (less called receiver |
|
564 |
// is placed to the last array element which is not used). |
|
565 |
// First array's element contains most called receiver. |
|
566 |
int i = _limit; |
|
567 |
for (; i > 0 && receiver_count > _receiver_count[i-1]; i--) { |
|
568 |
_receiver[i] = _receiver[i-1]; |
|
569 |
_receiver_count[i] = _receiver_count[i-1]; |
|
570 |
} |
|
571 |
_receiver[i] = receiver; |
|
572 |
_receiver_count[i] = receiver_count; |
|
573 |
if (_limit < MorphismLimit) _limit++; |
|
574 |
} |
|
575 |
||
21099 | 576 |
|
577 |
void ciMethod::assert_virtual_call_type_ok(int bci) { |
|
578 |
assert(java_code_at_bci(bci) == Bytecodes::_invokevirtual || |
|
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
31790
diff
changeset
|
579 |
java_code_at_bci(bci) == Bytecodes::_invokeinterface, "unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))); |
21099 | 580 |
} |
581 |
||
582 |
void ciMethod::assert_call_type_ok(int bci) { |
|
583 |
assert(java_code_at_bci(bci) == Bytecodes::_invokestatic || |
|
584 |
java_code_at_bci(bci) == Bytecodes::_invokespecial || |
|
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
31790
diff
changeset
|
585 |
java_code_at_bci(bci) == Bytecodes::_invokedynamic, "unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))); |
21099 | 586 |
} |
587 |
||
588 |
/** |
|
589 |
* Check whether profiling provides a type for the argument i to the |
|
590 |
* call at bci bci |
|
591 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
592 |
* @param [in]bci bci of the call |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
593 |
* @param [in]i argument number |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
594 |
* @param [out]type profiled type of argument, NULL if none |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
595 |
* @param [out]maybe_null true if null was seen for argument |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
596 |
* @return true if profiling exists |
21099 | 597 |
* |
598 |
*/ |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
599 |
bool ciMethod::argument_profiled_type(int bci, int i, ciKlass*& type, bool& maybe_null) { |
21099 | 600 |
if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) { |
601 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
602 |
if (data != NULL) { |
|
603 |
if (data->is_VirtualCallTypeData()) { |
|
604 |
assert_virtual_call_type_ok(bci); |
|
605 |
ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData(); |
|
606 |
if (i >= call->number_of_arguments()) { |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
607 |
return false; |
21099 | 608 |
} |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
609 |
type = call->valid_argument_type(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
610 |
maybe_null = call->argument_maybe_null(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
611 |
return true; |
21099 | 612 |
} else if (data->is_CallTypeData()) { |
613 |
assert_call_type_ok(bci); |
|
614 |
ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData(); |
|
615 |
if (i >= call->number_of_arguments()) { |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
616 |
return false; |
21099 | 617 |
} |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
618 |
type = call->valid_argument_type(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
619 |
maybe_null = call->argument_maybe_null(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
620 |
return true; |
21099 | 621 |
} |
622 |
} |
|
623 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
624 |
return false; |
21099 | 625 |
} |
626 |
||
627 |
/** |
|
628 |
* Check whether profiling provides a type for the return value from |
|
629 |
* the call at bci bci |
|
630 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
631 |
* @param [in]bci bci of the call |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
632 |
* @param [out]type profiled type of argument, NULL if none |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
633 |
* @param [out]maybe_null true if null was seen for argument |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
634 |
* @return true if profiling exists |
21099 | 635 |
* |
636 |
*/ |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
637 |
bool ciMethod::return_profiled_type(int bci, ciKlass*& type, bool& maybe_null) { |
21099 | 638 |
if (MethodData::profile_return() && method_data() != NULL && method_data()->is_mature()) { |
639 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
640 |
if (data != NULL) { |
|
641 |
if (data->is_VirtualCallTypeData()) { |
|
642 |
assert_virtual_call_type_ok(bci); |
|
643 |
ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData(); |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
644 |
type = call->valid_return_type(); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
645 |
maybe_null = call->return_maybe_null(); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
646 |
return true; |
21099 | 647 |
} else if (data->is_CallTypeData()) { |
648 |
assert_call_type_ok(bci); |
|
649 |
ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData(); |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
650 |
type = call->valid_return_type(); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
651 |
maybe_null = call->return_maybe_null(); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
652 |
return true; |
21099 | 653 |
} |
654 |
} |
|
655 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
656 |
return false; |
21099 | 657 |
} |
658 |
||
659 |
/** |
|
660 |
* Check whether profiling provides a type for the parameter i |
|
661 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
662 |
* @param [in]i parameter number |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
663 |
* @param [out]type profiled type of parameter, NULL if none |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
664 |
* @param [out]maybe_null true if null was seen for parameter |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
665 |
* @return true if profiling exists |
21099 | 666 |
* |
667 |
*/ |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
668 |
bool ciMethod::parameter_profiled_type(int i, ciKlass*& type, bool& maybe_null) { |
21099 | 669 |
if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) { |
670 |
ciParametersTypeData* parameters = method_data()->parameters_type_data(); |
|
671 |
if (parameters != NULL && i < parameters->number_of_parameters()) { |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
672 |
type = parameters->valid_parameter_type(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
673 |
maybe_null = parameters->parameter_maybe_null(i); |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
674 |
return true; |
21099 | 675 |
} |
676 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
677 |
return false; |
21099 | 678 |
} |
679 |
||
680 |
||
1 | 681 |
// ------------------------------------------------------------------ |
682 |
// ciMethod::find_monomorphic_target |
|
683 |
// |
|
684 |
// Given a certain calling environment, find the monomorphic target |
|
685 |
// for the call. Return NULL if the call is not monomorphic in |
|
686 |
// its calling environment, or if there are only abstract methods. |
|
687 |
// The returned method is never abstract. |
|
688 |
// Note: If caller uses a non-null result, it must inform dependencies |
|
689 |
// via assert_unique_concrete_method or assert_leaf_type. |
|
690 |
ciMethod* ciMethod::find_monomorphic_target(ciInstanceKlass* caller, |
|
691 |
ciInstanceKlass* callee_holder, |
|
30223
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
692 |
ciInstanceKlass* actual_recv, |
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
693 |
bool check_access) { |
1 | 694 |
check_is_loaded(); |
695 |
||
696 |
if (actual_recv->is_interface()) { |
|
697 |
// %%% We cannot trust interface types, yet. See bug 6312651. |
|
698 |
return NULL; |
|
699 |
} |
|
700 |
||
30223
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
701 |
ciMethod* root_m = resolve_invoke(caller, actual_recv, check_access); |
1 | 702 |
if (root_m == NULL) { |
703 |
// Something went wrong looking up the actual receiver method. |
|
704 |
return NULL; |
|
705 |
} |
|
706 |
assert(!root_m->is_abstract(), "resolve_invoke promise"); |
|
707 |
||
708 |
// Make certain quick checks even if UseCHA is false. |
|
709 |
||
710 |
// Is it private or final? |
|
711 |
if (root_m->can_be_statically_bound()) { |
|
712 |
return root_m; |
|
713 |
} |
|
714 |
||
715 |
if (actual_recv->is_leaf_type() && actual_recv == root_m->holder()) { |
|
716 |
// Easy case. There is no other place to put a method, so don't bother |
|
717 |
// to go through the VM_ENTRY_MARK and all the rest. |
|
718 |
return root_m; |
|
719 |
} |
|
720 |
||
721 |
// Array methods (clone, hashCode, etc.) are always statically bound. |
|
722 |
// If we were to see an array type here, we'd return root_m. |
|
723 |
// However, this method processes only ciInstanceKlasses. (See 4962591.) |
|
724 |
// The inline_native_clone intrinsic narrows Object to T[] properly, |
|
725 |
// so there is no need to do the same job here. |
|
726 |
||
727 |
if (!UseCHA) return NULL; |
|
728 |
||
729 |
VM_ENTRY_MARK; |
|
730 |
||
23194
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
731 |
// Disable CHA for default methods for now |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
732 |
if (root_m->get_Method()->is_default_method()) { |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
733 |
return NULL; |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
734 |
} |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
735 |
|
1 | 736 |
methodHandle target; |
737 |
{ |
|
738 |
MutexLocker locker(Compile_lock); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
739 |
Klass* context = actual_recv->get_Klass(); |
1 | 740 |
target = Dependencies::find_unique_concrete_method(context, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
741 |
root_m->get_Method()); |
1 | 742 |
// %%% Should upgrade this ciMethod API to look for 1 or 2 concrete methods. |
743 |
} |
|
744 |
||
745 |
#ifndef PRODUCT |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
746 |
if (TraceDependencies && target() != NULL && target() != root_m->get_Method()) { |
1 | 747 |
tty->print("found a non-root unique target method"); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
748 |
tty->print_cr(" context = %s", InstanceKlass::cast(actual_recv->get_Klass())->external_name()); |
1 | 749 |
tty->print(" method = "); |
750 |
target->print_short_name(tty); |
|
751 |
tty->cr(); |
|
752 |
} |
|
753 |
#endif //PRODUCT |
|
754 |
||
755 |
if (target() == NULL) { |
|
756 |
return NULL; |
|
757 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
758 |
if (target() == root_m->get_Method()) { |
1 | 759 |
return root_m; |
760 |
} |
|
761 |
if (!root_m->is_public() && |
|
762 |
!root_m->is_protected()) { |
|
763 |
// If we are going to reason about inheritance, it's easiest |
|
764 |
// if the method in question is public, protected, or private. |
|
765 |
// If the answer is not root_m, it is conservatively correct |
|
766 |
// to return NULL, even if the CHA encountered irrelevant |
|
767 |
// methods in other packages. |
|
768 |
// %%% TO DO: Work out logic for package-private methods |
|
769 |
// with the same name but different vtable indexes. |
|
770 |
return NULL; |
|
771 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
772 |
return CURRENT_THREAD_ENV->get_method(target()); |
1 | 773 |
} |
774 |
||
775 |
// ------------------------------------------------------------------ |
|
776 |
// ciMethod::resolve_invoke |
|
777 |
// |
|
778 |
// Given a known receiver klass, find the target for the call. |
|
779 |
// Return NULL if the call has no target or the target is abstract. |
|
30223
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
780 |
ciMethod* ciMethod::resolve_invoke(ciKlass* caller, ciKlass* exact_receiver, bool check_access) { |
1 | 781 |
check_is_loaded(); |
782 |
VM_ENTRY_MARK; |
|
783 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
784 |
KlassHandle caller_klass (THREAD, caller->get_Klass()); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
785 |
KlassHandle h_recv (THREAD, exact_receiver->get_Klass()); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
786 |
KlassHandle h_resolved (THREAD, holder()->get_Klass()); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
787 |
Symbol* h_name = name()->get_symbol(); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
788 |
Symbol* h_signature = signature()->get_symbol(); |
1 | 789 |
|
31019 | 790 |
LinkInfo link_info(h_resolved, h_name, h_signature, caller_klass, check_access); |
1 | 791 |
methodHandle m; |
792 |
// Only do exact lookup if receiver klass has been linked. Otherwise, |
|
793 |
// the vtable has not been setup, and the LinkResolver will fail. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
794 |
if (h_recv->oop_is_array() |
1 | 795 |
|| |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
796 |
InstanceKlass::cast(h_recv())->is_linked() && !exact_receiver->is_interface()) { |
1 | 797 |
if (holder()->is_interface()) { |
31019 | 798 |
m = LinkResolver::resolve_interface_call_or_null(h_recv, link_info); |
1 | 799 |
} else { |
31019 | 800 |
m = LinkResolver::resolve_virtual_call_or_null(h_recv, link_info); |
1 | 801 |
} |
802 |
} |
|
803 |
||
804 |
if (m.is_null()) { |
|
805 |
// Return NULL only if there was a problem with lookup (uninitialized class, etc.) |
|
806 |
return NULL; |
|
807 |
} |
|
808 |
||
809 |
ciMethod* result = this; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
810 |
if (m() != get_Method()) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
811 |
result = CURRENT_THREAD_ENV->get_method(m()); |
1 | 812 |
} |
813 |
||
814 |
// Don't return abstract methods because they aren't |
|
815 |
// optimizable or interesting. |
|
816 |
if (result->is_abstract()) { |
|
817 |
return NULL; |
|
818 |
} else { |
|
819 |
return result; |
|
820 |
} |
|
821 |
} |
|
822 |
||
823 |
// ------------------------------------------------------------------ |
|
824 |
// ciMethod::resolve_vtable_index |
|
825 |
// |
|
826 |
// Given a known receiver klass, find the vtable index for the call. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
827 |
// Return Method::invalid_vtable_index if the vtable_index is unknown. |
1 | 828 |
int ciMethod::resolve_vtable_index(ciKlass* caller, ciKlass* receiver) { |
829 |
check_is_loaded(); |
|
830 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
831 |
int vtable_index = Method::invalid_vtable_index; |
1 | 832 |
// Only do lookup if receiver klass has been linked. Otherwise, |
833 |
// the vtable has not been setup, and the LinkResolver will fail. |
|
834 |
if (!receiver->is_interface() |
|
835 |
&& (!receiver->is_instance_klass() || |
|
836 |
receiver->as_instance_klass()->is_linked())) { |
|
837 |
VM_ENTRY_MARK; |
|
838 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
839 |
KlassHandle caller_klass (THREAD, caller->get_Klass()); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
840 |
KlassHandle h_recv (THREAD, receiver->get_Klass()); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
841 |
Symbol* h_name = name()->get_symbol(); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
842 |
Symbol* h_signature = signature()->get_symbol(); |
1 | 843 |
|
31019 | 844 |
LinkInfo link_info(h_recv, h_name, h_signature, caller_klass); |
845 |
vtable_index = LinkResolver::resolve_virtual_vtable_index(h_recv, link_info); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
846 |
if (vtable_index == Method::nonvirtual_vtable_index) { |
1 | 847 |
// A statically bound method. Return "no such index". |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
848 |
vtable_index = Method::invalid_vtable_index; |
1 | 849 |
} |
850 |
} |
|
851 |
||
852 |
return vtable_index; |
|
853 |
} |
|
854 |
||
855 |
// ------------------------------------------------------------------ |
|
856 |
// ciMethod::interpreter_call_site_count |
|
857 |
int ciMethod::interpreter_call_site_count(int bci) { |
|
858 |
if (method_data() != NULL) { |
|
859 |
ResourceMark rm; |
|
860 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
861 |
if (data != NULL && data->is_CounterData()) { |
|
862 |
return scale_count(data->as_CounterData()->count()); |
|
863 |
} |
|
864 |
} |
|
865 |
return -1; // unknown |
|
866 |
} |
|
867 |
||
868 |
// ------------------------------------------------------------------ |
|
14621
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
869 |
// ciMethod::get_field_at_bci |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
870 |
ciField* ciMethod::get_field_at_bci(int bci, bool &will_link) { |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
871 |
ciBytecodeStream iter(this); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
872 |
iter.reset_to_bci(bci); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
873 |
iter.next(); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
874 |
return iter.get_field(will_link); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
875 |
} |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
876 |
|
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
877 |
// ------------------------------------------------------------------ |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
878 |
// ciMethod::get_method_at_bci |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
879 |
ciMethod* ciMethod::get_method_at_bci(int bci, bool &will_link, ciSignature* *declared_signature) { |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
880 |
ciBytecodeStream iter(this); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
881 |
iter.reset_to_bci(bci); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
882 |
iter.next(); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
883 |
return iter.get_method(will_link, declared_signature); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
884 |
} |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
885 |
|
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
886 |
// ------------------------------------------------------------------ |
1 | 887 |
// Adjust a CounterData count to be commensurate with |
888 |
// interpreter_invocation_count. If the MDO exists for |
|
889 |
// only 25% of the time the method exists, then the |
|
890 |
// counts in the MDO should be scaled by 4X, so that |
|
891 |
// they can be usefully and stably compared against the |
|
892 |
// invocation counts in methods. |
|
893 |
int ciMethod::scale_count(int count, float prof_factor) { |
|
894 |
if (count > 0 && method_data() != NULL) { |
|
6453 | 895 |
int counter_life; |
1 | 896 |
int method_life = interpreter_invocation_count(); |
6453 | 897 |
if (TieredCompilation) { |
898 |
// In tiered the MDO's life is measured directly, so just use the snapshotted counters |
|
899 |
counter_life = MAX2(method_data()->invocation_count(), method_data()->backedge_count()); |
|
900 |
} else { |
|
901 |
int current_mileage = method_data()->current_mileage(); |
|
902 |
int creation_mileage = method_data()->creation_mileage(); |
|
903 |
counter_life = current_mileage - creation_mileage; |
|
904 |
} |
|
905 |
||
1 | 906 |
// counter_life due to backedge_counter could be > method_life |
907 |
if (counter_life > method_life) |
|
908 |
counter_life = method_life; |
|
909 |
if (0 < counter_life && counter_life <= method_life) { |
|
910 |
count = (int)((double)count * prof_factor * method_life / counter_life + 0.5); |
|
911 |
count = (count > 0) ? count : 1; |
|
912 |
} |
|
913 |
} |
|
914 |
return count; |
|
915 |
} |
|
916 |
||
16617
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
917 |
|
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
918 |
// ------------------------------------------------------------------ |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
919 |
// ciMethod::is_special_get_caller_class_method |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
920 |
// |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
921 |
bool ciMethod::is_ignored_by_security_stack_walk() const { |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
922 |
check_is_loaded(); |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
923 |
VM_ENTRY_MARK; |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
924 |
return get_Method()->is_ignored_by_security_stack_walk(); |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
925 |
} |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
926 |
|
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
927 |
|
1 | 928 |
// ------------------------------------------------------------------ |
2534 | 929 |
// invokedynamic support |
5687 | 930 |
|
931 |
// ------------------------------------------------------------------ |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
932 |
// ciMethod::is_method_handle_intrinsic |
2534 | 933 |
// |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
934 |
// Return true if the method is an instance of the JVM-generated |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
935 |
// signature-polymorphic MethodHandle methods, _invokeBasic, _linkToVirtual, etc. |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
936 |
bool ciMethod::is_method_handle_intrinsic() const { |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
937 |
vmIntrinsics::ID iid = _intrinsic_id; // do not check if loaded |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
938 |
return (MethodHandles::is_signature_polymorphic(iid) && |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
939 |
MethodHandles::is_signature_polymorphic_intrinsic(iid)); |
2534 | 940 |
} |
941 |
||
5687 | 942 |
// ------------------------------------------------------------------ |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
943 |
// ciMethod::is_compiled_lambda_form |
5687 | 944 |
// |
945 |
// Return true if the method is a generated MethodHandle adapter. |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
946 |
// These are built by Java code. |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
947 |
bool ciMethod::is_compiled_lambda_form() const { |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
948 |
vmIntrinsics::ID iid = _intrinsic_id; // do not check if loaded |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
949 |
return iid == vmIntrinsics::_compiledLambdaForm; |
4581
e89fbd1bcb3d
6914206: change way of permission checking for generated MethodHandle adapters
twisti
parents:
4566
diff
changeset
|
950 |
} |
e89fbd1bcb3d
6914206: change way of permission checking for generated MethodHandle adapters
twisti
parents:
4566
diff
changeset
|
951 |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
952 |
// ------------------------------------------------------------------ |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
953 |
// ciMethod::has_member_arg |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
954 |
// |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
955 |
// Return true if the method is a linker intrinsic like _linkToVirtual. |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
956 |
// These are built by the JVM. |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
957 |
bool ciMethod::has_member_arg() const { |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
958 |
vmIntrinsics::ID iid = _intrinsic_id; // do not check if loaded |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
959 |
return (MethodHandles::is_signature_polymorphic(iid) && |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
960 |
MethodHandles::has_member_arg(iid)); |
2534 | 961 |
} |
962 |
||
963 |
// ------------------------------------------------------------------ |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
964 |
// ciMethod::ensure_method_data |
1 | 965 |
// |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
966 |
// Generate new MethodData* objects at compile time. |
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
967 |
// Return true if allocation was successful or no MDO is required. |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
968 |
bool ciMethod::ensure_method_data(methodHandle h_m) { |
1 | 969 |
EXCEPTION_CONTEXT; |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
970 |
if (is_native() || is_abstract() || h_m()->is_accessor()) { |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
971 |
return true; |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
972 |
} |
1 | 973 |
if (h_m()->method_data() == NULL) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
974 |
Method::build_interpreter_method_data(h_m, THREAD); |
1 | 975 |
if (HAS_PENDING_EXCEPTION) { |
976 |
CLEAR_PENDING_EXCEPTION; |
|
977 |
} |
|
978 |
} |
|
979 |
if (h_m()->method_data() != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
980 |
_method_data = CURRENT_ENV->get_method_data(h_m()->method_data()); |
1 | 981 |
_method_data->load_data(); |
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
982 |
return true; |
1 | 983 |
} else { |
984 |
_method_data = CURRENT_ENV->get_empty_methodData(); |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
985 |
return false; |
1 | 986 |
} |
987 |
} |
|
988 |
||
989 |
// public, retroactive version |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
990 |
bool ciMethod::ensure_method_data() { |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
991 |
bool result = true; |
1 | 992 |
if (_method_data == NULL || _method_data->is_empty()) { |
993 |
GUARDED_VM_ENTRY({ |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
994 |
result = ensure_method_data(get_Method()); |
1 | 995 |
}); |
996 |
} |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
997 |
return result; |
1 | 998 |
} |
999 |
||
1000 |
||
1001 |
// ------------------------------------------------------------------ |
|
1002 |
// ciMethod::method_data |
|
1003 |
// |
|
1004 |
ciMethodData* ciMethod::method_data() { |
|
1005 |
if (_method_data != NULL) { |
|
1006 |
return _method_data; |
|
1007 |
} |
|
1008 |
VM_ENTRY_MARK; |
|
1009 |
ciEnv* env = CURRENT_ENV; |
|
1010 |
Thread* my_thread = JavaThread::current(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1011 |
methodHandle h_m(my_thread, get_Method()); |
1 | 1012 |
|
1013 |
if (h_m()->method_data() != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1014 |
_method_data = CURRENT_ENV->get_method_data(h_m()->method_data()); |
1 | 1015 |
_method_data->load_data(); |
1016 |
} else { |
|
1017 |
_method_data = CURRENT_ENV->get_empty_methodData(); |
|
1018 |
} |
|
1019 |
return _method_data; |
|
1020 |
||
1021 |
} |
|
1022 |
||
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1023 |
// ------------------------------------------------------------------ |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1024 |
// ciMethod::method_data_or_null |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1025 |
// Returns a pointer to ciMethodData if MDO exists on the VM side, |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1026 |
// NULL otherwise. |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1027 |
ciMethodData* ciMethod::method_data_or_null() { |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1028 |
ciMethodData *md = method_data(); |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1029 |
if (md->is_empty()) { |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1030 |
return NULL; |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1031 |
} |
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1032 |
return md; |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1033 |
} |
1 | 1034 |
|
1035 |
// ------------------------------------------------------------------ |
|
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1036 |
// ciMethod::ensure_method_counters |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1037 |
// |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1038 |
MethodCounters* ciMethod::ensure_method_counters() { |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1039 |
check_is_loaded(); |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1040 |
VM_ENTRY_MARK; |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1041 |
methodHandle mh(THREAD, get_Method()); |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1042 |
MethodCounters* method_counters = mh->get_method_counters(CHECK_NULL); |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1043 |
return method_counters; |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1044 |
} |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1045 |
|
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1046 |
// ------------------------------------------------------------------ |
1 | 1047 |
// ciMethod::should_exclude |
1048 |
// |
|
1049 |
// Should this method be excluded from compilation? |
|
1050 |
bool ciMethod::should_exclude() { |
|
1051 |
check_is_loaded(); |
|
1052 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1053 |
methodHandle mh(THREAD, get_Method()); |
1 | 1054 |
bool ignore; |
1055 |
return CompilerOracle::should_exclude(mh, ignore); |
|
1056 |
} |
|
1057 |
||
1058 |
// ------------------------------------------------------------------ |
|
1059 |
// ciMethod::should_inline |
|
1060 |
// |
|
1061 |
// Should this method be inlined during compilation? |
|
1062 |
bool ciMethod::should_inline() { |
|
1063 |
check_is_loaded(); |
|
1064 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1065 |
methodHandle mh(THREAD, get_Method()); |
1 | 1066 |
return CompilerOracle::should_inline(mh); |
1067 |
} |
|
1068 |
||
1069 |
// ------------------------------------------------------------------ |
|
1070 |
// ciMethod::should_not_inline |
|
1071 |
// |
|
1072 |
// Should this method be disallowed from inlining during compilation? |
|
1073 |
bool ciMethod::should_not_inline() { |
|
1074 |
check_is_loaded(); |
|
1075 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1076 |
methodHandle mh(THREAD, get_Method()); |
1 | 1077 |
return CompilerOracle::should_not_inline(mh); |
1078 |
} |
|
1079 |
||
1080 |
// ------------------------------------------------------------------ |
|
1081 |
// ciMethod::should_print_assembly |
|
1082 |
// |
|
1083 |
// Should the compiler print the generated code for this method? |
|
1084 |
bool ciMethod::should_print_assembly() { |
|
1085 |
check_is_loaded(); |
|
1086 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1087 |
methodHandle mh(THREAD, get_Method()); |
1 | 1088 |
return CompilerOracle::should_print(mh); |
1089 |
} |
|
1090 |
||
1091 |
// ------------------------------------------------------------------ |
|
1092 |
// ciMethod::break_at_execute |
|
1093 |
// |
|
1094 |
// Should the compiler insert a breakpoint into the generated code |
|
1095 |
// method? |
|
1096 |
bool ciMethod::break_at_execute() { |
|
1097 |
check_is_loaded(); |
|
1098 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1099 |
methodHandle mh(THREAD, get_Method()); |
1 | 1100 |
return CompilerOracle::should_break_at(mh); |
1101 |
} |
|
1102 |
||
1103 |
// ------------------------------------------------------------------ |
|
1104 |
// ciMethod::has_option |
|
1105 |
// |
|
1106 |
bool ciMethod::has_option(const char* option) { |
|
1107 |
check_is_loaded(); |
|
1108 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1109 |
methodHandle mh(THREAD, get_Method()); |
1 | 1110 |
return CompilerOracle::has_option_string(mh, option); |
1111 |
} |
|
1112 |
||
1113 |
// ------------------------------------------------------------------ |
|
26433 | 1114 |
// ciMethod::has_option_value |
1115 |
// |
|
1116 |
template<typename T> |
|
1117 |
bool ciMethod::has_option_value(const char* option, T& value) { |
|
1118 |
check_is_loaded(); |
|
1119 |
VM_ENTRY_MARK; |
|
1120 |
methodHandle mh(THREAD, get_Method()); |
|
1121 |
return CompilerOracle::has_option_value(mh, option, value); |
|
1122 |
} |
|
1123 |
// Explicit instantiation for all OptionTypes supported. |
|
1124 |
template bool ciMethod::has_option_value<intx>(const char* option, intx& value); |
|
1125 |
template bool ciMethod::has_option_value<uintx>(const char* option, uintx& value); |
|
1126 |
template bool ciMethod::has_option_value<bool>(const char* option, bool& value); |
|
1127 |
template bool ciMethod::has_option_value<ccstr>(const char* option, ccstr& value); |
|
27143
feee4a6106bc
8059847: complement JDK-8055286 and JDK-8056964 changes
anoll
parents:
26433
diff
changeset
|
1128 |
template bool ciMethod::has_option_value<double>(const char* option, double& value); |
26433 | 1129 |
|
1130 |
// ------------------------------------------------------------------ |
|
1 | 1131 |
// ciMethod::can_be_compiled |
1132 |
// |
|
1133 |
// Have previous compilations of this method succeeded? |
|
1134 |
bool ciMethod::can_be_compiled() { |
|
1135 |
check_is_loaded(); |
|
6453 | 1136 |
ciEnv* env = CURRENT_ENV; |
1137 |
if (is_c1_compile(env->comp_level())) { |
|
1138 |
return _is_c1_compilable; |
|
1139 |
} |
|
1140 |
return _is_c2_compilable; |
|
1 | 1141 |
} |
1142 |
||
1143 |
// ------------------------------------------------------------------ |
|
1144 |
// ciMethod::set_not_compilable |
|
1145 |
// |
|
1146 |
// Tell the VM that this method cannot be compiled at all. |
|
15479 | 1147 |
void ciMethod::set_not_compilable(const char* reason) { |
1 | 1148 |
check_is_loaded(); |
1149 |
VM_ENTRY_MARK; |
|
6453 | 1150 |
ciEnv* env = CURRENT_ENV; |
1151 |
if (is_c1_compile(env->comp_level())) { |
|
1152 |
_is_c1_compilable = false; |
|
1153 |
} else { |
|
1154 |
_is_c2_compilable = false; |
|
1155 |
} |
|
15479 | 1156 |
get_Method()->set_not_compilable(env->comp_level(), true, reason); |
1 | 1157 |
} |
1158 |
||
1159 |
// ------------------------------------------------------------------ |
|
1160 |
// ciMethod::can_be_osr_compiled |
|
1161 |
// |
|
1162 |
// Have previous compilations of this method succeeded? |
|
1163 |
// |
|
1164 |
// Implementation note: the VM does not currently keep track |
|
1165 |
// of failed OSR compilations per bci. The entry_bci parameter |
|
1166 |
// is currently unused. |
|
1167 |
bool ciMethod::can_be_osr_compiled(int entry_bci) { |
|
1168 |
check_is_loaded(); |
|
1169 |
VM_ENTRY_MARK; |
|
6453 | 1170 |
ciEnv* env = CURRENT_ENV; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1171 |
return !get_Method()->is_not_osr_compilable(env->comp_level()); |
1 | 1172 |
} |
1173 |
||
1174 |
// ------------------------------------------------------------------ |
|
1175 |
// ciMethod::has_compiled_code |
|
1176 |
bool ciMethod::has_compiled_code() { |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1177 |
return instructions_size() > 0; |
1 | 1178 |
} |
1179 |
||
6453 | 1180 |
int ciMethod::comp_level() { |
1181 |
check_is_loaded(); |
|
1182 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1183 |
nmethod* nm = get_Method()->code(); |
6453 | 1184 |
if (nm != NULL) return nm->comp_level(); |
1185 |
return 0; |
|
1186 |
} |
|
1187 |
||
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1188 |
int ciMethod::highest_osr_comp_level() { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1189 |
check_is_loaded(); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1190 |
VM_ENTRY_MARK; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1191 |
return get_Method()->highest_osr_comp_level(); |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1192 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1193 |
|
1 | 1194 |
// ------------------------------------------------------------------ |
10506
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1195 |
// ciMethod::code_size_for_inlining |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1196 |
// |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1197 |
// Code size for inlining decisions. This method returns a code |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1198 |
// size of 1 for methods which has the ForceInline annotation. |
10506
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1199 |
int ciMethod::code_size_for_inlining() { |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1200 |
check_is_loaded(); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1201 |
if (get_Method()->force_inline()) { |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1202 |
return 1; |
10506
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1203 |
} |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1204 |
return code_size(); |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1205 |
} |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1206 |
|
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1207 |
// ------------------------------------------------------------------ |
1 | 1208 |
// ciMethod::instructions_size |
6418 | 1209 |
// |
1210 |
// This is a rough metric for "fat" methods, compared before inlining |
|
1211 |
// with InlineSmallCode. The CodeBlob::code_size accessor includes |
|
1212 |
// junk like exception handler, stubs, and constant table, which are |
|
1213 |
// not highly relevant to an inlined method. So we use the more |
|
1214 |
// specific accessor nmethod::insts_size. |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1215 |
int ciMethod::instructions_size() { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1216 |
if (_instructions_size == -1) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1217 |
GUARDED_VM_ENTRY( |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1218 |
nmethod* code = get_Method()->code(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1219 |
if (code != NULL && (code->comp_level() == CompLevel_full_optimization)) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1220 |
_instructions_size = code->insts_end() - code->verified_entry_point(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1221 |
} else { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1222 |
_instructions_size = 0; |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1223 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1224 |
); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1225 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1226 |
return _instructions_size; |
1 | 1227 |
} |
1228 |
||
1229 |
// ------------------------------------------------------------------ |
|
1230 |
// ciMethod::log_nmethod_identity |
|
1231 |
void ciMethod::log_nmethod_identity(xmlStream* log) { |
|
1232 |
GUARDED_VM_ENTRY( |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1233 |
nmethod* code = get_Method()->code(); |
1 | 1234 |
if (code != NULL) { |
1235 |
code->log_identity(log); |
|
1236 |
} |
|
1237 |
) |
|
1238 |
} |
|
1239 |
||
1240 |
// ------------------------------------------------------------------ |
|
1241 |
// ciMethod::is_not_reached |
|
1242 |
bool ciMethod::is_not_reached(int bci) { |
|
1243 |
check_is_loaded(); |
|
1244 |
VM_ENTRY_MARK; |
|
1245 |
return Interpreter::is_not_reached( |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1246 |
methodHandle(THREAD, get_Method()), bci); |
1 | 1247 |
} |
1248 |
||
1249 |
// ------------------------------------------------------------------ |
|
1250 |
// ciMethod::was_never_executed |
|
1251 |
bool ciMethod::was_executed_more_than(int times) { |
|
1252 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1253 |
return get_Method()->was_executed_more_than(times); |
1 | 1254 |
} |
1255 |
||
1256 |
// ------------------------------------------------------------------ |
|
1257 |
// ciMethod::has_unloaded_classes_in_signature |
|
1258 |
bool ciMethod::has_unloaded_classes_in_signature() { |
|
1259 |
VM_ENTRY_MARK; |
|
1260 |
{ |
|
1261 |
EXCEPTION_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1262 |
methodHandle m(THREAD, get_Method()); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1263 |
bool has_unloaded = Method::has_unloaded_classes_in_signature(m, (JavaThread *)THREAD); |
1 | 1264 |
if( HAS_PENDING_EXCEPTION ) { |
1265 |
CLEAR_PENDING_EXCEPTION; |
|
1266 |
return true; // Declare that we may have unloaded classes |
|
1267 |
} |
|
1268 |
return has_unloaded; |
|
1269 |
} |
|
1270 |
} |
|
1271 |
||
1272 |
// ------------------------------------------------------------------ |
|
1273 |
// ciMethod::is_klass_loaded |
|
1274 |
bool ciMethod::is_klass_loaded(int refinfo_index, bool must_be_resolved) const { |
|
1275 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1276 |
return get_Method()->is_klass_loaded(refinfo_index, must_be_resolved); |
1 | 1277 |
} |
1278 |
||
1279 |
// ------------------------------------------------------------------ |
|
1280 |
// ciMethod::check_call |
|
1281 |
bool ciMethod::check_call(int refinfo_index, bool is_static) const { |
|
20017
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
1282 |
// This method is used only in C2 from InlineTree::ok_to_inline, |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
1283 |
// and is only used under -Xcomp or -XX:CompileTheWorld. |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
1284 |
// It appears to fail when applied to an invokeinterface call site. |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
1285 |
// FIXME: Remove this method and resolve_method_statically; refactor to use the other LinkResolver entry points. |
1 | 1286 |
VM_ENTRY_MARK; |
1287 |
{ |
|
1288 |
EXCEPTION_MARK; |
|
1289 |
HandleMark hm(THREAD); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1290 |
constantPoolHandle pool (THREAD, get_Method()->constants()); |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1291 |
Bytecodes::Code code = (is_static ? Bytecodes::_invokestatic : Bytecodes::_invokevirtual); |
31019 | 1292 |
methodHandle spec_method = LinkResolver::resolve_method_statically(code, pool, refinfo_index, THREAD); |
1 | 1293 |
if (HAS_PENDING_EXCEPTION) { |
1294 |
CLEAR_PENDING_EXCEPTION; |
|
1295 |
return false; |
|
1296 |
} else { |
|
1297 |
return (spec_method->is_static() == is_static); |
|
1298 |
} |
|
1299 |
} |
|
1300 |
return false; |
|
1301 |
} |
|
1302 |
||
1303 |
// ------------------------------------------------------------------ |
|
24442
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1304 |
// ciMethod::profile_aging |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1305 |
// |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1306 |
// Should the method be compiled with an age counter? |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1307 |
bool ciMethod::profile_aging() const { |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1308 |
return UseCodeAging && (!MethodCounters::is_nmethod_hot(nmethod_age()) && |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1309 |
!MethodCounters::is_nmethod_age_unset(nmethod_age())); |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1310 |
} |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1311 |
// ------------------------------------------------------------------ |
1 | 1312 |
// ciMethod::print_codes |
1313 |
// |
|
1314 |
// Print the bytecodes for this method. |
|
1315 |
void ciMethod::print_codes_on(outputStream* st) { |
|
1316 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1317 |
GUARDED_VM_ENTRY(get_Method()->print_codes_on(st);) |
1 | 1318 |
} |
1319 |
||
1320 |
||
1321 |
#define FETCH_FLAG_FROM_VM(flag_accessor) { \ |
|
1322 |
check_is_loaded(); \ |
|
1323 |
VM_ENTRY_MARK; \ |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1324 |
return get_Method()->flag_accessor(); \ |
1 | 1325 |
} |
1326 |
||
1327 |
bool ciMethod::is_empty_method() const { FETCH_FLAG_FROM_VM(is_empty_method); } |
|
1328 |
bool ciMethod::is_vanilla_constructor() const { FETCH_FLAG_FROM_VM(is_vanilla_constructor); } |
|
1329 |
bool ciMethod::has_loops () const { FETCH_FLAG_FROM_VM(has_loops); } |
|
1330 |
bool ciMethod::has_jsrs () const { FETCH_FLAG_FROM_VM(has_jsrs); } |
|
1331 |
bool ciMethod::is_accessor () const { FETCH_FLAG_FROM_VM(is_accessor); } |
|
1332 |
bool ciMethod::is_initializer () const { FETCH_FLAG_FROM_VM(is_initializer); } |
|
1333 |
||
17383 | 1334 |
bool ciMethod::is_boxing_method() const { |
1335 |
if (holder()->is_box_klass()) { |
|
1336 |
switch (intrinsic_id()) { |
|
1337 |
case vmIntrinsics::_Boolean_valueOf: |
|
1338 |
case vmIntrinsics::_Byte_valueOf: |
|
1339 |
case vmIntrinsics::_Character_valueOf: |
|
1340 |
case vmIntrinsics::_Short_valueOf: |
|
1341 |
case vmIntrinsics::_Integer_valueOf: |
|
1342 |
case vmIntrinsics::_Long_valueOf: |
|
1343 |
case vmIntrinsics::_Float_valueOf: |
|
1344 |
case vmIntrinsics::_Double_valueOf: |
|
1345 |
return true; |
|
1346 |
default: |
|
1347 |
return false; |
|
1348 |
} |
|
1349 |
} |
|
1350 |
return false; |
|
1351 |
} |
|
1352 |
||
1353 |
bool ciMethod::is_unboxing_method() const { |
|
1354 |
if (holder()->is_box_klass()) { |
|
1355 |
switch (intrinsic_id()) { |
|
1356 |
case vmIntrinsics::_booleanValue: |
|
1357 |
case vmIntrinsics::_byteValue: |
|
1358 |
case vmIntrinsics::_charValue: |
|
1359 |
case vmIntrinsics::_shortValue: |
|
1360 |
case vmIntrinsics::_intValue: |
|
1361 |
case vmIntrinsics::_longValue: |
|
1362 |
case vmIntrinsics::_floatValue: |
|
1363 |
case vmIntrinsics::_doubleValue: |
|
1364 |
return true; |
|
1365 |
default: |
|
1366 |
return false; |
|
1367 |
} |
|
1368 |
} |
|
1369 |
return false; |
|
1370 |
} |
|
1371 |
||
1 | 1372 |
BCEscapeAnalyzer *ciMethod::get_bcea() { |
5928
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1373 |
#ifdef COMPILER2 |
1 | 1374 |
if (_bcea == NULL) { |
1375 |
_bcea = new (CURRENT_ENV->arena()) BCEscapeAnalyzer(this, NULL); |
|
1376 |
} |
|
1377 |
return _bcea; |
|
5928
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1378 |
#else // COMPILER2 |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1379 |
ShouldNotReachHere(); |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1380 |
return NULL; |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1381 |
#endif // COMPILER2 |
1 | 1382 |
} |
1383 |
||
1384 |
ciMethodBlocks *ciMethod::get_method_blocks() { |
|
1385 |
Arena *arena = CURRENT_ENV->arena(); |
|
1386 |
if (_method_blocks == NULL) { |
|
1387 |
_method_blocks = new (arena) ciMethodBlocks(arena, this); |
|
1388 |
} |
|
1389 |
return _method_blocks; |
|
1390 |
} |
|
1391 |
||
1392 |
#undef FETCH_FLAG_FROM_VM |
|
1393 |
||
22243 | 1394 |
void ciMethod::dump_name_as_ascii(outputStream* st) { |
1395 |
Method* method = get_Method(); |
|
1396 |
st->print("%s %s %s", |
|
1397 |
method->klass_name()->as_quoted_ascii(), |
|
1398 |
method->name()->as_quoted_ascii(), |
|
1399 |
method->signature()->as_quoted_ascii()); |
|
1400 |
} |
|
1401 |
||
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1402 |
void ciMethod::dump_replay_data(outputStream* st) { |
15471
41f75023e6a6
8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents:
14621
diff
changeset
|
1403 |
ResourceMark rm; |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1404 |
Method* method = get_Method(); |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1405 |
MethodCounters* mcs = method->method_counters(); |
22243 | 1406 |
st->print("ciMethod "); |
1407 |
dump_name_as_ascii(st); |
|
1408 |
st->print_cr(" %d %d %d %d %d", |
|
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1409 |
mcs == NULL ? 0 : mcs->invocation_counter()->raw_counter(), |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1410 |
mcs == NULL ? 0 : mcs->backedge_counter()->raw_counter(), |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1411 |
interpreter_invocation_count(), |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1412 |
interpreter_throwout_count(), |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1413 |
_instructions_size); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1414 |
} |
1 | 1415 |
|
1416 |
// ------------------------------------------------------------------ |
|
1417 |
// ciMethod::print_codes |
|
1418 |
// |
|
1419 |
// Print a range of the bytecodes for this method. |
|
1420 |
void ciMethod::print_codes_on(int from, int to, outputStream* st) { |
|
1421 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1422 |
GUARDED_VM_ENTRY(get_Method()->print_codes_on(from, to, st);) |
1 | 1423 |
} |
1424 |
||
1425 |
// ------------------------------------------------------------------ |
|
1426 |
// ciMethod::print_name |
|
1427 |
// |
|
1428 |
// Print the name of this method, including signature and some flags. |
|
1429 |
void ciMethod::print_name(outputStream* st) { |
|
1430 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1431 |
GUARDED_VM_ENTRY(get_Method()->print_name(st);) |
1 | 1432 |
} |
1433 |
||
1434 |
// ------------------------------------------------------------------ |
|
1435 |
// ciMethod::print_short_name |
|
1436 |
// |
|
1437 |
// Print the name of this method, without signature. |
|
1438 |
void ciMethod::print_short_name(outputStream* st) { |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1439 |
if (is_loaded()) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1440 |
GUARDED_VM_ENTRY(get_Method()->print_short_name(st);); |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1441 |
} else { |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1442 |
// Fall back if method is not loaded. |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1443 |
holder()->print_name_on(st); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1444 |
st->print("::"); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1445 |
name()->print_symbol_on(st); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1446 |
if (WizardMode) |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1447 |
signature()->as_symbol()->print_symbol_on(st); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1448 |
} |
1 | 1449 |
} |
1450 |
||
1451 |
// ------------------------------------------------------------------ |
|
1452 |
// ciMethod::print_impl |
|
1453 |
// |
|
1454 |
// Implementation of the print method. |
|
1455 |
void ciMethod::print_impl(outputStream* st) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1456 |
ciMetadata::print_impl(st); |
1 | 1457 |
st->print(" name="); |
1458 |
name()->print_symbol_on(st); |
|
1459 |
st->print(" holder="); |
|
1460 |
holder()->print_name_on(st); |
|
1461 |
st->print(" signature="); |
|
1462 |
signature()->as_symbol()->print_symbol_on(st); |
|
1463 |
if (is_loaded()) { |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
1464 |
st->print(" loaded=true"); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
1465 |
st->print(" arg_size=%d", arg_size()); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
1466 |
st->print(" flags="); |
1 | 1467 |
flags().print_member_flags(st); |
1468 |
} else { |
|
1469 |
st->print(" loaded=false"); |
|
1470 |
} |
|
1471 |
} |
|
29582 | 1472 |
|
1473 |
#if INCLUDE_TRACE |
|
1474 |
TraceStructCiMethod ciMethod::to_trace_struct() const { |
|
1475 |
TraceStructCiMethod result; |
|
1476 |
result.set_class(holder()->name()->as_utf8()); |
|
1477 |
result.set_name(name()->as_utf8()); |
|
1478 |
result.set_signature(signature()->as_symbol()->as_utf8()); |
|
1479 |
return result; |
|
1480 |
} |
|
1481 |
#endif |