author | mdoerr |
Tue, 28 Nov 2017 01:08:26 +0300 | |
changeset 48585 | d9fcb7ba8133 |
parent 47216 | 71c04702a3d5 |
child 51618 | 54b344d9dd4e |
permissions | -rw-r--r-- |
42065 | 1 |
/* |
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
2 |
* Copyright (c) 2016, 2017, Oracle and/or its affiliates. All rights reserved. |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
3 |
* Copyright (c) 2016, 2017 SAP SE. All rights reserved. |
42065 | 4 |
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
5 |
* |
|
6 |
* This code is free software; you can redistribute it and/or modify it |
|
7 |
* under the terms of the GNU General Public License version 2 only, as |
|
8 |
* published by the Free Software Foundation. |
|
9 |
* |
|
10 |
* This code is distributed in the hope that it will be useful, but WITHOUT |
|
11 |
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
12 |
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
13 |
* version 2 for more details (a copy is included in the LICENSE file that |
|
14 |
* accompanied this code). |
|
15 |
* |
|
16 |
* You should have received a copy of the GNU General Public License version |
|
17 |
* 2 along with this work; if not, write to the Free Software Foundation, |
|
18 |
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
|
19 |
* |
|
20 |
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
21 |
* or visit www.oracle.com if you need additional information or have any |
|
22 |
* questions. |
|
23 |
* |
|
24 |
*/ |
|
25 |
||
26 |
#include "precompiled.hpp" |
|
27 |
#include "asm/macroAssembler.inline.hpp" |
|
28 |
#include "code/vtableStubs.hpp" |
|
29 |
#include "interp_masm_s390.hpp" |
|
30 |
#include "memory/resourceArea.hpp" |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
31 |
#include "oops/compiledICHolder.hpp" |
42065 | 32 |
#include "oops/instanceKlass.hpp" |
33 |
#include "oops/klassVtable.hpp" |
|
34 |
#include "runtime/sharedRuntime.hpp" |
|
35 |
#include "vmreg_s390.inline.hpp" |
|
36 |
#ifdef COMPILER2 |
|
37 |
#include "opto/runtime.hpp" |
|
38 |
#endif |
|
39 |
||
40 |
// Machine-dependent part of VtableStubs: create vtableStub of correct |
|
41 |
// size and initialize its code. |
|
42 |
||
43 |
#define __ masm-> |
|
44 |
||
45 |
#ifndef PRODUCT |
|
46 |
extern "C" void bad_compiled_vtable_index(JavaThread* thread, oop receiver, int index); |
|
47 |
#endif |
|
48 |
||
49 |
// Used by compiler only; may use only caller saved, non-argument registers. |
|
50 |
VtableStub* VtableStubs::create_vtable_stub(int vtable_index) { |
|
51 |
||
52 |
const int code_length = VtableStub::pd_code_size_limit(true); |
|
53 |
VtableStub *s = new(code_length) VtableStub(true, vtable_index); |
|
54 |
if (s == NULL) { // Indicates OOM In the code cache. |
|
55 |
return NULL; |
|
56 |
} |
|
57 |
||
58 |
ResourceMark rm; |
|
59 |
CodeBuffer cb(s->entry_point(), code_length); |
|
60 |
MacroAssembler *masm = new MacroAssembler(&cb); |
|
61 |
int padding_bytes = 0; |
|
62 |
||
63 |
#if (!defined(PRODUCT) && defined(COMPILER2)) |
|
64 |
if (CountCompiledCalls) { |
|
65 |
// Count unused bytes |
|
66 |
// worst case actual size |
|
67 |
padding_bytes += __ load_const_size() - __ load_const_optimized_rtn_len(Z_R1_scratch, (long)SharedRuntime::nof_megamorphic_calls_addr(), true); |
|
68 |
||
69 |
// Use generic emitter for direct memory increment. |
|
70 |
// Abuse Z_method as scratch register for generic emitter. |
|
71 |
// It is loaded further down anyway before it is first used. |
|
72 |
__ add2mem_32(Address(Z_R1_scratch), 1, Z_method); |
|
73 |
} |
|
74 |
#endif |
|
75 |
||
76 |
assert(VtableStub::receiver_location() == Z_R2->as_VMReg(), "receiver expected in Z_ARG1"); |
|
77 |
||
78 |
// Get receiver klass. |
|
79 |
// Must do an explicit check if implicit checks are disabled. |
|
80 |
address npe_addr = __ pc(); // npe == NULL ptr exception |
|
81 |
__ null_check(Z_ARG1, Z_R1_scratch, oopDesc::klass_offset_in_bytes()); |
|
82 |
const Register rcvr_klass = Z_R1_scratch; |
|
83 |
__ load_klass(rcvr_klass, Z_ARG1); |
|
84 |
||
85 |
// Set method (in case of interpreted method), and destination address. |
|
46280
6eef3d367beb
8175269: [s390] cleanup calls to vtable_start_offset() and vtable_length_offset()
lucy
parents:
42065
diff
changeset
|
86 |
int entry_offset = in_bytes(Klass::vtable_start_offset()) + |
42065 | 87 |
vtable_index * vtableEntry::size_in_bytes(); |
88 |
||
89 |
#ifndef PRODUCT |
|
90 |
if (DebugVtables) { |
|
91 |
Label L; |
|
92 |
// Check offset vs vtable length. |
|
93 |
const Register vtable_idx = Z_R0_scratch; |
|
94 |
||
95 |
// Count unused bytes. |
|
96 |
// worst case actual size |
|
97 |
padding_bytes += __ load_const_size() - __ load_const_optimized_rtn_len(vtable_idx, vtable_index*vtableEntry::size_in_bytes(), true); |
|
98 |
||
46280
6eef3d367beb
8175269: [s390] cleanup calls to vtable_start_offset() and vtable_length_offset()
lucy
parents:
42065
diff
changeset
|
99 |
assert(Immediate::is_uimm12(in_bytes(Klass::vtable_length_offset())), "disp to large"); |
6eef3d367beb
8175269: [s390] cleanup calls to vtable_start_offset() and vtable_length_offset()
lucy
parents:
42065
diff
changeset
|
100 |
__ z_cl(vtable_idx, in_bytes(Klass::vtable_length_offset()), rcvr_klass); |
42065 | 101 |
__ z_brl(L); |
102 |
__ z_lghi(Z_ARG3, vtable_index); // Debug code, don't optimize. |
|
103 |
__ call_VM(noreg, CAST_FROM_FN_PTR(address, bad_compiled_vtable_index), Z_ARG1, Z_ARG3, false); |
|
104 |
// Count unused bytes (assume worst case here). |
|
105 |
padding_bytes += 12; |
|
106 |
__ bind(L); |
|
107 |
} |
|
108 |
#endif |
|
109 |
||
110 |
int v_off = entry_offset + vtableEntry::method_offset_in_bytes(); |
|
111 |
||
112 |
// Duplicate safety code from enc_class Java_Dynamic_Call_dynTOC. |
|
113 |
if (Displacement::is_validDisp(v_off)) { |
|
114 |
__ z_lg(Z_method/*method oop*/, v_off, rcvr_klass/*class oop*/); |
|
115 |
// Account for the load_const in the else path. |
|
116 |
padding_bytes += __ load_const_size(); |
|
117 |
} else { |
|
118 |
// Worse case, offset does not fit in displacement field. |
|
119 |
__ load_const(Z_method, v_off); // Z_method temporarily holds the offset value. |
|
120 |
__ z_lg(Z_method/*method oop*/, 0, Z_method/*method offset*/, rcvr_klass/*class oop*/); |
|
121 |
} |
|
122 |
||
123 |
#ifndef PRODUCT |
|
124 |
if (DebugVtables) { |
|
125 |
Label L; |
|
126 |
__ z_ltgr(Z_method, Z_method); |
|
127 |
__ z_brne(L); |
|
128 |
__ stop("Vtable entry is ZERO",102); |
|
129 |
__ bind(L); |
|
130 |
} |
|
131 |
#endif |
|
132 |
||
133 |
address ame_addr = __ pc(); // ame = abstract method error |
|
134 |
||
135 |
// Must do an explicit check if implicit checks are disabled. |
|
136 |
__ null_check(Z_method, Z_R1_scratch, in_bytes(Method::from_compiled_offset())); |
|
137 |
__ z_lg(Z_R1_scratch, in_bytes(Method::from_compiled_offset()), Z_method); |
|
138 |
__ z_br(Z_R1_scratch); |
|
139 |
||
140 |
masm->flush(); |
|
141 |
||
142 |
s->set_exception_points(npe_addr, ame_addr); |
|
143 |
||
144 |
return s; |
|
145 |
} |
|
146 |
||
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
147 |
VtableStub* VtableStubs::create_itable_stub(int itable_index) { |
42065 | 148 |
const int code_length = VtableStub::pd_code_size_limit(false); |
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
149 |
VtableStub *s = new(code_length) VtableStub(false, itable_index); |
42065 | 150 |
if (s == NULL) { // Indicates OOM in the code cache. |
151 |
return NULL; |
|
152 |
} |
|
153 |
||
154 |
ResourceMark rm; |
|
155 |
CodeBuffer cb(s->entry_point(), code_length); |
|
156 |
MacroAssembler *masm = new MacroAssembler(&cb); |
|
157 |
int padding_bytes = 0; |
|
158 |
||
159 |
#if (!defined(PRODUCT) && defined(COMPILER2)) |
|
160 |
if (CountCompiledCalls) { |
|
161 |
// Count unused bytes |
|
162 |
// worst case actual size |
|
163 |
padding_bytes += __ load_const_size() - __ load_const_optimized_rtn_len(Z_R1_scratch, (long)SharedRuntime::nof_megamorphic_calls_addr(), true); |
|
164 |
||
165 |
// Use generic emitter for direct memory increment. |
|
166 |
// Use Z_tmp_1 as scratch register for generic emitter. |
|
167 |
__ add2mem_32((Z_R1_scratch), 1, Z_tmp_1); |
|
168 |
} |
|
169 |
#endif |
|
170 |
||
171 |
assert(VtableStub::receiver_location() == Z_R2->as_VMReg(), "receiver expected in Z_ARG1"); |
|
172 |
||
173 |
// Entry arguments: |
|
174 |
// Z_method: Interface |
|
175 |
// Z_ARG1: Receiver |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
176 |
NearLabel no_such_interface; |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
177 |
const Register rcvr_klass = Z_tmp_1, |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
178 |
interface = Z_tmp_2; |
42065 | 179 |
|
180 |
// Get receiver klass. |
|
181 |
// Must do an explicit check if implicit checks are disabled. |
|
182 |
address npe_addr = __ pc(); // npe == NULL ptr exception |
|
183 |
__ null_check(Z_ARG1, Z_R1_scratch, oopDesc::klass_offset_in_bytes()); |
|
184 |
__ load_klass(rcvr_klass, Z_ARG1); |
|
185 |
||
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
186 |
// Receiver subtype check against REFC. |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
187 |
__ z_lg(interface, Address(Z_method, CompiledICHolder::holder_klass_offset())); |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
188 |
__ lookup_interface_method(rcvr_klass, interface, noreg, |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
189 |
noreg, Z_R1, no_such_interface, /*return_method=*/ false); |
42065 | 190 |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
191 |
// Get Method* and entrypoint for compiler |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
192 |
__ z_lg(interface, Address(Z_method, CompiledICHolder::holder_metadata_offset())); |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
193 |
__ lookup_interface_method(rcvr_klass, interface, itable_index, |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
194 |
Z_method, Z_R1, no_such_interface, /*return_method=*/ true); |
42065 | 195 |
|
196 |
#ifndef PRODUCT |
|
197 |
if (DebugVtables) { |
|
198 |
Label ok1; |
|
199 |
__ z_ltgr(Z_method, Z_method); |
|
200 |
__ z_brne(ok1); |
|
201 |
__ stop("method is null",103); |
|
202 |
__ bind(ok1); |
|
203 |
} |
|
204 |
#endif |
|
205 |
||
206 |
address ame_addr = __ pc(); |
|
207 |
// Must do an explicit check if implicit checks are disabled. |
|
208 |
if (!ImplicitNullChecks) { |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
209 |
__ compare64_and_branch(Z_method, (intptr_t) 0, Assembler::bcondEqual, no_such_interface); |
42065 | 210 |
} |
211 |
__ z_lg(Z_R1_scratch, in_bytes(Method::from_compiled_offset()), Z_method); |
|
212 |
__ z_br(Z_R1_scratch); |
|
213 |
||
214 |
// Handle IncompatibleClassChangeError in itable stubs. |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
215 |
__ bind(no_such_interface); |
42065 | 216 |
// Count unused bytes |
217 |
// worst case actual size |
|
218 |
// We force resolving of the call site by jumping to |
|
219 |
// the "handle wrong method" stub, and so let the |
|
220 |
// interpreter runtime do all the dirty work. |
|
221 |
padding_bytes += __ load_const_size() - __ load_const_optimized_rtn_len(Z_R1_scratch, (long)SharedRuntime::get_handle_wrong_method_stub(), true); |
|
222 |
__ z_br(Z_R1_scratch); |
|
223 |
||
224 |
masm->flush(); |
|
225 |
||
226 |
s->set_exception_points(npe_addr, ame_addr); |
|
227 |
return s; |
|
228 |
} |
|
229 |
||
230 |
// In order to tune these parameters, run the JVM with VM options |
|
231 |
// +PrintMiscellaneous and +WizardMode to see information about |
|
232 |
// actual itable stubs. Run it with -Xmx31G -XX:+UseCompressedOops. |
|
233 |
int VtableStub::pd_code_size_limit(bool is_vtable_stub) { |
|
234 |
int size = DebugVtables ? 216 : 0; |
|
235 |
if (CountCompiledCalls) { |
|
236 |
size += 6 * 4; |
|
237 |
} |
|
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
238 |
size += is_vtable_stub ? 36 : 140; |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
239 |
if (UseCompressedClassPointers) { |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
240 |
size += MacroAssembler::instr_size_for_decode_klass_not_null(); |
42065 | 241 |
} |
48585
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
242 |
if (!ImplicitNullChecks) { |
d9fcb7ba8133
8191907: PPC64 and s390 parts of JDK-8174962: Better interface invocations
mdoerr
parents:
47216
diff
changeset
|
243 |
size += 36; |
42065 | 244 |
} |
245 |
return size; |
|
246 |
} |
|
247 |
||
248 |
int VtableStub::pd_code_alignment() { |
|
249 |
const unsigned int icache_line_size = 32; |
|
250 |
return icache_line_size; |
|
251 |
} |