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