1 /* src/vm/jit/intrp/asmpart.c - Java-C interface functions for Interpreter
3 Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
4 C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5 E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6 J. Wenninger, Institut f. Computersprachen - TU Wien
8 This file is part of CACAO.
10 This program is free software; you can redistribute it and/or
11 modify it under the terms of the GNU General Public License as
12 published by the Free Software Foundation; either version 2, or (at
13 your option) any later version.
15 This program is distributed in the hope that it will be useful, but
16 WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
25 Contact: cacao@cacaojvm.org
27 Authors: Christian Thalinger
32 $Id: asmpart.c 5695 2006-10-05 16:18:10Z edwin $
45 #include "vm/builtin.h"
47 #include "vm/exceptions.h"
48 #include "vm/loader.h"
49 #include "vm/options.h"
50 #include "vm/jit/asmpart.h"
51 #include "vm/jit/methodheader.h"
52 #include "vm/jit/intrp/intrp.h"
55 static bool intrp_asm_vm_call_method_intern(methodinfo *m, s4 vmargscount,
58 java_objectheader *retval;
68 for (i = 0; i < vmargscount; i++) {
69 switch (vmargs[i].type) {
73 *(--sp) = (Cell) vmargs[i].data.l;
78 *((u8 *) sp) = vmargs[i].data.l;
83 entrypoint = createcalljavafunction(m);
85 retval = engine((Inst *) entrypoint, sp, NULL);
87 /* XXX remove the method from the method table */
90 (void)builtin_throw_exception(retval);
98 java_objectheader *intrp_asm_vm_call_method(methodinfo *m, s4 vmargscount,
101 java_objectheader *retval = NULL;
103 if (intrp_asm_vm_call_method_intern(m, vmargscount, vmargs)) {
104 if (m->parseddesc->returntype.type == TYPE_ADR)
105 retval = (java_objectheader *)*global_sp++;
107 assert(m->parseddesc->returntype.type == TYPE_VOID);
114 s4 intrp_asm_vm_call_method_int(methodinfo *m, s4 vmargscount, vm_arg *vmargs)
118 if (intrp_asm_vm_call_method_intern(m, vmargscount, vmargs)) {
119 if (m->parseddesc->returntype.type == TYPE_INT)
120 retval = *global_sp++;
122 assert(m->parseddesc->returntype.type == TYPE_VOID);
129 s8 intrp_asm_vm_call_method_long(methodinfo *m, s4 vmargscount, vm_arg *vmargs)
133 assert(m->parseddesc->returntype.type == TYPE_LNG);
135 if (intrp_asm_vm_call_method_intern(m, vmargscount, vmargs)) {
136 retval = *(s8 *)global_sp;
144 float intrp_asm_vm_call_method_float(methodinfo *m, s4 vmargscount,
149 assert(m->parseddesc->returntype.type == TYPE_FLT);
151 if (intrp_asm_vm_call_method_intern(m, vmargscount, vmargs)) {
152 retval = *(float *)global_sp;
160 double intrp_asm_vm_call_method_double(methodinfo *m, s4 vmargscount,
165 assert(m->parseddesc->returntype.type == TYPE_DBL);
167 if (intrp_asm_vm_call_method_intern(m, vmargscount, vmargs)) {
168 retval = *(double *)global_sp;
176 Inst *intrp_asm_handle_exception(Inst *ip, java_objectheader *o, Cell *fp, Cell **new_spp, Cell **new_fpp)
179 classref_or_classinfo cr;
183 s4 exceptiontablelength;
186 /* for a description of the stack see IRETURN in java.vmg */
188 for (; fp != NULL; ) {
189 u1 *f = codegen_get_pv_from_pc((u1 *) (ip - 1));
191 /* get methodinfo pointer from method header */
193 codeinfo *code = *((codeinfo **) ((u1 *)f + CodeinfoPointer));
194 methodinfo *m = code->m;
196 framesize = *((s4 *) (((u1 *) f) + FrameSize));
197 issync = *((s4 *) (((u1 *) f) + IsSync));
198 ex = (exceptionentry *) (((u1 *) f) + ExTableStart);
199 exceptiontablelength = *((s4 *) (((u1 *) f) + ExTableSize));
202 if (opt_verbose || opt_verbosecall || opt_verboseexception)
203 builtin_trace_exception(o, m, ip, 1);
206 for (i = 0; i < exceptiontablelength; i++) {
211 if (cr.any == NULL) {
216 if (IS_CLASSREF(cr)) {
217 /* The exception class reference is unresolved. */
218 /* We have to do _eager_ resolving here. While the class of */
219 /* the exception object is guaranteed to be loaded, it may */
220 /* well have been loaded by a different loader than the */
221 /* defining loader of m's class, which is the one we must */
222 /* use to resolve the catch class. Thus lazy resolving */
223 /* might fail, even if the result of the resolution would */
224 /* be an already loaded class. */
226 /* The resolving may involve Java code, so we need a usable */
227 /* global_sp. XXX is this a correct value for global_sp? */
229 global_sp = (Cell *)(((u1 *)fp) - framesize - SIZEOF_VOID_P);
231 c = resolve_classref_eager(cr.ref);
236 /* Exception resolving the exception class, argh! */
237 /* XXX how to report that error? */
241 /* Ok, we resolved it. Enter it in the table, so we don't */
242 /* have to do this again. */
243 /* XXX this write should be atomic. Is it? */
245 ex->catchtype.cls = c;
250 /* If the class is not linked, the exception object cannot */
251 /* be an instance of it. */
252 if (!(c->state & CLASS_LINKED))
257 if (ip-1 >= (Inst *) ex->startpc && ip-1 < (Inst *) ex->endpc &&
258 (c == NULL || builtin_instanceof(o, c)))
260 *new_spp = (Cell *)(((u1 *)fp) - framesize - SIZEOF_VOID_P);
262 return (Inst *) (ex->handlerpc);
266 #if defined(ENABLE_THREADS)
267 /* is this method synchronized? */
270 java_objectheader *syncobj;
272 /* get synchronization object */
274 if (m->flags & ACC_STATIC) {
275 syncobj = (java_objectheader *) m->class;
278 syncobj = (java_objectheader *) access_local_cell(-framesize + SIZEOF_VOID_P);
281 assert(syncobj != NULL);
283 lock_monitor_exit(syncobj);
285 #endif /* defined(ENABLE_THREADS) */
287 /* unwind stack frame */
289 ip = (Inst *)access_local_cell(-framesize - SIZEOF_VOID_P);
290 fp = (Cell *)access_local_cell(-framesize);
297 void intrp_asm_getclassvalues_atomic(vftbl_t *super, vftbl_t *sub, castinfo *out)
301 #if defined(ENABLE_THREADS)
305 sbv = super->baseval;
306 sdv = super->diffval;
309 #if defined(ENABLE_THREADS)
313 out->super_baseval = sbv;
314 out->super_diffval = sdv;
315 out->sub_baseval = sv;
320 * These are local overrides for various environment variables in Emacs.
321 * Please do not remove this and leave it at the end of the file, where
322 * Emacs will automagically detect them.
323 * ---------------------------------------------------------------------
326 * indent-tabs-mode: t