Mercurial > hg > graal-jvmci-8
annotate src/share/vm/runtime/sharedRuntime.cpp @ 7588:f9eb431c3efe
8006005: Fix constant pool index validation and alignment trap for method parameter reflection
Summary: This patch addresses an alignment trap due to the storage format of method parameters data in constMethod. It also adds code to validate constant pool indexes for method parameters data.
Reviewed-by: jrose, dholmes
Contributed-by: eric.mccorkle@oracle.com
author | coleenp |
---|---|
date | Mon, 14 Jan 2013 11:01:39 -0500 |
parents | cd3d6a6b95d9 |
children | 291ffc492eb6 0c8717a92b2d |
rev | line source |
---|---|
0 | 1 /* |
4872
aa3d708d67c4
7141200: log some interesting information in ring buffers for crashes
never
parents:
4807
diff
changeset
|
2 * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved. |
0 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1507
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1507
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1507
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #include "precompiled.hpp" |
26 #include "classfile/systemDictionary.hpp" | |
27 #include "classfile/vmSymbols.hpp" | |
28 #include "code/compiledIC.hpp" | |
29 #include "code/scopeDesc.hpp" | |
30 #include "code/vtableStubs.hpp" | |
31 #include "compiler/abstractCompiler.hpp" | |
32 #include "compiler/compileBroker.hpp" | |
33 #include "compiler/compilerOracle.hpp" | |
7199
cd3d6a6b95d9
8003240: x86: move MacroAssembler into separate file
twisti
parents:
6983
diff
changeset
|
34 #include "compiler/disassembler.hpp" |
1972 | 35 #include "interpreter/interpreter.hpp" |
36 #include "interpreter/interpreterRuntime.hpp" | |
37 #include "memory/gcLocker.inline.hpp" | |
38 #include "memory/universe.inline.hpp" | |
39 #include "oops/oop.inline.hpp" | |
40 #include "prims/forte.hpp" | |
41 #include "prims/jvmtiExport.hpp" | |
42 #include "prims/jvmtiRedefineClassesTrace.hpp" | |
43 #include "prims/methodHandles.hpp" | |
44 #include "prims/nativeLookup.hpp" | |
45 #include "runtime/arguments.hpp" | |
46 #include "runtime/biasedLocking.hpp" | |
47 #include "runtime/handles.inline.hpp" | |
48 #include "runtime/init.hpp" | |
49 #include "runtime/interfaceSupport.hpp" | |
50 #include "runtime/javaCalls.hpp" | |
51 #include "runtime/sharedRuntime.hpp" | |
52 #include "runtime/stubRoutines.hpp" | |
53 #include "runtime/vframe.hpp" | |
54 #include "runtime/vframeArray.hpp" | |
55 #include "utilities/copy.hpp" | |
56 #include "utilities/dtrace.hpp" | |
57 #include "utilities/events.hpp" | |
58 #include "utilities/hashtable.inline.hpp" | |
59 #include "utilities/xmlstream.hpp" | |
60 #ifdef TARGET_ARCH_x86 | |
61 # include "nativeInst_x86.hpp" | |
62 # include "vmreg_x86.inline.hpp" | |
63 #endif | |
64 #ifdef TARGET_ARCH_sparc | |
65 # include "nativeInst_sparc.hpp" | |
66 # include "vmreg_sparc.inline.hpp" | |
67 #endif | |
68 #ifdef TARGET_ARCH_zero | |
69 # include "nativeInst_zero.hpp" | |
70 # include "vmreg_zero.inline.hpp" | |
71 #endif | |
2192
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
72 #ifdef TARGET_ARCH_arm |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
73 # include "nativeInst_arm.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
74 # include "vmreg_arm.inline.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
75 #endif |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
76 #ifdef TARGET_ARCH_ppc |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
77 # include "nativeInst_ppc.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
78 # include "vmreg_ppc.inline.hpp" |
b92c45f2bc75
7016023: Enable building ARM and PPC from src/closed repository
bobv
parents:
2177
diff
changeset
|
79 #endif |
1972 | 80 #ifdef COMPILER1 |
81 #include "c1/c1_Runtime1.hpp" | |
82 #endif | |
83 | |
3753
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
84 // Shared stub locations |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
85 RuntimeStub* SharedRuntime::_wrong_method_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
86 RuntimeStub* SharedRuntime::_ic_miss_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
87 RuntimeStub* SharedRuntime::_resolve_opt_virtual_call_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
88 RuntimeStub* SharedRuntime::_resolve_virtual_call_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
89 RuntimeStub* SharedRuntime::_resolve_static_call_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
90 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
91 DeoptimizationBlob* SharedRuntime::_deopt_blob; |
6792
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
92 SafepointBlob* SharedRuntime::_polling_page_vectors_safepoint_handler_blob; |
3753
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
93 SafepointBlob* SharedRuntime::_polling_page_safepoint_handler_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
94 SafepointBlob* SharedRuntime::_polling_page_return_handler_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
95 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
96 #ifdef COMPILER2 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
97 UncommonTrapBlob* SharedRuntime::_uncommon_trap_blob; |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
98 #endif // COMPILER2 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
99 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
100 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
101 //----------------------------generate_stubs----------------------------------- |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
102 void SharedRuntime::generate_stubs() { |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
103 _wrong_method_blob = generate_resolve_blob(CAST_FROM_FN_PTR(address, SharedRuntime::handle_wrong_method), "wrong_method_stub"); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
104 _ic_miss_blob = generate_resolve_blob(CAST_FROM_FN_PTR(address, SharedRuntime::handle_wrong_method_ic_miss), "ic_miss_stub"); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
105 _resolve_opt_virtual_call_blob = generate_resolve_blob(CAST_FROM_FN_PTR(address, SharedRuntime::resolve_opt_virtual_call_C), "resolve_opt_virtual_call"); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
106 _resolve_virtual_call_blob = generate_resolve_blob(CAST_FROM_FN_PTR(address, SharedRuntime::resolve_virtual_call_C), "resolve_virtual_call"); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
107 _resolve_static_call_blob = generate_resolve_blob(CAST_FROM_FN_PTR(address, SharedRuntime::resolve_static_call_C), "resolve_static_call"); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
108 |
6792
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
109 #ifdef COMPILER2 |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
110 // Vectors are generated only by C2. |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
111 if (is_wide_vector(MaxVectorSize)) { |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
112 _polling_page_vectors_safepoint_handler_blob = generate_handler_blob(CAST_FROM_FN_PTR(address, SafepointSynchronize::handle_polling_page_exception), POLL_AT_VECTOR_LOOP); |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
113 } |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
114 #endif // COMPILER2 |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
115 _polling_page_safepoint_handler_blob = generate_handler_blob(CAST_FROM_FN_PTR(address, SafepointSynchronize::handle_polling_page_exception), POLL_AT_LOOP); |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
116 _polling_page_return_handler_blob = generate_handler_blob(CAST_FROM_FN_PTR(address, SafepointSynchronize::handle_polling_page_exception), POLL_AT_RETURN); |
3753
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
117 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
118 generate_deopt_blob(); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
119 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
120 #ifdef COMPILER2 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
121 generate_uncommon_trap_blob(); |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
122 #endif // COMPILER2 |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
123 } |
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
124 |
0 | 125 #include <math.h> |
126 | |
4006 | 127 #ifndef USDT2 |
0 | 128 HS_DTRACE_PROBE_DECL4(hotspot, object__alloc, Thread*, char*, int, size_t); |
129 HS_DTRACE_PROBE_DECL7(hotspot, method__entry, int, | |
130 char*, int, char*, int, char*, int); | |
131 HS_DTRACE_PROBE_DECL7(hotspot, method__return, int, | |
132 char*, int, char*, int, char*, int); | |
4006 | 133 #endif /* !USDT2 */ |
0 | 134 |
135 // Implementation of SharedRuntime | |
136 | |
137 #ifndef PRODUCT | |
138 // For statistics | |
139 int SharedRuntime::_ic_miss_ctr = 0; | |
140 int SharedRuntime::_wrong_method_ctr = 0; | |
141 int SharedRuntime::_resolve_static_ctr = 0; | |
142 int SharedRuntime::_resolve_virtual_ctr = 0; | |
143 int SharedRuntime::_resolve_opt_virtual_ctr = 0; | |
144 int SharedRuntime::_implicit_null_throws = 0; | |
145 int SharedRuntime::_implicit_div0_throws = 0; | |
146 int SharedRuntime::_throw_null_ctr = 0; | |
147 | |
148 int SharedRuntime::_nof_normal_calls = 0; | |
149 int SharedRuntime::_nof_optimized_calls = 0; | |
150 int SharedRuntime::_nof_inlined_calls = 0; | |
151 int SharedRuntime::_nof_megamorphic_calls = 0; | |
152 int SharedRuntime::_nof_static_calls = 0; | |
153 int SharedRuntime::_nof_inlined_static_calls = 0; | |
154 int SharedRuntime::_nof_interface_calls = 0; | |
155 int SharedRuntime::_nof_optimized_interface_calls = 0; | |
156 int SharedRuntime::_nof_inlined_interface_calls = 0; | |
157 int SharedRuntime::_nof_megamorphic_interface_calls = 0; | |
158 int SharedRuntime::_nof_removable_exceptions = 0; | |
159 | |
160 int SharedRuntime::_new_instance_ctr=0; | |
161 int SharedRuntime::_new_array_ctr=0; | |
162 int SharedRuntime::_multi1_ctr=0; | |
163 int SharedRuntime::_multi2_ctr=0; | |
164 int SharedRuntime::_multi3_ctr=0; | |
165 int SharedRuntime::_multi4_ctr=0; | |
166 int SharedRuntime::_multi5_ctr=0; | |
167 int SharedRuntime::_mon_enter_stub_ctr=0; | |
168 int SharedRuntime::_mon_exit_stub_ctr=0; | |
169 int SharedRuntime::_mon_enter_ctr=0; | |
170 int SharedRuntime::_mon_exit_ctr=0; | |
171 int SharedRuntime::_partial_subtype_ctr=0; | |
172 int SharedRuntime::_jbyte_array_copy_ctr=0; | |
173 int SharedRuntime::_jshort_array_copy_ctr=0; | |
174 int SharedRuntime::_jint_array_copy_ctr=0; | |
175 int SharedRuntime::_jlong_array_copy_ctr=0; | |
176 int SharedRuntime::_oop_array_copy_ctr=0; | |
177 int SharedRuntime::_checkcast_array_copy_ctr=0; | |
178 int SharedRuntime::_unsafe_array_copy_ctr=0; | |
179 int SharedRuntime::_generic_array_copy_ctr=0; | |
180 int SharedRuntime::_slow_array_copy_ctr=0; | |
181 int SharedRuntime::_find_handler_ctr=0; | |
182 int SharedRuntime::_rethrow_ctr=0; | |
183 | |
184 int SharedRuntime::_ICmiss_index = 0; | |
185 int SharedRuntime::_ICmiss_count[SharedRuntime::maxICmiss_count]; | |
186 address SharedRuntime::_ICmiss_at[SharedRuntime::maxICmiss_count]; | |
187 | |
3753
cba7b5c2d53f
7045514: SPARC assembly code for JSR 292 ricochet frames
never
parents:
3363
diff
changeset
|
188 |
0 | 189 void SharedRuntime::trace_ic_miss(address at) { |
190 for (int i = 0; i < _ICmiss_index; i++) { | |
191 if (_ICmiss_at[i] == at) { | |
192 _ICmiss_count[i]++; | |
193 return; | |
194 } | |
195 } | |
196 int index = _ICmiss_index++; | |
197 if (_ICmiss_index >= maxICmiss_count) _ICmiss_index = maxICmiss_count - 1; | |
198 _ICmiss_at[index] = at; | |
199 _ICmiss_count[index] = 1; | |
200 } | |
201 | |
202 void SharedRuntime::print_ic_miss_histogram() { | |
203 if (ICMissHistogram) { | |
204 tty->print_cr ("IC Miss Histogram:"); | |
205 int tot_misses = 0; | |
206 for (int i = 0; i < _ICmiss_index; i++) { | |
207 tty->print_cr(" at: " INTPTR_FORMAT " nof: %d", _ICmiss_at[i], _ICmiss_count[i]); | |
208 tot_misses += _ICmiss_count[i]; | |
209 } | |
210 tty->print_cr ("Total IC misses: %7d", tot_misses); | |
211 } | |
212 } | |
213 #endif // PRODUCT | |
214 | |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
215 #ifndef SERIALGC |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
216 |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
217 // G1 write-barrier pre: executed before a pointer store. |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
218 JRT_LEAF(void, SharedRuntime::g1_wb_pre(oopDesc* orig, JavaThread *thread)) |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
219 if (orig == NULL) { |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
220 assert(false, "should be optimized out"); |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
221 return; |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
222 } |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
742
diff
changeset
|
223 assert(orig->is_oop(true /* ignore mark word */), "Error"); |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
224 // store the original value that was in the field reference |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
225 thread->satb_mark_queue().enqueue(orig); |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
226 JRT_END |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
227 |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
228 // G1 write-barrier post: executed after a pointer store. |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
229 JRT_LEAF(void, SharedRuntime::g1_wb_post(void* card_addr, JavaThread* thread)) |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
230 thread->dirty_card_queue().enqueue(card_addr); |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
231 JRT_END |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
232 |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
233 #endif // !SERIALGC |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
128
diff
changeset
|
234 |
0 | 235 |
236 JRT_LEAF(jlong, SharedRuntime::lmul(jlong y, jlong x)) | |
237 return x * y; | |
238 JRT_END | |
239 | |
240 | |
241 JRT_LEAF(jlong, SharedRuntime::ldiv(jlong y, jlong x)) | |
242 if (x == min_jlong && y == CONST64(-1)) { | |
243 return x; | |
244 } else { | |
245 return x / y; | |
246 } | |
247 JRT_END | |
248 | |
249 | |
250 JRT_LEAF(jlong, SharedRuntime::lrem(jlong y, jlong x)) | |
251 if (x == min_jlong && y == CONST64(-1)) { | |
252 return 0; | |
253 } else { | |
254 return x % y; | |
255 } | |
256 JRT_END | |
257 | |
258 | |
259 const juint float_sign_mask = 0x7FFFFFFF; | |
260 const juint float_infinity = 0x7F800000; | |
261 const julong double_sign_mask = CONST64(0x7FFFFFFFFFFFFFFF); | |
262 const julong double_infinity = CONST64(0x7FF0000000000000); | |
263 | |
264 JRT_LEAF(jfloat, SharedRuntime::frem(jfloat x, jfloat y)) | |
265 #ifdef _WIN64 | |
266 // 64-bit Windows on amd64 returns the wrong values for | |
267 // infinity operands. | |
268 union { jfloat f; juint i; } xbits, ybits; | |
269 xbits.f = x; | |
270 ybits.f = y; | |
271 // x Mod Infinity == x unless x is infinity | |
272 if ( ((xbits.i & float_sign_mask) != float_infinity) && | |
273 ((ybits.i & float_sign_mask) == float_infinity) ) { | |
274 return x; | |
275 } | |
276 #endif | |
277 return ((jfloat)fmod((double)x,(double)y)); | |
278 JRT_END | |
279 | |
280 | |
281 JRT_LEAF(jdouble, SharedRuntime::drem(jdouble x, jdouble y)) | |
282 #ifdef _WIN64 | |
283 union { jdouble d; julong l; } xbits, ybits; | |
284 xbits.d = x; | |
285 ybits.d = y; | |
286 // x Mod Infinity == x unless x is infinity | |
287 if ( ((xbits.l & double_sign_mask) != double_infinity) && | |
288 ((ybits.l & double_sign_mask) == double_infinity) ) { | |
289 return x; | |
290 } | |
291 #endif | |
292 return ((jdouble)fmod((double)x,(double)y)); | |
293 JRT_END | |
294 | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
295 #ifdef __SOFTFP__ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
296 JRT_LEAF(jfloat, SharedRuntime::fadd(jfloat x, jfloat y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
297 return x + y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
298 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
299 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
300 JRT_LEAF(jfloat, SharedRuntime::fsub(jfloat x, jfloat y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
301 return x - y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
302 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
303 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
304 JRT_LEAF(jfloat, SharedRuntime::fmul(jfloat x, jfloat y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
305 return x * y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
306 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
307 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
308 JRT_LEAF(jfloat, SharedRuntime::fdiv(jfloat x, jfloat y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
309 return x / y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
310 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
311 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
312 JRT_LEAF(jdouble, SharedRuntime::dadd(jdouble x, jdouble y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
313 return x + y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
314 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
315 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
316 JRT_LEAF(jdouble, SharedRuntime::dsub(jdouble x, jdouble y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
317 return x - y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
318 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
319 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
320 JRT_LEAF(jdouble, SharedRuntime::dmul(jdouble x, jdouble y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
321 return x * y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
322 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
323 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
324 JRT_LEAF(jdouble, SharedRuntime::ddiv(jdouble x, jdouble y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
325 return x / y; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
326 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
327 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
328 JRT_LEAF(jfloat, SharedRuntime::i2f(jint x)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
329 return (jfloat)x; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
330 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
331 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
332 JRT_LEAF(jdouble, SharedRuntime::i2d(jint x)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
333 return (jdouble)x; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
334 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
335 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
336 JRT_LEAF(jdouble, SharedRuntime::f2d(jfloat x)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
337 return (jdouble)x; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
338 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
339 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
340 JRT_LEAF(int, SharedRuntime::fcmpl(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
341 return x>y ? 1 : (x==y ? 0 : -1); /* x<y or is_nan*/ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
342 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
343 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
344 JRT_LEAF(int, SharedRuntime::fcmpg(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
345 return x<y ? -1 : (x==y ? 0 : 1); /* x>y or is_nan */ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
346 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
347 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
348 JRT_LEAF(int, SharedRuntime::dcmpl(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
349 return x>y ? 1 : (x==y ? 0 : -1); /* x<y or is_nan */ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
350 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
351 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
352 JRT_LEAF(int, SharedRuntime::dcmpg(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
353 return x<y ? -1 : (x==y ? 0 : 1); /* x>y or is_nan */ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
354 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
355 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
356 // Functions to return the opposite of the aeabi functions for nan. |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
357 JRT_LEAF(int, SharedRuntime::unordered_fcmplt(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
358 return (x < y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
359 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
360 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
361 JRT_LEAF(int, SharedRuntime::unordered_dcmplt(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
362 return (x < y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
363 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
364 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
365 JRT_LEAF(int, SharedRuntime::unordered_fcmple(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
366 return (x <= y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
367 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
368 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
369 JRT_LEAF(int, SharedRuntime::unordered_dcmple(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
370 return (x <= y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
371 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
372 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
373 JRT_LEAF(int, SharedRuntime::unordered_fcmpge(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
374 return (x >= y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
375 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
376 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
377 JRT_LEAF(int, SharedRuntime::unordered_dcmpge(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
378 return (x >= y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
379 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
380 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
381 JRT_LEAF(int, SharedRuntime::unordered_fcmpgt(float x, float y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
382 return (x > y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
383 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
384 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
385 JRT_LEAF(int, SharedRuntime::unordered_dcmpgt(double x, double y)) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
386 return (x > y) ? 1 : ((g_isnan(x) || g_isnan(y)) ? 1 : 0); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
387 JRT_END |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
388 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
389 // Intrinsics make gcc generate code for these. |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
390 float SharedRuntime::fneg(float f) { |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
391 return -f; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
392 } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
393 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
394 double SharedRuntime::dneg(double f) { |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
395 return -f; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
396 } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
397 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
398 #endif // __SOFTFP__ |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
399 |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
400 #if defined(__SOFTFP__) || defined(E500V2) |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
401 // Intrinsics make gcc generate code for these. |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
402 double SharedRuntime::dabs(double f) { |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
403 return (f <= (double)0.0) ? (double)0.0 - f : f; |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
404 } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
405 |
1868
3dc12ef8735e
6989297: Integrate additional portability improvements
bobv
parents:
1793
diff
changeset
|
406 #endif |
3dc12ef8735e
6989297: Integrate additional portability improvements
bobv
parents:
1793
diff
changeset
|
407 |
3dc12ef8735e
6989297: Integrate additional portability improvements
bobv
parents:
1793
diff
changeset
|
408 #if defined(__SOFTFP__) || defined(PPC) |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
409 double SharedRuntime::dsqrt(double f) { |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
410 return sqrt(f); |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
411 } |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
412 #endif |
0 | 413 |
414 JRT_LEAF(jint, SharedRuntime::f2i(jfloat x)) | |
508
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
415 if (g_isnan(x)) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
416 return 0; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
417 if (x >= (jfloat) max_jint) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
418 return max_jint; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
419 if (x <= (jfloat) min_jint) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
420 return min_jint; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
421 return (jint) x; |
0 | 422 JRT_END |
423 | |
424 | |
425 JRT_LEAF(jlong, SharedRuntime::f2l(jfloat x)) | |
508
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
426 if (g_isnan(x)) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
427 return 0; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
428 if (x >= (jfloat) max_jlong) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
429 return max_jlong; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
430 if (x <= (jfloat) min_jlong) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
431 return min_jlong; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
432 return (jlong) x; |
0 | 433 JRT_END |
434 | |
435 | |
436 JRT_LEAF(jint, SharedRuntime::d2i(jdouble x)) | |
508
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
437 if (g_isnan(x)) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
438 return 0; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
439 if (x >= (jdouble) max_jint) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
440 return max_jint; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
441 if (x <= (jdouble) min_jint) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
442 return min_jint; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
443 return (jint) x; |
0 | 444 JRT_END |
445 | |
446 | |
447 JRT_LEAF(jlong, SharedRuntime::d2l(jdouble x)) | |
508
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
448 if (g_isnan(x)) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
449 return 0; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
450 if (x >= (jdouble) max_jlong) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
451 return max_jlong; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
452 if (x <= (jdouble) min_jlong) |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
453 return min_jlong; |
6d8fc951eb25
6778657: Casts in SharedRuntime::f2i, f2l, d2i and d2l rely on undefined C++ behaviour
kvn
parents:
465
diff
changeset
|
454 return (jlong) x; |
0 | 455 JRT_END |
456 | |
457 | |
458 JRT_LEAF(jfloat, SharedRuntime::d2f(jdouble x)) | |
459 return (jfloat)x; | |
460 JRT_END | |
461 | |
462 | |
463 JRT_LEAF(jfloat, SharedRuntime::l2f(jlong x)) | |
464 return (jfloat)x; | |
465 JRT_END | |
466 | |
467 | |
468 JRT_LEAF(jdouble, SharedRuntime::l2d(jlong x)) | |
469 return (jdouble)x; | |
470 JRT_END | |
471 | |
472 // Exception handling accross interpreter/compiler boundaries | |
473 // | |
474 // exception_handler_for_return_address(...) returns the continuation address. | |
475 // The continuation address is the entry point of the exception handler of the | |
476 // previous frame depending on the return address. | |
477 | |
1295 | 478 address SharedRuntime::raw_exception_handler_for_return_address(JavaThread* thread, address return_address) { |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
479 assert(frame::verify_return_pc(return_address), err_msg("must be a return address: " INTPTR_FORMAT, return_address)); |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
480 |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
481 // Reset method handle flag. |
1368
93767e6a2dfd
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
1299
diff
changeset
|
482 thread->set_is_method_handle_return(false); |
93767e6a2dfd
6941529: SharedRuntime::raw_exception_handler_for_return_address must reset thread MethodHandle flag
twisti
parents:
1299
diff
changeset
|
483 |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
484 // The fastest case first |
0 | 485 CodeBlob* blob = CodeCache::find_blob(return_address); |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
486 nmethod* nm = (blob != NULL) ? blob->as_nmethod_or_null() : NULL; |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
487 if (nm != NULL) { |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
488 // Set flag if return address is a method handle call site. |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
489 thread->set_is_method_handle_return(nm->is_method_handle_return(return_address)); |
0 | 490 // native nmethods don't have exception handlers |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
491 assert(!nm->is_native_method(), "no exception handler"); |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
492 assert(nm->header_begin() != nm->exception_begin(), "no exception handler"); |
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
493 if (nm->is_deopt_pc(return_address)) { |
0 | 494 return SharedRuntime::deopt_blob()->unpack_with_exception(); |
495 } else { | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
496 return nm->exception_begin(); |
0 | 497 } |
498 } | |
499 | |
500 // Entry code | |
501 if (StubRoutines::returns_to_call_stub(return_address)) { | |
502 return StubRoutines::catch_exception_entry(); | |
503 } | |
504 // Interpreted code | |
505 if (Interpreter::contains(return_address)) { | |
506 return Interpreter::rethrow_exception_entry(); | |
507 } | |
508 | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
509 guarantee(blob == NULL || !blob->is_runtime_stub(), "caller should have skipped stub"); |
0 | 510 guarantee(!VtableStubs::contains(return_address), "NULL exceptions in vtables should have been handled already!"); |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
511 |
0 | 512 #ifndef PRODUCT |
513 { ResourceMark rm; | |
514 tty->print_cr("No exception handler found for exception at " INTPTR_FORMAT " - potential problems:", return_address); | |
515 tty->print_cr("a) exception happened in (new?) code stubs/buffers that is not handled here"); | |
516 tty->print_cr("b) other problem"); | |
517 } | |
518 #endif // PRODUCT | |
2321
1b4e6a5d98e0
7012914: JSR 292 MethodHandlesTest C1: frame::verify_return_pc(return_address) failed: must be a return pc
twisti
parents:
2192
diff
changeset
|
519 |
0 | 520 ShouldNotReachHere(); |
521 return NULL; | |
522 } | |
523 | |
524 | |
1295 | 525 JRT_LEAF(address, SharedRuntime::exception_handler_for_return_address(JavaThread* thread, address return_address)) |
526 return raw_exception_handler_for_return_address(thread, return_address); | |
0 | 527 JRT_END |
528 | |
1295 | 529 |
0 | 530 address SharedRuntime::get_poll_stub(address pc) { |
531 address stub; | |
532 // Look up the code blob | |
533 CodeBlob *cb = CodeCache::find_blob(pc); | |
534 | |
535 // Should be an nmethod | |
536 assert( cb && cb->is_nmethod(), "safepoint polling: pc must refer to an nmethod" ); | |
537 | |
538 // Look up the relocation information | |
539 assert( ((nmethod*)cb)->is_at_poll_or_poll_return(pc), | |
540 "safepoint polling: type must be poll" ); | |
541 | |
542 assert( ((NativeInstruction*)pc)->is_safepoint_poll(), | |
543 "Only polling locations are used for safepoint"); | |
544 | |
545 bool at_poll_return = ((nmethod*)cb)->is_at_poll_return(pc); | |
6792
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
546 bool has_wide_vectors = ((nmethod*)cb)->has_wide_vectors(); |
0 | 547 if (at_poll_return) { |
548 assert(SharedRuntime::polling_page_return_handler_blob() != NULL, | |
549 "polling page return stub not created yet"); | |
1748 | 550 stub = SharedRuntime::polling_page_return_handler_blob()->entry_point(); |
6792
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
551 } else if (has_wide_vectors) { |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
552 assert(SharedRuntime::polling_page_vectors_safepoint_handler_blob() != NULL, |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
553 "polling page vectors safepoint stub not created yet"); |
137868b7aa6f
7196199: java/text/Bidi/Bug6665028.java failed: Bidi run count incorrect
kvn
parents:
6790
diff
changeset
|
554 stub = SharedRuntime::polling_page_vectors_safepoint_handler_blob()->entry_point(); |
0 | 555 } else { |
556 assert(SharedRuntime::polling_page_safepoint_handler_blob() != NULL, | |
557 "polling page safepoint stub not created yet"); | |
1748 | 558 stub = SharedRuntime::polling_page_safepoint_handler_blob()->entry_point(); |
0 | 559 } |
560 #ifndef PRODUCT | |
561 if( TraceSafepoint ) { | |
562 char buf[256]; | |
563 jio_snprintf(buf, sizeof(buf), | |
564 "... found polling page %s exception at pc = " | |
565 INTPTR_FORMAT ", stub =" INTPTR_FORMAT, | |
566 at_poll_return ? "return" : "loop", | |
567 (intptr_t)pc, (intptr_t)stub); | |
568 tty->print_raw_cr(buf); | |
569 } | |
570 #endif // PRODUCT | |
571 return stub; | |
572 } | |
573 | |
574 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
575 oop SharedRuntime::retrieve_receiver( Symbol* sig, frame caller ) { |
0 | 576 assert(caller.is_interpreted_frame(), ""); |
577 int args_size = ArgumentSizeComputer(sig).size() + 1; | |
578 assert(args_size <= caller.interpreter_frame_expression_stack_size(), "receiver must be on interpreter stack"); | |
579 oop result = (oop) *caller.interpreter_frame_tos_at(args_size - 1); | |
580 assert(Universe::heap()->is_in(result) && result->is_oop(), "receiver must be an oop"); | |
581 return result; | |
582 } | |
583 | |
584 | |
585 void SharedRuntime::throw_and_post_jvmti_exception(JavaThread *thread, Handle h_exception) { | |
1213
6deeaebad47a
6902182: 4/4 Starting with jdwp agent should not incur performance penalty
dcubed
parents:
1187
diff
changeset
|
586 if (JvmtiExport::can_post_on_exceptions()) { |
0 | 587 vframeStream vfst(thread, true); |
588 methodHandle method = methodHandle(thread, vfst.method()); | |
589 address bcp = method()->bcp_from(vfst.bci()); | |
590 JvmtiExport::post_exception_throw(thread, method(), bcp, h_exception()); | |
591 } | |
592 Exceptions::_throw(thread, __FILE__, __LINE__, h_exception); | |
593 } | |
594 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
595 void SharedRuntime::throw_and_post_jvmti_exception(JavaThread *thread, Symbol* name, const char *message) { |
0 | 596 Handle h_exception = Exceptions::new_exception(thread, name, message); |
597 throw_and_post_jvmti_exception(thread, h_exception); | |
598 } | |
599 | |
610
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
600 // The interpreter code to call this tracing function is only |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
601 // called/generated when TraceRedefineClasses has the right bits |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
602 // set. Since obsolete methods are never compiled, we don't have |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
603 // to modify the compilers to generate calls to this function. |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
604 // |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
605 JRT_LEAF(int, SharedRuntime::rc_trace_method_entry( |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
606 JavaThread* thread, Method* method)) |
610
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
607 assert(RC_TRACE_IN_RANGE(0x00001000, 0x00002000), "wrong call"); |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
608 |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
609 if (method->is_obsolete()) { |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
610 // We are calling an obsolete method, but this is not necessarily |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
611 // an error. Our method could have been redefined just after we |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
612 // fetched the Method* from the constant pool. |
610
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
613 |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
614 // RC_TRACE macro has an embedded ResourceMark |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
615 RC_TRACE_WITH_THREAD(0x00001000, thread, |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
616 ("calling obsolete method '%s'", |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
617 method->name_and_sig_as_C_string())); |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
618 if (RC_TRACE_ENABLED(0x00002000)) { |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
619 // this option is provided to debug calls to obsolete methods |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
620 guarantee(false, "faulting at call to an obsolete method."); |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
621 } |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
622 } |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
623 return 0; |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
624 JRT_END |
70998f2e05ef
6805864: 4/3 Problem with jvmti->redefineClasses: some methods don't get redefined
dcubed
parents:
465
diff
changeset
|
625 |
0 | 626 // ret_pc points into caller; we are returning caller's exception handler |
627 // for given exception | |
628 address SharedRuntime::compute_compiled_exc_handler(nmethod* nm, address ret_pc, Handle& exception, | |
629 bool force_unwind, bool top_frame_only) { | |
630 assert(nm != NULL, "must exist"); | |
631 ResourceMark rm; | |
632 | |
633 ScopeDesc* sd = nm->scope_desc_at(ret_pc); | |
634 // determine handler bci, if any | |
635 EXCEPTION_MARK; | |
636 | |
637 int handler_bci = -1; | |
638 int scope_depth = 0; | |
639 if (!force_unwind) { | |
640 int bci = sd->bci(); | |
3998
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
641 bool recursive_exception = false; |
0 | 642 do { |
643 bool skip_scope_increment = false; | |
644 // exception handler lookup | |
645 KlassHandle ek (THREAD, exception->klass()); | |
646 handler_bci = sd->method()->fast_exception_handler_bci_for(ek, bci, THREAD); | |
647 if (HAS_PENDING_EXCEPTION) { | |
3998
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
648 recursive_exception = true; |
0 | 649 // We threw an exception while trying to find the exception handler. |
650 // Transfer the new exception to the exception handle which will | |
651 // be set into thread local storage, and do another lookup for an | |
652 // exception handler for this exception, this time starting at the | |
653 // BCI of the exception handler which caused the exception to be | |
654 // thrown (bugs 4307310 and 4546590). Set "exception" reference | |
655 // argument to ensure that the correct exception is thrown (4870175). | |
656 exception = Handle(THREAD, PENDING_EXCEPTION); | |
657 CLEAR_PENDING_EXCEPTION; | |
658 if (handler_bci >= 0) { | |
659 bci = handler_bci; | |
660 handler_bci = -1; | |
661 skip_scope_increment = true; | |
662 } | |
663 } | |
3998
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
664 else { |
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
665 recursive_exception = false; |
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
666 } |
0 | 667 if (!top_frame_only && handler_bci < 0 && !skip_scope_increment) { |
668 sd = sd->sender(); | |
669 if (sd != NULL) { | |
670 bci = sd->bci(); | |
671 } | |
672 ++scope_depth; | |
673 } | |
3998
ec5ce9326985
6865265: JVM crashes with "missing exception handler" error
kvn
parents:
3841
diff
changeset
|
674 } while (recursive_exception || (!top_frame_only && handler_bci < 0 && sd != NULL)); |
0 | 675 } |
676 | |
677 // found handling method => lookup exception handler | |
1748 | 678 int catch_pco = ret_pc - nm->code_begin(); |
0 | 679 |
680 ExceptionHandlerTable table(nm); | |
681 HandlerTableEntry *t = table.entry_for(catch_pco, handler_bci, scope_depth); | |
682 if (t == NULL && (nm->is_compiled_by_c1() || handler_bci != -1)) { | |
683 // Allow abbreviated catch tables. The idea is to allow a method | |
684 // to materialize its exceptions without committing to the exact | |
685 // routing of exceptions. In particular this is needed for adding | |
686 // a synthethic handler to unlock monitors when inlining | |
687 // synchonized methods since the unlock path isn't represented in | |
688 // the bytecodes. | |
689 t = table.entry_for(catch_pco, -1, 0); | |
690 } | |
691 | |
1378
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
692 #ifdef COMPILER1 |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
693 if (t == NULL && nm->is_compiled_by_c1()) { |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
694 assert(nm->unwind_handler_begin() != NULL, ""); |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
695 return nm->unwind_handler_begin(); |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
696 } |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
697 #endif |
9f5b60a14736
6939930: exception unwind changes in 6919934 hurts compilation speed
never
parents:
1368
diff
changeset
|
698 |
0 | 699 if (t == NULL) { |
700 tty->print_cr("MISSING EXCEPTION HANDLER for pc " INTPTR_FORMAT " and handler bci %d", ret_pc, handler_bci); | |
701 tty->print_cr(" Exception:"); | |
702 exception->print(); | |
703 tty->cr(); | |
704 tty->print_cr(" Compiled exception table :"); | |
705 table.print(); | |
706 nm->print_code(); | |
707 guarantee(false, "missing exception handler"); | |
708 return NULL; | |
709 } | |
710 | |
1748 | 711 return nm->code_begin() + t->pco(); |
0 | 712 } |
713 | |
714 JRT_ENTRY(void, SharedRuntime::throw_AbstractMethodError(JavaThread* thread)) | |
715 // These errors occur only at call sites | |
716 throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_AbstractMethodError()); | |
717 JRT_END | |
718 | |
16
f8236e79048a
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
0
diff
changeset
|
719 JRT_ENTRY(void, SharedRuntime::throw_IncompatibleClassChangeError(JavaThread* thread)) |
f8236e79048a
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
0
diff
changeset
|
720 // These errors occur only at call sites |
f8236e79048a
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
0
diff
changeset
|
721 throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_IncompatibleClassChangeError(), "vtable stub"); |
f8236e79048a
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
0
diff
changeset
|
722 JRT_END |
f8236e79048a
6664627: Merge changes made only in hotspot 11 forward to jdk 7
dcubed
parents:
0
diff
changeset
|
723 |
0 | 724 JRT_ENTRY(void, SharedRuntime::throw_ArithmeticException(JavaThread* thread)) |
725 throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_ArithmeticException(), "/ by zero"); | |
726 JRT_END | |
727 | |
728 JRT_ENTRY(void, SharedRuntime::throw_NullPointerException(JavaThread* thread)) | |
729 throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_NullPointerException()); | |
730 JRT_END | |
731 | |
732 JRT_ENTRY(void, SharedRuntime::throw_NullPointerException_at_call(JavaThread* thread)) | |
733 // This entry point is effectively only used for NullPointerExceptions which occur at inline | |
734 // cache sites (when the callee activation is not yet set up) so we are at a call site | |
735 throw_and_post_jvmti_exception(thread, vmSymbols::java_lang_NullPointerException()); | |
736 JRT_END | |
737 | |
738 JRT_ENTRY(void, SharedRuntime::throw_StackOverflowError(JavaThread* thread)) | |
739 // We avoid using the normal exception construction in this case because | |
740 // it performs an upcall to Java, and we're already out of stack space. | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
741 Klass* k = SystemDictionary::StackOverflowError_klass(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
742 oop exception_oop = InstanceKlass::cast(k)->allocate_instance(CHECK); |
0 | 743 Handle exception (thread, exception_oop); |
744 if (StackTraceInThrowable) { | |
745 java_lang_Throwable::fill_in_stack_trace(exception); | |
746 } | |
747 throw_and_post_jvmti_exception(thread, exception); | |
748 JRT_END | |
749 | |
750 address SharedRuntime::continuation_for_implicit_exception(JavaThread* thread, | |
751 address pc, | |
752 SharedRuntime::ImplicitExceptionKind exception_kind) | |
753 { | |
754 address target_pc = NULL; | |
755 | |
756 if (Interpreter::contains(pc)) { | |
757 #ifdef CC_INTERP | |
758 // C++ interpreter doesn't throw implicit exceptions | |
759 ShouldNotReachHere(); | |
760 #else | |
761 switch (exception_kind) { | |
762 case IMPLICIT_NULL: return Interpreter::throw_NullPointerException_entry(); | |
763 case IMPLICIT_DIVIDE_BY_ZERO: return Interpreter::throw_ArithmeticException_entry(); | |
764 case STACK_OVERFLOW: return Interpreter::throw_StackOverflowError_entry(); | |
765 default: ShouldNotReachHere(); | |
766 } | |
767 #endif // !CC_INTERP | |
768 } else { | |
769 switch (exception_kind) { | |
770 case STACK_OVERFLOW: { | |
771 // Stack overflow only occurs upon frame setup; the callee is | |
772 // going to be unwound. Dispatch to a shared runtime stub | |
773 // which will cause the StackOverflowError to be fabricated | |
774 // and processed. | |
775 // For stack overflow in deoptimization blob, cleanup thread. | |
776 if (thread->deopt_mark() != NULL) { | |
777 Deoptimization::cleanup_deopt_info(thread, NULL); | |
778 } | |
4944 | 779 Events::log_exception(thread, "StackOverflowError at " INTPTR_FORMAT, pc); |
0 | 780 return StubRoutines::throw_StackOverflowError_entry(); |
781 } | |
782 | |
783 case IMPLICIT_NULL: { | |
784 if (VtableStubs::contains(pc)) { | |
785 // We haven't yet entered the callee frame. Fabricate an | |
786 // exception and begin dispatching it in the caller. Since | |
787 // the caller was at a call site, it's safe to destroy all | |
788 // caller-saved registers, as these entry points do. | |
789 VtableStub* vt_stub = VtableStubs::stub_containing(pc); | |
465
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
790 |
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
791 // If vt_stub is NULL, then return NULL to signal handler to report the SEGV error. |
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
792 if (vt_stub == NULL) return NULL; |
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
793 |
0 | 794 if (vt_stub->is_abstract_method_error(pc)) { |
795 assert(!vt_stub->is_vtable_stub(), "should never see AbstractMethodErrors from vtable-type VtableStubs"); | |
4944 | 796 Events::log_exception(thread, "AbstractMethodError at " INTPTR_FORMAT, pc); |
0 | 797 return StubRoutines::throw_AbstractMethodError_entry(); |
798 } else { | |
4944 | 799 Events::log_exception(thread, "NullPointerException at vtable entry " INTPTR_FORMAT, pc); |
0 | 800 return StubRoutines::throw_NullPointerException_at_call_entry(); |
801 } | |
802 } else { | |
803 CodeBlob* cb = CodeCache::find_blob(pc); | |
465
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
804 |
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
805 // If code blob is NULL, then return NULL to signal handler to report the SEGV error. |
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
806 if (cb == NULL) return NULL; |
0 | 807 |
808 // Exception happened in CodeCache. Must be either: | |
809 // 1. Inline-cache check in C2I handler blob, | |
810 // 2. Inline-cache check in nmethod, or | |
811 // 3. Implict null exception in nmethod | |
812 | |
813 if (!cb->is_nmethod()) { | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1295
diff
changeset
|
814 guarantee(cb->is_adapter_blob() || cb->is_method_handles_adapter_blob(), |
465
dc16daa0329d
6739363: Xcheck jni doesn't check native function arguments
poonam
parents:
356
diff
changeset
|
815 "exception happened outside interpreter, nmethods and vtable stubs (1)"); |
4944 | 816 Events::log_exception(thread, "NullPointerException in code blob at " INTPTR_FORMAT, pc); |
0 | 817 // There is no handler here, so we will simply unwind. |
818 return StubRoutines::throw_NullPointerException_at_call_entry(); | |
819 } | |
820 | |
821 // Otherwise, it's an nmethod. Consult its exception handlers. | |
822 nmethod* nm = (nmethod*)cb; | |
823 if (nm->inlinecache_check_contains(pc)) { | |
824 // exception happened inside inline-cache check code | |
825 // => the nmethod is not yet active (i.e., the frame | |
826 // is not set up yet) => use return address pushed by | |
827 // caller => don't push another return address | |
4944 | 828 Events::log_exception(thread, "NullPointerException in IC check " INTPTR_FORMAT, pc); |
0 | 829 return StubRoutines::throw_NullPointerException_at_call_entry(); |
830 } | |
831 | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
832 if (nm->method()->is_method_handle_intrinsic()) { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
833 // exception happened inside MH dispatch code, similar to a vtable stub |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
834 Events::log_exception(thread, "NullPointerException in MH adapter " INTPTR_FORMAT, pc); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
835 return StubRoutines::throw_NullPointerException_at_call_entry(); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
836 } |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
837 |
0 | 838 #ifndef PRODUCT |
839 _implicit_null_throws++; | |
840 #endif | |
841 target_pc = nm->continuation_for_implicit_exception(pc); | |
1250 | 842 // If there's an unexpected fault, target_pc might be NULL, |
843 // in which case we want to fall through into the normal | |
844 // error handling code. | |
0 | 845 } |
846 | |
847 break; // fall through | |
848 } | |
849 | |
850 | |
851 case IMPLICIT_DIVIDE_BY_ZERO: { | |
852 nmethod* nm = CodeCache::find_nmethod(pc); | |
853 guarantee(nm != NULL, "must have containing nmethod for implicit division-by-zero exceptions"); | |
854 #ifndef PRODUCT | |
855 _implicit_div0_throws++; | |
856 #endif | |
857 target_pc = nm->continuation_for_implicit_exception(pc); | |
1250 | 858 // If there's an unexpected fault, target_pc might be NULL, |
859 // in which case we want to fall through into the normal | |
860 // error handling code. | |
0 | 861 break; // fall through |
862 } | |
863 | |
864 default: ShouldNotReachHere(); | |
865 } | |
866 | |
867 assert(exception_kind == IMPLICIT_NULL || exception_kind == IMPLICIT_DIVIDE_BY_ZERO, "wrong implicit exception kind"); | |
868 | |
869 // for AbortVMOnException flag | |
870 NOT_PRODUCT(Exceptions::debug_check_abort("java.lang.NullPointerException")); | |
871 if (exception_kind == IMPLICIT_NULL) { | |
4872
aa3d708d67c4
7141200: log some interesting information in ring buffers for crashes
never
parents:
4807
diff
changeset
|
872 Events::log_exception(thread, "Implicit null exception at " INTPTR_FORMAT " to " INTPTR_FORMAT, pc, target_pc); |
0 | 873 } else { |
4872
aa3d708d67c4
7141200: log some interesting information in ring buffers for crashes
never
parents:
4807
diff
changeset
|
874 Events::log_exception(thread, "Implicit division by zero exception at " INTPTR_FORMAT " to " INTPTR_FORMAT, pc, target_pc); |
0 | 875 } |
876 return target_pc; | |
877 } | |
878 | |
879 ShouldNotReachHere(); | |
880 return NULL; | |
881 } | |
882 | |
883 | |
884 JNI_ENTRY(void, throw_unsatisfied_link_error(JNIEnv* env, ...)) | |
885 { | |
886 THROW(vmSymbols::java_lang_UnsatisfiedLinkError()); | |
887 } | |
888 JNI_END | |
889 | |
6271
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
890 JNI_ENTRY(void, throw_unsupported_operation_exception(JNIEnv* env, ...)) |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
891 { |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
892 THROW(vmSymbols::java_lang_UnsupportedOperationException()); |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
893 } |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
894 JNI_END |
0 | 895 |
896 address SharedRuntime::native_method_throw_unsatisfied_link_error_entry() { | |
897 return CAST_FROM_FN_PTR(address, &throw_unsatisfied_link_error); | |
898 } | |
899 | |
6271
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
900 address SharedRuntime::native_method_throw_unsupported_operation_exception_entry() { |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
901 return CAST_FROM_FN_PTR(address, &throw_unsupported_operation_exception); |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
902 } |
93c71eb28866
7188911: nightly failures after JSR 292 lazy method handle update (round 2)
twisti
parents:
6266
diff
changeset
|
903 |
0 | 904 |
905 #ifndef PRODUCT | |
906 JRT_ENTRY(intptr_t, SharedRuntime::trace_bytecode(JavaThread* thread, intptr_t preserve_this_value, intptr_t tos, intptr_t tos2)) | |
907 const frame f = thread->last_frame(); | |
908 assert(f.is_interpreted_frame(), "must be an interpreted frame"); | |
909 #ifndef PRODUCT | |
910 methodHandle mh(THREAD, f.interpreter_frame_method()); | |
911 BytecodeTracer::trace(mh, f.interpreter_frame_bcp(), tos, tos2); | |
912 #endif // !PRODUCT | |
913 return preserve_this_value; | |
914 JRT_END | |
915 #endif // !PRODUCT | |
916 | |
917 | |
918 JRT_ENTRY(void, SharedRuntime::yield_all(JavaThread* thread, int attempts)) | |
919 os::yield_all(attempts); | |
920 JRT_END | |
921 | |
922 | |
923 JRT_ENTRY_NO_ASYNC(void, SharedRuntime::register_finalizer(JavaThread* thread, oopDesc* obj)) | |
924 assert(obj->is_oop(), "must be a valid oop"); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
925 assert(obj->klass()->has_finalizer(), "shouldn't be here otherwise"); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
926 InstanceKlass::register_finalizer(instanceOop(obj), CHECK); |
0 | 927 JRT_END |
928 | |
929 | |
930 jlong SharedRuntime::get_java_tid(Thread* thread) { | |
931 if (thread != NULL) { | |
932 if (thread->is_Java_thread()) { | |
933 oop obj = ((JavaThread*)thread)->threadObj(); | |
934 return (obj == NULL) ? 0 : java_lang_Thread::thread_id(obj); | |
935 } | |
936 } | |
937 return 0; | |
938 } | |
939 | |
940 /** | |
941 * This function ought to be a void function, but cannot be because | |
942 * it gets turned into a tail-call on sparc, which runs into dtrace bug | |
943 * 6254741. Once that is fixed we can remove the dummy return value. | |
944 */ | |
945 int SharedRuntime::dtrace_object_alloc(oopDesc* o) { | |
946 return dtrace_object_alloc_base(Thread::current(), o); | |
947 } | |
948 | |
949 int SharedRuntime::dtrace_object_alloc_base(Thread* thread, oopDesc* o) { | |
950 assert(DTraceAllocProbes, "wrong call"); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
951 Klass* klass = o->klass(); |
0 | 952 int size = o->size(); |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
953 Symbol* name = klass->name(); |
4006 | 954 #ifndef USDT2 |
0 | 955 HS_DTRACE_PROBE4(hotspot, object__alloc, get_java_tid(thread), |
956 name->bytes(), name->utf8_length(), size * HeapWordSize); | |
4006 | 957 #else /* USDT2 */ |
958 HOTSPOT_OBJECT_ALLOC( | |
959 get_java_tid(thread), | |
960 (char *) name->bytes(), name->utf8_length(), size * HeapWordSize); | |
961 #endif /* USDT2 */ | |
0 | 962 return 0; |
963 } | |
964 | |
965 JRT_LEAF(int, SharedRuntime::dtrace_method_entry( | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
966 JavaThread* thread, Method* method)) |
0 | 967 assert(DTraceMethodProbes, "wrong call"); |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
968 Symbol* kname = method->klass_name(); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
969 Symbol* name = method->name(); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
970 Symbol* sig = method->signature(); |
4006 | 971 #ifndef USDT2 |
0 | 972 HS_DTRACE_PROBE7(hotspot, method__entry, get_java_tid(thread), |
973 kname->bytes(), kname->utf8_length(), | |
974 name->bytes(), name->utf8_length(), | |
975 sig->bytes(), sig->utf8_length()); | |
4006 | 976 #else /* USDT2 */ |
977 HOTSPOT_METHOD_ENTRY( | |
978 get_java_tid(thread), | |
979 (char *) kname->bytes(), kname->utf8_length(), | |
980 (char *) name->bytes(), name->utf8_length(), | |
981 (char *) sig->bytes(), sig->utf8_length()); | |
982 #endif /* USDT2 */ | |
0 | 983 return 0; |
984 JRT_END | |
985 | |
986 JRT_LEAF(int, SharedRuntime::dtrace_method_exit( | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
987 JavaThread* thread, Method* method)) |
0 | 988 assert(DTraceMethodProbes, "wrong call"); |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
989 Symbol* kname = method->klass_name(); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
990 Symbol* name = method->name(); |
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
991 Symbol* sig = method->signature(); |
4006 | 992 #ifndef USDT2 |
0 | 993 HS_DTRACE_PROBE7(hotspot, method__return, get_java_tid(thread), |
994 kname->bytes(), kname->utf8_length(), | |
995 name->bytes(), name->utf8_length(), | |
996 sig->bytes(), sig->utf8_length()); | |
4006 | 997 #else /* USDT2 */ |
998 HOTSPOT_METHOD_RETURN( | |
999 get_java_tid(thread), | |
1000 (char *) kname->bytes(), kname->utf8_length(), | |
1001 (char *) name->bytes(), name->utf8_length(), | |
1002 (char *) sig->bytes(), sig->utf8_length()); | |
1003 #endif /* USDT2 */ | |
0 | 1004 return 0; |
1005 JRT_END | |
1006 | |
1007 | |
1008 // Finds receiver, CallInfo (i.e. receiver method), and calling bytecode) | |
1009 // for a call current in progress, i.e., arguments has been pushed on stack | |
1010 // put callee has not been invoked yet. Used by: resolve virtual/static, | |
1011 // vtable updates, etc. Caller frame must be compiled. | |
1012 Handle SharedRuntime::find_callee_info(JavaThread* thread, Bytecodes::Code& bc, CallInfo& callinfo, TRAPS) { | |
1013 ResourceMark rm(THREAD); | |
1014 | |
1015 // last java frame on stack (which includes native call frames) | |
1016 vframeStream vfst(thread, true); // Do not skip and javaCalls | |
1017 | |
1018 return find_callee_info_helper(thread, vfst, bc, callinfo, CHECK_(Handle())); | |
1019 } | |
1020 | |
1021 | |
1022 // Finds receiver, CallInfo (i.e. receiver method), and calling bytecode | |
1023 // for a call current in progress, i.e., arguments has been pushed on stack | |
1024 // but callee has not been invoked yet. Caller frame must be compiled. | |
1025 Handle SharedRuntime::find_callee_info_helper(JavaThread* thread, | |
1026 vframeStream& vfst, | |
1027 Bytecodes::Code& bc, | |
1028 CallInfo& callinfo, TRAPS) { | |
1029 Handle receiver; | |
1030 Handle nullHandle; //create a handy null handle for exception returns | |
1031 | |
1032 assert(!vfst.at_end(), "Java frame must exist"); | |
1033 | |
1034 // Find caller and bci from vframe | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1035 methodHandle caller(THREAD, vfst.method()); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1036 int bci = vfst.bci(); |
0 | 1037 |
1038 // Find bytecode | |
2142 | 1039 Bytecode_invoke bytecode(caller, bci); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1040 bc = bytecode.invoke_code(); |
2142 | 1041 int bytecode_index = bytecode.index(); |
0 | 1042 |
1043 // Find receiver for non-static call | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1044 if (bc != Bytecodes::_invokestatic && |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1045 bc != Bytecodes::_invokedynamic) { |
0 | 1046 // This register map must be update since we need to find the receiver for |
1047 // compiled frames. The receiver might be in a register. | |
1048 RegisterMap reg_map2(thread); | |
1049 frame stubFrame = thread->last_frame(); | |
1050 // Caller-frame is a compiled frame | |
1051 frame callerFrame = stubFrame.sender(®_map2); | |
1052 | |
2142 | 1053 methodHandle callee = bytecode.static_target(CHECK_(nullHandle)); |
0 | 1054 if (callee.is_null()) { |
1055 THROW_(vmSymbols::java_lang_NoSuchMethodException(), nullHandle); | |
1056 } | |
1057 // Retrieve from a compiled argument list | |
1058 receiver = Handle(THREAD, callerFrame.retrieve_receiver(®_map2)); | |
1059 | |
1060 if (receiver.is_null()) { | |
1061 THROW_(vmSymbols::java_lang_NullPointerException(), nullHandle); | |
1062 } | |
1063 } | |
1064 | |
1065 // Resolve method. This is parameterized by bytecode. | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1066 constantPoolHandle constants(THREAD, caller->constants()); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1067 assert(receiver.is_null() || receiver->is_oop(), "wrong receiver"); |
0 | 1068 LinkResolver::resolve_invoke(callinfo, receiver, constants, bytecode_index, bc, CHECK_(nullHandle)); |
1069 | |
1070 #ifdef ASSERT | |
1071 // Check that the receiver klass is of the right subtype and that it is initialized for virtual calls | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1072 if (bc != Bytecodes::_invokestatic && bc != Bytecodes::_invokedynamic) { |
0 | 1073 assert(receiver.not_null(), "should have thrown exception"); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1074 KlassHandle receiver_klass(THREAD, receiver->klass()); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1075 Klass* rk = constants->klass_ref_at(bytecode_index, CHECK_(nullHandle)); |
0 | 1076 // klass is already loaded |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1077 KlassHandle static_receiver_klass(THREAD, rk); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1078 // Method handle invokes might have been optimized to a direct call |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1079 // so don't check for the receiver class. |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1080 // FIXME this weakens the assert too much |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1081 methodHandle callee = callinfo.selected_method(); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1082 assert(receiver_klass->is_subtype_of(static_receiver_klass()) || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1083 callee->is_method_handle_intrinsic() || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1084 callee->is_compiled_lambda_form(), |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1085 "actual receiver must be subclass of static receiver klass"); |
0 | 1086 if (receiver_klass->oop_is_instance()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1087 if (InstanceKlass::cast(receiver_klass())->is_not_initialized()) { |
0 | 1088 tty->print_cr("ERROR: Klass not yet initialized!!"); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1089 receiver_klass()->print(); |
0 | 1090 } |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1091 assert(!InstanceKlass::cast(receiver_klass())->is_not_initialized(), "receiver_klass must be initialized"); |
0 | 1092 } |
1093 } | |
1094 #endif | |
1095 | |
1096 return receiver; | |
1097 } | |
1098 | |
1099 methodHandle SharedRuntime::find_callee_method(JavaThread* thread, TRAPS) { | |
1100 ResourceMark rm(THREAD); | |
1101 // We need first to check if any Java activations (compiled, interpreted) | |
1102 // exist on the stack since last JavaCall. If not, we need | |
1103 // to get the target method from the JavaCall wrapper. | |
1104 vframeStream vfst(thread, true); // Do not skip any javaCalls | |
1105 methodHandle callee_method; | |
1106 if (vfst.at_end()) { | |
1107 // No Java frames were found on stack since we did the JavaCall. | |
1108 // Hence the stack can only contain an entry_frame. We need to | |
1109 // find the target method from the stub frame. | |
1110 RegisterMap reg_map(thread, false); | |
1111 frame fr = thread->last_frame(); | |
1112 assert(fr.is_runtime_frame(), "must be a runtimeStub"); | |
1113 fr = fr.sender(®_map); | |
1114 assert(fr.is_entry_frame(), "must be"); | |
1115 // fr is now pointing to the entry frame. | |
1116 callee_method = methodHandle(THREAD, fr.entry_frame_call_wrapper()->callee_method()); | |
1117 assert(fr.entry_frame_call_wrapper()->receiver() == NULL || !callee_method->is_static(), "non-null receiver for static call??"); | |
1118 } else { | |
1119 Bytecodes::Code bc; | |
1120 CallInfo callinfo; | |
1121 find_callee_info_helper(thread, vfst, bc, callinfo, CHECK_(methodHandle())); | |
1122 callee_method = callinfo.selected_method(); | |
1123 } | |
1124 assert(callee_method()->is_method(), "must be"); | |
1125 return callee_method; | |
1126 } | |
1127 | |
1128 // Resolves a call. | |
1129 methodHandle SharedRuntime::resolve_helper(JavaThread *thread, | |
1130 bool is_virtual, | |
1131 bool is_optimized, TRAPS) { | |
1132 methodHandle callee_method; | |
1133 callee_method = resolve_sub_helper(thread, is_virtual, is_optimized, THREAD); | |
1134 if (JvmtiExport::can_hotswap_or_post_breakpoint()) { | |
1135 int retry_count = 0; | |
1136 while (!HAS_PENDING_EXCEPTION && callee_method->is_old() && | |
1142 | 1137 callee_method->method_holder() != SystemDictionary::Object_klass()) { |
0 | 1138 // If has a pending exception then there is no need to re-try to |
1139 // resolve this method. | |
1140 // If the method has been redefined, we need to try again. | |
1141 // Hack: we have no way to update the vtables of arrays, so don't | |
1142 // require that java.lang.Object has been updated. | |
1143 | |
1144 // It is very unlikely that method is redefined more than 100 times | |
1145 // in the middle of resolve. If it is looping here more than 100 times | |
1146 // means then there could be a bug here. | |
1147 guarantee((retry_count++ < 100), | |
1148 "Could not resolve to latest version of redefined method"); | |
1149 // method is redefined in the middle of resolve so re-try. | |
1150 callee_method = resolve_sub_helper(thread, is_virtual, is_optimized, THREAD); | |
1151 } | |
1152 } | |
1153 return callee_method; | |
1154 } | |
1155 | |
1156 // Resolves a call. The compilers generate code for calls that go here | |
1157 // and are patched with the real destination of the call. | |
1158 methodHandle SharedRuntime::resolve_sub_helper(JavaThread *thread, | |
1159 bool is_virtual, | |
1160 bool is_optimized, TRAPS) { | |
1161 | |
1162 ResourceMark rm(thread); | |
1163 RegisterMap cbl_map(thread, false); | |
1164 frame caller_frame = thread->last_frame().sender(&cbl_map); | |
1165 | |
1295 | 1166 CodeBlob* caller_cb = caller_frame.cb(); |
1167 guarantee(caller_cb != NULL && caller_cb->is_nmethod(), "must be called from nmethod"); | |
1168 nmethod* caller_nm = caller_cb->as_nmethod_or_null(); | |
0 | 1169 // make sure caller is not getting deoptimized |
1170 // and removed before we are done with it. | |
1171 // CLEANUP - with lazy deopt shouldn't need this lock | |
1295 | 1172 nmethodLocker caller_lock(caller_nm); |
0 | 1173 |
1174 | |
1175 // determine call info & receiver | |
1176 // note: a) receiver is NULL for static calls | |
1177 // b) an exception is thrown if receiver is NULL for non-static calls | |
1178 CallInfo call_info; | |
1179 Bytecodes::Code invoke_code = Bytecodes::_illegal; | |
1180 Handle receiver = find_callee_info(thread, invoke_code, | |
1181 call_info, CHECK_(methodHandle())); | |
1182 methodHandle callee_method = call_info.selected_method(); | |
1183 | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1184 assert((!is_virtual && invoke_code == Bytecodes::_invokestatic ) || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1185 (!is_virtual && invoke_code == Bytecodes::_invokehandle ) || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1186 (!is_virtual && invoke_code == Bytecodes::_invokedynamic) || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1187 ( is_virtual && invoke_code != Bytecodes::_invokestatic ), "inconsistent bytecode"); |
0 | 1188 |
1189 #ifndef PRODUCT | |
1190 // tracing/debugging/statistics | |
1191 int *addr = (is_optimized) ? (&_resolve_opt_virtual_ctr) : | |
1192 (is_virtual) ? (&_resolve_virtual_ctr) : | |
1193 (&_resolve_static_ctr); | |
1194 Atomic::inc(addr); | |
1195 | |
1196 if (TraceCallFixup) { | |
1197 ResourceMark rm(thread); | |
1198 tty->print("resolving %s%s (%s) call to", | |
1199 (is_optimized) ? "optimized " : "", (is_virtual) ? "virtual" : "static", | |
1200 Bytecodes::name(invoke_code)); | |
1201 callee_method->print_short_name(tty); | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1202 tty->print_cr(" at pc: " INTPTR_FORMAT " to code: " INTPTR_FORMAT, caller_frame.pc(), callee_method->code()); |
0 | 1203 } |
1204 #endif | |
1205 | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1206 // JSR 292 key invariant: |
1295 | 1207 // If the resolved method is a MethodHandle invoke target the call |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1208 // site must be a MethodHandle call site, because the lambda form might tail-call |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1209 // leaving the stack in a state unknown to either caller or callee |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1210 // TODO detune for now but we might need it again |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1211 // assert(!callee_method->is_compiled_lambda_form() || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1212 // caller_nm->is_method_handle_return(caller_frame.pc()), "must be MH call site"); |
1295 | 1213 |
0 | 1214 // Compute entry points. This might require generation of C2I converter |
1215 // frames, so we cannot be holding any locks here. Furthermore, the | |
1216 // computation of the entry points is independent of patching the call. We | |
1217 // always return the entry-point, but we only patch the stub if the call has | |
1218 // not been deoptimized. Return values: For a virtual call this is an | |
1219 // (cached_oop, destination address) pair. For a static call/optimized | |
1220 // virtual this is just a destination address. | |
1221 | |
1222 StaticCallInfo static_call_info; | |
1223 CompiledICInfo virtual_call_info; | |
1224 | |
1225 // Make sure the callee nmethod does not get deoptimized and removed before | |
1226 // we are done patching the code. | |
1295 | 1227 nmethod* callee_nm = callee_method->code(); |
1228 nmethodLocker nl_callee(callee_nm); | |
0 | 1229 #ifdef ASSERT |
1295 | 1230 address dest_entry_point = callee_nm == NULL ? 0 : callee_nm->entry_point(); // used below |
0 | 1231 #endif |
1232 | |
1233 if (is_virtual) { | |
1234 assert(receiver.not_null(), "sanity check"); | |
1235 bool static_bound = call_info.resolved_method()->can_be_statically_bound(); | |
1236 KlassHandle h_klass(THREAD, receiver->klass()); | |
1237 CompiledIC::compute_monomorphic_entry(callee_method, h_klass, | |
1238 is_optimized, static_bound, virtual_call_info, | |
1239 CHECK_(methodHandle())); | |
1240 } else { | |
1241 // static call | |
1242 CompiledStaticCall::compute_entry(callee_method, static_call_info); | |
1243 } | |
1244 | |
1245 // grab lock, check for deoptimization and potentially patch caller | |
1246 { | |
1247 MutexLocker ml_patch(CompiledIC_lock); | |
1248 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1249 // Now that we are ready to patch if the Method* was redefined then |
0 | 1250 // don't update call site and let the caller retry. |
1251 | |
1252 if (!callee_method->is_old()) { | |
1253 #ifdef ASSERT | |
1254 // We must not try to patch to jump to an already unloaded method. | |
1255 if (dest_entry_point != 0) { | |
1256 assert(CodeCache::find_blob(dest_entry_point) != NULL, | |
1257 "should not unload nmethod while locked"); | |
1258 } | |
1259 #endif | |
1260 if (is_virtual) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1261 nmethod* nm = callee_nm; |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1262 if (nm == NULL) CodeCache::find_blob(caller_frame.pc()); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1263 CompiledIC* inline_cache = CompiledIC_before(caller_nm, caller_frame.pc()); |
0 | 1264 if (inline_cache->is_clean()) { |
1265 inline_cache->set_to_monomorphic(virtual_call_info); | |
1266 } | |
1267 } else { | |
1268 CompiledStaticCall* ssc = compiledStaticCall_before(caller_frame.pc()); | |
1269 if (ssc->is_clean()) ssc->set(static_call_info); | |
1270 } | |
1271 } | |
1272 | |
1273 } // unlock CompiledIC_lock | |
1274 | |
1275 return callee_method; | |
1276 } | |
1277 | |
1278 | |
1279 // Inline caches exist only in compiled code | |
1280 JRT_BLOCK_ENTRY(address, SharedRuntime::handle_wrong_method_ic_miss(JavaThread* thread)) | |
1281 #ifdef ASSERT | |
1282 RegisterMap reg_map(thread, false); | |
1283 frame stub_frame = thread->last_frame(); | |
1284 assert(stub_frame.is_runtime_frame(), "sanity check"); | |
1285 frame caller_frame = stub_frame.sender(®_map); | |
1286 assert(!caller_frame.is_interpreted_frame() && !caller_frame.is_entry_frame(), "unexpected frame"); | |
1287 #endif /* ASSERT */ | |
1288 | |
1289 methodHandle callee_method; | |
1290 JRT_BLOCK | |
1291 callee_method = SharedRuntime::handle_ic_miss_helper(thread, CHECK_NULL); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1292 // Return Method* through TLS |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1293 thread->set_vm_result_2(callee_method()); |
0 | 1294 JRT_BLOCK_END |
1295 // return compiled code entry point after potential safepoints | |
1296 assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); | |
1297 return callee_method->verified_code_entry(); | |
1298 JRT_END | |
1299 | |
1300 | |
1301 // Handle call site that has been made non-entrant | |
1302 JRT_BLOCK_ENTRY(address, SharedRuntime::handle_wrong_method(JavaThread* thread)) | |
1303 // 6243940 We might end up in here if the callee is deoptimized | |
1304 // as we race to call it. We don't want to take a safepoint if | |
1305 // the caller was interpreted because the caller frame will look | |
1306 // interpreted to the stack walkers and arguments are now | |
1307 // "compiled" so it is much better to make this transition | |
1308 // invisible to the stack walking code. The i2c path will | |
1309 // place the callee method in the callee_target. It is stashed | |
1310 // there because if we try and find the callee by normal means a | |
1311 // safepoint is possible and have trouble gc'ing the compiled args. | |
1312 RegisterMap reg_map(thread, false); | |
1313 frame stub_frame = thread->last_frame(); | |
1314 assert(stub_frame.is_runtime_frame(), "sanity check"); | |
1315 frame caller_frame = stub_frame.sender(®_map); | |
1135
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1316 |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1317 // MethodHandle invokes don't have a CompiledIC and should always |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1318 // simply redispatch to the callee_target. |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1319 address sender_pc = caller_frame.pc(); |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1320 CodeBlob* sender_cb = caller_frame.cb(); |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1321 nmethod* sender_nm = sender_cb->as_nmethod_or_null(); |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1322 |
e66fd840cb6b
6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents:
845
diff
changeset
|
1323 if (caller_frame.is_interpreted_frame() || |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
1324 caller_frame.is_entry_frame()) { |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1325 Method* callee = thread->callee_target(); |
0 | 1326 guarantee(callee != NULL && callee->is_method(), "bad handshake"); |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1327 thread->set_vm_result_2(callee); |
0 | 1328 thread->set_callee_target(NULL); |
1329 return callee->get_c2i_entry(); | |
1330 } | |
1331 | |
1332 // Must be compiled to compiled path which is safe to stackwalk | |
1333 methodHandle callee_method; | |
1334 JRT_BLOCK | |
1335 // Force resolving of caller (if we called from compiled frame) | |
1336 callee_method = SharedRuntime::reresolve_call_site(thread, CHECK_NULL); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1337 thread->set_vm_result_2(callee_method()); |
0 | 1338 JRT_BLOCK_END |
1339 // return compiled code entry point after potential safepoints | |
1340 assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); | |
1341 return callee_method->verified_code_entry(); | |
1342 JRT_END | |
1343 | |
1344 | |
1345 // resolve a static call and patch code | |
1346 JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_static_call_C(JavaThread *thread )) | |
1347 methodHandle callee_method; | |
1348 JRT_BLOCK | |
1349 callee_method = SharedRuntime::resolve_helper(thread, false, false, CHECK_NULL); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1350 thread->set_vm_result_2(callee_method()); |
0 | 1351 JRT_BLOCK_END |
1352 // return compiled code entry point after potential safepoints | |
1353 assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); | |
1354 return callee_method->verified_code_entry(); | |
1355 JRT_END | |
1356 | |
1357 | |
1358 // resolve virtual call and update inline cache to monomorphic | |
1359 JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_virtual_call_C(JavaThread *thread )) | |
1360 methodHandle callee_method; | |
1361 JRT_BLOCK | |
1362 callee_method = SharedRuntime::resolve_helper(thread, true, false, CHECK_NULL); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1363 thread->set_vm_result_2(callee_method()); |
0 | 1364 JRT_BLOCK_END |
1365 // return compiled code entry point after potential safepoints | |
1366 assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); | |
1367 return callee_method->verified_code_entry(); | |
1368 JRT_END | |
1369 | |
1370 | |
1371 // Resolve a virtual call that can be statically bound (e.g., always | |
1372 // monomorphic, so it has no inline cache). Patch code to resolved target. | |
1373 JRT_BLOCK_ENTRY(address, SharedRuntime::resolve_opt_virtual_call_C(JavaThread *thread)) | |
1374 methodHandle callee_method; | |
1375 JRT_BLOCK | |
1376 callee_method = SharedRuntime::resolve_helper(thread, true, true, CHECK_NULL); | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1377 thread->set_vm_result_2(callee_method()); |
0 | 1378 JRT_BLOCK_END |
1379 // return compiled code entry point after potential safepoints | |
1380 assert(callee_method->verified_code_entry() != NULL, " Jump to zero!"); | |
1381 return callee_method->verified_code_entry(); | |
1382 JRT_END | |
1383 | |
1384 | |
1385 | |
1386 | |
1387 | |
1388 methodHandle SharedRuntime::handle_ic_miss_helper(JavaThread *thread, TRAPS) { | |
1389 ResourceMark rm(thread); | |
1390 CallInfo call_info; | |
1391 Bytecodes::Code bc; | |
1392 | |
1393 // receiver is NULL for static calls. An exception is thrown for NULL | |
1394 // receivers for non-static calls | |
1395 Handle receiver = find_callee_info(thread, bc, call_info, | |
1396 CHECK_(methodHandle())); | |
1397 // Compiler1 can produce virtual call sites that can actually be statically bound | |
1398 // If we fell thru to below we would think that the site was going megamorphic | |
1399 // when in fact the site can never miss. Worse because we'd think it was megamorphic | |
1400 // we'd try and do a vtable dispatch however methods that can be statically bound | |
1401 // don't have vtable entries (vtable_index < 0) and we'd blow up. So we force a | |
1402 // reresolution of the call site (as if we did a handle_wrong_method and not an | |
1403 // plain ic_miss) and the site will be converted to an optimized virtual call site | |
1404 // never to miss again. I don't believe C2 will produce code like this but if it | |
1405 // did this would still be the correct thing to do for it too, hence no ifdef. | |
1406 // | |
1407 if (call_info.resolved_method()->can_be_statically_bound()) { | |
1408 methodHandle callee_method = SharedRuntime::reresolve_call_site(thread, CHECK_(methodHandle())); | |
1409 if (TraceCallFixup) { | |
1410 RegisterMap reg_map(thread, false); | |
1411 frame caller_frame = thread->last_frame().sender(®_map); | |
1412 ResourceMark rm(thread); | |
1413 tty->print("converting IC miss to reresolve (%s) call to", Bytecodes::name(bc)); | |
1414 callee_method->print_short_name(tty); | |
1415 tty->print_cr(" from pc: " INTPTR_FORMAT, caller_frame.pc()); | |
1416 tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); | |
1417 } | |
1418 return callee_method; | |
1419 } | |
1420 | |
1421 methodHandle callee_method = call_info.selected_method(); | |
1422 | |
1423 bool should_be_mono = false; | |
1424 | |
1425 #ifndef PRODUCT | |
1426 Atomic::inc(&_ic_miss_ctr); | |
1427 | |
1428 // Statistics & Tracing | |
1429 if (TraceCallFixup) { | |
1430 ResourceMark rm(thread); | |
1431 tty->print("IC miss (%s) call to", Bytecodes::name(bc)); | |
1432 callee_method->print_short_name(tty); | |
1433 tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); | |
1434 } | |
1435 | |
1436 if (ICMissHistogram) { | |
1437 MutexLocker m(VMStatistic_lock); | |
1438 RegisterMap reg_map(thread, false); | |
1439 frame f = thread->last_frame().real_sender(®_map);// skip runtime stub | |
1440 // produce statistics under the lock | |
1441 trace_ic_miss(f.pc()); | |
1442 } | |
1443 #endif | |
1444 | |
1445 // install an event collector so that when a vtable stub is created the | |
1446 // profiler can be notified via a DYNAMIC_CODE_GENERATED event. The | |
1447 // event can't be posted when the stub is created as locks are held | |
1448 // - instead the event will be deferred until the event collector goes | |
1449 // out of scope. | |
1450 JvmtiDynamicCodeEventCollector event_collector; | |
1451 | |
1452 // Update inline cache to megamorphic. Skip update if caller has been | |
1453 // made non-entrant or we are called from interpreted. | |
1454 { MutexLocker ml_patch (CompiledIC_lock); | |
1455 RegisterMap reg_map(thread, false); | |
1456 frame caller_frame = thread->last_frame().sender(®_map); | |
1457 CodeBlob* cb = caller_frame.cb(); | |
1458 if (cb->is_nmethod() && ((nmethod*)cb)->is_in_use()) { | |
1459 // Not a non-entrant nmethod, so find inline_cache | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1460 CompiledIC* inline_cache = CompiledIC_before(((nmethod*)cb), caller_frame.pc()); |
0 | 1461 bool should_be_mono = false; |
1462 if (inline_cache->is_optimized()) { | |
1463 if (TraceCallFixup) { | |
1464 ResourceMark rm(thread); | |
1465 tty->print("OPTIMIZED IC miss (%s) call to", Bytecodes::name(bc)); | |
1466 callee_method->print_short_name(tty); | |
1467 tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); | |
1468 } | |
1469 should_be_mono = true; | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1470 } else if (inline_cache->is_icholder_call()) { |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1471 CompiledICHolder* ic_oop = inline_cache->cached_icholder(); |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1472 if ( ic_oop != NULL) { |
0 | 1473 |
1474 if (receiver()->klass() == ic_oop->holder_klass()) { | |
1475 // This isn't a real miss. We must have seen that compiled code | |
1476 // is now available and we want the call site converted to a | |
1477 // monomorphic compiled call site. | |
1478 // We can't assert for callee_method->code() != NULL because it | |
1479 // could have been deoptimized in the meantime | |
1480 if (TraceCallFixup) { | |
1481 ResourceMark rm(thread); | |
1482 tty->print("FALSE IC miss (%s) converting to compiled call to", Bytecodes::name(bc)); | |
1483 callee_method->print_short_name(tty); | |
1484 tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); | |
1485 } | |
1486 should_be_mono = true; | |
1487 } | |
1488 } | |
1489 } | |
1490 | |
1491 if (should_be_mono) { | |
1492 | |
1493 // We have a path that was monomorphic but was going interpreted | |
1494 // and now we have (or had) a compiled entry. We correct the IC | |
1495 // by using a new icBuffer. | |
1496 CompiledICInfo info; | |
1497 KlassHandle receiver_klass(THREAD, receiver()->klass()); | |
1498 inline_cache->compute_monomorphic_entry(callee_method, | |
1499 receiver_klass, | |
1500 inline_cache->is_optimized(), | |
1501 false, | |
1502 info, CHECK_(methodHandle())); | |
1503 inline_cache->set_to_monomorphic(info); | |
1504 } else if (!inline_cache->is_megamorphic() && !inline_cache->is_clean()) { | |
1505 // Change to megamorphic | |
1506 inline_cache->set_to_megamorphic(&call_info, bc, CHECK_(methodHandle())); | |
1507 } else { | |
1508 // Either clean or megamorphic | |
1509 } | |
1510 } | |
1511 } // Release CompiledIC_lock | |
1512 | |
1513 return callee_method; | |
1514 } | |
1515 | |
1516 // | |
1517 // Resets a call-site in compiled code so it will get resolved again. | |
1518 // This routines handles both virtual call sites, optimized virtual call | |
1519 // sites, and static call sites. Typically used to change a call sites | |
1520 // destination from compiled to interpreted. | |
1521 // | |
1522 methodHandle SharedRuntime::reresolve_call_site(JavaThread *thread, TRAPS) { | |
1523 ResourceMark rm(thread); | |
1524 RegisterMap reg_map(thread, false); | |
1525 frame stub_frame = thread->last_frame(); | |
1526 assert(stub_frame.is_runtime_frame(), "must be a runtimeStub"); | |
1527 frame caller = stub_frame.sender(®_map); | |
1528 | |
1529 // Do nothing if the frame isn't a live compiled frame. | |
1530 // nmethod could be deoptimized by the time we get here | |
1531 // so no update to the caller is needed. | |
1532 | |
1533 if (caller.is_compiled_frame() && !caller.is_deoptimized_frame()) { | |
1534 | |
1535 address pc = caller.pc(); | |
1536 | |
1537 // Default call_addr is the location of the "basic" call. | |
1538 // Determine the address of the call we a reresolving. With | |
1539 // Inline Caches we will always find a recognizable call. | |
1540 // With Inline Caches disabled we may or may not find a | |
1541 // recognizable call. We will always find a call for static | |
1542 // calls and for optimized virtual calls. For vanilla virtual | |
1543 // calls it depends on the state of the UseInlineCaches switch. | |
1544 // | |
1545 // With Inline Caches disabled we can get here for a virtual call | |
1546 // for two reasons: | |
1547 // 1 - calling an abstract method. The vtable for abstract methods | |
1548 // will run us thru handle_wrong_method and we will eventually | |
1549 // end up in the interpreter to throw the ame. | |
1550 // 2 - a racing deoptimization. We could be doing a vanilla vtable | |
1551 // call and between the time we fetch the entry address and | |
1552 // we jump to it the target gets deoptimized. Similar to 1 | |
1553 // we will wind up in the interprter (thru a c2i with c2). | |
1554 // | |
1555 address call_addr = NULL; | |
1556 { | |
1557 // Get call instruction under lock because another thread may be | |
1558 // busy patching it. | |
1559 MutexLockerEx ml_patch(Patching_lock, Mutex::_no_safepoint_check_flag); | |
1560 // Location of call instruction | |
1561 if (NativeCall::is_call_before(pc)) { | |
1562 NativeCall *ncall = nativeCall_before(pc); | |
1563 call_addr = ncall->instruction_address(); | |
1564 } | |
1565 } | |
1566 | |
1567 // Check for static or virtual call | |
1568 bool is_static_call = false; | |
1569 nmethod* caller_nm = CodeCache::find_nmethod(pc); | |
1570 // Make sure nmethod doesn't get deoptimized and removed until | |
1571 // this is done with it. | |
1572 // CLEANUP - with lazy deopt shouldn't need this lock | |
1573 nmethodLocker nmlock(caller_nm); | |
1574 | |
1575 if (call_addr != NULL) { | |
1576 RelocIterator iter(caller_nm, call_addr, call_addr+1); | |
1577 int ret = iter.next(); // Get item | |
1578 if (ret) { | |
1579 assert(iter.addr() == call_addr, "must find call"); | |
1580 if (iter.type() == relocInfo::static_call_type) { | |
1581 is_static_call = true; | |
1582 } else { | |
1583 assert(iter.type() == relocInfo::virtual_call_type || | |
1584 iter.type() == relocInfo::opt_virtual_call_type | |
1585 , "unexpected relocInfo. type"); | |
1586 } | |
1587 } else { | |
1588 assert(!UseInlineCaches, "relocation info. must exist for this address"); | |
1589 } | |
1590 | |
1591 // Cleaning the inline cache will force a new resolve. This is more robust | |
1592 // than directly setting it to the new destination, since resolving of calls | |
1593 // is always done through the same code path. (experience shows that it | |
1594 // leads to very hard to track down bugs, if an inline cache gets updated | |
1595 // to a wrong method). It should not be performance critical, since the | |
1596 // resolve is only done once. | |
1597 | |
1598 MutexLocker ml(CompiledIC_lock); | |
1599 // | |
1600 // We do not patch the call site if the nmethod has been made non-entrant | |
1601 // as it is a waste of time | |
1602 // | |
1603 if (caller_nm->is_in_use()) { | |
1604 if (is_static_call) { | |
1605 CompiledStaticCall* ssc= compiledStaticCall_at(call_addr); | |
1606 ssc->set_to_clean(); | |
1607 } else { | |
1608 // compiled, dispatched call (which used to call an interpreted method) | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1609 CompiledIC* inline_cache = CompiledIC_at(caller_nm, call_addr); |
0 | 1610 inline_cache->set_to_clean(); |
1611 } | |
1612 } | |
1613 } | |
1614 | |
1615 } | |
1616 | |
1617 methodHandle callee_method = find_callee_method(thread, CHECK_(methodHandle())); | |
1618 | |
1619 | |
1620 #ifndef PRODUCT | |
1621 Atomic::inc(&_wrong_method_ctr); | |
1622 | |
1623 if (TraceCallFixup) { | |
1624 ResourceMark rm(thread); | |
1625 tty->print("handle_wrong_method reresolving call to"); | |
1626 callee_method->print_short_name(tty); | |
1627 tty->print_cr(" code: " INTPTR_FORMAT, callee_method->code()); | |
1628 } | |
1629 #endif | |
1630 | |
1631 return callee_method; | |
1632 } | |
1633 | |
6790
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1634 #ifdef ASSERT |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1635 void SharedRuntime::check_member_name_argument_is_last_argument(methodHandle method, |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1636 const BasicType* sig_bt, |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1637 const VMRegPair* regs) { |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1638 ResourceMark rm; |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1639 const int total_args_passed = method->size_of_parameters(); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1640 const VMRegPair* regs_with_member_name = regs; |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1641 VMRegPair* regs_without_member_name = NEW_RESOURCE_ARRAY(VMRegPair, total_args_passed - 1); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1642 |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1643 const int member_arg_pos = total_args_passed - 1; |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1644 assert(member_arg_pos >= 0 && member_arg_pos < total_args_passed, "oob"); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1645 assert(sig_bt[member_arg_pos] == T_OBJECT, "dispatch argument must be an object"); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1646 |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1647 const bool is_outgoing = method->is_method_handle_intrinsic(); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1648 int comp_args_on_stack = java_calling_convention(sig_bt, regs_without_member_name, total_args_passed - 1, is_outgoing); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1649 |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1650 for (int i = 0; i < member_arg_pos; i++) { |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1651 VMReg a = regs_with_member_name[i].first(); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1652 VMReg b = regs_without_member_name[i].first(); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1653 assert(a->value() == b->value(), err_msg_res("register allocation mismatch: a=%d, b=%d", a->value(), b->value())); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1654 } |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1655 assert(regs_with_member_name[member_arg_pos].first()->is_valid(), "bad member arg"); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1656 } |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1657 #endif |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
1658 |
0 | 1659 // --------------------------------------------------------------------------- |
1660 // We are calling the interpreter via a c2i. Normally this would mean that | |
1661 // we were called by a compiled method. However we could have lost a race | |
1662 // where we went int -> i2c -> c2i and so the caller could in fact be | |
1205 | 1663 // interpreted. If the caller is compiled we attempt to patch the caller |
0 | 1664 // so he no longer calls into the interpreter. |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1665 IRT_LEAF(void, SharedRuntime::fixup_callers_callsite(Method* method, address caller_pc)) |
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1666 Method* moop(method); |
0 | 1667 |
1668 address entry_point = moop->from_compiled_entry(); | |
1669 | |
1670 // It's possible that deoptimization can occur at a call site which hasn't | |
1671 // been resolved yet, in which case this function will be called from | |
1672 // an nmethod that has been patched for deopt and we can ignore the | |
1673 // request for a fixup. | |
1674 // Also it is possible that we lost a race in that from_compiled_entry | |
1675 // is now back to the i2c in that case we don't need to patch and if | |
1676 // we did we'd leap into space because the callsite needs to use | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1677 // "to interpreter" stub in order to load up the Method*. Don't |
0 | 1678 // ask me how I know this... |
1679 | |
1680 CodeBlob* cb = CodeCache::find_blob(caller_pc); | |
1205 | 1681 if (!cb->is_nmethod() || entry_point == moop->get_c2i_entry()) { |
1682 return; | |
1683 } | |
1684 | |
1685 // The check above makes sure this is a nmethod. | |
1686 nmethod* nm = cb->as_nmethod_or_null(); | |
1687 assert(nm, "must be"); | |
1688 | |
4044
2ec638646e86
7101642: JSR 292: SIGSEGV in java.lang.invoke.MethodHandleImpl$FieldAccessor.getFieldI(Ljava/lang/Object;)I
twisti
parents:
4007
diff
changeset
|
1689 // Get the return PC for the passed caller PC. |
2ec638646e86
7101642: JSR 292: SIGSEGV in java.lang.invoke.MethodHandleImpl$FieldAccessor.getFieldI(Ljava/lang/Object;)I
twisti
parents:
4007
diff
changeset
|
1690 address return_pc = caller_pc + frame::pc_return_offset; |
2ec638646e86
7101642: JSR 292: SIGSEGV in java.lang.invoke.MethodHandleImpl$FieldAccessor.getFieldI(Ljava/lang/Object;)I
twisti
parents:
4007
diff
changeset
|
1691 |
0 | 1692 // There is a benign race here. We could be attempting to patch to a compiled |
1693 // entry point at the same time the callee is being deoptimized. If that is | |
1694 // the case then entry_point may in fact point to a c2i and we'd patch the | |
1695 // call site with the same old data. clear_code will set code() to NULL | |
1696 // at the end of it. If we happen to see that NULL then we can skip trying | |
1697 // to patch. If we hit the window where the callee has a c2i in the | |
1698 // from_compiled_entry and the NULL isn't present yet then we lose the race | |
1699 // and patch the code with the same old data. Asi es la vida. | |
1700 | |
1701 if (moop->code() == NULL) return; | |
1702 | |
1205 | 1703 if (nm->is_in_use()) { |
0 | 1704 |
1705 // Expect to find a native call there (unless it was no-inline cache vtable dispatch) | |
1706 MutexLockerEx ml_patch(Patching_lock, Mutex::_no_safepoint_check_flag); | |
4044
2ec638646e86
7101642: JSR 292: SIGSEGV in java.lang.invoke.MethodHandleImpl$FieldAccessor.getFieldI(Ljava/lang/Object;)I
twisti
parents:
4007
diff
changeset
|
1707 if (NativeCall::is_call_before(return_pc)) { |
2ec638646e86
7101642: JSR 292: SIGSEGV in java.lang.invoke.MethodHandleImpl$FieldAccessor.getFieldI(Ljava/lang/Object;)I
twisti
parents:
4007
diff
changeset
|
1708 NativeCall *call = nativeCall_before(return_pc); |
0 | 1709 // |
1710 // bug 6281185. We might get here after resolving a call site to a vanilla | |
1711 // virtual call. Because the resolvee uses the verified entry it may then | |
1712 // see compiled code and attempt to patch the site by calling us. This would | |
1713 // then incorrectly convert the call site to optimized and its downhill from | |
1714 // there. If you're lucky you'll get the assert in the bugid, if not you've | |
1715 // just made a call site that could be megamorphic into a monomorphic site | |
1716 // for the rest of its life! Just another racing bug in the life of | |
1717 // fixup_callers_callsite ... | |
1718 // | |
1563
1a5913bf5e19
6951083: oops and relocations should part of nmethod not CodeBlob
twisti
parents:
1507
diff
changeset
|
1719 RelocIterator iter(nm, call->instruction_address(), call->next_instruction_address()); |
0 | 1720 iter.next(); |
1721 assert(iter.has_current(), "must have a reloc at java call site"); | |
1722 relocInfo::relocType typ = iter.reloc()->type(); | |
1723 if ( typ != relocInfo::static_call_type && | |
1724 typ != relocInfo::opt_virtual_call_type && | |
1725 typ != relocInfo::static_stub_type) { | |
1726 return; | |
1727 } | |
1728 address destination = call->destination(); | |
1729 if (destination != entry_point) { | |
1730 CodeBlob* callee = CodeCache::find_blob(destination); | |
1731 // callee == cb seems weird. It means calling interpreter thru stub. | |
1732 if (callee == cb || callee->is_adapter_blob()) { | |
1733 // static call or optimized virtual | |
1734 if (TraceCallFixup) { | |
1204 | 1735 tty->print("fixup callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); |
0 | 1736 moop->print_short_name(tty); |
1737 tty->print_cr(" to " INTPTR_FORMAT, entry_point); | |
1738 } | |
1739 call->set_destination_mt_safe(entry_point); | |
1740 } else { | |
1741 if (TraceCallFixup) { | |
1742 tty->print("failed to fixup callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); | |
1743 moop->print_short_name(tty); | |
1744 tty->print_cr(" to " INTPTR_FORMAT, entry_point); | |
1745 } | |
1746 // assert is too strong could also be resolve destinations. | |
1747 // assert(InlineCacheBuffer::contains(destination) || VtableStubs::contains(destination), "must be"); | |
1748 } | |
1749 } else { | |
1750 if (TraceCallFixup) { | |
1204 | 1751 tty->print("already patched callsite at " INTPTR_FORMAT " to compiled code for", caller_pc); |
0 | 1752 moop->print_short_name(tty); |
1753 tty->print_cr(" to " INTPTR_FORMAT, entry_point); | |
1754 } | |
1755 } | |
1756 } | |
1757 } | |
1758 IRT_END | |
1759 | |
1760 | |
1761 // same as JVM_Arraycopy, but called directly from compiled code | |
1762 JRT_ENTRY(void, SharedRuntime::slow_arraycopy_C(oopDesc* src, jint src_pos, | |
1763 oopDesc* dest, jint dest_pos, | |
1764 jint length, | |
1765 JavaThread* thread)) { | |
1766 #ifndef PRODUCT | |
1767 _slow_array_copy_ctr++; | |
1768 #endif | |
1769 // Check if we have null pointers | |
1770 if (src == NULL || dest == NULL) { | |
1771 THROW(vmSymbols::java_lang_NullPointerException()); | |
1772 } | |
1773 // Do the copy. The casts to arrayOop are necessary to the copy_array API, | |
1774 // even though the copy_array API also performs dynamic checks to ensure | |
1775 // that src and dest are truly arrays (and are conformable). | |
1776 // The copy_array mechanism is awkward and could be removed, but | |
1777 // the compilers don't call this function except as a last resort, | |
1778 // so it probably doesn't matter. | |
6983 | 1779 src->klass()->copy_array((arrayOopDesc*)src, src_pos, |
0 | 1780 (arrayOopDesc*)dest, dest_pos, |
1781 length, thread); | |
1782 } | |
1783 JRT_END | |
1784 | |
1785 char* SharedRuntime::generate_class_cast_message( | |
1786 JavaThread* thread, const char* objName) { | |
1787 | |
1788 // Get target class name from the checkcast instruction | |
1789 vframeStream vfst(thread, true); | |
1790 assert(!vfst.at_end(), "Java frame must exist"); | |
2142 | 1791 Bytecode_checkcast cc(vfst.method(), vfst.method()->bcp_from(vfst.bci())); |
6983 | 1792 Klass* targetKlass = vfst.method()->constants()->klass_at( |
1793 cc.index(), thread); | |
0 | 1794 return generate_class_cast_message(objName, targetKlass->external_name()); |
1795 } | |
1796 | |
1797 char* SharedRuntime::generate_class_cast_message( | |
710 | 1798 const char* objName, const char* targetKlassName, const char* desc) { |
0 | 1799 size_t msglen = strlen(objName) + strlen(desc) + strlen(targetKlassName) + 1; |
1800 | |
53 | 1801 char* message = NEW_RESOURCE_ARRAY(char, msglen); |
0 | 1802 if (NULL == message) { |
53 | 1803 // Shouldn't happen, but don't cause even more problems if it does |
0 | 1804 message = const_cast<char*>(objName); |
1805 } else { | |
1806 jio_snprintf(message, msglen, "%s%s%s", objName, desc, targetKlassName); | |
1807 } | |
1808 return message; | |
1809 } | |
1810 | |
1811 JRT_LEAF(void, SharedRuntime::reguard_yellow_pages()) | |
1812 (void) JavaThread::current()->reguard_stack(); | |
1813 JRT_END | |
1814 | |
1815 | |
1816 // Handles the uncommon case in locking, i.e., contention or an inflated lock. | |
1817 #ifndef PRODUCT | |
1818 int SharedRuntime::_monitor_enter_ctr=0; | |
1819 #endif | |
1820 JRT_ENTRY_NO_ASYNC(void, SharedRuntime::complete_monitor_locking_C(oopDesc* _obj, BasicLock* lock, JavaThread* thread)) | |
1821 oop obj(_obj); | |
1822 #ifndef PRODUCT | |
1823 _monitor_enter_ctr++; // monitor enter slow | |
1824 #endif | |
1825 if (PrintBiasedLockingStatistics) { | |
1826 Atomic::inc(BiasedLocking::slow_path_entry_count_addr()); | |
1827 } | |
1828 Handle h_obj(THREAD, obj); | |
1829 if (UseBiasedLocking) { | |
1830 // Retry fast entry if bias is revoked to avoid unnecessary inflation | |
1831 ObjectSynchronizer::fast_enter(h_obj, lock, true, CHECK); | |
1832 } else { | |
1833 ObjectSynchronizer::slow_enter(h_obj, lock, CHECK); | |
1834 } | |
1835 assert(!HAS_PENDING_EXCEPTION, "Should have no exception here"); | |
1836 JRT_END | |
1837 | |
1838 #ifndef PRODUCT | |
1839 int SharedRuntime::_monitor_exit_ctr=0; | |
1840 #endif | |
1841 // Handles the uncommon cases of monitor unlocking in compiled code | |
1842 JRT_LEAF(void, SharedRuntime::complete_monitor_unlocking_C(oopDesc* _obj, BasicLock* lock)) | |
1843 oop obj(_obj); | |
1844 #ifndef PRODUCT | |
1845 _monitor_exit_ctr++; // monitor exit slow | |
1846 #endif | |
1847 Thread* THREAD = JavaThread::current(); | |
1848 // I'm not convinced we need the code contained by MIGHT_HAVE_PENDING anymore | |
1849 // testing was unable to ever fire the assert that guarded it so I have removed it. | |
1850 assert(!HAS_PENDING_EXCEPTION, "Do we need code below anymore?"); | |
1851 #undef MIGHT_HAVE_PENDING | |
1852 #ifdef MIGHT_HAVE_PENDING | |
1853 // Save and restore any pending_exception around the exception mark. | |
1854 // While the slow_exit must not throw an exception, we could come into | |
1855 // this routine with one set. | |
1856 oop pending_excep = NULL; | |
1857 const char* pending_file; | |
1858 int pending_line; | |
1859 if (HAS_PENDING_EXCEPTION) { | |
1860 pending_excep = PENDING_EXCEPTION; | |
1861 pending_file = THREAD->exception_file(); | |
1862 pending_line = THREAD->exception_line(); | |
1863 CLEAR_PENDING_EXCEPTION; | |
1864 } | |
1865 #endif /* MIGHT_HAVE_PENDING */ | |
1866 | |
1867 { | |
1868 // Exit must be non-blocking, and therefore no exceptions can be thrown. | |
1869 EXCEPTION_MARK; | |
1870 ObjectSynchronizer::slow_exit(obj, lock, THREAD); | |
1871 } | |
1872 | |
1873 #ifdef MIGHT_HAVE_PENDING | |
1874 if (pending_excep != NULL) { | |
1875 THREAD->set_pending_exception(pending_excep, pending_file, pending_line); | |
1876 } | |
1877 #endif /* MIGHT_HAVE_PENDING */ | |
1878 JRT_END | |
1879 | |
1880 #ifndef PRODUCT | |
1881 | |
1882 void SharedRuntime::print_statistics() { | |
1883 ttyLocker ttyl; | |
1884 if (xtty != NULL) xtty->head("statistics type='SharedRuntime'"); | |
1885 | |
1886 if (_monitor_enter_ctr ) tty->print_cr("%5d monitor enter slow", _monitor_enter_ctr); | |
1887 if (_monitor_exit_ctr ) tty->print_cr("%5d monitor exit slow", _monitor_exit_ctr); | |
1888 if (_throw_null_ctr) tty->print_cr("%5d implicit null throw", _throw_null_ctr); | |
1889 | |
1890 SharedRuntime::print_ic_miss_histogram(); | |
1891 | |
1892 if (CountRemovableExceptions) { | |
1893 if (_nof_removable_exceptions > 0) { | |
1894 Unimplemented(); // this counter is not yet incremented | |
1895 tty->print_cr("Removable exceptions: %d", _nof_removable_exceptions); | |
1896 } | |
1897 } | |
1898 | |
1899 // Dump the JRT_ENTRY counters | |
1900 if( _new_instance_ctr ) tty->print_cr("%5d new instance requires GC", _new_instance_ctr); | |
1901 if( _new_array_ctr ) tty->print_cr("%5d new array requires GC", _new_array_ctr); | |
1902 if( _multi1_ctr ) tty->print_cr("%5d multianewarray 1 dim", _multi1_ctr); | |
1903 if( _multi2_ctr ) tty->print_cr("%5d multianewarray 2 dim", _multi2_ctr); | |
1904 if( _multi3_ctr ) tty->print_cr("%5d multianewarray 3 dim", _multi3_ctr); | |
1905 if( _multi4_ctr ) tty->print_cr("%5d multianewarray 4 dim", _multi4_ctr); | |
1906 if( _multi5_ctr ) tty->print_cr("%5d multianewarray 5 dim", _multi5_ctr); | |
1907 | |
1908 tty->print_cr("%5d inline cache miss in compiled", _ic_miss_ctr ); | |
1909 tty->print_cr("%5d wrong method", _wrong_method_ctr ); | |
1910 tty->print_cr("%5d unresolved static call site", _resolve_static_ctr ); | |
1911 tty->print_cr("%5d unresolved virtual call site", _resolve_virtual_ctr ); | |
1912 tty->print_cr("%5d unresolved opt virtual call site", _resolve_opt_virtual_ctr ); | |
1913 | |
1914 if( _mon_enter_stub_ctr ) tty->print_cr("%5d monitor enter stub", _mon_enter_stub_ctr ); | |
1915 if( _mon_exit_stub_ctr ) tty->print_cr("%5d monitor exit stub", _mon_exit_stub_ctr ); | |
1916 if( _mon_enter_ctr ) tty->print_cr("%5d monitor enter slow", _mon_enter_ctr ); | |
1917 if( _mon_exit_ctr ) tty->print_cr("%5d monitor exit slow", _mon_exit_ctr ); | |
1918 if( _partial_subtype_ctr) tty->print_cr("%5d slow partial subtype", _partial_subtype_ctr ); | |
1919 if( _jbyte_array_copy_ctr ) tty->print_cr("%5d byte array copies", _jbyte_array_copy_ctr ); | |
1920 if( _jshort_array_copy_ctr ) tty->print_cr("%5d short array copies", _jshort_array_copy_ctr ); | |
1921 if( _jint_array_copy_ctr ) tty->print_cr("%5d int array copies", _jint_array_copy_ctr ); | |
1922 if( _jlong_array_copy_ctr ) tty->print_cr("%5d long array copies", _jlong_array_copy_ctr ); | |
1923 if( _oop_array_copy_ctr ) tty->print_cr("%5d oop array copies", _oop_array_copy_ctr ); | |
1924 if( _checkcast_array_copy_ctr ) tty->print_cr("%5d checkcast array copies", _checkcast_array_copy_ctr ); | |
1925 if( _unsafe_array_copy_ctr ) tty->print_cr("%5d unsafe array copies", _unsafe_array_copy_ctr ); | |
1926 if( _generic_array_copy_ctr ) tty->print_cr("%5d generic array copies", _generic_array_copy_ctr ); | |
1927 if( _slow_array_copy_ctr ) tty->print_cr("%5d slow array copies", _slow_array_copy_ctr ); | |
1928 if( _find_handler_ctr ) tty->print_cr("%5d find exception handler", _find_handler_ctr ); | |
1929 if( _rethrow_ctr ) tty->print_cr("%5d rethrow handler", _rethrow_ctr ); | |
1930 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
1931 AdapterHandlerLibrary::print_statistics(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
1932 |
0 | 1933 if (xtty != NULL) xtty->tail("statistics"); |
1934 } | |
1935 | |
1936 inline double percent(int x, int y) { | |
1937 return 100.0 * x / MAX2(y, 1); | |
1938 } | |
1939 | |
1940 class MethodArityHistogram { | |
1941 public: | |
1942 enum { MAX_ARITY = 256 }; | |
1943 private: | |
1944 static int _arity_histogram[MAX_ARITY]; // histogram of #args | |
1945 static int _size_histogram[MAX_ARITY]; // histogram of arg size in words | |
1946 static int _max_arity; // max. arity seen | |
1947 static int _max_size; // max. arg size seen | |
1948 | |
1949 static void add_method_to_histogram(nmethod* nm) { | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
1950 Method* m = nm->method(); |
0 | 1951 ArgumentCount args(m->signature()); |
1952 int arity = args.size() + (m->is_static() ? 0 : 1); | |
1953 int argsize = m->size_of_parameters(); | |
1954 arity = MIN2(arity, MAX_ARITY-1); | |
1955 argsize = MIN2(argsize, MAX_ARITY-1); | |
1956 int count = nm->method()->compiled_invocation_count(); | |
1957 _arity_histogram[arity] += count; | |
1958 _size_histogram[argsize] += count; | |
1959 _max_arity = MAX2(_max_arity, arity); | |
1960 _max_size = MAX2(_max_size, argsize); | |
1961 } | |
1962 | |
1963 void print_histogram_helper(int n, int* histo, const char* name) { | |
1964 const int N = MIN2(5, n); | |
1965 tty->print_cr("\nHistogram of call arity (incl. rcvr, calls to compiled methods only):"); | |
1966 double sum = 0; | |
1967 double weighted_sum = 0; | |
1968 int i; | |
1969 for (i = 0; i <= n; i++) { sum += histo[i]; weighted_sum += i*histo[i]; } | |
1970 double rest = sum; | |
1971 double percent = sum / 100; | |
1972 for (i = 0; i <= N; i++) { | |
1973 rest -= histo[i]; | |
1974 tty->print_cr("%4d: %7d (%5.1f%%)", i, histo[i], histo[i] / percent); | |
1975 } | |
1976 tty->print_cr("rest: %7d (%5.1f%%))", (int)rest, rest / percent); | |
1977 tty->print_cr("(avg. %s = %3.1f, max = %d)", name, weighted_sum / sum, n); | |
1978 } | |
1979 | |
1980 void print_histogram() { | |
1981 tty->print_cr("\nHistogram of call arity (incl. rcvr, calls to compiled methods only):"); | |
1982 print_histogram_helper(_max_arity, _arity_histogram, "arity"); | |
1983 tty->print_cr("\nSame for parameter size (in words):"); | |
1984 print_histogram_helper(_max_size, _size_histogram, "size"); | |
1985 tty->cr(); | |
1986 } | |
1987 | |
1988 public: | |
1989 MethodArityHistogram() { | |
1990 MutexLockerEx mu(CodeCache_lock, Mutex::_no_safepoint_check_flag); | |
1991 _max_arity = _max_size = 0; | |
1992 for (int i = 0; i < MAX_ARITY; i++) _arity_histogram[i] = _size_histogram [i] = 0; | |
1993 CodeCache::nmethods_do(add_method_to_histogram); | |
1994 print_histogram(); | |
1995 } | |
1996 }; | |
1997 | |
1998 int MethodArityHistogram::_arity_histogram[MethodArityHistogram::MAX_ARITY]; | |
1999 int MethodArityHistogram::_size_histogram[MethodArityHistogram::MAX_ARITY]; | |
2000 int MethodArityHistogram::_max_arity; | |
2001 int MethodArityHistogram::_max_size; | |
2002 | |
2003 void SharedRuntime::print_call_statistics(int comp_total) { | |
2004 tty->print_cr("Calls from compiled code:"); | |
2005 int total = _nof_normal_calls + _nof_interface_calls + _nof_static_calls; | |
2006 int mono_c = _nof_normal_calls - _nof_optimized_calls - _nof_megamorphic_calls; | |
2007 int mono_i = _nof_interface_calls - _nof_optimized_interface_calls - _nof_megamorphic_interface_calls; | |
2008 tty->print_cr("\t%9d (%4.1f%%) total non-inlined ", total, percent(total, total)); | |
2009 tty->print_cr("\t%9d (%4.1f%%) virtual calls ", _nof_normal_calls, percent(_nof_normal_calls, total)); | |
2010 tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_calls, percent(_nof_inlined_calls, _nof_normal_calls)); | |
2011 tty->print_cr("\t %9d (%3.0f%%) optimized ", _nof_optimized_calls, percent(_nof_optimized_calls, _nof_normal_calls)); | |
2012 tty->print_cr("\t %9d (%3.0f%%) monomorphic ", mono_c, percent(mono_c, _nof_normal_calls)); | |
2013 tty->print_cr("\t %9d (%3.0f%%) megamorphic ", _nof_megamorphic_calls, percent(_nof_megamorphic_calls, _nof_normal_calls)); | |
2014 tty->print_cr("\t%9d (%4.1f%%) interface calls ", _nof_interface_calls, percent(_nof_interface_calls, total)); | |
2015 tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_interface_calls, percent(_nof_inlined_interface_calls, _nof_interface_calls)); | |
2016 tty->print_cr("\t %9d (%3.0f%%) optimized ", _nof_optimized_interface_calls, percent(_nof_optimized_interface_calls, _nof_interface_calls)); | |
2017 tty->print_cr("\t %9d (%3.0f%%) monomorphic ", mono_i, percent(mono_i, _nof_interface_calls)); | |
2018 tty->print_cr("\t %9d (%3.0f%%) megamorphic ", _nof_megamorphic_interface_calls, percent(_nof_megamorphic_interface_calls, _nof_interface_calls)); | |
2019 tty->print_cr("\t%9d (%4.1f%%) static/special calls", _nof_static_calls, percent(_nof_static_calls, total)); | |
2020 tty->print_cr("\t %9d (%3.0f%%) inlined ", _nof_inlined_static_calls, percent(_nof_inlined_static_calls, _nof_static_calls)); | |
2021 tty->cr(); | |
2022 tty->print_cr("Note 1: counter updates are not MT-safe."); | |
2023 tty->print_cr("Note 2: %% in major categories are relative to total non-inlined calls;"); | |
2024 tty->print_cr(" %% in nested categories are relative to their category"); | |
2025 tty->print_cr(" (and thus add up to more than 100%% with inlining)"); | |
2026 tty->cr(); | |
2027 | |
2028 MethodArityHistogram h; | |
2029 } | |
2030 #endif | |
2031 | |
2032 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2033 // A simple wrapper class around the calling convention information |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2034 // that allows sharing of adapters for the same calling convention. |
6197 | 2035 class AdapterFingerPrint : public CHeapObj<mtCode> { |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2036 private: |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2037 enum { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2038 _basic_type_bits = 4, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2039 _basic_type_mask = right_n_bits(_basic_type_bits), |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2040 _basic_types_per_int = BitsPerInt / _basic_type_bits, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2041 _compact_int_count = 3 |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2042 }; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2043 // TO DO: Consider integrating this with a more global scheme for compressing signatures. |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2044 // For now, 4 bits per components (plus T_VOID gaps after double/long) is not excessive. |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2045 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2046 union { |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2047 int _compact[_compact_int_count]; |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2048 int* _fingerprint; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2049 } _value; |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2050 int _length; // A negative length indicates the fingerprint is in the compact form, |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2051 // Otherwise _value._fingerprint is the array. |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2052 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2053 // Remap BasicTypes that are handled equivalently by the adapters. |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2054 // These are correct for the current system but someday it might be |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2055 // necessary to make this mapping platform dependent. |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2056 static int adapter_encoding(BasicType in) { |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2057 switch(in) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2058 case T_BOOLEAN: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2059 case T_BYTE: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2060 case T_SHORT: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2061 case T_CHAR: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2062 // There are all promoted to T_INT in the calling convention |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2063 return T_INT; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2064 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2065 case T_OBJECT: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2066 case T_ARRAY: |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2067 // In other words, we assume that any register good enough for |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2068 // an int or long is good enough for a managed pointer. |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2069 #ifdef _LP64 |
1506 | 2070 return T_LONG; |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2071 #else |
1506 | 2072 return T_INT; |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2073 #endif |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2074 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2075 case T_INT: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2076 case T_LONG: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2077 case T_FLOAT: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2078 case T_DOUBLE: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2079 case T_VOID: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2080 return in; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2081 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2082 default: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2083 ShouldNotReachHere(); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2084 return T_CONFLICT; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2085 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2086 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2087 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2088 public: |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2089 AdapterFingerPrint(int total_args_passed, BasicType* sig_bt) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2090 // The fingerprint is based on the BasicType signature encoded |
3841
0f34fdee809e
7071427: AdapterFingerPrint can hold 8 entries per int
never
parents:
3781
diff
changeset
|
2091 // into an array of ints with eight entries per int. |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2092 int* ptr; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2093 int len = (total_args_passed + (_basic_types_per_int-1)) / _basic_types_per_int; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2094 if (len <= _compact_int_count) { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2095 assert(_compact_int_count == 3, "else change next line"); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2096 _value._compact[0] = _value._compact[1] = _value._compact[2] = 0; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2097 // Storing the signature encoded as signed chars hits about 98% |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2098 // of the time. |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2099 _length = -len; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2100 ptr = _value._compact; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2101 } else { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2102 _length = len; |
6197 | 2103 _value._fingerprint = NEW_C_HEAP_ARRAY(int, _length, mtCode); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2104 ptr = _value._fingerprint; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2105 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2106 |
3841
0f34fdee809e
7071427: AdapterFingerPrint can hold 8 entries per int
never
parents:
3781
diff
changeset
|
2107 // Now pack the BasicTypes with 8 per int |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2108 int sig_index = 0; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2109 for (int index = 0; index < len; index++) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2110 int value = 0; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2111 for (int byte = 0; byte < _basic_types_per_int; byte++) { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2112 int bt = ((sig_index < total_args_passed) |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2113 ? adapter_encoding(sig_bt[sig_index++]) |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2114 : 0); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2115 assert((bt & _basic_type_mask) == bt, "must fit in 4 bits"); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2116 value = (value << _basic_type_bits) | bt; |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2117 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2118 ptr[index] = value; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2119 } |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2120 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2121 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2122 ~AdapterFingerPrint() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2123 if (_length > 0) { |
6197 | 2124 FREE_C_HEAP_ARRAY(int, _value._fingerprint, mtCode); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2125 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2126 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2127 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2128 int value(int index) { |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2129 if (_length < 0) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2130 return _value._compact[index]; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2131 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2132 return _value._fingerprint[index]; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2133 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2134 int length() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2135 if (_length < 0) return -_length; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2136 return _length; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2137 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2138 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2139 bool is_compact() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2140 return _length <= 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2141 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2142 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2143 unsigned int compute_hash() { |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2144 int hash = 0; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2145 for (int i = 0; i < length(); i++) { |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2146 int v = value(i); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2147 hash = (hash << 8) ^ v ^ (hash >> 5); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2148 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2149 return (unsigned int)hash; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2150 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2151 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2152 const char* as_string() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2153 stringStream st; |
3841
0f34fdee809e
7071427: AdapterFingerPrint can hold 8 entries per int
never
parents:
3781
diff
changeset
|
2154 st.print("0x"); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2155 for (int i = 0; i < length(); i++) { |
3841
0f34fdee809e
7071427: AdapterFingerPrint can hold 8 entries per int
never
parents:
3781
diff
changeset
|
2156 st.print("%08x", value(i)); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2157 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2158 return st.as_string(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2159 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2160 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2161 bool equals(AdapterFingerPrint* other) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2162 if (other->_length != _length) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2163 return false; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2164 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2165 if (_length < 0) { |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2166 assert(_compact_int_count == 3, "else change next line"); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2167 return _value._compact[0] == other->_value._compact[0] && |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2168 _value._compact[1] == other->_value._compact[1] && |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2169 _value._compact[2] == other->_value._compact[2]; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2170 } else { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2171 for (int i = 0; i < _length; i++) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2172 if (_value._fingerprint[i] != other->_value._fingerprint[i]) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2173 return false; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2174 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2175 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2176 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2177 return true; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2178 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2179 }; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2180 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2181 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2182 // A hashtable mapping from AdapterFingerPrints to AdapterHandlerEntries |
6197 | 2183 class AdapterHandlerTable : public BasicHashtable<mtCode> { |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2184 friend class AdapterHandlerTableIterator; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2185 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2186 private: |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2187 |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2188 #ifndef PRODUCT |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2189 static int _lookups; // number of calls to lookup |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2190 static int _buckets; // number of buckets checked |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2191 static int _equals; // number of buckets checked with matching hash |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2192 static int _hits; // number of successful lookups |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2193 static int _compact; // number of equals calls with compact signature |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2194 #endif |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2195 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2196 AdapterHandlerEntry* bucket(int i) { |
6197 | 2197 return (AdapterHandlerEntry*)BasicHashtable<mtCode>::bucket(i); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2198 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2199 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2200 public: |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2201 AdapterHandlerTable() |
6197 | 2202 : BasicHashtable<mtCode>(293, sizeof(AdapterHandlerEntry)) { } |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2203 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2204 // Create a new entry suitable for insertion in the table |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2205 AdapterHandlerEntry* new_entry(AdapterFingerPrint* fingerprint, address i2c_entry, address c2i_entry, address c2i_unverified_entry) { |
6197 | 2206 AdapterHandlerEntry* entry = (AdapterHandlerEntry*)BasicHashtable<mtCode>::new_entry(fingerprint->compute_hash()); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2207 entry->init(fingerprint, i2c_entry, c2i_entry, c2i_unverified_entry); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2208 return entry; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2209 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2210 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2211 // Insert an entry into the table |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2212 void add(AdapterHandlerEntry* entry) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2213 int index = hash_to_index(entry->hash()); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2214 add_entry(index, entry); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2215 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2216 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2217 void free_entry(AdapterHandlerEntry* entry) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2218 entry->deallocate(); |
6197 | 2219 BasicHashtable<mtCode>::free_entry(entry); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2220 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2221 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2222 // Find a entry with the same fingerprint if it exists |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2223 AdapterHandlerEntry* lookup(int total_args_passed, BasicType* sig_bt) { |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2224 NOT_PRODUCT(_lookups++); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2225 AdapterFingerPrint fp(total_args_passed, sig_bt); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2226 unsigned int hash = fp.compute_hash(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2227 int index = hash_to_index(hash); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2228 for (AdapterHandlerEntry* e = bucket(index); e != NULL; e = e->next()) { |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2229 NOT_PRODUCT(_buckets++); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2230 if (e->hash() == hash) { |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2231 NOT_PRODUCT(_equals++); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2232 if (fp.equals(e->fingerprint())) { |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2233 #ifndef PRODUCT |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2234 if (fp.is_compact()) _compact++; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2235 _hits++; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2236 #endif |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2237 return e; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2238 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2239 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2240 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2241 return NULL; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2242 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2243 |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2244 #ifndef PRODUCT |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2245 void print_statistics() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2246 ResourceMark rm; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2247 int longest = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2248 int empty = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2249 int total = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2250 int nonempty = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2251 for (int index = 0; index < table_size(); index++) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2252 int count = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2253 for (AdapterHandlerEntry* e = bucket(index); e != NULL; e = e->next()) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2254 count++; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2255 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2256 if (count != 0) nonempty++; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2257 if (count == 0) empty++; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2258 if (count > longest) longest = count; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2259 total += count; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2260 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2261 tty->print_cr("AdapterHandlerTable: empty %d longest %d total %d average %f", |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2262 empty, longest, total, total / (double)nonempty); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2263 tty->print_cr("AdapterHandlerTable: lookups %d buckets %d equals %d hits %d compact %d", |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2264 _lookups, _buckets, _equals, _hits, _compact); |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2265 } |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2266 #endif |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2267 }; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2268 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2269 |
1263
e7b1cc79bd25
6926697: "optimized" VM build failed: The type "AdapterHandlerTableIterator" is incomplete
kvn
parents:
1257
diff
changeset
|
2270 #ifndef PRODUCT |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2271 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2272 int AdapterHandlerTable::_lookups; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2273 int AdapterHandlerTable::_buckets; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2274 int AdapterHandlerTable::_equals; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2275 int AdapterHandlerTable::_hits; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2276 int AdapterHandlerTable::_compact; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2277 |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2278 #endif |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2279 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2280 class AdapterHandlerTableIterator : public StackObj { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2281 private: |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2282 AdapterHandlerTable* _table; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2283 int _index; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2284 AdapterHandlerEntry* _current; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2285 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2286 void scan() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2287 while (_index < _table->table_size()) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2288 AdapterHandlerEntry* a = _table->bucket(_index); |
1564 | 2289 _index++; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2290 if (a != NULL) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2291 _current = a; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2292 return; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2293 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2294 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2295 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2296 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2297 public: |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2298 AdapterHandlerTableIterator(AdapterHandlerTable* table): _table(table), _index(0), _current(NULL) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2299 scan(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2300 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2301 bool has_next() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2302 return _current != NULL; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2303 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2304 AdapterHandlerEntry* next() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2305 if (_current != NULL) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2306 AdapterHandlerEntry* result = _current; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2307 _current = _current->next(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2308 if (_current == NULL) scan(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2309 return result; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2310 } else { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2311 return NULL; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2312 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2313 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2314 }; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2315 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2316 |
0 | 2317 // --------------------------------------------------------------------------- |
2318 // Implementation of AdapterHandlerLibrary | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2319 AdapterHandlerTable* AdapterHandlerLibrary::_adapters = NULL; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2320 AdapterHandlerEntry* AdapterHandlerLibrary::_abstract_method_handler = NULL; |
0 | 2321 const int AdapterHandlerLibrary_size = 16*K; |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2322 BufferBlob* AdapterHandlerLibrary::_buffer = NULL; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2323 |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2324 BufferBlob* AdapterHandlerLibrary::buffer_blob() { |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2325 // Should be called only when AdapterHandlerLibrary_lock is active. |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2326 if (_buffer == NULL) // Initialize lazily |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2327 _buffer = BufferBlob::create("adapters", AdapterHandlerLibrary_size); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2328 return _buffer; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2329 } |
0 | 2330 |
2331 void AdapterHandlerLibrary::initialize() { | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2332 if (_adapters != NULL) return; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2333 _adapters = new AdapterHandlerTable(); |
0 | 2334 |
2335 // Create a special handler for abstract methods. Abstract methods | |
2336 // are never compiled so an i2c entry is somewhat meaningless, but | |
2337 // fill it in with something appropriate just in case. Pass handle | |
2338 // wrong method for the c2i transitions. | |
2339 address wrong_method = SharedRuntime::get_handle_wrong_method_stub(); | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2340 _abstract_method_handler = AdapterHandlerLibrary::new_entry(new AdapterFingerPrint(0, NULL), |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2341 StubRoutines::throw_AbstractMethodError_entry(), |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2342 wrong_method, wrong_method); |
0 | 2343 } |
2344 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2345 AdapterHandlerEntry* AdapterHandlerLibrary::new_entry(AdapterFingerPrint* fingerprint, |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2346 address i2c_entry, |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2347 address c2i_entry, |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2348 address c2i_unverified_entry) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2349 return _adapters->new_entry(fingerprint, i2c_entry, c2i_entry, c2i_unverified_entry); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2350 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2351 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2352 AdapterHandlerEntry* AdapterHandlerLibrary::get_adapter(methodHandle method) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2353 // Use customized signature handler. Need to lock around updates to |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2354 // the AdapterHandlerTable (it is not safe for concurrent readers |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2355 // and a single writer: this could be fixed if it becomes a |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2356 // problem). |
0 | 2357 |
2358 // Get the address of the ic_miss handlers before we grab the | |
2359 // AdapterHandlerLibrary_lock. This fixes bug 6236259 which | |
2360 // was caused by the initialization of the stubs happening | |
2361 // while we held the lock and then notifying jvmti while | |
2362 // holding it. This just forces the initialization to be a little | |
2363 // earlier. | |
2364 address ic_miss = SharedRuntime::get_ic_miss_stub(); | |
2365 assert(ic_miss != NULL, "must have handler"); | |
2366 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2367 ResourceMark rm; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2368 |
1748 | 2369 NOT_PRODUCT(int insts_size); |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1295
diff
changeset
|
2370 AdapterBlob* B = NULL; |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2371 AdapterHandlerEntry* entry = NULL; |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2372 AdapterFingerPrint* fingerprint = NULL; |
0 | 2373 { |
2374 MutexLocker mu(AdapterHandlerLibrary_lock); | |
2375 // make sure data structure is initialized | |
2376 initialize(); | |
2377 | |
2378 if (method->is_abstract()) { | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2379 return _abstract_method_handler; |
0 | 2380 } |
2381 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2382 // Fill in the signature array, for the calling-convention call. |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2383 int total_args_passed = method->size_of_parameters(); // All args on stack |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2384 |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2385 BasicType* sig_bt = NEW_RESOURCE_ARRAY(BasicType, total_args_passed); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2386 VMRegPair* regs = NEW_RESOURCE_ARRAY(VMRegPair, total_args_passed); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2387 int i = 0; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2388 if (!method->is_static()) // Pass in receiver first |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2389 sig_bt[i++] = T_OBJECT; |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2390 for (SignatureStream ss(method->signature()); !ss.at_return_type(); ss.next()) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2391 sig_bt[i++] = ss.type(); // Collect remaining bits of signature |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2392 if (ss.type() == T_LONG || ss.type() == T_DOUBLE) |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2393 sig_bt[i++] = T_VOID; // Longs & doubles take 2 Java slots |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2394 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2395 assert(i == total_args_passed, ""); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2396 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2397 // Lookup method signature's fingerprint |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2398 entry = _adapters->lookup(total_args_passed, sig_bt); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2399 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2400 #ifdef ASSERT |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2401 AdapterHandlerEntry* shared_entry = NULL; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2402 if (VerifyAdapterSharing && entry != NULL) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2403 shared_entry = entry; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2404 entry = NULL; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2405 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2406 #endif |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2407 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2408 if (entry != NULL) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2409 return entry; |
0 | 2410 } |
2411 | |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2412 // Get a description of the compiled java calling convention and the largest used (VMReg) stack slot usage |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2413 int comp_args_on_stack = SharedRuntime::java_calling_convention(sig_bt, regs, total_args_passed, false); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2414 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2415 // Make a C heap allocated version of the fingerprint to store in the adapter |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2416 fingerprint = new AdapterFingerPrint(total_args_passed, sig_bt); |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2417 |
0 | 2418 // Create I2C & C2I handlers |
2419 | |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1295
diff
changeset
|
2420 BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2421 if (buf != NULL) { |
1748 | 2422 CodeBuffer buffer(buf); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2423 short buffer_locs[20]; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2424 buffer.insts()->initialize_shared_locs((relocInfo*)buffer_locs, |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2425 sizeof(buffer_locs)/sizeof(relocInfo)); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2426 MacroAssembler _masm(&buffer); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2427 |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2428 entry = SharedRuntime::generate_i2c2i_adapters(&_masm, |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2429 total_args_passed, |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2430 comp_args_on_stack, |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2431 sig_bt, |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2432 regs, |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2433 fingerprint); |
0 | 2434 |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2435 #ifdef ASSERT |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2436 if (VerifyAdapterSharing) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2437 if (shared_entry != NULL) { |
1748 | 2438 assert(shared_entry->compare_code(buf->code_begin(), buffer.insts_size(), total_args_passed, sig_bt), |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2439 "code must match"); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2440 // Release the one just created and return the original |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2441 _adapters->free_entry(entry); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2442 return shared_entry; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2443 } else { |
1748 | 2444 entry->save_code(buf->code_begin(), buffer.insts_size(), total_args_passed, sig_bt); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2445 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2446 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2447 #endif |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2448 |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1295
diff
changeset
|
2449 B = AdapterBlob::create(&buffer); |
1748 | 2450 NOT_PRODUCT(insts_size = buffer.insts_size()); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2451 } |
28 | 2452 if (B == NULL) { |
2453 // CodeCache is full, disable compilation | |
2454 // Ought to log this but compile log is only per compile thread | |
2455 // and we're some non descript Java thread. | |
1202 | 2456 MutexUnlocker mu(AdapterHandlerLibrary_lock); |
2457 CompileBroker::handle_full_code_cache(); | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2458 return NULL; // Out of CodeCache space |
28 | 2459 } |
1748 | 2460 entry->relocate(B->content_begin()); |
0 | 2461 #ifndef PRODUCT |
2462 // debugging suppport | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2463 if (PrintAdapterHandlers || PrintStubCode) { |
6796
b31471cdc53e
7200163: add CodeComments functionality to assember stubs
kvn
parents:
6792
diff
changeset
|
2464 ttyLocker ttyl; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2465 entry->print_adapter_on(tty); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2466 tty->print_cr("i2c argument handler #%d for: %s %s (%d bytes generated)", |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2467 _adapters->number_of_entries(), (method->is_static() ? "static" : "receiver"), |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2468 method->signature()->as_C_string(), insts_size); |
0 | 2469 tty->print_cr("c2i argument handler starts at %p",entry->get_c2i_entry()); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2470 if (Verbose || PrintStubCode) { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2471 address first_pc = entry->base_address(); |
6796
b31471cdc53e
7200163: add CodeComments functionality to assember stubs
kvn
parents:
6792
diff
changeset
|
2472 if (first_pc != NULL) { |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2473 Disassembler::decode(first_pc, first_pc + insts_size); |
6796
b31471cdc53e
7200163: add CodeComments functionality to assember stubs
kvn
parents:
6792
diff
changeset
|
2474 tty->cr(); |
b31471cdc53e
7200163: add CodeComments functionality to assember stubs
kvn
parents:
6792
diff
changeset
|
2475 } |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2476 } |
0 | 2477 } |
2478 #endif | |
2479 | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2480 _adapters->add(entry); |
0 | 2481 } |
2482 // Outside of the lock | |
2483 if (B != NULL) { | |
2484 char blob_id[256]; | |
2485 jio_snprintf(blob_id, | |
2486 sizeof(blob_id), | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2487 "%s(%s)@" PTR_FORMAT, |
1299
9eba43136cb5
6934494: JSR 292 MethodHandles adapters should be generated into their own CodeBlob
twisti
parents:
1295
diff
changeset
|
2488 B->name(), |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2489 fingerprint->as_string(), |
1748 | 2490 B->content_begin()); |
2491 Forte::register_stub(blob_id, B->content_begin(), B->content_end()); | |
0 | 2492 |
2493 if (JvmtiExport::should_post_dynamic_code_generated()) { | |
1748 | 2494 JvmtiExport::post_dynamic_code_generated(blob_id, B->content_begin(), B->content_end()); |
0 | 2495 } |
2496 } | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2497 return entry; |
0 | 2498 } |
2499 | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2500 address AdapterHandlerEntry::base_address() { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2501 address base = _i2c_entry; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2502 if (base == NULL) base = _c2i_entry; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2503 assert(base <= _c2i_entry || _c2i_entry == NULL, ""); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2504 assert(base <= _c2i_unverified_entry || _c2i_unverified_entry == NULL, ""); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2505 return base; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2506 } |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2507 |
0 | 2508 void AdapterHandlerEntry::relocate(address new_base) { |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2509 address old_base = base_address(); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2510 assert(old_base != NULL, ""); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2511 ptrdiff_t delta = new_base - old_base; |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2512 if (_i2c_entry != NULL) |
0 | 2513 _i2c_entry += delta; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2514 if (_c2i_entry != NULL) |
0 | 2515 _c2i_entry += delta; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2516 if (_c2i_unverified_entry != NULL) |
0 | 2517 _c2i_unverified_entry += delta; |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2518 assert(base_address() == new_base, ""); |
0 | 2519 } |
2520 | |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2521 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2522 void AdapterHandlerEntry::deallocate() { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2523 delete _fingerprint; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2524 #ifdef ASSERT |
6197 | 2525 if (_saved_code) FREE_C_HEAP_ARRAY(unsigned char, _saved_code, mtCode); |
2526 if (_saved_sig) FREE_C_HEAP_ARRAY(Basictype, _saved_sig, mtCode); | |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2527 #endif |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2528 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2529 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2530 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2531 #ifdef ASSERT |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2532 // Capture the code before relocation so that it can be compared |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2533 // against other versions. If the code is captured after relocation |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2534 // then relative instructions won't be equivalent. |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2535 void AdapterHandlerEntry::save_code(unsigned char* buffer, int length, int total_args_passed, BasicType* sig_bt) { |
6197 | 2536 _saved_code = NEW_C_HEAP_ARRAY(unsigned char, length, mtCode); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2537 _code_length = length; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2538 memcpy(_saved_code, buffer, length); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2539 _total_args_passed = total_args_passed; |
6197 | 2540 _saved_sig = NEW_C_HEAP_ARRAY(BasicType, _total_args_passed, mtCode); |
1207
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2541 memcpy(_saved_sig, sig_bt, _total_args_passed * sizeof(BasicType)); |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2542 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2543 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2544 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2545 bool AdapterHandlerEntry::compare_code(unsigned char* buffer, int length, int total_args_passed, BasicType* sig_bt) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2546 if (length != _code_length) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2547 return false; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2548 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2549 for (int i = 0; i < length; i++) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2550 if (buffer[i] != _saved_code[i]) { |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2551 return false; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2552 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2553 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2554 return true; |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2555 } |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2556 #endif |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2557 |
74c848d437ab
6921922: fix for 6911204 breaks tagged stack interpreter
never
parents:
1205
diff
changeset
|
2558 |
0 | 2559 // Create a native wrapper for this native method. The wrapper converts the |
2560 // java compiled calling convention to the native convention, handlizes | |
2561 // arguments, and transitions to native. On return from the native we transition | |
2562 // back to java blocking if a safepoint is in progress. | |
2405
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2563 nmethod *AdapterHandlerLibrary::create_native_wrapper(methodHandle method, int compile_id) { |
0 | 2564 ResourceMark rm; |
2565 nmethod* nm = NULL; | |
2566 | |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2567 assert(method->is_native(), "must be native"); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2568 assert(method->is_method_handle_intrinsic() || |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2569 method->has_native_function(), "must have something valid to call!"); |
0 | 2570 |
2571 { | |
2572 // perform the work while holding the lock, but perform any printing outside the lock | |
2573 MutexLocker mu(AdapterHandlerLibrary_lock); | |
2574 // See if somebody beat us to it | |
2575 nm = method->code(); | |
2576 if (nm) { | |
2577 return nm; | |
2578 } | |
2579 | |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2580 ResourceMark rm; |
0 | 2581 |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2582 BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2583 if (buf != NULL) { |
1748 | 2584 CodeBuffer buffer(buf); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2585 double locs_buf[20]; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2586 buffer.insts()->initialize_shared_locs((relocInfo*)locs_buf, sizeof(locs_buf) / sizeof(relocInfo)); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2587 MacroAssembler _masm(&buffer); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2588 |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2589 // Fill in the signature array, for the calling-convention call. |
6790
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2590 const int total_args_passed = method->size_of_parameters(); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2591 |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2592 BasicType* sig_bt = NEW_RESOURCE_ARRAY(BasicType, total_args_passed); |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2593 VMRegPair* regs = NEW_RESOURCE_ARRAY(VMRegPair, total_args_passed); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2594 int i=0; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2595 if( !method->is_static() ) // Pass in receiver first |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2596 sig_bt[i++] = T_OBJECT; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2597 SignatureStream ss(method->signature()); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2598 for( ; !ss.at_return_type(); ss.next()) { |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2599 sig_bt[i++] = ss.type(); // Collect remaining bits of signature |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2600 if( ss.type() == T_LONG || ss.type() == T_DOUBLE ) |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2601 sig_bt[i++] = T_VOID; // Longs & doubles take 2 Java slots |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2602 } |
6790
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2603 assert(i == total_args_passed, ""); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2604 BasicType ret_type = ss.type(); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2605 |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2606 // Now get the compiled-Java layout as input (or output) arguments. |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2607 // NOTE: Stubs for compiled entry points of method handle intrinsics |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2608 // are just trampolines so the argument registers must be outgoing ones. |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2609 const bool is_outgoing = method->is_method_handle_intrinsic(); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2610 int comp_args_on_stack = SharedRuntime::java_calling_convention(sig_bt, regs, total_args_passed, is_outgoing); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2611 |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2612 // Generate the compiled-to-native wrapper code |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2613 nm = SharedRuntime::generate_native_wrapper(&_masm, |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2614 method, |
2405
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2615 compile_id, |
6790
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2616 sig_bt, |
2cb2f30450c7
7196262: JSR 292: java/lang/invoke/PrivateInvokeTest.java fails on solaris-sparc
twisti
parents:
6725
diff
changeset
|
2617 regs, |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2618 ret_type); |
0 | 2619 } |
2620 } | |
2621 | |
2622 // Must unlock before calling set_code | |
1728
a62d332029cf
6976372: # assert(_owner == Thread::current()) failed: invariant
never
parents:
1681
diff
changeset
|
2623 |
0 | 2624 // Install the generated code. |
2625 if (nm != NULL) { | |
2405
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2626 if (PrintCompilation) { |
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2627 ttyLocker ttyl; |
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2628 CompileTask::print_compilation(tty, nm, method->is_static() ? "(static)" : ""); |
3d58a4983660
7022998: JSR 292 recursive method handle calls inline themselves infinitely
twisti
parents:
2321
diff
changeset
|
2629 } |
0 | 2630 method->set_code(method, nm); |
2631 nm->post_compiled_method_load_event(); | |
2632 } else { | |
2633 // CodeCache is full, disable compilation | |
1202 | 2634 CompileBroker::handle_full_code_cache(); |
0 | 2635 } |
2636 return nm; | |
2637 } | |
2638 | |
4873
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2639 JRT_ENTRY_NO_ASYNC(void, SharedRuntime::block_for_jni_critical(JavaThread* thread)) |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2640 assert(thread == JavaThread::current(), "must be"); |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2641 // The code is about to enter a JNI lazy critical native method and |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2642 // _needs_gc is true, so if this thread is already in a critical |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2643 // section then just return, otherwise this thread should block |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2644 // until needs_gc has been cleared. |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2645 if (thread->in_critical()) { |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2646 return; |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2647 } |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2648 // Lock and unlock a critical section to give the system a chance to block |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2649 GC_locker::lock_critical(thread); |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2650 GC_locker::unlock_critical(thread); |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2651 JRT_END |
0382d2b469b2
7013347: allow crypto functions to be called inline to enhance performance
never
parents:
4872
diff
changeset
|
2652 |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2653 #ifdef HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2654 // Create a dtrace nmethod for this method. The wrapper converts the |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2655 // java compiled calling convention to the native convention, makes a dummy call |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2656 // (actually nops for the size of the call instruction, which become a trap if |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2657 // probe is enabled). The returns to the caller. Since this all looks like a |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2658 // leaf no thread transition is needed. |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2659 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2660 nmethod *AdapterHandlerLibrary::create_dtrace_nmethod(methodHandle method) { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2661 ResourceMark rm; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2662 nmethod* nm = NULL; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2663 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2664 if (PrintCompilation) { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2665 ttyLocker ttyl; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2666 tty->print("--- n%s "); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2667 method->print_short_name(tty); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2668 if (method->is_static()) { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2669 tty->print(" (static)"); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2670 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2671 tty->cr(); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2672 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2673 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2674 { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2675 // perform the work while holding the lock, but perform any printing |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2676 // outside the lock |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2677 MutexLocker mu(AdapterHandlerLibrary_lock); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2678 // See if somebody beat us to it |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2679 nm = method->code(); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2680 if (nm) { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2681 return nm; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2682 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2683 |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2684 ResourceMark rm; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2685 |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2686 BufferBlob* buf = buffer_blob(); // the temporary code buffer in CodeCache |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2687 if (buf != NULL) { |
1748 | 2688 CodeBuffer buffer(buf); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2689 // Need a few relocation entries |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2690 double locs_buf[20]; |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2691 buffer.insts()->initialize_shared_locs( |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2692 (relocInfo*)locs_buf, sizeof(locs_buf) / sizeof(relocInfo)); |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2693 MacroAssembler _masm(&buffer); |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2694 |
742
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2695 // Generate the compiled-to-native wrapper code |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2696 nm = SharedRuntime::generate_dtrace_nmethod(&_masm, method); |
45463a04ca27
6834177: Running jsynprog on Solaris Nevada can cause JVM crash
kvn
parents:
710
diff
changeset
|
2697 } |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2698 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2699 return nm; |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2700 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2701 |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2702 // the dtrace method needs to convert java lang string to utf8 string. |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2703 void SharedRuntime::get_utf(oopDesc* src, address dst) { |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2704 typeArrayOop jlsValue = java_lang_String::value(src); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2705 int jlsOffset = java_lang_String::offset(src); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2706 int jlsLen = java_lang_String::length(src); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2707 jchar* jlsPos = (jlsLen == 0) ? NULL : |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2708 jlsValue->char_at_addr(jlsOffset); |
6831
d8ce2825b193
8000213: NPG: Should have renamed arrayKlass and typeArrayKlass
coleenp
parents:
6796
diff
changeset
|
2709 assert(TypeArrayKlass::cast(jlsValue->klass())->element_type() == T_CHAR, "compressed string"); |
116
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2710 (void) UNICODE::as_utf8(jlsPos, jlsLen, (char *)dst, max_dtrace_string_size); |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2711 } |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2712 #endif // ndef HAVE_DTRACE_H |
018d5b58dd4f
6537506: Provide a mechanism for specifying Java-level USDT-like dtrace probes
kamg
parents:
62
diff
changeset
|
2713 |
0 | 2714 // ------------------------------------------------------------------------- |
2715 // Java-Java calling convention | |
2716 // (what you use when Java calls Java) | |
2717 | |
2718 //------------------------------name_for_receiver---------------------------------- | |
2719 // For a given signature, return the VMReg for parameter 0. | |
2720 VMReg SharedRuntime::name_for_receiver() { | |
2721 VMRegPair regs; | |
2722 BasicType sig_bt = T_OBJECT; | |
2723 (void) java_calling_convention(&sig_bt, ®s, 1, true); | |
2724 // Return argument 0 register. In the LP64 build pointers | |
2725 // take 2 registers, but the VM wants only the 'main' name. | |
2726 return regs.first(); | |
2727 } | |
2728 | |
2177
3582bf76420e
6990754: Use native memory and reference counting to implement SymbolTable
coleenp
parents:
2142
diff
changeset
|
2729 VMRegPair *SharedRuntime::find_callee_arguments(Symbol* sig, bool has_receiver, int* arg_size) { |
0 | 2730 // This method is returning a data structure allocating as a |
2731 // ResourceObject, so do not put any ResourceMarks in here. | |
2732 char *s = sig->as_C_string(); | |
2733 int len = (int)strlen(s); | |
2734 *s++; len--; // Skip opening paren | |
2735 char *t = s+len; | |
2736 while( *(--t) != ')' ) ; // Find close paren | |
2737 | |
2738 BasicType *sig_bt = NEW_RESOURCE_ARRAY( BasicType, 256 ); | |
2739 VMRegPair *regs = NEW_RESOURCE_ARRAY( VMRegPair, 256 ); | |
2740 int cnt = 0; | |
1138
dd57230ba8fe
6893268: additional dynamic language related optimizations in C2
twisti
parents:
1135
diff
changeset
|
2741 if (has_receiver) { |
0 | 2742 sig_bt[cnt++] = T_OBJECT; // Receiver is argument 0; not in signature |
2743 } | |
2744 | |
2745 while( s < t ) { | |
2746 switch( *s++ ) { // Switch on signature character | |
2747 case 'B': sig_bt[cnt++] = T_BYTE; break; | |
2748 case 'C': sig_bt[cnt++] = T_CHAR; break; | |
2749 case 'D': sig_bt[cnt++] = T_DOUBLE; sig_bt[cnt++] = T_VOID; break; | |
2750 case 'F': sig_bt[cnt++] = T_FLOAT; break; | |
2751 case 'I': sig_bt[cnt++] = T_INT; break; | |
2752 case 'J': sig_bt[cnt++] = T_LONG; sig_bt[cnt++] = T_VOID; break; | |
2753 case 'S': sig_bt[cnt++] = T_SHORT; break; | |
2754 case 'Z': sig_bt[cnt++] = T_BOOLEAN; break; | |
2755 case 'V': sig_bt[cnt++] = T_VOID; break; | |
2756 case 'L': // Oop | |
2757 while( *s++ != ';' ) ; // Skip signature | |
2758 sig_bt[cnt++] = T_OBJECT; | |
2759 break; | |
2760 case '[': { // Array | |
2761 do { // Skip optional size | |
2762 while( *s >= '0' && *s <= '9' ) s++; | |
2763 } while( *s++ == '[' ); // Nested arrays? | |
2764 // Skip element type | |
2765 if( s[-1] == 'L' ) | |
2766 while( *s++ != ';' ) ; // Skip signature | |
2767 sig_bt[cnt++] = T_ARRAY; | |
2768 break; | |
2769 } | |
2770 default : ShouldNotReachHere(); | |
2771 } | |
2772 } | |
2773 assert( cnt < 256, "grow table size" ); | |
2774 | |
2775 int comp_args_on_stack; | |
2776 comp_args_on_stack = java_calling_convention(sig_bt, regs, cnt, true); | |
2777 | |
2778 // the calling convention doesn't count out_preserve_stack_slots so | |
2779 // we must add that in to get "true" stack offsets. | |
2780 | |
2781 if (comp_args_on_stack) { | |
2782 for (int i = 0; i < cnt; i++) { | |
2783 VMReg reg1 = regs[i].first(); | |
2784 if( reg1->is_stack()) { | |
2785 // Yuck | |
2786 reg1 = reg1->bias(out_preserve_stack_slots()); | |
2787 } | |
2788 VMReg reg2 = regs[i].second(); | |
2789 if( reg2->is_stack()) { | |
2790 // Yuck | |
2791 reg2 = reg2->bias(out_preserve_stack_slots()); | |
2792 } | |
2793 regs[i].set_pair(reg2, reg1); | |
2794 } | |
2795 } | |
2796 | |
2797 // results | |
2798 *arg_size = cnt; | |
2799 return regs; | |
2800 } | |
2801 | |
2802 // OSR Migration Code | |
2803 // | |
2804 // This code is used convert interpreter frames into compiled frames. It is | |
2805 // called from very start of a compiled OSR nmethod. A temp array is | |
2806 // allocated to hold the interesting bits of the interpreter frame. All | |
2807 // active locks are inflated to allow them to move. The displaced headers and | |
2808 // active interpeter locals are copied into the temp buffer. Then we return | |
2809 // back to the compiled code. The compiled code then pops the current | |
2810 // interpreter frame off the stack and pushes a new compiled frame. Then it | |
2811 // copies the interpreter locals and displaced headers where it wants. | |
2812 // Finally it calls back to free the temp buffer. | |
2813 // | |
2814 // All of this is done NOT at any Safepoint, nor is any safepoint or GC allowed. | |
2815 | |
2816 JRT_LEAF(intptr_t*, SharedRuntime::OSR_migration_begin( JavaThread *thread) ) | |
2817 | |
2818 #ifdef IA64 | |
2819 ShouldNotReachHere(); // NYI | |
2820 #endif /* IA64 */ | |
2821 | |
2822 // | |
2823 // This code is dependent on the memory layout of the interpreter local | |
2824 // array and the monitors. On all of our platforms the layout is identical | |
2825 // so this code is shared. If some platform lays the their arrays out | |
2826 // differently then this code could move to platform specific code or | |
2827 // the code here could be modified to copy items one at a time using | |
2828 // frame accessor methods and be platform independent. | |
2829 | |
2830 frame fr = thread->last_frame(); | |
2831 assert( fr.is_interpreted_frame(), "" ); | |
2832 assert( fr.interpreter_frame_expression_stack_size()==0, "only handle empty stacks" ); | |
2833 | |
2834 // Figure out how many monitors are active. | |
2835 int active_monitor_count = 0; | |
2836 for( BasicObjectLock *kptr = fr.interpreter_frame_monitor_end(); | |
2837 kptr < fr.interpreter_frame_monitor_begin(); | |
2838 kptr = fr.next_monitor_in_interpreter_frame(kptr) ) { | |
2839 if( kptr->obj() != NULL ) active_monitor_count++; | |
2840 } | |
2841 | |
2842 // QQQ we could place number of active monitors in the array so that compiled code | |
2843 // could double check it. | |
2844 | |
6725
da91efe96a93
6964458: Reimplement class meta-data storage to use native memory
coleenp
parents:
6271
diff
changeset
|
2845 Method* moop = fr.interpreter_frame_method(); |
0 | 2846 int max_locals = moop->max_locals(); |
2847 // Allocate temp buffer, 1 word per local & 2 per active monitor | |
2848 int buf_size_words = max_locals + active_monitor_count*2; | |
6197 | 2849 intptr_t *buf = NEW_C_HEAP_ARRAY(intptr_t,buf_size_words, mtCode); |
0 | 2850 |
2851 // Copy the locals. Order is preserved so that loading of longs works. | |
2852 // Since there's no GC I can copy the oops blindly. | |
2853 assert( sizeof(HeapWord)==sizeof(intptr_t), "fix this code"); | |
1506 | 2854 Copy::disjoint_words((HeapWord*)fr.interpreter_frame_local_at(max_locals-1), |
0 | 2855 (HeapWord*)&buf[0], |
2856 max_locals); | |
2857 | |
2858 // Inflate locks. Copy the displaced headers. Be careful, there can be holes. | |
2859 int i = max_locals; | |
2860 for( BasicObjectLock *kptr2 = fr.interpreter_frame_monitor_end(); | |
2861 kptr2 < fr.interpreter_frame_monitor_begin(); | |
2862 kptr2 = fr.next_monitor_in_interpreter_frame(kptr2) ) { | |
2863 if( kptr2->obj() != NULL) { // Avoid 'holes' in the monitor array | |
2864 BasicLock *lock = kptr2->lock(); | |
2865 // Inflate so the displaced header becomes position-independent | |
2866 if (lock->displaced_header()->is_unlocked()) | |
2867 ObjectSynchronizer::inflate_helper(kptr2->obj()); | |
2868 // Now the displaced header is free to move | |
2869 buf[i++] = (intptr_t)lock->displaced_header(); | |
2870 buf[i++] = (intptr_t)kptr2->obj(); | |
2871 } | |
2872 } | |
2873 assert( i - max_locals == active_monitor_count*2, "found the expected number of monitors" ); | |
2874 | |
2875 return buf; | |
2876 JRT_END | |
2877 | |
2878 JRT_LEAF(void, SharedRuntime::OSR_migration_end( intptr_t* buf) ) | |
6197 | 2879 FREE_C_HEAP_ARRAY(intptr_t,buf, mtCode); |
0 | 2880 JRT_END |
2881 | |
2882 bool AdapterHandlerLibrary::contains(CodeBlob* b) { | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2883 AdapterHandlerTableIterator iter(_adapters); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2884 while (iter.has_next()) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2885 AdapterHandlerEntry* a = iter.next(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2886 if ( b == CodeCache::find_blob(a->get_i2c_entry()) ) return true; |
0 | 2887 } |
2888 return false; | |
2889 } | |
2890 | |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2891 void AdapterHandlerLibrary::print_handler_on(outputStream* st, CodeBlob* b) { |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2892 AdapterHandlerTableIterator iter(_adapters); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2893 while (iter.has_next()) { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2894 AdapterHandlerEntry* a = iter.next(); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2895 if (b == CodeCache::find_blob(a->get_i2c_entry())) { |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2896 st->print("Adapter for signature: "); |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2897 a->print_adapter_on(tty); |
0 | 2898 return; |
2899 } | |
2900 } | |
2901 assert(false, "Should have found handler"); | |
2902 } | |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2903 |
6266
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2904 void AdapterHandlerEntry::print_adapter_on(outputStream* st) const { |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2905 st->print_cr("AHE@" INTPTR_FORMAT ": %s i2c: " INTPTR_FORMAT " c2i: " INTPTR_FORMAT " c2iUV: " INTPTR_FORMAT, |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2906 (intptr_t) this, fingerprint()->as_string(), |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2907 get_i2c_entry(), get_c2i_entry(), get_c2i_unverified_entry()); |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2908 |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2909 } |
1d7922586cf6
7023639: JSR 292 method handle invocation needs a fast path for compiled code
twisti
parents:
6197
diff
changeset
|
2910 |
1681
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2911 #ifndef PRODUCT |
126ea7725993
6953477: Increase portability and flexibility of building Hotspot
bobv
parents:
1644
diff
changeset
|
2912 |
1187
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2913 void AdapterHandlerLibrary::print_statistics() { |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2914 _adapters->print_statistics(); |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2915 } |
cf0685d550f1
6911204: generated adapters with large signatures can fill up the code cache
never
parents:
1142
diff
changeset
|
2916 |
0 | 2917 #endif /* PRODUCT */ |