src/share/vm/prims/methodHandles.hpp

Sun, 15 Sep 2013 15:28:58 +0200

author
goetz
date
Sun, 15 Sep 2013 15:28:58 +0200
changeset 6470
abe03600372a
parent 5178
b7fa10a3a69a
child 5732
b2e698d2276c
permissions
-rw-r--r--

8024468: PPC64 (part 201): cppInterpreter: implement bytecode profiling
Summary: Implement profiling for c2 jit compilation. Also enable new cppInterpreter features.
Reviewed-by: kvn

     1 /*
     2  * Copyright (c) 2008, 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 #ifndef SHARE_VM_PRIMS_METHODHANDLES_HPP
    26 #define SHARE_VM_PRIMS_METHODHANDLES_HPP
    28 #include "classfile/javaClasses.hpp"
    29 #include "classfile/vmSymbols.hpp"
    30 #include "runtime/frame.inline.hpp"
    31 #include "runtime/globals.hpp"
    32 #include "runtime/interfaceSupport.hpp"
    34 class MacroAssembler;
    35 class Label;
    37 class MethodHandles: AllStatic {
    38   // JVM support for MethodHandle, MethodType, and related types
    39   // in java.lang.invoke and sun.invoke.
    40   // See also  javaClasses for layouts java_lang_invoke_Method{Handle,Type,Type::Form}.
    41  public:
    42  public:
    43   static bool enabled()                         { return _enabled; }
    44   static void set_enabled(bool z);
    46  private:
    47   static bool _enabled;
    49   // Adapters.
    50   static MethodHandlesAdapterBlob* _adapter_code;
    52  public:
    53   // working with member names
    54   static Handle resolve_MemberName(Handle mname, TRAPS); // compute vmtarget/vmindex from name/type
    55   static void expand_MemberName(Handle mname, int suppress, TRAPS);  // expand defc/name/type if missing
    56   static Handle new_MemberName(TRAPS);  // must be followed by init_MemberName
    57   static oop init_MemberName(Handle mname_h, Handle target_h); // compute vmtarget/vmindex from target
    58   static oop init_method_MemberName(Handle mname_h, Method* m, bool do_dispatch,
    59                                     KlassHandle receiver_limit_h);
    60   static oop init_field_MemberName(Handle mname_h, KlassHandle field_holder_h,
    61                                    AccessFlags mods, oop type, oop name,
    62                                    intptr_t offset, bool is_setter = false);
    63   static Handle init_method_MemberName(Handle mname_h, CallInfo& info, TRAPS);
    64   static Handle init_field_MemberName(Handle mname_h, FieldAccessInfo& info, TRAPS);
    65   static int method_ref_kind(Method* m, bool do_dispatch_if_possible = true);
    66   static int find_MemberNames(KlassHandle k, Symbol* name, Symbol* sig,
    67                               int mflags, KlassHandle caller,
    68                               int skip, objArrayHandle results);
    69   // bit values for suppress argument to expand_MemberName:
    70   enum { _suppress_defc = 1, _suppress_name = 2, _suppress_type = 4 };
    72   // Generate MethodHandles adapters.
    73                               static void generate_adapters();
    75   // Called from MethodHandlesAdapterGenerator.
    76   static address generate_method_handle_interpreter_entry(MacroAssembler* _masm, vmIntrinsics::ID iid);
    77   static void generate_method_handle_dispatch(MacroAssembler* _masm,
    78                                               vmIntrinsics::ID iid,
    79                                               Register receiver_reg,
    80                                               Register member_reg,
    81                                               bool for_compiler_entry);
    83   // Queries
    84   static bool is_signature_polymorphic(vmIntrinsics::ID iid) {
    85     return (iid >= vmIntrinsics::FIRST_MH_SIG_POLY &&
    86             iid <= vmIntrinsics::LAST_MH_SIG_POLY);
    87   }
    89   static bool is_signature_polymorphic_intrinsic(vmIntrinsics::ID iid) {
    90     assert(is_signature_polymorphic(iid), "");
    91     // Most sig-poly methods are intrinsics which do not require an
    92     // appeal to Java for adapter code.
    93     return (iid != vmIntrinsics::_invokeGeneric);
    94   }
    96   static bool is_signature_polymorphic_static(vmIntrinsics::ID iid) {
    97     assert(is_signature_polymorphic(iid), "");
    98     return (iid >= vmIntrinsics::FIRST_MH_STATIC &&
    99             iid <= vmIntrinsics::LAST_MH_SIG_POLY);
   100   }
   102   static bool has_member_arg(vmIntrinsics::ID iid) {
   103     assert(is_signature_polymorphic(iid), "");
   104     return (iid >= vmIntrinsics::_linkToVirtual &&
   105             iid <= vmIntrinsics::_linkToInterface);
   106   }
   107   static bool has_member_arg(Symbol* klass, Symbol* name) {
   108     if ((klass == vmSymbols::java_lang_invoke_MethodHandle()) &&
   109         is_signature_polymorphic_name(name)) {
   110       vmIntrinsics::ID iid = signature_polymorphic_name_id(name);
   111       return has_member_arg(iid);
   112     }
   113     return false;
   114   }
   116   static Symbol* signature_polymorphic_intrinsic_name(vmIntrinsics::ID iid);
   117   static int signature_polymorphic_intrinsic_ref_kind(vmIntrinsics::ID iid);
   119   static vmIntrinsics::ID signature_polymorphic_name_id(Klass* klass, Symbol* name);
   120   static vmIntrinsics::ID signature_polymorphic_name_id(Symbol* name);
   121   static bool is_signature_polymorphic_name(Symbol* name) {
   122     return signature_polymorphic_name_id(name) != vmIntrinsics::_none;
   123   }
   124   static bool is_method_handle_invoke_name(Klass* klass, Symbol* name);
   125   static bool is_signature_polymorphic_name(Klass* klass, Symbol* name) {
   126     return signature_polymorphic_name_id(klass, name) != vmIntrinsics::_none;
   127   }
   129   enum {
   130     // format of query to getConstant:
   131     GC_COUNT_GWT = 4,
   132     GC_LAMBDA_SUPPORT = 5
   133   };
   134   static int get_named_constant(int which, Handle name_box, TRAPS);
   136 public:
   137   static Symbol* lookup_signature(oop type_str, bool polymorphic, TRAPS);  // use TempNewSymbol
   138   static Symbol* lookup_basic_type_signature(Symbol* sig, bool keep_last_arg, TRAPS);  // use TempNewSymbol
   139   static Symbol* lookup_basic_type_signature(Symbol* sig, TRAPS) {
   140     return lookup_basic_type_signature(sig, false, THREAD);
   141   }
   142   static bool is_basic_type_signature(Symbol* sig);
   144   static Symbol* lookup_method_type(Symbol* msig, Handle mtype, TRAPS);
   146   static void print_as_method_type_on(outputStream* st, Symbol* sig) {
   147     print_as_basic_type_signature_on(st, sig, true, true);
   148   }
   149   static void print_as_basic_type_signature_on(outputStream* st, Symbol* sig, bool keep_arrays = false, bool keep_basic_names = false);
   151   // decoding CONSTANT_MethodHandle constants
   152   enum { JVM_REF_MIN = JVM_REF_getField, JVM_REF_MAX = JVM_REF_invokeInterface };
   153   static bool ref_kind_is_valid(int ref_kind) {
   154     return (ref_kind >= JVM_REF_MIN && ref_kind <= JVM_REF_MAX);
   155   }
   156   static bool ref_kind_is_field(int ref_kind) {
   157     assert(ref_kind_is_valid(ref_kind), "");
   158     return (ref_kind <= JVM_REF_putStatic);
   159   }
   160   static bool ref_kind_is_getter(int ref_kind) {
   161     assert(ref_kind_is_valid(ref_kind), "");
   162     return (ref_kind <= JVM_REF_getStatic);
   163   }
   164   static bool ref_kind_is_setter(int ref_kind) {
   165     return ref_kind_is_field(ref_kind) && !ref_kind_is_getter(ref_kind);
   166   }
   167   static bool ref_kind_is_method(int ref_kind) {
   168     return !ref_kind_is_field(ref_kind) && (ref_kind != JVM_REF_newInvokeSpecial);
   169   }
   170   static bool ref_kind_has_receiver(int ref_kind) {
   171     assert(ref_kind_is_valid(ref_kind), "");
   172     return (ref_kind & 1) != 0;
   173   }
   174   static bool ref_kind_is_static(int ref_kind) {
   175     return !ref_kind_has_receiver(ref_kind) && (ref_kind != JVM_REF_newInvokeSpecial);
   176   }
   177   static bool ref_kind_does_dispatch(int ref_kind) {
   178     return (ref_kind == JVM_REF_invokeVirtual ||
   179             ref_kind == JVM_REF_invokeInterface);
   180   }
   183 #ifdef TARGET_ARCH_x86
   184 # include "methodHandles_x86.hpp"
   185 #endif
   186 #ifdef TARGET_ARCH_sparc
   187 # include "methodHandles_sparc.hpp"
   188 #endif
   189 #ifdef TARGET_ARCH_zero
   190 # include "methodHandles_zero.hpp"
   191 #endif
   192 #ifdef TARGET_ARCH_arm
   193 # include "methodHandles_arm.hpp"
   194 #endif
   195 #ifdef TARGET_ARCH_ppc
   196 # include "methodHandles_ppc.hpp"
   197 #endif
   199   // Tracing
   200   static void trace_method_handle(MacroAssembler* _masm, const char* adaptername) PRODUCT_RETURN;
   201   static void trace_method_handle_interpreter_entry(MacroAssembler* _masm, vmIntrinsics::ID iid) {
   202     if (TraceMethodHandles) {
   203       const char* name = vmIntrinsics::name_at(iid);
   204       if (*name == '_')  name += 1;
   205       const size_t len = strlen(name) + 50;
   206       char* qname = NEW_C_HEAP_ARRAY(char, len, mtInternal);
   207       const char* suffix = "";
   208       if (is_signature_polymorphic(iid)) {
   209         if (is_signature_polymorphic_static(iid))
   210           suffix = "/static";
   211         else
   212           suffix = "/private";
   213       }
   214       jio_snprintf(qname, len, "MethodHandle::interpreter_entry::%s%s", name, suffix);
   215       trace_method_handle(_masm, qname);
   216       // Note:  Don't free the allocated char array because it's used
   217       // during runtime.
   218     }
   219   }
   220 };
   222 //------------------------------------------------------------------------------
   223 // MethodHandlesAdapterGenerator
   224 //
   225 class MethodHandlesAdapterGenerator : public StubCodeGenerator {
   226 public:
   227   MethodHandlesAdapterGenerator(CodeBuffer* code) : StubCodeGenerator(code, PrintMethodHandleStubs) {}
   229   void generate();
   230 };
   232 //------------------------------------------------------------------------------
   233 // MemberNameTable
   234 //
   236 class MemberNameTable : public GrowableArray<jweak> {
   237  public:
   238   MemberNameTable(int methods_cnt);
   239   ~MemberNameTable();
   240   void add_member_name(int index, jweak mem_name_ref);
   241   oop  get_member_name(int index);
   243 #if INCLUDE_JVMTI
   244  public:
   245   // RedefineClasses() API support:
   246   // If a MemberName refers to old_method then update it
   247   // to refer to new_method.
   248   void adjust_method_entries(Method** old_methods, Method** new_methods,
   249                              int methods_length, bool *trace_name_printed);
   250  private:
   251   oop find_member_name_by_method(Method* old_method);
   252 #endif // INCLUDE_JVMTI
   253 };
   255 #endif // SHARE_VM_PRIMS_METHODHANDLES_HPP

mercurial