author | erikj |
Tue, 12 Sep 2017 19:03:39 +0200 | |
changeset 47216 | 71c04702a3d5 |
parent 46727 | hotspot/src/share/vm/ci/ciMethod.cpp@6e4a84748e2c |
child 47687 | fb290fd1f9d4 |
permissions | -rw-r--r-- |
1 | 1 |
/* |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
2 |
* Copyright (c) 1999, 2017, 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/methodLiveness.hpp" |
|
39 |
#include "interpreter/interpreter.hpp" |
|
40 |
#include "interpreter/linkResolver.hpp" |
|
41 |
#include "interpreter/oopMapCache.hpp" |
|
42 |
#include "memory/allocation.inline.hpp" |
|
43 |
#include "memory/resourceArea.hpp" |
|
44 |
#include "oops/generateOopMap.hpp" |
|
45 |
#include "oops/oop.inline.hpp" |
|
46 |
#include "prims/nativeLookup.hpp" |
|
47 |
#include "runtime/deoptimization.hpp" |
|
48 |
#include "utilities/bitMap.inline.hpp" |
|
49 |
#include "utilities/xmlstream.hpp" |
|
29582 | 50 |
#include "trace/tracing.hpp" |
7397 | 51 |
#ifdef COMPILER2 |
52 |
#include "ci/bcEscapeAnalyzer.hpp" |
|
53 |
#include "ci/ciTypeFlow.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
54 |
#include "oops/method.hpp" |
7397 | 55 |
#endif |
56 |
#ifdef SHARK |
|
57 |
#include "ci/ciTypeFlow.hpp" |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
58 |
#include "oops/method.hpp" |
7397 | 59 |
#endif |
1 | 60 |
|
61 |
// ciMethod |
|
62 |
// |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
63 |
// This class represents a Method* in the HotSpot virtual |
1 | 64 |
// machine. |
65 |
||
66 |
||
67 |
// ------------------------------------------------------------------ |
|
68 |
// ciMethod::ciMethod |
|
69 |
// |
|
70 |
// Loaded method. |
|
46727
6e4a84748e2c
8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents:
46630
diff
changeset
|
71 |
ciMethod::ciMethod(const methodHandle& h_m, ciInstanceKlass* holder) : |
27644
f4aa22a934e4
8060147: SIGSEGV in Metadata::mark_on_stack() while marking metadata in ciEnv
vlivanov
parents:
27143
diff
changeset
|
72 |
ciMetadata(h_m()), |
31228
8e427370cdd1
8074551: GWT can be marked non-compilable due to deopt count pollution
vlivanov
parents:
31019
diff
changeset
|
73 |
_holder(holder) |
27644
f4aa22a934e4
8060147: SIGSEGV in Metadata::mark_on_stack() while marking metadata in ciEnv
vlivanov
parents:
27143
diff
changeset
|
74 |
{ |
1 | 75 |
assert(h_m() != NULL, "no null method"); |
76 |
||
31790 | 77 |
if (LogTouchedMethods) { |
78 |
h_m()->log_touched(Thread::current()); |
|
79 |
} |
|
1 | 80 |
// These fields are always filled in in loaded methods. |
81 |
_flags = ciFlags(h_m()->access_flags()); |
|
82 |
||
83 |
// Easy to compute, so fill them in now. |
|
84 |
_max_stack = h_m()->max_stack(); |
|
85 |
_max_locals = h_m()->max_locals(); |
|
86 |
_code_size = h_m()->code_size(); |
|
87 |
_intrinsic_id = h_m()->intrinsic_id(); |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
88 |
_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
|
89 |
_size_of_parameters = h_m()->size_of_parameters(); |
1 | 90 |
_uses_monitors = h_m()->access_flags().has_monitor_bytecodes(); |
91 |
_balanced_monitors = !_uses_monitors || h_m()->access_flags().is_monitor_matching(); |
|
6453 | 92 |
_is_c1_compilable = !h_m()->is_not_c1_compilable(); |
93 |
_is_c2_compilable = !h_m()->is_not_c2_compilable(); |
|
35071
a0910b1d3e0d
8046936: JEP 270: Reserved Stack Areas for Critical Sections
fparain
parents:
34317
diff
changeset
|
94 |
_has_reserved_stack_access = h_m()->has_reserved_stack_access(); |
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 |
||
38059
86ab3f0a9f87
8148195: Some InstanceKlass and MethodCounters fields can be excluded when JVMTI is not supported
cjplummer
parents:
35071
diff
changeset
|
205 |
#if INCLUDE_JVMTI |
1 | 206 |
// 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
|
207 |
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
|
208 |
BreakpointInfo* bp = me->method_holder()->breakpoints(); |
1 | 209 |
for (; bp != NULL; bp = bp->next()) { |
210 |
if (bp->match(me)) { |
|
211 |
code_at_put(bp->bci(), bp->orig_bytecode()); |
|
212 |
} |
|
213 |
} |
|
214 |
} |
|
38059
86ab3f0a9f87
8148195: Some InstanceKlass and MethodCounters fields can be excluded when JVMTI is not supported
cjplummer
parents:
35071
diff
changeset
|
215 |
#endif |
1 | 216 |
|
217 |
// And load the exception table. |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
218 |
ExceptionTable exc_table(me); |
1 | 219 |
|
220 |
// Allocate one extra spot in our list of exceptions. This |
|
221 |
// last entry will be used to represent the possibility that |
|
222 |
// an exception escapes the method. See ciExceptionHandlerStream |
|
223 |
// for details. |
|
224 |
_exception_handlers = |
|
225 |
(ciExceptionHandler**)arena->Amalloc(sizeof(ciExceptionHandler*) |
|
226 |
* (_handler_count + 1)); |
|
227 |
if (_handler_count > 0) { |
|
228 |
for (int i=0; i<_handler_count; i++) { |
|
229 |
_exception_handlers[i] = new (arena) ciExceptionHandler( |
|
230 |
holder(), |
|
13282
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
231 |
/* start */ exc_table.start_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
232 |
/* limit */ exc_table.end_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
233 |
/* goto pc */ exc_table.handler_pc(i), |
9872915dd78d
7178145: Change constMethodOop::_exception_table to optionally inlined u2 table.
jiangli
parents:
10734
diff
changeset
|
234 |
/* cp index */ exc_table.catch_type_index(i)); |
1 | 235 |
} |
236 |
} |
|
237 |
||
238 |
// Put an entry at the end of our list to represent the possibility |
|
239 |
// of exceptional exit. |
|
240 |
_exception_handlers[_handler_count] = |
|
241 |
new (arena) ciExceptionHandler(holder(), 0, code_size(), -1, 0); |
|
242 |
||
243 |
if (CIPrintMethodCodes) { |
|
244 |
print_codes(); |
|
245 |
} |
|
246 |
} |
|
247 |
||
248 |
||
249 |
// ------------------------------------------------------------------ |
|
250 |
// ciMethod::has_linenumber_table |
|
251 |
// |
|
252 |
// length unknown until decompression |
|
253 |
bool ciMethod::has_linenumber_table() const { |
|
254 |
check_is_loaded(); |
|
255 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
256 |
return get_Method()->has_linenumber_table(); |
1 | 257 |
} |
258 |
||
259 |
||
260 |
// ------------------------------------------------------------------ |
|
261 |
// ciMethod::compressed_linenumber_table |
|
262 |
u_char* ciMethod::compressed_linenumber_table() const { |
|
263 |
check_is_loaded(); |
|
264 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
265 |
return get_Method()->compressed_linenumber_table(); |
1 | 266 |
} |
267 |
||
268 |
||
269 |
// ------------------------------------------------------------------ |
|
270 |
// ciMethod::line_number_from_bci |
|
271 |
int ciMethod::line_number_from_bci(int bci) const { |
|
272 |
check_is_loaded(); |
|
273 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
274 |
return get_Method()->line_number_from_bci(bci); |
1 | 275 |
} |
276 |
||
277 |
||
278 |
// ------------------------------------------------------------------ |
|
279 |
// ciMethod::vtable_index |
|
280 |
// |
|
281 |
// Get the position of this method's entry in the vtable, if any. |
|
282 |
int ciMethod::vtable_index() { |
|
283 |
check_is_loaded(); |
|
284 |
assert(holder()->is_linked(), "must be linked"); |
|
285 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
286 |
return get_Method()->vtable_index(); |
1 | 287 |
} |
288 |
||
289 |
||
6187 | 290 |
#ifdef SHARK |
291 |
// ------------------------------------------------------------------ |
|
292 |
// ciMethod::itable_index |
|
293 |
// |
|
294 |
// Get the position of this method's entry in the itable, if any. |
|
295 |
int ciMethod::itable_index() { |
|
296 |
check_is_loaded(); |
|
297 |
assert(holder()->is_linked(), "must be linked"); |
|
298 |
VM_ENTRY_MARK; |
|
20017
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
299 |
Method* m = get_Method(); |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
300 |
if (!m->has_itable_index()) |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
301 |
return Method::nonvirtual_vtable_index; |
81eba62e9048
8014013: CallInfo structure no longer accurately reports the result of a LinkResolver operation
drchase
parents:
17383
diff
changeset
|
302 |
return m->itable_index(); |
6187 | 303 |
} |
304 |
#endif // SHARK |
|
305 |
||
306 |
||
1 | 307 |
// ------------------------------------------------------------------ |
308 |
// ciMethod::native_entry |
|
309 |
// |
|
310 |
// Get the address of this method's native code, if any. |
|
311 |
address ciMethod::native_entry() { |
|
312 |
check_is_loaded(); |
|
313 |
assert(flags().is_native(), "must be native method"); |
|
314 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
315 |
Method* method = get_Method(); |
1 | 316 |
address entry = method->native_function(); |
317 |
assert(entry != NULL, "must be valid entry point"); |
|
318 |
return entry; |
|
319 |
} |
|
320 |
||
321 |
||
322 |
// ------------------------------------------------------------------ |
|
323 |
// ciMethod::interpreter_entry |
|
324 |
// |
|
325 |
// Get the entry point for running this method in the interpreter. |
|
326 |
address ciMethod::interpreter_entry() { |
|
327 |
check_is_loaded(); |
|
328 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
329 |
methodHandle mh(THREAD, get_Method()); |
1 | 330 |
return Interpreter::entry_for_method(mh); |
331 |
} |
|
332 |
||
333 |
||
334 |
// ------------------------------------------------------------------ |
|
335 |
// ciMethod::uses_balanced_monitors |
|
336 |
// |
|
337 |
// Does this method use monitors in a strict stack-disciplined manner? |
|
338 |
bool ciMethod::has_balanced_monitors() { |
|
339 |
check_is_loaded(); |
|
340 |
if (_balanced_monitors) return true; |
|
341 |
||
342 |
// Analyze the method to see if monitors are used properly. |
|
343 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
344 |
methodHandle method(THREAD, get_Method()); |
1 | 345 |
assert(method->has_monitor_bytecodes(), "should have checked this"); |
346 |
||
347 |
// Check to see if a previous compilation computed the |
|
348 |
// monitor-matching analysis. |
|
349 |
if (method->guaranteed_monitor_matching()) { |
|
350 |
_balanced_monitors = true; |
|
351 |
return true; |
|
352 |
} |
|
353 |
||
354 |
{ |
|
355 |
EXCEPTION_MARK; |
|
356 |
ResourceMark rm(THREAD); |
|
357 |
GeneratePairingInfo gpi(method); |
|
358 |
gpi.compute_map(CATCH); |
|
359 |
if (!gpi.monitor_safe()) { |
|
360 |
return false; |
|
361 |
} |
|
362 |
method->set_guaranteed_monitor_matching(); |
|
363 |
_balanced_monitors = true; |
|
364 |
} |
|
365 |
return true; |
|
366 |
} |
|
367 |
||
368 |
||
369 |
// ------------------------------------------------------------------ |
|
370 |
// ciMethod::get_flow_analysis |
|
371 |
ciTypeFlow* ciMethod::get_flow_analysis() { |
|
6187 | 372 |
#if defined(COMPILER2) || defined(SHARK) |
1 | 373 |
if (_flow == NULL) { |
374 |
ciEnv* env = CURRENT_ENV; |
|
375 |
_flow = new (env->arena()) ciTypeFlow(env, this); |
|
376 |
_flow->do_flow(); |
|
377 |
} |
|
378 |
return _flow; |
|
6187 | 379 |
#else // COMPILER2 || SHARK |
1 | 380 |
ShouldNotReachHere(); |
381 |
return NULL; |
|
6187 | 382 |
#endif // COMPILER2 || SHARK |
1 | 383 |
} |
384 |
||
385 |
||
386 |
// ------------------------------------------------------------------ |
|
387 |
// ciMethod::get_osr_flow_analysis |
|
388 |
ciTypeFlow* ciMethod::get_osr_flow_analysis(int osr_bci) { |
|
6187 | 389 |
#if defined(COMPILER2) || defined(SHARK) |
1 | 390 |
// OSR entry points are always place after a call bytecode of some sort |
391 |
assert(osr_bci >= 0, "must supply valid OSR entry point"); |
|
392 |
ciEnv* env = CURRENT_ENV; |
|
393 |
ciTypeFlow* flow = new (env->arena()) ciTypeFlow(env, this, osr_bci); |
|
394 |
flow->do_flow(); |
|
395 |
return flow; |
|
6187 | 396 |
#else // COMPILER2 || SHARK |
1 | 397 |
ShouldNotReachHere(); |
398 |
return NULL; |
|
6187 | 399 |
#endif // COMPILER2 || SHARK |
1 | 400 |
} |
401 |
||
402 |
// ------------------------------------------------------------------ |
|
3910 | 403 |
// ciMethod::raw_liveness_at_bci |
1 | 404 |
// |
405 |
// Which local variables are live at a specific bci? |
|
3910 | 406 |
MethodLivenessResult ciMethod::raw_liveness_at_bci(int bci) { |
1 | 407 |
check_is_loaded(); |
408 |
if (_liveness == NULL) { |
|
409 |
// Create the liveness analyzer. |
|
410 |
Arena* arena = CURRENT_ENV->arena(); |
|
411 |
_liveness = new (arena) MethodLiveness(arena, this); |
|
412 |
_liveness->compute_liveness(); |
|
413 |
} |
|
3910 | 414 |
return _liveness->get_liveness_at(bci); |
415 |
} |
|
416 |
||
417 |
// ------------------------------------------------------------------ |
|
418 |
// ciMethod::liveness_at_bci |
|
419 |
// |
|
420 |
// Which local variables are live at a specific bci? When debugging |
|
421 |
// will return true for all locals in some cases to improve debug |
|
422 |
// information. |
|
423 |
MethodLivenessResult ciMethod::liveness_at_bci(int bci) { |
|
424 |
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
|
425 |
if (CURRENT_ENV->should_retain_local_variables() || DeoptimizeALot || CompileTheWorld) { |
1 | 426 |
// Keep all locals live for the user's edification and amusement. |
427 |
result.at_put_range(0, result.size(), true); |
|
428 |
} |
|
429 |
return result; |
|
430 |
} |
|
431 |
||
432 |
// ciMethod::live_local_oops_at_bci |
|
433 |
// |
|
434 |
// find all the live oops in the locals array for a particular bci |
|
435 |
// Compute what the interpreter believes by using the interpreter |
|
436 |
// oopmap generator. This is used as a double check during osr to |
|
437 |
// guard against conservative result from MethodLiveness making us |
|
438 |
// think a dead oop is live. MethodLiveness is conservative in the |
|
439 |
// sense that it may consider locals to be live which cannot be live, |
|
440 |
// like in the case where a local could contain an oop or a primitive |
|
441 |
// along different paths. In that case the local must be dead when |
|
442 |
// those paths merge. Since the interpreter's viewpoint is used when |
|
443 |
// gc'ing an interpreter frame we need to use its viewpoint during |
|
444 |
// OSR when loading the locals. |
|
445 |
||
38177 | 446 |
ResourceBitMap ciMethod::live_local_oops_at_bci(int bci) { |
1 | 447 |
VM_ENTRY_MARK; |
448 |
InterpreterOopMap mask; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
449 |
OopMapCache::compute_one_oop_map(get_Method(), bci, &mask); |
1 | 450 |
int mask_size = max_locals(); |
38177 | 451 |
ResourceBitMap result(mask_size); |
1 | 452 |
int i; |
453 |
for (i = 0; i < mask_size ; i++ ) { |
|
454 |
if (mask.is_oop(i)) result.set_bit(i); |
|
455 |
} |
|
456 |
return result; |
|
457 |
} |
|
458 |
||
459 |
||
460 |
#ifdef COMPILER1 |
|
461 |
// ------------------------------------------------------------------ |
|
462 |
// ciMethod::bci_block_start |
|
463 |
// |
|
464 |
// Marks all bcis where a new basic block starts |
|
38177 | 465 |
const BitMap& ciMethod::bci_block_start() { |
1 | 466 |
check_is_loaded(); |
467 |
if (_liveness == NULL) { |
|
468 |
// Create the liveness analyzer. |
|
469 |
Arena* arena = CURRENT_ENV->arena(); |
|
470 |
_liveness = new (arena) MethodLiveness(arena, this); |
|
471 |
_liveness->compute_liveness(); |
|
472 |
} |
|
473 |
||
474 |
return _liveness->get_bci_block_start(); |
|
475 |
} |
|
476 |
#endif // COMPILER1 |
|
477 |
||
478 |
||
479 |
// ------------------------------------------------------------------ |
|
480 |
// ciMethod::call_profile_at_bci |
|
481 |
// |
|
482 |
// Get the ciCallProfile for the invocation of this method. |
|
483 |
// Also reports receiver types for non-call type checks (if TypeProfileCasts). |
|
484 |
ciCallProfile ciMethod::call_profile_at_bci(int bci) { |
|
485 |
ResourceMark rm; |
|
486 |
ciCallProfile result; |
|
487 |
if (method_data() != NULL && method_data()->is_mature()) { |
|
488 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
489 |
if (data != NULL && data->is_CounterData()) { |
|
490 |
// Every profiled call site has a counter. |
|
491 |
int count = data->as_CounterData()->count(); |
|
492 |
||
493 |
if (!data->is_ReceiverTypeData()) { |
|
494 |
result._receiver_count[0] = 0; // that's a definite zero |
|
495 |
} else { // ReceiverTypeData is a subclass of CounterData |
|
496 |
ciReceiverTypeData* call = (ciReceiverTypeData*)data->as_ReceiverTypeData(); |
|
497 |
// In addition, virtual call sites have receiver type information |
|
498 |
int receivers_count_total = 0; |
|
499 |
int morphism = 0; |
|
6453 | 500 |
// Precompute morphism for the possible fixup |
1 | 501 |
for (uint i = 0; i < call->row_limit(); i++) { |
502 |
ciKlass* receiver = call->receiver(i); |
|
503 |
if (receiver == NULL) continue; |
|
6453 | 504 |
morphism++; |
505 |
} |
|
506 |
int epsilon = 0; |
|
46326
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
507 |
if (TieredCompilation) { |
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
508 |
// For a call, it is assumed that either the type of the receiver(s) |
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
509 |
// is recorded or an associated counter is incremented, but not both. With |
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
510 |
// tiered compilation, however, both can happen due to the interpreter and |
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
511 |
// C1 profiling invocations differently. Address that inconsistency here. |
6453 | 512 |
if (morphism == 1 && count > 0) { |
513 |
epsilon = count; |
|
514 |
count = 0; |
|
515 |
} |
|
516 |
} |
|
517 |
for (uint i = 0; i < call->row_limit(); i++) { |
|
518 |
ciKlass* receiver = call->receiver(i); |
|
519 |
if (receiver == NULL) continue; |
|
520 |
int rcount = call->receiver_count(i) + epsilon; |
|
1 | 521 |
if (rcount == 0) rcount = 1; // Should be valid value |
522 |
receivers_count_total += rcount; |
|
523 |
// Add the receiver to result data. |
|
524 |
result.add_receiver(receiver, rcount); |
|
525 |
// If we extend profiling to record methods, |
|
526 |
// we will set result._method also. |
|
527 |
} |
|
528 |
// Determine call site's morphism. |
|
46326
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
529 |
// The call site count is 0 with known morphism (only 1 or 2 receivers) |
70de7011f79a
8159734: Consistency check fails with -XX:-ProfileInterpreter
zmajo
parents:
40664
diff
changeset
|
530 |
// or < 0 in the case of a type check failure for checkcast, aastore, instanceof. |
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
531 |
// 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
|
532 |
if (morphism > 0 && morphism == result._limit) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
533 |
// The morphism <= MorphismLimit. |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
534 |
if ((morphism < ciCallProfile::MorphismLimit) || |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
535 |
(morphism == ciCallProfile::MorphismLimit && count == 0)) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
536 |
#ifdef ASSERT |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
537 |
if (count > 0) { |
4892
e977b527544a
6923002: assert(false,"this call site should not be polymorphic")
kvn
parents:
4754
diff
changeset
|
538 |
this->print_short_name(tty); |
e977b527544a
6923002: assert(false,"this call site should not be polymorphic")
kvn
parents:
4754
diff
changeset
|
539 |
tty->print_cr(" @ bci:%d", bci); |
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
540 |
this->print_codes(); |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
541 |
assert(false, "this call site should not be polymorphic"); |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
542 |
} |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
543 |
#endif |
1 | 544 |
result._morphism = morphism; |
545 |
} |
|
546 |
} |
|
547 |
// Make the count consistent if this is a call profile. If count is |
|
548 |
// zero or less, presume that this is a typecheck profile and |
|
549 |
// do nothing. Otherwise, increase count to be the sum of all |
|
550 |
// receiver's counts. |
|
4754
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
551 |
if (count >= 0) { |
8aef16f24e16
6614597: Performance variability in jvm2008 xml.validation
kvn
parents:
4581
diff
changeset
|
552 |
count += receivers_count_total; |
1 | 553 |
} |
554 |
} |
|
555 |
result._count = count; |
|
556 |
} |
|
557 |
} |
|
558 |
return result; |
|
559 |
} |
|
560 |
||
561 |
// ------------------------------------------------------------------ |
|
562 |
// Add new receiver and sort data by receiver's profile count. |
|
563 |
void ciCallProfile::add_receiver(ciKlass* receiver, int receiver_count) { |
|
564 |
// Add new receiver and sort data by receiver's counts when we have space |
|
565 |
// for it otherwise replace the less called receiver (less called receiver |
|
566 |
// is placed to the last array element which is not used). |
|
567 |
// First array's element contains most called receiver. |
|
568 |
int i = _limit; |
|
569 |
for (; i > 0 && receiver_count > _receiver_count[i-1]; i--) { |
|
570 |
_receiver[i] = _receiver[i-1]; |
|
571 |
_receiver_count[i] = _receiver_count[i-1]; |
|
572 |
} |
|
573 |
_receiver[i] = receiver; |
|
574 |
_receiver_count[i] = receiver_count; |
|
575 |
if (_limit < MorphismLimit) _limit++; |
|
576 |
} |
|
577 |
||
21099 | 578 |
|
579 |
void ciMethod::assert_virtual_call_type_ok(int bci) { |
|
580 |
assert(java_code_at_bci(bci) == Bytecodes::_invokevirtual || |
|
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
31790
diff
changeset
|
581 |
java_code_at_bci(bci) == Bytecodes::_invokeinterface, "unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))); |
21099 | 582 |
} |
583 |
||
584 |
void ciMethod::assert_call_type_ok(int bci) { |
|
585 |
assert(java_code_at_bci(bci) == Bytecodes::_invokestatic || |
|
586 |
java_code_at_bci(bci) == Bytecodes::_invokespecial || |
|
33105
294e48b4f704
8080775: Better argument formatting for assert() and friends
david
parents:
31790
diff
changeset
|
587 |
java_code_at_bci(bci) == Bytecodes::_invokedynamic, "unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))); |
21099 | 588 |
} |
589 |
||
590 |
/** |
|
591 |
* Check whether profiling provides a type for the argument i to the |
|
592 |
* call at bci bci |
|
593 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
594 |
* @param [in]bci bci of the call |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
595 |
* @param [in]i argument number |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
596 |
* @param [out]type profiled type of argument, NULL if none |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
597 |
* @param [out]ptr_kind whether always null, never null or maybe null |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
598 |
* @return true if profiling exists |
21099 | 599 |
* |
600 |
*/ |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
601 |
bool ciMethod::argument_profiled_type(int bci, int i, ciKlass*& type, ProfilePtrKind& ptr_kind) { |
21099 | 602 |
if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) { |
603 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
604 |
if (data != NULL) { |
|
605 |
if (data->is_VirtualCallTypeData()) { |
|
606 |
assert_virtual_call_type_ok(bci); |
|
607 |
ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData(); |
|
608 |
if (i >= call->number_of_arguments()) { |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
609 |
return false; |
21099 | 610 |
} |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
611 |
type = call->valid_argument_type(i); |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
612 |
ptr_kind = call->argument_ptr_kind(i); |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
613 |
return true; |
21099 | 614 |
} else if (data->is_CallTypeData()) { |
615 |
assert_call_type_ok(bci); |
|
616 |
ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData(); |
|
617 |
if (i >= call->number_of_arguments()) { |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
618 |
return false; |
21099 | 619 |
} |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
620 |
type = call->valid_argument_type(i); |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
621 |
ptr_kind = call->argument_ptr_kind(i); |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
622 |
return true; |
21099 | 623 |
} |
624 |
} |
|
625 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
626 |
return false; |
21099 | 627 |
} |
628 |
||
629 |
/** |
|
630 |
* Check whether profiling provides a type for the return value from |
|
631 |
* the call at bci bci |
|
632 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
633 |
* @param [in]bci bci of the call |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
634 |
* @param [out]type profiled type of argument, NULL if none |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
635 |
* @param [out]ptr_kind whether always null, never null or maybe null |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
636 |
* @return true if profiling exists |
21099 | 637 |
* |
638 |
*/ |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
639 |
bool ciMethod::return_profiled_type(int bci, ciKlass*& type, ProfilePtrKind& ptr_kind) { |
21099 | 640 |
if (MethodData::profile_return() && method_data() != NULL && method_data()->is_mature()) { |
641 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
642 |
if (data != NULL) { |
|
643 |
if (data->is_VirtualCallTypeData()) { |
|
644 |
assert_virtual_call_type_ok(bci); |
|
645 |
ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData(); |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
646 |
if (call->has_return()) { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
647 |
type = call->valid_return_type(); |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
648 |
ptr_kind = call->return_ptr_kind(); |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
649 |
return true; |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
650 |
} |
21099 | 651 |
} else if (data->is_CallTypeData()) { |
652 |
assert_call_type_ok(bci); |
|
653 |
ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData(); |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
654 |
if (call->has_return()) { |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
655 |
type = call->valid_return_type(); |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
656 |
ptr_kind = call->return_ptr_kind(); |
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
657 |
} |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
658 |
return true; |
21099 | 659 |
} |
660 |
} |
|
661 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
662 |
return false; |
21099 | 663 |
} |
664 |
||
665 |
/** |
|
666 |
* Check whether profiling provides a type for the parameter i |
|
667 |
* |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
668 |
* @param [in]i parameter number |
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
669 |
* @param [out]type profiled type of parameter, NULL if none |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
670 |
* @param [out]ptr_kind whether always null, never null or maybe null |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
671 |
* @return true if profiling exists |
21099 | 672 |
* |
673 |
*/ |
|
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
674 |
bool ciMethod::parameter_profiled_type(int i, ciKlass*& type, ProfilePtrKind& ptr_kind) { |
21099 | 675 |
if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) { |
676 |
ciParametersTypeData* parameters = method_data()->parameters_type_data(); |
|
677 |
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
|
678 |
type = parameters->valid_parameter_type(i); |
46542
73dd19b96b5d
8181211: C2: Use profiling data to optimize on/off heap unsafe accesses
roland
parents:
46458
diff
changeset
|
679 |
ptr_kind = parameters->parameter_ptr_kind(i); |
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
680 |
return true; |
21099 | 681 |
} |
682 |
} |
|
23525
e3eb08ead679
8031755: Type speculation should be used to optimize explicit null checks
roland
parents:
23194
diff
changeset
|
683 |
return false; |
21099 | 684 |
} |
685 |
||
686 |
||
1 | 687 |
// ------------------------------------------------------------------ |
688 |
// ciMethod::find_monomorphic_target |
|
689 |
// |
|
690 |
// Given a certain calling environment, find the monomorphic target |
|
691 |
// for the call. Return NULL if the call is not monomorphic in |
|
692 |
// its calling environment, or if there are only abstract methods. |
|
693 |
// The returned method is never abstract. |
|
694 |
// Note: If caller uses a non-null result, it must inform dependencies |
|
695 |
// via assert_unique_concrete_method or assert_leaf_type. |
|
696 |
ciMethod* ciMethod::find_monomorphic_target(ciInstanceKlass* caller, |
|
697 |
ciInstanceKlass* callee_holder, |
|
30223
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
698 |
ciInstanceKlass* actual_recv, |
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
699 |
bool check_access) { |
1 | 700 |
check_is_loaded(); |
701 |
||
702 |
if (actual_recv->is_interface()) { |
|
703 |
// %%% We cannot trust interface types, yet. See bug 6312651. |
|
704 |
return NULL; |
|
705 |
} |
|
706 |
||
30223
82ab7b6b4927
8062280: C2: inlining failure due to access checks being too strict
vlivanov
parents:
29582
diff
changeset
|
707 |
ciMethod* root_m = resolve_invoke(caller, actual_recv, check_access); |
1 | 708 |
if (root_m == NULL) { |
709 |
// Something went wrong looking up the actual receiver method. |
|
710 |
return NULL; |
|
711 |
} |
|
712 |
assert(!root_m->is_abstract(), "resolve_invoke promise"); |
|
713 |
||
714 |
// Make certain quick checks even if UseCHA is false. |
|
715 |
||
716 |
// Is it private or final? |
|
717 |
if (root_m->can_be_statically_bound()) { |
|
718 |
return root_m; |
|
719 |
} |
|
720 |
||
721 |
if (actual_recv->is_leaf_type() && actual_recv == root_m->holder()) { |
|
722 |
// Easy case. There is no other place to put a method, so don't bother |
|
723 |
// to go through the VM_ENTRY_MARK and all the rest. |
|
724 |
return root_m; |
|
725 |
} |
|
726 |
||
727 |
// Array methods (clone, hashCode, etc.) are always statically bound. |
|
728 |
// If we were to see an array type here, we'd return root_m. |
|
729 |
// However, this method processes only ciInstanceKlasses. (See 4962591.) |
|
730 |
// The inline_native_clone intrinsic narrows Object to T[] properly, |
|
731 |
// so there is no need to do the same job here. |
|
732 |
||
733 |
if (!UseCHA) return NULL; |
|
734 |
||
735 |
VM_ENTRY_MARK; |
|
736 |
||
23194
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
737 |
// 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
|
738 |
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
|
739 |
return NULL; |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
740 |
} |
e60d7409415b
8036100: Default method returns true for a while, and then returns false
vlivanov
parents:
22893
diff
changeset
|
741 |
|
1 | 742 |
methodHandle target; |
743 |
{ |
|
744 |
MutexLocker locker(Compile_lock); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
745 |
Klass* context = actual_recv->get_Klass(); |
1 | 746 |
target = Dependencies::find_unique_concrete_method(context, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
747 |
root_m->get_Method()); |
1 | 748 |
// %%% Should upgrade this ciMethod API to look for 1 or 2 concrete methods. |
749 |
} |
|
750 |
||
751 |
#ifndef PRODUCT |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
752 |
if (TraceDependencies && target() != NULL && target() != root_m->get_Method()) { |
1 | 753 |
tty->print("found a non-root unique target method"); |
33602 | 754 |
tty->print_cr(" context = %s", actual_recv->get_Klass()->external_name()); |
1 | 755 |
tty->print(" method = "); |
756 |
target->print_short_name(tty); |
|
757 |
tty->cr(); |
|
758 |
} |
|
759 |
#endif //PRODUCT |
|
760 |
||
761 |
if (target() == NULL) { |
|
762 |
return NULL; |
|
763 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
764 |
if (target() == root_m->get_Method()) { |
1 | 765 |
return root_m; |
766 |
} |
|
767 |
if (!root_m->is_public() && |
|
768 |
!root_m->is_protected()) { |
|
769 |
// If we are going to reason about inheritance, it's easiest |
|
770 |
// if the method in question is public, protected, or private. |
|
771 |
// If the answer is not root_m, it is conservatively correct |
|
772 |
// to return NULL, even if the CHA encountered irrelevant |
|
773 |
// methods in other packages. |
|
774 |
// %%% TO DO: Work out logic for package-private methods |
|
775 |
// with the same name but different vtable indexes. |
|
776 |
return NULL; |
|
777 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
778 |
return CURRENT_THREAD_ENV->get_method(target()); |
1 | 779 |
} |
780 |
||
781 |
// ------------------------------------------------------------------ |
|
782 |
// ciMethod::resolve_invoke |
|
783 |
// |
|
784 |
// Given a known receiver klass, find the target for the call. |
|
785 |
// 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
|
786 |
ciMethod* ciMethod::resolve_invoke(ciKlass* caller, ciKlass* exact_receiver, bool check_access) { |
1 | 787 |
check_is_loaded(); |
788 |
VM_ENTRY_MARK; |
|
789 |
||
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
790 |
Klass* caller_klass = caller->get_Klass(); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
791 |
Klass* recv = exact_receiver->get_Klass(); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
792 |
Klass* resolved = holder()->get_Klass(); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
793 |
Symbol* h_name = name()->get_symbol(); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
794 |
Symbol* h_signature = signature()->get_symbol(); |
1 | 795 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
796 |
LinkInfo link_info(resolved, h_name, h_signature, caller_klass, |
38719
133bf85c3f36
8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents:
38177
diff
changeset
|
797 |
check_access ? LinkInfo::needs_access_check : LinkInfo::skip_access_check); |
1 | 798 |
methodHandle m; |
799 |
// Only do exact lookup if receiver klass has been linked. Otherwise, |
|
800 |
// the vtable has not been setup, and the LinkResolver will fail. |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
801 |
if (recv->is_array_klass() |
1 | 802 |
|| |
46630
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46542
diff
changeset
|
803 |
(InstanceKlass::cast(recv)->is_linked() && !exact_receiver->is_interface())) { |
1 | 804 |
if (holder()->is_interface()) { |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
805 |
m = LinkResolver::resolve_interface_call_or_null(recv, link_info); |
1 | 806 |
} else { |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
807 |
m = LinkResolver::resolve_virtual_call_or_null(recv, link_info); |
1 | 808 |
} |
809 |
} |
|
810 |
||
811 |
if (m.is_null()) { |
|
812 |
// Return NULL only if there was a problem with lookup (uninitialized class, etc.) |
|
813 |
return NULL; |
|
814 |
} |
|
815 |
||
816 |
ciMethod* result = this; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
817 |
if (m() != get_Method()) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
818 |
result = CURRENT_THREAD_ENV->get_method(m()); |
1 | 819 |
} |
820 |
||
821 |
// Don't return abstract methods because they aren't |
|
822 |
// optimizable or interesting. |
|
823 |
if (result->is_abstract()) { |
|
824 |
return NULL; |
|
825 |
} else { |
|
826 |
return result; |
|
827 |
} |
|
828 |
} |
|
829 |
||
830 |
// ------------------------------------------------------------------ |
|
831 |
// ciMethod::resolve_vtable_index |
|
832 |
// |
|
833 |
// 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
|
834 |
// Return Method::invalid_vtable_index if the vtable_index is unknown. |
1 | 835 |
int ciMethod::resolve_vtable_index(ciKlass* caller, ciKlass* receiver) { |
836 |
check_is_loaded(); |
|
837 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
838 |
int vtable_index = Method::invalid_vtable_index; |
1 | 839 |
// Only do lookup if receiver klass has been linked. Otherwise, |
840 |
// the vtable has not been setup, and the LinkResolver will fail. |
|
841 |
if (!receiver->is_interface() |
|
842 |
&& (!receiver->is_instance_klass() || |
|
843 |
receiver->as_instance_klass()->is_linked())) { |
|
844 |
VM_ENTRY_MARK; |
|
845 |
||
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
846 |
Klass* caller_klass = caller->get_Klass(); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
847 |
Klass* recv = receiver->get_Klass(); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
848 |
Symbol* h_name = name()->get_symbol(); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7432
diff
changeset
|
849 |
Symbol* h_signature = signature()->get_symbol(); |
1 | 850 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
851 |
LinkInfo link_info(recv, h_name, h_signature, caller_klass); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
852 |
vtable_index = LinkResolver::resolve_virtual_vtable_index(recv, link_info); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
853 |
if (vtable_index == Method::nonvirtual_vtable_index) { |
1 | 854 |
// 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
|
855 |
vtable_index = Method::invalid_vtable_index; |
1 | 856 |
} |
857 |
} |
|
858 |
||
859 |
return vtable_index; |
|
860 |
} |
|
861 |
||
862 |
// ------------------------------------------------------------------ |
|
863 |
// ciMethod::interpreter_call_site_count |
|
864 |
int ciMethod::interpreter_call_site_count(int bci) { |
|
865 |
if (method_data() != NULL) { |
|
866 |
ResourceMark rm; |
|
867 |
ciProfileData* data = method_data()->bci_to_data(bci); |
|
868 |
if (data != NULL && data->is_CounterData()) { |
|
869 |
return scale_count(data->as_CounterData()->count()); |
|
870 |
} |
|
871 |
} |
|
872 |
return -1; // unknown |
|
873 |
} |
|
874 |
||
875 |
// ------------------------------------------------------------------ |
|
14621
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
876 |
// ciMethod::get_field_at_bci |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
877 |
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
|
878 |
ciBytecodeStream iter(this); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
879 |
iter.reset_to_bci(bci); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
880 |
iter.next(); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
881 |
return iter.get_field(will_link); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
882 |
} |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
883 |
|
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 |
// ciMethod::get_method_at_bci |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
886 |
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
|
887 |
ciBytecodeStream iter(this); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
888 |
iter.reset_to_bci(bci); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
889 |
iter.next(); |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
890 |
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
|
891 |
} |
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
892 |
|
fd9265ab0f67
7172640: C2: instrinsic implementations in LibraryCallKit should use argument() instead of pop()
twisti
parents:
14478
diff
changeset
|
893 |
// ------------------------------------------------------------------ |
1 | 894 |
// Adjust a CounterData count to be commensurate with |
895 |
// interpreter_invocation_count. If the MDO exists for |
|
896 |
// only 25% of the time the method exists, then the |
|
897 |
// counts in the MDO should be scaled by 4X, so that |
|
898 |
// they can be usefully and stably compared against the |
|
899 |
// invocation counts in methods. |
|
900 |
int ciMethod::scale_count(int count, float prof_factor) { |
|
901 |
if (count > 0 && method_data() != NULL) { |
|
6453 | 902 |
int counter_life; |
1 | 903 |
int method_life = interpreter_invocation_count(); |
6453 | 904 |
if (TieredCompilation) { |
905 |
// In tiered the MDO's life is measured directly, so just use the snapshotted counters |
|
906 |
counter_life = MAX2(method_data()->invocation_count(), method_data()->backedge_count()); |
|
907 |
} else { |
|
908 |
int current_mileage = method_data()->current_mileage(); |
|
909 |
int creation_mileage = method_data()->creation_mileage(); |
|
910 |
counter_life = current_mileage - creation_mileage; |
|
911 |
} |
|
912 |
||
1 | 913 |
// counter_life due to backedge_counter could be > method_life |
914 |
if (counter_life > method_life) |
|
915 |
counter_life = method_life; |
|
916 |
if (0 < counter_life && counter_life <= method_life) { |
|
917 |
count = (int)((double)count * prof_factor * method_life / counter_life + 0.5); |
|
918 |
count = (count > 0) ? count : 1; |
|
919 |
} |
|
920 |
} |
|
921 |
return count; |
|
922 |
} |
|
923 |
||
16617
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
924 |
|
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 |
// ciMethod::is_special_get_caller_class_method |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
927 |
// |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
928 |
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
|
929 |
check_is_loaded(); |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
930 |
VM_ENTRY_MARK; |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
931 |
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
|
932 |
} |
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
933 |
|
6235d2c7549f
7198429: need checked categorization of caller-sensitive methods in the JDK
twisti
parents:
15479
diff
changeset
|
934 |
|
1 | 935 |
// ------------------------------------------------------------------ |
2534 | 936 |
// invokedynamic support |
5687 | 937 |
|
938 |
// ------------------------------------------------------------------ |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
939 |
// ciMethod::is_method_handle_intrinsic |
2534 | 940 |
// |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
941 |
// 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
|
942 |
// 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
|
943 |
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
|
944 |
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
|
945 |
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
|
946 |
MethodHandles::is_signature_polymorphic_intrinsic(iid)); |
2534 | 947 |
} |
948 |
||
5687 | 949 |
// ------------------------------------------------------------------ |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
950 |
// ciMethod::is_compiled_lambda_form |
5687 | 951 |
// |
952 |
// 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
|
953 |
// 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
|
954 |
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
|
955 |
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
|
956 |
return iid == vmIntrinsics::_compiledLambdaForm; |
4581
e89fbd1bcb3d
6914206: change way of permission checking for generated MethodHandle adapters
twisti
parents:
4566
diff
changeset
|
957 |
} |
e89fbd1bcb3d
6914206: change way of permission checking for generated MethodHandle adapters
twisti
parents:
4566
diff
changeset
|
958 |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
959 |
// ------------------------------------------------------------------ |
44738 | 960 |
// ciMethod::is_object_initializer |
961 |
// |
|
962 |
bool ciMethod::is_object_initializer() const { |
|
963 |
return name() == ciSymbol::object_initializer_name(); |
|
964 |
} |
|
965 |
||
966 |
// ------------------------------------------------------------------ |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
967 |
// ciMethod::has_member_arg |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
968 |
// |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
969 |
// 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
|
970 |
// 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
|
971 |
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
|
972 |
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
|
973 |
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
|
974 |
MethodHandles::has_member_arg(iid)); |
2534 | 975 |
} |
976 |
||
977 |
// ------------------------------------------------------------------ |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
978 |
// ciMethod::ensure_method_data |
1 | 979 |
// |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
980 |
// 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
|
981 |
// Return true if allocation was successful or no MDO is required. |
46727
6e4a84748e2c
8183039: Re-examine methodHandle methods uninlined by 8144256
coleenp
parents:
46630
diff
changeset
|
982 |
bool ciMethod::ensure_method_data(const methodHandle& h_m) { |
1 | 983 |
EXCEPTION_CONTEXT; |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
984 |
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
|
985 |
return true; |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
986 |
} |
1 | 987 |
if (h_m()->method_data() == NULL) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
988 |
Method::build_interpreter_method_data(h_m, THREAD); |
1 | 989 |
if (HAS_PENDING_EXCEPTION) { |
990 |
CLEAR_PENDING_EXCEPTION; |
|
991 |
} |
|
992 |
} |
|
993 |
if (h_m()->method_data() != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
994 |
_method_data = CURRENT_ENV->get_method_data(h_m()->method_data()); |
1 | 995 |
_method_data->load_data(); |
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
996 |
return true; |
1 | 997 |
} else { |
998 |
_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
|
999 |
return false; |
1 | 1000 |
} |
1001 |
} |
|
1002 |
||
1003 |
// public, retroactive version |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1004 |
bool ciMethod::ensure_method_data() { |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1005 |
bool result = true; |
1 | 1006 |
if (_method_data == NULL || _method_data->is_empty()) { |
1007 |
GUARDED_VM_ENTRY({ |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1008 |
result = ensure_method_data(get_Method()); |
1 | 1009 |
}); |
1010 |
} |
|
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1011 |
return result; |
1 | 1012 |
} |
1013 |
||
1014 |
||
1015 |
// ------------------------------------------------------------------ |
|
1016 |
// ciMethod::method_data |
|
1017 |
// |
|
1018 |
ciMethodData* ciMethod::method_data() { |
|
1019 |
if (_method_data != NULL) { |
|
1020 |
return _method_data; |
|
1021 |
} |
|
1022 |
VM_ENTRY_MARK; |
|
1023 |
ciEnv* env = CURRENT_ENV; |
|
1024 |
Thread* my_thread = JavaThread::current(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1025 |
methodHandle h_m(my_thread, get_Method()); |
1 | 1026 |
|
1027 |
if (h_m()->method_data() != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1028 |
_method_data = CURRENT_ENV->get_method_data(h_m()->method_data()); |
1 | 1029 |
_method_data->load_data(); |
1030 |
} else { |
|
1031 |
_method_data = CURRENT_ENV->get_empty_methodData(); |
|
1032 |
} |
|
1033 |
return _method_data; |
|
1034 |
||
1035 |
} |
|
1036 |
||
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1037 |
// ------------------------------------------------------------------ |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1038 |
// ciMethod::method_data_or_null |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1039 |
// 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
|
1040 |
// NULL otherwise. |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1041 |
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
|
1042 |
ciMethodData *md = method_data(); |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1043 |
if (md->is_empty()) { |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1044 |
return NULL; |
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1045 |
} |
7432
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1046 |
return md; |
f06f1253c317
7003554: (tiered) assert(is_null_object() || handle() != NULL) failed: cannot embed null pointer
iveresov
parents:
7397
diff
changeset
|
1047 |
} |
1 | 1048 |
|
1049 |
// ------------------------------------------------------------------ |
|
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1050 |
// ciMethod::ensure_method_counters |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1051 |
// |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1052 |
MethodCounters* ciMethod::ensure_method_counters() { |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1053 |
check_is_loaded(); |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1054 |
VM_ENTRY_MARK; |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1055 |
methodHandle mh(THREAD, get_Method()); |
20695
4f5a5e95090b
8025566: EXCEPTION_ACCESS_VIOLATION in compiled by C1 String.valueOf method
twisti
parents:
20692
diff
changeset
|
1056 |
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
|
1057 |
return method_counters; |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1058 |
} |
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1059 |
|
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1060 |
// ------------------------------------------------------------------ |
1 | 1061 |
// ciMethod::has_option |
1062 |
// |
|
1063 |
bool ciMethod::has_option(const char* option) { |
|
1064 |
check_is_loaded(); |
|
1065 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1066 |
methodHandle mh(THREAD, get_Method()); |
1 | 1067 |
return CompilerOracle::has_option_string(mh, option); |
1068 |
} |
|
1069 |
||
1070 |
// ------------------------------------------------------------------ |
|
26433 | 1071 |
// ciMethod::has_option_value |
1072 |
// |
|
33451
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
33129
diff
changeset
|
1073 |
bool ciMethod::has_option_value(const char* option, double& value) { |
26433 | 1074 |
check_is_loaded(); |
1075 |
VM_ENTRY_MARK; |
|
1076 |
methodHandle mh(THREAD, get_Method()); |
|
1077 |
return CompilerOracle::has_option_value(mh, option, value); |
|
1078 |
} |
|
1079 |
// ------------------------------------------------------------------ |
|
1 | 1080 |
// ciMethod::can_be_compiled |
1081 |
// |
|
1082 |
// Have previous compilations of this method succeeded? |
|
1083 |
bool ciMethod::can_be_compiled() { |
|
1084 |
check_is_loaded(); |
|
6453 | 1085 |
ciEnv* env = CURRENT_ENV; |
1086 |
if (is_c1_compile(env->comp_level())) { |
|
1087 |
return _is_c1_compilable; |
|
1088 |
} |
|
1089 |
return _is_c2_compilable; |
|
1 | 1090 |
} |
1091 |
||
1092 |
// ------------------------------------------------------------------ |
|
1093 |
// ciMethod::set_not_compilable |
|
1094 |
// |
|
1095 |
// Tell the VM that this method cannot be compiled at all. |
|
15479 | 1096 |
void ciMethod::set_not_compilable(const char* reason) { |
1 | 1097 |
check_is_loaded(); |
1098 |
VM_ENTRY_MARK; |
|
6453 | 1099 |
ciEnv* env = CURRENT_ENV; |
1100 |
if (is_c1_compile(env->comp_level())) { |
|
1101 |
_is_c1_compilable = false; |
|
1102 |
} else { |
|
1103 |
_is_c2_compilable = false; |
|
1104 |
} |
|
15479 | 1105 |
get_Method()->set_not_compilable(env->comp_level(), true, reason); |
1 | 1106 |
} |
1107 |
||
1108 |
// ------------------------------------------------------------------ |
|
1109 |
// ciMethod::can_be_osr_compiled |
|
1110 |
// |
|
1111 |
// Have previous compilations of this method succeeded? |
|
1112 |
// |
|
1113 |
// Implementation note: the VM does not currently keep track |
|
1114 |
// of failed OSR compilations per bci. The entry_bci parameter |
|
1115 |
// is currently unused. |
|
1116 |
bool ciMethod::can_be_osr_compiled(int entry_bci) { |
|
1117 |
check_is_loaded(); |
|
1118 |
VM_ENTRY_MARK; |
|
6453 | 1119 |
ciEnv* env = CURRENT_ENV; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1120 |
return !get_Method()->is_not_osr_compilable(env->comp_level()); |
1 | 1121 |
} |
1122 |
||
1123 |
// ------------------------------------------------------------------ |
|
1124 |
// ciMethod::has_compiled_code |
|
1125 |
bool ciMethod::has_compiled_code() { |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1126 |
return instructions_size() > 0; |
1 | 1127 |
} |
1128 |
||
6453 | 1129 |
int ciMethod::comp_level() { |
1130 |
check_is_loaded(); |
|
1131 |
VM_ENTRY_MARK; |
|
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
35071
diff
changeset
|
1132 |
CompiledMethod* nm = get_Method()->code(); |
6453 | 1133 |
if (nm != NULL) return nm->comp_level(); |
1134 |
return 0; |
|
1135 |
} |
|
1136 |
||
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1137 |
int ciMethod::highest_osr_comp_level() { |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1138 |
check_is_loaded(); |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1139 |
VM_ENTRY_MARK; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1140 |
return get_Method()->highest_osr_comp_level(); |
10014
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1141 |
} |
a5c2141ee857
7057120: Tiered: Allow C1 to inline methods with loops
iveresov
parents:
10008
diff
changeset
|
1142 |
|
1 | 1143 |
// ------------------------------------------------------------------ |
10506
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1144 |
// ciMethod::code_size_for_inlining |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1145 |
// |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1146 |
// 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
|
1147 |
// 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
|
1148 |
int ciMethod::code_size_for_inlining() { |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1149 |
check_is_loaded(); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1150 |
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
|
1151 |
return 1; |
10506
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1152 |
} |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1153 |
return code_size(); |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1154 |
} |
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1155 |
|
575ad9bccff5
7078382: JSR 292: don't count method handle adapters against inlining budgets
twisti
parents:
10014
diff
changeset
|
1156 |
// ------------------------------------------------------------------ |
1 | 1157 |
// ciMethod::instructions_size |
6418 | 1158 |
// |
1159 |
// This is a rough metric for "fat" methods, compared before inlining |
|
1160 |
// with InlineSmallCode. The CodeBlob::code_size accessor includes |
|
1161 |
// junk like exception handler, stubs, and constant table, which are |
|
1162 |
// not highly relevant to an inlined method. So we use the more |
|
1163 |
// specific accessor nmethod::insts_size. |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1164 |
int ciMethod::instructions_size() { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1165 |
if (_instructions_size == -1) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1166 |
GUARDED_VM_ENTRY( |
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
35071
diff
changeset
|
1167 |
CompiledMethod* code = get_Method()->code(); |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1168 |
if (code != NULL && (code->comp_level() == CompLevel_full_optimization)) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1169 |
_instructions_size = code->insts_end() - code->verified_entry_point(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1170 |
} else { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1171 |
_instructions_size = 0; |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1172 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1173 |
); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1174 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1175 |
return _instructions_size; |
1 | 1176 |
} |
1177 |
||
1178 |
// ------------------------------------------------------------------ |
|
1179 |
// ciMethod::log_nmethod_identity |
|
1180 |
void ciMethod::log_nmethod_identity(xmlStream* log) { |
|
1181 |
GUARDED_VM_ENTRY( |
|
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
35071
diff
changeset
|
1182 |
CompiledMethod* code = get_Method()->code(); |
1 | 1183 |
if (code != NULL) { |
1184 |
code->log_identity(log); |
|
1185 |
} |
|
1186 |
) |
|
1187 |
} |
|
1188 |
||
1189 |
// ------------------------------------------------------------------ |
|
1190 |
// ciMethod::is_not_reached |
|
1191 |
bool ciMethod::is_not_reached(int bci) { |
|
1192 |
check_is_loaded(); |
|
1193 |
VM_ENTRY_MARK; |
|
1194 |
return Interpreter::is_not_reached( |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1195 |
methodHandle(THREAD, get_Method()), bci); |
1 | 1196 |
} |
1197 |
||
1198 |
// ------------------------------------------------------------------ |
|
1199 |
// ciMethod::was_never_executed |
|
1200 |
bool ciMethod::was_executed_more_than(int times) { |
|
1201 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1202 |
return get_Method()->was_executed_more_than(times); |
1 | 1203 |
} |
1204 |
||
1205 |
// ------------------------------------------------------------------ |
|
1206 |
// ciMethod::has_unloaded_classes_in_signature |
|
1207 |
bool ciMethod::has_unloaded_classes_in_signature() { |
|
1208 |
VM_ENTRY_MARK; |
|
1209 |
{ |
|
1210 |
EXCEPTION_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1211 |
methodHandle m(THREAD, get_Method()); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1212 |
bool has_unloaded = Method::has_unloaded_classes_in_signature(m, (JavaThread *)THREAD); |
1 | 1213 |
if( HAS_PENDING_EXCEPTION ) { |
1214 |
CLEAR_PENDING_EXCEPTION; |
|
1215 |
return true; // Declare that we may have unloaded classes |
|
1216 |
} |
|
1217 |
return has_unloaded; |
|
1218 |
} |
|
1219 |
} |
|
1220 |
||
1221 |
// ------------------------------------------------------------------ |
|
1222 |
// ciMethod::is_klass_loaded |
|
1223 |
bool ciMethod::is_klass_loaded(int refinfo_index, bool must_be_resolved) const { |
|
1224 |
VM_ENTRY_MARK; |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1225 |
return get_Method()->is_klass_loaded(refinfo_index, must_be_resolved); |
1 | 1226 |
} |
1227 |
||
1228 |
// ------------------------------------------------------------------ |
|
1229 |
// ciMethod::check_call |
|
1230 |
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
|
1231 |
// 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
|
1232 |
// 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
|
1233 |
// 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
|
1234 |
// FIXME: Remove this method and resolve_method_statically; refactor to use the other LinkResolver entry points. |
1 | 1235 |
VM_ENTRY_MARK; |
1236 |
{ |
|
1237 |
EXCEPTION_MARK; |
|
1238 |
HandleMark hm(THREAD); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1239 |
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
|
1240 |
Bytecodes::Code code = (is_static ? Bytecodes::_invokestatic : Bytecodes::_invokevirtual); |
31019 | 1241 |
methodHandle spec_method = LinkResolver::resolve_method_statically(code, pool, refinfo_index, THREAD); |
1 | 1242 |
if (HAS_PENDING_EXCEPTION) { |
1243 |
CLEAR_PENDING_EXCEPTION; |
|
1244 |
return false; |
|
1245 |
} else { |
|
1246 |
return (spec_method->is_static() == is_static); |
|
1247 |
} |
|
1248 |
} |
|
1249 |
return false; |
|
1250 |
} |
|
1251 |
||
1252 |
// ------------------------------------------------------------------ |
|
24442
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1253 |
// ciMethod::profile_aging |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1254 |
// |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1255 |
// Should the method be compiled with an age counter? |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1256 |
bool ciMethod::profile_aging() const { |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1257 |
return UseCodeAging && (!MethodCounters::is_nmethod_hot(nmethod_age()) && |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1258 |
!MethodCounters::is_nmethod_age_unset(nmethod_age())); |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1259 |
} |
4d4ae31dea26
8032463: VirtualDispatch test timeout with DeoptimizeALot
iveresov
parents:
24018
diff
changeset
|
1260 |
// ------------------------------------------------------------------ |
1 | 1261 |
// ciMethod::print_codes |
1262 |
// |
|
1263 |
// Print the bytecodes for this method. |
|
1264 |
void ciMethod::print_codes_on(outputStream* st) { |
|
1265 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1266 |
GUARDED_VM_ENTRY(get_Method()->print_codes_on(st);) |
1 | 1267 |
} |
1268 |
||
1269 |
||
1270 |
#define FETCH_FLAG_FROM_VM(flag_accessor) { \ |
|
1271 |
check_is_loaded(); \ |
|
1272 |
VM_ENTRY_MARK; \ |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1273 |
return get_Method()->flag_accessor(); \ |
1 | 1274 |
} |
1275 |
||
1276 |
bool ciMethod::is_empty_method() const { FETCH_FLAG_FROM_VM(is_empty_method); } |
|
1277 |
bool ciMethod::is_vanilla_constructor() const { FETCH_FLAG_FROM_VM(is_vanilla_constructor); } |
|
1278 |
bool ciMethod::has_loops () const { FETCH_FLAG_FROM_VM(has_loops); } |
|
1279 |
bool ciMethod::has_jsrs () const { FETCH_FLAG_FROM_VM(has_jsrs); } |
|
34169
b0b7187852b7
8140650: Method::is_accessor should cover getters and setters for all types
shade
parents:
33451
diff
changeset
|
1280 |
bool ciMethod::is_getter () const { FETCH_FLAG_FROM_VM(is_getter); } |
b0b7187852b7
8140650: Method::is_accessor should cover getters and setters for all types
shade
parents:
33451
diff
changeset
|
1281 |
bool ciMethod::is_setter () const { FETCH_FLAG_FROM_VM(is_setter); } |
1 | 1282 |
bool ciMethod::is_accessor () const { FETCH_FLAG_FROM_VM(is_accessor); } |
1283 |
bool ciMethod::is_initializer () const { FETCH_FLAG_FROM_VM(is_initializer); } |
|
1284 |
||
17383 | 1285 |
bool ciMethod::is_boxing_method() const { |
1286 |
if (holder()->is_box_klass()) { |
|
1287 |
switch (intrinsic_id()) { |
|
1288 |
case vmIntrinsics::_Boolean_valueOf: |
|
1289 |
case vmIntrinsics::_Byte_valueOf: |
|
1290 |
case vmIntrinsics::_Character_valueOf: |
|
1291 |
case vmIntrinsics::_Short_valueOf: |
|
1292 |
case vmIntrinsics::_Integer_valueOf: |
|
1293 |
case vmIntrinsics::_Long_valueOf: |
|
1294 |
case vmIntrinsics::_Float_valueOf: |
|
1295 |
case vmIntrinsics::_Double_valueOf: |
|
1296 |
return true; |
|
1297 |
default: |
|
1298 |
return false; |
|
1299 |
} |
|
1300 |
} |
|
1301 |
return false; |
|
1302 |
} |
|
1303 |
||
1304 |
bool ciMethod::is_unboxing_method() const { |
|
1305 |
if (holder()->is_box_klass()) { |
|
1306 |
switch (intrinsic_id()) { |
|
1307 |
case vmIntrinsics::_booleanValue: |
|
1308 |
case vmIntrinsics::_byteValue: |
|
1309 |
case vmIntrinsics::_charValue: |
|
1310 |
case vmIntrinsics::_shortValue: |
|
1311 |
case vmIntrinsics::_intValue: |
|
1312 |
case vmIntrinsics::_longValue: |
|
1313 |
case vmIntrinsics::_floatValue: |
|
1314 |
case vmIntrinsics::_doubleValue: |
|
1315 |
return true; |
|
1316 |
default: |
|
1317 |
return false; |
|
1318 |
} |
|
1319 |
} |
|
1320 |
return false; |
|
1321 |
} |
|
1322 |
||
1 | 1323 |
BCEscapeAnalyzer *ciMethod::get_bcea() { |
5928
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1324 |
#ifdef COMPILER2 |
1 | 1325 |
if (_bcea == NULL) { |
1326 |
_bcea = new (CURRENT_ENV->arena()) BCEscapeAnalyzer(this, NULL); |
|
1327 |
} |
|
1328 |
return _bcea; |
|
5928
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1329 |
#else // COMPILER2 |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1330 |
ShouldNotReachHere(); |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1331 |
return NULL; |
f6e69b46e9e3
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
5702
diff
changeset
|
1332 |
#endif // COMPILER2 |
1 | 1333 |
} |
1334 |
||
1335 |
ciMethodBlocks *ciMethod::get_method_blocks() { |
|
1336 |
Arena *arena = CURRENT_ENV->arena(); |
|
1337 |
if (_method_blocks == NULL) { |
|
1338 |
_method_blocks = new (arena) ciMethodBlocks(arena, this); |
|
1339 |
} |
|
1340 |
return _method_blocks; |
|
1341 |
} |
|
1342 |
||
1343 |
#undef FETCH_FLAG_FROM_VM |
|
1344 |
||
22243 | 1345 |
void ciMethod::dump_name_as_ascii(outputStream* st) { |
1346 |
Method* method = get_Method(); |
|
1347 |
st->print("%s %s %s", |
|
1348 |
method->klass_name()->as_quoted_ascii(), |
|
1349 |
method->name()->as_quoted_ascii(), |
|
1350 |
method->signature()->as_quoted_ascii()); |
|
1351 |
} |
|
1352 |
||
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1353 |
void ciMethod::dump_replay_data(outputStream* st) { |
15471
41f75023e6a6
8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents:
14621
diff
changeset
|
1354 |
ResourceMark rm; |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1355 |
Method* method = get_Method(); |
17000
11bf92e571a2
8010862: The Method counter fields used for profiling can be allocated lazily.
jiangli
parents:
16617
diff
changeset
|
1356 |
MethodCounters* mcs = method->method_counters(); |
22243 | 1357 |
st->print("ciMethod "); |
1358 |
dump_name_as_ascii(st); |
|
1359 |
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
|
1360 |
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
|
1361 |
mcs == NULL ? 0 : mcs->backedge_counter()->raw_counter(), |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1362 |
interpreter_invocation_count(), |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1363 |
interpreter_throwout_count(), |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1364 |
_instructions_size); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1365 |
} |
1 | 1366 |
|
1367 |
// ------------------------------------------------------------------ |
|
1368 |
// ciMethod::print_codes |
|
1369 |
// |
|
1370 |
// Print a range of the bytecodes for this method. |
|
1371 |
void ciMethod::print_codes_on(int from, int to, outputStream* st) { |
|
1372 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1373 |
GUARDED_VM_ENTRY(get_Method()->print_codes_on(from, to, st);) |
1 | 1374 |
} |
1375 |
||
1376 |
// ------------------------------------------------------------------ |
|
1377 |
// ciMethod::print_name |
|
1378 |
// |
|
1379 |
// Print the name of this method, including signature and some flags. |
|
1380 |
void ciMethod::print_name(outputStream* st) { |
|
1381 |
check_is_loaded(); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1382 |
GUARDED_VM_ENTRY(get_Method()->print_name(st);) |
1 | 1383 |
} |
1384 |
||
1385 |
// ------------------------------------------------------------------ |
|
1386 |
// ciMethod::print_short_name |
|
1387 |
// |
|
1388 |
// Print the name of this method, without signature. |
|
1389 |
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
|
1390 |
if (is_loaded()) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1391 |
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
|
1392 |
} else { |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1393 |
// 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
|
1394 |
holder()->print_name_on(st); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1395 |
st->print("::"); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1396 |
name()->print_symbol_on(st); |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1397 |
if (WizardMode) |
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
13282
diff
changeset
|
1398 |
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
|
1399 |
} |
1 | 1400 |
} |
1401 |
||
1402 |
// ------------------------------------------------------------------ |
|
1403 |
// ciMethod::print_impl |
|
1404 |
// |
|
1405 |
// Implementation of the print method. |
|
1406 |
void ciMethod::print_impl(outputStream* st) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1407 |
ciMetadata::print_impl(st); |
1 | 1408 |
st->print(" name="); |
1409 |
name()->print_symbol_on(st); |
|
1410 |
st->print(" holder="); |
|
1411 |
holder()->print_name_on(st); |
|
1412 |
st->print(" signature="); |
|
1413 |
signature()->as_symbol()->print_symbol_on(st); |
|
1414 |
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
|
1415 |
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
|
1416 |
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
|
1417 |
st->print(" flags="); |
1 | 1418 |
flags().print_member_flags(st); |
1419 |
} else { |
|
1420 |
st->print(" loaded=false"); |
|
1421 |
} |
|
1422 |
} |
|
29582 | 1423 |
|
43947
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1424 |
// ------------------------------------------------------------------ |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1425 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1426 |
static BasicType erase_to_word_type(BasicType bt) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1427 |
if (is_subword_type(bt)) return T_INT; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1428 |
if (bt == T_ARRAY) return T_OBJECT; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1429 |
return bt; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1430 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1431 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1432 |
static bool basic_types_match(ciType* t1, ciType* t2) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1433 |
if (t1 == t2) return true; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1434 |
return erase_to_word_type(t1->basic_type()) == erase_to_word_type(t2->basic_type()); |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1435 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1436 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1437 |
bool ciMethod::is_consistent_info(ciMethod* declared_method, ciMethod* resolved_method) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1438 |
bool invoke_through_mh_intrinsic = declared_method->is_method_handle_intrinsic() && |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1439 |
!resolved_method->is_method_handle_intrinsic(); |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1440 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1441 |
if (!invoke_through_mh_intrinsic) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1442 |
// Method name & descriptor should stay the same. |
43951
c23519aaccc1
8174818: bigapps/Weblogic12medrec fails with assert(check_call_consistency(jvms, cg)) failed: inconsistent info
vlivanov
parents:
43947
diff
changeset
|
1443 |
// Signatures may reference unloaded types and thus they may be not strictly equal. |
c23519aaccc1
8174818: bigapps/Weblogic12medrec fails with assert(check_call_consistency(jvms, cg)) failed: inconsistent info
vlivanov
parents:
43947
diff
changeset
|
1444 |
ciSymbol* declared_signature = declared_method->signature()->as_symbol(); |
c23519aaccc1
8174818: bigapps/Weblogic12medrec fails with assert(check_call_consistency(jvms, cg)) failed: inconsistent info
vlivanov
parents:
43947
diff
changeset
|
1445 |
ciSymbol* resolved_signature = resolved_method->signature()->as_symbol(); |
c23519aaccc1
8174818: bigapps/Weblogic12medrec fails with assert(check_call_consistency(jvms, cg)) failed: inconsistent info
vlivanov
parents:
43947
diff
changeset
|
1446 |
|
43947
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1447 |
return (declared_method->name()->equals(resolved_method->name())) && |
43951
c23519aaccc1
8174818: bigapps/Weblogic12medrec fails with assert(check_call_consistency(jvms, cg)) failed: inconsistent info
vlivanov
parents:
43947
diff
changeset
|
1448 |
(declared_signature->equals(resolved_signature)); |
43947
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1449 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1450 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1451 |
ciMethod* linker = declared_method; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1452 |
ciMethod* target = resolved_method; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1453 |
// Linkers have appendix argument which is not passed to callee. |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1454 |
int has_appendix = MethodHandles::has_member_arg(linker->intrinsic_id()) ? 1 : 0; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1455 |
if (linker->arg_size() != (target->arg_size() + has_appendix)) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1456 |
return false; // argument slot count mismatch |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1457 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1458 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1459 |
ciSignature* linker_sig = linker->signature(); |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1460 |
ciSignature* target_sig = target->signature(); |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1461 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1462 |
if (linker_sig->count() + (linker->is_static() ? 0 : 1) != |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1463 |
target_sig->count() + (target->is_static() ? 0 : 1) + has_appendix) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1464 |
return false; // argument count mismatch |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1465 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1466 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1467 |
int sbase = 0, rbase = 0; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1468 |
switch (linker->intrinsic_id()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1469 |
case vmIntrinsics::_linkToVirtual: |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1470 |
case vmIntrinsics::_linkToInterface: |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1471 |
case vmIntrinsics::_linkToSpecial: { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1472 |
if (target->is_static()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1473 |
return false; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1474 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1475 |
if (linker_sig->type_at(0)->is_primitive_type()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1476 |
return false; // receiver should be an oop |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1477 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1478 |
sbase = 1; // skip receiver |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1479 |
break; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1480 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1481 |
case vmIntrinsics::_linkToStatic: { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1482 |
if (!target->is_static()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1483 |
return false; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1484 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1485 |
break; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1486 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1487 |
case vmIntrinsics::_invokeBasic: { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1488 |
if (target->is_static()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1489 |
if (target_sig->type_at(0)->is_primitive_type()) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1490 |
return false; // receiver should be an oop |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1491 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1492 |
rbase = 1; // skip receiver |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1493 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1494 |
break; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1495 |
} |
46630
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46542
diff
changeset
|
1496 |
default: |
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46542
diff
changeset
|
1497 |
break; |
43947
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1498 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1499 |
assert(target_sig->count() - rbase == linker_sig->count() - sbase - has_appendix, "argument count mismatch"); |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1500 |
int arg_count = target_sig->count() - rbase; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1501 |
for (int i = 0; i < arg_count; i++) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1502 |
if (!basic_types_match(linker_sig->type_at(sbase + i), target_sig->type_at(rbase + i))) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1503 |
return false; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1504 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1505 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1506 |
// Only check the return type if the symbolic info has non-void return type. |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1507 |
// I.e. the return value of the resolved method can be dropped. |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1508 |
if (!linker->return_type()->is_void() && |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1509 |
!basic_types_match(linker->return_type(), target->return_type())) { |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1510 |
return false; |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1511 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1512 |
return true; // no mismatch found |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1513 |
} |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1514 |
|
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1515 |
// ------------------------------------------------------------------ |
a52ee13998f3
8174721: C1: Inlining through MH invokers/linkers in unreachable code is unsafe
vlivanov
parents:
40664
diff
changeset
|
1516 |
|
29582 | 1517 |
#if INCLUDE_TRACE |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
39219
diff
changeset
|
1518 |
TraceStructCalleeMethod ciMethod::to_trace_struct() const { |
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
39219
diff
changeset
|
1519 |
TraceStructCalleeMethod result; |
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
39219
diff
changeset
|
1520 |
result.set_type(holder()->name()->as_utf8()); |
29582 | 1521 |
result.set_name(name()->as_utf8()); |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
39219
diff
changeset
|
1522 |
result.set_descriptor(signature()->as_symbol()->as_utf8()); |
29582 | 1523 |
return result; |
1524 |
} |
|
1525 |
#endif |