| 1 | /* |
| 2 | * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved. |
| 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 | * |
| 19 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| 20 | * or visit www.oracle.com if you need additional information or have any |
| 21 | * questions. |
| 22 | * |
| 23 | */ |
| 24 | |
| 25 | #include "precompiled.hpp" |
| 26 | #include "classfile/systemDictionary.hpp" |
| 27 | #include "code/codeBehaviours.hpp" |
| 28 | #include "code/codeCache.hpp" |
| 29 | #include "code/compiledIC.hpp" |
| 30 | #include "code/icBuffer.hpp" |
| 31 | #include "code/nmethod.hpp" |
| 32 | #include "code/vtableStubs.hpp" |
| 33 | #include "interpreter/interpreter.hpp" |
| 34 | #include "interpreter/linkResolver.hpp" |
| 35 | #include "memory/metadataFactory.hpp" |
| 36 | #include "memory/oopFactory.hpp" |
| 37 | #include "memory/resourceArea.hpp" |
| 38 | #include "memory/universe.hpp" |
| 39 | #include "oops/method.inline.hpp" |
| 40 | #include "oops/oop.inline.hpp" |
| 41 | #include "oops/symbol.hpp" |
| 42 | #include "runtime/handles.inline.hpp" |
| 43 | #include "runtime/icache.hpp" |
| 44 | #include "runtime/sharedRuntime.hpp" |
| 45 | #include "runtime/stubRoutines.hpp" |
| 46 | #include "utilities/events.hpp" |
| 47 | |
| 48 | |
| 49 | // Every time a compiled IC is changed or its type is being accessed, |
| 50 | // either the CompiledIC_lock must be set or we must be at a safe point. |
| 51 | |
| 52 | CompiledICLocker::CompiledICLocker(CompiledMethod* method) |
| 53 | : _method(method), |
| 54 | _behaviour(CompiledICProtectionBehaviour::current()), |
| 55 | _locked(_behaviour->lock(_method)), |
| 56 | _nsv(true, !SafepointSynchronize::is_at_safepoint()) { |
| 57 | } |
| 58 | |
| 59 | CompiledICLocker::~CompiledICLocker() { |
| 60 | if (_locked) { |
| 61 | _behaviour->unlock(_method); |
| 62 | } |
| 63 | } |
| 64 | |
| 65 | bool CompiledICLocker::is_safe(CompiledMethod* method) { |
| 66 | return CompiledICProtectionBehaviour::current()->is_safe(method); |
| 67 | } |
| 68 | |
| 69 | bool CompiledICLocker::is_safe(address code) { |
| 70 | CodeBlob* cb = CodeCache::find_blob_unsafe(code); |
| 71 | assert(cb != NULL && cb->is_compiled(), "must be compiled" ); |
| 72 | CompiledMethod* cm = cb->as_compiled_method(); |
| 73 | return CompiledICProtectionBehaviour::current()->is_safe(cm); |
| 74 | } |
| 75 | |
| 76 | //----------------------------------------------------------------------------- |
| 77 | // Low-level access to an inline cache. Private, since they might not be |
| 78 | // MT-safe to use. |
| 79 | |
| 80 | void* CompiledIC::cached_value() const { |
| 81 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 82 | assert (!is_optimized(), "an optimized virtual call does not have a cached metadata" ); |
| 83 | |
| 84 | if (!is_in_transition_state()) { |
| 85 | void* data = get_data(); |
| 86 | // If we let the metadata value here be initialized to zero... |
| 87 | assert(data != NULL || Universe::non_oop_word() == NULL, |
| 88 | "no raw nulls in CompiledIC metadatas, because of patching races" ); |
| 89 | return (data == (void*)Universe::non_oop_word()) ? NULL : data; |
| 90 | } else { |
| 91 | return InlineCacheBuffer::cached_value_for((CompiledIC *)this); |
| 92 | } |
| 93 | } |
| 94 | |
| 95 | |
| 96 | void CompiledIC::internal_set_ic_destination(address entry_point, bool is_icstub, void* cache, bool is_icholder) { |
| 97 | assert(entry_point != NULL, "must set legal entry point" ); |
| 98 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 99 | assert (!is_optimized() || cache == NULL, "an optimized virtual call does not have a cached metadata" ); |
| 100 | assert (cache == NULL || cache != (Metadata*)badOopVal, "invalid metadata" ); |
| 101 | |
| 102 | assert(!is_icholder || is_icholder_entry(entry_point), "must be" ); |
| 103 | |
| 104 | // Don't use ic_destination for this test since that forwards |
| 105 | // through ICBuffer instead of returning the actual current state of |
| 106 | // the CompiledIC. |
| 107 | if (is_icholder_entry(_call->destination())) { |
| 108 | // When patching for the ICStub case the cached value isn't |
| 109 | // overwritten until the ICStub copied into the CompiledIC during |
| 110 | // the next safepoint. Make sure that the CompiledICHolder* is |
| 111 | // marked for release at this point since it won't be identifiable |
| 112 | // once the entry point is overwritten. |
| 113 | InlineCacheBuffer::queue_for_release((CompiledICHolder*)get_data()); |
| 114 | } |
| 115 | |
| 116 | if (TraceCompiledIC) { |
| 117 | tty->print(" " ); |
| 118 | print_compiled_ic(); |
| 119 | tty->print(" changing destination to " INTPTR_FORMAT, p2i(entry_point)); |
| 120 | if (!is_optimized()) { |
| 121 | tty->print(" changing cached %s to " INTPTR_FORMAT, is_icholder ? "icholder" : "metadata" , p2i((address)cache)); |
| 122 | } |
| 123 | if (is_icstub) { |
| 124 | tty->print(" (icstub)" ); |
| 125 | } |
| 126 | tty->cr(); |
| 127 | } |
| 128 | |
| 129 | { |
| 130 | CodeBlob* cb = CodeCache::find_blob_unsafe(_call->instruction_address()); |
| 131 | assert(cb != NULL && cb->is_compiled(), "must be compiled" ); |
| 132 | _call->set_destination_mt_safe(entry_point); |
| 133 | } |
| 134 | |
| 135 | if (is_optimized() || is_icstub) { |
| 136 | // Optimized call sites don't have a cache value and ICStub call |
| 137 | // sites only change the entry point. Changing the value in that |
| 138 | // case could lead to MT safety issues. |
| 139 | assert(cache == NULL, "must be null" ); |
| 140 | return; |
| 141 | } |
| 142 | |
| 143 | if (cache == NULL) cache = (void*)Universe::non_oop_word(); |
| 144 | |
| 145 | set_data((intptr_t)cache); |
| 146 | } |
| 147 | |
| 148 | |
| 149 | void CompiledIC::set_ic_destination(ICStub* stub) { |
| 150 | internal_set_ic_destination(stub->code_begin(), true, NULL, false); |
| 151 | } |
| 152 | |
| 153 | |
| 154 | |
| 155 | address CompiledIC::ic_destination() const { |
| 156 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 157 | if (!is_in_transition_state()) { |
| 158 | return _call->destination(); |
| 159 | } else { |
| 160 | return InlineCacheBuffer::ic_destination_for((CompiledIC *)this); |
| 161 | } |
| 162 | } |
| 163 | |
| 164 | |
| 165 | bool CompiledIC::is_in_transition_state() const { |
| 166 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 167 | return InlineCacheBuffer::contains(_call->destination());; |
| 168 | } |
| 169 | |
| 170 | |
| 171 | bool CompiledIC::is_icholder_call() const { |
| 172 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 173 | return !_is_optimized && is_icholder_entry(ic_destination()); |
| 174 | } |
| 175 | |
| 176 | // Returns native address of 'call' instruction in inline-cache. Used by |
| 177 | // the InlineCacheBuffer when it needs to find the stub. |
| 178 | address CompiledIC::stub_address() const { |
| 179 | assert(is_in_transition_state(), "should only be called when we are in a transition state" ); |
| 180 | return _call->destination(); |
| 181 | } |
| 182 | |
| 183 | // Clears the IC stub if the compiled IC is in transition state |
| 184 | void CompiledIC::clear_ic_stub() { |
| 185 | if (is_in_transition_state()) { |
| 186 | ICStub* stub = ICStub_from_destination_address(stub_address()); |
| 187 | stub->clear(); |
| 188 | } |
| 189 | } |
| 190 | |
| 191 | //----------------------------------------------------------------------------- |
| 192 | // High-level access to an inline cache. Guaranteed to be MT-safe. |
| 193 | |
| 194 | void CompiledIC::initialize_from_iter(RelocIterator* iter) { |
| 195 | assert(iter->addr() == _call->instruction_address(), "must find ic_call" ); |
| 196 | |
| 197 | if (iter->type() == relocInfo::virtual_call_type) { |
| 198 | virtual_call_Relocation* r = iter->virtual_call_reloc(); |
| 199 | _is_optimized = false; |
| 200 | _value = _call->get_load_instruction(r); |
| 201 | } else { |
| 202 | assert(iter->type() == relocInfo::opt_virtual_call_type, "must be a virtual call" ); |
| 203 | _is_optimized = true; |
| 204 | _value = NULL; |
| 205 | } |
| 206 | } |
| 207 | |
| 208 | CompiledIC::CompiledIC(CompiledMethod* cm, NativeCall* call) |
| 209 | : _method(cm) |
| 210 | { |
| 211 | _call = _method->call_wrapper_at((address) call); |
| 212 | address ic_call = _call->instruction_address(); |
| 213 | |
| 214 | assert(ic_call != NULL, "ic_call address must be set" ); |
| 215 | assert(cm != NULL, "must pass compiled method" ); |
| 216 | assert(cm->contains(ic_call), "must be in compiled method" ); |
| 217 | |
| 218 | // Search for the ic_call at the given address. |
| 219 | RelocIterator iter(cm, ic_call, ic_call+1); |
| 220 | bool ret = iter.next(); |
| 221 | assert(ret == true, "relocInfo must exist at this address" ); |
| 222 | assert(iter.addr() == ic_call, "must find ic_call" ); |
| 223 | |
| 224 | initialize_from_iter(&iter); |
| 225 | } |
| 226 | |
| 227 | CompiledIC::CompiledIC(RelocIterator* iter) |
| 228 | : _method(iter->code()) |
| 229 | { |
| 230 | _call = _method->call_wrapper_at(iter->addr()); |
| 231 | address ic_call = _call->instruction_address(); |
| 232 | |
| 233 | CompiledMethod* nm = iter->code(); |
| 234 | assert(ic_call != NULL, "ic_call address must be set" ); |
| 235 | assert(nm != NULL, "must pass compiled method" ); |
| 236 | assert(nm->contains(ic_call), "must be in compiled method" ); |
| 237 | |
| 238 | initialize_from_iter(iter); |
| 239 | } |
| 240 | |
| 241 | // This function may fail for two reasons: either due to running out of vtable |
| 242 | // stubs, or due to running out of IC stubs in an attempted transition to a |
| 243 | // transitional state. The needs_ic_stub_refill value will be set if the failure |
| 244 | // was due to running out of IC stubs, in which case the caller will refill IC |
| 245 | // stubs and retry. |
| 246 | bool CompiledIC::set_to_megamorphic(CallInfo* call_info, Bytecodes::Code bytecode, |
| 247 | bool& needs_ic_stub_refill, TRAPS) { |
| 248 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 249 | assert(!is_optimized(), "cannot set an optimized virtual call to megamorphic" ); |
| 250 | assert(is_call_to_compiled() || is_call_to_interpreted(), "going directly to megamorphic?" ); |
| 251 | |
| 252 | address entry; |
| 253 | if (call_info->call_kind() == CallInfo::itable_call) { |
| 254 | assert(bytecode == Bytecodes::_invokeinterface, "" ); |
| 255 | int itable_index = call_info->itable_index(); |
| 256 | entry = VtableStubs::find_itable_stub(itable_index); |
| 257 | if (entry == NULL) { |
| 258 | return false; |
| 259 | } |
| 260 | #ifdef ASSERT |
| 261 | int index = call_info->resolved_method()->itable_index(); |
| 262 | assert(index == itable_index, "CallInfo pre-computes this" ); |
| 263 | InstanceKlass* k = call_info->resolved_method()->method_holder(); |
| 264 | assert(k->verify_itable_index(itable_index), "sanity check" ); |
| 265 | #endif //ASSERT |
| 266 | CompiledICHolder* holder = new CompiledICHolder(call_info->resolved_method()->method_holder(), |
| 267 | call_info->resolved_klass(), false); |
| 268 | holder->claim(); |
| 269 | if (!InlineCacheBuffer::create_transition_stub(this, holder, entry)) { |
| 270 | delete holder; |
| 271 | needs_ic_stub_refill = true; |
| 272 | return false; |
| 273 | } |
| 274 | } else { |
| 275 | assert(call_info->call_kind() == CallInfo::vtable_call, "either itable or vtable" ); |
| 276 | // Can be different than selected_method->vtable_index(), due to package-private etc. |
| 277 | int vtable_index = call_info->vtable_index(); |
| 278 | assert(call_info->resolved_klass()->verify_vtable_index(vtable_index), "sanity check" ); |
| 279 | entry = VtableStubs::find_vtable_stub(vtable_index); |
| 280 | if (entry == NULL) { |
| 281 | return false; |
| 282 | } |
| 283 | if (!InlineCacheBuffer::create_transition_stub(this, NULL, entry)) { |
| 284 | needs_ic_stub_refill = true; |
| 285 | return false; |
| 286 | } |
| 287 | } |
| 288 | |
| 289 | if (TraceICs) { |
| 290 | ResourceMark rm; |
| 291 | assert(!call_info->selected_method().is_null(), "Unexpected null selected method" ); |
| 292 | tty->print_cr ("IC@" INTPTR_FORMAT ": to megamorphic %s entry: " INTPTR_FORMAT, |
| 293 | p2i(instruction_address()), call_info->selected_method()->print_value_string(), p2i(entry)); |
| 294 | } |
| 295 | |
| 296 | // We can't check this anymore. With lazy deopt we could have already |
| 297 | // cleaned this IC entry before we even return. This is possible if |
| 298 | // we ran out of space in the inline cache buffer trying to do the |
| 299 | // set_next and we safepointed to free up space. This is a benign |
| 300 | // race because the IC entry was complete when we safepointed so |
| 301 | // cleaning it immediately is harmless. |
| 302 | // assert(is_megamorphic(), "sanity check"); |
| 303 | return true; |
| 304 | } |
| 305 | |
| 306 | |
| 307 | // true if destination is megamorphic stub |
| 308 | bool CompiledIC::is_megamorphic() const { |
| 309 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 310 | assert(!is_optimized(), "an optimized call cannot be megamorphic" ); |
| 311 | |
| 312 | // Cannot rely on cached_value. It is either an interface or a method. |
| 313 | return VtableStubs::entry_point(ic_destination()) != NULL; |
| 314 | } |
| 315 | |
| 316 | bool CompiledIC::is_call_to_compiled() const { |
| 317 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 318 | |
| 319 | // Use unsafe, since an inline cache might point to a zombie method. However, the zombie |
| 320 | // method is guaranteed to still exist, since we only remove methods after all inline caches |
| 321 | // has been cleaned up |
| 322 | CodeBlob* cb = CodeCache::find_blob_unsafe(ic_destination()); |
| 323 | bool is_monomorphic = (cb != NULL && cb->is_compiled()); |
| 324 | // Check that the cached_value is a klass for non-optimized monomorphic calls |
| 325 | // This assertion is invalid for compiler1: a call that does not look optimized (no static stub) can be used |
| 326 | // for calling directly to vep without using the inline cache (i.e., cached_value == NULL). |
| 327 | // For JVMCI this occurs because CHA is only used to improve inlining so call sites which could be optimized |
| 328 | // virtuals because there are no currently loaded subclasses of a type are left as virtual call sites. |
| 329 | #ifdef ASSERT |
| 330 | CodeBlob* caller = CodeCache::find_blob_unsafe(instruction_address()); |
| 331 | bool is_c1_or_jvmci_method = caller->is_compiled_by_c1() || caller->is_compiled_by_jvmci(); |
| 332 | assert( is_c1_or_jvmci_method || |
| 333 | !is_monomorphic || |
| 334 | is_optimized() || |
| 335 | !caller->is_alive() || |
| 336 | (cached_metadata() != NULL && cached_metadata()->is_klass()), "sanity check" ); |
| 337 | #endif // ASSERT |
| 338 | return is_monomorphic; |
| 339 | } |
| 340 | |
| 341 | |
| 342 | bool CompiledIC::is_call_to_interpreted() const { |
| 343 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 344 | // Call to interpreter if destination is either calling to a stub (if it |
| 345 | // is optimized), or calling to an I2C blob |
| 346 | bool is_call_to_interpreted = false; |
| 347 | if (!is_optimized()) { |
| 348 | // must use unsafe because the destination can be a zombie (and we're cleaning) |
| 349 | // and the print_compiled_ic code wants to know if site (in the non-zombie) |
| 350 | // is to the interpreter. |
| 351 | CodeBlob* cb = CodeCache::find_blob_unsafe(ic_destination()); |
| 352 | is_call_to_interpreted = (cb != NULL && cb->is_adapter_blob()); |
| 353 | assert(!is_call_to_interpreted || (is_icholder_call() && cached_icholder() != NULL), "sanity check" ); |
| 354 | } else { |
| 355 | // Check if we are calling into our own codeblob (i.e., to a stub) |
| 356 | address dest = ic_destination(); |
| 357 | #ifdef ASSERT |
| 358 | { |
| 359 | _call->verify_resolve_call(dest); |
| 360 | } |
| 361 | #endif /* ASSERT */ |
| 362 | is_call_to_interpreted = _call->is_call_to_interpreted(dest); |
| 363 | } |
| 364 | return is_call_to_interpreted; |
| 365 | } |
| 366 | |
| 367 | bool CompiledIC::set_to_clean(bool in_use) { |
| 368 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 369 | if (TraceInlineCacheClearing || TraceICs) { |
| 370 | tty->print_cr("IC@" INTPTR_FORMAT ": set to clean" , p2i(instruction_address())); |
| 371 | print(); |
| 372 | } |
| 373 | |
| 374 | address entry = _call->get_resolve_call_stub(is_optimized()); |
| 375 | |
| 376 | // A zombie transition will always be safe, since the metadata has already been set to NULL, so |
| 377 | // we only need to patch the destination |
| 378 | bool safe_transition = _call->is_safe_for_patching() || !in_use || is_optimized() || SafepointSynchronize::is_at_safepoint(); |
| 379 | |
| 380 | if (safe_transition) { |
| 381 | // Kill any leftover stub we might have too |
| 382 | clear_ic_stub(); |
| 383 | if (is_optimized()) { |
| 384 | set_ic_destination(entry); |
| 385 | } else { |
| 386 | set_ic_destination_and_value(entry, (void*)NULL); |
| 387 | } |
| 388 | } else { |
| 389 | // Unsafe transition - create stub. |
| 390 | if (!InlineCacheBuffer::create_transition_stub(this, NULL, entry)) { |
| 391 | return false; |
| 392 | } |
| 393 | } |
| 394 | // We can't check this anymore. With lazy deopt we could have already |
| 395 | // cleaned this IC entry before we even return. This is possible if |
| 396 | // we ran out of space in the inline cache buffer trying to do the |
| 397 | // set_next and we safepointed to free up space. This is a benign |
| 398 | // race because the IC entry was complete when we safepointed so |
| 399 | // cleaning it immediately is harmless. |
| 400 | // assert(is_clean(), "sanity check"); |
| 401 | return true; |
| 402 | } |
| 403 | |
| 404 | bool CompiledIC::is_clean() const { |
| 405 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 406 | bool is_clean = false; |
| 407 | address dest = ic_destination(); |
| 408 | is_clean = dest == _call->get_resolve_call_stub(is_optimized()); |
| 409 | assert(!is_clean || is_optimized() || cached_value() == NULL, "sanity check" ); |
| 410 | return is_clean; |
| 411 | } |
| 412 | |
| 413 | bool CompiledIC::set_to_monomorphic(CompiledICInfo& info) { |
| 414 | assert(CompiledICLocker::is_safe(_method), "mt unsafe call" ); |
| 415 | // Updating a cache to the wrong entry can cause bugs that are very hard |
| 416 | // to track down - if cache entry gets invalid - we just clean it. In |
| 417 | // this way it is always the same code path that is responsible for |
| 418 | // updating and resolving an inline cache |
| 419 | // |
| 420 | // The above is no longer true. SharedRuntime::fixup_callers_callsite will change optimized |
| 421 | // callsites. In addition ic_miss code will update a site to monomorphic if it determines |
| 422 | // that an monomorphic call to the interpreter can now be monomorphic to compiled code. |
| 423 | // |
| 424 | // In both of these cases the only thing being modifed is the jump/call target and these |
| 425 | // transitions are mt_safe |
| 426 | |
| 427 | Thread *thread = Thread::current(); |
| 428 | if (info.to_interpreter() || info.to_aot()) { |
| 429 | // Call to interpreter |
| 430 | if (info.is_optimized() && is_optimized()) { |
| 431 | assert(is_clean(), "unsafe IC path" ); |
| 432 | // the call analysis (callee structure) specifies that the call is optimized |
| 433 | // (either because of CHA or the static target is final) |
| 434 | // At code generation time, this call has been emitted as static call |
| 435 | // Call via stub |
| 436 | assert(info.cached_metadata() != NULL && info.cached_metadata()->is_method(), "sanity check" ); |
| 437 | methodHandle method (thread, (Method*)info.cached_metadata()); |
| 438 | _call->set_to_interpreted(method, info); |
| 439 | |
| 440 | if (TraceICs) { |
| 441 | ResourceMark rm(thread); |
| 442 | tty->print_cr ("IC@" INTPTR_FORMAT ": monomorphic to %s: %s" , |
| 443 | p2i(instruction_address()), |
| 444 | (info.to_aot() ? "aot" : "interpreter" ), |
| 445 | method->print_value_string()); |
| 446 | } |
| 447 | } else { |
| 448 | // Call via method-klass-holder |
| 449 | CompiledICHolder* holder = info.claim_cached_icholder(); |
| 450 | if (!InlineCacheBuffer::create_transition_stub(this, holder, info.entry())) { |
| 451 | delete holder; |
| 452 | return false; |
| 453 | } |
| 454 | if (TraceICs) { |
| 455 | ResourceMark rm(thread); |
| 456 | tty->print_cr ("IC@" INTPTR_FORMAT ": monomorphic to interpreter via icholder " , p2i(instruction_address())); |
| 457 | } |
| 458 | } |
| 459 | } else { |
| 460 | // Call to compiled code |
| 461 | bool static_bound = info.is_optimized() || (info.cached_metadata() == NULL); |
| 462 | #ifdef ASSERT |
| 463 | CodeBlob* cb = CodeCache::find_blob_unsafe(info.entry()); |
| 464 | assert (cb != NULL && cb->is_compiled(), "must be compiled!" ); |
| 465 | #endif /* ASSERT */ |
| 466 | |
| 467 | // This is MT safe if we come from a clean-cache and go through a |
| 468 | // non-verified entry point |
| 469 | bool safe = SafepointSynchronize::is_at_safepoint() || |
| 470 | (!is_in_transition_state() && (info.is_optimized() || static_bound || is_clean())); |
| 471 | |
| 472 | if (!safe) { |
| 473 | if (!InlineCacheBuffer::create_transition_stub(this, info.cached_metadata(), info.entry())) { |
| 474 | return false; |
| 475 | } |
| 476 | } else { |
| 477 | if (is_optimized()) { |
| 478 | set_ic_destination(info.entry()); |
| 479 | } else { |
| 480 | set_ic_destination_and_value(info.entry(), info.cached_metadata()); |
| 481 | } |
| 482 | } |
| 483 | |
| 484 | if (TraceICs) { |
| 485 | ResourceMark rm(thread); |
| 486 | assert(info.cached_metadata() == NULL || info.cached_metadata()->is_klass(), "must be" ); |
| 487 | tty->print_cr ("IC@" INTPTR_FORMAT ": monomorphic to compiled (rcvr klass = %s) %s" , |
| 488 | p2i(instruction_address()), |
| 489 | (info.cached_metadata() != NULL) ? ((Klass*)info.cached_metadata())->print_value_string() : "NULL" , |
| 490 | (safe) ? "" : " via stub" ); |
| 491 | } |
| 492 | } |
| 493 | // We can't check this anymore. With lazy deopt we could have already |
| 494 | // cleaned this IC entry before we even return. This is possible if |
| 495 | // we ran out of space in the inline cache buffer trying to do the |
| 496 | // set_next and we safepointed to free up space. This is a benign |
| 497 | // race because the IC entry was complete when we safepointed so |
| 498 | // cleaning it immediately is harmless. |
| 499 | // assert(is_call_to_compiled() || is_call_to_interpreted(), "sanity check"); |
| 500 | return true; |
| 501 | } |
| 502 | |
| 503 | |
| 504 | // is_optimized: Compiler has generated an optimized call (i.e. fixed, no inline cache) |
| 505 | // static_bound: The call can be static bound. If it isn't also optimized, the property |
| 506 | // wasn't provable at time of compilation. An optimized call will have any necessary |
| 507 | // null check, while a static_bound won't. A static_bound (but not optimized) must |
| 508 | // therefore use the unverified entry point. |
| 509 | void CompiledIC::compute_monomorphic_entry(const methodHandle& method, |
| 510 | Klass* receiver_klass, |
| 511 | bool is_optimized, |
| 512 | bool static_bound, |
| 513 | bool caller_is_nmethod, |
| 514 | CompiledICInfo& info, |
| 515 | TRAPS) { |
| 516 | CompiledMethod* method_code = method->code(); |
| 517 | |
| 518 | address entry = NULL; |
| 519 | if (method_code != NULL && method_code->is_in_use()) { |
| 520 | assert(method_code->is_compiled(), "must be compiled" ); |
| 521 | // Call to compiled code |
| 522 | // |
| 523 | // Note: the following problem exists with Compiler1: |
| 524 | // - at compile time we may or may not know if the destination is final |
| 525 | // - if we know that the destination is final (is_optimized), we will emit |
| 526 | // an optimized virtual call (no inline cache), and need a Method* to make |
| 527 | // a call to the interpreter |
| 528 | // - if we don't know if the destination is final, we emit a standard |
| 529 | // virtual call, and use CompiledICHolder to call interpreted code |
| 530 | // (no static call stub has been generated) |
| 531 | // - In the case that we here notice the call is static bound we |
| 532 | // convert the call into what looks to be an optimized virtual call, |
| 533 | // but we must use the unverified entry point (since there will be no |
| 534 | // null check on a call when the target isn't loaded). |
| 535 | // This causes problems when verifying the IC because |
| 536 | // it looks vanilla but is optimized. Code in is_call_to_interpreted |
| 537 | // is aware of this and weakens its asserts. |
| 538 | if (is_optimized) { |
| 539 | entry = method_code->verified_entry_point(); |
| 540 | } else { |
| 541 | entry = method_code->entry_point(); |
| 542 | } |
| 543 | } |
| 544 | bool far_c2a = entry != NULL && caller_is_nmethod && method_code->is_far_code(); |
| 545 | if (entry != NULL && !far_c2a) { |
| 546 | // Call to near compiled code (nmethod or aot). |
| 547 | info.set_compiled_entry(entry, is_optimized ? NULL : receiver_klass, is_optimized); |
| 548 | } else { |
| 549 | if (is_optimized) { |
| 550 | if (far_c2a) { |
| 551 | // Call to aot code from nmethod. |
| 552 | info.set_aot_entry(entry, method()); |
| 553 | } else { |
| 554 | // Use stub entry |
| 555 | info.set_interpreter_entry(method()->get_c2i_entry(), method()); |
| 556 | } |
| 557 | } else { |
| 558 | // Use icholder entry |
| 559 | assert(method_code == NULL || method_code->is_compiled(), "must be compiled" ); |
| 560 | CompiledICHolder* holder = new CompiledICHolder(method(), receiver_klass); |
| 561 | info.set_icholder_entry(method()->get_c2i_unverified_entry(), holder); |
| 562 | } |
| 563 | } |
| 564 | assert(info.is_optimized() == is_optimized, "must agree" ); |
| 565 | } |
| 566 | |
| 567 | |
| 568 | bool CompiledIC::is_icholder_entry(address entry) { |
| 569 | CodeBlob* cb = CodeCache::find_blob_unsafe(entry); |
| 570 | if (cb != NULL && cb->is_adapter_blob()) { |
| 571 | return true; |
| 572 | } |
| 573 | // itable stubs also use CompiledICHolder |
| 574 | if (cb != NULL && cb->is_vtable_blob()) { |
| 575 | VtableStub* s = VtableStubs::entry_point(entry); |
| 576 | return (s != NULL) && s->is_itable_stub(); |
| 577 | } |
| 578 | |
| 579 | return false; |
| 580 | } |
| 581 | |
| 582 | bool CompiledIC::is_icholder_call_site(virtual_call_Relocation* call_site, const CompiledMethod* cm) { |
| 583 | // This call site might have become stale so inspect it carefully. |
| 584 | address dest = cm->call_wrapper_at(call_site->addr())->destination(); |
| 585 | return is_icholder_entry(dest); |
| 586 | } |
| 587 | |
| 588 | // ---------------------------------------------------------------------------- |
| 589 | |
| 590 | bool CompiledStaticCall::set_to_clean(bool in_use) { |
| 591 | // in_use is unused but needed to match template function in CompiledMethod |
| 592 | assert(CompiledICLocker::is_safe(instruction_address()), "mt unsafe call" ); |
| 593 | // Reset call site |
| 594 | set_destination_mt_safe(resolve_call_stub()); |
| 595 | |
| 596 | // Do not reset stub here: It is too expensive to call find_stub. |
| 597 | // Instead, rely on caller (nmethod::clear_inline_caches) to clear |
| 598 | // both the call and its stub. |
| 599 | return true; |
| 600 | } |
| 601 | |
| 602 | bool CompiledStaticCall::is_clean() const { |
| 603 | return destination() == resolve_call_stub(); |
| 604 | } |
| 605 | |
| 606 | bool CompiledStaticCall::is_call_to_compiled() const { |
| 607 | return CodeCache::contains(destination()); |
| 608 | } |
| 609 | |
| 610 | bool CompiledDirectStaticCall::is_call_to_interpreted() const { |
| 611 | // It is a call to interpreted, if it calls to a stub. Hence, the destination |
| 612 | // must be in the stub part of the nmethod that contains the call |
| 613 | CompiledMethod* cm = CodeCache::find_compiled(instruction_address()); |
| 614 | return cm->stub_contains(destination()); |
| 615 | } |
| 616 | |
| 617 | bool CompiledDirectStaticCall::is_call_to_far() const { |
| 618 | // It is a call to aot method, if it calls to a stub. Hence, the destination |
| 619 | // must be in the stub part of the nmethod that contains the call |
| 620 | CodeBlob* desc = CodeCache::find_blob(instruction_address()); |
| 621 | return desc->as_compiled_method()->stub_contains(destination()); |
| 622 | } |
| 623 | |
| 624 | void CompiledStaticCall::set_to_compiled(address entry) { |
| 625 | if (TraceICs) { |
| 626 | ResourceMark rm; |
| 627 | tty->print_cr("%s@" INTPTR_FORMAT ": set_to_compiled " INTPTR_FORMAT, |
| 628 | name(), |
| 629 | p2i(instruction_address()), |
| 630 | p2i(entry)); |
| 631 | } |
| 632 | // Call to compiled code |
| 633 | assert(CodeCache::contains(entry), "wrong entry point" ); |
| 634 | set_destination_mt_safe(entry); |
| 635 | } |
| 636 | |
| 637 | void CompiledStaticCall::set(const StaticCallInfo& info) { |
| 638 | assert(CompiledICLocker::is_safe(instruction_address()), "mt unsafe call" ); |
| 639 | // Updating a cache to the wrong entry can cause bugs that are very hard |
| 640 | // to track down - if cache entry gets invalid - we just clean it. In |
| 641 | // this way it is always the same code path that is responsible for |
| 642 | // updating and resolving an inline cache |
| 643 | assert(is_clean(), "do not update a call entry - use clean" ); |
| 644 | |
| 645 | if (info._to_interpreter) { |
| 646 | // Call to interpreted code |
| 647 | set_to_interpreted(info.callee(), info.entry()); |
| 648 | #if INCLUDE_AOT |
| 649 | } else if (info._to_aot) { |
| 650 | // Call to far code |
| 651 | set_to_far(info.callee(), info.entry()); |
| 652 | #endif |
| 653 | } else { |
| 654 | set_to_compiled(info.entry()); |
| 655 | } |
| 656 | } |
| 657 | |
| 658 | // Compute settings for a CompiledStaticCall. Since we might have to set |
| 659 | // the stub when calling to the interpreter, we need to return arguments. |
| 660 | void CompiledStaticCall::compute_entry(const methodHandle& m, bool caller_is_nmethod, StaticCallInfo& info) { |
| 661 | CompiledMethod* m_code = m->code(); |
| 662 | info._callee = m; |
| 663 | if (m_code != NULL && m_code->is_in_use()) { |
| 664 | if (caller_is_nmethod && m_code->is_far_code()) { |
| 665 | // Call to far aot code from nmethod. |
| 666 | info._to_aot = true; |
| 667 | } else { |
| 668 | info._to_aot = false; |
| 669 | } |
| 670 | info._to_interpreter = false; |
| 671 | info._entry = m_code->verified_entry_point(); |
| 672 | } else { |
| 673 | // Callee is interpreted code. In any case entering the interpreter |
| 674 | // puts a converter-frame on the stack to save arguments. |
| 675 | assert(!m->is_method_handle_intrinsic(), "Compiled code should never call interpreter MH intrinsics" ); |
| 676 | info._to_interpreter = true; |
| 677 | info._entry = m()->get_c2i_entry(); |
| 678 | } |
| 679 | } |
| 680 | |
| 681 | address CompiledDirectStaticCall::find_stub_for(address instruction, bool is_aot) { |
| 682 | // Find reloc. information containing this call-site |
| 683 | RelocIterator iter((nmethod*)NULL, instruction); |
| 684 | while (iter.next()) { |
| 685 | if (iter.addr() == instruction) { |
| 686 | switch(iter.type()) { |
| 687 | case relocInfo::static_call_type: |
| 688 | return iter.static_call_reloc()->static_stub(is_aot); |
| 689 | // We check here for opt_virtual_call_type, since we reuse the code |
| 690 | // from the CompiledIC implementation |
| 691 | case relocInfo::opt_virtual_call_type: |
| 692 | return iter.opt_virtual_call_reloc()->static_stub(is_aot); |
| 693 | case relocInfo::poll_type: |
| 694 | case relocInfo::poll_return_type: // A safepoint can't overlap a call. |
| 695 | default: |
| 696 | ShouldNotReachHere(); |
| 697 | } |
| 698 | } |
| 699 | } |
| 700 | return NULL; |
| 701 | } |
| 702 | |
| 703 | address CompiledDirectStaticCall::find_stub(bool is_aot) { |
| 704 | return CompiledDirectStaticCall::find_stub_for(instruction_address(), is_aot); |
| 705 | } |
| 706 | |
| 707 | address CompiledDirectStaticCall::resolve_call_stub() const { |
| 708 | return SharedRuntime::get_resolve_static_call_stub(); |
| 709 | } |
| 710 | |
| 711 | //----------------------------------------------------------------------------- |
| 712 | // Non-product mode code |
| 713 | #ifndef PRODUCT |
| 714 | |
| 715 | void CompiledIC::verify() { |
| 716 | _call->verify(); |
| 717 | assert(is_clean() || is_call_to_compiled() || is_call_to_interpreted() |
| 718 | || is_optimized() || is_megamorphic(), "sanity check" ); |
| 719 | } |
| 720 | |
| 721 | void CompiledIC::print() { |
| 722 | print_compiled_ic(); |
| 723 | tty->cr(); |
| 724 | } |
| 725 | |
| 726 | void CompiledIC::print_compiled_ic() { |
| 727 | tty->print("Inline cache at " INTPTR_FORMAT ", calling %s " INTPTR_FORMAT " cached_value " INTPTR_FORMAT, |
| 728 | p2i(instruction_address()), is_call_to_interpreted() ? "interpreted " : "" , p2i(ic_destination()), p2i(is_optimized() ? NULL : cached_value())); |
| 729 | } |
| 730 | |
| 731 | void CompiledDirectStaticCall::print() { |
| 732 | tty->print("static call at " INTPTR_FORMAT " -> " , p2i(instruction_address())); |
| 733 | if (is_clean()) { |
| 734 | tty->print("clean" ); |
| 735 | } else if (is_call_to_compiled()) { |
| 736 | tty->print("compiled" ); |
| 737 | } else if (is_call_to_far()) { |
| 738 | tty->print("far" ); |
| 739 | } else if (is_call_to_interpreted()) { |
| 740 | tty->print("interpreted" ); |
| 741 | } |
| 742 | tty->cr(); |
| 743 | } |
| 744 | |
| 745 | #endif // !PRODUCT |
| 746 | |