jdk8-mips64-public/hotspot: src/share/vm/ci/ciMethod.cpp@b2ee5dc63353

8024070: C2 needs some form of type speculation
Summary: record unused type profile information with type system, propagate and use it.
Reviewed-by: kvn, twisti

     1 /*

     2  * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.

     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

     4  *

     5  * This code is free software; you can redistribute it and/or modify it

     6  * under the terms of the GNU General Public License version 2 only, as

     7  * published by the Free Software Foundation.

     8  *

     9  * This code is distributed in the hope that it will be useful, but WITHOUT

    10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

    11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

    12  * version 2 for more details (a copy is included in the LICENSE file that

    13  * accompanied this code).

    14  *

    15  * You should have received a copy of the GNU General Public License version

    16  * 2 along with this work; if not, write to the Free Software Foundation,

    17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

    18  *

    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

    20  * or visit www.oracle.com if you need additional information or have any

    21  * questions.

    22  *

    23  */

    25 #include "precompiled.hpp"

    26 #include "ci/ciCallProfile.hpp"

    27 #include "ci/ciExceptionHandler.hpp"

    28 #include "ci/ciInstanceKlass.hpp"

    29 #include "ci/ciMethod.hpp"

    30 #include "ci/ciMethodBlocks.hpp"

    31 #include "ci/ciMethodData.hpp"

    32 #include "ci/ciStreams.hpp"

    33 #include "ci/ciSymbol.hpp"

    34 #include "ci/ciReplay.hpp"

    35 #include "ci/ciUtilities.hpp"

    36 #include "classfile/systemDictionary.hpp"

    37 #include "compiler/abstractCompiler.hpp"

    38 #include "compiler/compilerOracle.hpp"

    39 #include "compiler/methodLiveness.hpp"

    40 #include "interpreter/interpreter.hpp"

    41 #include "interpreter/linkResolver.hpp"

    42 #include "interpreter/oopMapCache.hpp"

    43 #include "memory/allocation.inline.hpp"

    44 #include "memory/resourceArea.hpp"

    45 #include "oops/generateOopMap.hpp"

    46 #include "oops/oop.inline.hpp"

    47 #include "prims/nativeLookup.hpp"

    48 #include "runtime/deoptimization.hpp"

    49 #include "utilities/bitMap.inline.hpp"

    50 #include "utilities/xmlstream.hpp"

    51 #ifdef COMPILER2

    52 #include "ci/bcEscapeAnalyzer.hpp"

    53 #include "ci/ciTypeFlow.hpp"

    54 #include "oops/method.hpp"

    55 #endif

    56 #ifdef SHARK

    57 #include "ci/ciTypeFlow.hpp"

    58 #include "oops/method.hpp"

    59 #endif

    61 // ciMethod

    62 //

    63 // This class represents a Method* in the HotSpot virtual

    64 // machine.

    67 // ------------------------------------------------------------------

    68 // ciMethod::ciMethod

    69 //

    70 // Loaded method.

    71 ciMethod::ciMethod(methodHandle h_m) : ciMetadata(h_m()) {

    72   assert(h_m() != NULL, "no null method");

    74   // These fields are always filled in in loaded methods.

    75   _flags = ciFlags(h_m()->access_flags());

    77   // Easy to compute, so fill them in now.

    78   _max_stack          = h_m()->max_stack();

    79   _max_locals         = h_m()->max_locals();

    80   _code_size          = h_m()->code_size();

    81   _intrinsic_id       = h_m()->intrinsic_id();

    82   _handler_count      = h_m()->exception_table_length();

    83   _uses_monitors      = h_m()->access_flags().has_monitor_bytecodes();

    84   _balanced_monitors  = !_uses_monitors || h_m()->access_flags().is_monitor_matching();

    85   _is_c1_compilable   = !h_m()->is_not_c1_compilable();

    86   _is_c2_compilable   = !h_m()->is_not_c2_compilable();

    87   // Lazy fields, filled in on demand.  Require allocation.

    88   _code               = NULL;

    89   _exception_handlers = NULL;

    90   _liveness           = NULL;

    91   _method_blocks = NULL;

    92 #if defined(COMPILER2) || defined(SHARK)

    93   _flow               = NULL;

    94   _bcea               = NULL;

    95 #endif // COMPILER2 || SHARK

    97   ciEnv *env = CURRENT_ENV;

    98   if (env->jvmti_can_hotswap_or_post_breakpoint() && can_be_compiled()) {

    99     // 6328518 check hotswap conditions under the right lock.

   100     MutexLocker locker(Compile_lock);

   101     if (Dependencies::check_evol_method(h_m()) != NULL) {

   102       _is_c1_compilable = false;

   103       _is_c2_compilable = false;

   104     }

   105   } else {

   106     CHECK_UNHANDLED_OOPS_ONLY(Thread::current()->clear_unhandled_oops());

   107   }

   109   if (h_m()->method_holder()->is_linked()) {

   110     _can_be_statically_bound = h_m()->can_be_statically_bound();

   111   } else {

   112     // Have to use a conservative value in this case.

   113     _can_be_statically_bound = false;

   114   }

   116   // Adjust the definition of this condition to be more useful:

   117   // %%% take these conditions into account in vtable generation

   118   if (!_can_be_statically_bound && h_m()->is_private())

   119     _can_be_statically_bound = true;

   120   if (_can_be_statically_bound && h_m()->is_abstract())

   121     _can_be_statically_bound = false;

   123   // generating _signature may allow GC and therefore move m.

   124   // These fields are always filled in.

   125   _name = env->get_symbol(h_m()->name());

   126   _holder = env->get_instance_klass(h_m()->method_holder());

   127   ciSymbol* sig_symbol = env->get_symbol(h_m()->signature());

   128   constantPoolHandle cpool = h_m()->constants();

   129   _signature = new (env->arena()) ciSignature(_holder, cpool, sig_symbol);

   130   _method_data = NULL;

   131   // Take a snapshot of these values, so they will be commensurate with the MDO.

   132   if (ProfileInterpreter || TieredCompilation) {

   133     int invcnt = h_m()->interpreter_invocation_count();

   134     // if the value overflowed report it as max int

   135     _interpreter_invocation_count = invcnt < 0 ? max_jint : invcnt ;

   136     _interpreter_throwout_count   = h_m()->interpreter_throwout_count();

   137   } else {

   138     _interpreter_invocation_count = 0;

   139     _interpreter_throwout_count = 0;

   140   }

   141   if (_interpreter_invocation_count == 0)

   142     _interpreter_invocation_count = 1;

   143   _instructions_size = -1;

   144 #ifdef ASSERT

   145   if (ReplayCompiles) {

   146     ciReplay::initialize(this);

   147   }

   148 #endif

   149 }

   152 // ------------------------------------------------------------------

   153 // ciMethod::ciMethod

   154 //

   155 // Unloaded method.

   156 ciMethod::ciMethod(ciInstanceKlass* holder,

   157                    ciSymbol*        name,

   158                    ciSymbol*        signature,

   159                    ciInstanceKlass* accessor) :

   160   ciMetadata((Metadata*)NULL),

   161   _name(                   name),

   162   _holder(                 holder),

   163   _intrinsic_id(           vmIntrinsics::_none),

   164   _liveness(               NULL),

   165   _can_be_statically_bound(false),

   166   _method_blocks(          NULL),

   167   _method_data(            NULL)

   168 #if defined(COMPILER2) || defined(SHARK)

   169   ,

   170   _flow(                   NULL),

   171   _bcea(                   NULL),

   172   _instructions_size(-1)

   173 #endif // COMPILER2 || SHARK

   174 {

   175   // Usually holder and accessor are the same type but in some cases

   176   // the holder has the wrong class loader (e.g. invokedynamic call

   177   // sites) so we pass the accessor.

   178   _signature = new (CURRENT_ENV->arena()) ciSignature(accessor, constantPoolHandle(), signature);

   179 }

   182 // ------------------------------------------------------------------

   183 // ciMethod::load_code

   184 //

   185 // Load the bytecodes and exception handler table for this method.

   186 void ciMethod::load_code() {

   187   VM_ENTRY_MARK;

   188   assert(is_loaded(), "only loaded methods have code");

   190   Method* me = get_Method();

   191   Arena* arena = CURRENT_THREAD_ENV->arena();

   193   // Load the bytecodes.

   194   _code = (address)arena->Amalloc(code_size());

   195   memcpy(_code, me->code_base(), code_size());

   197   // Revert any breakpoint bytecodes in ci's copy

   198   if (me->number_of_breakpoints() > 0) {

   199     BreakpointInfo* bp = me->method_holder()->breakpoints();

   200     for (; bp != NULL; bp = bp->next()) {

   201       if (bp->match(me)) {

   202         code_at_put(bp->bci(), bp->orig_bytecode());

   203       }

   204     }

   205   }

   207   // And load the exception table.

   208   ExceptionTable exc_table(me);

   210   // Allocate one extra spot in our list of exceptions.  This

   211   // last entry will be used to represent the possibility that

   212   // an exception escapes the method.  See ciExceptionHandlerStream

   213   // for details.

   214   _exception_handlers =

   215     (ciExceptionHandler**)arena->Amalloc(sizeof(ciExceptionHandler*)

   216                                          * (_handler_count + 1));

   217   if (_handler_count > 0) {

   218     for (int i=0; i<_handler_count; i++) {

   219       _exception_handlers[i] = new (arena) ciExceptionHandler(

   220                                 holder(),

   221             /* start    */      exc_table.start_pc(i),

   222             /* limit    */      exc_table.end_pc(i),

   223             /* goto pc  */      exc_table.handler_pc(i),

   224             /* cp index */      exc_table.catch_type_index(i));

   225     }

   226   }

   228   // Put an entry at the end of our list to represent the possibility

   229   // of exceptional exit.

   230   _exception_handlers[_handler_count] =

   231     new (arena) ciExceptionHandler(holder(), 0, code_size(), -1, 0);

   233   if (CIPrintMethodCodes) {

   234     print_codes();

   235   }

   236 }

   239 // ------------------------------------------------------------------

   240 // ciMethod::has_linenumber_table

   241 //

   242 // length unknown until decompression

   243 bool    ciMethod::has_linenumber_table() const {

   244   check_is_loaded();

   245   VM_ENTRY_MARK;

   246   return get_Method()->has_linenumber_table();

   247 }

   250 // ------------------------------------------------------------------

   251 // ciMethod::compressed_linenumber_table

   252 u_char* ciMethod::compressed_linenumber_table() const {

   253   check_is_loaded();

   254   VM_ENTRY_MARK;

   255   return get_Method()->compressed_linenumber_table();

   256 }

   259 // ------------------------------------------------------------------

   260 // ciMethod::line_number_from_bci

   261 int ciMethod::line_number_from_bci(int bci) const {

   262   check_is_loaded();

   263   VM_ENTRY_MARK;

   264   return get_Method()->line_number_from_bci(bci);

   265 }

   268 // ------------------------------------------------------------------

   269 // ciMethod::vtable_index

   270 //

   271 // Get the position of this method's entry in the vtable, if any.

   272 int ciMethod::vtable_index() {

   273   check_is_loaded();

   274   assert(holder()->is_linked(), "must be linked");

   275   VM_ENTRY_MARK;

   276   return get_Method()->vtable_index();

   277 }

   280 #ifdef SHARK

   281 // ------------------------------------------------------------------

   282 // ciMethod::itable_index

   283 //

   284 // Get the position of this method's entry in the itable, if any.

   285 int ciMethod::itable_index() {

   286   check_is_loaded();

   287   assert(holder()->is_linked(), "must be linked");

   288   VM_ENTRY_MARK;

   289   Method* m = get_Method();

   290   if (!m->has_itable_index())

   291     return Method::nonvirtual_vtable_index;

   292   return m->itable_index();

   293 }

   294 #endif // SHARK

   297 // ------------------------------------------------------------------

   298 // ciMethod::native_entry

   299 //

   300 // Get the address of this method's native code, if any.

   301 address ciMethod::native_entry() {

   302   check_is_loaded();

   303   assert(flags().is_native(), "must be native method");

   304   VM_ENTRY_MARK;

   305   Method* method = get_Method();

   306   address entry = method->native_function();

   307   assert(entry != NULL, "must be valid entry point");

   308   return entry;

   309 }

   312 // ------------------------------------------------------------------

   313 // ciMethod::interpreter_entry

   314 //

   315 // Get the entry point for running this method in the interpreter.

   316 address ciMethod::interpreter_entry() {

   317   check_is_loaded();

   318   VM_ENTRY_MARK;

   319   methodHandle mh(THREAD, get_Method());

   320   return Interpreter::entry_for_method(mh);

   321 }

   324 // ------------------------------------------------------------------

   325 // ciMethod::uses_balanced_monitors

   326 //

   327 // Does this method use monitors in a strict stack-disciplined manner?

   328 bool ciMethod::has_balanced_monitors() {

   329   check_is_loaded();

   330   if (_balanced_monitors) return true;

   332   // Analyze the method to see if monitors are used properly.

   333   VM_ENTRY_MARK;

   334   methodHandle method(THREAD, get_Method());

   335   assert(method->has_monitor_bytecodes(), "should have checked this");

   337   // Check to see if a previous compilation computed the

   338   // monitor-matching analysis.

   339   if (method->guaranteed_monitor_matching()) {

   340     _balanced_monitors = true;

   341     return true;

   342   }

   344   {

   345     EXCEPTION_MARK;

   346     ResourceMark rm(THREAD);

   347     GeneratePairingInfo gpi(method);

   348     gpi.compute_map(CATCH);

   349     if (!gpi.monitor_safe()) {

   350       return false;

   351     }

   352     method->set_guaranteed_monitor_matching();

   353     _balanced_monitors = true;

   354   }

   355   return true;

   356 }

   359 // ------------------------------------------------------------------

   360 // ciMethod::get_flow_analysis

   361 ciTypeFlow* ciMethod::get_flow_analysis() {

   362 #if defined(COMPILER2) || defined(SHARK)

   363   if (_flow == NULL) {

   364     ciEnv* env = CURRENT_ENV;

   365     _flow = new (env->arena()) ciTypeFlow(env, this);

   366     _flow->do_flow();

   367   }

   368   return _flow;

   369 #else // COMPILER2 || SHARK

   370   ShouldNotReachHere();

   371   return NULL;

   372 #endif // COMPILER2 || SHARK

   373 }

   376 // ------------------------------------------------------------------

   377 // ciMethod::get_osr_flow_analysis

   378 ciTypeFlow* ciMethod::get_osr_flow_analysis(int osr_bci) {

   379 #if defined(COMPILER2) || defined(SHARK)

   380   // OSR entry points are always place after a call bytecode of some sort

   381   assert(osr_bci >= 0, "must supply valid OSR entry point");

   382   ciEnv* env = CURRENT_ENV;

   383   ciTypeFlow* flow = new (env->arena()) ciTypeFlow(env, this, osr_bci);

   384   flow->do_flow();

   385   return flow;

   386 #else // COMPILER2 || SHARK

   387   ShouldNotReachHere();

   388   return NULL;

   389 #endif // COMPILER2 || SHARK

   390 }

   392 // ------------------------------------------------------------------

   393 // ciMethod::raw_liveness_at_bci

   394 //

   395 // Which local variables are live at a specific bci?

   396 MethodLivenessResult ciMethod::raw_liveness_at_bci(int bci) {

   397   check_is_loaded();

   398   if (_liveness == NULL) {

   399     // Create the liveness analyzer.

   400     Arena* arena = CURRENT_ENV->arena();

   401     _liveness = new (arena) MethodLiveness(arena, this);

   402     _liveness->compute_liveness();

   403   }

   404   return _liveness->get_liveness_at(bci);

   405 }

   407 // ------------------------------------------------------------------

   408 // ciMethod::liveness_at_bci

   409 //

   410 // Which local variables are live at a specific bci?  When debugging

   411 // will return true for all locals in some cases to improve debug

   412 // information.

   413 MethodLivenessResult ciMethod::liveness_at_bci(int bci) {

   414   MethodLivenessResult result = raw_liveness_at_bci(bci);

   415   if (CURRENT_ENV->jvmti_can_access_local_variables() || DeoptimizeALot || CompileTheWorld) {

   416     // Keep all locals live for the user's edification and amusement.

   417     result.at_put_range(0, result.size(), true);

   418   }

   419   return result;

   420 }

   422 // ciMethod::live_local_oops_at_bci

   423 //

   424 // find all the live oops in the locals array for a particular bci

   425 // Compute what the interpreter believes by using the interpreter

   426 // oopmap generator. This is used as a double check during osr to

   427 // guard against conservative result from MethodLiveness making us

   428 // think a dead oop is live.  MethodLiveness is conservative in the

   429 // sense that it may consider locals to be live which cannot be live,

   430 // like in the case where a local could contain an oop or  a primitive

   431 // along different paths.  In that case the local must be dead when

   432 // those paths merge. Since the interpreter's viewpoint is used when

   433 // gc'ing an interpreter frame we need to use its viewpoint  during

   434 // OSR when loading the locals.

   436 BitMap ciMethod::live_local_oops_at_bci(int bci) {

   437   VM_ENTRY_MARK;

   438   InterpreterOopMap mask;

   439   OopMapCache::compute_one_oop_map(get_Method(), bci, &mask);

   440   int mask_size = max_locals();

   441   BitMap result(mask_size);

   442   result.clear();

   443   int i;

   444   for (i = 0; i < mask_size ; i++ ) {

   445     if (mask.is_oop(i)) result.set_bit(i);

   446   }

   447   return result;

   448 }

   451 #ifdef COMPILER1

   452 // ------------------------------------------------------------------

   453 // ciMethod::bci_block_start

   454 //

   455 // Marks all bcis where a new basic block starts

   456 const BitMap ciMethod::bci_block_start() {

   457   check_is_loaded();

   458   if (_liveness == NULL) {

   459     // Create the liveness analyzer.

   460     Arena* arena = CURRENT_ENV->arena();

   461     _liveness = new (arena) MethodLiveness(arena, this);

   462     _liveness->compute_liveness();

   463   }

   465   return _liveness->get_bci_block_start();

   466 }

   467 #endif // COMPILER1

   470 // ------------------------------------------------------------------

   471 // ciMethod::call_profile_at_bci

   472 //

   473 // Get the ciCallProfile for the invocation of this method.

   474 // Also reports receiver types for non-call type checks (if TypeProfileCasts).

   475 ciCallProfile ciMethod::call_profile_at_bci(int bci) {

   476   ResourceMark rm;

   477   ciCallProfile result;

   478   if (method_data() != NULL && method_data()->is_mature()) {

   479     ciProfileData* data = method_data()->bci_to_data(bci);

   480     if (data != NULL && data->is_CounterData()) {

   481       // Every profiled call site has a counter.

   482       int count = data->as_CounterData()->count();

   484       if (!data->is_ReceiverTypeData()) {

   485         result._receiver_count[0] = 0;  // that's a definite zero

   486       } else { // ReceiverTypeData is a subclass of CounterData

   487         ciReceiverTypeData* call = (ciReceiverTypeData*)data->as_ReceiverTypeData();

   488         // In addition, virtual call sites have receiver type information

   489         int receivers_count_total = 0;

   490         int morphism = 0;

   491         // Precompute morphism for the possible fixup

   492         for (uint i = 0; i < call->row_limit(); i++) {

   493           ciKlass* receiver = call->receiver(i);

   494           if (receiver == NULL)  continue;

   495           morphism++;

   496         }

   497         int epsilon = 0;

   498         if (TieredCompilation && ProfileInterpreter) {

   499           // Interpreter and C1 treat final and special invokes differently.

   500           // C1 will record a type, whereas the interpreter will just

   501           // increment the count. Detect this case.

   502           if (morphism == 1 && count > 0) {

   503             epsilon = count;

   504             count = 0;

   505           }

   506         }

   507         for (uint i = 0; i < call->row_limit(); i++) {

   508           ciKlass* receiver = call->receiver(i);

   509           if (receiver == NULL)  continue;

   510           int rcount = call->receiver_count(i) + epsilon;

   511           if (rcount == 0) rcount = 1; // Should be valid value

   512           receivers_count_total += rcount;

   513           // Add the receiver to result data.

   514           result.add_receiver(receiver, rcount);

   515           // If we extend profiling to record methods,

   516           // we will set result._method also.

   517         }

   518         // Determine call site's morphism.

   519         // The call site count is 0 with known morphism (onlt 1 or 2 receivers)

   520         // or < 0 in the case of a type check failured for checkcast, aastore, instanceof.

   521         // The call site count is > 0 in the case of a polymorphic virtual call.

   522         if (morphism > 0 && morphism == result._limit) {

   523            // The morphism <= MorphismLimit.

   524            if ((morphism <  ciCallProfile::MorphismLimit) ||

   525                (morphism == ciCallProfile::MorphismLimit && count == 0)) {

   526 #ifdef ASSERT

   527              if (count > 0) {

   528                this->print_short_name(tty);

   529                tty->print_cr(" @ bci:%d", bci);

   530                this->print_codes();

   531                assert(false, "this call site should not be polymorphic");

   532              }

   533 #endif

   534              result._morphism = morphism;

   535            }

   536         }

   537         // Make the count consistent if this is a call profile. If count is

   538         // zero or less, presume that this is a typecheck profile and

   539         // do nothing.  Otherwise, increase count to be the sum of all

   540         // receiver's counts.

   541         if (count >= 0) {

   542           count += receivers_count_total;

   543         }

   544       }

   545       result._count = count;

   546     }

   547   }

   548   return result;

   549 }

   551 // ------------------------------------------------------------------

   552 // Add new receiver and sort data by receiver's profile count.

   553 void ciCallProfile::add_receiver(ciKlass* receiver, int receiver_count) {

   554   // Add new receiver and sort data by receiver's counts when we have space

   555   // for it otherwise replace the less called receiver (less called receiver

   556   // is placed to the last array element which is not used).

   557   // First array's element contains most called receiver.

   558   int i = _limit;

   559   for (; i > 0 && receiver_count > _receiver_count[i-1]; i--) {

   560     _receiver[i] = _receiver[i-1];

   561     _receiver_count[i] = _receiver_count[i-1];

   562   }

   563   _receiver[i] = receiver;

   564   _receiver_count[i] = receiver_count;

   565   if (_limit < MorphismLimit) _limit++;

   566 }

   569 void ciMethod::assert_virtual_call_type_ok(int bci) {

   570   assert(java_code_at_bci(bci) == Bytecodes::_invokevirtual ||

   571          java_code_at_bci(bci) == Bytecodes::_invokeinterface, err_msg("unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))));

   572 }

   574 void ciMethod::assert_call_type_ok(int bci) {

   575   assert(java_code_at_bci(bci) == Bytecodes::_invokestatic ||

   576          java_code_at_bci(bci) == Bytecodes::_invokespecial ||

   577          java_code_at_bci(bci) == Bytecodes::_invokedynamic, err_msg("unexpected bytecode %s", Bytecodes::name(java_code_at_bci(bci))));

   578 }

   580 /**

   581  * Check whether profiling provides a type for the argument i to the

   582  * call at bci bci

   583  *

   584  * @param bci  bci of the call

   585  * @param i    argument number

   586  * @return     profiled type

   587  *

   588  * If the profile reports that the argument may be null, return false

   589  * at least for now.

   590  */

   591 ciKlass* ciMethod::argument_profiled_type(int bci, int i) {

   592   if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) {

   593     ciProfileData* data = method_data()->bci_to_data(bci);

   594     if (data != NULL) {

   595       if (data->is_VirtualCallTypeData()) {

   596         assert_virtual_call_type_ok(bci);

   597         ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData();

   598         if (i >= call->number_of_arguments()) {

   599           return NULL;

   600         }

   601         ciKlass* type = call->valid_argument_type(i);

   602         if (type != NULL && !call->argument_maybe_null(i)) {

   603           return type;

   604         }

   605       } else if (data->is_CallTypeData()) {

   606         assert_call_type_ok(bci);

   607         ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData();

   608         if (i >= call->number_of_arguments()) {

   609           return NULL;

   610         }

   611         ciKlass* type = call->valid_argument_type(i);

   612         if (type != NULL && !call->argument_maybe_null(i)) {

   613           return type;

   614         }

   615       }

   616     }

   617   }

   618   return NULL;

   619 }

   621 /**

   622  * Check whether profiling provides a type for the return value from

   623  * the call at bci bci

   624  *

   625  * @param bci  bci of the call

   626  * @return     profiled type

   627  *

   628  * If the profile reports that the argument may be null, return false

   629  * at least for now.

   630  */

   631 ciKlass* ciMethod::return_profiled_type(int bci) {

   632   if (MethodData::profile_return() && method_data() != NULL && method_data()->is_mature()) {

   633     ciProfileData* data = method_data()->bci_to_data(bci);

   634     if (data != NULL) {

   635       if (data->is_VirtualCallTypeData()) {

   636         assert_virtual_call_type_ok(bci);

   637         ciVirtualCallTypeData* call = (ciVirtualCallTypeData*)data->as_VirtualCallTypeData();

   638         ciKlass* type = call->valid_return_type();

   639         if (type != NULL && !call->return_maybe_null()) {

   640           return type;

   641         }

   642       } else if (data->is_CallTypeData()) {

   643         assert_call_type_ok(bci);

   644         ciCallTypeData* call = (ciCallTypeData*)data->as_CallTypeData();

   645         ciKlass* type = call->valid_return_type();

   646         if (type != NULL && !call->return_maybe_null()) {

   647           return type;

   648         }

   649       }

   650     }

   651   }

   652   return NULL;

   653 }

   655 /**

   656  * Check whether profiling provides a type for the parameter i

   657  *

   658  * @param i    parameter number

   659  * @return     profiled type

   660  *

   661  * If the profile reports that the argument may be null, return false

   662  * at least for now.

   663  */

   664 ciKlass* ciMethod::parameter_profiled_type(int i) {

   665   if (MethodData::profile_parameters() && method_data() != NULL && method_data()->is_mature()) {

   666     ciParametersTypeData* parameters = method_data()->parameters_type_data();

   667     if (parameters != NULL && i < parameters->number_of_parameters()) {

   668       ciKlass* type = parameters->valid_parameter_type(i);

   669       if (type != NULL && !parameters->parameter_maybe_null(i)) {

   670         return type;

   671       }

   672     }

   673   }

   674   return NULL;

   675 }

   678 // ------------------------------------------------------------------

   679 // ciMethod::find_monomorphic_target

   680 //

   681 // Given a certain calling environment, find the monomorphic target

   682 // for the call.  Return NULL if the call is not monomorphic in

   683 // its calling environment, or if there are only abstract methods.

   684 // The returned method is never abstract.

   685 // Note: If caller uses a non-null result, it must inform dependencies

   686 // via assert_unique_concrete_method or assert_leaf_type.

   687 ciMethod* ciMethod::find_monomorphic_target(ciInstanceKlass* caller,

   688                                             ciInstanceKlass* callee_holder,

   689                                             ciInstanceKlass* actual_recv) {

   690   check_is_loaded();

   692   if (actual_recv->is_interface()) {

   693     // %%% We cannot trust interface types, yet.  See bug 6312651.

   694     return NULL;

   695   }

   697   ciMethod* root_m = resolve_invoke(caller, actual_recv);

   698   if (root_m == NULL) {

   699     // Something went wrong looking up the actual receiver method.

   700     return NULL;

   701   }

   702   assert(!root_m->is_abstract(), "resolve_invoke promise");

   704   // Make certain quick checks even if UseCHA is false.

   706   // Is it private or final?

   707   if (root_m->can_be_statically_bound()) {

   708     return root_m;

   709   }

   711   if (actual_recv->is_leaf_type() && actual_recv == root_m->holder()) {

   712     // Easy case.  There is no other place to put a method, so don't bother

   713     // to go through the VM_ENTRY_MARK and all the rest.

   714     return root_m;

   715   }

   717   // Array methods (clone, hashCode, etc.) are always statically bound.

   718   // If we were to see an array type here, we'd return root_m.

   719   // However, this method processes only ciInstanceKlasses.  (See 4962591.)

   720   // The inline_native_clone intrinsic narrows Object to T[] properly,

   721   // so there is no need to do the same job here.

   723   if (!UseCHA)  return NULL;

   725   VM_ENTRY_MARK;

   727   methodHandle target;

   728   {

   729     MutexLocker locker(Compile_lock);

   730     Klass* context = actual_recv->get_Klass();

   731     target = Dependencies::find_unique_concrete_method(context,

   732                                                        root_m->get_Method());

   733     // %%% Should upgrade this ciMethod API to look for 1 or 2 concrete methods.

   734   }

   736 #ifndef PRODUCT

   737   if (TraceDependencies && target() != NULL && target() != root_m->get_Method()) {

   738     tty->print("found a non-root unique target method");

   739     tty->print_cr("  context = %s", InstanceKlass::cast(actual_recv->get_Klass())->external_name());

   740     tty->print("  method  = ");

   741     target->print_short_name(tty);

   742     tty->cr();

   743   }

   744 #endif //PRODUCT

   746   if (target() == NULL) {

   747     return NULL;

   748   }

   749   if (target() == root_m->get_Method()) {

   750     return root_m;

   751   }

   752   if (!root_m->is_public() &&

   753       !root_m->is_protected()) {

   754     // If we are going to reason about inheritance, it's easiest

   755     // if the method in question is public, protected, or private.

   756     // If the answer is not root_m, it is conservatively correct

   757     // to return NULL, even if the CHA encountered irrelevant

   758     // methods in other packages.

   759     // %%% TO DO: Work out logic for package-private methods

   760     // with the same name but different vtable indexes.

   761     return NULL;

   762   }

   763   return CURRENT_THREAD_ENV->get_method(target());

   764 }

   766 // ------------------------------------------------------------------

   767 // ciMethod::resolve_invoke

   768 //

   769 // Given a known receiver klass, find the target for the call.

   770 // Return NULL if the call has no target or the target is abstract.

   771 ciMethod* ciMethod::resolve_invoke(ciKlass* caller, ciKlass* exact_receiver) {

   772    check_is_loaded();

   773    VM_ENTRY_MARK;

   775    KlassHandle caller_klass (THREAD, caller->get_Klass());

   776    KlassHandle h_recv       (THREAD, exact_receiver->get_Klass());

   777    KlassHandle h_resolved   (THREAD, holder()->get_Klass());

   778    Symbol* h_name      = name()->get_symbol();

   779    Symbol* h_signature = signature()->get_symbol();

   781    methodHandle m;

   782    // Only do exact lookup if receiver klass has been linked.  Otherwise,

   783    // the vtable has not been setup, and the LinkResolver will fail.

   784    if (h_recv->oop_is_array()

   785         ||

   786        InstanceKlass::cast(h_recv())->is_linked() && !exact_receiver->is_interface()) {

   787      if (holder()->is_interface()) {

   788        m = LinkResolver::resolve_interface_call_or_null(h_recv, h_resolved, h_name, h_signature, caller_klass);

   789      } else {

   790        m = LinkResolver::resolve_virtual_call_or_null(h_recv, h_resolved, h_name, h_signature, caller_klass);

   791      }

   792    }

   794    if (m.is_null()) {

   795      // Return NULL only if there was a problem with lookup (uninitialized class, etc.)

   796      return NULL;

   797    }

   799    ciMethod* result = this;

   800    if (m() != get_Method()) {

   801      result = CURRENT_THREAD_ENV->get_method(m());

   802    }

   804    // Don't return abstract methods because they aren't

   805    // optimizable or interesting.

   806    if (result->is_abstract()) {

   807      return NULL;

   808    } else {

   809      return result;

   810    }

   811 }

   813 // ------------------------------------------------------------------

   814 // ciMethod::resolve_vtable_index

   815 //

   816 // Given a known receiver klass, find the vtable index for the call.

   817 // Return Method::invalid_vtable_index if the vtable_index is unknown.

   818 int ciMethod::resolve_vtable_index(ciKlass* caller, ciKlass* receiver) {

   819    check_is_loaded();

   821    int vtable_index = Method::invalid_vtable_index;

   822    // Only do lookup if receiver klass has been linked.  Otherwise,

   823    // the vtable has not been setup, and the LinkResolver will fail.

   824    if (!receiver->is_interface()

   825        && (!receiver->is_instance_klass() ||

   826            receiver->as_instance_klass()->is_linked())) {

   827      VM_ENTRY_MARK;

   829      KlassHandle caller_klass (THREAD, caller->get_Klass());

   830      KlassHandle h_recv       (THREAD, receiver->get_Klass());

   831      Symbol* h_name = name()->get_symbol();

   832      Symbol* h_signature = signature()->get_symbol();

   834      vtable_index = LinkResolver::resolve_virtual_vtable_index(h_recv, h_recv, h_name, h_signature, caller_klass);

   835      if (vtable_index == Method::nonvirtual_vtable_index) {

   836        // A statically bound method.  Return "no such index".

   837        vtable_index = Method::invalid_vtable_index;

   838      }

   839    }

   841    return vtable_index;

   842 }

   844 // ------------------------------------------------------------------

   845 // ciMethod::interpreter_call_site_count

   846 int ciMethod::interpreter_call_site_count(int bci) {

   847   if (method_data() != NULL) {

   848     ResourceMark rm;

   849     ciProfileData* data = method_data()->bci_to_data(bci);

   850     if (data != NULL && data->is_CounterData()) {

   851       return scale_count(data->as_CounterData()->count());

   852     }

   853   }

   854   return -1;  // unknown

   855 }

   857 // ------------------------------------------------------------------

   858 // ciMethod::get_field_at_bci

   859 ciField* ciMethod::get_field_at_bci(int bci, bool &will_link) {

   860   ciBytecodeStream iter(this);

   861   iter.reset_to_bci(bci);

   862   iter.next();

   863   return iter.get_field(will_link);

   864 }

   866 // ------------------------------------------------------------------

   867 // ciMethod::get_method_at_bci

   868 ciMethod* ciMethod::get_method_at_bci(int bci, bool &will_link, ciSignature* *declared_signature) {

   869   ciBytecodeStream iter(this);

   870   iter.reset_to_bci(bci);

   871   iter.next();

   872   return iter.get_method(will_link, declared_signature);

   873 }

   875 // ------------------------------------------------------------------

   876 // Adjust a CounterData count to be commensurate with

   877 // interpreter_invocation_count.  If the MDO exists for

   878 // only 25% of the time the method exists, then the

   879 // counts in the MDO should be scaled by 4X, so that

   880 // they can be usefully and stably compared against the

   881 // invocation counts in methods.

   882 int ciMethod::scale_count(int count, float prof_factor) {

   883   if (count > 0 && method_data() != NULL) {

   884     int counter_life;

   885     int method_life = interpreter_invocation_count();

   886     if (TieredCompilation) {

   887       // In tiered the MDO's life is measured directly, so just use the snapshotted counters

   888       counter_life = MAX2(method_data()->invocation_count(), method_data()->backedge_count());

   889     } else {

   890       int current_mileage = method_data()->current_mileage();

   891       int creation_mileage = method_data()->creation_mileage();

   892       counter_life = current_mileage - creation_mileage;

   893     }

   895     // counter_life due to backedge_counter could be > method_life

   896     if (counter_life > method_life)

   897       counter_life = method_life;

   898     if (0 < counter_life && counter_life <= method_life) {

   899       count = (int)((double)count * prof_factor * method_life / counter_life + 0.5);

   900       count = (count > 0) ? count : 1;

   901     }

   902   }

   903   return count;

   904 }

   907 // ------------------------------------------------------------------

   908 // ciMethod::is_special_get_caller_class_method

   909 //

   910 bool ciMethod::is_ignored_by_security_stack_walk() const {

   911   check_is_loaded();

   912   VM_ENTRY_MARK;

   913   return get_Method()->is_ignored_by_security_stack_walk();

   914 }

   917 // ------------------------------------------------------------------

   918 // invokedynamic support

   920 // ------------------------------------------------------------------

   921 // ciMethod::is_method_handle_intrinsic

   922 //

   923 // Return true if the method is an instance of the JVM-generated

   924 // signature-polymorphic MethodHandle methods, _invokeBasic, _linkToVirtual, etc.

   925 bool ciMethod::is_method_handle_intrinsic() const {

   926   vmIntrinsics::ID iid = _intrinsic_id;  // do not check if loaded

   927   return (MethodHandles::is_signature_polymorphic(iid) &&

   928           MethodHandles::is_signature_polymorphic_intrinsic(iid));

   929 }

   931 // ------------------------------------------------------------------

   932 // ciMethod::is_compiled_lambda_form

   933 //

   934 // Return true if the method is a generated MethodHandle adapter.

   935 // These are built by Java code.

   936 bool ciMethod::is_compiled_lambda_form() const {

   937   vmIntrinsics::ID iid = _intrinsic_id;  // do not check if loaded

   938   return iid == vmIntrinsics::_compiledLambdaForm;

   939 }

   941 // ------------------------------------------------------------------

   942 // ciMethod::has_member_arg

   943 //

   944 // Return true if the method is a linker intrinsic like _linkToVirtual.

   945 // These are built by the JVM.

   946 bool ciMethod::has_member_arg() const {

   947   vmIntrinsics::ID iid = _intrinsic_id;  // do not check if loaded

   948   return (MethodHandles::is_signature_polymorphic(iid) &&

   949           MethodHandles::has_member_arg(iid));

   950 }

   952 // ------------------------------------------------------------------

   953 // ciMethod::ensure_method_data

   954 //

   955 // Generate new MethodData* objects at compile time.

   956 // Return true if allocation was successful or no MDO is required.

   957 bool ciMethod::ensure_method_data(methodHandle h_m) {

   958   EXCEPTION_CONTEXT;

   959   if (is_native() || is_abstract() || h_m()->is_accessor()) {

   960     return true;

   961   }

   962   if (h_m()->method_data() == NULL) {

   963     Method::build_interpreter_method_data(h_m, THREAD);

   964     if (HAS_PENDING_EXCEPTION) {

   965       CLEAR_PENDING_EXCEPTION;

   966     }

   967   }

   968   if (h_m()->method_data() != NULL) {

   969     _method_data = CURRENT_ENV->get_method_data(h_m()->method_data());

   970     _method_data->load_data();

   971     return true;

   972   } else {

   973     _method_data = CURRENT_ENV->get_empty_methodData();

   974     return false;

   975   }

   976 }

   978 // public, retroactive version

   979 bool ciMethod::ensure_method_data() {

   980   bool result = true;

   981   if (_method_data == NULL || _method_data->is_empty()) {

   982     GUARDED_VM_ENTRY({

   983       result = ensure_method_data(get_Method());

   984     });

   985   }

   986   return result;

   987 }

   990 // ------------------------------------------------------------------

   991 // ciMethod::method_data

   992 //

   993 ciMethodData* ciMethod::method_data() {

   994   if (_method_data != NULL) {

   995     return _method_data;

   996   }

   997   VM_ENTRY_MARK;

   998   ciEnv* env = CURRENT_ENV;

   999   Thread* my_thread = JavaThread::current();

  1000   methodHandle h_m(my_thread, get_Method());

  1002   if (h_m()->method_data() != NULL) {

  1003     _method_data = CURRENT_ENV->get_method_data(h_m()->method_data());

  1004     _method_data->load_data();

  1005   } else {

  1006     _method_data = CURRENT_ENV->get_empty_methodData();

  1007   }

  1008   return _method_data;

  1010 }

  1012 // ------------------------------------------------------------------

  1013 // ciMethod::method_data_or_null

  1014 // Returns a pointer to ciMethodData if MDO exists on the VM side,

  1015 // NULL otherwise.

  1016 ciMethodData* ciMethod::method_data_or_null() {

  1017   ciMethodData *md = method_data();

  1018   if (md->is_empty()) {

  1019     return NULL;

  1020   }

  1021   return md;

  1022 }

  1024 // ------------------------------------------------------------------

  1025 // ciMethod::ensure_method_counters

  1026 //

  1027 MethodCounters* ciMethod::ensure_method_counters() {

  1028   check_is_loaded();

  1029   VM_ENTRY_MARK;

  1030   methodHandle mh(THREAD, get_Method());

  1031   MethodCounters* method_counters = mh->get_method_counters(CHECK_NULL);

  1032   return method_counters;

  1033 }

  1035 // ------------------------------------------------------------------

  1036 // ciMethod::should_exclude

  1037 //

  1038 // Should this method be excluded from compilation?

  1039 bool ciMethod::should_exclude() {

  1040   check_is_loaded();

  1041   VM_ENTRY_MARK;

  1042   methodHandle mh(THREAD, get_Method());

  1043   bool ignore;

  1044   return CompilerOracle::should_exclude(mh, ignore);

  1045 }

  1047 // ------------------------------------------------------------------

  1048 // ciMethod::should_inline

  1049 //

  1050 // Should this method be inlined during compilation?

  1051 bool ciMethod::should_inline() {

  1052   check_is_loaded();

  1053   VM_ENTRY_MARK;

  1054   methodHandle mh(THREAD, get_Method());

  1055   return CompilerOracle::should_inline(mh);

  1056 }

  1058 // ------------------------------------------------------------------

  1059 // ciMethod::should_not_inline

  1060 //

  1061 // Should this method be disallowed from inlining during compilation?

  1062 bool ciMethod::should_not_inline() {

  1063   check_is_loaded();

  1064   VM_ENTRY_MARK;

  1065   methodHandle mh(THREAD, get_Method());

  1066   return CompilerOracle::should_not_inline(mh);

  1067 }

  1069 // ------------------------------------------------------------------

  1070 // ciMethod::should_print_assembly

  1071 //

  1072 // Should the compiler print the generated code for this method?

  1073 bool ciMethod::should_print_assembly() {

  1074   check_is_loaded();

  1075   VM_ENTRY_MARK;

  1076   methodHandle mh(THREAD, get_Method());

  1077   return CompilerOracle::should_print(mh);

  1078 }

  1080 // ------------------------------------------------------------------

  1081 // ciMethod::break_at_execute

  1082 //

  1083 // Should the compiler insert a breakpoint into the generated code

  1084 // method?

  1085 bool ciMethod::break_at_execute() {

  1086   check_is_loaded();

  1087   VM_ENTRY_MARK;

  1088   methodHandle mh(THREAD, get_Method());

  1089   return CompilerOracle::should_break_at(mh);

  1090 }

  1092 // ------------------------------------------------------------------

  1093 // ciMethod::has_option

  1094 //

  1095 bool ciMethod::has_option(const char* option) {

  1096   check_is_loaded();

  1097   VM_ENTRY_MARK;

  1098   methodHandle mh(THREAD, get_Method());

  1099   return CompilerOracle::has_option_string(mh, option);

  1100 }

  1102 // ------------------------------------------------------------------

  1103 // ciMethod::can_be_compiled

  1104 //

  1105 // Have previous compilations of this method succeeded?

  1106 bool ciMethod::can_be_compiled() {

  1107   check_is_loaded();

  1108   ciEnv* env = CURRENT_ENV;

  1109   if (is_c1_compile(env->comp_level())) {

  1110     return _is_c1_compilable;

  1111   }

  1112   return _is_c2_compilable;

  1113 }

  1115 // ------------------------------------------------------------------

  1116 // ciMethod::set_not_compilable

  1117 //

  1118 // Tell the VM that this method cannot be compiled at all.

  1119 void ciMethod::set_not_compilable(const char* reason) {

  1120   check_is_loaded();

  1121   VM_ENTRY_MARK;

  1122   ciEnv* env = CURRENT_ENV;

  1123   if (is_c1_compile(env->comp_level())) {

  1124     _is_c1_compilable = false;

  1125   } else {

  1126     _is_c2_compilable = false;

  1127   }

  1128   get_Method()->set_not_compilable(env->comp_level(), true, reason);

  1129 }

  1131 // ------------------------------------------------------------------

  1132 // ciMethod::can_be_osr_compiled

  1133 //

  1134 // Have previous compilations of this method succeeded?

  1135 //

  1136 // Implementation note: the VM does not currently keep track

  1137 // of failed OSR compilations per bci.  The entry_bci parameter

  1138 // is currently unused.

  1139 bool ciMethod::can_be_osr_compiled(int entry_bci) {

  1140   check_is_loaded();

  1141   VM_ENTRY_MARK;

  1142   ciEnv* env = CURRENT_ENV;

  1143   return !get_Method()->is_not_osr_compilable(env->comp_level());

  1144 }

  1146 // ------------------------------------------------------------------

  1147 // ciMethod::has_compiled_code

  1148 bool ciMethod::has_compiled_code() {

  1149   return instructions_size() > 0;

  1150 }

  1152 int ciMethod::comp_level() {

  1153   check_is_loaded();

  1154   VM_ENTRY_MARK;

  1155   nmethod* nm = get_Method()->code();

  1156   if (nm != NULL) return nm->comp_level();

  1157   return 0;

  1158 }

  1160 int ciMethod::highest_osr_comp_level() {

  1161   check_is_loaded();

  1162   VM_ENTRY_MARK;

  1163   return get_Method()->highest_osr_comp_level();

  1164 }

  1166 // ------------------------------------------------------------------

  1167 // ciMethod::code_size_for_inlining

  1168 //

  1169 // Code size for inlining decisions.  This method returns a code

  1170 // size of 1 for methods which has the ForceInline annotation.

  1171 int ciMethod::code_size_for_inlining() {

  1172   check_is_loaded();

  1173   if (get_Method()->force_inline()) {

  1174     return 1;

  1175   }

  1176   return code_size();

  1177 }

  1179 // ------------------------------------------------------------------

  1180 // ciMethod::instructions_size

  1181 //

  1182 // This is a rough metric for "fat" methods, compared before inlining

  1183 // with InlineSmallCode.  The CodeBlob::code_size accessor includes

  1184 // junk like exception handler, stubs, and constant table, which are

  1185 // not highly relevant to an inlined method.  So we use the more

  1186 // specific accessor nmethod::insts_size.

  1187 int ciMethod::instructions_size() {

  1188   if (_instructions_size == -1) {

  1189     GUARDED_VM_ENTRY(

  1190                      nmethod* code = get_Method()->code();

  1191                      if (code != NULL && (code->comp_level() == CompLevel_full_optimization)) {

  1192                        _instructions_size = code->insts_end() - code->verified_entry_point();

  1193                      } else {

  1194                        _instructions_size = 0;

  1195                      }

  1196                      );

  1197   }

  1198   return _instructions_size;

  1199 }

  1201 // ------------------------------------------------------------------

  1202 // ciMethod::log_nmethod_identity

  1203 void ciMethod::log_nmethod_identity(xmlStream* log) {

  1204   GUARDED_VM_ENTRY(

  1205     nmethod* code = get_Method()->code();

  1206     if (code != NULL) {

  1207       code->log_identity(log);

  1208     }

  1209   )

  1210 }

  1212 // ------------------------------------------------------------------

  1213 // ciMethod::is_not_reached

  1214 bool ciMethod::is_not_reached(int bci) {

  1215   check_is_loaded();

  1216   VM_ENTRY_MARK;

  1217   return Interpreter::is_not_reached(

  1218                methodHandle(THREAD, get_Method()), bci);

  1219 }

  1221 // ------------------------------------------------------------------

  1222 // ciMethod::was_never_executed

  1223 bool ciMethod::was_executed_more_than(int times) {

  1224   VM_ENTRY_MARK;

  1225   return get_Method()->was_executed_more_than(times);

  1226 }

  1228 // ------------------------------------------------------------------

  1229 // ciMethod::has_unloaded_classes_in_signature

  1230 bool ciMethod::has_unloaded_classes_in_signature() {

  1231   VM_ENTRY_MARK;

  1232   {

  1233     EXCEPTION_MARK;

  1234     methodHandle m(THREAD, get_Method());

  1235     bool has_unloaded = Method::has_unloaded_classes_in_signature(m, (JavaThread *)THREAD);

  1236     if( HAS_PENDING_EXCEPTION ) {

  1237       CLEAR_PENDING_EXCEPTION;

  1238       return true;     // Declare that we may have unloaded classes

  1239     }

  1240     return has_unloaded;

  1241   }

  1242 }

  1244 // ------------------------------------------------------------------

  1245 // ciMethod::is_klass_loaded

  1246 bool ciMethod::is_klass_loaded(int refinfo_index, bool must_be_resolved) const {

  1247   VM_ENTRY_MARK;

  1248   return get_Method()->is_klass_loaded(refinfo_index, must_be_resolved);

  1249 }

  1251 // ------------------------------------------------------------------

  1252 // ciMethod::check_call

  1253 bool ciMethod::check_call(int refinfo_index, bool is_static) const {

  1254   // This method is used only in C2 from InlineTree::ok_to_inline,

  1255   // and is only used under -Xcomp or -XX:CompileTheWorld.

  1256   // It appears to fail when applied to an invokeinterface call site.

  1257   // FIXME: Remove this method and resolve_method_statically; refactor to use the other LinkResolver entry points.

  1258   VM_ENTRY_MARK;

  1259   {

  1260     EXCEPTION_MARK;

  1261     HandleMark hm(THREAD);

  1262     constantPoolHandle pool (THREAD, get_Method()->constants());

  1263     methodHandle spec_method;

  1264     KlassHandle  spec_klass;

  1265     Bytecodes::Code code = (is_static ? Bytecodes::_invokestatic : Bytecodes::_invokevirtual);

  1266     LinkResolver::resolve_method_statically(spec_method, spec_klass, code, pool, refinfo_index, THREAD);

  1267     if (HAS_PENDING_EXCEPTION) {

  1268       CLEAR_PENDING_EXCEPTION;

  1269       return false;

  1270     } else {

  1271       return (spec_method->is_static() == is_static);

  1272     }

  1273   }

  1274   return false;

  1275 }

  1277 // ------------------------------------------------------------------

  1278 // ciMethod::print_codes

  1279 //

  1280 // Print the bytecodes for this method.

  1281 void ciMethod::print_codes_on(outputStream* st) {

  1282   check_is_loaded();

  1283   GUARDED_VM_ENTRY(get_Method()->print_codes_on(st);)

  1284 }

  1287 #define FETCH_FLAG_FROM_VM(flag_accessor) { \

  1288   check_is_loaded(); \

  1289   VM_ENTRY_MARK; \

  1290   return get_Method()->flag_accessor(); \

  1291 }

  1293 bool ciMethod::is_empty_method() const {         FETCH_FLAG_FROM_VM(is_empty_method); }

  1294 bool ciMethod::is_vanilla_constructor() const {  FETCH_FLAG_FROM_VM(is_vanilla_constructor); }

  1295 bool ciMethod::has_loops      () const {         FETCH_FLAG_FROM_VM(has_loops); }

  1296 bool ciMethod::has_jsrs       () const {         FETCH_FLAG_FROM_VM(has_jsrs);  }

  1297 bool ciMethod::is_accessor    () const {         FETCH_FLAG_FROM_VM(is_accessor); }

  1298 bool ciMethod::is_initializer () const {         FETCH_FLAG_FROM_VM(is_initializer); }

  1300 bool ciMethod::is_boxing_method() const {

  1301   if (holder()->is_box_klass()) {

  1302     switch (intrinsic_id()) {

  1303       case vmIntrinsics::_Boolean_valueOf:

  1304       case vmIntrinsics::_Byte_valueOf:

  1305       case vmIntrinsics::_Character_valueOf:

  1306       case vmIntrinsics::_Short_valueOf:

  1307       case vmIntrinsics::_Integer_valueOf:

  1308       case vmIntrinsics::_Long_valueOf:

  1309       case vmIntrinsics::_Float_valueOf:

  1310       case vmIntrinsics::_Double_valueOf:

  1311         return true;

  1312       default:

  1313         return false;

  1314     }

  1315   }

  1316   return false;

  1317 }

  1319 bool ciMethod::is_unboxing_method() const {

  1320   if (holder()->is_box_klass()) {

  1321     switch (intrinsic_id()) {

  1322       case vmIntrinsics::_booleanValue:

  1323       case vmIntrinsics::_byteValue:

  1324       case vmIntrinsics::_charValue:

  1325       case vmIntrinsics::_shortValue:

  1326       case vmIntrinsics::_intValue:

  1327       case vmIntrinsics::_longValue:

  1328       case vmIntrinsics::_floatValue:

  1329       case vmIntrinsics::_doubleValue:

  1330         return true;

  1331       default:

  1332         return false;

  1333     }

  1334   }

  1335   return false;

  1336 }

  1338 BCEscapeAnalyzer  *ciMethod::get_bcea() {

  1339 #ifdef COMPILER2

  1340   if (_bcea == NULL) {

  1341     _bcea = new (CURRENT_ENV->arena()) BCEscapeAnalyzer(this, NULL);

  1342   }

  1343   return _bcea;

  1344 #else // COMPILER2

  1345   ShouldNotReachHere();

  1346   return NULL;

  1347 #endif // COMPILER2

  1348 }

  1350 ciMethodBlocks  *ciMethod::get_method_blocks() {

  1351   Arena *arena = CURRENT_ENV->arena();

  1352   if (_method_blocks == NULL) {

  1353     _method_blocks = new (arena) ciMethodBlocks(arena, this);

  1354   }

  1355   return _method_blocks;

  1356 }

  1358 #undef FETCH_FLAG_FROM_VM

  1360 void ciMethod::dump_replay_data(outputStream* st) {

  1361   ResourceMark rm;

  1362   Method* method = get_Method();

  1363   MethodCounters* mcs = method->method_counters();

  1364   Klass*  holder = method->method_holder();

  1365   st->print_cr("ciMethod %s %s %s %d %d %d %d %d",

  1366                holder->name()->as_quoted_ascii(),

  1367                method->name()->as_quoted_ascii(),

  1368                method->signature()->as_quoted_ascii(),

  1369                mcs == NULL ? 0 : mcs->invocation_counter()->raw_counter(),

  1370                mcs == NULL ? 0 : mcs->backedge_counter()->raw_counter(),

  1371                interpreter_invocation_count(),

  1372                interpreter_throwout_count(),

  1373                _instructions_size);

  1374 }

  1376 // ------------------------------------------------------------------

  1377 // ciMethod::print_codes

  1378 //

  1379 // Print a range of the bytecodes for this method.

  1380 void ciMethod::print_codes_on(int from, int to, outputStream* st) {

  1381   check_is_loaded();

  1382   GUARDED_VM_ENTRY(get_Method()->print_codes_on(from, to, st);)

  1383 }

  1385 // ------------------------------------------------------------------

  1386 // ciMethod::print_name

  1387 //

  1388 // Print the name of this method, including signature and some flags.

  1389 void ciMethod::print_name(outputStream* st) {

  1390   check_is_loaded();

  1391   GUARDED_VM_ENTRY(get_Method()->print_name(st);)

  1392 }

  1394 // ------------------------------------------------------------------

  1395 // ciMethod::print_short_name

  1396 //

  1397 // Print the name of this method, without signature.

  1398 void ciMethod::print_short_name(outputStream* st) {

  1399   if (is_loaded()) {

  1400     GUARDED_VM_ENTRY(get_Method()->print_short_name(st););

  1401   } else {

  1402     // Fall back if method is not loaded.

  1403     holder()->print_name_on(st);

  1404     st->print("::");

  1405     name()->print_symbol_on(st);

  1406     if (WizardMode)

  1407       signature()->as_symbol()->print_symbol_on(st);

  1408   }

  1409 }

  1411 // ------------------------------------------------------------------

  1412 // ciMethod::print_impl

  1413 //

  1414 // Implementation of the print method.

  1415 void ciMethod::print_impl(outputStream* st) {

  1416   ciMetadata::print_impl(st);

  1417   st->print(" name=");

  1418   name()->print_symbol_on(st);

  1419   st->print(" holder=");

  1420   holder()->print_name_on(st);

  1421   st->print(" signature=");

  1422   signature()->as_symbol()->print_symbol_on(st);

  1423   if (is_loaded()) {

  1424     st->print(" loaded=true");

  1425     st->print(" arg_size=%d", arg_size());

  1426     st->print(" flags=");

  1427     flags().print_member_flags(st);

  1428   } else {

  1429     st->print(" loaded=false");

  1430   }

  1431 }

Mercurial > jdk8-mips64-public > hotspot / file revision

src/share/vm/ci/ciMethod.cpp@b2ee5dc63353

src/share/vm/ci/ciMethod.cpp