src/cpu/x86/vm/compiledIC_x86.cpp

Wed, 27 Apr 2016 01:25:04 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:25:04 +0800
changeset 0
f90c822e73f8
child 6876
710a3c8b516e
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/hotspot/
changeset: 6782:28b50d07f6f8
tag: jdk8u25-b17

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 1997, 2014, 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.inline.hpp"
aoqi@0 27 #include "code/compiledIC.hpp"
aoqi@0 28 #include "code/icBuffer.hpp"
aoqi@0 29 #include "code/nmethod.hpp"
aoqi@0 30 #include "memory/resourceArea.hpp"
aoqi@0 31 #include "runtime/mutexLocker.hpp"
aoqi@0 32 #include "runtime/safepoint.hpp"
aoqi@0 33
aoqi@0 34 // Release the CompiledICHolder* associated with this call site is there is one.
aoqi@0 35 void CompiledIC::cleanup_call_site(virtual_call_Relocation* call_site) {
aoqi@0 36 // This call site might have become stale so inspect it carefully.
aoqi@0 37 NativeCall* call = nativeCall_at(call_site->addr());
aoqi@0 38 if (is_icholder_entry(call->destination())) {
aoqi@0 39 NativeMovConstReg* value = nativeMovConstReg_at(call_site->cached_value());
aoqi@0 40 InlineCacheBuffer::queue_for_release((CompiledICHolder*)value->data());
aoqi@0 41 }
aoqi@0 42 }
aoqi@0 43
aoqi@0 44 bool CompiledIC::is_icholder_call_site(virtual_call_Relocation* call_site) {
aoqi@0 45 // This call site might have become stale so inspect it carefully.
aoqi@0 46 NativeCall* call = nativeCall_at(call_site->addr());
aoqi@0 47 return is_icholder_entry(call->destination());
aoqi@0 48 }
aoqi@0 49
aoqi@0 50 //-----------------------------------------------------------------------------
aoqi@0 51 // High-level access to an inline cache. Guaranteed to be MT-safe.
aoqi@0 52
aoqi@0 53 CompiledIC::CompiledIC(nmethod* nm, NativeCall* call)
aoqi@0 54 : _ic_call(call)
aoqi@0 55 {
aoqi@0 56 address ic_call = call->instruction_address();
aoqi@0 57
aoqi@0 58 assert(ic_call != NULL, "ic_call address must be set");
aoqi@0 59 assert(nm != NULL, "must pass nmethod");
aoqi@0 60 assert(nm->contains(ic_call), "must be in nmethod");
aoqi@0 61
aoqi@0 62 // Search for the ic_call at the given address.
aoqi@0 63 RelocIterator iter(nm, ic_call, ic_call+1);
aoqi@0 64 bool ret = iter.next();
aoqi@0 65 assert(ret == true, "relocInfo must exist at this address");
aoqi@0 66 assert(iter.addr() == ic_call, "must find ic_call");
aoqi@0 67 if (iter.type() == relocInfo::virtual_call_type) {
aoqi@0 68 virtual_call_Relocation* r = iter.virtual_call_reloc();
aoqi@0 69 _is_optimized = false;
aoqi@0 70 _value = nativeMovConstReg_at(r->cached_value());
aoqi@0 71 } else {
aoqi@0 72 assert(iter.type() == relocInfo::opt_virtual_call_type, "must be a virtual call");
aoqi@0 73 _is_optimized = true;
aoqi@0 74 _value = NULL;
aoqi@0 75 }
aoqi@0 76 }
aoqi@0 77
aoqi@0 78 // ----------------------------------------------------------------------------
aoqi@0 79
aoqi@0 80 #define __ _masm.
aoqi@0 81 void CompiledStaticCall::emit_to_interp_stub(CodeBuffer &cbuf) {
aoqi@0 82 // Stub is fixed up when the corresponding call is converted from
aoqi@0 83 // calling compiled code to calling interpreted code.
aoqi@0 84 // movq rbx, 0
aoqi@0 85 // jmp -5 # to self
aoqi@0 86
aoqi@0 87 address mark = cbuf.insts_mark(); // Get mark within main instrs section.
aoqi@0 88
aoqi@0 89 // Note that the code buffer's insts_mark is always relative to insts.
aoqi@0 90 // That's why we must use the macroassembler to generate a stub.
aoqi@0 91 MacroAssembler _masm(&cbuf);
aoqi@0 92
aoqi@0 93 address base =
aoqi@0 94 __ start_a_stub(to_interp_stub_size()*2);
aoqi@0 95 if (base == NULL) return; // CodeBuffer::expand failed.
aoqi@0 96 // Static stub relocation stores the instruction address of the call.
aoqi@0 97 __ relocate(static_stub_Relocation::spec(mark), Assembler::imm_operand);
aoqi@0 98 // Static stub relocation also tags the Method* in the code-stream.
aoqi@0 99 __ mov_metadata(rbx, (Metadata*) NULL); // Method is zapped till fixup time.
aoqi@0 100 // This is recognized as unresolved by relocs/nativeinst/ic code.
aoqi@0 101 __ jump(RuntimeAddress(__ pc()));
aoqi@0 102
aoqi@0 103 // Update current stubs pointer and restore insts_end.
aoqi@0 104 __ end_a_stub();
aoqi@0 105 }
aoqi@0 106 #undef __
aoqi@0 107
aoqi@0 108 int CompiledStaticCall::to_interp_stub_size() {
aoqi@0 109 return NOT_LP64(10) // movl; jmp
aoqi@0 110 LP64_ONLY(15); // movq (1+1+8); jmp (1+4)
aoqi@0 111 }
aoqi@0 112
aoqi@0 113 // Relocation entries for call stub, compiled java to interpreter.
aoqi@0 114 int CompiledStaticCall::reloc_to_interp_stub() {
aoqi@0 115 return 4; // 3 in emit_to_interp_stub + 1 in emit_call
aoqi@0 116 }
aoqi@0 117
aoqi@0 118 void CompiledStaticCall::set_to_interpreted(methodHandle callee, address entry) {
aoqi@0 119 address stub = find_stub();
aoqi@0 120 guarantee(stub != NULL, "stub not found");
aoqi@0 121
aoqi@0 122 if (TraceICs) {
aoqi@0 123 ResourceMark rm;
aoqi@0 124 tty->print_cr("CompiledStaticCall@" INTPTR_FORMAT ": set_to_interpreted %s",
aoqi@0 125 p2i(instruction_address()),
aoqi@0 126 callee->name_and_sig_as_C_string());
aoqi@0 127 }
aoqi@0 128
aoqi@0 129 // Creation also verifies the object.
aoqi@0 130 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub);
aoqi@0 131 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 132
aoqi@0 133 assert(method_holder->data() == 0 || method_holder->data() == (intptr_t)callee(),
aoqi@0 134 "a) MT-unsafe modification of inline cache");
aoqi@0 135 assert(jump->jump_destination() == (address)-1 || jump->jump_destination() == entry,
aoqi@0 136 "b) MT-unsafe modification of inline cache");
aoqi@0 137
aoqi@0 138 // Update stub.
aoqi@0 139 method_holder->set_data((intptr_t)callee());
aoqi@0 140 jump->set_jump_destination(entry);
aoqi@0 141
aoqi@0 142 // Update jump to call.
aoqi@0 143 set_destination_mt_safe(stub);
aoqi@0 144 }
aoqi@0 145
aoqi@0 146 void CompiledStaticCall::set_stub_to_clean(static_stub_Relocation* static_stub) {
aoqi@0 147 assert (CompiledIC_lock->is_locked() || SafepointSynchronize::is_at_safepoint(), "mt unsafe call");
aoqi@0 148 // Reset stub.
aoqi@0 149 address stub = static_stub->addr();
aoqi@0 150 assert(stub != NULL, "stub not found");
aoqi@0 151 // Creation also verifies the object.
aoqi@0 152 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub);
aoqi@0 153 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 154 method_holder->set_data(0);
aoqi@0 155 jump->set_jump_destination((address)-1);
aoqi@0 156 }
aoqi@0 157
aoqi@0 158 //-----------------------------------------------------------------------------
aoqi@0 159 // Non-product mode code
aoqi@0 160 #ifndef PRODUCT
aoqi@0 161
aoqi@0 162 void CompiledStaticCall::verify() {
aoqi@0 163 // Verify call.
aoqi@0 164 NativeCall::verify();
aoqi@0 165 if (os::is_MP()) {
aoqi@0 166 verify_alignment();
aoqi@0 167 }
aoqi@0 168
aoqi@0 169 // Verify stub.
aoqi@0 170 address stub = find_stub();
aoqi@0 171 assert(stub != NULL, "no stub found for static call");
aoqi@0 172 // Creation also verifies the object.
aoqi@0 173 NativeMovConstReg* method_holder = nativeMovConstReg_at(stub);
aoqi@0 174 NativeJump* jump = nativeJump_at(method_holder->next_instruction_address());
aoqi@0 175
aoqi@0 176 // Verify state.
aoqi@0 177 assert(is_clean() || is_call_to_compiled() || is_call_to_interpreted(), "sanity check");
aoqi@0 178 }
aoqi@0 179
aoqi@0 180 #endif // !PRODUCT

mercurial