1 /* 2 * Copyright (c) 2008, 2018, 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 */ 24 25 #ifndef SHARE_VM_PRIMS_METHODHANDLES_HPP 26 #define SHARE_VM_PRIMS_METHODHANDLES_HPP 27 28 #include "classfile/javaClasses.hpp" 29 #include "classfile/vmSymbols.hpp" 30 #include "runtime/frame.hpp" 31 #include "runtime/globals.hpp" 32 #include "utilities/macros.hpp" 33 34 #ifdef ZERO 35 # include "entry_zero.hpp" 36 # include "interpreter/interpreter.hpp" 37 #endif 38 39 40 class MacroAssembler; 41 class Label; 42 43 class MethodHandles: AllStatic { 44 // JVM support for MethodHandle, MethodType, and related types 45 // in java.lang.invoke and sun.invoke. 46 // See also javaClasses for layouts java_lang_invoke_Method{Handle,Type,Type::Form}. 47 public: 48 public: 49 static bool enabled() { return _enabled; } 50 static void set_enabled(bool z); 51 52 private: 53 static bool _enabled; 54 55 // Adapters. 56 static MethodHandlesAdapterBlob* _adapter_code; 57 58 // utility functions for reifying names and types 59 static oop field_name_or_null(Symbol* s); 60 static oop field_signature_type_or_null(Symbol* s); 61 62 public: 63 // working with member names 64 static Handle resolve_MemberName(Handle mname, Klass* caller, 65 bool speculative_resolve, TRAPS); // compute vmtarget/vmindex from name/type 66 static void expand_MemberName(Handle mname, int suppress, TRAPS); // expand defc/name/type if missing 67 static oop init_MemberName(Handle mname_h, Handle target_h, TRAPS); // compute vmtarget/vmindex from target 68 static oop init_field_MemberName(Handle mname_h, fieldDescriptor& fd, bool is_setter = false); 69 static oop init_method_MemberName(Handle mname_h, CallInfo& info); 70 static int method_ref_kind(Method* m, bool do_dispatch_if_possible = true); 71 static int find_MemberNames(Klass* k, Symbol* name, Symbol* sig, 72 int mflags, Klass* caller, 73 int skip, objArrayHandle results, TRAPS); 74 static Handle resolve_MemberName_type(Handle mname, Klass* caller, TRAPS); 75 76 // bit values for suppress argument to expand_MemberName: 77 enum { _suppress_defc = 1, _suppress_name = 2, _suppress_type = 4 }; 78 79 // CallSite support 80 static void add_dependent_nmethod(oop call_site, nmethod* nm); 81 static void remove_dependent_nmethod(oop call_site, nmethod* nm); 82 static void clean_dependency_context(oop call_site); 83 84 static void flush_dependent_nmethods(Handle call_site, Handle target); 85 86 // Generate MethodHandles adapters. 87 static void generate_adapters(); 88 89 // Called from MethodHandlesAdapterGenerator. 90 static address generate_method_handle_interpreter_entry(MacroAssembler* _masm, vmIntrinsics::ID iid); 91 static void generate_method_handle_dispatch(MacroAssembler* _masm, 92 vmIntrinsics::ID iid, 93 Register receiver_reg, 94 Register member_reg, 95 bool for_compiler_entry); 96 97 // Queries 98 static bool is_signature_polymorphic(vmIntrinsics::ID iid) { 99 return (iid >= vmIntrinsics::FIRST_MH_SIG_POLY && 100 iid <= vmIntrinsics::LAST_MH_SIG_POLY); 101 } 102 103 static bool is_signature_polymorphic_method(Method* m) { 104 return is_signature_polymorphic(m->intrinsic_id()); 105 } 106 107 static bool is_signature_polymorphic_intrinsic(vmIntrinsics::ID iid) { 108 assert(is_signature_polymorphic(iid), ""); 109 // Most sig-poly methods are intrinsics which do not require an 110 // appeal to Java for adapter code. 111 return (iid != vmIntrinsics::_invokeGeneric); 112 } 113 114 static bool is_signature_polymorphic_static(vmIntrinsics::ID iid) { 115 assert(is_signature_polymorphic(iid), ""); 116 return (iid >= vmIntrinsics::FIRST_MH_STATIC && 117 iid <= vmIntrinsics::LAST_MH_SIG_POLY); 118 } 119 120 static bool has_member_arg(vmIntrinsics::ID iid) { 121 assert(is_signature_polymorphic(iid), ""); 122 return (iid >= vmIntrinsics::_linkToVirtual && 123 iid <= vmIntrinsics::_linkToInterface); 124 } 125 static bool has_member_arg(Symbol* klass, Symbol* name) { 126 if ((klass == vmSymbols::java_lang_invoke_MethodHandle() || 127 klass == vmSymbols::java_lang_invoke_VarHandle()) && 128 is_signature_polymorphic_name(name)) { 129 vmIntrinsics::ID iid = signature_polymorphic_name_id(name); 130 return has_member_arg(iid); 131 } 132 return false; 133 } 134 135 static Symbol* signature_polymorphic_intrinsic_name(vmIntrinsics::ID iid); 136 static int signature_polymorphic_intrinsic_ref_kind(vmIntrinsics::ID iid); 137 138 static vmIntrinsics::ID signature_polymorphic_name_id(Klass* klass, Symbol* name); 139 static vmIntrinsics::ID signature_polymorphic_name_id(Symbol* name); 140 static bool is_signature_polymorphic_name(Symbol* name) { 141 return signature_polymorphic_name_id(name) != vmIntrinsics::_none; 142 } 143 static bool is_method_handle_invoke_name(Klass* klass, Symbol* name); 144 static bool is_signature_polymorphic_name(Klass* klass, Symbol* name) { 145 return signature_polymorphic_name_id(klass, name) != vmIntrinsics::_none; 146 } 147 static bool is_signature_polymorphic_public_name(Klass* klass, Symbol* name); 148 149 static Bytecodes::Code signature_polymorphic_intrinsic_bytecode(vmIntrinsics::ID id); 150 151 static int get_named_constant(int which, Handle name_box, TRAPS); 152 153 public: 154 static Symbol* lookup_signature(oop type_str, bool polymorphic, TRAPS); // use TempNewSymbol 155 static Symbol* lookup_basic_type_signature(Symbol* sig, bool keep_last_arg, TRAPS); // use TempNewSymbol 156 static Symbol* lookup_basic_type_signature(Symbol* sig, TRAPS) { 157 return lookup_basic_type_signature(sig, false, THREAD); 158 } 159 static bool is_basic_type_signature(Symbol* sig); 160 161 static Symbol* lookup_method_type(Symbol* msig, Handle mtype, TRAPS); 162 163 static void print_as_method_type_on(outputStream* st, Symbol* sig) { 164 print_as_basic_type_signature_on(st, sig, true, true); 165 } 166 static void print_as_basic_type_signature_on(outputStream* st, Symbol* sig, bool keep_arrays = false, bool keep_basic_names = false); 167 168 // decoding CONSTANT_MethodHandle constants 169 enum { JVM_REF_MIN = JVM_REF_getField, JVM_REF_MAX = JVM_REF_invokeInterface }; 170 static bool ref_kind_is_valid(int ref_kind) { 171 return (ref_kind >= JVM_REF_MIN && ref_kind <= JVM_REF_MAX); 172 } 173 static bool ref_kind_is_field(int ref_kind) { 174 assert(ref_kind_is_valid(ref_kind), ""); 175 return (ref_kind <= JVM_REF_putStatic); 176 } 177 static bool ref_kind_is_getter(int ref_kind) { 178 assert(ref_kind_is_valid(ref_kind), ""); 179 return (ref_kind <= JVM_REF_getStatic); 180 } 181 static bool ref_kind_is_setter(int ref_kind) { 182 return ref_kind_is_field(ref_kind) && !ref_kind_is_getter(ref_kind); 183 } 184 static bool ref_kind_is_method(int ref_kind) { 185 return !ref_kind_is_field(ref_kind) && (ref_kind != JVM_REF_newInvokeSpecial); 186 } 187 static bool ref_kind_has_receiver(int ref_kind) { 188 assert(ref_kind_is_valid(ref_kind), ""); 189 return (ref_kind & 1) != 0; 190 } 191 static bool ref_kind_is_static(int ref_kind) { 192 return !ref_kind_has_receiver(ref_kind) && (ref_kind != JVM_REF_newInvokeSpecial); 193 } 194 static bool ref_kind_does_dispatch(int ref_kind) { 195 return (ref_kind == JVM_REF_invokeVirtual || 196 ref_kind == JVM_REF_invokeInterface); 197 } 198 199 static int ref_kind_to_flags(int ref_kind); 200 201 #include CPU_HEADER(methodHandles) 202 203 // Tracing 204 static void trace_method_handle(MacroAssembler* _masm, const char* adaptername) PRODUCT_RETURN; 205 static void trace_method_handle_interpreter_entry(MacroAssembler* _masm, vmIntrinsics::ID iid); 206 }; 207 208 //------------------------------------------------------------------------------ 209 // MethodHandlesAdapterGenerator 210 // 211 class MethodHandlesAdapterGenerator : public StubCodeGenerator { 212 public: 213 MethodHandlesAdapterGenerator(CodeBuffer* code) : StubCodeGenerator(code, PrintMethodHandleStubs) {} 214 215 void generate(); 216 }; 217 218 #endif // SHARE_VM_PRIMS_METHODHANDLES_HPP