src/cpu/sparc/vm/interpreterRT_sparc.cpp

Wed, 07 Jan 2009 11:23:28 -0800

author
kvn
date
Wed, 07 Jan 2009 11:23:28 -0800
changeset 986
6c4cda924d2e
parent 435
a61af66fc99e
child 1162
6b2273dd6fa9
permissions
-rw-r--r--

6790182: matcher.cpp:1375: assert(false,"bad AD file")
Summary: Add a match rule for regD_low in regD definition.
Reviewed-by: never

duke@435 1 /*
duke@435 2 * Copyright 1998-2006 Sun Microsystems, Inc. All Rights Reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
duke@435 19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@435 20 * CA 95054 USA or visit www.sun.com if you need additional information or
duke@435 21 * have any questions.
duke@435 22 *
duke@435 23 */
duke@435 24
duke@435 25 #include "incls/_precompiled.incl"
duke@435 26 #include "incls/_interpreterRT_sparc.cpp.incl"
duke@435 27
duke@435 28
duke@435 29 #define __ _masm->
duke@435 30
duke@435 31
duke@435 32 // Implementation of SignatureHandlerGenerator
duke@435 33
duke@435 34 void InterpreterRuntime::SignatureHandlerGenerator::pass_word(int size_of_arg, int offset_in_arg) {
duke@435 35 Argument jni_arg(jni_offset() + offset_in_arg, false);
duke@435 36 Register Rtmp = O0;
duke@435 37 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
duke@435 38
duke@435 39 __ store_argument(Rtmp, jni_arg);
duke@435 40 }
duke@435 41
duke@435 42 void InterpreterRuntime::SignatureHandlerGenerator::pass_long() {
duke@435 43 Argument jni_arg(jni_offset(), false);
duke@435 44 Register Rtmp = O0;
duke@435 45
duke@435 46 #ifdef ASSERT
duke@435 47 if (TaggedStackInterpreter) {
duke@435 48 // check at least one tag is okay
duke@435 49 Label ok;
duke@435 50 __ ld_ptr(Llocals, Interpreter::local_tag_offset_in_bytes(offset() + 1), Rtmp);
duke@435 51 __ cmp(Rtmp, G0);
duke@435 52 __ brx(Assembler::equal, false, Assembler::pt, ok);
duke@435 53 __ delayed()->nop();
duke@435 54 __ stop("Native object has bad tag value");
duke@435 55 __ bind(ok);
duke@435 56 }
duke@435 57 #endif // ASSERT
duke@435 58
duke@435 59 #ifdef _LP64
duke@435 60 __ ldx(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
duke@435 61 __ store_long_argument(Rtmp, jni_arg);
duke@435 62 #else
duke@435 63 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
duke@435 64 __ store_argument(Rtmp, jni_arg);
duke@435 65 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 0), Rtmp);
duke@435 66 Argument successor(jni_arg.successor());
duke@435 67 __ store_argument(Rtmp, successor);
duke@435 68 #endif
duke@435 69 }
duke@435 70
duke@435 71
duke@435 72 #ifdef _LP64
duke@435 73 void InterpreterRuntime::SignatureHandlerGenerator::pass_float() {
duke@435 74 Argument jni_arg(jni_offset(), false);
duke@435 75 FloatRegister Rtmp = F0;
duke@435 76 __ ldf(FloatRegisterImpl::S, Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
duke@435 77 __ store_float_argument(Rtmp, jni_arg);
duke@435 78 }
duke@435 79 #endif
duke@435 80
duke@435 81
duke@435 82 void InterpreterRuntime::SignatureHandlerGenerator::pass_double() {
duke@435 83 Argument jni_arg(jni_offset(), false);
duke@435 84 #ifdef _LP64
duke@435 85 FloatRegister Rtmp = F0;
duke@435 86 __ ldf(FloatRegisterImpl::D, Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
duke@435 87 __ store_double_argument(Rtmp, jni_arg);
duke@435 88 #else
duke@435 89 Register Rtmp = O0;
duke@435 90 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset() + 1), Rtmp);
duke@435 91 __ store_argument(Rtmp, jni_arg);
duke@435 92 __ ld(Llocals, Interpreter::local_offset_in_bytes(offset()), Rtmp);
duke@435 93 Argument successor(jni_arg.successor());
duke@435 94 __ store_argument(Rtmp, successor);
duke@435 95 #endif
duke@435 96 }
duke@435 97
duke@435 98 void InterpreterRuntime::SignatureHandlerGenerator::pass_object() {
duke@435 99 Argument jni_arg(jni_offset(), false);
duke@435 100 Argument java_arg( offset(), true);
duke@435 101 Register Rtmp1 = O0;
duke@435 102 Register Rtmp2 = jni_arg.is_register() ? jni_arg.as_register() : O0;
duke@435 103 Register Rtmp3 = G3_scratch;
duke@435 104
duke@435 105 // the handle for a receiver will never be null
duke@435 106 bool do_NULL_check = offset() != 0 || is_static();
duke@435 107
duke@435 108 Address h_arg = Address(Llocals, 0, Interpreter::local_offset_in_bytes(offset()));
duke@435 109 __ ld_ptr(h_arg, Rtmp1);
duke@435 110 #ifdef ASSERT
duke@435 111 if (TaggedStackInterpreter) {
duke@435 112 // check we have the obj and not the tag
duke@435 113 Label ok;
duke@435 114 __ mov(frame::TagReference, Rtmp3);
duke@435 115 __ cmp(Rtmp1, Rtmp3);
duke@435 116 __ brx(Assembler::notEqual, true, Assembler::pt, ok);
duke@435 117 __ delayed()->nop();
duke@435 118 __ stop("Native object passed tag by mistake");
duke@435 119 __ bind(ok);
duke@435 120 }
duke@435 121 #endif // ASSERT
duke@435 122 if (!do_NULL_check) {
duke@435 123 __ add(h_arg, Rtmp2);
duke@435 124 } else {
duke@435 125 if (Rtmp1 == Rtmp2)
duke@435 126 __ tst(Rtmp1);
duke@435 127 else __ addcc(G0, Rtmp1, Rtmp2); // optimize mov/test pair
duke@435 128 Label L;
duke@435 129 __ brx(Assembler::notZero, true, Assembler::pt, L);
duke@435 130 __ delayed()->add(h_arg, Rtmp2);
duke@435 131 __ bind(L);
duke@435 132 }
duke@435 133 __ store_ptr_argument(Rtmp2, jni_arg); // this is often a no-op
duke@435 134 }
duke@435 135
duke@435 136
duke@435 137 void InterpreterRuntime::SignatureHandlerGenerator::generate(uint64_t fingerprint) {
duke@435 138
duke@435 139 // generate code to handle arguments
duke@435 140 iterate(fingerprint);
duke@435 141
duke@435 142 // return result handler
duke@435 143 Address result_handler(Lscratch, Interpreter::result_handler(method()->result_type()));
duke@435 144 __ sethi(result_handler);
duke@435 145 __ retl();
duke@435 146 __ delayed()->add(result_handler, result_handler.base());
duke@435 147
duke@435 148 __ flush();
duke@435 149 }
duke@435 150
duke@435 151
duke@435 152 // Implementation of SignatureHandlerLibrary
duke@435 153
duke@435 154 void SignatureHandlerLibrary::pd_set_handler(address handler) {}
duke@435 155
duke@435 156
duke@435 157 class SlowSignatureHandler: public NativeSignatureIterator {
duke@435 158 private:
duke@435 159 address _from;
duke@435 160 intptr_t* _to;
duke@435 161 intptr_t* _RegArgSignature; // Signature of first Arguments to be passed in Registers
duke@435 162 uint _argcount;
duke@435 163
duke@435 164 enum { // We need to differenciate float from non floats in reg args
duke@435 165 non_float = 0,
duke@435 166 float_sig = 1,
duke@435 167 double_sig = 2,
duke@435 168 long_sig = 3
duke@435 169 };
duke@435 170
duke@435 171 #ifdef ASSERT
duke@435 172 void verify_tag(frame::Tag t) {
duke@435 173 assert(!TaggedStackInterpreter ||
duke@435 174 *(intptr_t*)(_from+Interpreter::local_tag_offset_in_bytes(0)) == t, "wrong tag");
duke@435 175 }
duke@435 176 #endif // ASSERT
duke@435 177
duke@435 178 virtual void pass_int() {
duke@435 179 *_to++ = *(jint *)(_from+Interpreter::local_offset_in_bytes(0));
duke@435 180 debug_only(verify_tag(frame::TagValue));
duke@435 181 _from -= Interpreter::stackElementSize();
duke@435 182 add_signature( non_float );
duke@435 183 }
duke@435 184
duke@435 185 virtual void pass_object() {
duke@435 186 // pass address of from
duke@435 187 intptr_t *from_addr = (intptr_t*)(_from + Interpreter::local_offset_in_bytes(0));
duke@435 188 *_to++ = (*from_addr == 0) ? NULL : (intptr_t) from_addr;
duke@435 189 debug_only(verify_tag(frame::TagReference));
duke@435 190 _from -= Interpreter::stackElementSize();
duke@435 191 add_signature( non_float );
duke@435 192 }
duke@435 193
duke@435 194 #ifdef _LP64
duke@435 195 virtual void pass_float() {
duke@435 196 *_to++ = *(jint *)(_from+Interpreter::local_offset_in_bytes(0));
duke@435 197 debug_only(verify_tag(frame::TagValue));
duke@435 198 _from -= Interpreter::stackElementSize();
duke@435 199 add_signature( float_sig );
duke@435 200 }
duke@435 201
duke@435 202 virtual void pass_double() {
duke@435 203 *_to++ = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
duke@435 204 debug_only(verify_tag(frame::TagValue));
duke@435 205 _from -= 2*Interpreter::stackElementSize();
duke@435 206 add_signature( double_sig );
duke@435 207 }
duke@435 208
duke@435 209 virtual void pass_long() {
duke@435 210 _to[0] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
duke@435 211 debug_only(verify_tag(frame::TagValue));
duke@435 212 _to += 1;
duke@435 213 _from -= 2*Interpreter::stackElementSize();
duke@435 214 add_signature( long_sig );
duke@435 215 }
duke@435 216 #else
duke@435 217 // pass_double() is pass_long() and pass_float() only _LP64
duke@435 218 virtual void pass_long() {
duke@435 219 _to[0] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(1));
duke@435 220 _to[1] = *(intptr_t*)(_from+Interpreter::local_offset_in_bytes(0));
duke@435 221 debug_only(verify_tag(frame::TagValue));
duke@435 222 _to += 2;
duke@435 223 _from -= 2*Interpreter::stackElementSize();
duke@435 224 add_signature( non_float );
duke@435 225 }
duke@435 226 #endif // _LP64
duke@435 227
duke@435 228 virtual void add_signature( intptr_t sig_type ) {
duke@435 229 if ( _argcount < (sizeof (intptr_t))*4 ) {
duke@435 230 *_RegArgSignature |= (sig_type << (_argcount*2) );
duke@435 231 _argcount++;
duke@435 232 }
duke@435 233 }
duke@435 234
duke@435 235
duke@435 236 public:
duke@435 237 SlowSignatureHandler(methodHandle method, address from, intptr_t* to, intptr_t *RegArgSig) : NativeSignatureIterator(method) {
duke@435 238 _from = from;
duke@435 239 _to = to;
duke@435 240 _RegArgSignature = RegArgSig;
duke@435 241 *_RegArgSignature = 0;
duke@435 242 _argcount = method->is_static() ? 2 : 1;
duke@435 243 }
duke@435 244 };
duke@435 245
duke@435 246
duke@435 247 IRT_ENTRY(address, InterpreterRuntime::slow_signature_handler(
duke@435 248 JavaThread* thread,
duke@435 249 methodOopDesc* method,
duke@435 250 intptr_t* from,
duke@435 251 intptr_t* to ))
duke@435 252 methodHandle m(thread, method);
duke@435 253 assert(m->is_native(), "sanity check");
duke@435 254 // handle arguments
duke@435 255 // Warning: We use reg arg slot 00 temporarily to return the RegArgSignature
duke@435 256 // back to the code that pops the arguments into the CPU registers
duke@435 257 SlowSignatureHandler(m, (address)from, m->is_static() ? to+2 : to+1, to).iterate(UCONST64(-1));
duke@435 258 // return result handler
duke@435 259 return Interpreter::result_handler(m->result_type());
duke@435 260 IRT_END

mercurial