Wed, 09 Jun 2010 18:50:45 -0700
6939203: JSR 292 needs method handle constants
Summary: Add new CP types CONSTANT_MethodHandle, CONSTANT_MethodType; extend 'ldc' bytecode.
Reviewed-by: twisti, never
1 /*
2 * Copyright (c) 1998, 2010, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
25 #include "incls/_precompiled.incl"
26 #include "incls/_interpreterRT_sparc.cpp.incl"
29 #define __ _masm->
32 // Implementation of SignatureHandlerGenerator
34 void InterpreterRuntime::SignatureHandlerGenerator::pass_word(int size_of_arg, int offset_in_arg) {
35 Argument jni_arg(jni_offset() + offset_in_arg, false);
36 Register Rtmp = O0;
37 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
39 __ store_argument(Rtmp, jni_arg);
40 }
42 void InterpreterRuntime::SignatureHandlerGenerator::pass_long() {
43 Argument jni_arg(jni_offset(), false);
44 Register Rtmp = O0;
46 #ifdef _LP64
47 __ ldx(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
48 __ store_long_argument(Rtmp, jni_arg);
49 #else
50 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
51 __ store_argument(Rtmp, jni_arg);
52 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 0), Rtmp);
53 Argument successor(jni_arg.successor());
54 __ store_argument(Rtmp, successor);
55 #endif
56 }
59 #ifdef _LP64
60 void InterpreterRuntime::SignatureHandlerGenerator::pass_float() {
61 Argument jni_arg(jni_offset(), false);
62 FloatRegister Rtmp = F0;
63 __ ldf(FloatRegisterImpl::S, Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
64 __ store_float_argument(Rtmp, jni_arg);
65 }
66 #endif
69 void InterpreterRuntime::SignatureHandlerGenerator::pass_double() {
70 Argument jni_arg(jni_offset(), false);
71 #ifdef _LP64
72 FloatRegister Rtmp = F0;
73 __ ldf(FloatRegisterImpl::D, Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
74 __ store_double_argument(Rtmp, jni_arg);
75 #else
76 Register Rtmp = O0;
77 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
78 __ store_argument(Rtmp, jni_arg);
79 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
80 Argument successor(jni_arg.successor());
81 __ store_argument(Rtmp, successor);
82 #endif
83 }
85 void InterpreterRuntime::SignatureHandlerGenerator::pass_object() {
86 Argument jni_arg(jni_offset(), false);
87 Argument java_arg( offset(), true);
88 Register Rtmp1 = O0;
89 Register Rtmp2 = jni_arg.is_register() ? jni_arg.as_register() : O0;
90 Register Rtmp3 = G3_scratch;
92 // the handle for a receiver will never be null
93 bool do_NULL_check = offset() != 0 || is_static();
95 Address h_arg = Address(Llocals, Interpreter::local_offset_in_bytes(offset()));
96 __ ld_ptr(h_arg, Rtmp1);
97 if (!do_NULL_check) {
98 __ add(h_arg.base(), h_arg.disp(), Rtmp2);
99 } else {
100 if (Rtmp1 == Rtmp2)
101 __ tst(Rtmp1);
102 else __ addcc(G0, Rtmp1, Rtmp2); // optimize mov/test pair
103 Label L;
104 __ brx(Assembler::notZero, true, Assembler::pt, L);
105 __ delayed()->add(h_arg.base(), h_arg.disp(), Rtmp2);
106 __ bind(L);
107 }
108 __ store_ptr_argument(Rtmp2, jni_arg); // this is often a no-op
109 }
112 void InterpreterRuntime::SignatureHandlerGenerator::generate(uint64_t fingerprint) {
114 // generate code to handle arguments
115 iterate(fingerprint);
117 // return result handler
118 AddressLiteral result_handler(Interpreter::result_handler(method()->result_type()));
119 __ sethi(result_handler, Lscratch);
120 __ retl();
121 __ delayed()->add(Lscratch, result_handler.low10(), Lscratch);
123 __ flush();
124 }
127 // Implementation of SignatureHandlerLibrary
129 void SignatureHandlerLibrary::pd_set_handler(address handler) {}
132 class SlowSignatureHandler: public NativeSignatureIterator {
133 private:
134 address _from;
135 intptr_t* _to;
136 intptr_t* _RegArgSignature; // Signature of first Arguments to be passed in Registers
137 uint _argcount;
139 enum { // We need to differenciate float from non floats in reg args
140 non_float = 0,
141 float_sig = 1,
142 double_sig = 2,
143 long_sig = 3
144 };
146 virtual void pass_int() {
147 *_to++ = *(jint *)(_from+Interpreter::local_offset_in_bytes(0));
148 _from -= Interpreter::stackElementSize;
149 add_signature( non_float );
150 }
152 virtual void pass_object() {
153 // pass address of from
154 intptr_t *from_addr = (intptr_t*)(_from + Interpreter::local_offset_in_bytes(0));
155 *_to++ = (*from_addr == 0) ? NULL : (intptr_t) from_addr;
156 _from -= Interpreter::stackElementSize;
157 add_signature( non_float );
158 }
160 #ifdef _LP64
161 virtual void pass_float() {
162 *_to++ = *(jint *)(_from+Interpreter::local_offset_in_bytes(0));
163 _from -= Interpreter::stackElementSize;
164 add_signature( float_sig );
165 }
167 virtual void pass_double() {
168 *_to++ = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
169 _from -= 2*Interpreter::stackElementSize;
170 add_signature( double_sig );
171 }
173 virtual void pass_long() {
174 _to[0] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
175 _to += 1;
176 _from -= 2*Interpreter::stackElementSize;
177 add_signature( long_sig );
178 }
179 #else
180 // pass_double() is pass_long() and pass_float() only _LP64
181 virtual void pass_long() {
182 _to[0] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
183 _to[1] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(0));
184 _to += 2;
185 _from -= 2*Interpreter::stackElementSize;
186 add_signature( non_float );
187 }
188 #endif // _LP64
190 virtual void add_signature( intptr_t sig_type ) {
191 if ( _argcount < (sizeof (intptr_t))*4 ) {
192 *_RegArgSignature |= (sig_type << (_argcount*2) );
193 _argcount++;
194 }
195 }
198 public:
199 SlowSignatureHandler(methodHandle method, address from, intptr_t* to, intptr_t *RegArgSig) : NativeSignatureIterator(method) {
200 _from = from;
201 _to = to;
202 _RegArgSignature = RegArgSig;
203 *_RegArgSignature = 0;
204 _argcount = method->is_static() ? 2 : 1;
205 }
206 };
209 IRT_ENTRY(address, InterpreterRuntime::slow_signature_handler(
210 JavaThread* thread,
211 methodOopDesc* method,
212 intptr_t* from,
213 intptr_t* to ))
214 methodHandle m(thread, method);
215 assert(m->is_native(), "sanity check");
216 // handle arguments
217 // Warning: We use reg arg slot 00 temporarily to return the RegArgSignature
218 // back to the code that pops the arguments into the CPU registers
219 SlowSignatureHandler(m, (address)from, m->is_static() ? to+2 : to+1, to).iterate(UCONST64(-1));
220 // return result handler
221 return Interpreter::result_handler(m->result_type());
222 IRT_END