1 // java-interp.h - Header file for the bytecode interpreter. -*- c++ -*-
3 /* Copyright (C) 1999, 2000, 2001, 2002, 2003 Free Software Foundation
5 This file is part of libgcj.
7 This software is copyrighted work licensed under the terms of the
8 Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
11 #ifndef __JAVA_INTERP_H__
12 #define __JAVA_INTERP_H__
15 #include <java-cpool.h>
16 #include <gnu/gcj/runtime/NameFinder.h>
22 #include <java/lang/Class.h>
23 #include <java/lang/ClassLoader.h>
24 #include <java/lang/reflect/Modifier.h>
25 #include <gnu/gcj/runtime/StackTrace.h>
31 extern inline jboolean
32 _Jv_IsInterpretedClass (jclass c
)
34 return (c
->accflags
& java::lang::reflect::Modifier::INTERPRETED
) != 0;
37 struct _Jv_ResolvedMethod
;
39 void _Jv_InitInterpreter ();
40 void _Jv_DefineClass (jclass
, jbyteArray
, jint
, jint
);
42 void _Jv_InitField (jobject
, jclass
, int);
43 void * _Jv_AllocMethodInvocation (jsize size
);
44 int _Jv_count_arguments (_Jv_Utf8Const
*signature
,
45 jboolean staticp
= true);
46 void _Jv_VerifyMethod (_Jv_InterpMethod
*method
);
48 /* FIXME: this should really be defined in some more generic place */
49 #define ROUND(V, A) (((((unsigned) (V))-1) | ((A)-1))+1)
51 /* the interpreter is written in C++, primarily because it makes it easy for
52 * the entire thing to be "friend" with class Class. */
54 class _Jv_InterpClass
;
55 class _Jv_InterpMethod
;
57 // Before a method is "compiled" we store values as the bytecode PC,
58 // an int. Afterwards we store them as pointers into the prepared
66 class _Jv_InterpException
68 _Jv_InterpPC start_pc
;
70 _Jv_InterpPC handler_pc
;
71 _Jv_InterpPC handler_type
;
73 friend class _Jv_ClassReader
;
74 friend class _Jv_InterpMethod
;
75 friend class _Jv_BytecodeVerifier
;
78 // Base class for method representations. Subclasses are interpreted
83 // The class which defined this method.
84 _Jv_InterpClass
*defining_class
;
86 // The method description.
89 // Size of raw arguments.
90 _Jv_ushort args_raw_size
;
92 // Chain of addresses to fill in. See _Jv_Defer_Resolution.
95 friend void _Jv_Defer_Resolution (void *cl
, _Jv_Method
*meth
, void **);
96 friend void _Jv_PrepareClass(jclass
);
99 _Jv_Method
*get_method ()
105 class _Jv_InterpMethod
: public _Jv_MethodBase
107 _Jv_ushort max_stack
;
108 _Jv_ushort max_locals
;
111 _Jv_ushort exc_count
;
115 unsigned char* bytecode ()
118 ((unsigned char*)this)
119 + ROUND((sizeof (_Jv_InterpMethod
)
120 + exc_count
*sizeof (_Jv_InterpException
)), 4);
123 _Jv_InterpException
* exceptions ()
125 return (_Jv_InterpException
*) (this+1);
128 static size_t size (int exc_count
, int code_length
)
131 ROUND ((sizeof (_Jv_InterpMethod
)
132 + (exc_count
* sizeof (_Jv_InterpException
))), 4)
136 // return the method's invocation pointer (a stub).
138 void compile (const void * const *);
140 static void run_normal (ffi_cif
*, void*, ffi_raw
*, void*);
141 static void run_synch_object (ffi_cif
*, void*, ffi_raw
*, void*);
142 static void run_class (ffi_cif
*, void*, ffi_raw
*, void*);
143 static void run_synch_class (ffi_cif
*, void*, ffi_raw
*, void*);
145 void run (void*, ffi_raw
*);
148 static void dump_object(jobject o
);
150 friend class _Jv_ClassReader
;
151 friend class _Jv_BytecodeVerifier
;
152 friend class gnu::gcj::runtime::NameFinder
;
153 friend class gnu::gcj::runtime::StackTrace
;
155 friend void _Jv_PrepareClass(jclass
);
157 #ifdef JV_MARKOBJ_DECL
158 friend JV_MARKOBJ_DECL
;
162 class _Jv_InterpClass
: public java::lang::Class
164 _Jv_MethodBase
**interpreted_methods
;
165 _Jv_ushort
*field_initializers
;
167 friend class _Jv_ClassReader
;
168 friend class _Jv_InterpMethod
;
169 friend void _Jv_PrepareClass(jclass
);
170 friend void _Jv_PrepareMissingMethods (jclass base2
, jclass iface_class
);
171 friend void _Jv_InitField (jobject
, jclass
, int);
172 #ifdef JV_MARKOBJ_DECL
173 friend JV_MARKOBJ_DECL
;
176 friend _Jv_MethodBase
** _Jv_GetFirstMethod (_Jv_InterpClass
*klass
);
177 friend void _Jv_Defer_Resolution (void *cl
, _Jv_Method
*meth
, void **);
180 // We have an interpreted class CL and we're trying to find the
181 // address of the ncode of a method METH. That interpreted class
182 // hasn't yet been prepared, so we defer fixups until they are ready.
183 // To do this, we create a chain of fixups that will be resolved by
186 _Jv_Defer_Resolution (void *cl
, _Jv_Method
*meth
, void **address
)
189 _Jv_InterpClass
*self
= (_Jv_InterpClass
*)cl
;
190 for (i
= 0; i
< self
->method_count
; i
++)
192 _Jv_Method
*m
= &self
->methods
[i
];
195 _Jv_MethodBase
*imeth
= self
->interpreted_methods
[i
];
196 *address
= imeth
->deferred
;
197 imeth
->deferred
= address
;
204 extern inline _Jv_MethodBase
**
205 _Jv_GetFirstMethod (_Jv_InterpClass
*klass
)
207 return klass
->interpreted_methods
;
210 struct _Jv_ResolvedMethod
{
211 jint stack_item_count
;
216 // a resolved method holds the cif in-line, so that _Jv_MarkObj just needs
217 // to mark the resolved method to hold on to the cif. Some memory could be
218 // saved by keeping a cache of cif's, since many will be the same.
220 ffi_type
* arg_types
[0];
223 class _Jv_JNIMethod
: public _Jv_MethodBase
225 // The underlying function. If NULL we have to look for the
229 // This is the CIF used by the JNI function.
232 // These are the argument types used by the JNI function.
233 ffi_type
**jni_arg_types
;
235 // This function is used when making a JNI call from the interpreter.
236 static void call (ffi_cif
*, void *, ffi_raw
*, void *);
240 friend class _Jv_ClassReader
;
241 friend void _Jv_PrepareClass(jclass
);
244 // FIXME: this is ugly.
245 void set_function (void *f
)
251 // A structure of this type is used to link together interpreter
252 // invocations on the stack.
253 struct _Jv_MethodChain
255 const _Jv_InterpMethod
*self
;
256 _Jv_MethodChain
**ptr
;
257 _Jv_MethodChain
*next
;
259 _Jv_MethodChain (const _Jv_InterpMethod
*s
, _Jv_MethodChain
**n
)
273 #endif /* INTERPRETER */
275 #endif /* __JAVA_INTERP_H__ */