src/cpu/zero/vm/frame_zero.cpp

Fri, 12 Feb 2010 10:34:11 -0800

author
kvn
date
Fri, 12 Feb 2010 10:34:11 -0800
changeset 1691
c09ee209b65c
parent 1513
8e7adf982378
child 1860
0c5b3cf3c1f5
permissions
-rw-r--r--

6926048: Improve Zero performance
Summary: Make Zero figure out result types in a similar way to C++ interpreter implementation.
Reviewed-by: kvn
Contributed-by: gbenson@redhat.com

     1 /*
     2  * Copyright 2003-2007 Sun Microsystems, Inc.  All Rights Reserved.
     3  * Copyright 2007, 2008, 2009 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
    21  * CA 95054 USA or visit www.sun.com if you need additional information or
    22  * have any questions.
    23  *
    24  */
    26 #include "incls/_precompiled.incl"
    27 #include "incls/_frame_zero.cpp.incl"
    29 #ifdef ASSERT
    30 void RegisterMap::check_location_valid() {
    31   ShouldNotCallThis();
    32 }
    33 #endif
    35 bool frame::is_interpreted_frame() const {
    36   return zeroframe()->is_interpreter_frame();
    37 }
    39 frame frame::sender_for_entry_frame(RegisterMap *map) const {
    40   assert(zeroframe()->is_entry_frame(), "wrong type of frame");
    41   assert(map != NULL, "map must be set");
    42   assert(!entry_frame_is_first(), "next Java fp must be non zero");
    43   assert(entry_frame_call_wrapper()->anchor()->last_Java_sp() == sender_sp(),
    44          "sender should be next Java frame");
    45   map->clear();
    46   assert(map->include_argument_oops(), "should be set by clear");
    47   return frame(sender_sp(), sp() + 1);
    48 }
    50 frame frame::sender_for_nonentry_frame(RegisterMap *map) const {
    51   assert(zeroframe()->is_interpreter_frame() ||
    52          zeroframe()->is_shark_frame() ||
    53          zeroframe()->is_fake_stub_frame(), "wrong type of frame");
    54   return frame(sender_sp(), sp() + 1);
    55 }
    57 frame frame::sender(RegisterMap* map) const {
    58   // Default is not to follow arguments; the various
    59   // sender_for_xxx methods update this accordingly.
    60   map->set_include_argument_oops(false);
    62   if (is_entry_frame())
    63     return sender_for_entry_frame(map);
    64   else
    65     return sender_for_nonentry_frame(map);
    66 }
    68 #ifdef CC_INTERP
    69 BasicObjectLock* frame::interpreter_frame_monitor_begin() const {
    70   return get_interpreterState()->monitor_base();
    71 }
    73 BasicObjectLock* frame::interpreter_frame_monitor_end() const {
    74   return (BasicObjectLock*) get_interpreterState()->stack_base();
    75 }
    76 #endif // CC_INTERP
    78 void frame::patch_pc(Thread* thread, address pc) {
    79   // We borrow this call to set the thread pointer in the interpreter
    80   // state; the hook to set up deoptimized frames isn't supplied it.
    81   assert(pc == NULL, "should be");
    82   get_interpreterState()->set_thread((JavaThread *) thread);
    83 }
    85 bool frame::safe_for_sender(JavaThread *thread) {
    86   ShouldNotCallThis();
    87 }
    89 void frame::pd_gc_epilog() {
    90 }
    92 bool frame::is_interpreted_frame_valid(JavaThread *thread) const {
    93   ShouldNotCallThis();
    94 }
    96 BasicType frame::interpreter_frame_result(oop* oop_result,
    97                                           jvalue* value_result) {
    98   assert(is_interpreted_frame(), "interpreted frame expected");
    99   methodOop method = interpreter_frame_method();
   100   BasicType type = method->result_type();
   101   intptr_t* tos_addr = (intptr_t *) interpreter_frame_tos_address();
   102   oop obj;
   104   switch (type) {
   105   case T_VOID:
   106     break;
   107   case T_BOOLEAN:
   108     value_result->z = *(jboolean *) tos_addr;
   109     break;
   110   case T_BYTE:
   111     value_result->b = *(jbyte *) tos_addr;
   112     break;
   113   case T_CHAR:
   114     value_result->c = *(jchar *) tos_addr;
   115     break;
   116   case T_SHORT:
   117     value_result->s = *(jshort *) tos_addr;
   118     break;
   119   case T_INT:
   120     value_result->i = *(jint *) tos_addr;
   121     break;
   122   case T_LONG:
   123     value_result->j = *(jlong *) tos_addr;
   124     break;
   125   case T_FLOAT:
   126     value_result->f = *(jfloat *) tos_addr;
   127     break;
   128   case T_DOUBLE:
   129     value_result->d = *(jdouble *) tos_addr;
   130     break;
   132   case T_OBJECT:
   133   case T_ARRAY:
   134     if (method->is_native()) {
   135       obj = get_interpreterState()->oop_temp();
   136     }
   137     else {
   138       oop* obj_p = (oop *) tos_addr;
   139       obj = (obj_p == NULL) ? (oop) NULL : *obj_p;
   140     }
   141     assert(obj == NULL || Universe::heap()->is_in(obj), "sanity check");
   142     *oop_result = obj;
   143     break;
   145   default:
   146     ShouldNotReachHere();
   147   }
   149   return type;
   150 }
   152 int frame::frame_size(RegisterMap* map) const {
   153 #ifdef PRODUCT
   154   ShouldNotCallThis();
   155 #else
   156   return 0; // make javaVFrame::print_value work
   157 #endif // PRODUCT
   158 }
   160 intptr_t* frame::interpreter_frame_tos_at(jint offset) const {
   161   int index = (Interpreter::expr_offset_in_bytes(offset) / wordSize);
   162   return &interpreter_frame_tos_address()[index];
   163 }
   165 void frame::zero_print_on_error(int           frame_index,
   166                                 outputStream* st,
   167                                 char*         buf,
   168                                 int           buflen) const {
   169   // Divide the buffer between the field and the value
   170   buflen >>= 1;
   171   char *fieldbuf = buf;
   172   char *valuebuf = buf + buflen;
   174   // Print each word of the frame
   175   for (intptr_t *addr = fp(); addr <= sp(); addr++) {
   176     int offset = sp() - addr;
   178     // Fill in default values, then try and improve them
   179     snprintf(fieldbuf, buflen, "word[%d]", offset);
   180     snprintf(valuebuf, buflen, PTR_FORMAT, *addr);
   181     zeroframe()->identify_word(frame_index, offset, fieldbuf, valuebuf, buflen);
   182     fieldbuf[buflen - 1] = '\0';
   183     valuebuf[buflen - 1] = '\0';
   185     // Print the result
   186     st->print_cr(" " PTR_FORMAT ": %-21s = %s", addr, fieldbuf, valuebuf);
   187   }
   188 }
   190 void ZeroFrame::identify_word(int   frame_index,
   191                               int   offset,
   192                               char* fieldbuf,
   193                               char* valuebuf,
   194                               int   buflen) const {
   195   switch (offset) {
   196   case next_frame_off:
   197     strncpy(fieldbuf, "next_frame", buflen);
   198     break;
   200   case frame_type_off:
   201     strncpy(fieldbuf, "frame_type", buflen);
   202     if (is_entry_frame())
   203       strncpy(valuebuf, "ENTRY_FRAME", buflen);
   204     else if (is_interpreter_frame())
   205       strncpy(valuebuf, "INTERPRETER_FRAME", buflen);
   206     else if (is_shark_frame())
   207       strncpy(valuebuf, "SHARK_FRAME", buflen);
   208     else if (is_fake_stub_frame())
   209       strncpy(valuebuf, "FAKE_STUB_FRAME", buflen);
   210     break;
   212   default:
   213     if (is_entry_frame()) {
   214       as_entry_frame()->identify_word(
   215         frame_index, offset, fieldbuf, valuebuf, buflen);
   216     }
   217     else if (is_interpreter_frame()) {
   218       as_interpreter_frame()->identify_word(
   219         frame_index, offset, fieldbuf, valuebuf, buflen);
   220     }
   221     else if (is_shark_frame()) {
   222       as_shark_frame()->identify_word(
   223         frame_index, offset, fieldbuf, valuebuf, buflen);
   224     }
   225     else if (is_fake_stub_frame()) {
   226       as_fake_stub_frame()->identify_word(
   227         frame_index, offset, fieldbuf, valuebuf, buflen);
   228     }
   229   }
   230 }
   232 void EntryFrame::identify_word(int   frame_index,
   233                                int   offset,
   234                                char* fieldbuf,
   235                                char* valuebuf,
   236                                int   buflen) const {
   237   switch (offset) {
   238   case call_wrapper_off:
   239     strncpy(fieldbuf, "call_wrapper", buflen);
   240     break;
   242   default:
   243     snprintf(fieldbuf, buflen, "local[%d]", offset - 3);
   244   }
   245 }
   247 void InterpreterFrame::identify_word(int   frame_index,
   248                                      int   offset,
   249                                      char* fieldbuf,
   250                                      char* valuebuf,
   251                                      int   buflen) const {
   252   interpreterState istate = interpreter_state();
   253   bool is_valid = istate->self_link() == istate;
   254   intptr_t *addr = addr_of_word(offset);
   256   // Fixed part
   257   if (addr >= (intptr_t *) istate) {
   258     const char *field = istate->name_of_field_at_address((address) addr);
   259     if (field) {
   260       if (is_valid && !strcmp(field, "_method")) {
   261         istate->method()->name_and_sig_as_C_string(valuebuf, buflen);
   262       }
   263       else if (is_valid && !strcmp(field, "_bcp") && istate->bcp()) {
   264         snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
   265                  (intptr_t) istate->bcp(),
   266                  istate->method()->bci_from(istate->bcp()));
   267       }
   268       snprintf(fieldbuf, buflen, "%sistate->%s",
   269                field[strlen(field) - 1] == ')' ? "(": "", field);
   270     }
   271     else if (addr == (intptr_t *) istate) {
   272       strncpy(fieldbuf, "(vtable for istate)", buflen);
   273     }
   274     return;
   275   }
   277   // Variable part
   278   if (!is_valid)
   279     return;
   281   // JNI stuff
   282   if (istate->method()->is_native() && addr < istate->stack_base()) {
   283     address hA = istate->method()->signature_handler();
   284     if (hA != NULL) {
   285       if (hA != (address) InterpreterRuntime::slow_signature_handler) {
   286         InterpreterRuntime::SignatureHandler *handler =
   287           InterpreterRuntime::SignatureHandler::from_handlerAddr(hA);
   289         intptr_t *params = istate->stack_base() - handler->argument_count();
   290         if (addr >= params) {
   291           int param = addr - params;
   292           const char *desc = "";
   293           if (param == 0)
   294             desc = " (JNIEnv)";
   295           else if (param == 1) {
   296             if (istate->method()->is_static())
   297               desc = " (mirror)";
   298             else
   299               desc = " (this)";
   300           }
   301           snprintf(fieldbuf, buflen, "parameter[%d]%s", param, desc);
   302           return;
   303         }
   305         for (int i = 0; i < handler->argument_count(); i++) {
   306           if (params[i] == (intptr_t) addr) {
   307             snprintf(fieldbuf, buflen, "unboxed parameter[%d]", i);
   308             return;
   309           }
   310         }
   311       }
   312     }
   313     return;
   314   }
   316   // Monitors and stack
   317   identify_vp_word(frame_index, addr,
   318                    (intptr_t *) istate->monitor_base(),
   319                    istate->stack_base(),
   320                    fieldbuf, buflen);
   321 }
   323 void SharkFrame::identify_word(int   frame_index,
   324                                int   offset,
   325                                char* fieldbuf,
   326                                char* valuebuf,
   327                                int   buflen) const {
   328   // Fixed part
   329   switch (offset) {
   330   case pc_off:
   331     strncpy(fieldbuf, "pc", buflen);
   332     if (method()->is_oop()) {
   333       nmethod *code = method()->code();
   334       if (code && code->pc_desc_at(pc())) {
   335         SimpleScopeDesc ssd(code, pc());
   336         snprintf(valuebuf, buflen, PTR_FORMAT " (bci %d)",
   337                  (intptr_t) pc(), ssd.bci());
   338       }
   339     }
   340     return;
   342   case unextended_sp_off:
   343     strncpy(fieldbuf, "unextended_sp", buflen);
   344     return;
   346   case method_off:
   347     strncpy(fieldbuf, "method", buflen);
   348     if (method()->is_oop()) {
   349       method()->name_and_sig_as_C_string(valuebuf, buflen);
   350     }
   351     return;
   353   case oop_tmp_off:
   354     strncpy(fieldbuf, "oop_tmp", buflen);
   355     return;
   356   }
   358   // Variable part
   359   if (method()->is_oop()) {
   360     identify_vp_word(frame_index, addr_of_word(offset),
   361                      addr_of_word(header_words + 1),
   362                      unextended_sp() + method()->max_stack(),
   363                      fieldbuf, buflen);
   364   }
   365 }
   367 void ZeroFrame::identify_vp_word(int       frame_index,
   368                                  intptr_t* addr,
   369                                  intptr_t* monitor_base,
   370                                  intptr_t* stack_base,
   371                                  char*     fieldbuf,
   372                                  int       buflen) const {
   373   // Monitors
   374   if (addr >= stack_base && addr < monitor_base) {
   375     int monitor_size = frame::interpreter_frame_monitor_size();
   376     int last_index = (monitor_base - stack_base) / monitor_size - 1;
   377     int index = last_index - (addr - stack_base) / monitor_size;
   378     intptr_t monitor = (intptr_t) (
   379       (BasicObjectLock *) monitor_base - 1 - index);
   380     intptr_t offset = (intptr_t) addr - monitor;
   382     if (offset == BasicObjectLock::obj_offset_in_bytes())
   383       snprintf(fieldbuf, buflen, "monitor[%d]->_obj", index);
   384     else if (offset ==  BasicObjectLock::lock_offset_in_bytes())
   385       snprintf(fieldbuf, buflen, "monitor[%d]->_lock", index);
   387     return;
   388   }
   390   // Expression stack
   391   if (addr < stack_base) {
   392     snprintf(fieldbuf, buflen, "%s[%d]",
   393              frame_index == 0 ? "stack_word" : "local",
   394              (int) (stack_base - addr - 1));
   395     return;
   396   }
   397 }

mercurial