src/cpu/x86/vm/vtableStubs_x86_32.cpp

Mon, 28 May 2018 10:33:52 +0800

author
aoqi
date
Mon, 28 May 2018 10:33:52 +0800
changeset 9041
95a08233f46c
parent 8997
f8a45a60bc6b
parent 6876
710a3c8b516e
child 9448
73d689add964
permissions
-rw-r--r--

Merge

aoqi@0 1 /*
dbuck@8997 2 * Copyright (c) 1997, 2017, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation.
aoqi@0 8 *
aoqi@0 9 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 12 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 13 * accompanied this code).
aoqi@0 14 *
aoqi@0 15 * You should have received a copy of the GNU General Public License version
aoqi@0 16 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 18 *
aoqi@0 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 20 * or visit www.oracle.com if you need additional information or have any
aoqi@0 21 * questions.
aoqi@0 22 *
aoqi@0 23 */
aoqi@0 24
aoqi@0 25 #include "precompiled.hpp"
aoqi@0 26 #include "asm/macroAssembler.hpp"
aoqi@0 27 #include "code/vtableStubs.hpp"
aoqi@0 28 #include "interp_masm_x86.hpp"
aoqi@0 29 #include "memory/resourceArea.hpp"
dbuck@8997 30 #include "oops/compiledICHolder.hpp"
aoqi@0 31 #include "oops/instanceKlass.hpp"
aoqi@0 32 #include "oops/klassVtable.hpp"
aoqi@0 33 #include "runtime/sharedRuntime.hpp"
aoqi@0 34 #include "vmreg_x86.inline.hpp"
aoqi@0 35 #ifdef COMPILER2
aoqi@0 36 #include "opto/runtime.hpp"
aoqi@0 37 #endif
aoqi@0 38
aoqi@0 39 // machine-dependent part of VtableStubs: create VtableStub of correct size and
aoqi@0 40 // initialize its code
aoqi@0 41
aoqi@0 42 #define __ masm->
aoqi@0 43
aoqi@0 44 #ifndef PRODUCT
aoqi@0 45 extern "C" void bad_compiled_vtable_index(JavaThread* thread, oop receiver, int index);
aoqi@0 46 #endif
aoqi@0 47
aoqi@0 48 // These stubs are used by the compiler only.
aoqi@0 49 // Argument registers, which must be preserved:
aoqi@0 50 // rcx - receiver (always first argument)
aoqi@0 51 // rdx - second argument (if any)
aoqi@0 52 // Other registers that might be usable:
aoqi@0 53 // rax - inline cache register (is interface for itable stub)
aoqi@0 54 // rbx - method (used when calling out to interpreter)
aoqi@0 55 // Available now, but may become callee-save at some point:
aoqi@0 56 // rsi, rdi
aoqi@0 57 // Note that rax and rdx are also used for return values.
aoqi@0 58 //
aoqi@0 59 VtableStub* VtableStubs::create_vtable_stub(int vtable_index) {
aoqi@0 60 const int i486_code_length = VtableStub::pd_code_size_limit(true);
aoqi@0 61 VtableStub* s = new(i486_code_length) VtableStub(true, vtable_index);
aoqi@0 62 // Can be NULL if there is no free space in the code cache.
aoqi@0 63 if (s == NULL) {
aoqi@0 64 return NULL;
aoqi@0 65 }
aoqi@0 66
aoqi@0 67 ResourceMark rm;
aoqi@0 68 CodeBuffer cb(s->entry_point(), i486_code_length);
aoqi@0 69 MacroAssembler* masm = new MacroAssembler(&cb);
aoqi@0 70
aoqi@0 71 #ifndef PRODUCT
aoqi@0 72
aoqi@0 73 if (CountCompiledCalls) {
aoqi@0 74 __ incrementl(ExternalAddress((address) SharedRuntime::nof_megamorphic_calls_addr()));
aoqi@0 75 }
aoqi@0 76 #endif /* PRODUCT */
aoqi@0 77
aoqi@0 78 // get receiver (need to skip return address on top of stack)
aoqi@0 79 assert(VtableStub::receiver_location() == rcx->as_VMReg(), "receiver expected in rcx");
aoqi@0 80
aoqi@0 81 // get receiver klass
aoqi@0 82 address npe_addr = __ pc();
aoqi@0 83 __ movptr(rax, Address(rcx, oopDesc::klass_offset_in_bytes()));
aoqi@0 84
aoqi@0 85 #ifndef PRODUCT
aoqi@0 86 if (DebugVtables) {
aoqi@0 87 Label L;
aoqi@0 88 // check offset vs vtable length
aoqi@0 89 __ cmpl(Address(rax, InstanceKlass::vtable_length_offset()*wordSize), vtable_index*vtableEntry::size());
aoqi@0 90 __ jcc(Assembler::greater, L);
aoqi@0 91 __ movl(rbx, vtable_index);
aoqi@0 92 __ call_VM(noreg, CAST_FROM_FN_PTR(address, bad_compiled_vtable_index), rcx, rbx);
aoqi@0 93 __ bind(L);
aoqi@0 94 }
aoqi@0 95 #endif // PRODUCT
aoqi@0 96
aoqi@0 97 const Register method = rbx;
aoqi@0 98
aoqi@0 99 // load Method* and target address
aoqi@0 100 __ lookup_virtual_method(rax, vtable_index, method);
aoqi@0 101
aoqi@0 102 if (DebugVtables) {
aoqi@0 103 Label L;
aoqi@0 104 __ cmpptr(method, (int32_t)NULL_WORD);
aoqi@0 105 __ jcc(Assembler::equal, L);
aoqi@0 106 __ cmpptr(Address(method, Method::from_compiled_offset()), (int32_t)NULL_WORD);
aoqi@0 107 __ jcc(Assembler::notZero, L);
aoqi@0 108 __ stop("Vtable entry is NULL");
aoqi@0 109 __ bind(L);
aoqi@0 110 }
aoqi@0 111
aoqi@0 112 // rax,: receiver klass
aoqi@0 113 // method (rbx): Method*
aoqi@0 114 // rcx: receiver
aoqi@0 115 address ame_addr = __ pc();
aoqi@0 116 __ jmp( Address(method, Method::from_compiled_offset()));
aoqi@0 117
aoqi@0 118 masm->flush();
aoqi@0 119
aoqi@0 120 if (PrintMiscellaneous && (WizardMode || Verbose)) {
aoqi@0 121 tty->print_cr("vtable #%d at "PTR_FORMAT"[%d] left over: %d",
aoqi@0 122 vtable_index, p2i(s->entry_point()),
aoqi@0 123 (int)(s->code_end() - s->entry_point()),
aoqi@0 124 (int)(s->code_end() - __ pc()));
aoqi@0 125 }
aoqi@0 126 guarantee(__ pc() <= s->code_end(), "overflowed buffer");
aoqi@0 127 // shut the door on sizing bugs
aoqi@0 128 int slop = 3; // 32-bit offset is this much larger than an 8-bit one
aoqi@0 129 assert(vtable_index > 10 || __ pc() + slop <= s->code_end(), "room for 32-bit offset");
aoqi@0 130
aoqi@0 131 s->set_exception_points(npe_addr, ame_addr);
aoqi@0 132 return s;
aoqi@0 133 }
aoqi@0 134
aoqi@0 135
aoqi@0 136 VtableStub* VtableStubs::create_itable_stub(int itable_index) {
aoqi@0 137 // Note well: pd_code_size_limit is the absolute minimum we can get away with. If you
aoqi@0 138 // add code here, bump the code stub size returned by pd_code_size_limit!
aoqi@0 139 const int i486_code_length = VtableStub::pd_code_size_limit(false);
aoqi@0 140 VtableStub* s = new(i486_code_length) VtableStub(false, itable_index);
aoqi@0 141 // Can be NULL if there is no free space in the code cache.
aoqi@0 142 if (s == NULL) {
aoqi@0 143 return NULL;
aoqi@0 144 }
aoqi@0 145
aoqi@0 146 ResourceMark rm;
aoqi@0 147 CodeBuffer cb(s->entry_point(), i486_code_length);
aoqi@0 148 MacroAssembler* masm = new MacroAssembler(&cb);
aoqi@0 149
aoqi@0 150 // Entry arguments:
dbuck@8997 151 // rax: CompiledICHolder
aoqi@0 152 // rcx: Receiver
aoqi@0 153
aoqi@0 154 #ifndef PRODUCT
aoqi@0 155 if (CountCompiledCalls) {
aoqi@0 156 __ incrementl(ExternalAddress((address) SharedRuntime::nof_megamorphic_calls_addr()));
aoqi@0 157 }
aoqi@0 158 #endif /* PRODUCT */
aoqi@0 159
dbuck@8997 160 // Most registers are in use; we'll use rax, rbx, rsi, rdi
dbuck@8997 161 // (If we need to make rsi, rdi callee-save, do a push/pop here.)
dbuck@8997 162 const Register recv_klass_reg = rsi;
dbuck@8997 163 const Register holder_klass_reg = rax; // declaring interface klass (DECC)
dbuck@8997 164 const Register resolved_klass_reg = rbx; // resolved interface klass (REFC)
dbuck@8997 165 const Register temp_reg = rdi;
dbuck@8997 166
dbuck@8997 167 const Register icholder_reg = rax;
dbuck@8997 168 __ movptr(resolved_klass_reg, Address(icholder_reg, CompiledICHolder::holder_klass_offset()));
dbuck@8997 169 __ movptr(holder_klass_reg, Address(icholder_reg, CompiledICHolder::holder_metadata_offset()));
dbuck@8997 170
dbuck@8997 171 Label L_no_such_interface;
aoqi@0 172
aoqi@0 173 // get receiver klass (also an implicit null-check)
aoqi@0 174 address npe_addr = __ pc();
dbuck@8997 175 assert(VtableStub::receiver_location() == rcx->as_VMReg(), "receiver expected in rcx");
dbuck@8997 176 __ load_klass(recv_klass_reg, rcx);
aoqi@0 177
dbuck@8997 178 // Receiver subtype check against REFC.
dbuck@8997 179 // Destroys recv_klass_reg value.
dbuck@8997 180 __ lookup_interface_method(// inputs: rec. class, interface
dbuck@8997 181 recv_klass_reg, resolved_klass_reg, noreg,
dbuck@8997 182 // outputs: scan temp. reg1, scan temp. reg2
dbuck@8997 183 recv_klass_reg, temp_reg,
dbuck@8997 184 L_no_such_interface,
dbuck@8997 185 /*return_method=*/false);
dbuck@8997 186
dbuck@8997 187 // Get selected method from declaring class and itable index
aoqi@0 188 const Register method = rbx;
dbuck@8997 189 __ load_klass(recv_klass_reg, rcx); // restore recv_klass_reg
aoqi@0 190 __ lookup_interface_method(// inputs: rec. class, interface, itable index
dbuck@8997 191 recv_klass_reg, holder_klass_reg, itable_index,
aoqi@0 192 // outputs: method, scan temp. reg
dbuck@8997 193 method, temp_reg,
dbuck@8997 194 L_no_such_interface);
aoqi@0 195
aoqi@0 196 // method (rbx): Method*
aoqi@0 197 // rcx: receiver
aoqi@0 198
aoqi@0 199 #ifdef ASSERT
aoqi@0 200 if (DebugVtables) {
aoqi@0 201 Label L1;
aoqi@0 202 __ cmpptr(method, (int32_t)NULL_WORD);
aoqi@0 203 __ jcc(Assembler::equal, L1);
aoqi@0 204 __ cmpptr(Address(method, Method::from_compiled_offset()), (int32_t)NULL_WORD);
aoqi@0 205 __ jcc(Assembler::notZero, L1);
aoqi@0 206 __ stop("Method* is null");
aoqi@0 207 __ bind(L1);
aoqi@0 208 }
aoqi@0 209 #endif // ASSERT
aoqi@0 210
aoqi@0 211 address ame_addr = __ pc();
aoqi@0 212 __ jmp(Address(method, Method::from_compiled_offset()));
aoqi@0 213
dbuck@8997 214 __ bind(L_no_such_interface);
aoqi@0 215 __ jump(RuntimeAddress(StubRoutines::throw_IncompatibleClassChangeError_entry()));
dbuck@8997 216
dbuck@8997 217 __ flush();
aoqi@0 218
aoqi@0 219 if (PrintMiscellaneous && (WizardMode || Verbose)) {
aoqi@0 220 tty->print_cr("itable #%d at "PTR_FORMAT"[%d] left over: %d",
aoqi@0 221 itable_index, p2i(s->entry_point()),
aoqi@0 222 (int)(s->code_end() - s->entry_point()),
aoqi@0 223 (int)(s->code_end() - __ pc()));
aoqi@0 224 }
aoqi@0 225 guarantee(__ pc() <= s->code_end(), "overflowed buffer");
aoqi@0 226 // shut the door on sizing bugs
aoqi@0 227 int slop = 3; // 32-bit offset is this much larger than an 8-bit one
aoqi@0 228 assert(itable_index > 10 || __ pc() + slop <= s->code_end(), "room for 32-bit offset");
aoqi@0 229
aoqi@0 230 s->set_exception_points(npe_addr, ame_addr);
aoqi@0 231 return s;
aoqi@0 232 }
aoqi@0 233
aoqi@0 234
aoqi@0 235
aoqi@0 236 int VtableStub::pd_code_size_limit(bool is_vtable_stub) {
aoqi@0 237 if (is_vtable_stub) {
aoqi@0 238 // Vtable stub size
aoqi@0 239 return (DebugVtables ? 210 : 16) + (CountCompiledCalls ? 6 : 0);
aoqi@0 240 } else {
aoqi@0 241 // Itable stub size
dbuck@8997 242 return (DebugVtables ? 256 : 116) + (CountCompiledCalls ? 6 : 0);
aoqi@0 243 }
aoqi@0 244 // In order to tune these parameters, run the JVM with VM options
aoqi@0 245 // +PrintMiscellaneous and +WizardMode to see information about
aoqi@0 246 // actual itable stubs. Look for lines like this:
aoqi@0 247 // itable #1 at 0x5551212[65] left over: 3
aoqi@0 248 // Reduce the constants so that the "left over" number is >=3
aoqi@0 249 // for the common cases.
aoqi@0 250 // Do not aim at a left-over number of zero, because a
aoqi@0 251 // large vtable or itable index (> 16) will require a 32-bit
aoqi@0 252 // immediate displacement instead of an 8-bit one.
aoqi@0 253 //
aoqi@0 254 // The JVM98 app. _202_jess has a megamorphic interface call.
aoqi@0 255 // The itable code looks like this:
aoqi@0 256 // Decoding VtableStub itbl[1]@1
aoqi@0 257 // mov 0x4(%ecx),%esi
aoqi@0 258 // mov 0xe8(%esi),%edi
aoqi@0 259 // lea 0x130(%esi,%edi,4),%edi
aoqi@0 260 // add $0x7,%edi
aoqi@0 261 // and $0xfffffff8,%edi
aoqi@0 262 // lea 0x4(%esi),%esi
aoqi@0 263 // mov (%edi),%ebx
aoqi@0 264 // cmp %ebx,%eax
aoqi@0 265 // je success
aoqi@0 266 // loop:
aoqi@0 267 // test %ebx,%ebx
aoqi@0 268 // je throw_icce
aoqi@0 269 // add $0x8,%edi
aoqi@0 270 // mov (%edi),%ebx
aoqi@0 271 // cmp %ebx,%eax
aoqi@0 272 // jne loop
aoqi@0 273 // success:
aoqi@0 274 // mov 0x4(%edi),%edi
aoqi@0 275 // mov (%esi,%edi,1),%ebx
aoqi@0 276 // jmp *0x44(%ebx)
aoqi@0 277 // throw_icce:
aoqi@0 278 // jmp throw_ICCE_entry
aoqi@0 279 }
aoqi@0 280
aoqi@0 281 int VtableStub::pd_code_alignment() {
aoqi@0 282 return wordSize;
aoqi@0 283 }

mercurial