src/cpu/x86/vm/vtableStubs_x86_32.cpp

Tue, 02 Sep 2014 12:48:45 -0700

author
kvn
date
Tue, 02 Sep 2014 12:48:45 -0700
changeset 7152
166d744df0de
parent 6680
78bbf4d43a14
child 6876
710a3c8b516e
child 8997
f8a45a60bc6b
permissions
-rw-r--r--

8055494: Add C2 x86 intrinsic for BigInteger::multiplyToLen() method
Summary: Add new C2 intrinsic for BigInteger::multiplyToLen() on x86 in 64-bit VM.
Reviewed-by: roland

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

mercurial