1 /*
   2  * Copyright (c) 2003, 2017, Oracle and/or its affiliates. All rights reserved.
   3  * Copyright 2007, 2008, 2009, 2010, 2011 Red Hat, Inc.
   4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   5  *
   6  * This code is free software; you can redistribute it and/or modify it
   7  * under the terms of the GNU General Public License version 2 only, as
   8  * published by the Free Software Foundation.
   9  *
  10  * This code is distributed in the hope that it will be useful, but WITHOUT
  11  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  12  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  13  * version 2 for more details (a copy is included in the LICENSE file that
  14  * accompanied this code).
  15  *
  16  * You should have received a copy of the GNU General Public License version
  17  * 2 along with this work; if not, write to the Free Software Foundation,
  18  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  19  *
  20  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  21  * or visit www.oracle.com if you need additional information or have any
  22  * questions.
  23  *
  24  */
  25 
  26 #include "precompiled.hpp"
  27 #include "asm/assembler.hpp"
  28 #include "interpreter/bytecodeHistogram.hpp"
  29 #include "interpreter/cppInterpreter.hpp"
  30 #include "interpreter/cppInterpreterGenerator.hpp"
  31 #include "interpreter/interpreter.hpp"
  32 #include "interpreter/interpreterRuntime.hpp"
  33 #include "oops/arrayOop.hpp"
  34 #include "oops/methodData.hpp"
  35 #include "oops/method.hpp"
  36 #include "oops/oop.inline.hpp"
  37 #include "prims/jvmtiExport.hpp"
  38 #include "prims/jvmtiThreadState.hpp"
  39 #include "runtime/arguments.hpp"
  40 #include "runtime/atomic.hpp"
  41 #include "runtime/deoptimization.hpp"
  42 #include "runtime/frame.inline.hpp"
  43 #include "runtime/interfaceSupport.hpp"
  44 #include "runtime/orderAccess.inline.hpp"
  45 #include "runtime/sharedRuntime.hpp"
  46 #include "runtime/stubRoutines.hpp"
  47 #include "runtime/synchronizer.hpp"
  48 #include "runtime/timer.hpp"
  49 #include "runtime/vframeArray.hpp"
  50 #include "stack_zero.inline.hpp"
  51 #include "utilities/debug.hpp"
  52 #include "utilities/macros.hpp"
  53 #ifdef SHARK
  54 #include "shark/shark_globals.hpp"
  55 #endif
  56 
  57 #ifdef CC_INTERP
  58 
  59 #define fixup_after_potential_safepoint()       \
  60   method = istate->method()
  61 
  62 #define CALL_VM_NOCHECK_NOFIX(func)             \
  63   thread->set_last_Java_frame();                \
  64   func;                                         \
  65   thread->reset_last_Java_frame();
  66 
  67 #define CALL_VM_NOCHECK(func)                   \
  68   CALL_VM_NOCHECK_NOFIX(func)                   \
  69   fixup_after_potential_safepoint()
  70 
  71 int CppInterpreter::normal_entry(Method* method, intptr_t UNUSED, TRAPS) {
  72   JavaThread *thread = (JavaThread *) THREAD;
  73 
  74   // Allocate and initialize our frame.
  75   InterpreterFrame *frame = InterpreterFrame::build(method, CHECK_0);
  76   thread->push_zero_frame(frame);
  77 
  78   // Execute those bytecodes!
  79   main_loop(0, THREAD);
  80 
  81   // No deoptimized frames on the stack
  82   return 0;
  83 }
  84 
  85 intptr_t narrow(BasicType type, intptr_t result) {
  86   // mask integer result to narrower return type.
  87   switch (type) {
  88     case T_BOOLEAN:
  89       return result&1;
  90     case T_BYTE:
  91       return (intptr_t)(jbyte)result;
  92     case T_CHAR:
  93       return (intptr_t)(uintptr_t)(jchar)result;
  94     case T_SHORT:
  95       return (intptr_t)(jshort)result;
  96     case T_OBJECT:  // nothing to do fall through
  97     case T_ARRAY:
  98     case T_LONG:
  99     case T_INT:
 100     case T_FLOAT:
 101     case T_DOUBLE:
 102     case T_VOID:
 103       return result;
 104     default  : ShouldNotReachHere();
 105   }
 106 }
 107 
 108 
 109 void CppInterpreter::main_loop(int recurse, TRAPS) {
 110   JavaThread *thread = (JavaThread *) THREAD;
 111   ZeroStack *stack = thread->zero_stack();
 112 
 113   // If we are entering from a deopt we may need to call
 114   // ourself a few times in order to get to our frame.
 115   if (recurse)
 116     main_loop(recurse - 1, THREAD);
 117 
 118   InterpreterFrame *frame = thread->top_zero_frame()->as_interpreter_frame();
 119   interpreterState istate = frame->interpreter_state();
 120   Method* method = istate->method();
 121 
 122   intptr_t *result = NULL;
 123   int result_slots = 0;
 124 
 125   while (true) {
 126     // We can set up the frame anchor with everything we want at
 127     // this point as we are thread_in_Java and no safepoints can
 128     // occur until we go to vm mode.  We do have to clear flags
 129     // on return from vm but that is it.
 130     thread->set_last_Java_frame();
 131 
 132     // Call the interpreter
 133     if (JvmtiExport::can_post_interpreter_events())
 134       BytecodeInterpreter::runWithChecks(istate);
 135     else
 136       BytecodeInterpreter::run(istate);
 137     fixup_after_potential_safepoint();
 138 
 139     // Clear the frame anchor
 140     thread->reset_last_Java_frame();
 141 
 142     // Examine the message from the interpreter to decide what to do
 143     if (istate->msg() == BytecodeInterpreter::call_method) {
 144       Method* callee = istate->callee();
 145 
 146       // Trim back the stack to put the parameters at the top
 147       stack->set_sp(istate->stack() + 1);
 148 
 149       // Make the call
 150       Interpreter::invoke_method(callee, istate->callee_entry_point(), THREAD);
 151       fixup_after_potential_safepoint();
 152 
 153       // Convert the result
 154       istate->set_stack(stack->sp() - 1);
 155 
 156       // Restore the stack
 157       stack->set_sp(istate->stack_limit() + 1);
 158 
 159       // Resume the interpreter
 160       istate->set_msg(BytecodeInterpreter::method_resume);
 161     }
 162     else if (istate->msg() == BytecodeInterpreter::more_monitors) {
 163       int monitor_words = frame::interpreter_frame_monitor_size();
 164 
 165       // Allocate the space
 166       stack->overflow_check(monitor_words, THREAD);
 167       if (HAS_PENDING_EXCEPTION)
 168         break;
 169       stack->alloc(monitor_words * wordSize);
 170 
 171       // Move the expression stack contents
 172       for (intptr_t *p = istate->stack() + 1; p < istate->stack_base(); p++)
 173         *(p - monitor_words) = *p;
 174 
 175       // Move the expression stack pointers
 176       istate->set_stack_limit(istate->stack_limit() - monitor_words);
 177       istate->set_stack(istate->stack() - monitor_words);
 178       istate->set_stack_base(istate->stack_base() - monitor_words);
 179 
 180       // Zero the new monitor so the interpreter can find it.
 181       ((BasicObjectLock *) istate->stack_base())->set_obj(NULL);
 182 
 183       // Resume the interpreter
 184       istate->set_msg(BytecodeInterpreter::got_monitors);
 185     }
 186     else if (istate->msg() == BytecodeInterpreter::return_from_method) {
 187       // Copy the result into the caller's frame
 188       result_slots = type2size[method->result_type()];
 189       assert(result_slots >= 0 && result_slots <= 2, "what?");
 190       result = istate->stack() + result_slots;
 191       break;
 192     }
 193     else if (istate->msg() == BytecodeInterpreter::throwing_exception) {
 194       assert(HAS_PENDING_EXCEPTION, "should do");
 195       break;
 196     }
 197     else if (istate->msg() == BytecodeInterpreter::do_osr) {
 198       // Unwind the current frame
 199       thread->pop_zero_frame();
 200 
 201       // Remove any extension of the previous frame
 202       int extra_locals = method->max_locals() - method->size_of_parameters();
 203       stack->set_sp(stack->sp() + extra_locals);
 204 
 205       // Jump into the OSR method
 206       Interpreter::invoke_osr(
 207         method, istate->osr_entry(), istate->osr_buf(), THREAD);
 208       return;
 209     }
 210     else {
 211       ShouldNotReachHere();
 212     }
 213   }
 214 
 215   // Unwind the current frame
 216   thread->pop_zero_frame();
 217 
 218   // Pop our local variables
 219   stack->set_sp(stack->sp() + method->max_locals());
 220 
 221   // Push our result
 222   for (int i = 0; i < result_slots; i++) {
 223     // Adjust result to smaller
 224     union {
 225       intptr_t res;
 226       jint res_jint;
 227     };
 228     res = result[-i];
 229     if (result_slots == 1) {
 230       BasicType t = method->result_type();
 231       if (is_subword_type(t)) {
 232         res_jint = (jint)narrow(t, res_jint);
 233       }
 234     }
 235     stack->push(res);
 236   }
 237 }
 238 
 239 int CppInterpreter::native_entry(Method* method, intptr_t UNUSED, TRAPS) {
 240   // Make sure method is native and not abstract
 241   assert(method->is_native() && !method->is_abstract(), "should be");
 242 
 243   JavaThread *thread = (JavaThread *) THREAD;
 244   ZeroStack *stack = thread->zero_stack();
 245 
 246   // Allocate and initialize our frame
 247   InterpreterFrame *frame = InterpreterFrame::build(method, CHECK_0);
 248   thread->push_zero_frame(frame);
 249   interpreterState istate = frame->interpreter_state();
 250   intptr_t *locals = istate->locals();
 251 
 252   // Update the invocation counter
 253   if ((UseCompiler || CountCompiledCalls) && !method->is_synchronized()) {
 254     MethodCounters* mcs = method->method_counters();
 255     if (mcs == NULL) {
 256       CALL_VM_NOCHECK(mcs = InterpreterRuntime::build_method_counters(thread, method));
 257       if (HAS_PENDING_EXCEPTION)
 258         goto unwind_and_return;
 259     }
 260     InvocationCounter *counter = mcs->invocation_counter();
 261     counter->increment();
 262     if (counter->reached_InvocationLimit(mcs->backedge_counter())) {
 263       CALL_VM_NOCHECK(
 264         InterpreterRuntime::frequency_counter_overflow(thread, NULL));
 265       if (HAS_PENDING_EXCEPTION)
 266         goto unwind_and_return;
 267     }
 268   }
 269 
 270   // Lock if necessary
 271   BasicObjectLock *monitor;
 272   monitor = NULL;
 273   if (method->is_synchronized()) {
 274     monitor = (BasicObjectLock*) istate->stack_base();
 275     oop lockee = monitor->obj();
 276     markOop disp = lockee->mark()->set_unlocked();
 277 
 278     monitor->lock()->set_displaced_header(disp);
 279     if (Atomic::cmpxchg_ptr(monitor, lockee->mark_addr(), disp) != disp) {
 280       if (thread->is_lock_owned((address) disp->clear_lock_bits())) {
 281         monitor->lock()->set_displaced_header(NULL);
 282       }
 283       else {
 284         CALL_VM_NOCHECK(InterpreterRuntime::monitorenter(thread, monitor));
 285         if (HAS_PENDING_EXCEPTION)
 286           goto unwind_and_return;
 287       }
 288     }
 289   }
 290 
 291   // Get the signature handler
 292   InterpreterRuntime::SignatureHandler *handler; {
 293     address handlerAddr = method->signature_handler();
 294     if (handlerAddr == NULL) {
 295       CALL_VM_NOCHECK(InterpreterRuntime::prepare_native_call(thread, method));
 296       if (HAS_PENDING_EXCEPTION)
 297         goto unlock_unwind_and_return;
 298 
 299       handlerAddr = method->signature_handler();
 300       assert(handlerAddr != NULL, "eh?");
 301     }
 302     if (handlerAddr == (address) InterpreterRuntime::slow_signature_handler) {
 303       CALL_VM_NOCHECK(handlerAddr =
 304         InterpreterRuntime::slow_signature_handler(thread, method, NULL,NULL));
 305       if (HAS_PENDING_EXCEPTION)
 306         goto unlock_unwind_and_return;
 307     }
 308     handler = \
 309       InterpreterRuntime::SignatureHandler::from_handlerAddr(handlerAddr);
 310   }
 311 
 312   // Get the native function entry point
 313   address function;
 314   function = method->native_function();
 315   assert(function != NULL, "should be set if signature handler is");
 316 
 317   // Build the argument list
 318   stack->overflow_check(handler->argument_count() * 2, THREAD);
 319   if (HAS_PENDING_EXCEPTION)
 320     goto unlock_unwind_and_return;
 321 
 322   void **arguments;
 323   void *mirror; {
 324     arguments =
 325       (void **) stack->alloc(handler->argument_count() * sizeof(void **));
 326     void **dst = arguments;
 327 
 328     void *env = thread->jni_environment();
 329     *(dst++) = &env;
 330 
 331     if (method->is_static()) {
 332       istate->set_oop_temp(
 333         method->constants()->pool_holder()->java_mirror());
 334       mirror = istate->oop_temp_addr();
 335       *(dst++) = &mirror;
 336     }
 337 
 338     intptr_t *src = locals;
 339     for (int i = dst - arguments; i < handler->argument_count(); i++) {
 340       ffi_type *type = handler->argument_type(i);
 341       if (type == &ffi_type_pointer) {
 342         if (*src) {
 343           stack->push((intptr_t) src);
 344           *(dst++) = stack->sp();
 345         }
 346         else {
 347           *(dst++) = src;
 348         }
 349         src--;
 350       }
 351       else if (type->size == 4) {
 352         *(dst++) = src--;
 353       }
 354       else if (type->size == 8) {
 355         src--;
 356         *(dst++) = src--;
 357       }
 358       else {
 359         ShouldNotReachHere();
 360       }
 361     }
 362   }
 363 
 364   // Set up the Java frame anchor
 365   thread->set_last_Java_frame();
 366 
 367   // Change the thread state to _thread_in_native
 368   ThreadStateTransition::transition_from_java(thread, _thread_in_native);
 369 
 370   // Make the call
 371   intptr_t result[4 - LogBytesPerWord];
 372   ffi_call(handler->cif(), (void (*)()) function, result, arguments);
 373 
 374   // Change the thread state back to _thread_in_Java.
 375   // ThreadStateTransition::transition_from_native() cannot be used
 376   // here because it does not check for asynchronous exceptions.
 377   // We have to manage the transition ourself.
 378   thread->set_thread_state(_thread_in_native_trans);
 379 
 380   // Make sure new state is visible in the GC thread
 381   if (os::is_MP()) {
 382     if (UseMembar) {
 383       OrderAccess::fence();
 384     }
 385     else {
 386       InterfaceSupport::serialize_memory(thread);
 387     }
 388   }
 389 
 390   // Handle safepoint operations, pending suspend requests,
 391   // and pending asynchronous exceptions.
 392   if (SafepointSynchronize::do_call_back() ||
 393       thread->has_special_condition_for_native_trans()) {
 394     JavaThread::check_special_condition_for_native_trans(thread);
 395     CHECK_UNHANDLED_OOPS_ONLY(thread->clear_unhandled_oops());
 396   }
 397 
 398   // Finally we can change the thread state to _thread_in_Java.
 399   thread->set_thread_state(_thread_in_Java);
 400   fixup_after_potential_safepoint();
 401 
 402   // Clear the frame anchor
 403   thread->reset_last_Java_frame();
 404 
 405   // If the result was an oop then unbox it and store it in
 406   // oop_temp where the garbage collector can see it before
 407   // we release the handle it might be protected by.
 408   if (handler->result_type() == &ffi_type_pointer) {
 409     if (result[0] == 0) {
 410       istate->set_oop_temp(NULL);
 411     } else {
 412       jobject handle = reinterpret_cast<jobject>(result[0]);
 413       istate->set_oop_temp(JNIHandles::resolve(handle));
 414     }
 415   }
 416 
 417   // Reset handle block
 418   thread->active_handles()->clear();
 419 
 420  unlock_unwind_and_return:
 421 
 422   // Unlock if necessary
 423   if (monitor) {
 424     BasicLock *lock = monitor->lock();
 425     markOop header = lock->displaced_header();
 426     oop rcvr = monitor->obj();
 427     monitor->set_obj(NULL);
 428 
 429     if (header != NULL) {
 430       if (Atomic::cmpxchg_ptr(header, rcvr->mark_addr(), lock) != lock) {
 431         monitor->set_obj(rcvr); {
 432           HandleMark hm(thread);
 433           CALL_VM_NOCHECK(InterpreterRuntime::monitorexit(thread, monitor));
 434         }
 435       }
 436     }
 437   }
 438 
 439  unwind_and_return:
 440 
 441   // Unwind the current activation
 442   thread->pop_zero_frame();
 443 
 444   // Pop our parameters
 445   stack->set_sp(stack->sp() + method->size_of_parameters());
 446 
 447   // Push our result
 448   if (!HAS_PENDING_EXCEPTION) {
 449     BasicType type = method->result_type();
 450     stack->set_sp(stack->sp() - type2size[type]);
 451 
 452     switch (type) {
 453     case T_VOID:
 454       break;
 455 
 456     case T_BOOLEAN:
 457 #ifndef VM_LITTLE_ENDIAN
 458       result[0] <<= (BitsPerWord - BitsPerByte);
 459 #endif
 460       SET_LOCALS_INT(*(jboolean *) result != 0, 0);
 461       break;
 462 
 463     case T_CHAR:
 464 #ifndef VM_LITTLE_ENDIAN
 465       result[0] <<= (BitsPerWord - BitsPerShort);
 466 #endif
 467       SET_LOCALS_INT(*(jchar *) result, 0);
 468       break;
 469 
 470     case T_BYTE:
 471 #ifndef VM_LITTLE_ENDIAN
 472       result[0] <<= (BitsPerWord - BitsPerByte);
 473 #endif
 474       SET_LOCALS_INT(*(jbyte *) result, 0);
 475       break;
 476 
 477     case T_SHORT:
 478 #ifndef VM_LITTLE_ENDIAN
 479       result[0] <<= (BitsPerWord - BitsPerShort);
 480 #endif
 481       SET_LOCALS_INT(*(jshort *) result, 0);
 482       break;
 483 
 484     case T_INT:
 485 #ifndef VM_LITTLE_ENDIAN
 486       result[0] <<= (BitsPerWord - BitsPerInt);
 487 #endif
 488       SET_LOCALS_INT(*(jint *) result, 0);
 489       break;
 490 
 491     case T_LONG:
 492       SET_LOCALS_LONG(*(jlong *) result, 0);
 493       break;
 494 
 495     case T_FLOAT:
 496       SET_LOCALS_FLOAT(*(jfloat *) result, 0);
 497       break;
 498 
 499     case T_DOUBLE:
 500       SET_LOCALS_DOUBLE(*(jdouble *) result, 0);
 501       break;
 502 
 503     case T_OBJECT:
 504     case T_ARRAY:
 505       SET_LOCALS_OBJECT(istate->oop_temp(), 0);
 506       break;
 507 
 508     default:
 509       ShouldNotReachHere();
 510     }
 511   }
 512 
 513   // No deoptimized frames on the stack
 514   return 0;
 515 }
 516 
 517 int CppInterpreter::accessor_entry(Method* method, intptr_t UNUSED, TRAPS) {
 518   JavaThread *thread = (JavaThread *) THREAD;
 519   ZeroStack *stack = thread->zero_stack();
 520   intptr_t *locals = stack->sp();
 521 
 522   // Drop into the slow path if we need a safepoint check
 523   if (SafepointSynchronize::do_call_back()) {
 524     return normal_entry(method, 0, THREAD);
 525   }
 526 
 527   // Load the object pointer and drop into the slow path
 528   // if we have a NullPointerException
 529   oop object = LOCALS_OBJECT(0);
 530   if (object == NULL) {
 531     return normal_entry(method, 0, THREAD);
 532   }
 533 
 534   // Read the field index from the bytecode, which looks like this:
 535   //  0:  aload_0
 536   //  1:  getfield
 537   //  2:    index
 538   //  3:    index
 539   //  4:  ireturn/areturn/freturn/lreturn/dreturn
 540   // NB this is not raw bytecode: index is in machine order
 541   u1 *code = method->code_base();
 542   assert(code[0] == Bytecodes::_aload_0 &&
 543          code[1] == Bytecodes::_getfield &&
 544          (code[4] == Bytecodes::_ireturn ||
 545           code[4] == Bytecodes::_freturn ||
 546           code[4] == Bytecodes::_lreturn ||
 547           code[4] == Bytecodes::_dreturn ||
 548           code[4] == Bytecodes::_areturn), "should do");
 549   u2 index = Bytes::get_native_u2(&code[2]);
 550 
 551   // Get the entry from the constant pool cache, and drop into
 552   // the slow path if it has not been resolved
 553   ConstantPoolCache* cache = method->constants()->cache();
 554   ConstantPoolCacheEntry* entry = cache->entry_at(index);
 555   if (!entry->is_resolved(Bytecodes::_getfield)) {
 556     return normal_entry(method, 0, THREAD);
 557   }
 558 
 559   // Get the result and push it onto the stack
 560   switch (entry->flag_state()) {
 561   case ltos:
 562   case dtos:
 563     stack->overflow_check(1, CHECK_0);
 564     stack->alloc(wordSize);
 565     break;
 566   }
 567   if (entry->is_volatile()) {
 568     switch (entry->flag_state()) {
 569     case ctos:
 570       SET_LOCALS_INT(object->char_field_acquire(entry->f2_as_index()), 0);
 571       break;
 572 
 573     case btos:
 574     case ztos:
 575       SET_LOCALS_INT(object->byte_field_acquire(entry->f2_as_index()), 0);
 576       break;
 577 
 578     case stos:
 579       SET_LOCALS_INT(object->short_field_acquire(entry->f2_as_index()), 0);
 580       break;
 581 
 582     case itos:
 583       SET_LOCALS_INT(object->int_field_acquire(entry->f2_as_index()), 0);
 584       break;
 585 
 586     case ltos:
 587       SET_LOCALS_LONG(object->long_field_acquire(entry->f2_as_index()), 0);
 588       break;
 589 
 590     case ftos:
 591       SET_LOCALS_FLOAT(object->float_field_acquire(entry->f2_as_index()), 0);
 592       break;
 593 
 594     case dtos:
 595       SET_LOCALS_DOUBLE(object->double_field_acquire(entry->f2_as_index()), 0);
 596       break;
 597 
 598     case atos:
 599       SET_LOCALS_OBJECT(object->obj_field_acquire(entry->f2_as_index()), 0);
 600       break;
 601 
 602     default:
 603       ShouldNotReachHere();
 604     }
 605   }
 606   else {
 607     switch (entry->flag_state()) {
 608     case ctos:
 609       SET_LOCALS_INT(object->char_field(entry->f2_as_index()), 0);
 610       break;
 611 
 612     case btos:
 613     case ztos:
 614       SET_LOCALS_INT(object->byte_field(entry->f2_as_index()), 0);
 615       break;
 616 
 617     case stos:
 618       SET_LOCALS_INT(object->short_field(entry->f2_as_index()), 0);
 619       break;
 620 
 621     case itos:
 622       SET_LOCALS_INT(object->int_field(entry->f2_as_index()), 0);
 623       break;
 624 
 625     case ltos:
 626       SET_LOCALS_LONG(object->long_field(entry->f2_as_index()), 0);
 627       break;
 628 
 629     case ftos:
 630       SET_LOCALS_FLOAT(object->float_field(entry->f2_as_index()), 0);
 631       break;
 632 
 633     case dtos:
 634       SET_LOCALS_DOUBLE(object->double_field(entry->f2_as_index()), 0);
 635       break;
 636 
 637     case atos:
 638       SET_LOCALS_OBJECT(object->obj_field(entry->f2_as_index()), 0);
 639       break;
 640 
 641     default:
 642       ShouldNotReachHere();
 643     }
 644   }
 645 
 646   // No deoptimized frames on the stack
 647   return 0;
 648 }
 649 
 650 int CppInterpreter::empty_entry(Method* method, intptr_t UNUSED, TRAPS) {
 651   JavaThread *thread = (JavaThread *) THREAD;
 652   ZeroStack *stack = thread->zero_stack();
 653 
 654   // Drop into the slow path if we need a safepoint check
 655   if (SafepointSynchronize::do_call_back()) {
 656     return normal_entry(method, 0, THREAD);
 657   }
 658 
 659   // Pop our parameters
 660   stack->set_sp(stack->sp() + method->size_of_parameters());
 661 
 662   // No deoptimized frames on the stack
 663   return 0;
 664 }
 665 
 666 // The new slots will be inserted before slot insert_before.
 667 // Slots < insert_before will have the same slot number after the insert.
 668 // Slots >= insert_before will become old_slot + num_slots.
 669 void CppInterpreter::insert_vmslots(int insert_before, int num_slots, TRAPS) {
 670   JavaThread *thread = (JavaThread *) THREAD;
 671   ZeroStack *stack = thread->zero_stack();
 672 
 673   // Allocate the space
 674   stack->overflow_check(num_slots, CHECK);
 675   stack->alloc(num_slots * wordSize);
 676   intptr_t *vmslots = stack->sp();
 677 
 678   // Shuffle everything up
 679   for (int i = 0; i < insert_before; i++)
 680     SET_VMSLOTS_SLOT(VMSLOTS_SLOT(i + num_slots), i);
 681 }
 682 
 683 void CppInterpreter::remove_vmslots(int first_slot, int num_slots, TRAPS) {
 684   JavaThread *thread = (JavaThread *) THREAD;
 685   ZeroStack *stack = thread->zero_stack();
 686   intptr_t *vmslots = stack->sp();
 687 
 688   // Move everything down
 689   for (int i = first_slot - 1; i >= 0; i--)
 690     SET_VMSLOTS_SLOT(VMSLOTS_SLOT(i), i + num_slots);
 691 
 692   // Deallocate the space
 693   stack->set_sp(stack->sp() + num_slots);
 694 }
 695 
 696 BasicType CppInterpreter::result_type_of_handle(oop method_handle) {
 697   oop method_type = java_lang_invoke_MethodHandle::type(method_handle);
 698   oop return_type = java_lang_invoke_MethodType::rtype(method_type);
 699   return java_lang_Class::as_BasicType(return_type, (Klass* *) NULL);
 700 }
 701 
 702 intptr_t* CppInterpreter::calculate_unwind_sp(ZeroStack* stack,
 703                                               oop method_handle) {
 704   oop method_type = java_lang_invoke_MethodHandle::type(method_handle);
 705   int argument_slots = java_lang_invoke_MethodType::ptype_slot_count(method_type);
 706 
 707   return stack->sp() + argument_slots;
 708 }
 709 
 710 IRT_ENTRY(void, CppInterpreter::throw_exception(JavaThread* thread,
 711                                                 Symbol*     name,
 712                                                 char*       message))
 713   THROW_MSG(name, message);
 714 IRT_END
 715 
 716 InterpreterFrame *InterpreterFrame::build(Method* const method, TRAPS) {
 717   JavaThread *thread = (JavaThread *) THREAD;
 718   ZeroStack *stack = thread->zero_stack();
 719 
 720   // Calculate the size of the frame we'll build, including
 721   // any adjustments to the caller's frame that we'll make.
 722   int extra_locals  = 0;
 723   int monitor_words = 0;
 724   int stack_words   = 0;
 725 
 726   if (!method->is_native()) {
 727     extra_locals = method->max_locals() - method->size_of_parameters();
 728     stack_words  = method->max_stack();
 729   }
 730   if (method->is_synchronized()) {
 731     monitor_words = frame::interpreter_frame_monitor_size();
 732   }
 733   stack->overflow_check(
 734     extra_locals + header_words + monitor_words + stack_words, CHECK_NULL);
 735 
 736   // Adjust the caller's stack frame to accomodate any additional
 737   // local variables we have contiguously with our parameters.
 738   for (int i = 0; i < extra_locals; i++)
 739     stack->push(0);
 740 
 741   intptr_t *locals;
 742   if (method->is_native())
 743     locals = stack->sp() + (method->size_of_parameters() - 1);
 744   else
 745     locals = stack->sp() + (method->max_locals() - 1);
 746 
 747   stack->push(0); // next_frame, filled in later
 748   intptr_t *fp = stack->sp();
 749   assert(fp - stack->sp() == next_frame_off, "should be");
 750 
 751   stack->push(INTERPRETER_FRAME);
 752   assert(fp - stack->sp() == frame_type_off, "should be");
 753 
 754   interpreterState istate =
 755     (interpreterState) stack->alloc(sizeof(BytecodeInterpreter));
 756   assert(fp - stack->sp() == istate_off, "should be");
 757 
 758   istate->set_locals(locals);
 759   istate->set_method(method);
 760   istate->set_mirror(method->method_holder()->java_mirror());
 761   istate->set_self_link(istate);
 762   istate->set_prev_link(NULL);
 763   istate->set_thread(thread);
 764   istate->set_bcp(method->is_native() ? NULL : method->code_base());
 765   istate->set_constants(method->constants()->cache());
 766   istate->set_msg(BytecodeInterpreter::method_entry);
 767   istate->set_oop_temp(NULL);
 768   istate->set_mdx(NULL);
 769   istate->set_callee(NULL);
 770 
 771   istate->set_monitor_base((BasicObjectLock *) stack->sp());
 772   if (method->is_synchronized()) {
 773     BasicObjectLock *monitor =
 774       (BasicObjectLock *) stack->alloc(monitor_words * wordSize);
 775     oop object;
 776     if (method->is_static())
 777       object = method->constants()->pool_holder()->java_mirror();
 778     else
 779       object = (oop) (void*)locals[0];
 780     monitor->set_obj(object);
 781   }
 782 
 783   istate->set_stack_base(stack->sp());
 784   istate->set_stack(stack->sp() - 1);
 785   if (stack_words)
 786     stack->alloc(stack_words * wordSize);
 787   istate->set_stack_limit(stack->sp() - 1);
 788 
 789   return (InterpreterFrame *) fp;
 790 }
 791 
 792 InterpreterFrame *InterpreterFrame::build(int size, TRAPS) {
 793   ZeroStack *stack = ((JavaThread *) THREAD)->zero_stack();
 794 
 795   int size_in_words = size >> LogBytesPerWord;
 796   assert(size_in_words * wordSize == size, "unaligned");
 797   assert(size_in_words >= header_words, "too small");
 798   stack->overflow_check(size_in_words, CHECK_NULL);
 799 
 800   stack->push(0); // next_frame, filled in later
 801   intptr_t *fp = stack->sp();
 802   assert(fp - stack->sp() == next_frame_off, "should be");
 803 
 804   stack->push(INTERPRETER_FRAME);
 805   assert(fp - stack->sp() == frame_type_off, "should be");
 806 
 807   interpreterState istate =
 808     (interpreterState) stack->alloc(sizeof(BytecodeInterpreter));
 809   assert(fp - stack->sp() == istate_off, "should be");
 810   istate->set_self_link(NULL); // mark invalid
 811 
 812   stack->alloc((size_in_words - header_words) * wordSize);
 813 
 814   return (InterpreterFrame *) fp;
 815 }
 816 
 817 address CppInterpreter::return_entry(TosState state, int length, Bytecodes::Code code) {
 818   ShouldNotCallThis();
 819   return NULL;
 820 }
 821 
 822 address CppInterpreter::deopt_entry(TosState state, int length) {
 823   return NULL;
 824 }
 825 
 826 // Helper for figuring out if frames are interpreter frames
 827 
 828 bool CppInterpreter::contains(address pc) {
 829   return false; // make frame::print_value_on work
 830 }
 831 #endif // CC_INTERP