hotspot/src/cpu/x86/vm/methodHandles_x86.cpp
author twisti
Thu, 29 Apr 2010 06:30:25 -0700
changeset 5416 5f6377fcfd3e
parent 5095 06b1faf0df9c
child 5419 f2e8cc8c12ea
permissions -rw-r--r--
6829193: JSR 292 needs to support SPARC Summary: There are unimplemented portions of the hotspot code for method handles and invokedynamic specific to SPARC. Reviewed-by: kvn, never, jrose
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     1
/*
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
     2
 * Copyright 1997-2010 Sun Microsystems, Inc.  All Rights Reserved.
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     4
 *
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     7
 * published by the Free Software Foundation.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     8
 *
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    13
 * accompanied this code).
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    14
 *
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    18
 *
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    19
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    20
 * CA 95054 USA or visit www.sun.com if you need additional information or
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    21
 * have any questions.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    22
 *
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    23
 */
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    24
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    25
#include "incls/_precompiled.incl"
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    26
#include "incls/_methodHandles_x86.cpp.incl"
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    27
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    28
#define __ _masm->
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    29
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    30
address MethodHandleEntry::start_compiled_entry(MacroAssembler* _masm,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    31
                                                address interpreted_entry) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    32
  // Just before the actual machine code entry point, allocate space
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    33
  // for a MethodHandleEntry::Data record, so that we can manage everything
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    34
  // from one base pointer.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    35
  __ align(wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    36
  address target = __ pc() + sizeof(Data);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    37
  while (__ pc() < target) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    38
    __ nop();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    39
    __ align(wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    40
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    41
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    42
  MethodHandleEntry* me = (MethodHandleEntry*) __ pc();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    43
  me->set_end_address(__ pc());         // set a temporary end_address
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    44
  me->set_from_interpreted_entry(interpreted_entry);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    45
  me->set_type_checking_entry(NULL);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    46
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    47
  return (address) me;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    48
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    49
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    50
MethodHandleEntry* MethodHandleEntry::finish_compiled_entry(MacroAssembler* _masm,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    51
                                                address start_addr) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    52
  MethodHandleEntry* me = (MethodHandleEntry*) start_addr;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    53
  assert(me->end_address() == start_addr, "valid ME");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    54
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    55
  // Fill in the real end_address:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    56
  __ align(wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    57
  me->set_end_address(__ pc());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    58
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    59
  return me;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    60
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    61
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    62
#ifdef ASSERT
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
    63
static void verify_argslot(MacroAssembler* _masm, Register argslot_reg,
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    64
                           const char* error_message) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    65
  // Verify that argslot lies within (rsp, rbp].
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    66
  Label L_ok, L_bad;
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
    67
  __ cmpptr(argslot_reg, rbp);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
    68
  __ jccb(Assembler::above, L_bad);
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
    69
  __ cmpptr(rsp, argslot_reg);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
    70
  __ jccb(Assembler::below, L_ok);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    71
  __ bind(L_bad);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    72
  __ stop(error_message);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    73
  __ bind(L_ok);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    74
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    75
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    76
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    77
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    78
// Code generation
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    79
address MethodHandles::generate_method_handle_interpreter_entry(MacroAssembler* _masm) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    80
  // rbx: methodOop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    81
  // rcx: receiver method handle (must load from sp[MethodTypeForm.vmslots])
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    82
  // rsi/r13: sender SP (must preserve; see prepare_to_jump_from_interpreted)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    83
  // rdx: garbage temp, blown away
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    84
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    85
  Register rbx_method = rbx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    86
  Register rcx_recv   = rcx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    87
  Register rax_mtype  = rax;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    88
  Register rdx_temp   = rdx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    89
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    90
  // emit WrongMethodType path first, to enable jccb back-branch from main path
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    91
  Label wrong_method_type;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    92
  __ bind(wrong_method_type);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    93
  __ push(rax_mtype);       // required mtype
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    94
  __ push(rcx_recv);        // bad mh (1st stacked argument)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    95
  __ jump(ExternalAddress(Interpreter::throw_WrongMethodType_entry()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    96
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    97
  // here's where control starts out:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    98
  __ align(CodeEntryAlignment);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
    99
  address entry_point = __ pc();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   100
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   101
  // fetch the MethodType from the method handle into rax (the 'check' register)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   102
  {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   103
    Register tem = rbx_method;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   104
    for (jint* pchase = methodOopDesc::method_type_offsets_chain(); (*pchase) != -1; pchase++) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   105
      __ movptr(rax_mtype, Address(tem, *pchase));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   106
      tem = rax_mtype;          // in case there is another indirection
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   107
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   108
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   109
  Register rbx_temp = rbx_method; // done with incoming methodOop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   110
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   111
  // given the MethodType, find out where the MH argument is buried
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   112
  __ movptr(rdx_temp, Address(rax_mtype,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   113
                              __ delayed_value(java_dyn_MethodType::form_offset_in_bytes, rbx_temp)));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   114
  __ movl(rdx_temp, Address(rdx_temp,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   115
                            __ delayed_value(java_dyn_MethodTypeForm::vmslots_offset_in_bytes, rbx_temp)));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   116
  __ movptr(rcx_recv, __ argument_address(rdx_temp));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   117
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   118
  __ check_method_handle_type(rax_mtype, rcx_recv, rdx_temp, wrong_method_type);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   119
  __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   120
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   121
  return entry_point;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   122
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   123
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   124
// Helper to insert argument slots into the stack.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   125
// arg_slots must be a multiple of stack_move_unit() and <= 0
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   126
void MethodHandles::insert_arg_slots(MacroAssembler* _masm,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   127
                                     RegisterOrConstant arg_slots,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   128
                                     int arg_mask,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   129
                                     Register rax_argslot,
5416
5f6377fcfd3e 6829193: JSR 292 needs to support SPARC
twisti
parents: 5095
diff changeset
   130
                                     Register rbx_temp, Register rdx_temp, Register temp3_reg) {
5f6377fcfd3e 6829193: JSR 292 needs to support SPARC
twisti
parents: 5095
diff changeset
   131
  assert(temp3_reg == noreg, "temp3 not required");
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   132
  assert_different_registers(rax_argslot, rbx_temp, rdx_temp,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   133
                             (!arg_slots.is_register() ? rsp : arg_slots.as_register()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   134
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   135
#ifdef ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   136
  verify_argslot(_masm, rax_argslot, "insertion point must fall within current frame");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   137
  if (arg_slots.is_register()) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   138
    Label L_ok, L_bad;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   139
    __ cmpptr(arg_slots.as_register(), (int32_t) NULL_WORD);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   140
    __ jccb(Assembler::greater, L_bad);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   141
    __ testl(arg_slots.as_register(), -stack_move_unit() - 1);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   142
    __ jccb(Assembler::zero, L_ok);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   143
    __ bind(L_bad);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   144
    __ stop("assert arg_slots <= 0 and clear low bits");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   145
    __ bind(L_ok);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   146
  } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   147
    assert(arg_slots.as_constant() <= 0, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   148
    assert(arg_slots.as_constant() % -stack_move_unit() == 0, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   149
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   150
#endif //ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   151
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   152
#ifdef _LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   153
  if (arg_slots.is_register()) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   154
    // clean high bits of stack motion register (was loaded as an int)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   155
    __ movslq(arg_slots.as_register(), arg_slots.as_register());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   156
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   157
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   158
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   159
  // Make space on the stack for the inserted argument(s).
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   160
  // Then pull down everything shallower than rax_argslot.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   161
  // The stacked return address gets pulled down with everything else.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   162
  // That is, copy [rsp, argslot) downward by -size words.  In pseudo-code:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   163
  //   rsp -= size;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   164
  //   for (rdx = rsp + size; rdx < argslot; rdx++)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   165
  //     rdx[-size] = rdx[0]
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   166
  //   argslot -= size;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   167
  __ mov(rdx_temp, rsp);                        // source pointer for copy
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   168
  __ lea(rsp, Address(rsp, arg_slots, Address::times_ptr));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   169
  {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   170
    Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   171
    __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   172
    // pull one word down each time through the loop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   173
    __ movptr(rbx_temp, Address(rdx_temp, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   174
    __ movptr(Address(rdx_temp, arg_slots, Address::times_ptr), rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   175
    __ addptr(rdx_temp, wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   176
    __ cmpptr(rdx_temp, rax_argslot);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   177
    __ jccb(Assembler::less, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   178
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   179
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   180
  // Now move the argslot down, to point to the opened-up space.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   181
  __ lea(rax_argslot, Address(rax_argslot, arg_slots, Address::times_ptr));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   182
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   183
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   184
// Helper to remove argument slots from the stack.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   185
// arg_slots must be a multiple of stack_move_unit() and >= 0
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   186
void MethodHandles::remove_arg_slots(MacroAssembler* _masm,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   187
                                    RegisterOrConstant arg_slots,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   188
                                    Register rax_argslot,
5416
5f6377fcfd3e 6829193: JSR 292 needs to support SPARC
twisti
parents: 5095
diff changeset
   189
                                     Register rbx_temp, Register rdx_temp, Register temp3_reg) {
5f6377fcfd3e 6829193: JSR 292 needs to support SPARC
twisti
parents: 5095
diff changeset
   190
  assert(temp3_reg == noreg, "temp3 not required");
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   191
  assert_different_registers(rax_argslot, rbx_temp, rdx_temp,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   192
                             (!arg_slots.is_register() ? rsp : arg_slots.as_register()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   193
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   194
#ifdef ASSERT
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   195
  // Verify that [argslot..argslot+size) lies within (rsp, rbp).
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   196
  __ lea(rbx_temp, Address(rax_argslot, arg_slots, Address::times_ptr));
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   197
  verify_argslot(_masm, rbx_temp, "deleted argument(s) must fall within current frame");
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   198
  if (arg_slots.is_register()) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   199
    Label L_ok, L_bad;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   200
    __ cmpptr(arg_slots.as_register(), (int32_t) NULL_WORD);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   201
    __ jccb(Assembler::less, L_bad);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   202
    __ testl(arg_slots.as_register(), -stack_move_unit() - 1);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   203
    __ jccb(Assembler::zero, L_ok);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   204
    __ bind(L_bad);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   205
    __ stop("assert arg_slots >= 0 and clear low bits");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   206
    __ bind(L_ok);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   207
  } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   208
    assert(arg_slots.as_constant() >= 0, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   209
    assert(arg_slots.as_constant() % -stack_move_unit() == 0, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   210
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   211
#endif //ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   212
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   213
#ifdef _LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   214
  if (false) {                  // not needed, since register is positive
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   215
    // clean high bits of stack motion register (was loaded as an int)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   216
    if (arg_slots.is_register())
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   217
      __ movslq(arg_slots.as_register(), arg_slots.as_register());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   218
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   219
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   220
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   221
  // Pull up everything shallower than rax_argslot.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   222
  // Then remove the excess space on the stack.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   223
  // The stacked return address gets pulled up with everything else.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   224
  // That is, copy [rsp, argslot) upward by size words.  In pseudo-code:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   225
  //   for (rdx = argslot-1; rdx >= rsp; --rdx)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   226
  //     rdx[size] = rdx[0]
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   227
  //   argslot += size;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   228
  //   rsp += size;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   229
  __ lea(rdx_temp, Address(rax_argslot, -wordSize)); // source pointer for copy
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   230
  {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   231
    Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   232
    __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   233
    // pull one word up each time through the loop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   234
    __ movptr(rbx_temp, Address(rdx_temp, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   235
    __ movptr(Address(rdx_temp, arg_slots, Address::times_ptr), rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   236
    __ addptr(rdx_temp, -wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   237
    __ cmpptr(rdx_temp, rsp);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   238
    __ jccb(Assembler::greaterEqual, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   239
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   240
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   241
  // Now move the argslot up, to point to the just-copied block.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   242
  __ lea(rsp, Address(rsp, arg_slots, Address::times_ptr));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   243
  // And adjust the argslot address to point at the deletion point.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   244
  __ lea(rax_argslot, Address(rax_argslot, arg_slots, Address::times_ptr));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   245
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   246
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   247
#ifndef PRODUCT
4562
5d93cb2d2090 6894206: JVM needs a way to traverse method handle structures
twisti
parents: 4478
diff changeset
   248
extern "C" void print_method_handle(oop mh);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   249
void trace_method_handle_stub(const char* adaptername,
4562
5d93cb2d2090 6894206: JVM needs a way to traverse method handle structures
twisti
parents: 4478
diff changeset
   250
                              oop mh,
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   251
                              intptr_t* entry_sp,
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   252
                              intptr_t* saved_sp,
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   253
                              intptr_t* saved_bp) {
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   254
  // called as a leaf from native code: do not block the JVM!
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   255
  intptr_t* last_sp = (intptr_t*) saved_bp[frame::interpreter_frame_last_sp_offset];
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   256
  intptr_t* base_sp = (intptr_t*) saved_bp[frame::interpreter_frame_monitor_block_top_offset];
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   257
  printf("MH %s mh="INTPTR_FORMAT" sp=("INTPTR_FORMAT"+"INTX_FORMAT") stack_size="INTX_FORMAT" bp="INTPTR_FORMAT"\n",
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   258
         adaptername, (intptr_t)mh, (intptr_t)entry_sp, (intptr_t)(saved_sp - entry_sp), (intptr_t)(base_sp - last_sp), (intptr_t)saved_bp);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   259
  if (last_sp != saved_sp)
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   260
    printf("*** last_sp="INTPTR_FORMAT"\n", (intptr_t)last_sp);
4562
5d93cb2d2090 6894206: JVM needs a way to traverse method handle structures
twisti
parents: 4478
diff changeset
   261
  if (Verbose)  print_method_handle(mh);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   262
}
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   263
#endif //PRODUCT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   264
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   265
// Generate an "entry" field for a method handle.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   266
// This determines how the method handle will respond to calls.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   267
void MethodHandles::generate_method_handle_stub(MacroAssembler* _masm, MethodHandles::EntryKind ek) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   268
  // Here is the register state during an interpreted call,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   269
  // as set up by generate_method_handle_interpreter_entry():
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   270
  // - rbx: garbage temp (was MethodHandle.invoke methodOop, unused)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   271
  // - rcx: receiver method handle
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   272
  // - rax: method handle type (only used by the check_mtype entry point)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   273
  // - rsi/r13: sender SP (must preserve; see prepare_to_jump_from_interpreted)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   274
  // - rdx: garbage temp, can blow away
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   275
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   276
  Register rcx_recv    = rcx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   277
  Register rax_argslot = rax;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   278
  Register rbx_temp    = rbx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   279
  Register rdx_temp    = rdx;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   280
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   281
  // This guy is set up by prepare_to_jump_from_interpreted (from interpreted calls)
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   282
  // and gen_c2i_adapter (from compiled calls):
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   283
  Register saved_last_sp = LP64_ONLY(r13) NOT_LP64(rsi);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   284
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   285
  guarantee(java_dyn_MethodHandle::vmentry_offset_in_bytes() != 0, "must have offsets");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   286
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   287
  // some handy addresses
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   288
  Address rbx_method_fie(     rbx,      methodOopDesc::from_interpreted_offset() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   289
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   290
  Address rcx_mh_vmtarget(    rcx_recv, java_dyn_MethodHandle::vmtarget_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   291
  Address rcx_dmh_vmindex(    rcx_recv, sun_dyn_DirectMethodHandle::vmindex_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   292
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   293
  Address rcx_bmh_vmargslot(  rcx_recv, sun_dyn_BoundMethodHandle::vmargslot_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   294
  Address rcx_bmh_argument(   rcx_recv, sun_dyn_BoundMethodHandle::argument_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   295
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   296
  Address rcx_amh_vmargslot(  rcx_recv, sun_dyn_AdapterMethodHandle::vmargslot_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   297
  Address rcx_amh_argument(   rcx_recv, sun_dyn_AdapterMethodHandle::argument_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   298
  Address rcx_amh_conversion( rcx_recv, sun_dyn_AdapterMethodHandle::conversion_offset_in_bytes() );
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   299
  Address vmarg;                // __ argument_address(vmargslot)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   300
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   301
  const int java_mirror_offset = klassOopDesc::klass_part_offset_in_bytes() + Klass::java_mirror_offset_in_bytes();
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   302
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   303
  if (have_entry(ek)) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   304
    __ nop();                   // empty stubs make SG sick
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   305
    return;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   306
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   307
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   308
  address interp_entry = __ pc();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   309
  if (UseCompressedOops)  __ unimplemented("UseCompressedOops");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   310
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   311
#ifndef PRODUCT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   312
  if (TraceMethodHandles) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   313
    __ push(rax); __ push(rbx); __ push(rcx); __ push(rdx); __ push(rsi); __ push(rdi);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   314
    __ lea(rax, Address(rsp, wordSize*6)); // entry_sp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   315
    // arguments:
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   316
    __ push(rbp);               // interpreter frame pointer
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   317
    __ push(rsi);               // saved_sp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   318
    __ push(rax);               // entry_sp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   319
    __ push(rcx);               // mh
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   320
    __ push(rcx);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   321
    __ movptr(Address(rsp, 0), (intptr_t)entry_name(ek));
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   322
    __ call_VM_leaf(CAST_FROM_FN_PTR(address, trace_method_handle_stub), 5);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   323
    __ pop(rdi); __ pop(rsi); __ pop(rdx); __ pop(rcx); __ pop(rbx); __ pop(rax);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   324
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   325
#endif //PRODUCT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   326
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   327
  switch ((int) ek) {
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   328
  case _raise_exception:
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   329
    {
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   330
      // Not a real MH entry, but rather shared code for raising an exception.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   331
      // Extra local arguments are pushed on stack, as required type at TOS+8,
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   332
      // failing object (or NULL) at TOS+4, failing bytecode type at TOS.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   333
      // Beyond those local arguments are the PC, of course.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   334
      Register rdx_code = rdx_temp;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   335
      Register rcx_fail = rcx_recv;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   336
      Register rax_want = rax_argslot;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   337
      Register rdi_pc   = rdi;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   338
      __ pop(rdx_code);  // TOS+0
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   339
      __ pop(rcx_fail);  // TOS+4
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   340
      __ pop(rax_want);  // TOS+8
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   341
      __ pop(rdi_pc);    // caller PC
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   342
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   343
      __ mov(rsp, rsi);   // cut the stack back to where the caller started
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   344
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   345
      // Repush the arguments as if coming from the interpreter.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   346
      __ push(rdx_code);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   347
      __ push(rcx_fail);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   348
      __ push(rax_want);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   349
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   350
      Register rbx_method = rbx_temp;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   351
      Label no_method;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   352
      // FIXME: fill in _raise_exception_method with a suitable sun.dyn method
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   353
      __ movptr(rbx_method, ExternalAddress((address) &_raise_exception_method));
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   354
      __ testptr(rbx_method, rbx_method);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   355
      __ jccb(Assembler::zero, no_method);
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   356
      int jobject_oop_offset = 0;
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   357
      __ movptr(rbx_method, Address(rbx_method, jobject_oop_offset));  // dereference the jobject
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   358
      __ testptr(rbx_method, rbx_method);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   359
      __ jccb(Assembler::zero, no_method);
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   360
      __ verify_oop(rbx_method);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   361
      __ push(rdi_pc);          // and restore caller PC
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   362
      __ jmp(rbx_method_fie);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   363
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   364
      // If we get here, the Java runtime did not do its job of creating the exception.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   365
      // Do something that is at least causes a valid throw from the interpreter.
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   366
      __ bind(no_method);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   367
      __ pop(rax_want);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   368
      __ pop(rcx_fail);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   369
      __ push(rax_want);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   370
      __ push(rcx_fail);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   371
      __ jump(ExternalAddress(Interpreter::throw_WrongMethodType_entry()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   372
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   373
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   374
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   375
  case _invokestatic_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   376
  case _invokespecial_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   377
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   378
      Register rbx_method = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   379
      __ movptr(rbx_method, rcx_mh_vmtarget); // target is a methodOop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   380
      __ verify_oop(rbx_method);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   381
      // same as TemplateTable::invokestatic or invokespecial,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   382
      // minus the CP setup and profiling:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   383
      if (ek == _invokespecial_mh) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   384
        // Must load & check the first argument before entering the target method.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   385
        __ load_method_handle_vmslots(rax_argslot, rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   386
        __ movptr(rcx_recv, __ argument_address(rax_argslot, -1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   387
        __ null_check(rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   388
        __ verify_oop(rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   389
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   390
      __ jmp(rbx_method_fie);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   391
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   392
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   393
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   394
  case _invokevirtual_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   395
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   396
      // same as TemplateTable::invokevirtual,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   397
      // minus the CP setup and profiling:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   398
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   399
      // pick out the vtable index and receiver offset from the MH,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   400
      // and then we can discard it:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   401
      __ load_method_handle_vmslots(rax_argslot, rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   402
      Register rbx_index = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   403
      __ movl(rbx_index, rcx_dmh_vmindex);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   404
      // Note:  The verifier allows us to ignore rcx_mh_vmtarget.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   405
      __ movptr(rcx_recv, __ argument_address(rax_argslot, -1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   406
      __ null_check(rcx_recv, oopDesc::klass_offset_in_bytes());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   407
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   408
      // get receiver klass
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   409
      Register rax_klass = rax_argslot;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   410
      __ load_klass(rax_klass, rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   411
      __ verify_oop(rax_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   412
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   413
      // get target methodOop & entry point
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   414
      const int base = instanceKlass::vtable_start_offset() * wordSize;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   415
      assert(vtableEntry::size() * wordSize == wordSize, "adjust the scaling in the code below");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   416
      Address vtable_entry_addr(rax_klass,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   417
                                rbx_index, Address::times_ptr,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   418
                                base + vtableEntry::method_offset_in_bytes());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   419
      Register rbx_method = rbx_temp;
4478
c3a8af0fc6b0 6829192: JSR 292 needs to support 64-bit x86
twisti
parents: 4094
diff changeset
   420
      __ movptr(rbx_method, vtable_entry_addr);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   421
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   422
      __ verify_oop(rbx_method);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   423
      __ jmp(rbx_method_fie);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   424
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   425
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   426
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   427
  case _invokeinterface_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   428
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   429
      // same as TemplateTable::invokeinterface,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   430
      // minus the CP setup and profiling:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   431
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   432
      // pick out the interface and itable index from the MH.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   433
      __ load_method_handle_vmslots(rax_argslot, rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   434
      Register rdx_intf  = rdx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   435
      Register rbx_index = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   436
      __ movptr(rdx_intf,  rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   437
      __ movl(rbx_index,   rcx_dmh_vmindex);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   438
      __ movptr(rcx_recv, __ argument_address(rax_argslot, -1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   439
      __ null_check(rcx_recv, oopDesc::klass_offset_in_bytes());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   440
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   441
      // get receiver klass
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   442
      Register rax_klass = rax_argslot;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   443
      __ load_klass(rax_klass, rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   444
      __ verify_oop(rax_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   445
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   446
      Register rdi_temp   = rdi;
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   447
      Register rbx_method = rbx_index;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   448
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   449
      // get interface klass
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   450
      Label no_such_interface;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   451
      __ verify_oop(rdx_intf);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   452
      __ lookup_interface_method(rax_klass, rdx_intf,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   453
                                 // note: next two args must be the same:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   454
                                 rbx_index, rbx_method,
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   455
                                 rdi_temp,
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   456
                                 no_such_interface);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   457
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   458
      __ verify_oop(rbx_method);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   459
      __ jmp(rbx_method_fie);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   460
      __ hlt();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   461
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   462
      __ bind(no_such_interface);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   463
      // Throw an exception.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   464
      // For historical reasons, it will be IncompatibleClassChangeError.
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   465
      __ pushptr(Address(rdx_intf, java_mirror_offset));  // required interface
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   466
      __ push(rcx_recv);        // bad receiver
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   467
      __ push((int)Bytecodes::_invokeinterface);  // who is complaining?
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   468
      __ jump(ExternalAddress(from_interpreted_entry(_raise_exception)));
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   469
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   470
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   471
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   472
  case _bound_ref_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   473
  case _bound_int_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   474
  case _bound_long_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   475
  case _bound_ref_direct_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   476
  case _bound_int_direct_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   477
  case _bound_long_direct_mh:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   478
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   479
      bool direct_to_method = (ek >= _bound_ref_direct_mh);
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   480
      BasicType arg_type  = T_ILLEGAL;
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   481
      int       arg_mask  = _INSERT_NO_MASK;
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   482
      int       arg_slots = -1;
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   483
      get_ek_bound_mh_info(ek, arg_type, arg_mask, arg_slots);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   484
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   485
      // make room for the new argument:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   486
      __ movl(rax_argslot, rcx_bmh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   487
      __ lea(rax_argslot, __ argument_address(rax_argslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   488
      insert_arg_slots(_masm, arg_slots * stack_move_unit(), arg_mask,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   489
                       rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   490
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   491
      // store bound argument into the new stack slot:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   492
      __ movptr(rbx_temp, rcx_bmh_argument);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   493
      Address prim_value_addr(rbx_temp, java_lang_boxing_object::value_offset_in_bytes(arg_type));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   494
      if (arg_type == T_OBJECT) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   495
        __ movptr(Address(rax_argslot, 0), rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   496
      } else {
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   497
        __ load_sized_value(rdx_temp, prim_value_addr,
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   498
                            type2aelembytes(arg_type), is_signed_subword_type(arg_type));
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   499
        __ movptr(Address(rax_argslot, 0), rdx_temp);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   500
#ifndef _LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   501
        if (arg_slots == 2) {
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   502
          __ movl(rdx_temp, prim_value_addr.plus_disp(wordSize));
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   503
          __ movl(Address(rax_argslot, Interpreter::stackElementSize()), rdx_temp);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   504
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   505
#endif //_LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   506
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   507
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   508
      if (direct_to_method) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   509
        Register rbx_method = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   510
        __ movptr(rbx_method, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   511
        __ verify_oop(rbx_method);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   512
        __ jmp(rbx_method_fie);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   513
      } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   514
        __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   515
        __ verify_oop(rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   516
        __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   517
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   518
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   519
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   520
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   521
  case _adapter_retype_only:
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   522
  case _adapter_retype_raw:
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   523
    // immediately jump to the next MH layer:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   524
    __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   525
    __ verify_oop(rcx_recv);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   526
    __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   527
    // This is OK when all parameter types widen.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   528
    // It is also OK when a return type narrows.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   529
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   530
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   531
  case _adapter_check_cast:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   532
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   533
      // temps:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   534
      Register rbx_klass = rbx_temp; // interesting AMH data
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   535
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   536
      // check a reference argument before jumping to the next layer of MH:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   537
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   538
      vmarg = __ argument_address(rax_argslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   539
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   540
      // What class are we casting to?
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   541
      __ movptr(rbx_klass, rcx_amh_argument); // this is a Class object!
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   542
      __ movptr(rbx_klass, Address(rbx_klass, java_lang_Class::klass_offset_in_bytes()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   543
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   544
      Label done;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   545
      __ movptr(rdx_temp, vmarg);
5028
5a7f933d81c1 6928839: JSR 292 typo in x86 _adapter_check_cast
twisti
parents: 4564
diff changeset
   546
      __ testptr(rdx_temp, rdx_temp);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   547
      __ jccb(Assembler::zero, done);         // no cast if null
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   548
      __ load_klass(rdx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   549
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   550
      // live at this point:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   551
      // - rbx_klass:  klass required by the target method
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   552
      // - rdx_temp:   argument klass to test
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   553
      // - rcx_recv:   adapter method handle
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   554
      __ check_klass_subtype(rdx_temp, rbx_klass, rax_argslot, done);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   555
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   556
      // If we get here, the type check failed!
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   557
      // Call the wrong_method_type stub, passing the failing argument type in rax.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   558
      Register rax_mtype = rax_argslot;
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   559
      __ movl(rax_argslot, rcx_amh_vmargslot);  // reload argslot field
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   560
      __ movptr(rdx_temp, vmarg);
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   561
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   562
      __ pushptr(rcx_amh_argument); // required class
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   563
      __ push(rdx_temp);            // bad object
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   564
      __ push((int)Bytecodes::_checkcast);  // who is complaining?
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   565
      __ jump(ExternalAddress(from_interpreted_entry(_raise_exception)));
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   566
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   567
      __ bind(done);
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   568
      // get the new MH:
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
   569
      __ movptr(rcx_recv, rcx_mh_vmtarget);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   570
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   571
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   572
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   573
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   574
  case _adapter_prim_to_prim:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   575
  case _adapter_ref_to_prim:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   576
    // handled completely by optimized cases
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   577
    __ stop("init_AdapterMethodHandle should not issue this");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   578
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   579
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   580
  case _adapter_opt_i2i:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   581
//case _adapter_opt_f2i:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   582
  case _adapter_opt_l2i:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   583
  case _adapter_opt_unboxi:     // optimized subcase of adapt_ref_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   584
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   585
      // perform an in-place conversion to int or an int subword
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   586
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   587
      vmarg = __ argument_address(rax_argslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   588
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   589
      switch (ek) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   590
      case _adapter_opt_i2i:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   591
        __ movl(rdx_temp, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   592
        break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   593
      case _adapter_opt_l2i:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   594
        {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   595
          // just delete the extra slot; on a little-endian machine we keep the first
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   596
          __ lea(rax_argslot, __ argument_address(rax_argslot, 1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   597
          remove_arg_slots(_masm, -stack_move_unit(),
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   598
                           rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   599
          vmarg = Address(rax_argslot, -Interpreter::stackElementSize());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   600
          __ movl(rdx_temp, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   601
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   602
        break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   603
      case _adapter_opt_unboxi:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   604
        {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   605
          // Load the value up from the heap.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   606
          __ movptr(rdx_temp, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   607
          int value_offset = java_lang_boxing_object::value_offset_in_bytes(T_INT);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   608
#ifdef ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   609
          for (int bt = T_BOOLEAN; bt < T_INT; bt++) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   610
            if (is_subword_type(BasicType(bt)))
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   611
              assert(value_offset == java_lang_boxing_object::value_offset_in_bytes(BasicType(bt)), "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   612
          }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   613
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   614
          __ null_check(rdx_temp, value_offset);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   615
          __ movl(rdx_temp, Address(rdx_temp, value_offset));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   616
          // We load this as a word.  Because we are little-endian,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   617
          // the low bits will be correct, but the high bits may need cleaning.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   618
          // The vminfo will guide us to clean those bits.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   619
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   620
        break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   621
      default:
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   622
        ShouldNotReachHere();
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   623
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   624
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   625
      // Do the requested conversion and store the value.
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   626
      Register rbx_vminfo = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   627
      __ movl(rbx_vminfo, rcx_amh_conversion);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   628
      assert(CONV_VMINFO_SHIFT == 0, "preshifted");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   629
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   630
      // get the new MH:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   631
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   632
      // (now we are done with the old MH)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   633
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   634
      // original 32-bit vmdata word must be of this form:
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   635
      //    | MBZ:6 | signBitCount:8 | srcDstTypes:8 | conversionOp:8 |
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   636
      __ xchgptr(rcx, rbx_vminfo);                // free rcx for shifts
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   637
      __ shll(rdx_temp /*, rcx*/);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   638
      Label zero_extend, done;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   639
      __ testl(rcx, CONV_VMINFO_SIGN_FLAG);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   640
      __ jccb(Assembler::zero, zero_extend);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   641
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   642
      // this path is taken for int->byte, int->short
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   643
      __ sarl(rdx_temp /*, rcx*/);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   644
      __ jmpb(done);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   645
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   646
      __ bind(zero_extend);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   647
      // this is taken for int->char
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   648
      __ shrl(rdx_temp /*, rcx*/);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   649
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   650
      __ bind(done);
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   651
      __ movl(vmarg, rdx_temp);  // Store the value.
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   652
      __ xchgptr(rcx, rbx_vminfo);                // restore rcx_recv
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   653
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   654
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   655
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   656
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   657
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   658
  case _adapter_opt_i2l:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   659
  case _adapter_opt_unboxl:     // optimized subcase of adapt_ref_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   660
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   661
      // perform an in-place int-to-long or ref-to-long conversion
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   662
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   663
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   664
      // on a little-endian machine we keep the first slot and add another after
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   665
      __ lea(rax_argslot, __ argument_address(rax_argslot, 1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   666
      insert_arg_slots(_masm, stack_move_unit(), _INSERT_INT_MASK,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   667
                       rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   668
      Address vmarg1(rax_argslot, -Interpreter::stackElementSize());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   669
      Address vmarg2 = vmarg1.plus_disp(Interpreter::stackElementSize());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   670
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   671
      switch (ek) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   672
      case _adapter_opt_i2l:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   673
        {
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   674
#ifdef _LP64
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   675
          __ movslq(rdx_temp, vmarg1);  // Load sign-extended
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   676
          __ movq(vmarg1, rdx_temp);    // Store into first slot
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   677
#else
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   678
          __ movl(rdx_temp, vmarg1);
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   679
          __ sarl(rdx_temp, BitsPerInt - 1);  // __ extend_sign()
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   680
          __ movl(vmarg2, rdx_temp); // store second word
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   681
#endif
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   682
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   683
        break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   684
      case _adapter_opt_unboxl:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   685
        {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   686
          // Load the value up from the heap.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   687
          __ movptr(rdx_temp, vmarg1);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   688
          int value_offset = java_lang_boxing_object::value_offset_in_bytes(T_LONG);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   689
          assert(value_offset == java_lang_boxing_object::value_offset_in_bytes(T_DOUBLE), "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   690
          __ null_check(rdx_temp, value_offset);
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   691
#ifdef _LP64
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   692
          __ movq(rbx_temp, Address(rdx_temp, value_offset));
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   693
          __ movq(vmarg1, rbx_temp);
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   694
#else
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   695
          __ movl(rbx_temp, Address(rdx_temp, value_offset + 0*BytesPerInt));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   696
          __ movl(rdx_temp, Address(rdx_temp, value_offset + 1*BytesPerInt));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   697
          __ movl(vmarg1, rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   698
          __ movl(vmarg2, rdx_temp);
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   699
#endif
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   700
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   701
        break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   702
      default:
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   703
        ShouldNotReachHere();
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   704
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   705
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   706
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   707
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   708
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   709
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   710
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   711
  case _adapter_opt_f2d:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   712
  case _adapter_opt_d2f:        // optimized subcase of adapt_prim_to_prim
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   713
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   714
      // perform an in-place floating primitive conversion
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   715
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   716
      __ lea(rax_argslot, __ argument_address(rax_argslot, 1));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   717
      if (ek == _adapter_opt_f2d) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   718
        insert_arg_slots(_masm, stack_move_unit(), _INSERT_INT_MASK,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   719
                         rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   720
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   721
      Address vmarg(rax_argslot, -Interpreter::stackElementSize());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   722
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   723
#ifdef _LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   724
      if (ek == _adapter_opt_f2d) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   725
        __ movflt(xmm0, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   726
        __ cvtss2sd(xmm0, xmm0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   727
        __ movdbl(vmarg, xmm0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   728
      } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   729
        __ movdbl(xmm0, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   730
        __ cvtsd2ss(xmm0, xmm0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   731
        __ movflt(vmarg, xmm0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   732
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   733
#else //_LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   734
      if (ek == _adapter_opt_f2d) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   735
        __ fld_s(vmarg);        // load float to ST0
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   736
        __ fstp_s(vmarg);       // store single
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   737
      } else {
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   738
        __ fld_d(vmarg);        // load double to ST0
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   739
        __ fstp_s(vmarg);       // store single
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   740
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   741
#endif //_LP64
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   742
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   743
      if (ek == _adapter_opt_d2f) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   744
        remove_arg_slots(_masm, -stack_move_unit(),
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   745
                         rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   746
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   747
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   748
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   749
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   750
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   751
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   752
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   753
  case _adapter_prim_to_ref:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   754
    __ unimplemented(entry_name(ek)); // %%% FIXME: NYI
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   755
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   756
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   757
  case _adapter_swap_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   758
  case _adapter_rot_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   759
    // handled completely by optimized cases
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   760
    __ stop("init_AdapterMethodHandle should not issue this");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   761
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   762
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   763
  case _adapter_opt_swap_1:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   764
  case _adapter_opt_swap_2:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   765
  case _adapter_opt_rot_1_up:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   766
  case _adapter_opt_rot_1_down:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   767
  case _adapter_opt_rot_2_up:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   768
  case _adapter_opt_rot_2_down:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   769
    {
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   770
      int swap_bytes = 0, rotate = 0;
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   771
      get_ek_adapter_opt_swap_rot_info(ek, swap_bytes, rotate);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   772
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   773
      // 'argslot' is the position of the first argument to swap
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   774
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   775
      __ lea(rax_argslot, __ argument_address(rax_argslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   776
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   777
      // 'vminfo' is the second
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   778
      Register rbx_destslot = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   779
      __ movl(rbx_destslot, rcx_amh_conversion);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   780
      assert(CONV_VMINFO_SHIFT == 0, "preshifted");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   781
      __ andl(rbx_destslot, CONV_VMINFO_MASK);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   782
      __ lea(rbx_destslot, __ argument_address(rbx_destslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   783
      DEBUG_ONLY(verify_argslot(_masm, rbx_destslot, "swap point must fall within current frame"));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   784
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   785
      if (!rotate) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   786
        for (int i = 0; i < swap_bytes; i += wordSize) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   787
          __ movptr(rdx_temp, Address(rax_argslot , i));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   788
          __ push(rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   789
          __ movptr(rdx_temp, Address(rbx_destslot, i));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   790
          __ movptr(Address(rax_argslot, i), rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   791
          __ pop(rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   792
          __ movptr(Address(rbx_destslot, i), rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   793
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   794
      } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   795
        // push the first chunk, which is going to get overwritten
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   796
        for (int i = swap_bytes; (i -= wordSize) >= 0; ) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   797
          __ movptr(rdx_temp, Address(rax_argslot, i));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   798
          __ push(rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   799
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   800
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   801
        if (rotate > 0) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   802
          // rotate upward
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   803
          __ subptr(rax_argslot, swap_bytes);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   804
#ifdef ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   805
          {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   806
            // Verify that argslot > destslot, by at least swap_bytes.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   807
            Label L_ok;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   808
            __ cmpptr(rax_argslot, rbx_destslot);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   809
            __ jccb(Assembler::aboveEqual, L_ok);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   810
            __ stop("source must be above destination (upward rotation)");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   811
            __ bind(L_ok);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   812
          }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   813
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   814
          // work argslot down to destslot, copying contiguous data upwards
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   815
          // pseudo-code:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   816
          //   rax = src_addr - swap_bytes
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   817
          //   rbx = dest_addr
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   818
          //   while (rax >= rbx) *(rax + swap_bytes) = *(rax + 0), rax--;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   819
          Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   820
          __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   821
          __ movptr(rdx_temp, Address(rax_argslot, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   822
          __ movptr(Address(rax_argslot, swap_bytes), rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   823
          __ addptr(rax_argslot, -wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   824
          __ cmpptr(rax_argslot, rbx_destslot);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   825
          __ jccb(Assembler::aboveEqual, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   826
        } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   827
          __ addptr(rax_argslot, swap_bytes);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   828
#ifdef ASSERT
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   829
          {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   830
            // Verify that argslot < destslot, by at least swap_bytes.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   831
            Label L_ok;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   832
            __ cmpptr(rax_argslot, rbx_destslot);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   833
            __ jccb(Assembler::belowEqual, L_ok);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   834
            __ stop("source must be below destination (downward rotation)");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   835
            __ bind(L_ok);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   836
          }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   837
#endif
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   838
          // work argslot up to destslot, copying contiguous data downwards
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   839
          // pseudo-code:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   840
          //   rax = src_addr + swap_bytes
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   841
          //   rbx = dest_addr
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   842
          //   while (rax <= rbx) *(rax - swap_bytes) = *(rax + 0), rax++;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   843
          Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   844
          __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   845
          __ movptr(rdx_temp, Address(rax_argslot, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   846
          __ movptr(Address(rax_argslot, -swap_bytes), rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   847
          __ addptr(rax_argslot, wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   848
          __ cmpptr(rax_argslot, rbx_destslot);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   849
          __ jccb(Assembler::belowEqual, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   850
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   851
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   852
        // pop the original first chunk into the destination slot, now free
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   853
        for (int i = 0; i < swap_bytes; i += wordSize) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   854
          __ pop(rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   855
          __ movptr(Address(rbx_destslot, i), rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   856
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   857
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   858
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   859
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   860
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   861
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   862
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   863
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   864
  case _adapter_dup_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   865
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   866
      // 'argslot' is the position of the first argument to duplicate
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   867
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   868
      __ lea(rax_argslot, __ argument_address(rax_argslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   869
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   870
      // 'stack_move' is negative number of words to duplicate
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   871
      Register rdx_stack_move = rdx_temp;
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   872
      __ movl2ptr(rdx_stack_move, rcx_amh_conversion);
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   873
      __ sarptr(rdx_stack_move, CONV_STACK_MOVE_SHIFT);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   874
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   875
      int argslot0_num = 0;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   876
      Address argslot0 = __ argument_address(RegisterOrConstant(argslot0_num));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   877
      assert(argslot0.base() == rsp, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   878
      int pre_arg_size = argslot0.disp();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   879
      assert(pre_arg_size % wordSize == 0, "");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   880
      assert(pre_arg_size > 0, "must include PC");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   881
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   882
      // remember the old rsp+1 (argslot[0])
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   883
      Register rbx_oldarg = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   884
      __ lea(rbx_oldarg, argslot0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   885
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   886
      // move rsp down to make room for dups
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   887
      __ lea(rsp, Address(rsp, rdx_stack_move, Address::times_ptr));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   888
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   889
      // compute the new rsp+1 (argslot[0])
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   890
      Register rdx_newarg = rdx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   891
      __ lea(rdx_newarg, argslot0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   892
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   893
      __ push(rdi);             // need a temp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   894
      // (preceding push must be done after arg addresses are taken!)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   895
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   896
      // pull down the pre_arg_size data (PC)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   897
      for (int i = -pre_arg_size; i < 0; i += wordSize) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   898
        __ movptr(rdi, Address(rbx_oldarg, i));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   899
        __ movptr(Address(rdx_newarg, i), rdi);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   900
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   901
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   902
      // copy from rax_argslot[0...] down to new_rsp[1...]
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   903
      // pseudo-code:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   904
      //   rbx = old_rsp+1
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   905
      //   rdx = new_rsp+1
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   906
      //   rax = argslot
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   907
      //   while (rdx < rbx) *rdx++ = *rax++
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   908
      Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   909
      __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   910
      __ movptr(rdi, Address(rax_argslot, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   911
      __ movptr(Address(rdx_newarg, 0), rdi);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   912
      __ addptr(rax_argslot, wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   913
      __ addptr(rdx_newarg, wordSize);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   914
      __ cmpptr(rdx_newarg, rbx_oldarg);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
   915
      __ jccb(Assembler::less, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   916
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   917
      __ pop(rdi);              // restore temp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   918
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   919
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   920
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   921
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   922
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   923
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   924
  case _adapter_drop_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   925
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   926
      // 'argslot' is the position of the first argument to nuke
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   927
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   928
      __ lea(rax_argslot, __ argument_address(rax_argslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   929
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   930
      __ push(rdi);             // need a temp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   931
      // (must do previous push after argslot address is taken)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   932
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   933
      // 'stack_move' is number of words to drop
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   934
      Register rdi_stack_move = rdi;
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   935
      __ movl2ptr(rdi_stack_move, rcx_amh_conversion);
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
   936
      __ sarptr(rdi_stack_move, CONV_STACK_MOVE_SHIFT);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   937
      remove_arg_slots(_masm, rdi_stack_move,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   938
                       rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   939
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   940
      __ pop(rdi);              // restore temp
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   941
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   942
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   943
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   944
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   945
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   946
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   947
  case _adapter_collect_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   948
    __ unimplemented(entry_name(ek)); // %%% FIXME: NYI
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   949
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   950
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   951
  case _adapter_spread_args:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   952
    // handled completely by optimized cases
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   953
    __ stop("init_AdapterMethodHandle should not issue this");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   954
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   955
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   956
  case _adapter_opt_spread_0:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   957
  case _adapter_opt_spread_1:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   958
  case _adapter_opt_spread_more:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   959
    {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   960
      // spread an array out into a group of arguments
5055
743f38c6e179 6932091: JSR 292 x86 code cleanup
twisti
parents: 5044
diff changeset
   961
      int length_constant = get_ek_adapter_opt_spread_info(ek);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   962
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   963
      // find the address of the array argument
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   964
      __ movl(rax_argslot, rcx_amh_vmargslot);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   965
      __ lea(rax_argslot, __ argument_address(rax_argslot));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   966
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   967
      // grab some temps
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   968
      { __ push(rsi); __ push(rdi); }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   969
      // (preceding pushes must be done after argslot address is taken!)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   970
#define UNPUSH_RSI_RDI \
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   971
      { __ pop(rdi); __ pop(rsi); }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   972
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   973
      // arx_argslot points both to the array and to the first output arg
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   974
      vmarg = Address(rax_argslot, 0);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   975
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   976
      // Get the array value.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   977
      Register  rsi_array       = rsi;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   978
      Register  rdx_array_klass = rdx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   979
      BasicType elem_type       = T_OBJECT;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   980
      int       length_offset   = arrayOopDesc::length_offset_in_bytes();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   981
      int       elem0_offset    = arrayOopDesc::base_offset_in_bytes(elem_type);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   982
      __ movptr(rsi_array, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   983
      Label skip_array_check;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   984
      if (length_constant == 0) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   985
        __ testptr(rsi_array, rsi_array);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   986
        __ jcc(Assembler::zero, skip_array_check);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   987
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   988
      __ null_check(rsi_array, oopDesc::klass_offset_in_bytes());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   989
      __ load_klass(rdx_array_klass, rsi_array);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   990
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   991
      // Check the array type.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   992
      Register rbx_klass = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   993
      __ movptr(rbx_klass, rcx_amh_argument); // this is a Class object!
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   994
      __ movptr(rbx_klass, Address(rbx_klass, java_lang_Class::klass_offset_in_bytes()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   995
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   996
      Label ok_array_klass, bad_array_klass, bad_array_length;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   997
      __ check_klass_subtype(rdx_array_klass, rbx_klass, rdi, ok_array_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   998
      // If we get here, the type check failed!
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
   999
      __ jmp(bad_array_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1000
      __ bind(ok_array_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1001
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1002
      // Check length.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1003
      if (length_constant >= 0) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1004
        __ cmpl(Address(rsi_array, length_offset), length_constant);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1005
      } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1006
        Register rbx_vminfo = rbx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1007
        __ movl(rbx_vminfo, rcx_amh_conversion);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1008
        assert(CONV_VMINFO_SHIFT == 0, "preshifted");
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1009
        __ andl(rbx_vminfo, CONV_VMINFO_MASK);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1010
        __ cmpl(rbx_vminfo, Address(rsi_array, length_offset));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1011
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1012
      __ jcc(Assembler::notEqual, bad_array_length);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1013
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1014
      Register rdx_argslot_limit = rdx_temp;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1015
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1016
      // Array length checks out.  Now insert any required stack slots.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1017
      if (length_constant == -1) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1018
        // Form a pointer to the end of the affected region.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1019
        __ lea(rdx_argslot_limit, Address(rax_argslot, Interpreter::stackElementSize()));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1020
        // 'stack_move' is negative number of words to insert
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1021
        Register rdi_stack_move = rdi;
5044
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
  1022
        __ movl2ptr(rdi_stack_move, rcx_amh_conversion);
7e40acdf2163 6932536: JSR 292 modified JDK MethodHandlesTest fails on x86_64
twisti
parents: 5028
diff changeset
  1023
        __ sarptr(rdi_stack_move, CONV_STACK_MOVE_SHIFT);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1024
        Register rsi_temp = rsi_array;  // spill this
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1025
        insert_arg_slots(_masm, rdi_stack_move, -1,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1026
                         rax_argslot, rbx_temp, rsi_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1027
        // reload the array (since rsi was killed)
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1028
        __ movptr(rsi_array, vmarg);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1029
      } else if (length_constant > 1) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1030
        int arg_mask = 0;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1031
        int new_slots = (length_constant - 1);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1032
        for (int i = 0; i < new_slots; i++) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1033
          arg_mask <<= 1;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1034
          arg_mask |= _INSERT_REF_MASK;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1035
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1036
        insert_arg_slots(_masm, new_slots * stack_move_unit(), arg_mask,
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1037
                         rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1038
      } else if (length_constant == 1) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1039
        // no stack resizing required
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1040
      } else if (length_constant == 0) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1041
        remove_arg_slots(_masm, -stack_move_unit(),
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1042
                         rax_argslot, rbx_temp, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1043
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1044
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1045
      // Copy from the array to the new slots.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1046
      // Note: Stack change code preserves integrity of rax_argslot pointer.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1047
      // So even after slot insertions, rax_argslot still points to first argument.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1048
      if (length_constant == -1) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1049
        // [rax_argslot, rdx_argslot_limit) is the area we are inserting into.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1050
        Register rsi_source = rsi_array;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1051
        __ lea(rsi_source, Address(rsi_array, elem0_offset));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1052
        Label loop;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1053
        __ bind(loop);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1054
        __ movptr(rbx_temp, Address(rsi_source, 0));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1055
        __ movptr(Address(rax_argslot, 0), rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1056
        __ addptr(rsi_source, type2aelembytes(elem_type));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1057
        __ addptr(rax_argslot, Interpreter::stackElementSize());
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1058
        __ cmpptr(rax_argslot, rdx_argslot_limit);
4564
55dfb20908d0 6893081: method handle & invokedynamic code needs additional cleanup (post 6815692, 6858164)
twisti
parents: 4562
diff changeset
  1059
        __ jccb(Assembler::less, loop);
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1060
      } else if (length_constant == 0) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1061
        __ bind(skip_array_check);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1062
        // nothing to copy
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1063
      } else {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1064
        int elem_offset = elem0_offset;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1065
        int slot_offset = 0;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1066
        for (int index = 0; index < length_constant; index++) {
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1067
          __ movptr(rbx_temp, Address(rsi_array, elem_offset));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1068
          __ movptr(Address(rax_argslot, slot_offset), rbx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1069
          elem_offset += type2aelembytes(elem_type);
5095
acorn
parents: 5055
diff changeset
  1070
           slot_offset += Interpreter::stackElementSize();
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1071
        }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1072
      }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1073
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1074
      // Arguments are spread.  Move to next method handle.
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1075
      UNPUSH_RSI_RDI;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1076
      __ movptr(rcx_recv, rcx_mh_vmtarget);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1077
      __ jump_to_method_handle_entry(rcx_recv, rdx_temp);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1078
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1079
      __ bind(bad_array_klass);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1080
      UNPUSH_RSI_RDI;
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1081
      __ pushptr(Address(rdx_array_klass, java_mirror_offset)); // required type
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1082
      __ pushptr(vmarg);                // bad array
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1083
      __ push((int)Bytecodes::_aaload); // who is complaining?
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1084
      __ jump(ExternalAddress(from_interpreted_entry(_raise_exception)));
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1085
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1086
      __ bind(bad_array_length);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1087
      UNPUSH_RSI_RDI;
4094
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1088
      __ push(rcx_recv);        // AMH requiring a certain length
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1089
      __ pushptr(vmarg);        // bad array
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1090
      __ push((int)Bytecodes::_arraylength); // who is complaining?
1f424b2b2171 6815692: method handle code needs some cleanup (post-6655638)
jrose
parents: 3262
diff changeset
  1091
      __ jump(ExternalAddress(from_interpreted_entry(_raise_exception)));
2534
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1092
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1093
#undef UNPUSH_RSI_RDI
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1094
    }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1095
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1096
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1097
  case _adapter_flyby:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1098
  case _adapter_ricochet:
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1099
    __ unimplemented(entry_name(ek)); // %%% FIXME: NYI
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1100
    break;
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1101
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1102
  default:  ShouldNotReachHere();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1103
  }
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1104
  __ hlt();
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1105
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1106
  address me_cookie = MethodHandleEntry::start_compiled_entry(_masm, interp_entry);
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1107
  __ unimplemented(entry_name(ek)); // %%% FIXME: NYI
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1108
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1109
  init_entry(ek, MethodHandleEntry::finish_compiled_entry(_masm, me_cookie));
08dac9ce0cd7 6655638: dynamic languages need method handles
jrose
parents:
diff changeset
  1110
}