src/cpu/sparc/vm/interpreter_sparc.cpp

Thu, 12 Mar 2009 10:37:46 -0700

author
kvn
date
Thu, 12 Mar 2009 10:37:46 -0700
changeset 1077
660978a2a31a
parent 435
a61af66fc99e
child 1145
e5b0439ef4ae
permissions
-rw-r--r--

6791178: Specialize for zero as the compressed oop vm heap base
Summary: Use zero based compressed oops if java heap is below 32gb and unscaled compressed oops if java heap is below 4gb.
Reviewed-by: never, twisti, jcoomes, coleenp

     1 /*
     2  * Copyright 1997-2007 Sun Microsystems, Inc.  All Rights Reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.
     8  *
     9  * This code is distributed in the hope that it will be useful, but WITHOUT
    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    12  * version 2 for more details (a copy is included in the LICENSE file that
    13  * accompanied this code).
    14  *
    15  * You should have received a copy of the GNU General Public License version
    16  * 2 along with this work; if not, write to the Free Software Foundation,
    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    18  *
    19  * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
    20  * CA 95054 USA or visit www.sun.com if you need additional information or
    21  * have any questions.
    22  *
    23  */
    25 #include "incls/_precompiled.incl"
    26 #include "incls/_interpreter_sparc.cpp.incl"
    30 // Generation of Interpreter
    31 //
    32 // The InterpreterGenerator generates the interpreter into Interpreter::_code.
    35 #define __ _masm->
    38 //----------------------------------------------------------------------------------------------------
    43 int AbstractInterpreter::BasicType_as_index(BasicType type) {
    44   int i = 0;
    45   switch (type) {
    46     case T_BOOLEAN: i = 0; break;
    47     case T_CHAR   : i = 1; break;
    48     case T_BYTE   : i = 2; break;
    49     case T_SHORT  : i = 3; break;
    50     case T_INT    : i = 4; break;
    51     case T_LONG   : i = 5; break;
    52     case T_VOID   : i = 6; break;
    53     case T_FLOAT  : i = 7; break;
    54     case T_DOUBLE : i = 8; break;
    55     case T_OBJECT : i = 9; break;
    56     case T_ARRAY  : i = 9; break;
    57     default       : ShouldNotReachHere();
    58   }
    59   assert(0 <= i && i < AbstractInterpreter::number_of_result_handlers, "index out of bounds");
    60   return i;
    61 }
    64 #ifndef _LP64
    65 address AbstractInterpreterGenerator::generate_slow_signature_handler() {
    66   address entry = __ pc();
    67   Argument argv(0, true);
    69   // We are in the jni transition frame. Save the last_java_frame corresponding to the
    70   // outer interpreter frame
    71   //
    72   __ set_last_Java_frame(FP, noreg);
    73   // make sure the interpreter frame we've pushed has a valid return pc
    74   __ mov(O7, I7);
    75   __ mov(Lmethod, G3_scratch);
    76   __ mov(Llocals, G4_scratch);
    77   __ save_frame(0);
    78   __ mov(G2_thread, L7_thread_cache);
    79   __ add(argv.address_in_frame(), O3);
    80   __ mov(G2_thread, O0);
    81   __ mov(G3_scratch, O1);
    82   __ call(CAST_FROM_FN_PTR(address, InterpreterRuntime::slow_signature_handler), relocInfo::runtime_call_type);
    83   __ delayed()->mov(G4_scratch, O2);
    84   __ mov(L7_thread_cache, G2_thread);
    85   __ reset_last_Java_frame();
    87   // load the register arguments (the C code packed them as varargs)
    88   for (Argument ldarg = argv.successor(); ldarg.is_register(); ldarg = ldarg.successor()) {
    89       __ ld_ptr(ldarg.address_in_frame(), ldarg.as_register());
    90   }
    91   __ ret();
    92   __ delayed()->
    93      restore(O0, 0, Lscratch);  // caller's Lscratch gets the result handler
    94   return entry;
    95 }
    98 #else
    99 // LP64 passes floating point arguments in F1, F3, F5, etc. instead of
   100 // O0, O1, O2 etc..
   101 // Doubles are passed in D0, D2, D4
   102 // We store the signature of the first 16 arguments in the first argument
   103 // slot because it will be overwritten prior to calling the native
   104 // function, with the pointer to the JNIEnv.
   105 // If LP64 there can be up to 16 floating point arguments in registers
   106 // or 6 integer registers.
   107 address AbstractInterpreterGenerator::generate_slow_signature_handler() {
   109   enum {
   110     non_float  = 0,
   111     float_sig  = 1,
   112     double_sig = 2,
   113     sig_mask   = 3
   114   };
   116   address entry = __ pc();
   117   Argument argv(0, true);
   119   // We are in the jni transition frame. Save the last_java_frame corresponding to the
   120   // outer interpreter frame
   121   //
   122   __ set_last_Java_frame(FP, noreg);
   123   // make sure the interpreter frame we've pushed has a valid return pc
   124   __ mov(O7, I7);
   125   __ mov(Lmethod, G3_scratch);
   126   __ mov(Llocals, G4_scratch);
   127   __ save_frame(0);
   128   __ mov(G2_thread, L7_thread_cache);
   129   __ add(argv.address_in_frame(), O3);
   130   __ mov(G2_thread, O0);
   131   __ mov(G3_scratch, O1);
   132   __ call(CAST_FROM_FN_PTR(address, InterpreterRuntime::slow_signature_handler), relocInfo::runtime_call_type);
   133   __ delayed()->mov(G4_scratch, O2);
   134   __ mov(L7_thread_cache, G2_thread);
   135   __ reset_last_Java_frame();
   138   // load the register arguments (the C code packed them as varargs)
   139   Address Sig = argv.address_in_frame();        // Argument 0 holds the signature
   140   __ ld_ptr( Sig, G3_scratch );                   // Get register argument signature word into G3_scratch
   141   __ mov( G3_scratch, G4_scratch);
   142   __ srl( G4_scratch, 2, G4_scratch);             // Skip Arg 0
   143   Label done;
   144   for (Argument ldarg = argv.successor(); ldarg.is_float_register(); ldarg = ldarg.successor()) {
   145     Label NonFloatArg;
   146     Label LoadFloatArg;
   147     Label LoadDoubleArg;
   148     Label NextArg;
   149     Address a = ldarg.address_in_frame();
   150     __ andcc(G4_scratch, sig_mask, G3_scratch);
   151     __ br(Assembler::zero, false, Assembler::pt, NonFloatArg);
   152     __ delayed()->nop();
   154     __ cmp(G3_scratch, float_sig );
   155     __ br(Assembler::equal, false, Assembler::pt, LoadFloatArg);
   156     __ delayed()->nop();
   158     __ cmp(G3_scratch, double_sig );
   159     __ br(Assembler::equal, false, Assembler::pt, LoadDoubleArg);
   160     __ delayed()->nop();
   162     __ bind(NonFloatArg);
   163     // There are only 6 integer register arguments!
   164     if ( ldarg.is_register() )
   165       __ ld_ptr(ldarg.address_in_frame(), ldarg.as_register());
   166     else {
   167     // Optimization, see if there are any more args and get out prior to checking
   168     // all 16 float registers.  My guess is that this is rare.
   169     // If is_register is false, then we are done the first six integer args.
   170       __ tst(G4_scratch);
   171       __ brx(Assembler::zero, false, Assembler::pt, done);
   172       __ delayed()->nop();
   174     }
   175     __ ba(false, NextArg);
   176     __ delayed()->srl( G4_scratch, 2, G4_scratch );
   178     __ bind(LoadFloatArg);
   179     __ ldf( FloatRegisterImpl::S, a, ldarg.as_float_register(), 4);
   180     __ ba(false, NextArg);
   181     __ delayed()->srl( G4_scratch, 2, G4_scratch );
   183     __ bind(LoadDoubleArg);
   184     __ ldf( FloatRegisterImpl::D, a, ldarg.as_double_register() );
   185     __ ba(false, NextArg);
   186     __ delayed()->srl( G4_scratch, 2, G4_scratch );
   188     __ bind(NextArg);
   190   }
   192   __ bind(done);
   193   __ ret();
   194   __ delayed()->
   195      restore(O0, 0, Lscratch);  // caller's Lscratch gets the result handler
   196   return entry;
   197 }
   198 #endif
   200 void InterpreterGenerator::generate_counter_overflow(Label& Lcontinue) {
   202   // Generate code to initiate compilation on the counter overflow.
   204   // InterpreterRuntime::frequency_counter_overflow takes two arguments,
   205   // the first indicates if the counter overflow occurs at a backwards branch (NULL bcp)
   206   // and the second is only used when the first is true.  We pass zero for both.
   207   // The call returns the address of the verified entry point for the method or NULL
   208   // if the compilation did not complete (either went background or bailed out).
   209   __ set((int)false, O2);
   210   __ call_VM(noreg, CAST_FROM_FN_PTR(address, InterpreterRuntime::frequency_counter_overflow), O2, O2, true);
   211   // returns verified_entry_point or NULL
   212   // we ignore it in any case
   213   __ ba(false, Lcontinue);
   214   __ delayed()->nop();
   216 }
   219 // End of helpers
   221 // Various method entries
   223 // Abstract method entry
   224 // Attempt to execute abstract method. Throw exception
   225 //
   226 address InterpreterGenerator::generate_abstract_entry(void) {
   227   address entry = __ pc();
   228   // abstract method entry
   229   // throw exception
   230   __ call_VM(noreg, CAST_FROM_FN_PTR(address, InterpreterRuntime::throw_AbstractMethodError));
   231   // the call_VM checks for exception, so we should never return here.
   232   __ should_not_reach_here();
   233   return entry;
   235 }
   238 //----------------------------------------------------------------------------------------------------
   239 // Entry points & stack frame layout
   240 //
   241 // Here we generate the various kind of entries into the interpreter.
   242 // The two main entry type are generic bytecode methods and native call method.
   243 // These both come in synchronized and non-synchronized versions but the
   244 // frame layout they create is very similar. The other method entry
   245 // types are really just special purpose entries that are really entry
   246 // and interpretation all in one. These are for trivial methods like
   247 // accessor, empty, or special math methods.
   248 //
   249 // When control flow reaches any of the entry types for the interpreter
   250 // the following holds ->
   251 //
   252 // C2 Calling Conventions:
   253 //
   254 // The entry code below assumes that the following registers are set
   255 // when coming in:
   256 //    G5_method: holds the methodOop of the method to call
   257 //    Lesp:    points to the TOS of the callers expression stack
   258 //             after having pushed all the parameters
   259 //
   260 // The entry code does the following to setup an interpreter frame
   261 //   pop parameters from the callers stack by adjusting Lesp
   262 //   set O0 to Lesp
   263 //   compute X = (max_locals - num_parameters)
   264 //   bump SP up by X to accomadate the extra locals
   265 //   compute X = max_expression_stack
   266 //               + vm_local_words
   267 //               + 16 words of register save area
   268 //   save frame doing a save sp, -X, sp growing towards lower addresses
   269 //   set Lbcp, Lmethod, LcpoolCache
   270 //   set Llocals to i0
   271 //   set Lmonitors to FP - rounded_vm_local_words
   272 //   set Lesp to Lmonitors - 4
   273 //
   274 //  The frame has now been setup to do the rest of the entry code
   276 // Try this optimization:  Most method entries could live in a
   277 // "one size fits all" stack frame without all the dynamic size
   278 // calculations.  It might be profitable to do all this calculation
   279 // statically and approximately for "small enough" methods.
   281 //-----------------------------------------------------------------------------------------------
   283 // C1 Calling conventions
   284 //
   285 // Upon method entry, the following registers are setup:
   286 //
   287 // g2 G2_thread: current thread
   288 // g5 G5_method: method to activate
   289 // g4 Gargs  : pointer to last argument
   290 //
   291 //
   292 // Stack:
   293 //
   294 // +---------------+ <--- sp
   295 // |               |
   296 // : reg save area :
   297 // |               |
   298 // +---------------+ <--- sp + 0x40
   299 // |               |
   300 // : extra 7 slots :      note: these slots are not really needed for the interpreter (fix later)
   301 // |               |
   302 // +---------------+ <--- sp + 0x5c
   303 // |               |
   304 // :     free      :
   305 // |               |
   306 // +---------------+ <--- Gargs
   307 // |               |
   308 // :   arguments   :
   309 // |               |
   310 // +---------------+
   311 // |               |
   312 //
   313 //
   314 //
   315 // AFTER FRAME HAS BEEN SETUP for method interpretation the stack looks like:
   316 //
   317 // +---------------+ <--- sp
   318 // |               |
   319 // : reg save area :
   320 // |               |
   321 // +---------------+ <--- sp + 0x40
   322 // |               |
   323 // : extra 7 slots :      note: these slots are not really needed for the interpreter (fix later)
   324 // |               |
   325 // +---------------+ <--- sp + 0x5c
   326 // |               |
   327 // :               :
   328 // |               | <--- Lesp
   329 // +---------------+ <--- Lmonitors (fp - 0x18)
   330 // |   VM locals   |
   331 // +---------------+ <--- fp
   332 // |               |
   333 // : reg save area :
   334 // |               |
   335 // +---------------+ <--- fp + 0x40
   336 // |               |
   337 // : extra 7 slots :      note: these slots are not really needed for the interpreter (fix later)
   338 // |               |
   339 // +---------------+ <--- fp + 0x5c
   340 // |               |
   341 // :     free      :
   342 // |               |
   343 // +---------------+
   344 // |               |
   345 // : nonarg locals :
   346 // |               |
   347 // +---------------+
   348 // |               |
   349 // :   arguments   :
   350 // |               | <--- Llocals
   351 // +---------------+ <--- Gargs
   352 // |               |
   354 address AbstractInterpreterGenerator::generate_method_entry(AbstractInterpreter::MethodKind kind) {
   355   // determine code generation flags
   356   bool synchronized = false;
   357   address entry_point = NULL;
   359   switch (kind) {
   360     case Interpreter::zerolocals             :                                                                             break;
   361     case Interpreter::zerolocals_synchronized: synchronized = true;                                                        break;
   362     case Interpreter::native                 : entry_point = ((InterpreterGenerator*)this)->generate_native_entry(false);  break;
   363     case Interpreter::native_synchronized    : entry_point = ((InterpreterGenerator*)this)->generate_native_entry(true);   break;
   364     case Interpreter::empty                  : entry_point = ((InterpreterGenerator*)this)->generate_empty_entry();        break;
   365     case Interpreter::accessor               : entry_point = ((InterpreterGenerator*)this)->generate_accessor_entry();     break;
   366     case Interpreter::abstract               : entry_point = ((InterpreterGenerator*)this)->generate_abstract_entry();     break;
   367     case Interpreter::java_lang_math_sin     :                                                                             break;
   368     case Interpreter::java_lang_math_cos     :                                                                             break;
   369     case Interpreter::java_lang_math_tan     :                                                                             break;
   370     case Interpreter::java_lang_math_sqrt    :                                                                             break;
   371     case Interpreter::java_lang_math_abs     :                                                                             break;
   372     case Interpreter::java_lang_math_log     :                                                                             break;
   373     case Interpreter::java_lang_math_log10   :                                                                             break;
   374     default                                  : ShouldNotReachHere();                                                       break;
   375   }
   377   if (entry_point) return entry_point;
   379   return ((InterpreterGenerator*)this)->generate_normal_entry(synchronized);
   380 }
   383 // This method tells the deoptimizer how big an interpreted frame must be:
   384 int AbstractInterpreter::size_activation(methodOop method,
   385                                          int tempcount,
   386                                          int popframe_extra_args,
   387                                          int moncount,
   388                                          int callee_param_count,
   389                                          int callee_locals,
   390                                          bool is_top_frame) {
   391   return layout_activation(method,
   392                            tempcount,
   393                            popframe_extra_args,
   394                            moncount,
   395                            callee_param_count,
   396                            callee_locals,
   397                            (frame*)NULL,
   398                            (frame*)NULL,
   399                            is_top_frame);
   400 }
   402 void Deoptimization::unwind_callee_save_values(frame* f, vframeArray* vframe_array) {
   404   // This code is sort of the equivalent of C2IAdapter::setup_stack_frame back in
   405   // the days we had adapter frames. When we deoptimize a situation where a
   406   // compiled caller calls a compiled caller will have registers it expects
   407   // to survive the call to the callee. If we deoptimize the callee the only
   408   // way we can restore these registers is to have the oldest interpreter
   409   // frame that we create restore these values. That is what this routine
   410   // will accomplish.
   412   // At the moment we have modified c2 to not have any callee save registers
   413   // so this problem does not exist and this routine is just a place holder.
   415   assert(f->is_interpreted_frame(), "must be interpreted");
   416 }
   419 //----------------------------------------------------------------------------------------------------
   420 // Exceptions

mercurial