author | coleenp |
Wed, 13 Nov 2019 08:23:23 -0500 | |
changeset 59056 | 15936b142f86 |
parent 58722 | cba8afa5cfed |
permissions | -rw-r--r-- |
1 | 1 |
/* |
53345
91ab128a65a3
8216556: Unnecessary liveness computation with JVMTI
mdoerr
parents:
52195
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:
5420
diff
changeset
|
19 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
f4b087cbb361
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
5420
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:
5420
diff
changeset
|
21 |
* questions. |
1 | 22 |
* |
23 |
*/ |
|
24 |
||
7397 | 25 |
#include "precompiled.hpp" |
47765
b7c7428eaab9
8189610: Reconcile jvm.h and all jvm_md.h between java.base and hotspot
coleenp
parents:
47687
diff
changeset
|
26 |
#include "jvm.h" |
7397 | 27 |
#include "ci/ciConstant.hpp" |
28 |
#include "ci/ciEnv.hpp" |
|
29 |
#include "ci/ciField.hpp" |
|
30 |
#include "ci/ciInstance.hpp" |
|
31 |
#include "ci/ciInstanceKlass.hpp" |
|
32 |
#include "ci/ciMethod.hpp" |
|
33 |
#include "ci/ciNullObject.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:
49359
diff
changeset
|
35 |
#include "ci/ciUtilities.inline.hpp" |
54786 | 36 |
#include "classfile/symbolTable.hpp" |
7397 | 37 |
#include "classfile/systemDictionary.hpp" |
38 |
#include "classfile/vmSymbols.hpp" |
|
26796 | 39 |
#include "code/codeCache.hpp" |
7397 | 40 |
#include "code/scopeDesc.hpp" |
41 |
#include "compiler/compileBroker.hpp" |
|
42 |
#include "compiler/compileLog.hpp" |
|
33451
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
43 |
#include "compiler/disassembler.hpp" |
30764 | 44 |
#include "gc/shared/collectedHeap.inline.hpp" |
7397 | 45 |
#include "interpreter/linkResolver.hpp" |
50113 | 46 |
#include "jfr/jfrEvents.hpp" |
55273 | 47 |
#include "logging/log.hpp" |
7397 | 48 |
#include "memory/allocation.inline.hpp" |
49 |
#include "memory/oopFactory.hpp" |
|
37248 | 50 |
#include "memory/resourceArea.hpp" |
49359
59f6547e151f
8199264: Remove universe.inline.hpp to simplify include dependencies
stefank
parents:
49340
diff
changeset
|
51 |
#include "memory/universe.hpp" |
49340
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
52 |
#include "oops/constantPool.inline.hpp" |
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
53 |
#include "oops/cpCache.inline.hpp" |
4e82736053ae
8191102: Incorrect include file use in classLoader.hpp
hseigel
parents:
49192
diff
changeset
|
54 |
#include "oops/method.inline.hpp" |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
55 |
#include "oops/methodData.hpp" |
7397 | 56 |
#include "oops/objArrayKlass.hpp" |
29081
c61eb4914428
8072911: Remove includes of oop.inline.hpp from .hpp files
stefank
parents:
27706
diff
changeset
|
57 |
#include "oops/objArrayOop.inline.hpp" |
7397 | 58 |
#include "oops/oop.inline.hpp" |
59 |
#include "prims/jvmtiExport.hpp" |
|
53582 | 60 |
#include "runtime/handles.inline.hpp" |
7397 | 61 |
#include "runtime/init.hpp" |
62 |
#include "runtime/reflection.hpp" |
|
49192
6734eeef4283
8198474: Move JNIHandles::resolve into jniHandles.inline.hpp
kbarrett
parents:
48826
diff
changeset
|
63 |
#include "runtime/jniHandles.inline.hpp" |
49594
898ef81cbc0e
8200106: Move NoSafepointVerifier out from gcLocker.hpp
stefank
parents:
49449
diff
changeset
|
64 |
#include "runtime/safepointVerifiers.hpp" |
7397 | 65 |
#include "runtime/sharedRuntime.hpp" |
24351
61b33cc6d3cf
8042195: Introduce umbrella header orderAccess.inline.hpp.
goetz
parents:
23496
diff
changeset
|
66 |
#include "runtime/thread.inline.hpp" |
7397 | 67 |
#include "utilities/dtrace.hpp" |
15482
470d0b0c09f1
8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents:
14490
diff
changeset
|
68 |
#include "utilities/macros.hpp" |
7397 | 69 |
#ifdef COMPILER1 |
70 |
#include "c1/c1_Runtime1.hpp" |
|
71 |
#endif |
|
72 |
#ifdef COMPILER2 |
|
73 |
#include "opto/runtime.hpp" |
|
74 |
#endif |
|
1 | 75 |
|
76 |
// ciEnv |
|
77 |
// |
|
78 |
// This class is the top level broker for requests from the compiler |
|
79 |
// to the VM. |
|
80 |
||
81 |
ciObject* ciEnv::_null_object_instance; |
|
82 |
||
52195 | 83 |
#define WK_KLASS_DEFN(name, ignore_s) ciInstanceKlass* ciEnv::_##name = NULL; |
4571 | 84 |
WK_KLASSES_DO(WK_KLASS_DEFN) |
85 |
#undef WK_KLASS_DEFN |
|
1 | 86 |
|
87 |
ciSymbol* ciEnv::_unloaded_cisymbol = NULL; |
|
88 |
ciInstanceKlass* ciEnv::_unloaded_ciinstance_klass = NULL; |
|
89 |
ciObjArrayKlass* ciEnv::_unloaded_ciobjarrayklass = NULL; |
|
90 |
||
91 |
jobject ciEnv::_ArrayIndexOutOfBoundsException_handle = NULL; |
|
92 |
jobject ciEnv::_ArrayStoreException_handle = NULL; |
|
93 |
jobject ciEnv::_ClassCastException_handle = NULL; |
|
94 |
||
95 |
#ifndef PRODUCT |
|
96 |
static bool firstEnv = true; |
|
97 |
#endif /* PRODUCT */ |
|
98 |
||
99 |
// ------------------------------------------------------------------ |
|
100 |
// ciEnv::ciEnv |
|
55635
0fb70c9118ce
8222446: assert(C->env()->system_dictionary_modification_counter_changed()) failed: Must invalidate if TypeFuncs differ
coleenp
parents:
55273
diff
changeset
|
101 |
ciEnv::ciEnv(CompileTask* task) |
25946 | 102 |
: _ciEnv_arena(mtCompiler) { |
1 | 103 |
VM_ENTRY_MARK; |
104 |
||
105 |
// Set up ciEnv::current immediately, for the sake of ciObjectFactory, etc. |
|
106 |
thread->set_env(this); |
|
107 |
assert(ciEnv::current() == this, "sanity"); |
|
108 |
||
109 |
_oop_recorder = NULL; |
|
110 |
_debug_info = NULL; |
|
111 |
_dependencies = NULL; |
|
112 |
_failure_reason = NULL; |
|
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
113 |
_inc_decompile_count_on_failure = true; |
1 | 114 |
_compilable = MethodCompilable; |
115 |
_break_at_compile = false; |
|
116 |
_compiler_data = NULL; |
|
117 |
#ifndef PRODUCT |
|
118 |
assert(!firstEnv, "not initialized properly"); |
|
119 |
#endif /* !PRODUCT */ |
|
120 |
||
121 |
_num_inlined_bytecodes = 0; |
|
122 |
assert(task == NULL || thread->task() == task, "sanity"); |
|
54015
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
123 |
if (task != NULL) { |
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
124 |
task->mark_started(os::elapsed_counter()); |
cd701366fcf8
8163511: Allocation of compile task fails with assert: "Leaking compilation tasks?"
thartmann
parents:
53911
diff
changeset
|
125 |
} |
1 | 126 |
_task = task; |
127 |
_log = NULL; |
|
128 |
||
129 |
// Temporary buffer for creating symbols and such. |
|
130 |
_name_buffer = NULL; |
|
131 |
_name_buffer_len = 0; |
|
132 |
||
133 |
_arena = &_ciEnv_arena; |
|
134 |
_factory = new (_arena) ciObjectFactory(_arena, 128); |
|
135 |
||
136 |
// Preload commonly referenced system ciObjects. |
|
137 |
||
138 |
// During VM initialization, these instances have not yet been created. |
|
139 |
// Assertions ensure that these instances are not accessed before |
|
140 |
// their initialization. |
|
141 |
||
142 |
assert(Universe::is_fully_initialized(), "should be complete"); |
|
143 |
||
144 |
oop o = Universe::null_ptr_exception_instance(); |
|
145 |
assert(o != NULL, "should have been initialized"); |
|
146 |
_NullPointerException_instance = get_object(o)->as_instance(); |
|
147 |
o = Universe::arithmetic_exception_instance(); |
|
148 |
assert(o != NULL, "should have been initialized"); |
|
149 |
_ArithmeticException_instance = get_object(o)->as_instance(); |
|
150 |
||
151 |
_ArrayIndexOutOfBoundsException_instance = NULL; |
|
152 |
_ArrayStoreException_instance = NULL; |
|
153 |
_ClassCastException_instance = NULL; |
|
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
154 |
_the_null_string = NULL; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
155 |
_the_min_jint_string = NULL; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
156 |
|
58358
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
157 |
_jvmti_redefinition_count = 0; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
158 |
_jvmti_can_hotswap_or_post_breakpoint = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
159 |
_jvmti_can_access_local_variables = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
160 |
_jvmti_can_post_on_exceptions = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
161 |
_jvmti_can_pop_frame = false; |
1 | 162 |
} |
163 |
||
25946 | 164 |
ciEnv::ciEnv(Arena* arena) : _ciEnv_arena(mtCompiler) { |
1 | 165 |
ASSERT_IN_VM; |
166 |
||
167 |
// Set up ciEnv::current immediately, for the sake of ciObjectFactory, etc. |
|
168 |
CompilerThread* current_thread = CompilerThread::current(); |
|
169 |
assert(current_thread->env() == NULL, "must be"); |
|
170 |
current_thread->set_env(this); |
|
171 |
assert(ciEnv::current() == this, "sanity"); |
|
172 |
||
173 |
_oop_recorder = NULL; |
|
174 |
_debug_info = NULL; |
|
175 |
_dependencies = NULL; |
|
176 |
_failure_reason = NULL; |
|
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
177 |
_inc_decompile_count_on_failure = true; |
1 | 178 |
_compilable = MethodCompilable_never; |
179 |
_break_at_compile = false; |
|
180 |
_compiler_data = NULL; |
|
181 |
#ifndef PRODUCT |
|
182 |
assert(firstEnv, "must be first"); |
|
183 |
firstEnv = false; |
|
184 |
#endif /* !PRODUCT */ |
|
185 |
||
186 |
_num_inlined_bytecodes = 0; |
|
187 |
_task = NULL; |
|
188 |
_log = NULL; |
|
189 |
||
190 |
// Temporary buffer for creating symbols and such. |
|
191 |
_name_buffer = NULL; |
|
192 |
_name_buffer_len = 0; |
|
193 |
||
194 |
_arena = arena; |
|
195 |
_factory = new (_arena) ciObjectFactory(_arena, 128); |
|
196 |
||
197 |
// Preload commonly referenced system ciObjects. |
|
198 |
||
199 |
// During VM initialization, these instances have not yet been created. |
|
200 |
// Assertions ensure that these instances are not accessed before |
|
201 |
// their initialization. |
|
202 |
||
203 |
assert(Universe::is_fully_initialized(), "must be"); |
|
204 |
||
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
205 |
_NullPointerException_instance = NULL; |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
206 |
_ArithmeticException_instance = NULL; |
1 | 207 |
_ArrayIndexOutOfBoundsException_instance = NULL; |
208 |
_ArrayStoreException_instance = NULL; |
|
209 |
_ClassCastException_instance = NULL; |
|
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
210 |
_the_null_string = NULL; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
211 |
_the_min_jint_string = NULL; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
212 |
|
58358
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
213 |
_jvmti_redefinition_count = 0; |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
214 |
_jvmti_can_hotswap_or_post_breakpoint = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
215 |
_jvmti_can_access_local_variables = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
216 |
_jvmti_can_post_on_exceptions = false; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
217 |
_jvmti_can_pop_frame = false; |
1 | 218 |
} |
219 |
||
220 |
ciEnv::~ciEnv() { |
|
40057
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
221 |
GUARDED_VM_ENTRY( |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
222 |
CompilerThread* current_thread = CompilerThread::current(); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
223 |
_factory->remove_symbols(); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
224 |
// Need safepoint to clear the env on the thread. RedefineClasses might |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
225 |
// be reading it. |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
226 |
current_thread->set_env(NULL); |
a0511d037cbe
8098573: Compiler accesses to shared archive fail if archive is remapped
zmajo
parents:
38719
diff
changeset
|
227 |
) |
1 | 228 |
} |
229 |
||
230 |
// ------------------------------------------------------------------ |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
231 |
// Cache Jvmti state |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
232 |
void ciEnv::cache_jvmti_state() { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
233 |
VM_ENTRY_MARK; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
234 |
// Get Jvmti capabilities under lock to get consistant values. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
235 |
MutexLocker mu(JvmtiThreadState_lock); |
58358
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
236 |
_jvmti_redefinition_count = JvmtiExport::redefinition_count(); |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
237 |
_jvmti_can_hotswap_or_post_breakpoint = JvmtiExport::can_hotswap_or_post_breakpoint(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
238 |
_jvmti_can_access_local_variables = JvmtiExport::can_access_local_variables(); |
4761
bdb7375a1fee
6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents:
4571
diff
changeset
|
239 |
_jvmti_can_post_on_exceptions = JvmtiExport::can_post_on_exceptions(); |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
240 |
_jvmti_can_pop_frame = JvmtiExport::can_pop_frame(); |
58512
5185bc8dcbb1
8230677: Should disable Escape Analysis if JVMTI capability can_get_owned_monitor_info was taken
rrich
parents:
58358
diff
changeset
|
241 |
_jvmti_can_get_owned_monitor_info = JvmtiExport::can_get_owned_monitor_info(); |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
242 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
243 |
|
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
244 |
bool ciEnv::jvmti_state_changed() const { |
58358
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
245 |
// Some classes were redefined |
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
246 |
if (_jvmti_redefinition_count != JvmtiExport::redefinition_count()) { |
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
247 |
return true; |
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
248 |
} |
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
249 |
|
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
250 |
if (!_jvmti_can_access_local_variables && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
251 |
JvmtiExport::can_access_local_variables()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
252 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
253 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
254 |
if (!_jvmti_can_hotswap_or_post_breakpoint && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
255 |
JvmtiExport::can_hotswap_or_post_breakpoint()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
256 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
257 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
258 |
if (!_jvmti_can_post_on_exceptions && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
259 |
JvmtiExport::can_post_on_exceptions()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
260 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
261 |
} |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
262 |
if (!_jvmti_can_pop_frame && |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
263 |
JvmtiExport::can_pop_frame()) { |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
264 |
return true; |
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
265 |
} |
58512
5185bc8dcbb1
8230677: Should disable Escape Analysis if JVMTI capability can_get_owned_monitor_info was taken
rrich
parents:
58358
diff
changeset
|
266 |
if (!_jvmti_can_get_owned_monitor_info && |
5185bc8dcbb1
8230677: Should disable Escape Analysis if JVMTI capability can_get_owned_monitor_info was taken
rrich
parents:
58358
diff
changeset
|
267 |
JvmtiExport::can_get_owned_monitor_info()) { |
5185bc8dcbb1
8230677: Should disable Escape Analysis if JVMTI capability can_get_owned_monitor_info was taken
rrich
parents:
58358
diff
changeset
|
268 |
return true; |
5185bc8dcbb1
8230677: Should disable Escape Analysis if JVMTI capability can_get_owned_monitor_info was taken
rrich
parents:
58358
diff
changeset
|
269 |
} |
58358
d658f4379c63
8226690: SIGSEGV in MetadataOnStackClosure::do_metadata
coleenp
parents:
58226
diff
changeset
|
270 |
|
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
271 |
return false; |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
272 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
273 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
274 |
// ------------------------------------------------------------------ |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
275 |
// Cache DTrace flags |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
276 |
void ciEnv::cache_dtrace_flags() { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
277 |
// Need lock? |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
278 |
_dtrace_extended_probes = ExtendedDTraceProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
279 |
if (_dtrace_extended_probes) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
280 |
_dtrace_monitor_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
281 |
_dtrace_method_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
282 |
_dtrace_alloc_probes = true; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
283 |
} else { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
284 |
_dtrace_monitor_probes = DTraceMonitorProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
285 |
_dtrace_method_probes = DTraceMethodProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
286 |
_dtrace_alloc_probes = DTraceAllocProbes; |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
287 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
288 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
289 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
290 |
// ------------------------------------------------------------------ |
1 | 291 |
// helper for lazy exception creation |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
292 |
ciInstance* ciEnv::get_or_create_exception(jobject& handle, Symbol* name) { |
1 | 293 |
VM_ENTRY_MARK; |
294 |
if (handle == NULL) { |
|
295 |
// Cf. universe.cpp, creation of Universe::_null_ptr_exception_instance. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
296 |
Klass* k = SystemDictionary::find(name, Handle(), Handle(), THREAD); |
1 | 297 |
jobject objh = NULL; |
298 |
if (!HAS_PENDING_EXCEPTION && k != NULL) { |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
299 |
oop obj = InstanceKlass::cast(k)->allocate_instance(THREAD); |
1 | 300 |
if (!HAS_PENDING_EXCEPTION) |
46271
979ebd346ecf
8169881: Remove implicit Handle conversions oop->Handle
coleenp
parents:
46262
diff
changeset
|
301 |
objh = JNIHandles::make_global(Handle(THREAD, obj)); |
1 | 302 |
} |
303 |
if (HAS_PENDING_EXCEPTION) { |
|
304 |
CLEAR_PENDING_EXCEPTION; |
|
305 |
} else { |
|
306 |
handle = objh; |
|
307 |
} |
|
308 |
} |
|
309 |
oop obj = JNIHandles::resolve(handle); |
|
310 |
return obj == NULL? NULL: get_object(obj)->as_instance(); |
|
311 |
} |
|
312 |
||
313 |
ciInstance* ciEnv::ArrayIndexOutOfBoundsException_instance() { |
|
314 |
if (_ArrayIndexOutOfBoundsException_instance == NULL) { |
|
315 |
_ArrayIndexOutOfBoundsException_instance |
|
316 |
= get_or_create_exception(_ArrayIndexOutOfBoundsException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
317 |
vmSymbols::java_lang_ArrayIndexOutOfBoundsException()); |
1 | 318 |
} |
319 |
return _ArrayIndexOutOfBoundsException_instance; |
|
320 |
} |
|
321 |
ciInstance* ciEnv::ArrayStoreException_instance() { |
|
322 |
if (_ArrayStoreException_instance == NULL) { |
|
323 |
_ArrayStoreException_instance |
|
324 |
= get_or_create_exception(_ArrayStoreException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
325 |
vmSymbols::java_lang_ArrayStoreException()); |
1 | 326 |
} |
327 |
return _ArrayStoreException_instance; |
|
328 |
} |
|
329 |
ciInstance* ciEnv::ClassCastException_instance() { |
|
330 |
if (_ClassCastException_instance == NULL) { |
|
331 |
_ClassCastException_instance |
|
332 |
= get_or_create_exception(_ClassCastException_handle, |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
333 |
vmSymbols::java_lang_ClassCastException()); |
1 | 334 |
} |
335 |
return _ClassCastException_instance; |
|
336 |
} |
|
337 |
||
4450
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
338 |
ciInstance* ciEnv::the_null_string() { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
339 |
if (_the_null_string == NULL) { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
340 |
VM_ENTRY_MARK; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
341 |
_the_null_string = get_object(Universe::the_null_string())->as_instance(); |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
342 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
343 |
return _the_null_string; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
344 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
345 |
|
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
346 |
ciInstance* ciEnv::the_min_jint_string() { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
347 |
if (_the_min_jint_string == NULL) { |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
348 |
VM_ENTRY_MARK; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
349 |
_the_min_jint_string = get_object(Universe::the_min_jint_string())->as_instance(); |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
350 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
351 |
return _the_min_jint_string; |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
352 |
} |
6d700b859b3e
6892658: C2 should optimize some stringbuilder patterns
never
parents:
4429
diff
changeset
|
353 |
|
1 | 354 |
// ------------------------------------------------------------------ |
355 |
// ciEnv::get_method_from_handle |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
356 |
ciMethod* ciEnv::get_method_from_handle(Method* method) { |
1 | 357 |
VM_ENTRY_MARK; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
358 |
return get_metadata(method)->as_method(); |
1 | 359 |
} |
360 |
||
361 |
// ------------------------------------------------------------------ |
|
362 |
// ciEnv::array_element_offset_in_bytes |
|
363 |
int ciEnv::array_element_offset_in_bytes(ciArray* a_h, ciObject* o_h) { |
|
364 |
VM_ENTRY_MARK; |
|
365 |
objArrayOop a = (objArrayOop)a_h->get_oop(); |
|
366 |
assert(a->is_objArray(), ""); |
|
367 |
int length = a->length(); |
|
368 |
oop o = o_h->get_oop(); |
|
369 |
for (int i = 0; i < length; i++) { |
|
370 |
if (a->obj_at(i) == o) return i; |
|
371 |
} |
|
372 |
return -1; |
|
373 |
} |
|
374 |
||
375 |
||
376 |
// ------------------------------------------------------------------ |
|
377 |
// ciEnv::check_klass_accessiblity |
|
378 |
// |
|
379 |
// Note: the logic of this method should mirror the logic of |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
380 |
// ConstantPool::verify_constant_pool_resolve. |
1 | 381 |
bool ciEnv::check_klass_accessibility(ciKlass* accessing_klass, |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
382 |
Klass* resolved_klass) { |
1 | 383 |
if (accessing_klass == NULL || !accessing_klass->is_loaded()) { |
384 |
return true; |
|
385 |
} |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
386 |
if (accessing_klass->is_obj_array_klass()) { |
1 | 387 |
accessing_klass = accessing_klass->as_obj_array_klass()->base_element_klass(); |
388 |
} |
|
389 |
if (!accessing_klass->is_instance_klass()) { |
|
390 |
return true; |
|
391 |
} |
|
392 |
||
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
393 |
if (resolved_klass->is_objArray_klass()) { |
1 | 394 |
// Find the element klass, if this is an array. |
13952
e3cf184080bc
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
13883
diff
changeset
|
395 |
resolved_klass = ObjArrayKlass::cast(resolved_klass)->bottom_klass(); |
1 | 396 |
} |
33611
9abd65805e19
8139203: Consistent naming for klass type predicates
coleenp
parents:
33593
diff
changeset
|
397 |
if (resolved_klass->is_instance_klass()) { |
36508 | 398 |
return (Reflection::verify_class_access(accessing_klass->get_Klass(), |
46262
83280d968b96
8174092: Remove array-related access checks from Reflection::verify_class_access()
hseigel
parents:
40664
diff
changeset
|
399 |
InstanceKlass::cast(resolved_klass), |
36508 | 400 |
true) == Reflection::ACCESS_OK); |
1 | 401 |
} |
402 |
return true; |
|
403 |
} |
|
404 |
||
405 |
// ------------------------------------------------------------------ |
|
406 |
// ciEnv::get_klass_by_name_impl |
|
407 |
ciKlass* ciEnv::get_klass_by_name_impl(ciKlass* accessing_klass, |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
408 |
const constantPoolHandle& cpool, |
1 | 409 |
ciSymbol* name, |
410 |
bool require_local) { |
|
411 |
ASSERT_IN_VM; |
|
412 |
EXCEPTION_CONTEXT; |
|
413 |
||
414 |
// Now we need to check the SystemDictionary |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
415 |
Symbol* sym = name->get_symbol(); |
58722
cba8afa5cfed
8231844: Enhance type signature characters in classfile_constants.h and improve the JVM to use type signature characters more consistently
lfoltan
parents:
58512
diff
changeset
|
416 |
if (sym->char_at(0) == JVM_SIGNATURE_CLASS && |
cba8afa5cfed
8231844: Enhance type signature characters in classfile_constants.h and improve the JVM to use type signature characters more consistently
lfoltan
parents:
58512
diff
changeset
|
417 |
sym->char_at(sym->utf8_length()-1) == JVM_SIGNATURE_ENDCLASS) { |
1 | 418 |
// This is a name from a signature. Strip off the trimmings. |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
419 |
// Call recursive to keep scope of strippedsym. |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
420 |
TempNewSymbol strippedsym = SymbolTable::new_symbol(sym->as_utf8()+1, |
54847
59ea39bb2809
8223657: Remove unused THREAD argument from SymbolTable functions
coleenp
parents:
54786
diff
changeset
|
421 |
sym->utf8_length()-2); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
422 |
ciSymbol* strippedname = get_symbol(strippedsym); |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
423 |
return get_klass_by_name_impl(accessing_klass, cpool, strippedname, require_local); |
1 | 424 |
} |
425 |
||
426 |
// Check for prior unloaded klass. The SystemDictionary's answers |
|
427 |
// can vary over time but the compiler needs consistency. |
|
428 |
ciKlass* unloaded_klass = check_get_unloaded_klass(accessing_klass, name); |
|
429 |
if (unloaded_klass != NULL) { |
|
430 |
if (require_local) return NULL; |
|
431 |
return unloaded_klass; |
|
432 |
} |
|
433 |
||
434 |
Handle loader(THREAD, (oop)NULL); |
|
435 |
Handle domain(THREAD, (oop)NULL); |
|
436 |
if (accessing_klass != NULL) { |
|
437 |
loader = Handle(THREAD, accessing_klass->loader()); |
|
438 |
domain = Handle(THREAD, accessing_klass->protection_domain()); |
|
439 |
} |
|
440 |
||
441 |
// setup up the proper type to return on OOM |
|
442 |
ciKlass* fail_type; |
|
58722
cba8afa5cfed
8231844: Enhance type signature characters in classfile_constants.h and improve the JVM to use type signature characters more consistently
lfoltan
parents:
58512
diff
changeset
|
443 |
if (sym->char_at(0) == JVM_SIGNATURE_ARRAY) { |
1 | 444 |
fail_type = _unloaded_ciobjarrayklass; |
445 |
} else { |
|
446 |
fail_type = _unloaded_ciinstance_klass; |
|
447 |
} |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
448 |
Klass* found_klass; |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
449 |
{ |
8333
11a7f6fc6419
7021531: lock ordering problems after fix for 6354181
never
parents:
8314
diff
changeset
|
450 |
ttyUnlocker ttyul; // release tty lock to avoid ordering problems |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
451 |
MutexLocker ml(Compile_lock); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
452 |
Klass* kls; |
8314
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
453 |
if (!require_local) { |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
454 |
kls = SystemDictionary::find_constrained_instance_or_array_klass(sym, loader, |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
455 |
KILL_COMPILE_ON_FATAL_(fail_type)); |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
456 |
} else { |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
457 |
kls = SystemDictionary::find_instance_or_array_klass(sym, loader, domain, |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
458 |
KILL_COMPILE_ON_FATAL_(fail_type)); |
057b1c20fd7e
6354181: nsk.logging.stress.threads.scmhml001 fails assertion in "src/share/vm/oops/instanceKlass.cpp, 111"
never
parents:
8076
diff
changeset
|
459 |
} |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
460 |
found_klass = kls; |
1 | 461 |
} |
462 |
||
463 |
// If we fail to find an array klass, look again for its element type. |
|
464 |
// The element type may be available either locally or via constraints. |
|
465 |
// In either case, if we can find the element type in the system dictionary, |
|
466 |
// we must build an array type around it. The CI requires array klasses |
|
467 |
// to be loaded if their element klasses are loaded, except when memory |
|
468 |
// is exhausted. |
|
58722
cba8afa5cfed
8231844: Enhance type signature characters in classfile_constants.h and improve the JVM to use type signature characters more consistently
lfoltan
parents:
58512
diff
changeset
|
469 |
if (sym->char_at(0) == JVM_SIGNATURE_ARRAY && |
cba8afa5cfed
8231844: Enhance type signature characters in classfile_constants.h and improve the JVM to use type signature characters more consistently
lfoltan
parents:
58512
diff
changeset
|
470 |
(sym->char_at(1) == JVM_SIGNATURE_ARRAY || sym->char_at(1) == JVM_SIGNATURE_CLASS)) { |
1 | 471 |
// We have an unloaded array. |
472 |
// Build it on the fly if the element class exists. |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
473 |
TempNewSymbol elem_sym = SymbolTable::new_symbol(sym->as_utf8()+1, |
54847
59ea39bb2809
8223657: Remove unused THREAD argument from SymbolTable functions
coleenp
parents:
54786
diff
changeset
|
474 |
sym->utf8_length()-1); |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
475 |
|
1 | 476 |
// Get element ciKlass recursively. |
477 |
ciKlass* elem_klass = |
|
478 |
get_klass_by_name_impl(accessing_klass, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
479 |
cpool, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
480 |
get_symbol(elem_sym), |
1 | 481 |
require_local); |
482 |
if (elem_klass != NULL && elem_klass->is_loaded()) { |
|
483 |
// Now make an array for it |
|
484 |
return ciObjArrayKlass::make_impl(elem_klass); |
|
485 |
} |
|
486 |
} |
|
487 |
||
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
488 |
if (found_klass == NULL && !cpool.is_null() && cpool->has_preresolution()) { |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
489 |
// Look inside the constant pool for pre-resolved class entries. |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
490 |
for (int i = cpool->length() - 1; i >= 1; i--) { |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
491 |
if (cpool->tag_at(i).is_klass()) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
492 |
Klass* kls = cpool->resolved_klass_at(i); |
14488 | 493 |
if (kls->name() == sym) { |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
494 |
found_klass = kls; |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
495 |
break; |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
496 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
497 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
498 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
499 |
} |
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
500 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
501 |
if (found_klass != NULL) { |
1 | 502 |
// Found it. Build a CI handle. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
503 |
return get_klass(found_klass); |
1 | 504 |
} |
505 |
||
506 |
if (require_local) return NULL; |
|
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
507 |
|
1 | 508 |
// Not yet loaded into the VM, or not governed by loader constraints. |
509 |
// Make a CI representative for it. |
|
510 |
return get_unloaded_klass(accessing_klass, name); |
|
511 |
} |
|
512 |
||
513 |
// ------------------------------------------------------------------ |
|
514 |
// ciEnv::get_klass_by_name |
|
515 |
ciKlass* ciEnv::get_klass_by_name(ciKlass* accessing_klass, |
|
516 |
ciSymbol* klass_name, |
|
517 |
bool require_local) { |
|
518 |
GUARDED_VM_ENTRY(return get_klass_by_name_impl(accessing_klass, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
519 |
constantPoolHandle(), |
1 | 520 |
klass_name, |
521 |
require_local);) |
|
522 |
} |
|
523 |
||
524 |
// ------------------------------------------------------------------ |
|
525 |
// ciEnv::get_klass_by_index_impl |
|
526 |
// |
|
527 |
// Implementation of get_klass_by_index. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
528 |
ciKlass* ciEnv::get_klass_by_index_impl(const constantPoolHandle& cpool, |
1 | 529 |
int index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
530 |
bool& is_accessible, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
531 |
ciInstanceKlass* accessor) { |
1 | 532 |
EXCEPTION_CONTEXT; |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
533 |
Klass* klass = NULL; |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
534 |
Symbol* klass_name = NULL; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
535 |
|
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
536 |
if (cpool->tag_at(index).is_symbol()) { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
537 |
klass_name = cpool->symbol_at(index); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
538 |
} else { |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
539 |
// Check if it's resolved if it's not a symbol constant pool entry. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
540 |
klass = ConstantPool::klass_at_if_loaded(cpool, index); |
25325 | 541 |
// Try to look it up by name. |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
542 |
if (klass == NULL) { |
25325 | 543 |
klass_name = cpool->klass_name_at(index); |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
544 |
} |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
545 |
} |
1 | 546 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
547 |
if (klass == NULL) { |
1 | 548 |
// Not found in constant pool. Use the name to do the lookup. |
549 |
ciKlass* k = get_klass_by_name_impl(accessor, |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
550 |
cpool, |
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
551 |
get_symbol(klass_name), |
1 | 552 |
false); |
553 |
// Calculate accessibility the hard way. |
|
554 |
if (!k->is_loaded()) { |
|
555 |
is_accessible = false; |
|
58177 | 556 |
} else if (k->loader() != accessor->loader() && |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
557 |
get_klass_by_name_impl(accessor, cpool, k->name(), true) == NULL) { |
1 | 558 |
// Loaded only remotely. Not linked yet. |
559 |
is_accessible = false; |
|
560 |
} else { |
|
561 |
// Linked locally, and we must also check public/private, etc. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
562 |
is_accessible = check_klass_accessibility(accessor, k->get_Klass()); |
1 | 563 |
} |
564 |
return k; |
|
565 |
} |
|
566 |
||
567 |
// Check for prior unloaded klass. The SystemDictionary's answers |
|
568 |
// can vary over time but the compiler needs consistency. |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
569 |
ciSymbol* name = get_symbol(klass->name()); |
1 | 570 |
ciKlass* unloaded_klass = check_get_unloaded_klass(accessor, name); |
571 |
if (unloaded_klass != NULL) { |
|
572 |
is_accessible = false; |
|
573 |
return unloaded_klass; |
|
574 |
} |
|
575 |
||
576 |
// It is known to be accessible, since it was found in the constant pool. |
|
577 |
is_accessible = true; |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
578 |
return get_klass(klass); |
1 | 579 |
} |
580 |
||
581 |
// ------------------------------------------------------------------ |
|
582 |
// ciEnv::get_klass_by_index |
|
583 |
// |
|
584 |
// Get a klass from the constant pool. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
585 |
ciKlass* ciEnv::get_klass_by_index(const constantPoolHandle& cpool, |
1 | 586 |
int index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
587 |
bool& is_accessible, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
588 |
ciInstanceKlass* accessor) { |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
589 |
GUARDED_VM_ENTRY(return get_klass_by_index_impl(cpool, index, is_accessible, accessor);) |
1 | 590 |
} |
591 |
||
592 |
// ------------------------------------------------------------------ |
|
593 |
// ciEnv::get_constant_by_index_impl |
|
594 |
// |
|
595 |
// Implementation of get_constant_by_index(). |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
596 |
ciConstant ciEnv::get_constant_by_index_impl(const constantPoolHandle& cpool, |
5882 | 597 |
int pool_index, int cache_index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
598 |
ciInstanceKlass* accessor) { |
5882 | 599 |
bool ignore_will_link; |
1 | 600 |
EXCEPTION_CONTEXT; |
5882 | 601 |
int index = pool_index; |
602 |
if (cache_index >= 0) { |
|
603 |
assert(index < 0, "only one kind of index at a time"); |
|
48826 | 604 |
index = cpool->object_to_cp_index(cache_index); |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
605 |
oop obj = cpool->resolved_references()->obj_at(cache_index); |
5882 | 606 |
if (obj != NULL) { |
58177 | 607 |
if (obj == Universe::the_null_sentinel()) { |
48826 | 608 |
return ciConstant(T_OBJECT, get_object(NULL)); |
609 |
} |
|
610 |
BasicType bt = T_OBJECT; |
|
611 |
if (cpool->tag_at(index).is_dynamic_constant()) |
|
612 |
bt = FieldType::basic_type(cpool->uncached_signature_ref_at(index)); |
|
613 |
if (is_reference_type(bt)) { |
|
614 |
} else { |
|
615 |
// we have to unbox the primitive value |
|
616 |
if (!is_java_primitive(bt)) return ciConstant(); |
|
617 |
jvalue value; |
|
618 |
BasicType bt2 = java_lang_boxing_object::get_value(obj, &value); |
|
619 |
assert(bt2 == bt, ""); |
|
620 |
switch (bt2) { |
|
621 |
case T_DOUBLE: return ciConstant(value.d); |
|
622 |
case T_FLOAT: return ciConstant(value.f); |
|
623 |
case T_LONG: return ciConstant(value.j); |
|
624 |
case T_INT: return ciConstant(bt2, value.i); |
|
625 |
case T_SHORT: return ciConstant(bt2, value.s); |
|
626 |
case T_BYTE: return ciConstant(bt2, value.b); |
|
627 |
case T_CHAR: return ciConstant(bt2, value.c); |
|
628 |
case T_BOOLEAN: return ciConstant(bt2, value.z); |
|
629 |
default: return ciConstant(); |
|
630 |
} |
|
631 |
} |
|
5882 | 632 |
ciObject* ciobj = get_object(obj); |
26944
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
633 |
if (ciobj->is_array()) { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
634 |
return ciConstant(T_ARRAY, ciobj); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
635 |
} else { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
636 |
assert(ciobj->is_instance(), "should be an instance"); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
637 |
return ciConstant(T_OBJECT, ciobj); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
638 |
} |
5882 | 639 |
} |
640 |
} |
|
1 | 641 |
constantTag tag = cpool->tag_at(index); |
642 |
if (tag.is_int()) { |
|
643 |
return ciConstant(T_INT, (jint)cpool->int_at(index)); |
|
644 |
} else if (tag.is_long()) { |
|
645 |
return ciConstant((jlong)cpool->long_at(index)); |
|
646 |
} else if (tag.is_float()) { |
|
647 |
return ciConstant((jfloat)cpool->float_at(index)); |
|
648 |
} else if (tag.is_double()) { |
|
649 |
return ciConstant((jdouble)cpool->double_at(index)); |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
650 |
} else if (tag.is_string()) { |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
651 |
oop string = NULL; |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
652 |
assert(cache_index >= 0, "should have a cache index"); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
653 |
if (cpool->is_pseudo_string_at(index)) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
654 |
string = cpool->pseudo_string_at(index, cache_index); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
655 |
} else { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
656 |
string = cpool->string_at(index, cache_index, THREAD); |
1550
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
657 |
if (HAS_PENDING_EXCEPTION) { |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
658 |
CLEAR_PENDING_EXCEPTION; |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
659 |
record_out_of_memory_failure(); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
660 |
return ciConstant(); |
be2fc37a817f
6653858: dynamic languages need to be able to load anonymous classes
jrose
parents:
1
diff
changeset
|
661 |
} |
1 | 662 |
} |
663 |
ciObject* constant = get_object(string); |
|
26944
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
664 |
if (constant->is_array()) { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
665 |
return ciConstant(T_ARRAY, constant); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
666 |
} else { |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
667 |
assert (constant->is_instance(), "must be an instance, or not? "); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
668 |
return ciConstant(T_OBJECT, constant); |
d515f86283be
8058828: Wrong ciConstant type for arrays from ConstantPool::_resolved_reference
vlivanov
parents:
26796
diff
changeset
|
669 |
} |
1 | 670 |
} else if (tag.is_klass() || tag.is_unresolved_klass()) { |
671 |
// 4881222: allow ldc to take a class type |
|
5882 | 672 |
ciKlass* klass = get_klass_by_index_impl(cpool, index, ignore_will_link, accessor); |
1 | 673 |
if (HAS_PENDING_EXCEPTION) { |
674 |
CLEAR_PENDING_EXCEPTION; |
|
675 |
record_out_of_memory_failure(); |
|
676 |
return ciConstant(); |
|
677 |
} |
|
678 |
assert (klass->is_instance_klass() || klass->is_array_klass(), |
|
679 |
"must be an instance or array klass "); |
|
5882 | 680 |
return ciConstant(T_OBJECT, klass->java_mirror()); |
681 |
} else if (tag.is_method_type()) { |
|
682 |
// must execute Java code to link this CP entry into cache[i].f1 |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
683 |
ciSymbol* signature = get_symbol(cpool->method_type_signature_at(index)); |
5882 | 684 |
ciObject* ciobj = get_unloaded_method_type_constant(signature); |
685 |
return ciConstant(T_OBJECT, ciobj); |
|
686 |
} else if (tag.is_method_handle()) { |
|
687 |
// must execute Java code to link this CP entry into cache[i].f1 |
|
688 |
int ref_kind = cpool->method_handle_ref_kind_at(index); |
|
689 |
int callee_index = cpool->method_handle_klass_index_at(index); |
|
690 |
ciKlass* callee = get_klass_by_index_impl(cpool, callee_index, ignore_will_link, accessor); |
|
8076
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
691 |
ciSymbol* name = get_symbol(cpool->method_handle_name_ref_at(index)); |
96d498ec7ae1
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
7918
diff
changeset
|
692 |
ciSymbol* signature = get_symbol(cpool->method_handle_signature_ref_at(index)); |
5882 | 693 |
ciObject* ciobj = get_unloaded_method_handle_constant(callee, name, signature, ref_kind); |
694 |
return ciConstant(T_OBJECT, ciobj); |
|
48826 | 695 |
} else if (tag.is_dynamic_constant()) { |
696 |
return ciConstant(); |
|
1 | 697 |
} else { |
698 |
ShouldNotReachHere(); |
|
699 |
return ciConstant(); |
|
700 |
} |
|
701 |
} |
|
702 |
||
703 |
// ------------------------------------------------------------------ |
|
704 |
// ciEnv::get_constant_by_index |
|
705 |
// |
|
706 |
// Pull a constant out of the constant pool. How appropriate. |
|
707 |
// |
|
708 |
// Implementation note: this query is currently in no way cached. |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
709 |
ciConstant ciEnv::get_constant_by_index(const constantPoolHandle& cpool, |
5882 | 710 |
int pool_index, int cache_index, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
711 |
ciInstanceKlass* accessor) { |
5882 | 712 |
GUARDED_VM_ENTRY(return get_constant_by_index_impl(cpool, pool_index, cache_index, accessor);) |
1 | 713 |
} |
714 |
||
715 |
// ------------------------------------------------------------------ |
|
716 |
// ciEnv::get_field_by_index_impl |
|
717 |
// |
|
718 |
// Implementation of get_field_by_index. |
|
719 |
// |
|
720 |
// Implementation note: the results of field lookups are cached |
|
721 |
// in the accessor klass. |
|
722 |
ciField* ciEnv::get_field_by_index_impl(ciInstanceKlass* accessor, |
|
723 |
int index) { |
|
724 |
ciConstantPoolCache* cache = accessor->field_cache(); |
|
725 |
if (cache == NULL) { |
|
726 |
ciField* field = new (arena()) ciField(accessor, index); |
|
727 |
return field; |
|
728 |
} else { |
|
729 |
ciField* field = (ciField*)cache->get(index); |
|
730 |
if (field == NULL) { |
|
731 |
field = new (arena()) ciField(accessor, index); |
|
732 |
cache->insert(index, field); |
|
733 |
} |
|
734 |
return field; |
|
735 |
} |
|
736 |
} |
|
737 |
||
738 |
// ------------------------------------------------------------------ |
|
739 |
// ciEnv::get_field_by_index |
|
740 |
// |
|
741 |
// Get a field by index from a klass's constant pool. |
|
742 |
ciField* ciEnv::get_field_by_index(ciInstanceKlass* accessor, |
|
743 |
int index) { |
|
744 |
GUARDED_VM_ENTRY(return get_field_by_index_impl(accessor, index);) |
|
745 |
} |
|
746 |
||
747 |
// ------------------------------------------------------------------ |
|
748 |
// ciEnv::lookup_method |
|
749 |
// |
|
750 |
// Perform an appropriate method lookup based on accessor, holder, |
|
751 |
// name, signature, and bytecode. |
|
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
752 |
Method* ciEnv::lookup_method(ciInstanceKlass* accessor, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
753 |
ciKlass* holder, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
754 |
Symbol* name, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
755 |
Symbol* sig, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
756 |
Bytecodes::Code bc, |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
757 |
constantTag tag) { |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
758 |
// Accessibility checks are performed in ciEnv::get_method_by_index_impl. |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
759 |
assert(check_klass_accessibility(accessor, holder->get_Klass()), "holder not accessible"); |
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
760 |
|
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
761 |
InstanceKlass* accessor_klass = accessor->get_instanceKlass(); |
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
762 |
Klass* holder_klass = holder->get_Klass(); |
59056
15936b142f86
8233913: Remove implicit conversion from Method* to methodHandle
coleenp
parents:
58722
diff
changeset
|
763 |
Method* dest_method; |
46329
53ccc37bda19
8155672: Remove instanceKlassHandles and KlassHandles
coleenp
parents:
46327
diff
changeset
|
764 |
LinkInfo link_info(holder_klass, name, sig, accessor_klass, LinkInfo::needs_access_check, tag); |
1 | 765 |
switch (bc) { |
766 |
case Bytecodes::_invokestatic: |
|
767 |
dest_method = |
|
31019 | 768 |
LinkResolver::resolve_static_call_or_null(link_info); |
1 | 769 |
break; |
770 |
case Bytecodes::_invokespecial: |
|
771 |
dest_method = |
|
31019 | 772 |
LinkResolver::resolve_special_call_or_null(link_info); |
1 | 773 |
break; |
774 |
case Bytecodes::_invokeinterface: |
|
775 |
dest_method = |
|
31019 | 776 |
LinkResolver::linktime_resolve_interface_method_or_null(link_info); |
1 | 777 |
break; |
778 |
case Bytecodes::_invokevirtual: |
|
779 |
dest_method = |
|
31019 | 780 |
LinkResolver::linktime_resolve_virtual_method_or_null(link_info); |
1 | 781 |
break; |
782 |
default: ShouldNotReachHere(); |
|
783 |
} |
|
784 |
||
59056
15936b142f86
8233913: Remove implicit conversion from Method* to methodHandle
coleenp
parents:
58722
diff
changeset
|
785 |
return dest_method; |
1 | 786 |
} |
787 |
||
788 |
||
789 |
// ------------------------------------------------------------------ |
|
790 |
// ciEnv::get_method_by_index_impl |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
791 |
ciMethod* ciEnv::get_method_by_index_impl(const constantPoolHandle& cpool, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
792 |
int index, Bytecodes::Code bc, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
793 |
ciInstanceKlass* accessor) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
794 |
if (bc == Bytecodes::_invokedynamic) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
795 |
ConstantPoolCacheEntry* cpce = cpool->invokedynamic_cp_cache_entry_at(index); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
796 |
bool is_resolved = !cpce->is_f1_null(); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
797 |
// FIXME: code generation could allow for null (unlinked) call site |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
798 |
// The call site could be made patchable as follows: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
799 |
// Load the appendix argument from the constant pool. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
800 |
// Test the appendix argument and jump to a known deopt routine if it is null. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
801 |
// Jump through a patchable call site, which is initially a deopt routine. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
802 |
// Patch the call site to the nmethod entry point of the static compiled lambda form. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
803 |
// As with other two-component call sites, both values must be independently verified. |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
804 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
805 |
if (is_resolved) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
806 |
// Get the invoker Method* from the constant pool. |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
807 |
// (The appendix argument, if any, will be noted in the method's signature.) |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
808 |
Method* adapter = cpce->f1_as_method(); |
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
809 |
return get_method(adapter); |
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
810 |
} |
1 | 811 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
812 |
// Fake a method that is equivalent to a declared method. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
813 |
ciInstanceKlass* holder = get_instance_klass(SystemDictionary::MethodHandle_klass()); |
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
10734
diff
changeset
|
814 |
ciSymbol* name = ciSymbol::invokeBasic_name(); |
10734
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
815 |
ciSymbol* signature = get_symbol(cpool->signature_ref_at(index)); |
065435337883
7092712: JSR 292: unloaded invokedynamic call sites can lead to a crash with signature types not on BCP
twisti
parents:
10564
diff
changeset
|
816 |
return get_unloaded_method(holder, name, signature, accessor); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
817 |
} else { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
818 |
const int holder_index = cpool->klass_ref_index_at(index); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
819 |
bool holder_is_accessible; |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
820 |
ciKlass* holder = get_klass_by_index_impl(cpool, holder_index, holder_is_accessible, accessor); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
821 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
822 |
// Get the method's name and signature. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
823 |
Symbol* name_sym = cpool->name_ref_at(index); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
824 |
Symbol* sig_sym = cpool->signature_ref_at(index); |
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
825 |
|
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
826 |
if (cpool->has_preresolution() |
36819 | 827 |
|| ((holder == ciEnv::MethodHandle_klass() || holder == ciEnv::VarHandle_klass()) && |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
828 |
MethodHandles::is_signature_polymorphic_name(holder->get_Klass(), name_sym))) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
829 |
// Short-circuit lookups for JSR 292-related call sites. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
830 |
// That is, do not rely only on name-based lookups, because they may fail |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
831 |
// if the names are not resolvable in the boot class loader (7056328). |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
832 |
switch (bc) { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
833 |
case Bytecodes::_invokevirtual: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
834 |
case Bytecodes::_invokeinterface: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
835 |
case Bytecodes::_invokespecial: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
836 |
case Bytecodes::_invokestatic: |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
837 |
{ |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
838 |
Method* m = ConstantPool::method_at_if_loaded(cpool, index); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
839 |
if (m != NULL) { |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
840 |
return get_method(m); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
841 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
842 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
843 |
break; |
46630
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46560
diff
changeset
|
844 |
default: |
75aa3e39d02c
8182299: Enable disabled clang warnings, build on OSX 10 + Xcode 8
jwilhelm
parents:
46560
diff
changeset
|
845 |
break; |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
846 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
847 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
848 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
849 |
if (holder_is_accessible) { // Our declared holder is loaded. |
38719
133bf85c3f36
8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents:
38133
diff
changeset
|
850 |
constantTag tag = cpool->tag_ref_at(index); |
133bf85c3f36
8145148: InterfaceMethod CP entry pointing to a class should cause ICCE
coleenp
parents:
38133
diff
changeset
|
851 |
assert(accessor->get_instanceKlass() == cpool->pool_holder(), "not the pool holder?"); |
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
852 |
Method* m = lookup_method(accessor, holder, name_sym, sig_sym, bc, tag); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
853 |
if (m != NULL && |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
854 |
(bc == Bytecodes::_invokestatic |
14391
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13974
diff
changeset
|
855 |
? m->method_holder()->is_not_initialized() |
df0a1573d5bd
8000725: NPG: method_holder() and pool_holder() and pool_holder field should be InstanceKlass
coleenp
parents:
13974
diff
changeset
|
856 |
: !m->method_holder()->is_loaded())) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
857 |
m = NULL; |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
858 |
} |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
859 |
#ifdef ASSERT |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
860 |
if (m != NULL && ReplayCompiles && !ciReplay::is_loaded(m)) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
861 |
m = NULL; |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
862 |
} |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
863 |
#endif |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
864 |
if (m != NULL) { |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
865 |
// We found the method. |
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
866 |
return get_method(m); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
867 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
868 |
} |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
869 |
|
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
870 |
// Either the declared holder was not loaded, or the method could |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
871 |
// not be found. Create a dummy ciMethod to represent the failed |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
872 |
// lookup. |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
873 |
ciSymbol* name = get_symbol(name_sym); |
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
874 |
ciSymbol* signature = get_symbol(sig_sym); |
43938
f0e4bcc4d9f3
8170455: C2: Access to [].clone from interfaces fails
jcm
parents:
43675
diff
changeset
|
875 |
return get_unloaded_method(holder, name, signature, accessor); |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
876 |
} |
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
877 |
} |
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
878 |
|
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
879 |
|
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
880 |
// ------------------------------------------------------------------ |
1 | 881 |
// ciEnv::get_instance_klass_for_declared_method_holder |
882 |
ciInstanceKlass* ciEnv::get_instance_klass_for_declared_method_holder(ciKlass* method_holder) { |
|
883 |
// For the case of <array>.clone(), the method holder can be a ciArrayKlass |
|
884 |
// instead of a ciInstanceKlass. For that case simply pretend that the |
|
885 |
// declared holder is Object.clone since that's where the call will bottom out. |
|
886 |
// A more correct fix would trickle out through many interfaces in CI, |
|
887 |
// requiring ciInstanceKlass* to become ciKlass* and many more places would |
|
888 |
// require checks to make sure the expected type was found. Given that this |
|
889 |
// only occurs for clone() the more extensive fix seems like overkill so |
|
890 |
// instead we simply smear the array type into Object. |
|
16378
453b42d22a85
8009565: [partfait] Null pointer deference in hotspot/src/share/vm/ci/ciEnv.cpp
morris
parents:
15799
diff
changeset
|
891 |
guarantee(method_holder != NULL, "no method holder"); |
1 | 892 |
if (method_holder->is_instance_klass()) { |
893 |
return method_holder->as_instance_klass(); |
|
894 |
} else if (method_holder->is_array_klass()) { |
|
895 |
return current()->Object_klass(); |
|
896 |
} else { |
|
897 |
ShouldNotReachHere(); |
|
898 |
} |
|
899 |
return NULL; |
|
900 |
} |
|
901 |
||
902 |
||
903 |
// ------------------------------------------------------------------ |
|
904 |
// ciEnv::get_method_by_index |
|
33593
60764a78fa5c
8140274: methodHandles and constantPoolHandles should be passed as const references
coleenp
parents:
31019
diff
changeset
|
905 |
ciMethod* ciEnv::get_method_by_index(const constantPoolHandle& cpool, |
4567
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
906 |
int index, Bytecodes::Code bc, |
7fc02fbe5c7a
6893268: additional dynamic language related optimizations in C2
twisti
parents:
4566
diff
changeset
|
907 |
ciInstanceKlass* accessor) { |
13522
5ad4627e792a
7192406: JSR 292: C2 needs exact return type information for invokedynamic and invokehandle call sites
twisti
parents:
13391
diff
changeset
|
908 |
GUARDED_VM_ENTRY(return get_method_by_index_impl(cpool, index, bc, accessor);) |
1 | 909 |
} |
910 |
||
4566
b363f6ef4068
6829187: compiler optimizations required for JSR 292
twisti
parents:
4450
diff
changeset
|
911 |
|
1 | 912 |
// ------------------------------------------------------------------ |
913 |
// ciEnv::name_buffer |
|
914 |
char *ciEnv::name_buffer(int req_len) { |
|
915 |
if (_name_buffer_len < req_len) { |
|
916 |
if (_name_buffer == NULL) { |
|
917 |
_name_buffer = (char*)arena()->Amalloc(sizeof(char)*req_len); |
|
918 |
_name_buffer_len = req_len; |
|
919 |
} else { |
|
920 |
_name_buffer = |
|
921 |
(char*)arena()->Arealloc(_name_buffer, _name_buffer_len, req_len); |
|
922 |
_name_buffer_len = req_len; |
|
923 |
} |
|
924 |
} |
|
925 |
return _name_buffer; |
|
926 |
} |
|
927 |
||
928 |
// ------------------------------------------------------------------ |
|
929 |
// ciEnv::is_in_vm |
|
930 |
bool ciEnv::is_in_vm() { |
|
931 |
return JavaThread::current()->thread_state() == _thread_in_vm; |
|
932 |
} |
|
933 |
||
934 |
// ------------------------------------------------------------------ |
|
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
935 |
// ciEnv::validate_compile_task_dependencies |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
936 |
// |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
937 |
// Check for changes during compilation (e.g. class loads, evolution, |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
938 |
// breakpoints, call site invalidation). |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
939 |
void ciEnv::validate_compile_task_dependencies(ciMethod* target) { |
1 | 940 |
if (failing()) return; // no need for further checks |
941 |
||
55635
0fb70c9118ce
8222446: assert(C->env()->system_dictionary_modification_counter_changed()) failed: Must invalidate if TypeFuncs differ
coleenp
parents:
55273
diff
changeset
|
942 |
Dependencies::DepType result = dependencies()->validate_dependencies(_task); |
48299
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
943 |
if (result != Dependencies::end_marker) { |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
944 |
if (result == Dependencies::call_site_target_value) { |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
945 |
_inc_decompile_count_on_failure = false; |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
946 |
record_failure("call site target change"); |
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
947 |
} else if (Dependencies::is_klass_type(result)) { |
50963
69b438908512
8206931: Misleading "COMPILE SKIPPED: invalid non-klass dependency" compile log
shade
parents:
50113
diff
changeset
|
948 |
record_failure("concurrent class loading"); |
48299
e8f5fc8f5f67
8191052: [Graal] java/lang/invoke/CallSiteTest.java intermittently fails with "Failed dependency of type call_site_target_value" when running with Graal as JIT
never
parents:
48007
diff
changeset
|
949 |
} else { |
50963
69b438908512
8206931: Misleading "COMPILE SKIPPED: invalid non-klass dependency" compile log
shade
parents:
50113
diff
changeset
|
950 |
record_failure("invalid non-klass dependency"); |
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
951 |
} |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
952 |
} |
1 | 953 |
} |
954 |
||
955 |
// ------------------------------------------------------------------ |
|
956 |
// ciEnv::register_method |
|
957 |
void ciEnv::register_method(ciMethod* target, |
|
958 |
int entry_bci, |
|
959 |
CodeOffsets* offsets, |
|
960 |
int orig_pc_offset, |
|
961 |
CodeBuffer* code_buffer, |
|
962 |
int frame_words, |
|
963 |
OopMapSet* oop_map_set, |
|
964 |
ExceptionHandlerTable* handler_table, |
|
965 |
ImplicitExceptionTable* inc_table, |
|
966 |
AbstractCompiler* compiler, |
|
13883
6979b9850feb
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
13728
diff
changeset
|
967 |
bool has_unsafe_access, |
23491 | 968 |
bool has_wide_vectors, |
969 |
RTMState rtm_state) { |
|
1 | 970 |
VM_ENTRY_MARK; |
971 |
nmethod* nm = NULL; |
|
972 |
{ |
|
973 |
// To prevent compile queue updates. |
|
974 |
MutexLocker locker(MethodCompileQueue_lock, THREAD); |
|
975 |
||
976 |
// Prevent SystemDictionary::add_to_hierarchy from running |
|
977 |
// and invalidating our dependencies until we install this method. |
|
21572
9cd0dd352fcd
8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
vlivanov
parents:
21079
diff
changeset
|
978 |
// No safepoints are allowed. Otherwise, class redefinition can occur in between. |
1 | 979 |
MutexLocker ml(Compile_lock); |
35492
c8c0273e6b91
8146690: Make all classes in GC follow the naming convention.
david
parents:
34238
diff
changeset
|
980 |
NoSafepointVerifier nsv; |
1 | 981 |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
982 |
// Change in Jvmti state may invalidate compilation. |
22893
e3a2b513713a
8035493: JVMTI PopFrame capability must instruct compilers not to prune locals
mgronlun
parents:
22243
diff
changeset
|
983 |
if (!failing() && jvmti_state_changed()) { |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
984 |
record_failure("Jvmti state change invalidated dependencies"); |
1 | 985 |
} |
986 |
||
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
987 |
// Change in DTrace flags may invalidate compilation. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
988 |
if (!failing() && |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
989 |
( (!dtrace_extended_probes() && ExtendedDTraceProbes) || |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
990 |
(!dtrace_method_probes() && DTraceMethodProbes) || |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
991 |
(!dtrace_alloc_probes() && DTraceAllocProbes) )) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
992 |
record_failure("DTrace flags change invalidated dependencies"); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
993 |
} |
1 | 994 |
|
55253
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
995 |
if (!failing() && target->needs_clinit_barrier() && |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
996 |
target->holder()->is_in_error_state()) { |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
997 |
record_failure("method holder is in error state"); |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
998 |
} |
3c905e67e380
8225106: C2: Parse::clinit_deopt asserts when holder klass is in error state
vlivanov
parents:
54847
diff
changeset
|
999 |
|
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1000 |
if (!failing()) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1001 |
if (log() != NULL) { |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1002 |
// Log the dependencies which this compilation declares. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1003 |
dependencies()->log_all_dependencies(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1004 |
} |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1005 |
|
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1006 |
// Encode the dependencies now, so we can check them right away. |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1007 |
dependencies()->encode_content_bytes(); |
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1008 |
|
10503
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
1009 |
// Check for {class loads, evolution, breakpoints, ...} during compilation |
04b74421bdea
7083184: JSR 292: don't store context class argument with call site dependencies
twisti
parents:
10008
diff
changeset
|
1010 |
validate_compile_task_dependencies(target); |
2867
69187054225f
6788527: Server vm intermittently fails with assertion "live value must not be garbage" with fastdebug bits
kvn
parents:
1623
diff
changeset
|
1011 |
} |
1 | 1012 |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1013 |
methodHandle method(THREAD, target->get_Method()); |
1 | 1014 |
|
23491 | 1015 |
#if INCLUDE_RTM_OPT |
1016 |
if (!failing() && (rtm_state != NoRTM) && |
|
1017 |
(method()->method_data() != NULL) && |
|
1018 |
(method()->method_data()->rtm_state() != rtm_state)) { |
|
1019 |
// Preemptive decompile if rtm state was changed. |
|
1020 |
record_failure("RTM state change invalidated rtm code"); |
|
1021 |
} |
|
1022 |
#endif |
|
1023 |
||
1 | 1024 |
if (failing()) { |
1025 |
// While not a true deoptimization, it is a preemptive decompile. |
|
13728
882756847a04
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
13522
diff
changeset
|
1026 |
MethodData* mdo = method()->method_data(); |
43675
a2b322083029
8173338: C2: continuous CallSite relinkage eventually disables compilation for a method
vlivanov
parents:
40664
diff
changeset
|
1027 |
if (mdo != NULL && _inc_decompile_count_on_failure) { |
1 | 1028 |
mdo->inc_decompile_count(); |
1029 |
} |
|
1030 |
||
1031 |
// All buffers in the CodeBuffer are allocated in the CodeCache. |
|
1032 |
// If the code buffer is created on each compile attempt |
|
1033 |
// as in C2, then it must be freed. |
|
1034 |
code_buffer->free_blob(); |
|
1035 |
return; |
|
1036 |
} |
|
1037 |
||
1038 |
assert(offsets->value(CodeOffsets::Deopt) != -1, "must have deopt entry"); |
|
1039 |
assert(offsets->value(CodeOffsets::Exceptions) != -1, "must have exception entry"); |
|
1040 |
||
1041 |
nm = nmethod::new_nmethod(method, |
|
1042 |
compile_id(), |
|
1043 |
entry_bci, |
|
1044 |
offsets, |
|
1045 |
orig_pc_offset, |
|
1046 |
debug_info(), dependencies(), code_buffer, |
|
1047 |
frame_words, oop_map_set, |
|
1048 |
handler_table, inc_table, |
|
33451
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
1049 |
compiler, task()->comp_level()); |
0712796e4039
8137167: JEP165: Compiler Control: Implementation task
neliasso
parents:
31019
diff
changeset
|
1050 |
|
1 | 1051 |
// Free codeBlobs |
1052 |
code_buffer->free_blob(); |
|
1053 |
||
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1054 |
if (nm != NULL) { |
1 | 1055 |
nm->set_has_unsafe_access(has_unsafe_access); |
13883
6979b9850feb
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
13728
diff
changeset
|
1056 |
nm->set_has_wide_vectors(has_wide_vectors); |
23496
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1057 |
#if INCLUDE_RTM_OPT |
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1058 |
nm->set_rtm_state(rtm_state); |
bfdd90c07bf8
8038286: nm->set_rtm_state() should be called after (nm != NULL) check
kvn
parents:
23491
diff
changeset
|
1059 |
#endif |
1 | 1060 |
|
1061 |
// Record successful registration. |
|
1062 |
// (Put nm into the task handle *before* publishing to the Java heap.) |
|
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1063 |
if (task() != NULL) { |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1064 |
task()->set_code(nm); |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1065 |
} |
1 | 1066 |
|
1067 |
if (entry_bci == InvocationEntryBci) { |
|
6453 | 1068 |
if (TieredCompilation) { |
1069 |
// If there is an old version we're done with it |
|
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
37267
diff
changeset
|
1070 |
CompiledMethod* old = method->code(); |
6453 | 1071 |
if (TraceMethodReplacement && old != NULL) { |
1072 |
ResourceMark rm; |
|
1073 |
char *method_name = method->name_and_sig_as_C_string(); |
|
1074 |
tty->print_cr("Replacing method %s", method_name); |
|
1075 |
} |
|
21572
9cd0dd352fcd
8023037: Race between ciEnv::register_method and nmethod::make_not_entrant_or_zombie
vlivanov
parents:
21079
diff
changeset
|
1076 |
if (old != NULL) { |
38133
78b95467b9f1
8151956: Support non-continuous CodeBlobs in HotSpot
rbackman
parents:
37267
diff
changeset
|
1077 |
old->make_not_used(); |
6453 | 1078 |
} |
1 | 1079 |
} |
55273 | 1080 |
|
1081 |
LogTarget(Info, nmethod, install) lt; |
|
1082 |
if (lt.is_enabled()) { |
|
1 | 1083 |
ResourceMark rm; |
1084 |
char *method_name = method->name_and_sig_as_C_string(); |
|
55273 | 1085 |
lt.print("Installing method (%d) %s ", |
1086 |
task()->comp_level(), method_name); |
|
1 | 1087 |
} |
1088 |
// Allow the code to be executed |
|
58226 | 1089 |
MutexLocker ml(CompiledMethod_lock, Mutex::_no_safepoint_check_flag); |
1090 |
if (nm->make_in_use()) { |
|
1091 |
method->set_code(method, nm); |
|
1092 |
} |
|
1 | 1093 |
} else { |
55273 | 1094 |
LogTarget(Info, nmethod, install) lt; |
1095 |
if (lt.is_enabled()) { |
|
1 | 1096 |
ResourceMark rm; |
1097 |
char *method_name = method->name_and_sig_as_C_string(); |
|
55273 | 1098 |
lt.print("Installing osr method (%d) %s @ %d", |
1099 |
task()->comp_level(), method_name, entry_bci); |
|
1 | 1100 |
} |
58226 | 1101 |
MutexLocker ml(CompiledMethod_lock, Mutex::_no_safepoint_check_flag); |
1102 |
if (nm->make_in_use()) { |
|
1103 |
method->method_holder()->add_osr_nmethod(nm); |
|
1104 |
} |
|
1 | 1105 |
} |
1106 |
} |
|
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1107 |
} // safepoints are allowed again |
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1108 |
|
1 | 1109 |
if (nm != NULL) { |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1110 |
// JVMTI -- compiled method notification (must be done outside lock) |
1 | 1111 |
nm->post_compiled_method_load_event(); |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1112 |
} else { |
27420
04e6f914cce1
8046809: vm/mlvm/meth/stress/compiler/deoptimize CodeCache is full.
anoll
parents:
26944
diff
changeset
|
1113 |
// The CodeCache is full. |
21727
4a5fc611c9a7
8028306: nsk stress tests, CodeCache fills, then safepoint asserts
anoll
parents:
21572
diff
changeset
|
1114 |
record_failure("code cache is full"); |
1 | 1115 |
} |
1116 |
} |
|
1117 |
||
1118 |
||
1119 |
// ------------------------------------------------------------------ |
|
1120 |
// ciEnv::find_system_klass |
|
1121 |
ciKlass* ciEnv::find_system_klass(ciSymbol* klass_name) { |
|
1122 |
VM_ENTRY_MARK; |
|
10008
d84de97ad847
7056328: JSR 292 invocation sometimes fails in adapters for types not on boot class path
jrose
parents:
9328
diff
changeset
|
1123 |
return get_klass_by_name_impl(NULL, constantPoolHandle(), klass_name, false); |
1 | 1124 |
} |
1125 |
||
1126 |
// ------------------------------------------------------------------ |
|
1127 |
// ciEnv::comp_level |
|
1128 |
int ciEnv::comp_level() { |
|
6453 | 1129 |
if (task() == NULL) return CompLevel_highest_tier; |
1 | 1130 |
return task()->comp_level(); |
1131 |
} |
|
1132 |
||
1133 |
// ------------------------------------------------------------------ |
|
1134 |
// ciEnv::compile_id |
|
1135 |
uint ciEnv::compile_id() { |
|
1136 |
if (task() == NULL) return 0; |
|
1137 |
return task()->compile_id(); |
|
1138 |
} |
|
1139 |
||
1140 |
// ------------------------------------------------------------------ |
|
1141 |
// ciEnv::notice_inlined_method() |
|
1142 |
void ciEnv::notice_inlined_method(ciMethod* method) { |
|
13391
30245956af37
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
10734
diff
changeset
|
1143 |
_num_inlined_bytecodes += method->code_size_for_inlining(); |
1 | 1144 |
} |
1145 |
||
1146 |
// ------------------------------------------------------------------ |
|
1147 |
// ciEnv::num_inlined_bytecodes() |
|
1148 |
int ciEnv::num_inlined_bytecodes() const { |
|
1149 |
return _num_inlined_bytecodes; |
|
1150 |
} |
|
1151 |
||
1152 |
// ------------------------------------------------------------------ |
|
1153 |
// ciEnv::record_failure() |
|
1154 |
void ciEnv::record_failure(const char* reason) { |
|
1155 |
if (_failure_reason == NULL) { |
|
1156 |
// Record the first failure reason. |
|
1157 |
_failure_reason = reason; |
|
1158 |
} |
|
1159 |
} |
|
1160 |
||
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1161 |
void ciEnv::report_failure(const char* reason) { |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1162 |
EventCompilationFailure event; |
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1163 |
if (event.should_commit()) { |
40664
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1164 |
event.set_compileId(compile_id()); |
1ec65b303bb7
8164523: Clean up metadata for event based tracing
egahlin
parents:
40057
diff
changeset
|
1165 |
event.set_failureMessage(reason); |
27706
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1166 |
event.commit(); |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1167 |
} |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1168 |
} |
3f10f4ac2bd6
8065339: Failed compilation does not always trigger a JFR event 'CompilerFailure'
thartmann
parents:
27420
diff
changeset
|
1169 |
|
1 | 1170 |
// ------------------------------------------------------------------ |
1171 |
// ciEnv::record_method_not_compilable() |
|
1172 |
void ciEnv::record_method_not_compilable(const char* reason, bool all_tiers) { |
|
1173 |
int new_compilable = |
|
1174 |
all_tiers ? MethodCompilable_never : MethodCompilable_not_at_tier ; |
|
1175 |
||
1176 |
// Only note transitions to a worse state |
|
1177 |
if (new_compilable > _compilable) { |
|
1178 |
if (log() != NULL) { |
|
1179 |
if (all_tiers) { |
|
1180 |
log()->elem("method_not_compilable"); |
|
1181 |
} else { |
|
13964 | 1182 |
log()->elem("method_not_compilable_at_tier level='%d'", |
1183 |
current()->task()->comp_level()); |
|
1 | 1184 |
} |
1185 |
} |
|
1186 |
_compilable = new_compilable; |
|
1187 |
||
1188 |
// Reset failure reason; this one is more important. |
|
1189 |
_failure_reason = NULL; |
|
1190 |
record_failure(reason); |
|
1191 |
} |
|
1192 |
} |
|
1193 |
||
1194 |
// ------------------------------------------------------------------ |
|
1195 |
// ciEnv::record_out_of_memory_failure() |
|
1196 |
void ciEnv::record_out_of_memory_failure() { |
|
1197 |
// If memory is low, we stop compiling methods. |
|
1198 |
record_method_not_compilable("out of memory"); |
|
1199 |
} |
|
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1200 |
|
19710
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1201 |
ciInstance* ciEnv::unloaded_ciinstance() { |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1202 |
GUARDED_VM_ENTRY(return _factory->get_unloaded_object_constant();) |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1203 |
} |
2f8ca425504e
7199175: JSR 292: C1 needs patching when invokedynamic/invokehandle call site is not linked
roland
parents:
17134
diff
changeset
|
1204 |
|
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1205 |
// ------------------------------------------------------------------ |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1206 |
// ciEnv::dump_replay_data* |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1207 |
|
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1208 |
// Don't change thread state and acquire any locks. |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1209 |
// Safe to call from VM error reporter. |
22243 | 1210 |
|
1211 |
void ciEnv::dump_compile_data(outputStream* out) { |
|
1212 |
CompileTask* task = this->task(); |
|
48502 | 1213 |
if (task) { |
1214 |
Method* method = task->method(); |
|
1215 |
int entry_bci = task->osr_bci(); |
|
1216 |
int comp_level = task->comp_level(); |
|
1217 |
out->print("compile %s %s %s %d %d", |
|
1218 |
method->klass_name()->as_quoted_ascii(), |
|
1219 |
method->name()->as_quoted_ascii(), |
|
1220 |
method->signature()->as_quoted_ascii(), |
|
1221 |
entry_bci, comp_level); |
|
1222 |
if (compiler_data() != NULL) { |
|
1223 |
if (is_c2_compile(comp_level)) { |
|
22243 | 1224 |
#ifdef COMPILER2 |
48502 | 1225 |
// Dump C2 inlining data. |
1226 |
((Compile*)compiler_data())->dump_inline_data(out); |
|
22243 | 1227 |
#endif |
48502 | 1228 |
} else if (is_c1_compile(comp_level)) { |
22243 | 1229 |
#ifdef COMPILER1 |
48502 | 1230 |
// Dump C1 inlining data. |
1231 |
((Compilation*)compiler_data())->dump_inline_data(out); |
|
22243 | 1232 |
#endif |
48502 | 1233 |
} |
22243 | 1234 |
} |
48502 | 1235 |
out->cr(); |
22243 | 1236 |
} |
1237 |
} |
|
1238 |
||
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1239 |
void ciEnv::dump_replay_data_unsafe(outputStream* out) { |
15471
41f75023e6a6
8006410: allocating without ResourceMark when CompileCommand was specified
vlivanov
parents:
14490
diff
changeset
|
1240 |
ResourceMark rm; |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1241 |
#if INCLUDE_JVMTI |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1242 |
out->print_cr("JvmtiExport can_access_local_variables %d", _jvmti_can_access_local_variables); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1243 |
out->print_cr("JvmtiExport can_hotswap_or_post_breakpoint %d", _jvmti_can_hotswap_or_post_breakpoint); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1244 |
out->print_cr("JvmtiExport can_post_on_exceptions %d", _jvmti_can_post_on_exceptions); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1245 |
#endif // INCLUDE_JVMTI |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1246 |
|
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1247 |
GrowableArray<ciMetadata*>* objects = _factory->get_ci_metadata(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1248 |
out->print_cr("# %d ciObject found", objects->length()); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1249 |
for (int i = 0; i < objects->length(); i++) { |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1250 |
objects->at(i)->dump_replay_data(out); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1251 |
} |
22243 | 1252 |
dump_compile_data(out); |
14477
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1253 |
out->flush(); |
95e66ea71f71
6830717: replay of compilations would help with debugging
minqi
parents:
14391
diff
changeset
|
1254 |
} |
20692
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1255 |
|
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1256 |
void ciEnv::dump_replay_data(outputStream* out) { |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1257 |
GUARDED_VM_ENTRY( |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1258 |
MutexLocker ml(Compile_lock); |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1259 |
dump_replay_data_unsafe(out); |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1260 |
) |
65021f70c2fc
8024943: ciReplay: fails to dump replay data during safepointing
vlivanov
parents:
19710
diff
changeset
|
1261 |
} |
22243 | 1262 |
|
1263 |
void ciEnv::dump_replay_data(int compile_id) { |
|
1264 |
static char buffer[O_BUFLEN]; |
|
1265 |
int ret = jio_snprintf(buffer, O_BUFLEN, "replay_pid%p_compid%d.log", os::current_process_id(), compile_id); |
|
1266 |
if (ret > 0) { |
|
53911
65f2a401e0eb
8218811: replace open by os::open in hotspot coding
mbaesken
parents:
53582
diff
changeset
|
1267 |
int fd = os::open(buffer, O_RDWR | O_CREAT | O_TRUNC, 0666); |
22243 | 1268 |
if (fd != -1) { |
1269 |
FILE* replay_data_file = os::open(fd, "w"); |
|
1270 |
if (replay_data_file != NULL) { |
|
1271 |
fileStream replay_data_stream(replay_data_file, /*need_close=*/true); |
|
1272 |
dump_replay_data(&replay_data_stream); |
|
24424
2658d7834c6e
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
24351
diff
changeset
|
1273 |
tty->print_cr("# Compiler replay data is saved as: %s", buffer); |
22243 | 1274 |
} else { |
1275 |
tty->print_cr("# Can't open file to dump replay data."); |
|
1276 |
} |
|
1277 |
} |
|
1278 |
} |
|
1279 |
} |
|
1280 |
||
1281 |
void ciEnv::dump_inline_data(int compile_id) { |
|
1282 |
static char buffer[O_BUFLEN]; |
|
1283 |
int ret = jio_snprintf(buffer, O_BUFLEN, "inline_pid%p_compid%d.log", os::current_process_id(), compile_id); |
|
1284 |
if (ret > 0) { |
|
53911
65f2a401e0eb
8218811: replace open by os::open in hotspot coding
mbaesken
parents:
53582
diff
changeset
|
1285 |
int fd = os::open(buffer, O_RDWR | O_CREAT | O_TRUNC, 0666); |
22243 | 1286 |
if (fd != -1) { |
1287 |
FILE* inline_data_file = os::open(fd, "w"); |
|
1288 |
if (inline_data_file != NULL) { |
|
1289 |
fileStream replay_data_stream(inline_data_file, /*need_close=*/true); |
|
1290 |
GUARDED_VM_ENTRY( |
|
1291 |
MutexLocker ml(Compile_lock); |
|
1292 |
dump_compile_data(&replay_data_stream); |
|
1293 |
) |
|
1294 |
replay_data_stream.flush(); |
|
1295 |
tty->print("# Compiler inline data is saved as: "); |
|
24424
2658d7834c6e
8037816: Fix for 8036122 breaks build with Xcode5/clang
drchase
parents:
24351
diff
changeset
|
1296 |
tty->print_cr("%s", buffer); |
22243 | 1297 |
} else { |
1298 |
tty->print_cr("# Can't open file to dump inline data."); |
|
1299 |
} |
|
1300 |
} |
|
1301 |
} |
|
1302 |
} |