src/cpu/ppc/vm/methodHandles_ppc.cpp

Tue, 08 Aug 2017 15:57:29 +0800

author
aoqi
date
Tue, 08 Aug 2017 15:57:29 +0800
changeset 6876
710a3c8b516e
parent 6515
71a71b0bc844
parent 0
f90c822e73f8
child 7535
7ae4e26cb1e0
permissions
-rw-r--r--

merge

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 1997, 2013, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * Copyright 2012, 2014 SAP AG. All rights reserved.
aoqi@0 4 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 5 *
aoqi@0 6 * This code is free software; you can redistribute it and/or modify it
aoqi@0 7 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 8 * published by the Free Software Foundation.
aoqi@0 9 *
aoqi@0 10 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 13 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 14 * accompanied this code).
aoqi@0 15 *
aoqi@0 16 * You should have received a copy of the GNU General Public License version
aoqi@0 17 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 19 *
aoqi@0 20 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 21 * or visit www.oracle.com if you need additional information or have any
aoqi@0 22 * questions.
aoqi@0 23 *
aoqi@0 24 */
aoqi@0 25
aoqi@0 26 #include "precompiled.hpp"
aoqi@0 27 #include "asm/macroAssembler.inline.hpp"
aoqi@0 28 #include "interpreter/interpreter.hpp"
aoqi@0 29 #include "memory/allocation.inline.hpp"
aoqi@0 30 #include "prims/methodHandles.hpp"
aoqi@0 31
aoqi@0 32 #define __ _masm->
aoqi@0 33
aoqi@0 34 #ifdef CC_INTERP
aoqi@0 35 #define EXCEPTION_ENTRY StubRoutines::throw_NullPointerException_at_call_entry()
aoqi@0 36 #else
aoqi@0 37 #define EXCEPTION_ENTRY Interpreter::throw_NullPointerException_entry()
aoqi@0 38 #endif
aoqi@0 39
aoqi@0 40 #ifdef PRODUCT
aoqi@0 41 #define BLOCK_COMMENT(str) // nothing
aoqi@0 42 #else
aoqi@0 43 #define BLOCK_COMMENT(str) __ block_comment(str)
aoqi@0 44 #endif
aoqi@0 45
aoqi@0 46 #define BIND(label) bind(label); BLOCK_COMMENT(#label ":")
aoqi@0 47
aoqi@0 48 // Workaround for C++ overloading nastiness on '0' for RegisterOrConstant.
aoqi@0 49 inline static RegisterOrConstant constant(int value) {
aoqi@0 50 return RegisterOrConstant(value);
aoqi@0 51 }
aoqi@0 52
aoqi@0 53 void MethodHandles::load_klass_from_Class(MacroAssembler* _masm, Register klass_reg, Register temp_reg, Register temp2_reg) {
aoqi@0 54 if (VerifyMethodHandles)
aoqi@0 55 verify_klass(_masm, klass_reg, SystemDictionary::WK_KLASS_ENUM_NAME(java_lang_Class), temp_reg, temp2_reg,
aoqi@0 56 "MH argument is a Class");
aoqi@0 57 __ ld(klass_reg, java_lang_Class::klass_offset_in_bytes(), klass_reg);
aoqi@0 58 }
aoqi@0 59
aoqi@0 60 #ifdef ASSERT
aoqi@0 61 static int check_nonzero(const char* xname, int x) {
aoqi@0 62 assert(x != 0, err_msg("%s should be nonzero", xname));
aoqi@0 63 return x;
aoqi@0 64 }
aoqi@0 65 #define NONZERO(x) check_nonzero(#x, x)
aoqi@0 66 #else //ASSERT
aoqi@0 67 #define NONZERO(x) (x)
aoqi@0 68 #endif //ASSERT
aoqi@0 69
aoqi@0 70 #ifdef ASSERT
aoqi@0 71 void MethodHandles::verify_klass(MacroAssembler* _masm,
aoqi@0 72 Register obj_reg, SystemDictionary::WKID klass_id,
aoqi@0 73 Register temp_reg, Register temp2_reg,
aoqi@0 74 const char* error_message) {
aoqi@0 75 Klass** klass_addr = SystemDictionary::well_known_klass_addr(klass_id);
aoqi@0 76 KlassHandle klass = SystemDictionary::well_known_klass(klass_id);
aoqi@0 77 Label L_ok, L_bad;
aoqi@0 78 BLOCK_COMMENT("verify_klass {");
aoqi@0 79 __ verify_oop(obj_reg);
aoqi@0 80 __ cmpdi(CCR0, obj_reg, 0);
aoqi@0 81 __ beq(CCR0, L_bad);
aoqi@0 82 __ load_klass(temp_reg, obj_reg);
aoqi@0 83 __ load_const_optimized(temp2_reg, (address) klass_addr);
aoqi@0 84 __ ld(temp2_reg, 0, temp2_reg);
aoqi@0 85 __ cmpd(CCR0, temp_reg, temp2_reg);
aoqi@0 86 __ beq(CCR0, L_ok);
aoqi@0 87 __ ld(temp_reg, klass->super_check_offset(), temp_reg);
aoqi@0 88 __ cmpd(CCR0, temp_reg, temp2_reg);
aoqi@0 89 __ beq(CCR0, L_ok);
aoqi@0 90 __ BIND(L_bad);
aoqi@0 91 __ stop(error_message);
aoqi@0 92 __ BIND(L_ok);
aoqi@0 93 BLOCK_COMMENT("} verify_klass");
aoqi@0 94 }
aoqi@0 95
aoqi@0 96 void MethodHandles::verify_ref_kind(MacroAssembler* _masm, int ref_kind, Register member_reg, Register temp) {
aoqi@0 97 Label L;
aoqi@0 98 BLOCK_COMMENT("verify_ref_kind {");
aoqi@0 99 __ load_sized_value(temp, NONZERO(java_lang_invoke_MemberName::flags_offset_in_bytes()), member_reg,
aoqi@0 100 sizeof(u4), /*is_signed*/ false);
aoqi@0 101 // assert(sizeof(u4) == sizeof(java.lang.invoke.MemberName.flags), "");
aoqi@0 102 __ srwi( temp, temp, java_lang_invoke_MemberName::MN_REFERENCE_KIND_SHIFT);
aoqi@0 103 __ andi(temp, temp, java_lang_invoke_MemberName::MN_REFERENCE_KIND_MASK);
aoqi@0 104 __ cmpwi(CCR1, temp, ref_kind);
aoqi@0 105 __ beq(CCR1, L);
aoqi@0 106 { char* buf = NEW_C_HEAP_ARRAY(char, 100, mtInternal);
aoqi@0 107 jio_snprintf(buf, 100, "verify_ref_kind expected %x", ref_kind);
aoqi@0 108 if (ref_kind == JVM_REF_invokeVirtual ||
aoqi@0 109 ref_kind == JVM_REF_invokeSpecial)
aoqi@0 110 // could do this for all ref_kinds, but would explode assembly code size
aoqi@0 111 trace_method_handle(_masm, buf);
aoqi@0 112 __ stop(buf);
aoqi@0 113 }
aoqi@0 114 BLOCK_COMMENT("} verify_ref_kind");
aoqi@0 115 __ BIND(L);
aoqi@0 116 }
aoqi@0 117
aoqi@0 118 #endif // ASSERT
aoqi@0 119
aoqi@0 120 void MethodHandles::jump_from_method_handle(MacroAssembler* _masm, Register method, Register target, Register temp,
aoqi@0 121 bool for_compiler_entry) {
aoqi@0 122 Label L_no_such_method;
aoqi@0 123 assert(method == R19_method, "interpreter calling convention");
aoqi@0 124 assert_different_registers(method, target, temp);
aoqi@0 125
aoqi@0 126 if (!for_compiler_entry && JvmtiExport::can_post_interpreter_events()) {
aoqi@0 127 Label run_compiled_code;
aoqi@0 128 // JVMTI events, such as single-stepping, are implemented partly by avoiding running
aoqi@0 129 // compiled code in threads for which the event is enabled. Check here for
aoqi@0 130 // interp_only_mode if these events CAN be enabled.
aoqi@0 131 __ verify_thread();
aoqi@0 132 __ lwz(temp, in_bytes(JavaThread::interp_only_mode_offset()), R16_thread);
aoqi@0 133 __ cmplwi(CCR0, temp, 0);
aoqi@0 134 __ beq(CCR0, run_compiled_code);
aoqi@0 135 // Null method test is replicated below in compiled case,
aoqi@0 136 // it might be able to address across the verify_thread()
aoqi@0 137 __ cmplwi(CCR0, R19_method, 0);
aoqi@0 138 __ beq(CCR0, L_no_such_method);
aoqi@0 139 __ ld(target, in_bytes(Method::interpreter_entry_offset()), R19_method);
aoqi@0 140 __ mtctr(target);
aoqi@0 141 __ bctr();
aoqi@0 142 __ BIND(run_compiled_code);
aoqi@0 143 }
aoqi@0 144
aoqi@0 145 // Compiled case, either static or fall-through from runtime conditional
aoqi@0 146 __ cmplwi(CCR0, R19_method, 0);
aoqi@0 147 __ beq(CCR0, L_no_such_method);
aoqi@0 148
aoqi@0 149 const ByteSize entry_offset = for_compiler_entry ? Method::from_compiled_offset() :
aoqi@0 150 Method::from_interpreted_offset();
aoqi@0 151 __ ld(target, in_bytes(entry_offset), R19_method);
aoqi@0 152 __ mtctr(target);
aoqi@0 153 __ bctr();
aoqi@0 154
aoqi@0 155 __ bind(L_no_such_method);
aoqi@0 156 assert(StubRoutines::throw_AbstractMethodError_entry() != NULL, "not yet generated!");
aoqi@0 157 __ load_const_optimized(target, StubRoutines::throw_AbstractMethodError_entry());
aoqi@0 158 __ mtctr(target);
aoqi@0 159 __ bctr();
aoqi@0 160 }
aoqi@0 161
aoqi@0 162
aoqi@0 163 void MethodHandles::jump_to_lambda_form(MacroAssembler* _masm,
aoqi@0 164 Register recv, Register method_temp,
aoqi@0 165 Register temp2, Register temp3,
aoqi@0 166 bool for_compiler_entry) {
aoqi@0 167 BLOCK_COMMENT("jump_to_lambda_form {");
aoqi@0 168 // This is the initial entry point of a lazy method handle.
aoqi@0 169 // After type checking, it picks up the invoker from the LambdaForm.
aoqi@0 170 assert_different_registers(recv, method_temp, temp2); // temp3 is only passed on
aoqi@0 171 assert(method_temp == R19_method, "required register for loading method");
aoqi@0 172
aoqi@0 173 // Load the invoker, as MH -> MH.form -> LF.vmentry
aoqi@0 174 __ verify_oop(recv);
aoqi@0 175 __ load_heap_oop_not_null(method_temp, NONZERO(java_lang_invoke_MethodHandle::form_offset_in_bytes()), recv);
aoqi@0 176 __ verify_oop(method_temp);
aoqi@0 177 __ load_heap_oop_not_null(method_temp, NONZERO(java_lang_invoke_LambdaForm::vmentry_offset_in_bytes()), method_temp);
aoqi@0 178 __ verify_oop(method_temp);
aoqi@0 179 // the following assumes that a Method* is normally compressed in the vmtarget field:
aoqi@0 180 __ ld(method_temp, NONZERO(java_lang_invoke_MemberName::vmtarget_offset_in_bytes()), method_temp);
aoqi@0 181
aoqi@0 182 if (VerifyMethodHandles && !for_compiler_entry) {
aoqi@0 183 // make sure recv is already on stack
aoqi@0 184 __ ld(temp2, in_bytes(Method::const_offset()), method_temp);
aoqi@0 185 __ load_sized_value(temp2, in_bytes(ConstMethod::size_of_parameters_offset()), temp2,
aoqi@0 186 sizeof(u2), /*is_signed*/ false);
aoqi@0 187 // assert(sizeof(u2) == sizeof(ConstMethod::_size_of_parameters), "");
aoqi@0 188 Label L;
aoqi@0 189 __ ld(temp2, __ argument_offset(temp2, temp2, 0), CC_INTERP_ONLY(R17_tos) NOT_CC_INTERP(R15_esp));
aoqi@0 190 __ cmpd(CCR1, temp2, recv);
aoqi@0 191 __ beq(CCR1, L);
aoqi@0 192 __ stop("receiver not on stack");
aoqi@0 193 __ BIND(L);
aoqi@0 194 }
aoqi@0 195
aoqi@0 196 jump_from_method_handle(_masm, method_temp, temp2, temp3, for_compiler_entry);
aoqi@0 197 BLOCK_COMMENT("} jump_to_lambda_form");
aoqi@0 198 }
aoqi@0 199
aoqi@0 200
aoqi@0 201
aoqi@0 202 // Code generation
aoqi@0 203 address MethodHandles::generate_method_handle_interpreter_entry(MacroAssembler* _masm,
aoqi@0 204 vmIntrinsics::ID iid) {
aoqi@0 205 const bool not_for_compiler_entry = false; // this is the interpreter entry
aoqi@0 206 assert(is_signature_polymorphic(iid), "expected invoke iid");
aoqi@0 207 if (iid == vmIntrinsics::_invokeGeneric ||
aoqi@0 208 iid == vmIntrinsics::_compiledLambdaForm) {
aoqi@0 209 // Perhaps surprisingly, the symbolic references visible to Java are not directly used.
aoqi@0 210 // They are linked to Java-generated adapters via MethodHandleNatives.linkMethod.
aoqi@0 211 // They all allow an appendix argument.
aoqi@0 212 __ stop("Should not reach here"); // empty stubs make SG sick
aoqi@0 213 return NULL;
aoqi@0 214 }
aoqi@0 215
aoqi@0 216 Register argbase = CC_INTERP_ONLY(R17_tos) NOT_CC_INTERP(R15_esp); // parameter (preserved)
aoqi@0 217 Register argslot = R3;
aoqi@0 218 Register temp1 = R6;
aoqi@0 219 Register param_size = R7;
aoqi@0 220
aoqi@0 221 // here's where control starts out:
aoqi@0 222 __ align(CodeEntryAlignment);
aoqi@0 223 address entry_point = __ pc();
aoqi@0 224
aoqi@0 225 if (VerifyMethodHandles) {
aoqi@0 226 Label L;
aoqi@0 227 BLOCK_COMMENT("verify_intrinsic_id {");
aoqi@0 228 __ load_sized_value(temp1, Method::intrinsic_id_offset_in_bytes(), R19_method,
aoqi@0 229 sizeof(u1), /*is_signed*/ false);
aoqi@0 230 // assert(sizeof(u1) == sizeof(Method::_intrinsic_id), "");
aoqi@0 231 __ cmpwi(CCR1, temp1, (int) iid);
aoqi@0 232 __ beq(CCR1, L);
aoqi@0 233 if (iid == vmIntrinsics::_linkToVirtual ||
aoqi@0 234 iid == vmIntrinsics::_linkToSpecial) {
aoqi@0 235 // could do this for all kinds, but would explode assembly code size
aoqi@0 236 trace_method_handle(_masm, "bad Method*:intrinsic_id");
aoqi@0 237 }
aoqi@0 238 __ stop("bad Method*::intrinsic_id");
aoqi@0 239 __ BIND(L);
aoqi@0 240 BLOCK_COMMENT("} verify_intrinsic_id");
aoqi@0 241 }
aoqi@0 242
aoqi@0 243 // First task: Find out how big the argument list is.
aoqi@0 244 int ref_kind = signature_polymorphic_intrinsic_ref_kind(iid);
aoqi@0 245 assert(ref_kind != 0 || iid == vmIntrinsics::_invokeBasic, "must be _invokeBasic or a linkTo intrinsic");
aoqi@0 246 if (ref_kind == 0 || MethodHandles::ref_kind_has_receiver(ref_kind)) {
aoqi@0 247 __ ld(param_size, in_bytes(Method::const_offset()), R19_method);
aoqi@0 248 __ load_sized_value(param_size, in_bytes(ConstMethod::size_of_parameters_offset()), param_size,
aoqi@0 249 sizeof(u2), /*is_signed*/ false);
aoqi@0 250 // assert(sizeof(u2) == sizeof(ConstMethod::_size_of_parameters), "");
aoqi@0 251 } else {
aoqi@0 252 DEBUG_ONLY(param_size = noreg);
aoqi@0 253 }
aoqi@0 254
aoqi@0 255 Register tmp_mh = noreg;
aoqi@0 256 if (!is_signature_polymorphic_static(iid)) {
aoqi@0 257 __ ld(tmp_mh = temp1, __ argument_offset(param_size, param_size, 0), argbase);
aoqi@0 258 DEBUG_ONLY(param_size = noreg);
aoqi@0 259 }
aoqi@0 260
aoqi@0 261 if (TraceMethodHandles) {
aoqi@0 262 if (tmp_mh != noreg)
aoqi@0 263 __ mr(R23_method_handle, tmp_mh); // make stub happy
aoqi@0 264 trace_method_handle_interpreter_entry(_masm, iid);
aoqi@0 265 }
aoqi@0 266
aoqi@0 267 if (iid == vmIntrinsics::_invokeBasic) {
aoqi@0 268 generate_method_handle_dispatch(_masm, iid, tmp_mh, noreg, not_for_compiler_entry);
aoqi@0 269
aoqi@0 270 } else {
aoqi@0 271 // Adjust argument list by popping the trailing MemberName argument.
aoqi@0 272 Register tmp_recv = noreg;
aoqi@0 273 if (MethodHandles::ref_kind_has_receiver(ref_kind)) {
aoqi@0 274 // Load the receiver (not the MH; the actual MemberName's receiver) up from the interpreter stack.
aoqi@0 275 __ ld(tmp_recv = temp1, __ argument_offset(param_size, param_size, 0), argbase);
aoqi@0 276 DEBUG_ONLY(param_size = noreg);
aoqi@0 277 }
aoqi@0 278 Register R19_member = R19_method; // MemberName ptr; incoming method ptr is dead now
aoqi@0 279 __ ld(R19_member, RegisterOrConstant((intptr_t)8), argbase);
aoqi@0 280 __ add(argbase, Interpreter::stackElementSize, argbase);
aoqi@0 281 generate_method_handle_dispatch(_masm, iid, tmp_recv, R19_member, not_for_compiler_entry);
aoqi@0 282 }
aoqi@0 283
aoqi@0 284 return entry_point;
aoqi@0 285 }
aoqi@0 286
aoqi@0 287 void MethodHandles::generate_method_handle_dispatch(MacroAssembler* _masm,
aoqi@0 288 vmIntrinsics::ID iid,
aoqi@0 289 Register receiver_reg,
aoqi@0 290 Register member_reg,
aoqi@0 291 bool for_compiler_entry) {
aoqi@0 292 assert(is_signature_polymorphic(iid), "expected invoke iid");
aoqi@0 293 Register temp1 = (for_compiler_entry ? R25_tmp5 : R7);
aoqi@0 294 Register temp2 = (for_compiler_entry ? R22_tmp2 : R8);
aoqi@0 295 Register temp3 = (for_compiler_entry ? R23_tmp3 : R9);
aoqi@0 296 Register temp4 = (for_compiler_entry ? R24_tmp4 : R10);
aoqi@0 297 if (receiver_reg != noreg) assert_different_registers(temp1, temp2, temp3, temp4, receiver_reg);
aoqi@0 298 if (member_reg != noreg) assert_different_registers(temp1, temp2, temp3, temp4, member_reg);
aoqi@0 299
aoqi@0 300 if (iid == vmIntrinsics::_invokeBasic) {
aoqi@0 301 // indirect through MH.form.vmentry.vmtarget
aoqi@0 302 jump_to_lambda_form(_masm, receiver_reg, R19_method, temp1, temp2, for_compiler_entry);
aoqi@0 303 } else {
aoqi@0 304 // The method is a member invoker used by direct method handles.
aoqi@0 305 if (VerifyMethodHandles) {
aoqi@0 306 // make sure the trailing argument really is a MemberName (caller responsibility)
aoqi@0 307 verify_klass(_masm, member_reg, SystemDictionary::WK_KLASS_ENUM_NAME(MemberName_klass),
aoqi@0 308 temp1, temp2,
aoqi@0 309 "MemberName required for invokeVirtual etc.");
aoqi@0 310 }
aoqi@0 311
aoqi@0 312 Register temp1_recv_klass = temp1;
aoqi@0 313 if (iid != vmIntrinsics::_linkToStatic) {
aoqi@0 314 __ verify_oop(receiver_reg);
aoqi@0 315 if (iid == vmIntrinsics::_linkToSpecial) {
aoqi@0 316 // Don't actually load the klass; just null-check the receiver.
aoqi@0 317 __ null_check_throw(receiver_reg, -1, temp1, EXCEPTION_ENTRY);
aoqi@0 318 } else {
aoqi@0 319 // load receiver klass itself
aoqi@0 320 __ null_check_throw(receiver_reg, oopDesc::klass_offset_in_bytes(), temp1, EXCEPTION_ENTRY);
aoqi@0 321 __ load_klass(temp1_recv_klass, receiver_reg);
aoqi@0 322 __ verify_klass_ptr(temp1_recv_klass);
aoqi@0 323 }
aoqi@0 324 BLOCK_COMMENT("check_receiver {");
aoqi@0 325 // The receiver for the MemberName must be in receiver_reg.
aoqi@0 326 // Check the receiver against the MemberName.clazz
aoqi@0 327 if (VerifyMethodHandles && iid == vmIntrinsics::_linkToSpecial) {
aoqi@0 328 // Did not load it above...
aoqi@0 329 __ load_klass(temp1_recv_klass, receiver_reg);
aoqi@0 330 __ verify_klass_ptr(temp1_recv_klass);
aoqi@0 331 }
aoqi@0 332 if (VerifyMethodHandles && iid != vmIntrinsics::_linkToInterface) {
aoqi@0 333 Label L_ok;
aoqi@0 334 Register temp2_defc = temp2;
aoqi@0 335 __ load_heap_oop_not_null(temp2_defc, NONZERO(java_lang_invoke_MemberName::clazz_offset_in_bytes()), member_reg);
aoqi@0 336 load_klass_from_Class(_masm, temp2_defc, temp3, temp4);
aoqi@0 337 __ verify_klass_ptr(temp2_defc);
aoqi@0 338 __ check_klass_subtype(temp1_recv_klass, temp2_defc, temp3, temp4, L_ok);
aoqi@0 339 // If we get here, the type check failed!
aoqi@0 340 __ stop("receiver class disagrees with MemberName.clazz");
aoqi@0 341 __ BIND(L_ok);
aoqi@0 342 }
aoqi@0 343 BLOCK_COMMENT("} check_receiver");
aoqi@0 344 }
aoqi@0 345 if (iid == vmIntrinsics::_linkToSpecial ||
aoqi@0 346 iid == vmIntrinsics::_linkToStatic) {
aoqi@0 347 DEBUG_ONLY(temp1_recv_klass = noreg); // these guys didn't load the recv_klass
aoqi@0 348 }
aoqi@0 349
aoqi@0 350 // Live registers at this point:
aoqi@0 351 // member_reg - MemberName that was the trailing argument
aoqi@0 352 // temp1_recv_klass - klass of stacked receiver, if needed
aoqi@0 353 // O5_savedSP - interpreter linkage (if interpreted)
aoqi@0 354 // O0..O5 - compiler arguments (if compiled)
aoqi@0 355
aoqi@0 356 Label L_incompatible_class_change_error;
aoqi@0 357 switch (iid) {
aoqi@0 358 case vmIntrinsics::_linkToSpecial:
aoqi@0 359 if (VerifyMethodHandles) {
aoqi@0 360 verify_ref_kind(_masm, JVM_REF_invokeSpecial, member_reg, temp2);
aoqi@0 361 }
aoqi@0 362 __ ld(R19_method, NONZERO(java_lang_invoke_MemberName::vmtarget_offset_in_bytes()), member_reg);
aoqi@0 363 break;
aoqi@0 364
aoqi@0 365 case vmIntrinsics::_linkToStatic:
aoqi@0 366 if (VerifyMethodHandles) {
aoqi@0 367 verify_ref_kind(_masm, JVM_REF_invokeStatic, member_reg, temp2);
aoqi@0 368 }
aoqi@0 369 __ ld(R19_method, NONZERO(java_lang_invoke_MemberName::vmtarget_offset_in_bytes()), member_reg);
aoqi@0 370 break;
aoqi@0 371
aoqi@0 372 case vmIntrinsics::_linkToVirtual:
aoqi@0 373 {
aoqi@0 374 // same as TemplateTable::invokevirtual,
aoqi@0 375 // minus the CP setup and profiling:
aoqi@0 376
aoqi@0 377 if (VerifyMethodHandles) {
aoqi@0 378 verify_ref_kind(_masm, JVM_REF_invokeVirtual, member_reg, temp2);
aoqi@0 379 }
aoqi@0 380
aoqi@0 381 // pick out the vtable index from the MemberName, and then we can discard it:
aoqi@0 382 Register temp2_index = temp2;
aoqi@0 383 __ ld(temp2_index, NONZERO(java_lang_invoke_MemberName::vmindex_offset_in_bytes()), member_reg);
aoqi@0 384
aoqi@0 385 if (VerifyMethodHandles) {
aoqi@0 386 Label L_index_ok;
aoqi@0 387 __ cmpdi(CCR1, temp2_index, 0);
aoqi@0 388 __ bge(CCR1, L_index_ok);
aoqi@0 389 __ stop("no virtual index");
aoqi@0 390 __ BIND(L_index_ok);
aoqi@0 391 }
aoqi@0 392
aoqi@0 393 // Note: The verifier invariants allow us to ignore MemberName.clazz and vmtarget
aoqi@0 394 // at this point. And VerifyMethodHandles has already checked clazz, if needed.
aoqi@0 395
aoqi@0 396 // get target Method* & entry point
aoqi@0 397 __ lookup_virtual_method(temp1_recv_klass, temp2_index, R19_method);
aoqi@0 398 break;
aoqi@0 399 }
aoqi@0 400
aoqi@0 401 case vmIntrinsics::_linkToInterface:
aoqi@0 402 {
aoqi@0 403 // same as TemplateTable::invokeinterface
aoqi@0 404 // (minus the CP setup and profiling, with different argument motion)
aoqi@0 405 if (VerifyMethodHandles) {
aoqi@0 406 verify_ref_kind(_masm, JVM_REF_invokeInterface, member_reg, temp2);
aoqi@0 407 }
aoqi@0 408
aoqi@0 409 Register temp2_intf = temp2;
aoqi@0 410 __ load_heap_oop_not_null(temp2_intf, NONZERO(java_lang_invoke_MemberName::clazz_offset_in_bytes()), member_reg);
aoqi@0 411 load_klass_from_Class(_masm, temp2_intf, temp3, temp4);
aoqi@0 412 __ verify_klass_ptr(temp2_intf);
aoqi@0 413
aoqi@0 414 Register vtable_index = R19_method;
aoqi@0 415 __ ld(vtable_index, NONZERO(java_lang_invoke_MemberName::vmindex_offset_in_bytes()), member_reg);
aoqi@0 416 if (VerifyMethodHandles) {
aoqi@0 417 Label L_index_ok;
aoqi@0 418 __ cmpdi(CCR1, vtable_index, 0);
aoqi@0 419 __ bge(CCR1, L_index_ok);
aoqi@0 420 __ stop("invalid vtable index for MH.invokeInterface");
aoqi@0 421 __ BIND(L_index_ok);
aoqi@0 422 }
aoqi@0 423
aoqi@0 424 // given intf, index, and recv klass, dispatch to the implementation method
aoqi@0 425 __ lookup_interface_method(temp1_recv_klass, temp2_intf,
aoqi@0 426 // note: next two args must be the same:
aoqi@0 427 vtable_index, R19_method,
aoqi@0 428 temp3, temp4,
aoqi@0 429 L_incompatible_class_change_error);
aoqi@0 430 break;
aoqi@0 431 }
aoqi@0 432
aoqi@0 433 default:
aoqi@0 434 fatal(err_msg_res("unexpected intrinsic %d: %s", iid, vmIntrinsics::name_at(iid)));
aoqi@0 435 break;
aoqi@0 436 }
aoqi@0 437
aoqi@0 438 // Live at this point:
aoqi@0 439 // R19_method
aoqi@0 440 // O5_savedSP (if interpreted)
aoqi@0 441
aoqi@0 442 // After figuring out which concrete method to call, jump into it.
aoqi@0 443 // Note that this works in the interpreter with no data motion.
aoqi@0 444 // But the compiled version will require that rcx_recv be shifted out.
aoqi@0 445 __ verify_method_ptr(R19_method);
aoqi@0 446 jump_from_method_handle(_masm, R19_method, temp1, temp2, for_compiler_entry);
aoqi@0 447
aoqi@0 448 if (iid == vmIntrinsics::_linkToInterface) {
aoqi@0 449 __ BIND(L_incompatible_class_change_error);
aoqi@0 450 __ load_const_optimized(temp1, StubRoutines::throw_IncompatibleClassChangeError_entry());
aoqi@0 451 __ mtctr(temp1);
aoqi@0 452 __ bctr();
aoqi@0 453 }
aoqi@0 454 }
aoqi@0 455 }
aoqi@0 456
aoqi@0 457 #ifndef PRODUCT
aoqi@0 458 void trace_method_handle_stub(const char* adaptername,
aoqi@0 459 oopDesc* mh,
aoqi@0 460 intptr_t* entry_sp,
aoqi@0 461 intptr_t* saved_regs) {
aoqi@0 462
aoqi@0 463 bool has_mh = (strstr(adaptername, "/static") == NULL &&
aoqi@0 464 strstr(adaptername, "linkTo") == NULL); // static linkers don't have MH
aoqi@0 465 const char* mh_reg_name = has_mh ? "R23_method_handle" : "G23";
aoqi@0 466 tty->print_cr("MH %s %s="INTPTR_FORMAT " sp=" INTPTR_FORMAT,
aoqi@0 467 adaptername, mh_reg_name, (intptr_t) mh, entry_sp);
aoqi@0 468
aoqi@0 469 if (Verbose) {
aoqi@0 470 tty->print_cr("Registers:");
aoqi@0 471 const int abi_offset = frame::abi_reg_args_size / 8;
aoqi@0 472 for (int i = R3->encoding(); i <= R12->encoding(); i++) {
aoqi@0 473 Register r = as_Register(i);
aoqi@0 474 int count = i - R3->encoding();
aoqi@0 475 // The registers are stored in reverse order on the stack (by save_volatile_gprs(R1_SP, abi_reg_args_size)).
aoqi@0 476 tty->print("%3s=" PTR_FORMAT, r->name(), saved_regs[abi_offset + count]);
aoqi@0 477 if ((count + 1) % 4 == 0) {
aoqi@0 478 tty->cr();
aoqi@0 479 } else {
aoqi@0 480 tty->print(", ");
aoqi@0 481 }
aoqi@0 482 }
aoqi@0 483 tty->cr();
aoqi@0 484
aoqi@0 485 {
aoqi@0 486 // dumping last frame with frame::describe
aoqi@0 487
aoqi@0 488 JavaThread* p = JavaThread::active();
aoqi@0 489
aoqi@0 490 ResourceMark rm;
aoqi@0 491 PRESERVE_EXCEPTION_MARK; // may not be needed by safer and unexpensive here
aoqi@0 492 FrameValues values;
aoqi@0 493
aoqi@0 494 // Note: We want to allow trace_method_handle from any call site.
aoqi@0 495 // While trace_method_handle creates a frame, it may be entered
aoqi@0 496 // without a PC on the stack top (e.g. not just after a call).
aoqi@0 497 // Walking that frame could lead to failures due to that invalid PC.
aoqi@0 498 // => carefully detect that frame when doing the stack walking
aoqi@0 499
aoqi@0 500 // Current C frame
aoqi@0 501 frame cur_frame = os::current_frame();
aoqi@0 502
aoqi@0 503 // Robust search of trace_calling_frame (independant of inlining).
aoqi@0 504 // Assumes saved_regs comes from a pusha in the trace_calling_frame.
aoqi@0 505 assert(cur_frame.sp() < saved_regs, "registers not saved on stack ?");
aoqi@0 506 frame trace_calling_frame = os::get_sender_for_C_frame(&cur_frame);
aoqi@0 507 while (trace_calling_frame.fp() < saved_regs) {
aoqi@0 508 trace_calling_frame = os::get_sender_for_C_frame(&trace_calling_frame);
aoqi@0 509 }
aoqi@0 510
aoqi@0 511 // Safely create a frame and call frame::describe.
aoqi@0 512 intptr_t *dump_sp = trace_calling_frame.sender_sp();
aoqi@0 513
aoqi@0 514 frame dump_frame = frame(dump_sp);
aoqi@0 515 dump_frame.describe(values, 1);
aoqi@0 516
aoqi@0 517 values.describe(-1, saved_regs, "raw top of stack");
aoqi@0 518
aoqi@0 519 tty->print_cr("Stack layout:");
aoqi@0 520 values.print(p);
aoqi@0 521 }
aoqi@0 522
aoqi@0 523 if (has_mh && mh->is_oop()) {
aoqi@0 524 mh->print();
aoqi@0 525 if (java_lang_invoke_MethodHandle::is_instance(mh)) {
aoqi@0 526 if (java_lang_invoke_MethodHandle::form_offset_in_bytes() != 0)
aoqi@0 527 java_lang_invoke_MethodHandle::form(mh)->print();
aoqi@0 528 }
aoqi@0 529 }
aoqi@0 530 }
aoqi@0 531 }
aoqi@0 532
aoqi@0 533 void MethodHandles::trace_method_handle(MacroAssembler* _masm, const char* adaptername) {
aoqi@0 534 if (!TraceMethodHandles) return;
aoqi@0 535
aoqi@0 536 BLOCK_COMMENT("trace_method_handle {");
aoqi@0 537
aoqi@0 538 int nbytes_save = 10 * 8; // 10 volatile gprs
aoqi@0 539 __ save_LR_CR(R0);
aoqi@0 540 __ mr(R0, R1_SP); // saved_sp
aoqi@0 541 assert(Assembler::is_simm(-nbytes_save, 16), "Overwriting R0");
aoqi@0 542 // Push_frame_reg_args only uses R0 if nbytes_save is wider than 16 bit.
aoqi@0 543 __ push_frame_reg_args(nbytes_save, R0);
aoqi@0 544 __ save_volatile_gprs(R1_SP, frame::abi_reg_args_size); // Except R0.
aoqi@0 545
aoqi@0 546 __ load_const(R3_ARG1, (address)adaptername);
aoqi@0 547 __ mr(R4_ARG2, R23_method_handle);
aoqi@0 548 __ mr(R5_ARG3, R0); // saved_sp
aoqi@0 549 __ mr(R6_ARG4, R1_SP);
aoqi@0 550 __ call_VM_leaf(CAST_FROM_FN_PTR(address, trace_method_handle_stub));
aoqi@0 551
aoqi@0 552 __ restore_volatile_gprs(R1_SP, 112); // Except R0.
aoqi@0 553 __ pop_frame();
aoqi@0 554 __ restore_LR_CR(R0);
aoqi@0 555
aoqi@0 556 BLOCK_COMMENT("} trace_method_handle");
aoqi@0 557 }
aoqi@0 558 #endif // PRODUCT

mercurial