Thu, 24 May 2018 17:06:56 +0800
Merge
aoqi@0 | 1 | /* |
kevinw@8368 | 2 | * Copyright (c) 2003, 2016, Oracle and/or its affiliates. All rights reserved. |
aoqi@0 | 3 | * Copyright 2007, 2008, 2009, 2010, 2011 Red Hat, Inc. |
aoqi@0 | 4 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
aoqi@0 | 5 | * |
aoqi@0 | 6 | * This code is free software; you can redistribute it and/or modify it |
aoqi@0 | 7 | * under the terms of the GNU General Public License version 2 only, as |
aoqi@0 | 8 | * published by the Free Software Foundation. |
aoqi@0 | 9 | * |
aoqi@0 | 10 | * This code is distributed in the hope that it will be useful, but WITHOUT |
aoqi@0 | 11 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
aoqi@0 | 12 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
aoqi@0 | 13 | * version 2 for more details (a copy is included in the LICENSE file that |
aoqi@0 | 14 | * accompanied this code). |
aoqi@0 | 15 | * |
aoqi@0 | 16 | * You should have received a copy of the GNU General Public License version |
aoqi@0 | 17 | * 2 along with this work; if not, write to the Free Software Foundation, |
aoqi@0 | 18 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
aoqi@0 | 19 | * |
aoqi@0 | 20 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
aoqi@0 | 21 | * or visit www.oracle.com if you need additional information or have any |
aoqi@0 | 22 | * questions. |
aoqi@0 | 23 | * |
aoqi@0 | 24 | */ |
aoqi@0 | 25 | |
aoqi@0 | 26 | #include "precompiled.hpp" |
aoqi@0 | 27 | #include "asm/assembler.hpp" |
aoqi@0 | 28 | #include "interpreter/bytecodeHistogram.hpp" |
aoqi@0 | 29 | #include "interpreter/cppInterpreter.hpp" |
aoqi@0 | 30 | #include "interpreter/interpreter.hpp" |
aoqi@0 | 31 | #include "interpreter/interpreterGenerator.hpp" |
aoqi@0 | 32 | #include "interpreter/interpreterRuntime.hpp" |
aoqi@0 | 33 | #include "oops/arrayOop.hpp" |
aoqi@0 | 34 | #include "oops/methodData.hpp" |
aoqi@0 | 35 | #include "oops/method.hpp" |
aoqi@0 | 36 | #include "oops/oop.inline.hpp" |
aoqi@0 | 37 | #include "prims/jvmtiExport.hpp" |
aoqi@0 | 38 | #include "prims/jvmtiThreadState.hpp" |
aoqi@0 | 39 | #include "runtime/arguments.hpp" |
aoqi@0 | 40 | #include "runtime/deoptimization.hpp" |
aoqi@0 | 41 | #include "runtime/frame.inline.hpp" |
aoqi@0 | 42 | #include "runtime/interfaceSupport.hpp" |
goetz@6911 | 43 | #include "runtime/orderAccess.inline.hpp" |
aoqi@0 | 44 | #include "runtime/sharedRuntime.hpp" |
aoqi@0 | 45 | #include "runtime/stubRoutines.hpp" |
aoqi@0 | 46 | #include "runtime/synchronizer.hpp" |
aoqi@0 | 47 | #include "runtime/timer.hpp" |
aoqi@0 | 48 | #include "runtime/vframeArray.hpp" |
aoqi@0 | 49 | #include "stack_zero.inline.hpp" |
aoqi@0 | 50 | #include "utilities/debug.hpp" |
aoqi@0 | 51 | #include "utilities/macros.hpp" |
aoqi@0 | 52 | #ifdef SHARK |
aoqi@0 | 53 | #include "shark/shark_globals.hpp" |
aoqi@0 | 54 | #endif |
aoqi@0 | 55 | |
aoqi@0 | 56 | #ifdef CC_INTERP |
aoqi@0 | 57 | |
aoqi@0 | 58 | #define fixup_after_potential_safepoint() \ |
aoqi@0 | 59 | method = istate->method() |
aoqi@0 | 60 | |
aoqi@0 | 61 | #define CALL_VM_NOCHECK_NOFIX(func) \ |
aoqi@0 | 62 | thread->set_last_Java_frame(); \ |
aoqi@0 | 63 | func; \ |
aoqi@0 | 64 | thread->reset_last_Java_frame(); |
aoqi@0 | 65 | |
aoqi@0 | 66 | #define CALL_VM_NOCHECK(func) \ |
aoqi@0 | 67 | CALL_VM_NOCHECK_NOFIX(func) \ |
aoqi@0 | 68 | fixup_after_potential_safepoint() |
aoqi@0 | 69 | |
aoqi@0 | 70 | int CppInterpreter::normal_entry(Method* method, intptr_t UNUSED, TRAPS) { |
aoqi@0 | 71 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 72 | |
aoqi@0 | 73 | // Allocate and initialize our frame. |
aoqi@0 | 74 | InterpreterFrame *frame = InterpreterFrame::build(method, CHECK_0); |
aoqi@0 | 75 | thread->push_zero_frame(frame); |
aoqi@0 | 76 | |
aoqi@0 | 77 | // Execute those bytecodes! |
aoqi@0 | 78 | main_loop(0, THREAD); |
aoqi@0 | 79 | |
aoqi@0 | 80 | // No deoptimized frames on the stack |
aoqi@0 | 81 | return 0; |
aoqi@0 | 82 | } |
aoqi@0 | 83 | |
kevinw@8368 | 84 | intptr_t narrow(BasicType type, intptr_t result) { |
kevinw@8368 | 85 | // mask integer result to narrower return type. |
kevinw@8368 | 86 | switch (type) { |
kevinw@8368 | 87 | case T_BOOLEAN: |
kevinw@8368 | 88 | return result&1; |
kevinw@8368 | 89 | case T_BYTE: |
kevinw@8368 | 90 | return (intptr_t)(jbyte)result; |
kevinw@8368 | 91 | case T_CHAR: |
kevinw@8368 | 92 | return (intptr_t)(uintptr_t)(jchar)result; |
kevinw@8368 | 93 | case T_SHORT: |
kevinw@8368 | 94 | return (intptr_t)(jshort)result; |
kevinw@8368 | 95 | case T_OBJECT: // nothing to do fall through |
kevinw@8402 | 96 | case T_ARRAY: |
kevinw@8368 | 97 | case T_LONG: |
kevinw@8368 | 98 | case T_INT: |
kevinw@8368 | 99 | case T_FLOAT: |
kevinw@8368 | 100 | case T_DOUBLE: |
kevinw@8368 | 101 | case T_VOID: |
kevinw@8368 | 102 | return result; |
kevinw@8368 | 103 | default : ShouldNotReachHere(); |
kevinw@8368 | 104 | } |
kevinw@8368 | 105 | } |
kevinw@8368 | 106 | |
kevinw@8368 | 107 | |
aoqi@0 | 108 | void CppInterpreter::main_loop(int recurse, TRAPS) { |
aoqi@0 | 109 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 110 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 111 | |
aoqi@0 | 112 | // If we are entering from a deopt we may need to call |
aoqi@0 | 113 | // ourself a few times in order to get to our frame. |
aoqi@0 | 114 | if (recurse) |
aoqi@0 | 115 | main_loop(recurse - 1, THREAD); |
aoqi@0 | 116 | |
aoqi@0 | 117 | InterpreterFrame *frame = thread->top_zero_frame()->as_interpreter_frame(); |
aoqi@0 | 118 | interpreterState istate = frame->interpreter_state(); |
aoqi@0 | 119 | Method* method = istate->method(); |
aoqi@0 | 120 | |
aoqi@0 | 121 | intptr_t *result = NULL; |
aoqi@0 | 122 | int result_slots = 0; |
aoqi@0 | 123 | |
aoqi@0 | 124 | while (true) { |
aoqi@0 | 125 | // We can set up the frame anchor with everything we want at |
aoqi@0 | 126 | // this point as we are thread_in_Java and no safepoints can |
aoqi@0 | 127 | // occur until we go to vm mode. We do have to clear flags |
aoqi@0 | 128 | // on return from vm but that is it. |
aoqi@0 | 129 | thread->set_last_Java_frame(); |
aoqi@0 | 130 | |
aoqi@0 | 131 | // Call the interpreter |
aoqi@0 | 132 | if (JvmtiExport::can_post_interpreter_events()) |
aoqi@0 | 133 | BytecodeInterpreter::runWithChecks(istate); |
aoqi@0 | 134 | else |
aoqi@0 | 135 | BytecodeInterpreter::run(istate); |
aoqi@0 | 136 | fixup_after_potential_safepoint(); |
aoqi@0 | 137 | |
aoqi@0 | 138 | // Clear the frame anchor |
aoqi@0 | 139 | thread->reset_last_Java_frame(); |
aoqi@0 | 140 | |
aoqi@0 | 141 | // Examine the message from the interpreter to decide what to do |
aoqi@0 | 142 | if (istate->msg() == BytecodeInterpreter::call_method) { |
aoqi@0 | 143 | Method* callee = istate->callee(); |
aoqi@0 | 144 | |
aoqi@0 | 145 | // Trim back the stack to put the parameters at the top |
aoqi@0 | 146 | stack->set_sp(istate->stack() + 1); |
aoqi@0 | 147 | |
aoqi@0 | 148 | // Make the call |
aoqi@0 | 149 | Interpreter::invoke_method(callee, istate->callee_entry_point(), THREAD); |
aoqi@0 | 150 | fixup_after_potential_safepoint(); |
aoqi@0 | 151 | |
aoqi@0 | 152 | // Convert the result |
aoqi@0 | 153 | istate->set_stack(stack->sp() - 1); |
aoqi@0 | 154 | |
aoqi@0 | 155 | // Restore the stack |
aoqi@0 | 156 | stack->set_sp(istate->stack_limit() + 1); |
aoqi@0 | 157 | |
aoqi@0 | 158 | // Resume the interpreter |
aoqi@0 | 159 | istate->set_msg(BytecodeInterpreter::method_resume); |
aoqi@0 | 160 | } |
aoqi@0 | 161 | else if (istate->msg() == BytecodeInterpreter::more_monitors) { |
aoqi@0 | 162 | int monitor_words = frame::interpreter_frame_monitor_size(); |
aoqi@0 | 163 | |
aoqi@0 | 164 | // Allocate the space |
aoqi@0 | 165 | stack->overflow_check(monitor_words, THREAD); |
aoqi@0 | 166 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 167 | break; |
aoqi@0 | 168 | stack->alloc(monitor_words * wordSize); |
aoqi@0 | 169 | |
aoqi@0 | 170 | // Move the expression stack contents |
aoqi@0 | 171 | for (intptr_t *p = istate->stack() + 1; p < istate->stack_base(); p++) |
aoqi@0 | 172 | *(p - monitor_words) = *p; |
aoqi@0 | 173 | |
aoqi@0 | 174 | // Move the expression stack pointers |
aoqi@0 | 175 | istate->set_stack_limit(istate->stack_limit() - monitor_words); |
aoqi@0 | 176 | istate->set_stack(istate->stack() - monitor_words); |
aoqi@0 | 177 | istate->set_stack_base(istate->stack_base() - monitor_words); |
aoqi@0 | 178 | |
aoqi@0 | 179 | // Zero the new monitor so the interpreter can find it. |
aoqi@0 | 180 | ((BasicObjectLock *) istate->stack_base())->set_obj(NULL); |
aoqi@0 | 181 | |
aoqi@0 | 182 | // Resume the interpreter |
aoqi@0 | 183 | istate->set_msg(BytecodeInterpreter::got_monitors); |
aoqi@0 | 184 | } |
aoqi@0 | 185 | else if (istate->msg() == BytecodeInterpreter::return_from_method) { |
aoqi@0 | 186 | // Copy the result into the caller's frame |
kevinw@8402 | 187 | result_slots = type2size[method->result_type()]; |
aoqi@0 | 188 | assert(result_slots >= 0 && result_slots <= 2, "what?"); |
aoqi@0 | 189 | result = istate->stack() + result_slots; |
aoqi@0 | 190 | break; |
aoqi@0 | 191 | } |
aoqi@0 | 192 | else if (istate->msg() == BytecodeInterpreter::throwing_exception) { |
aoqi@0 | 193 | assert(HAS_PENDING_EXCEPTION, "should do"); |
aoqi@0 | 194 | break; |
aoqi@0 | 195 | } |
aoqi@0 | 196 | else if (istate->msg() == BytecodeInterpreter::do_osr) { |
aoqi@0 | 197 | // Unwind the current frame |
aoqi@0 | 198 | thread->pop_zero_frame(); |
aoqi@0 | 199 | |
aoqi@0 | 200 | // Remove any extension of the previous frame |
aoqi@0 | 201 | int extra_locals = method->max_locals() - method->size_of_parameters(); |
aoqi@0 | 202 | stack->set_sp(stack->sp() + extra_locals); |
aoqi@0 | 203 | |
aoqi@0 | 204 | // Jump into the OSR method |
aoqi@0 | 205 | Interpreter::invoke_osr( |
aoqi@0 | 206 | method, istate->osr_entry(), istate->osr_buf(), THREAD); |
aoqi@0 | 207 | return; |
aoqi@0 | 208 | } |
aoqi@0 | 209 | else { |
aoqi@0 | 210 | ShouldNotReachHere(); |
aoqi@0 | 211 | } |
aoqi@0 | 212 | } |
aoqi@0 | 213 | |
aoqi@0 | 214 | // Unwind the current frame |
aoqi@0 | 215 | thread->pop_zero_frame(); |
aoqi@0 | 216 | |
aoqi@0 | 217 | // Pop our local variables |
aoqi@0 | 218 | stack->set_sp(stack->sp() + method->max_locals()); |
aoqi@0 | 219 | |
aoqi@0 | 220 | // Push our result |
kevinw@8368 | 221 | for (int i = 0; i < result_slots; i++) { |
kevinw@8368 | 222 | // Adjust result to smaller |
aph@8429 | 223 | union { |
aph@8429 | 224 | intptr_t res; |
aph@8429 | 225 | jint res_jint; |
aph@8429 | 226 | }; |
aph@8429 | 227 | res = result[-i]; |
kevinw@8368 | 228 | if (result_slots == 1) { |
aph@8429 | 229 | BasicType t = method->result_type(); |
aph@8429 | 230 | if (is_subword_type(t)) { |
aph@8429 | 231 | res_jint = (jint)narrow(t, res_jint); |
aph@8429 | 232 | } |
kevinw@8368 | 233 | } |
kevinw@8368 | 234 | stack->push(res); |
kevinw@8368 | 235 | } |
aoqi@0 | 236 | } |
aoqi@0 | 237 | |
aoqi@0 | 238 | int CppInterpreter::native_entry(Method* method, intptr_t UNUSED, TRAPS) { |
aoqi@0 | 239 | // Make sure method is native and not abstract |
aoqi@0 | 240 | assert(method->is_native() && !method->is_abstract(), "should be"); |
aoqi@0 | 241 | |
aoqi@0 | 242 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 243 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 244 | |
aoqi@0 | 245 | // Allocate and initialize our frame |
aoqi@0 | 246 | InterpreterFrame *frame = InterpreterFrame::build(method, CHECK_0); |
aoqi@0 | 247 | thread->push_zero_frame(frame); |
aoqi@0 | 248 | interpreterState istate = frame->interpreter_state(); |
aoqi@0 | 249 | intptr_t *locals = istate->locals(); |
aoqi@0 | 250 | |
aoqi@0 | 251 | // Update the invocation counter |
aoqi@0 | 252 | if ((UseCompiler || CountCompiledCalls) && !method->is_synchronized()) { |
aoqi@0 | 253 | MethodCounters* mcs = method->method_counters(); |
aoqi@0 | 254 | if (mcs == NULL) { |
aoqi@0 | 255 | CALL_VM_NOCHECK(mcs = InterpreterRuntime::build_method_counters(thread, method)); |
aoqi@0 | 256 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 257 | goto unwind_and_return; |
aoqi@0 | 258 | } |
aoqi@0 | 259 | InvocationCounter *counter = mcs->invocation_counter(); |
aoqi@0 | 260 | counter->increment(); |
aoqi@0 | 261 | if (counter->reached_InvocationLimit(mcs->backedge_counter())) { |
aoqi@0 | 262 | CALL_VM_NOCHECK( |
aoqi@0 | 263 | InterpreterRuntime::frequency_counter_overflow(thread, NULL)); |
aoqi@0 | 264 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 265 | goto unwind_and_return; |
aoqi@0 | 266 | } |
aoqi@0 | 267 | } |
aoqi@0 | 268 | |
aoqi@0 | 269 | // Lock if necessary |
aoqi@0 | 270 | BasicObjectLock *monitor; |
aoqi@0 | 271 | monitor = NULL; |
aoqi@0 | 272 | if (method->is_synchronized()) { |
aoqi@0 | 273 | monitor = (BasicObjectLock*) istate->stack_base(); |
aoqi@0 | 274 | oop lockee = monitor->obj(); |
aoqi@0 | 275 | markOop disp = lockee->mark()->set_unlocked(); |
aoqi@0 | 276 | |
aoqi@0 | 277 | monitor->lock()->set_displaced_header(disp); |
aoqi@0 | 278 | if (Atomic::cmpxchg_ptr(monitor, lockee->mark_addr(), disp) != disp) { |
aoqi@0 | 279 | if (thread->is_lock_owned((address) disp->clear_lock_bits())) { |
aoqi@0 | 280 | monitor->lock()->set_displaced_header(NULL); |
aoqi@0 | 281 | } |
aoqi@0 | 282 | else { |
aoqi@0 | 283 | CALL_VM_NOCHECK(InterpreterRuntime::monitorenter(thread, monitor)); |
aoqi@0 | 284 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 285 | goto unwind_and_return; |
aoqi@0 | 286 | } |
aoqi@0 | 287 | } |
aoqi@0 | 288 | } |
aoqi@0 | 289 | |
aoqi@0 | 290 | // Get the signature handler |
aoqi@0 | 291 | InterpreterRuntime::SignatureHandler *handler; { |
aoqi@0 | 292 | address handlerAddr = method->signature_handler(); |
aoqi@0 | 293 | if (handlerAddr == NULL) { |
aoqi@0 | 294 | CALL_VM_NOCHECK(InterpreterRuntime::prepare_native_call(thread, method)); |
aoqi@0 | 295 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 296 | goto unlock_unwind_and_return; |
aoqi@0 | 297 | |
aoqi@0 | 298 | handlerAddr = method->signature_handler(); |
aoqi@0 | 299 | assert(handlerAddr != NULL, "eh?"); |
aoqi@0 | 300 | } |
aoqi@0 | 301 | if (handlerAddr == (address) InterpreterRuntime::slow_signature_handler) { |
aoqi@0 | 302 | CALL_VM_NOCHECK(handlerAddr = |
aoqi@0 | 303 | InterpreterRuntime::slow_signature_handler(thread, method, NULL,NULL)); |
aoqi@0 | 304 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 305 | goto unlock_unwind_and_return; |
aoqi@0 | 306 | } |
aoqi@0 | 307 | handler = \ |
aoqi@0 | 308 | InterpreterRuntime::SignatureHandler::from_handlerAddr(handlerAddr); |
aoqi@0 | 309 | } |
aoqi@0 | 310 | |
aoqi@0 | 311 | // Get the native function entry point |
aoqi@0 | 312 | address function; |
aoqi@0 | 313 | function = method->native_function(); |
aoqi@0 | 314 | assert(function != NULL, "should be set if signature handler is"); |
aoqi@0 | 315 | |
aoqi@0 | 316 | // Build the argument list |
aoqi@0 | 317 | stack->overflow_check(handler->argument_count() * 2, THREAD); |
aoqi@0 | 318 | if (HAS_PENDING_EXCEPTION) |
aoqi@0 | 319 | goto unlock_unwind_and_return; |
aoqi@0 | 320 | |
aoqi@0 | 321 | void **arguments; |
aoqi@0 | 322 | void *mirror; { |
aoqi@0 | 323 | arguments = |
aoqi@0 | 324 | (void **) stack->alloc(handler->argument_count() * sizeof(void **)); |
aoqi@0 | 325 | void **dst = arguments; |
aoqi@0 | 326 | |
aoqi@0 | 327 | void *env = thread->jni_environment(); |
aoqi@0 | 328 | *(dst++) = &env; |
aoqi@0 | 329 | |
aoqi@0 | 330 | if (method->is_static()) { |
aoqi@0 | 331 | istate->set_oop_temp( |
aoqi@0 | 332 | method->constants()->pool_holder()->java_mirror()); |
aoqi@0 | 333 | mirror = istate->oop_temp_addr(); |
aoqi@0 | 334 | *(dst++) = &mirror; |
aoqi@0 | 335 | } |
aoqi@0 | 336 | |
aoqi@0 | 337 | intptr_t *src = locals; |
aoqi@0 | 338 | for (int i = dst - arguments; i < handler->argument_count(); i++) { |
aoqi@0 | 339 | ffi_type *type = handler->argument_type(i); |
aoqi@0 | 340 | if (type == &ffi_type_pointer) { |
aoqi@0 | 341 | if (*src) { |
aoqi@0 | 342 | stack->push((intptr_t) src); |
aoqi@0 | 343 | *(dst++) = stack->sp(); |
aoqi@0 | 344 | } |
aoqi@0 | 345 | else { |
aoqi@0 | 346 | *(dst++) = src; |
aoqi@0 | 347 | } |
aoqi@0 | 348 | src--; |
aoqi@0 | 349 | } |
aoqi@0 | 350 | else if (type->size == 4) { |
aoqi@0 | 351 | *(dst++) = src--; |
aoqi@0 | 352 | } |
aoqi@0 | 353 | else if (type->size == 8) { |
aoqi@0 | 354 | src--; |
aoqi@0 | 355 | *(dst++) = src--; |
aoqi@0 | 356 | } |
aoqi@0 | 357 | else { |
aoqi@0 | 358 | ShouldNotReachHere(); |
aoqi@0 | 359 | } |
aoqi@0 | 360 | } |
aoqi@0 | 361 | } |
aoqi@0 | 362 | |
aoqi@0 | 363 | // Set up the Java frame anchor |
aoqi@0 | 364 | thread->set_last_Java_frame(); |
aoqi@0 | 365 | |
aoqi@0 | 366 | // Change the thread state to _thread_in_native |
aoqi@0 | 367 | ThreadStateTransition::transition_from_java(thread, _thread_in_native); |
aoqi@0 | 368 | |
aoqi@0 | 369 | // Make the call |
aoqi@0 | 370 | intptr_t result[4 - LogBytesPerWord]; |
aoqi@0 | 371 | ffi_call(handler->cif(), (void (*)()) function, result, arguments); |
aoqi@0 | 372 | |
aoqi@0 | 373 | // Change the thread state back to _thread_in_Java. |
aoqi@0 | 374 | // ThreadStateTransition::transition_from_native() cannot be used |
aoqi@0 | 375 | // here because it does not check for asynchronous exceptions. |
aoqi@0 | 376 | // We have to manage the transition ourself. |
aoqi@0 | 377 | thread->set_thread_state(_thread_in_native_trans); |
aoqi@0 | 378 | |
aoqi@0 | 379 | // Make sure new state is visible in the GC thread |
aoqi@0 | 380 | if (os::is_MP()) { |
aoqi@0 | 381 | if (UseMembar) { |
aoqi@0 | 382 | OrderAccess::fence(); |
aoqi@0 | 383 | } |
aoqi@0 | 384 | else { |
aoqi@0 | 385 | InterfaceSupport::serialize_memory(thread); |
aoqi@0 | 386 | } |
aoqi@0 | 387 | } |
aoqi@0 | 388 | |
aoqi@0 | 389 | // Handle safepoint operations, pending suspend requests, |
aoqi@0 | 390 | // and pending asynchronous exceptions. |
aoqi@0 | 391 | if (SafepointSynchronize::do_call_back() || |
aoqi@0 | 392 | thread->has_special_condition_for_native_trans()) { |
aoqi@0 | 393 | JavaThread::check_special_condition_for_native_trans(thread); |
aoqi@0 | 394 | CHECK_UNHANDLED_OOPS_ONLY(thread->clear_unhandled_oops()); |
aoqi@0 | 395 | } |
aoqi@0 | 396 | |
aoqi@0 | 397 | // Finally we can change the thread state to _thread_in_Java. |
aoqi@0 | 398 | thread->set_thread_state(_thread_in_Java); |
aoqi@0 | 399 | fixup_after_potential_safepoint(); |
aoqi@0 | 400 | |
aoqi@0 | 401 | // Clear the frame anchor |
aoqi@0 | 402 | thread->reset_last_Java_frame(); |
aoqi@0 | 403 | |
aoqi@0 | 404 | // If the result was an oop then unbox it and store it in |
aoqi@0 | 405 | // oop_temp where the garbage collector can see it before |
aoqi@0 | 406 | // we release the handle it might be protected by. |
aoqi@0 | 407 | if (handler->result_type() == &ffi_type_pointer) { |
aoqi@0 | 408 | if (result[0]) |
aoqi@0 | 409 | istate->set_oop_temp(*(oop *) result[0]); |
aoqi@0 | 410 | else |
aoqi@0 | 411 | istate->set_oop_temp(NULL); |
aoqi@0 | 412 | } |
aoqi@0 | 413 | |
aoqi@0 | 414 | // Reset handle block |
aoqi@0 | 415 | thread->active_handles()->clear(); |
aoqi@0 | 416 | |
aoqi@0 | 417 | unlock_unwind_and_return: |
aoqi@0 | 418 | |
aoqi@0 | 419 | // Unlock if necessary |
aoqi@0 | 420 | if (monitor) { |
aoqi@0 | 421 | BasicLock *lock = monitor->lock(); |
aoqi@0 | 422 | markOop header = lock->displaced_header(); |
aoqi@0 | 423 | oop rcvr = monitor->obj(); |
aoqi@0 | 424 | monitor->set_obj(NULL); |
aoqi@0 | 425 | |
aoqi@0 | 426 | if (header != NULL) { |
aoqi@0 | 427 | if (Atomic::cmpxchg_ptr(header, rcvr->mark_addr(), lock) != lock) { |
aoqi@0 | 428 | monitor->set_obj(rcvr); { |
aoqi@0 | 429 | HandleMark hm(thread); |
aoqi@0 | 430 | CALL_VM_NOCHECK(InterpreterRuntime::monitorexit(thread, monitor)); |
aoqi@0 | 431 | } |
aoqi@0 | 432 | } |
aoqi@0 | 433 | } |
aoqi@0 | 434 | } |
aoqi@0 | 435 | |
aoqi@0 | 436 | unwind_and_return: |
aoqi@0 | 437 | |
aoqi@0 | 438 | // Unwind the current activation |
aoqi@0 | 439 | thread->pop_zero_frame(); |
aoqi@0 | 440 | |
aoqi@0 | 441 | // Pop our parameters |
aoqi@0 | 442 | stack->set_sp(stack->sp() + method->size_of_parameters()); |
aoqi@0 | 443 | |
aoqi@0 | 444 | // Push our result |
aoqi@0 | 445 | if (!HAS_PENDING_EXCEPTION) { |
kevinw@8402 | 446 | BasicType type = method->result_type(); |
aoqi@0 | 447 | stack->set_sp(stack->sp() - type2size[type]); |
aoqi@0 | 448 | |
aoqi@0 | 449 | switch (type) { |
aoqi@0 | 450 | case T_VOID: |
aoqi@0 | 451 | break; |
aoqi@0 | 452 | |
aoqi@0 | 453 | case T_BOOLEAN: |
aoqi@0 | 454 | #ifndef VM_LITTLE_ENDIAN |
aoqi@0 | 455 | result[0] <<= (BitsPerWord - BitsPerByte); |
aoqi@0 | 456 | #endif |
aoqi@0 | 457 | SET_LOCALS_INT(*(jboolean *) result != 0, 0); |
aoqi@0 | 458 | break; |
aoqi@0 | 459 | |
aoqi@0 | 460 | case T_CHAR: |
aoqi@0 | 461 | #ifndef VM_LITTLE_ENDIAN |
aoqi@0 | 462 | result[0] <<= (BitsPerWord - BitsPerShort); |
aoqi@0 | 463 | #endif |
aoqi@0 | 464 | SET_LOCALS_INT(*(jchar *) result, 0); |
aoqi@0 | 465 | break; |
aoqi@0 | 466 | |
aoqi@0 | 467 | case T_BYTE: |
aoqi@0 | 468 | #ifndef VM_LITTLE_ENDIAN |
aoqi@0 | 469 | result[0] <<= (BitsPerWord - BitsPerByte); |
aoqi@0 | 470 | #endif |
aoqi@0 | 471 | SET_LOCALS_INT(*(jbyte *) result, 0); |
aoqi@0 | 472 | break; |
aoqi@0 | 473 | |
aoqi@0 | 474 | case T_SHORT: |
aoqi@0 | 475 | #ifndef VM_LITTLE_ENDIAN |
aoqi@0 | 476 | result[0] <<= (BitsPerWord - BitsPerShort); |
aoqi@0 | 477 | #endif |
aoqi@0 | 478 | SET_LOCALS_INT(*(jshort *) result, 0); |
aoqi@0 | 479 | break; |
aoqi@0 | 480 | |
aoqi@0 | 481 | case T_INT: |
aoqi@0 | 482 | #ifndef VM_LITTLE_ENDIAN |
aoqi@0 | 483 | result[0] <<= (BitsPerWord - BitsPerInt); |
aoqi@0 | 484 | #endif |
aoqi@0 | 485 | SET_LOCALS_INT(*(jint *) result, 0); |
aoqi@0 | 486 | break; |
aoqi@0 | 487 | |
aoqi@0 | 488 | case T_LONG: |
aoqi@0 | 489 | SET_LOCALS_LONG(*(jlong *) result, 0); |
aoqi@0 | 490 | break; |
aoqi@0 | 491 | |
aoqi@0 | 492 | case T_FLOAT: |
aoqi@0 | 493 | SET_LOCALS_FLOAT(*(jfloat *) result, 0); |
aoqi@0 | 494 | break; |
aoqi@0 | 495 | |
aoqi@0 | 496 | case T_DOUBLE: |
aoqi@0 | 497 | SET_LOCALS_DOUBLE(*(jdouble *) result, 0); |
aoqi@0 | 498 | break; |
aoqi@0 | 499 | |
aoqi@0 | 500 | case T_OBJECT: |
aoqi@0 | 501 | case T_ARRAY: |
aoqi@0 | 502 | SET_LOCALS_OBJECT(istate->oop_temp(), 0); |
aoqi@0 | 503 | break; |
aoqi@0 | 504 | |
aoqi@0 | 505 | default: |
aoqi@0 | 506 | ShouldNotReachHere(); |
aoqi@0 | 507 | } |
aoqi@0 | 508 | } |
aoqi@0 | 509 | |
aoqi@0 | 510 | // No deoptimized frames on the stack |
aoqi@0 | 511 | return 0; |
aoqi@0 | 512 | } |
aoqi@0 | 513 | |
aoqi@0 | 514 | int CppInterpreter::accessor_entry(Method* method, intptr_t UNUSED, TRAPS) { |
aoqi@0 | 515 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 516 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 517 | intptr_t *locals = stack->sp(); |
aoqi@0 | 518 | |
aoqi@0 | 519 | // Drop into the slow path if we need a safepoint check |
aoqi@0 | 520 | if (SafepointSynchronize::do_call_back()) { |
aoqi@0 | 521 | return normal_entry(method, 0, THREAD); |
aoqi@0 | 522 | } |
aoqi@0 | 523 | |
aoqi@0 | 524 | // Load the object pointer and drop into the slow path |
aoqi@0 | 525 | // if we have a NullPointerException |
aoqi@0 | 526 | oop object = LOCALS_OBJECT(0); |
aoqi@0 | 527 | if (object == NULL) { |
aoqi@0 | 528 | return normal_entry(method, 0, THREAD); |
aoqi@0 | 529 | } |
aoqi@0 | 530 | |
aoqi@0 | 531 | // Read the field index from the bytecode, which looks like this: |
aoqi@0 | 532 | // 0: aload_0 |
aoqi@0 | 533 | // 1: getfield |
aoqi@0 | 534 | // 2: index |
aoqi@0 | 535 | // 3: index |
aoqi@0 | 536 | // 4: ireturn/areturn |
aoqi@0 | 537 | // NB this is not raw bytecode: index is in machine order |
aoqi@0 | 538 | u1 *code = method->code_base(); |
aoqi@0 | 539 | assert(code[0] == Bytecodes::_aload_0 && |
aoqi@0 | 540 | code[1] == Bytecodes::_getfield && |
aoqi@0 | 541 | (code[4] == Bytecodes::_ireturn || |
aoqi@0 | 542 | code[4] == Bytecodes::_areturn), "should do"); |
aoqi@0 | 543 | u2 index = Bytes::get_native_u2(&code[2]); |
aoqi@0 | 544 | |
aoqi@0 | 545 | // Get the entry from the constant pool cache, and drop into |
aoqi@0 | 546 | // the slow path if it has not been resolved |
aoqi@0 | 547 | ConstantPoolCache* cache = method->constants()->cache(); |
aoqi@0 | 548 | ConstantPoolCacheEntry* entry = cache->entry_at(index); |
aoqi@0 | 549 | if (!entry->is_resolved(Bytecodes::_getfield)) { |
aoqi@0 | 550 | return normal_entry(method, 0, THREAD); |
aoqi@0 | 551 | } |
aoqi@0 | 552 | |
aoqi@0 | 553 | // Get the result and push it onto the stack |
aoqi@0 | 554 | switch (entry->flag_state()) { |
aoqi@0 | 555 | case ltos: |
aoqi@0 | 556 | case dtos: |
aoqi@0 | 557 | stack->overflow_check(1, CHECK_0); |
aoqi@0 | 558 | stack->alloc(wordSize); |
aoqi@0 | 559 | break; |
aoqi@0 | 560 | } |
aoqi@0 | 561 | if (entry->is_volatile()) { |
aoqi@0 | 562 | switch (entry->flag_state()) { |
aoqi@0 | 563 | case ctos: |
aoqi@0 | 564 | SET_LOCALS_INT(object->char_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 565 | break; |
aoqi@0 | 566 | |
aoqi@0 | 567 | case btos: |
kevinw@8368 | 568 | case ztos: |
aoqi@0 | 569 | SET_LOCALS_INT(object->byte_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 570 | break; |
aoqi@0 | 571 | |
aoqi@0 | 572 | case stos: |
aoqi@0 | 573 | SET_LOCALS_INT(object->short_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 574 | break; |
aoqi@0 | 575 | |
aoqi@0 | 576 | case itos: |
aoqi@0 | 577 | SET_LOCALS_INT(object->int_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 578 | break; |
aoqi@0 | 579 | |
aoqi@0 | 580 | case ltos: |
aoqi@0 | 581 | SET_LOCALS_LONG(object->long_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 582 | break; |
aoqi@0 | 583 | |
aoqi@0 | 584 | case ftos: |
aoqi@0 | 585 | SET_LOCALS_FLOAT(object->float_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 586 | break; |
aoqi@0 | 587 | |
aoqi@0 | 588 | case dtos: |
aoqi@0 | 589 | SET_LOCALS_DOUBLE(object->double_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 590 | break; |
aoqi@0 | 591 | |
aoqi@0 | 592 | case atos: |
aoqi@0 | 593 | SET_LOCALS_OBJECT(object->obj_field_acquire(entry->f2_as_index()), 0); |
aoqi@0 | 594 | break; |
aoqi@0 | 595 | |
aoqi@0 | 596 | default: |
aoqi@0 | 597 | ShouldNotReachHere(); |
aoqi@0 | 598 | } |
aoqi@0 | 599 | } |
aoqi@0 | 600 | else { |
aoqi@0 | 601 | switch (entry->flag_state()) { |
aoqi@0 | 602 | case ctos: |
aoqi@0 | 603 | SET_LOCALS_INT(object->char_field(entry->f2_as_index()), 0); |
aoqi@0 | 604 | break; |
aoqi@0 | 605 | |
aoqi@0 | 606 | case btos: |
kevinw@8368 | 607 | case ztos: |
aoqi@0 | 608 | SET_LOCALS_INT(object->byte_field(entry->f2_as_index()), 0); |
aoqi@0 | 609 | break; |
aoqi@0 | 610 | |
aoqi@0 | 611 | case stos: |
aoqi@0 | 612 | SET_LOCALS_INT(object->short_field(entry->f2_as_index()), 0); |
aoqi@0 | 613 | break; |
aoqi@0 | 614 | |
aoqi@0 | 615 | case itos: |
aoqi@0 | 616 | SET_LOCALS_INT(object->int_field(entry->f2_as_index()), 0); |
aoqi@0 | 617 | break; |
aoqi@0 | 618 | |
aoqi@0 | 619 | case ltos: |
aoqi@0 | 620 | SET_LOCALS_LONG(object->long_field(entry->f2_as_index()), 0); |
aoqi@0 | 621 | break; |
aoqi@0 | 622 | |
aoqi@0 | 623 | case ftos: |
aoqi@0 | 624 | SET_LOCALS_FLOAT(object->float_field(entry->f2_as_index()), 0); |
aoqi@0 | 625 | break; |
aoqi@0 | 626 | |
aoqi@0 | 627 | case dtos: |
aoqi@0 | 628 | SET_LOCALS_DOUBLE(object->double_field(entry->f2_as_index()), 0); |
aoqi@0 | 629 | break; |
aoqi@0 | 630 | |
aoqi@0 | 631 | case atos: |
aoqi@0 | 632 | SET_LOCALS_OBJECT(object->obj_field(entry->f2_as_index()), 0); |
aoqi@0 | 633 | break; |
aoqi@0 | 634 | |
aoqi@0 | 635 | default: |
aoqi@0 | 636 | ShouldNotReachHere(); |
aoqi@0 | 637 | } |
aoqi@0 | 638 | } |
aoqi@0 | 639 | |
aoqi@0 | 640 | // No deoptimized frames on the stack |
aoqi@0 | 641 | return 0; |
aoqi@0 | 642 | } |
aoqi@0 | 643 | |
aoqi@0 | 644 | int CppInterpreter::empty_entry(Method* method, intptr_t UNUSED, TRAPS) { |
aoqi@0 | 645 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 646 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 647 | |
aoqi@0 | 648 | // Drop into the slow path if we need a safepoint check |
aoqi@0 | 649 | if (SafepointSynchronize::do_call_back()) { |
aoqi@0 | 650 | return normal_entry(method, 0, THREAD); |
aoqi@0 | 651 | } |
aoqi@0 | 652 | |
aoqi@0 | 653 | // Pop our parameters |
aoqi@0 | 654 | stack->set_sp(stack->sp() + method->size_of_parameters()); |
aoqi@0 | 655 | |
aoqi@0 | 656 | // No deoptimized frames on the stack |
aoqi@0 | 657 | return 0; |
aoqi@0 | 658 | } |
aoqi@0 | 659 | |
aoqi@0 | 660 | // The new slots will be inserted before slot insert_before. |
aoqi@0 | 661 | // Slots < insert_before will have the same slot number after the insert. |
aoqi@0 | 662 | // Slots >= insert_before will become old_slot + num_slots. |
aoqi@0 | 663 | void CppInterpreter::insert_vmslots(int insert_before, int num_slots, TRAPS) { |
aoqi@0 | 664 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 665 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 666 | |
aoqi@0 | 667 | // Allocate the space |
aoqi@0 | 668 | stack->overflow_check(num_slots, CHECK); |
aoqi@0 | 669 | stack->alloc(num_slots * wordSize); |
aoqi@0 | 670 | intptr_t *vmslots = stack->sp(); |
aoqi@0 | 671 | |
aoqi@0 | 672 | // Shuffle everything up |
aoqi@0 | 673 | for (int i = 0; i < insert_before; i++) |
aoqi@0 | 674 | SET_VMSLOTS_SLOT(VMSLOTS_SLOT(i + num_slots), i); |
aoqi@0 | 675 | } |
aoqi@0 | 676 | |
aoqi@0 | 677 | void CppInterpreter::remove_vmslots(int first_slot, int num_slots, TRAPS) { |
aoqi@0 | 678 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 679 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 680 | intptr_t *vmslots = stack->sp(); |
aoqi@0 | 681 | |
aoqi@0 | 682 | // Move everything down |
aoqi@0 | 683 | for (int i = first_slot - 1; i >= 0; i--) |
aoqi@0 | 684 | SET_VMSLOTS_SLOT(VMSLOTS_SLOT(i), i + num_slots); |
aoqi@0 | 685 | |
aoqi@0 | 686 | // Deallocate the space |
aoqi@0 | 687 | stack->set_sp(stack->sp() + num_slots); |
aoqi@0 | 688 | } |
aoqi@0 | 689 | |
aoqi@0 | 690 | BasicType CppInterpreter::result_type_of_handle(oop method_handle) { |
aoqi@0 | 691 | oop method_type = java_lang_invoke_MethodHandle::type(method_handle); |
aoqi@0 | 692 | oop return_type = java_lang_invoke_MethodType::rtype(method_type); |
aoqi@0 | 693 | return java_lang_Class::as_BasicType(return_type, (Klass* *) NULL); |
aoqi@0 | 694 | } |
aoqi@0 | 695 | |
aoqi@0 | 696 | intptr_t* CppInterpreter::calculate_unwind_sp(ZeroStack* stack, |
aoqi@0 | 697 | oop method_handle) { |
aoqi@0 | 698 | oop method_type = java_lang_invoke_MethodHandle::type(method_handle); |
aoqi@0 | 699 | int argument_slots = java_lang_invoke_MethodType::ptype_slot_count(method_type); |
aoqi@0 | 700 | |
aoqi@0 | 701 | return stack->sp() + argument_slots; |
aoqi@0 | 702 | } |
aoqi@0 | 703 | |
aoqi@0 | 704 | IRT_ENTRY(void, CppInterpreter::throw_exception(JavaThread* thread, |
aoqi@0 | 705 | Symbol* name, |
aoqi@0 | 706 | char* message)) |
aoqi@0 | 707 | THROW_MSG(name, message); |
aoqi@0 | 708 | IRT_END |
aoqi@0 | 709 | |
aoqi@0 | 710 | InterpreterFrame *InterpreterFrame::build(Method* const method, TRAPS) { |
aoqi@0 | 711 | JavaThread *thread = (JavaThread *) THREAD; |
aoqi@0 | 712 | ZeroStack *stack = thread->zero_stack(); |
aoqi@0 | 713 | |
aoqi@0 | 714 | // Calculate the size of the frame we'll build, including |
aoqi@0 | 715 | // any adjustments to the caller's frame that we'll make. |
aoqi@0 | 716 | int extra_locals = 0; |
aoqi@0 | 717 | int monitor_words = 0; |
aoqi@0 | 718 | int stack_words = 0; |
aoqi@0 | 719 | |
aoqi@0 | 720 | if (!method->is_native()) { |
aoqi@0 | 721 | extra_locals = method->max_locals() - method->size_of_parameters(); |
aoqi@0 | 722 | stack_words = method->max_stack(); |
aoqi@0 | 723 | } |
aoqi@0 | 724 | if (method->is_synchronized()) { |
aoqi@0 | 725 | monitor_words = frame::interpreter_frame_monitor_size(); |
aoqi@0 | 726 | } |
aoqi@0 | 727 | stack->overflow_check( |
aoqi@0 | 728 | extra_locals + header_words + monitor_words + stack_words, CHECK_NULL); |
aoqi@0 | 729 | |
aoqi@0 | 730 | // Adjust the caller's stack frame to accomodate any additional |
aoqi@0 | 731 | // local variables we have contiguously with our parameters. |
aoqi@0 | 732 | for (int i = 0; i < extra_locals; i++) |
aoqi@0 | 733 | stack->push(0); |
aoqi@0 | 734 | |
aoqi@0 | 735 | intptr_t *locals; |
aoqi@0 | 736 | if (method->is_native()) |
aoqi@0 | 737 | locals = stack->sp() + (method->size_of_parameters() - 1); |
aoqi@0 | 738 | else |
aoqi@0 | 739 | locals = stack->sp() + (method->max_locals() - 1); |
aoqi@0 | 740 | |
aoqi@0 | 741 | stack->push(0); // next_frame, filled in later |
aoqi@0 | 742 | intptr_t *fp = stack->sp(); |
aoqi@0 | 743 | assert(fp - stack->sp() == next_frame_off, "should be"); |
aoqi@0 | 744 | |
aoqi@0 | 745 | stack->push(INTERPRETER_FRAME); |
aoqi@0 | 746 | assert(fp - stack->sp() == frame_type_off, "should be"); |
aoqi@0 | 747 | |
aoqi@0 | 748 | interpreterState istate = |
aoqi@0 | 749 | (interpreterState) stack->alloc(sizeof(BytecodeInterpreter)); |
aoqi@0 | 750 | assert(fp - stack->sp() == istate_off, "should be"); |
aoqi@0 | 751 | |
aoqi@0 | 752 | istate->set_locals(locals); |
aoqi@0 | 753 | istate->set_method(method); |
aoqi@0 | 754 | istate->set_self_link(istate); |
aoqi@0 | 755 | istate->set_prev_link(NULL); |
aoqi@0 | 756 | istate->set_thread(thread); |
aoqi@0 | 757 | istate->set_bcp(method->is_native() ? NULL : method->code_base()); |
aoqi@0 | 758 | istate->set_constants(method->constants()->cache()); |
aoqi@0 | 759 | istate->set_msg(BytecodeInterpreter::method_entry); |
aoqi@0 | 760 | istate->set_oop_temp(NULL); |
aoqi@0 | 761 | istate->set_mdx(NULL); |
aoqi@0 | 762 | istate->set_callee(NULL); |
aoqi@0 | 763 | |
aoqi@0 | 764 | istate->set_monitor_base((BasicObjectLock *) stack->sp()); |
aoqi@0 | 765 | if (method->is_synchronized()) { |
aoqi@0 | 766 | BasicObjectLock *monitor = |
aoqi@0 | 767 | (BasicObjectLock *) stack->alloc(monitor_words * wordSize); |
aoqi@0 | 768 | oop object; |
aoqi@0 | 769 | if (method->is_static()) |
aoqi@0 | 770 | object = method->constants()->pool_holder()->java_mirror(); |
aoqi@0 | 771 | else |
coleenp@7675 | 772 | object = (oop) (void*)locals[0]; |
aoqi@0 | 773 | monitor->set_obj(object); |
aoqi@0 | 774 | } |
aoqi@0 | 775 | |
aoqi@0 | 776 | istate->set_stack_base(stack->sp()); |
aoqi@0 | 777 | istate->set_stack(stack->sp() - 1); |
aoqi@0 | 778 | if (stack_words) |
aoqi@0 | 779 | stack->alloc(stack_words * wordSize); |
aoqi@0 | 780 | istate->set_stack_limit(stack->sp() - 1); |
aoqi@0 | 781 | |
aoqi@0 | 782 | return (InterpreterFrame *) fp; |
aoqi@0 | 783 | } |
aoqi@0 | 784 | |
aoqi@0 | 785 | int AbstractInterpreter::BasicType_as_index(BasicType type) { |
aoqi@0 | 786 | int i = 0; |
aoqi@0 | 787 | switch (type) { |
aoqi@0 | 788 | case T_BOOLEAN: i = 0; break; |
aoqi@0 | 789 | case T_CHAR : i = 1; break; |
aoqi@0 | 790 | case T_BYTE : i = 2; break; |
aoqi@0 | 791 | case T_SHORT : i = 3; break; |
aoqi@0 | 792 | case T_INT : i = 4; break; |
aoqi@0 | 793 | case T_LONG : i = 5; break; |
aoqi@0 | 794 | case T_VOID : i = 6; break; |
aoqi@0 | 795 | case T_FLOAT : i = 7; break; |
aoqi@0 | 796 | case T_DOUBLE : i = 8; break; |
aoqi@0 | 797 | case T_OBJECT : i = 9; break; |
aoqi@0 | 798 | case T_ARRAY : i = 9; break; |
aoqi@0 | 799 | default : ShouldNotReachHere(); |
aoqi@0 | 800 | } |
aoqi@0 | 801 | assert(0 <= i && i < AbstractInterpreter::number_of_result_handlers, |
aoqi@0 | 802 | "index out of bounds"); |
aoqi@0 | 803 | return i; |
aoqi@0 | 804 | } |
aoqi@0 | 805 | |
aoqi@0 | 806 | address InterpreterGenerator::generate_empty_entry() { |
aoqi@0 | 807 | if (!UseFastEmptyMethods) |
aoqi@0 | 808 | return NULL; |
aoqi@0 | 809 | |
aoqi@0 | 810 | return generate_entry((address) CppInterpreter::empty_entry); |
aoqi@0 | 811 | } |
aoqi@0 | 812 | |
aoqi@0 | 813 | address InterpreterGenerator::generate_accessor_entry() { |
aoqi@0 | 814 | if (!UseFastAccessorMethods) |
aoqi@0 | 815 | return NULL; |
aoqi@0 | 816 | |
aoqi@0 | 817 | return generate_entry((address) CppInterpreter::accessor_entry); |
aoqi@0 | 818 | } |
aoqi@0 | 819 | |
aoqi@0 | 820 | address InterpreterGenerator::generate_Reference_get_entry(void) { |
aoqi@0 | 821 | #if INCLUDE_ALL_GCS |
aoqi@0 | 822 | if (UseG1GC) { |
aoqi@0 | 823 | // We need to generate have a routine that generates code to: |
aoqi@0 | 824 | // * load the value in the referent field |
aoqi@0 | 825 | // * passes that value to the pre-barrier. |
aoqi@0 | 826 | // |
aoqi@0 | 827 | // In the case of G1 this will record the value of the |
aoqi@0 | 828 | // referent in an SATB buffer if marking is active. |
aoqi@0 | 829 | // This will cause concurrent marking to mark the referent |
aoqi@0 | 830 | // field as live. |
aoqi@0 | 831 | Unimplemented(); |
aoqi@0 | 832 | } |
aoqi@0 | 833 | #endif // INCLUDE_ALL_GCS |
aoqi@0 | 834 | |
aoqi@0 | 835 | // If G1 is not enabled then attempt to go through the accessor entry point |
aoqi@0 | 836 | // Reference.get is an accessor |
aoqi@0 | 837 | return generate_accessor_entry(); |
aoqi@0 | 838 | } |
aoqi@0 | 839 | |
aoqi@0 | 840 | address InterpreterGenerator::generate_native_entry(bool synchronized) { |
aoqi@0 | 841 | assert(synchronized == false, "should be"); |
aoqi@0 | 842 | |
aoqi@0 | 843 | return generate_entry((address) CppInterpreter::native_entry); |
aoqi@0 | 844 | } |
aoqi@0 | 845 | |
aoqi@0 | 846 | address InterpreterGenerator::generate_normal_entry(bool synchronized) { |
aoqi@0 | 847 | assert(synchronized == false, "should be"); |
aoqi@0 | 848 | |
aoqi@0 | 849 | return generate_entry((address) CppInterpreter::normal_entry); |
aoqi@0 | 850 | } |
aoqi@0 | 851 | |
aoqi@0 | 852 | address AbstractInterpreterGenerator::generate_method_entry( |
aoqi@0 | 853 | AbstractInterpreter::MethodKind kind) { |
aoqi@0 | 854 | address entry_point = NULL; |
aoqi@0 | 855 | |
aoqi@0 | 856 | switch (kind) { |
aoqi@0 | 857 | case Interpreter::zerolocals: |
aoqi@0 | 858 | case Interpreter::zerolocals_synchronized: |
aoqi@0 | 859 | break; |
aoqi@0 | 860 | |
aoqi@0 | 861 | case Interpreter::native: |
aoqi@0 | 862 | entry_point = ((InterpreterGenerator*) this)->generate_native_entry(false); |
aoqi@0 | 863 | break; |
aoqi@0 | 864 | |
aoqi@0 | 865 | case Interpreter::native_synchronized: |
aoqi@0 | 866 | entry_point = ((InterpreterGenerator*) this)->generate_native_entry(false); |
aoqi@0 | 867 | break; |
aoqi@0 | 868 | |
aoqi@0 | 869 | case Interpreter::empty: |
aoqi@0 | 870 | entry_point = ((InterpreterGenerator*) this)->generate_empty_entry(); |
aoqi@0 | 871 | break; |
aoqi@0 | 872 | |
aoqi@0 | 873 | case Interpreter::accessor: |
aoqi@0 | 874 | entry_point = ((InterpreterGenerator*) this)->generate_accessor_entry(); |
aoqi@0 | 875 | break; |
aoqi@0 | 876 | |
aoqi@0 | 877 | case Interpreter::abstract: |
aoqi@0 | 878 | entry_point = ((InterpreterGenerator*) this)->generate_abstract_entry(); |
aoqi@0 | 879 | break; |
aoqi@0 | 880 | |
aoqi@0 | 881 | case Interpreter::java_lang_math_sin: |
aoqi@0 | 882 | case Interpreter::java_lang_math_cos: |
aoqi@0 | 883 | case Interpreter::java_lang_math_tan: |
aoqi@0 | 884 | case Interpreter::java_lang_math_abs: |
aoqi@0 | 885 | case Interpreter::java_lang_math_log: |
aoqi@0 | 886 | case Interpreter::java_lang_math_log10: |
aoqi@0 | 887 | case Interpreter::java_lang_math_sqrt: |
aoqi@0 | 888 | case Interpreter::java_lang_math_pow: |
aoqi@0 | 889 | case Interpreter::java_lang_math_exp: |
aoqi@0 | 890 | entry_point = ((InterpreterGenerator*) this)->generate_math_entry(kind); |
aoqi@0 | 891 | break; |
aoqi@0 | 892 | |
aoqi@0 | 893 | case Interpreter::java_lang_ref_reference_get: |
aoqi@0 | 894 | entry_point = ((InterpreterGenerator*)this)->generate_Reference_get_entry(); |
aoqi@0 | 895 | break; |
aoqi@0 | 896 | |
aoqi@0 | 897 | default: |
aoqi@0 | 898 | ShouldNotReachHere(); |
aoqi@0 | 899 | } |
aoqi@0 | 900 | |
aoqi@0 | 901 | if (entry_point == NULL) |
aoqi@0 | 902 | entry_point = ((InterpreterGenerator*) this)->generate_normal_entry(false); |
aoqi@0 | 903 | |
aoqi@0 | 904 | return entry_point; |
aoqi@0 | 905 | } |
aoqi@0 | 906 | |
aoqi@0 | 907 | InterpreterGenerator::InterpreterGenerator(StubQueue* code) |
aoqi@0 | 908 | : CppInterpreterGenerator(code) { |
aoqi@0 | 909 | generate_all(); |
aoqi@0 | 910 | } |
aoqi@0 | 911 | |
aoqi@0 | 912 | // Deoptimization helpers |
aoqi@0 | 913 | |
aoqi@0 | 914 | InterpreterFrame *InterpreterFrame::build(int size, TRAPS) { |
aoqi@0 | 915 | ZeroStack *stack = ((JavaThread *) THREAD)->zero_stack(); |
aoqi@0 | 916 | |
aoqi@0 | 917 | int size_in_words = size >> LogBytesPerWord; |
aoqi@0 | 918 | assert(size_in_words * wordSize == size, "unaligned"); |
aoqi@0 | 919 | assert(size_in_words >= header_words, "too small"); |
aoqi@0 | 920 | stack->overflow_check(size_in_words, CHECK_NULL); |
aoqi@0 | 921 | |
aoqi@0 | 922 | stack->push(0); // next_frame, filled in later |
aoqi@0 | 923 | intptr_t *fp = stack->sp(); |
aoqi@0 | 924 | assert(fp - stack->sp() == next_frame_off, "should be"); |
aoqi@0 | 925 | |
aoqi@0 | 926 | stack->push(INTERPRETER_FRAME); |
aoqi@0 | 927 | assert(fp - stack->sp() == frame_type_off, "should be"); |
aoqi@0 | 928 | |
aoqi@0 | 929 | interpreterState istate = |
aoqi@0 | 930 | (interpreterState) stack->alloc(sizeof(BytecodeInterpreter)); |
aoqi@0 | 931 | assert(fp - stack->sp() == istate_off, "should be"); |
aoqi@0 | 932 | istate->set_self_link(NULL); // mark invalid |
aoqi@0 | 933 | |
aoqi@0 | 934 | stack->alloc((size_in_words - header_words) * wordSize); |
aoqi@0 | 935 | |
aoqi@0 | 936 | return (InterpreterFrame *) fp; |
aoqi@0 | 937 | } |
aoqi@0 | 938 | |
aoqi@0 | 939 | int AbstractInterpreter::size_activation(int max_stack, |
aoqi@0 | 940 | int tempcount, |
aoqi@0 | 941 | int extra_args, |
aoqi@0 | 942 | int moncount, |
aoqi@0 | 943 | int callee_param_count, |
aoqi@0 | 944 | int callee_locals, |
aoqi@0 | 945 | bool is_top_frame) { |
aoqi@0 | 946 | int header_words = InterpreterFrame::header_words; |
aoqi@0 | 947 | int monitor_words = moncount * frame::interpreter_frame_monitor_size(); |
aoqi@0 | 948 | int stack_words = is_top_frame ? max_stack : tempcount; |
aoqi@0 | 949 | int callee_extra_locals = callee_locals - callee_param_count; |
aoqi@0 | 950 | |
aoqi@0 | 951 | return header_words + monitor_words + stack_words + callee_extra_locals; |
aoqi@0 | 952 | } |
aoqi@0 | 953 | |
aoqi@0 | 954 | void AbstractInterpreter::layout_activation(Method* method, |
aoqi@0 | 955 | int tempcount, |
aoqi@0 | 956 | int popframe_extra_args, |
aoqi@0 | 957 | int moncount, |
aoqi@0 | 958 | int caller_actual_parameters, |
aoqi@0 | 959 | int callee_param_count, |
aoqi@0 | 960 | int callee_locals, |
aoqi@0 | 961 | frame* caller, |
aoqi@0 | 962 | frame* interpreter_frame, |
aoqi@0 | 963 | bool is_top_frame, |
aoqi@0 | 964 | bool is_bottom_frame) { |
aoqi@0 | 965 | assert(popframe_extra_args == 0, "what to do?"); |
aoqi@0 | 966 | assert(!is_top_frame || (!callee_locals && !callee_param_count), |
aoqi@0 | 967 | "top frame should have no caller"); |
aoqi@0 | 968 | |
aoqi@0 | 969 | // This code must exactly match what InterpreterFrame::build |
aoqi@0 | 970 | // does (the full InterpreterFrame::build, that is, not the |
aoqi@0 | 971 | // one that creates empty frames for the deoptimizer). |
aoqi@0 | 972 | // |
aoqi@0 | 973 | // interpreter_frame will be filled in. It's size is determined by |
aoqi@0 | 974 | // a previous call to the size_activation() method, |
aoqi@0 | 975 | // |
aoqi@0 | 976 | // Note that tempcount is the current size of the expression |
aoqi@0 | 977 | // stack. For top most frames we will allocate a full sized |
aoqi@0 | 978 | // expression stack and not the trimmed version that non-top |
aoqi@0 | 979 | // frames have. |
aoqi@0 | 980 | |
aoqi@0 | 981 | int monitor_words = moncount * frame::interpreter_frame_monitor_size(); |
aoqi@0 | 982 | intptr_t *locals = interpreter_frame->fp() + method->max_locals(); |
aoqi@0 | 983 | interpreterState istate = interpreter_frame->get_interpreterState(); |
aoqi@0 | 984 | intptr_t *monitor_base = (intptr_t*) istate; |
aoqi@0 | 985 | intptr_t *stack_base = monitor_base - monitor_words; |
aoqi@0 | 986 | intptr_t *stack = stack_base - tempcount - 1; |
aoqi@0 | 987 | |
aoqi@0 | 988 | BytecodeInterpreter::layout_interpreterState(istate, |
aoqi@0 | 989 | caller, |
aoqi@0 | 990 | NULL, |
aoqi@0 | 991 | method, |
aoqi@0 | 992 | locals, |
aoqi@0 | 993 | stack, |
aoqi@0 | 994 | stack_base, |
aoqi@0 | 995 | monitor_base, |
aoqi@0 | 996 | NULL, |
aoqi@0 | 997 | is_top_frame); |
aoqi@0 | 998 | } |
aoqi@0 | 999 | |
aoqi@0 | 1000 | void BytecodeInterpreter::layout_interpreterState(interpreterState istate, |
aoqi@0 | 1001 | frame* caller, |
aoqi@0 | 1002 | frame* current, |
aoqi@0 | 1003 | Method* method, |
aoqi@0 | 1004 | intptr_t* locals, |
aoqi@0 | 1005 | intptr_t* stack, |
aoqi@0 | 1006 | intptr_t* stack_base, |
aoqi@0 | 1007 | intptr_t* monitor_base, |
aoqi@0 | 1008 | intptr_t* frame_bottom, |
aoqi@0 | 1009 | bool is_top_frame) { |
aoqi@0 | 1010 | istate->set_locals(locals); |
aoqi@0 | 1011 | istate->set_method(method); |
aoqi@0 | 1012 | istate->set_self_link(istate); |
aoqi@0 | 1013 | istate->set_prev_link(NULL); |
aoqi@0 | 1014 | // thread will be set by a hacky repurposing of frame::patch_pc() |
aoqi@0 | 1015 | // bcp will be set by vframeArrayElement::unpack_on_stack() |
aoqi@0 | 1016 | istate->set_constants(method->constants()->cache()); |
aoqi@0 | 1017 | istate->set_msg(BytecodeInterpreter::method_resume); |
aoqi@0 | 1018 | istate->set_bcp_advance(0); |
aoqi@0 | 1019 | istate->set_oop_temp(NULL); |
aoqi@0 | 1020 | istate->set_mdx(NULL); |
aoqi@0 | 1021 | if (caller->is_interpreted_frame()) { |
aoqi@0 | 1022 | interpreterState prev = caller->get_interpreterState(); |
aoqi@0 | 1023 | prev->set_callee(method); |
aoqi@0 | 1024 | if (*prev->bcp() == Bytecodes::_invokeinterface) |
aoqi@0 | 1025 | prev->set_bcp_advance(5); |
aoqi@0 | 1026 | else |
aoqi@0 | 1027 | prev->set_bcp_advance(3); |
aoqi@0 | 1028 | } |
aoqi@0 | 1029 | istate->set_callee(NULL); |
aoqi@0 | 1030 | istate->set_monitor_base((BasicObjectLock *) monitor_base); |
aoqi@0 | 1031 | istate->set_stack_base(stack_base); |
aoqi@0 | 1032 | istate->set_stack(stack); |
aoqi@0 | 1033 | istate->set_stack_limit(stack_base - method->max_stack() - 1); |
aoqi@0 | 1034 | } |
aoqi@0 | 1035 | |
aoqi@0 | 1036 | address CppInterpreter::return_entry(TosState state, int length, Bytecodes::Code code) { |
aoqi@0 | 1037 | ShouldNotCallThis(); |
aoqi@0 | 1038 | return NULL; |
aoqi@0 | 1039 | } |
aoqi@0 | 1040 | |
aoqi@0 | 1041 | address CppInterpreter::deopt_entry(TosState state, int length) { |
aoqi@0 | 1042 | return NULL; |
aoqi@0 | 1043 | } |
aoqi@0 | 1044 | |
aoqi@0 | 1045 | // Helper for (runtime) stack overflow checks |
aoqi@0 | 1046 | |
aoqi@0 | 1047 | int AbstractInterpreter::size_top_interpreter_activation(Method* method) { |
aoqi@0 | 1048 | return 0; |
aoqi@0 | 1049 | } |
aoqi@0 | 1050 | |
aoqi@0 | 1051 | // Helper for figuring out if frames are interpreter frames |
aoqi@0 | 1052 | |
aoqi@0 | 1053 | bool CppInterpreter::contains(address pc) { |
aoqi@0 | 1054 | return false; // make frame::print_value_on work |
aoqi@0 | 1055 | } |
aoqi@0 | 1056 | |
aoqi@0 | 1057 | // Result handlers and convertors |
aoqi@0 | 1058 | |
aoqi@0 | 1059 | address CppInterpreterGenerator::generate_result_handler_for( |
aoqi@0 | 1060 | BasicType type) { |
aoqi@0 | 1061 | assembler()->advance(1); |
aoqi@0 | 1062 | return ShouldNotCallThisStub(); |
aoqi@0 | 1063 | } |
aoqi@0 | 1064 | |
aoqi@0 | 1065 | address CppInterpreterGenerator::generate_tosca_to_stack_converter( |
aoqi@0 | 1066 | BasicType type) { |
aoqi@0 | 1067 | assembler()->advance(1); |
aoqi@0 | 1068 | return ShouldNotCallThisStub(); |
aoqi@0 | 1069 | } |
aoqi@0 | 1070 | |
aoqi@0 | 1071 | address CppInterpreterGenerator::generate_stack_to_stack_converter( |
aoqi@0 | 1072 | BasicType type) { |
aoqi@0 | 1073 | assembler()->advance(1); |
aoqi@0 | 1074 | return ShouldNotCallThisStub(); |
aoqi@0 | 1075 | } |
aoqi@0 | 1076 | |
aoqi@0 | 1077 | address CppInterpreterGenerator::generate_stack_to_native_abi_converter( |
aoqi@0 | 1078 | BasicType type) { |
aoqi@0 | 1079 | assembler()->advance(1); |
aoqi@0 | 1080 | return ShouldNotCallThisStub(); |
aoqi@0 | 1081 | } |
aoqi@0 | 1082 | |
aoqi@0 | 1083 | #endif // CC_INTERP |