X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fvm%2Fglobal.h;h=0b7c7990e2a4774f7b7559fe1ad482809bad0994;hb=e8324e00345f6d03774e743e255909758b272794;hp=d381489527dc8ac9717ef9a043194c37b99ad3b6;hpb=15e1276efdbc7467d429a15be4654bb28ff49a5a;p=cacao.git diff --git a/src/vm/global.h b/src/vm/global.h index d38148952..0b7c7990e 100644 --- a/src/vm/global.h +++ b/src/vm/global.h @@ -1,9 +1,9 @@ -/* vm/global.h - global definitions +/* src/vm/global.h - global definitions - Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates, - R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner, - C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger, - Institut f. Computersprachen - TU Wien + Copyright (C) 1996-2005, 2007, 2006 R. Grafl, A. Krall, C. Kruegel, + C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring, + E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, + J. Wenninger, Institut f. Computersprachen - TU Wien This file is part of CACAO. @@ -19,20 +19,8 @@ You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA - 02111-1307, USA. - - Contact: cacao@complang.tuwien.ac.at - - Authors: Reinhard Grafl - Andreas Krall - - Changes: Mark Probst - Philipp Tomsich - Edwin Steiner - Joseph Wenninger - - $Id: global.h 1880 2005-01-21 12:08:08Z carolyn $ + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301, USA. */ @@ -41,91 +29,33 @@ #define _GLOBAL_H #include "config.h" -#include "types.h" - -/* resolve typedef cycles *****************************************************/ +#include -typedef struct utf utf; -typedef struct literalstring literalstring; -typedef struct java_objectheader java_objectheader; -typedef struct classinfo classinfo; -typedef struct _vftbl vftbl_t; -typedef u1* methodptr; -typedef struct fieldinfo fieldinfo; -typedef struct exceptiontable exceptiontable; -typedef struct methodinfo methodinfo; -typedef struct lineinfo lineinfo; -typedef struct arraydescriptor arraydescriptor; +#include "vm/types.h" /* additional data types ******************************************************/ typedef void *voidptr; /* generic pointer */ typedef void (*functionptr) (void); /* generic function pointer */ +typedef u1* methodptr; -typedef int bool; /* boolean data type */ - -#define true 1 -#define false 0 - - -/* additional includes ********************************************************/ - -#include "toolbox/list.h" -#include "vm/jit/inline/sets.h" - - -/* define some cacao paths ****************************************************/ - -#define CACAO_LIBRARY_PATH "/jre/lib/"ARCH_DIR"/" -#define CACAO_RT_JAR_PATH "/jre/lib/rt.jar" -#define CACAO_EXT_DIR "/jre/lib/ext" - - -#define STATISTICS /* if enabled collects program statistics */ - -/* - * SIZE_FROM_CLASSINFO toggles between the bitmap_based and the new method - * of determining the sizes of objects on the heap. - */ -#define SIZE_FROM_CLASSINFO +typedef unsigned int bool; /* boolean data type */ -/* - * CACAO_TYPECHECK activates typechecking (part of bytecode verification) - */ -#define CACAO_TYPECHECK +#define true 1 +#define false 0 -/* - * TYPECHECK_STACK_COMPCAT activates full checking of computational - * categories for stack manipulations (POP,POP2,SWAP,DUP,DUP2,DUP_X1, - * DUP2_X1,DUP_X2,DUP2_X2). - */ -#define TYPECHECK_STACK_COMPCAT -/* - * Macros for configuration of the typechecking code - * - * TYPECHECK_STATISTICS activates gathering statistical information. - * TYPEINFO_DEBUG activates debug checks and debug helpers in typeinfo.c - * TYPECHECK_DEBUG activates debug checks in typecheck.c - * TYPEINFO_DEBUG_TEST activates the typeinfo test at startup. - * TYPECHECK_VERBOSE_IMPORTANT activates important debug messages - * TYPECHECK_VERBOSE activates all debug messages - */ -#ifdef CACAO_TYPECHECK -/*#define TYPECHECK_STATISTICS -#define TYPEINFO_DEBUG -#define TYPECHECK_DEBUG -#define TYPEINFO_DEBUG_TEST -#define TYPECHECK_VERBOSE -#define TYPECHECK_VERBOSE_IMPORTANT*/ -#if defined(TYPECHECK_VERBOSE) || defined(TYPECHECK_VERBOSE_IMPORTANT) -#define TYPECHECK_VERBOSE_OPT -#endif +#if defined(ENABLE_SSA) +/* immediate to get an addidional target Local Var Index */ +/* for IINC in Combination with SSA */ +struct imm { + s4 i; + s4 op1_t; +}; #endif - /* immediate data union */ typedef union { @@ -136,23 +66,24 @@ typedef union { void *a; functionptr fp; u1 b[8]; +#if defined(ENABLE_SSA) + struct imm _i; +#endif } imm_union; -#define PRIMITIVETYPE_COUNT 9 /* number of primitive types */ +/* alignment macros ***********************************************************/ -/* CAUTION: Don't change the numerical values! These constants are - * used as indices into the primitive type table. - */ -#define PRIMITIVETYPE_INT 0 -#define PRIMITIVETYPE_LONG 1 -#define PRIMITIVETYPE_FLOAT 2 -#define PRIMITIVETYPE_DOUBLE 3 -#define PRIMITIVETYPE_BYTE 4 -#define PRIMITIVETYPE_CHAR 5 -#define PRIMITIVETYPE_SHORT 6 -#define PRIMITIVETYPE_BOOLEAN 7 -#define PRIMITIVETYPE_VOID 8 +#define ALIGN_EVEN(a) ((a) = (((a) + 1) & ~1)) +#define ALIGN_ODD(a) ((a) = (a) | 1 ) + +#define ALIGN_2(a) ALIGN_EVEN(a) + + +/* forward typedefs ***********************************************************/ + +typedef struct java_object_t java_object_t; +typedef struct java_objectarray_t java_objectarray_t; #define MAX_ALIGN 8 /* most generic alignment for JavaVM values */ @@ -160,21 +91,48 @@ typedef union { /* basic data types ***********************************************************/ -/* CAUTION: jit/jit.h relies on these numerical values! */ -#define TYPE_INT 0 /* the JavaVM types must numbered in the */ -#define TYPE_LONG 1 /* same order as the ICMD_Ixxx to ICMD_Axxx */ -#define TYPE_FLOAT 2 /* instructions (LOAD and STORE) */ -#define TYPE_DOUBLE 3 /* integer, long, float, double, address */ -#define TYPE_ADDRESS 4 /* all other types can be numbered arbitrarly */ +/* The JavaVM types must numbered in the same order as the ICMD_Ixxx + to ICMD_Axxx instructions (LOAD and STORE). All other types can be + numbered arbitrarily. */ + +#define TYPE_INT 0 +#define TYPE_LNG 1 +#define TYPE_FLT 2 +#define TYPE_DBL 3 +#define TYPE_ADR 4 + +#define TYPE_RET 8 /* must not share bits with TYPE_FLT or TYPE_LNG */ #define TYPE_VOID 10 +#define IS_INT_LNG_TYPE(a) (!((a) & TYPE_FLT)) +#define IS_FLT_DBL_TYPE(a) ((a) & TYPE_FLT) +#define IS_2_WORD_TYPE(a) ((a) & TYPE_LNG) + +#define IS_INT_TYPE(a) ((a) == TYPE_INT) +#define IS_LNG_TYPE(a) ((a) == TYPE_LNG) +#define IS_FLT_TYPE(a) ((a) == TYPE_FLT) +#define IS_DBL_TYPE(a) ((a) == TYPE_DBL) +#define IS_ADR_TYPE(a) ((a) == TYPE_ADR) + +#define IS_VOID_TYPE(a) ((a) == TYPE_VOID) + + +/* some Java related defines **************************************************/ + +#define JAVA_VERSION "1.5.0" /* this version is supported by CACAO */ +#define CLASS_VERSION "50.0" + + /* Java class file constants **************************************************/ -#define MAGIC 0xcafebabe -#define MINOR_VERSION 0 -#define MAJOR_VERSION 48 +#define MAGIC 0xCAFEBABE +#define MAJOR_VERSION 50 +#define MINOR_VERSION 0 + + +/* Constant pool tags *********************************************************/ #define CONSTANT_Class 7 #define CONSTANT_Fieldref 9 @@ -190,230 +148,85 @@ typedef union { #define CONSTANT_UNUSED 0 -#define ACC_PUBLIC 0x0001 -#define ACC_PRIVATE 0x0002 -#define ACC_PROTECTED 0x0004 -#define ACC_STATIC 0x0008 -#define ACC_FINAL 0x0010 -#define ACC_SUPER 0x0020 -#define ACC_SYNCHRONIZED 0x0020 -#define ACC_VOLATILE 0x0040 -#define ACC_TRANSIENT 0x0080 -#define ACC_NATIVE 0x0100 -#define ACC_INTERFACE 0x0200 -#define ACC_ABSTRACT 0x0400 -#define ACC_STRICT 0x0800 - - -/* constant pool entries ******************************************************* - - All constant pool entries need a data structure which contain the entrys - value. In some cases this structure exist already, in the remaining cases - this structure must be generated: - - kind structure generated? - ---------------------------------------------------------------------- - CONSTANT_Class classinfo no - CONSTANT_Fieldref constant_FMIref yes - CONSTANT_Methodref constant_FMIref yes - CONSTANT_InterfaceMethodref constant_FMIref yes - CONSTANT_String unicode no - CONSTANT_Integer constant_integer yes - CONSTANT_Float constant_float yes - CONSTANT_Long constant_long yes - CONSTANT_Double constant_double yes - CONSTANT_NameAndType constant_nameandtype yes - CONSTANT_Utf8 unicode no - CONSTANT_UNUSED - -*******************************************************************************/ +/* Class/Field/Method access and property flags *******************************/ -/* data structures for hashtables ******************************************** - - - All utf-symbols, javastrings and classes are stored in global hashtables, - so every symbol exists only once. Equal symbols have identical pointers. - The functions for adding hashtable elements search the table for the - element with the specified name/text and return it on success. Otherwise a - new hashtable element is created. - - The hashtables use external linking for handling collisions. The hashtable - structure contains a pointer to the array of hashtable slots. The - number of hashtable slots and therefore the size of this array is specified - by the element of hashtable structure. contains the number - of all hashtable elements stored in the table, including those in the - external chains. - The hashtable element structures (utf, literalstring, classinfo) contain - both a pointer to the next hashtable element as a link for the external hash - chain and the key of the element. The key is computed from the text of - the string or the classname by using up to 8 characters. - - If the number of entries in the hashtable exceeds twice the size of the - hashtableslot-array it is supposed that the average length of the - external chains has reached a value beyond 2. Therefore the functions for - adding hashtable elements (utf_new, class_new, literalstring_new) double - the hashtableslot-array. In this restructuring process all elements have - to be inserted into the new hashtable and new external chains must be built. - - -example for the layout of a hashtable: - -hashtable.ptr--> +-------------------+ - | | - ... - | | - +-------------------+ +-------------------+ +-------------------+ - | hashtable element |-->| hashtable element |-->| hashtable element |-->NULL - +-------------------+ +-------------------+ +-------------------+ - | hashtable element | - +-------------------+ +-------------------+ - | hashtable element |-->| hashtable element |-->NULL - +-------------------+ +-------------------+ - | hashtable element |-->NULL - +-------------------+ - | | - ... - | | - +-------------------+ +#define ACC_UNDEF -1 /* used internally */ +#define ACC_NONE 0 /* used internally */ -*/ +#define ACC_PUBLIC 0x0001 +#define ACC_PRIVATE 0x0002 +#define ACC_PROTECTED 0x0004 +#define ACC_STATIC 0x0008 +#define ACC_FINAL 0x0010 +#define ACC_SUPER 0x0020 +#define ACC_SYNCHRONIZED 0x0020 +#define ACC_VOLATILE 0x0040 +#define ACC_BRIDGE 0x0040 +#define ACC_TRANSIENT 0x0080 +#define ACC_VARARGS 0x0080 +#define ACC_NATIVE 0x0100 +#define ACC_INTERFACE 0x0200 +#define ACC_ABSTRACT 0x0400 +#define ACC_STRICT 0x0800 +#define ACC_SYNTHETIC 0x1000 +#define ACC_ANNOTATION 0x2000 +#define ACC_ENUM 0x4000 +#define ACC_MIRANDA 0x8000 +/* special flags used in classinfo ********************************************/ -/* data structure for utf8 symbols ********************************************/ +#define ACC_CLASS_REFLECT_MASK 0x0000ffff/* flags reported by reflection */ -struct utf { - utf *hashlink; /* link for external hash chain */ - int blength; /* text length in bytes */ - char *text; /* pointer to text */ -}; +#define ACC_CLASS_PRIMITIVE 0x00010000 +#define ACC_CLASS_MEMBER 0x00020000 +#define ACC_CLASS_ANONYMOUS 0x00040000 +#define ACC_CLASS_HAS_POINTERS 0x00080000/* instance contains pointers */ -/* data structure of internal javastrings stored in global hashtable **********/ +#define ACC_CLASS_REFERENCE_MASK 0x00700000 +#define ACC_CLASS_REFERENCE_SOFT 0x00100000 +#define ACC_CLASS_REFERENCE_WEAK 0x00200000 +#define ACC_CLASS_REFERENCE_PHANTOM 0x00400000 -struct literalstring { - literalstring *hashlink; /* link for external hash chain */ - java_objectheader *string; -}; - - -/* data structure for storing information needed for a stacktrace across native functions*/ - -typedef struct native_stackframeinfo native_stackframeinfo; - -struct native_stackframeinfo { - void *oldThreadspecificHeadValue; - void **addressOfThreadspecificHead; - methodinfo *method; -#ifdef __ALPHA__ - void *savedpv; -#endif - void *beginOfJavaStackframe; /*only used if != 0*/ - void *returnToFromNative; - -#if 0 - void *returnFromNative; - void *addrReturnFromNative; - methodinfo *method; - struct native_stackframeinfo *next; - struct native_stackframeinfo *prev; -#endif -}; - - -typedef struct stacktraceelement stacktraceelement; - -struct stacktraceelement { -#if POINTERSIZE == 8 - u8 linenumber; -#else - u4 linenumber; -#endif - methodinfo *method; -}; - - -typedef struct stackTraceBuffer stackTraceBuffer; - -struct stackTraceBuffer { - s4 needsFree; - stacktraceelement *start; - s4 size; - s4 full; -}; - - - -/* data structure for calls from c code to java methods */ - -struct jni_callblock { - u8 itemtype; - u8 item; -}; -typedef struct jni_callblock jni_callblock; +/* special flags used in methodinfo *******************************************/ +#define ACC_METHOD_BUILTIN 0x00010000 /* use for descriptor parsing */ +#define ACC_METHOD_IMPLEMENTED 0x00020000 /* there is an implementation */ +#define ACC_METHOD_MONOMORPHIC 0x00040000 /* currently monomorphic method */ -/* data structure for accessing hashtables ************************************/ - -typedef struct { - u4 size; - u4 entries; /* number of entries in the table */ - void **ptr; /* pointer to hashtable */ -} hashtable; - - -/* data structures of remaining constant pool entries *************************/ - -typedef struct { /* Fieldref, Methodref and InterfaceMethodref */ - classinfo *class; /* class containing this field/method/interface */ - utf *name; /* field/method/interface name */ - utf *descriptor; /* field/method/interface type descriptor string */ -} constant_FMIref; - - -typedef struct { /* Integer */ - s4 value; -} constant_integer; - - -typedef struct { /* Float */ - float value; -} constant_float; - - -typedef struct { /* Long */ - s8 value; -} constant_long; - - -typedef struct { /* Double */ - double value; -} constant_double; +/* data structures of the runtime system **************************************/ -typedef struct { /* NameAndType (Field or Method) */ - utf *name; /* field/method name */ - utf *descriptor; /* field/method type descriptor string */ -} constant_nameandtype; +/* java_object_t *************************************************************** + All objects (and arrays) which resides on the heap need the + following header at the beginning of the data structure. -/* data structures of the runtime system **************************************/ + TODO: Include detailed description from the Wiki (ObjectHeader) here. -/* objects ********************************************************************* - - All objects (and arrays) which resides on the heap need the following - header at the beginning of the data structure. -*/ +*******************************************************************************/ -struct java_objectheader { /* header for all objects */ - vftbl_t *vftbl; /* pointer to virtual function table */ -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - void *monitorPtr; +#define HDRFLAG_FLC 0x01 +#define HDRFLAG_MARK1 0x02 +#define HDRFLAG_MARK2 0x04 +#define HDRFLAG_UNCOLLECTABLE 0x08 +#define HDRFLAG_HASH_TAKEN 0x10 +#define HDRFLAG_HASH_ATTACHED 0x20 +#define HDRFLAG_REFERENCING 0x40 + +struct java_object_t { /* header for all objects */ + struct _vftbl *vftbl; /* pointer to virtual function table */ +#if defined(ENABLE_THREADS) + uintptr_t lockword; +#endif +#if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO) + uintptr_t hdrflags; /* word containing the FLC and GC bits */ #endif }; - /* arrays ********************************************************************** All arrays are objects (they need the object header with a pointer @@ -422,506 +235,116 @@ struct java_objectheader { /* header for all objects */ which is referenced by the vftbl. */ -/* CAUTION: Don't change the numerical values! These constants (with - * the exception of ARRAYTYPE_OBJECT) are used as indices in the - * primitive type table. - */ -#define ARRAYTYPE_INT PRIMITIVETYPE_INT -#define ARRAYTYPE_LONG PRIMITIVETYPE_LONG -#define ARRAYTYPE_FLOAT PRIMITIVETYPE_FLOAT -#define ARRAYTYPE_DOUBLE PRIMITIVETYPE_DOUBLE -#define ARRAYTYPE_BYTE PRIMITIVETYPE_BYTE -#define ARRAYTYPE_CHAR PRIMITIVETYPE_CHAR -#define ARRAYTYPE_SHORT PRIMITIVETYPE_SHORT -#define ARRAYTYPE_BOOLEAN PRIMITIVETYPE_BOOLEAN -#define ARRAYTYPE_OBJECT PRIMITIVETYPE_VOID /* don't use as index! */ - -typedef struct java_arrayheader { /* header for all arrays */ - java_objectheader objheader; /* object header */ +typedef struct java_array_t { /* header for all arrays */ + java_object_t objheader; /* object header */ s4 size; /* array size */ -#ifdef SIZE_FROM_CLASSINFO - s4 alignedsize; /* phil */ -#endif -} java_arrayheader; +} java_array_t; /* structs for all kinds of arrays ********************************************/ -typedef struct java_chararray { - java_arrayheader header; - u2 data[1]; -} java_chararray; - -typedef struct java_floatheader { - java_arrayheader header; - float data[1]; -} java_floatarray; - -typedef struct java_doublearray { - java_arrayheader header; - double data[1]; -} java_doublearray; - /* booleanarray and bytearray need identical memory layout (access methods use the same machine code */ -typedef struct java_booleanarray { - java_arrayheader header; +typedef struct java_booleanarray_t { + java_array_t header; u1 data[1]; -} java_booleanarray; +} java_booleanarray_t; -typedef struct java_bytearray { - java_arrayheader header; +typedef struct java_bytearray_t { + java_array_t header; s1 data[1]; -} java_bytearray; +} java_bytearray_t; + +typedef struct java_chararray_t { + java_array_t header; + u2 data[1]; +} java_chararray_t; -typedef struct java_shortarray { - java_arrayheader header; +typedef struct java_shortarray_t { + java_array_t header; s2 data[1]; -} java_shortarray; +} java_shortarray_t; -typedef struct java_intarray { - java_arrayheader header; +typedef struct java_intarray_t { + java_array_t header; s4 data[1]; -} java_intarray; +} java_intarray_t; -typedef struct java_longarray { - java_arrayheader header; +typedef struct java_longarray_t { + java_array_t header; s8 data[1]; -} java_longarray; - -/* objectarray and arrayarray need identical memory layout (access methods - use the same machine code */ - -typedef struct java_objectarray { - java_arrayheader header; - java_objectheader *data[1]; -} java_objectarray; - - -/* structure for primitive classes ********************************************/ - -typedef struct primitivetypeinfo { - classinfo *class_wrap; /* class for wrapping primitive type */ - classinfo *class_primitive; /* primitive class */ - char *wrapname; /* name of class for wrapping */ - char typesig; /* one character type signature */ - char *name; /* name of primitive class */ - char *arrayname; /* name of primitive array class */ - classinfo *arrayclass; /* primitive array class */ - vftbl_t *arrayvftbl; /* vftbl of primitive array class */ -} primitivetypeinfo; - - -/* field, method and class structures *****************************************/ - -typedef struct xtafldinfo { - bool fieldChecked; - classinfo *fldClassType; - classSet *XTAclassSet; /* field class type set */ -} xtafldinfo; - - -/* fieldinfo ******************************************************************/ - -struct fieldinfo { /* field of a class */ - s4 flags; /* ACC flags */ - s4 type; /* basic data type */ - utf *name; /* name of field */ - utf *descriptor; /* JavaVM descriptor string of field */ - - s4 offset; /* offset from start of object (instance variables) */ - - imm_union value; /* storage for static values (class variables) */ - - classinfo *class; /* needed by typechecker. Could be optimized */ - /* away by using constant_FMIref instead of */ - /* fieldinfo throughout the compiler. */ - - xtafldinfo *xta; -}; - - -/* exceptiontable *************************************************************/ - -struct exceptiontable { /* exceptiontable entry in a method */ - s4 startpc; /* start pc of guarded area (inclusive) */ - struct basicblock *start; - - s4 endpc; /* end pc of guarded area (exklusive) */ - struct basicblock *end; - - s4 handlerpc; /* pc of exception handler */ - struct basicblock *handler; - - classinfo *catchtype; /* catchtype of exception (NULL == catchall) */ - exceptiontable *next; /* used to build a list of exception when */ - /* loops are copied */ - exceptiontable *down; /* instead of the old array, a list is used */ -}; - - -/* methodinfo static info ****************************************************/ - -typedef struct xtainfo { - s4 XTAmethodUsed; /* XTA if used in callgraph - not used /used */ - classSet *XTAclassSet; /* method class type set */ - /*classSet *PartClassSet */ /* method class type set */ - - classSetNode *paramClassSet; /* cone set of methods parameters */ - - methSet *calls; /* methods this method calls */ - methSet *calledBy; /* methods that call this method */ - methSet *marked; /*not in Dez*/ /* methods that marked by this method */ - methSet *markedBy; - fldSet *fldsUsed; /* fields used by this method */ - /*methSetNode *interfaceCalls*/ /* methods this method calls as interface */ - bool chgdSinceLastParse; /* Changed since last parse ? */ -} xtainfo; - - -/* lineinfo *****************************************************************/ - -struct lineinfo { - u2 start_pc; - u2 line_number; -}; - - -/* methodinfo *****************************************************************/ - -struct methodinfo { /* method structure */ - java_objectheader header; /* we need this in jit's monitorenter */ - s4 flags; /* ACC flags */ - utf *name; /* name of method */ - utf *descriptor; /* JavaVM descriptor string of method */ - s4 returntype; /* only temporary valid, return type */ - classinfo *returnclass; /* pointer to classinfo for the rtn type */ /*XTA*/ - s4 paramcount; /* only temporary valid, parameter count */ - u1 *paramtypes; /* only temporary valid, parameter types */ - classinfo **paramclass; /* pointer to classinfo for a parameter */ /*XTA*/ - - bool isleafmethod; /* does method call subroutines */ - - classinfo *class; /* class, the method belongs to */ - s4 vftblindex; /* index of method in virtual function */ - /* table (if it is a virtual method) */ - s4 maxstack; /* maximum stack depth of method */ - s4 maxlocals; /* maximum number of local variables */ - s4 jcodelength; /* length of JavaVM code */ - u1 *jcode; /* pointer to JavaVM code */ - - s4 basicblockcount; /* number of basic blocks */ - struct basicblock *basicblocks; /* points to basic block array */ - s4 *basicblockindex; /* a table which contains for every byte */ - /* of JavaVM code a basic block index if */ - /* at this byte is the start of a basic */ - /* block */ - - s4 instructioncount; /* number of JavaVM instructions */ - struct instruction *instructions; /* points to intermediate code instructions */ - - s4 stackcount; /* number of stack elements */ - struct stackelement *stack; /* points to intermediate code instructions */ - - s4 exceptiontablelength;/* exceptiontable length */ - exceptiontable *exceptiontable; /* the exceptiontable */ - - u2 thrownexceptionscount;/* number of exceptions attribute */ - classinfo **thrownexceptions; /* checked exceptions a method may throw */ - - u2 linenumbercount; /* number of linenumber attributes */ - lineinfo *linenumbers; /* array of lineinfo items */ - - int c_debug_nr; /* a counter to number all BB with an */ - /* unique value */ - - u1 *stubroutine; /* stub for compiling or calling natives */ - s4 mcodelength; /* legth of generated machine code */ - functionptr mcode; /* pointer to machine code */ - functionptr entrypoint; /* entry point in machine code */ - - /*rtainfo rta;*/ - xtainfo *xta; - - s4 methodUsed; /* marked (might be used later) /not used /used */ - s4 monoPoly; /* call is mono or poly or unknown */ /*RT stats */ - /* should # method def'd and used be kept after static parse (will it be used?) */ - s4 subRedefs; - s4 subRedefsUsed; - s4 nativelyoverloaded; /* used in header.c and only valid there */ -}; - - -/* innerclassinfo *************************************************************/ - -typedef struct innerclassinfo { - classinfo *inner_class; /* inner class pointer */ - classinfo *outer_class; /* outer class pointer */ - utf *name; /* innerclass name */ - s4 flags; /* ACC flags */ -} innerclassinfo; - - -/* classinfo ******************************************************************/ - -struct classinfo { /* class structure */ - java_objectheader header; /* classes are also objects */ - java_objectarray* signers; - struct java_security_ProtectionDomain* pd; - struct java_lang_VMClass* vmClass; - struct java_lang_reflect_Constructor* constructor; - - s4 initializing_thread; /* gnu classpath */ - s4 erroneous_state; /* gnu classpath */ - struct gnu_classpath_RawData* vmData; /* gnu classpath */ +} java_longarray_t; - s4 flags; /* ACC flags */ - utf *name; /* class name */ - - s4 cpcount; /* number of entries in constant pool */ - u1 *cptags; /* constant pool tags */ - voidptr *cpinfos; /* pointer to constant pool info structures */ - - classinfo *super; /* super class pointer */ - classinfo *sub; /* sub class pointer */ - classinfo *nextsub; /* pointer to next class in sub class list */ - - s4 interfacescount; /* number of interfaces */ - classinfo **interfaces; /* pointer to interfaces */ - - s4 fieldscount; /* number of fields */ - fieldinfo *fields; /* field table */ - - s4 methodscount; /* number of methods */ - methodinfo *methods; /* method table */ - - listnode listnode; /* linkage */ - - bool initialized; /* true, if class already initialized */ - bool initializing; /* flag for the compiler */ - bool loaded; /* true, if class already loaded */ - bool linked; /* true, if class already linked */ - s4 index; /* hierarchy depth (classes) or index */ - /* (interfaces) */ - s4 instancesize; /* size of an instance of this class */ -#ifdef SIZE_FROM_CLASSINFO - s4 alignedsize; /* size of an instance, aligned to the */ - /* allocation size on the heap */ -#endif - - vftbl_t *vftbl; /* pointer to virtual function table */ - - methodinfo *finalizer; /* finalizer method */ - - u2 innerclasscount; /* number of inner classes */ - innerclassinfo *innerclass; - - classinfo *hashlink; /* link for external hash chain */ - bool classvftbl; /* has its own copy of the Class vtbl */ - - s4 classUsed; /* 0= not used 1 = used CO-RT */ - - classSetNode *impldBy; /* implemented by class set */ - utf *packagename; /* full name of the package */ - utf *sourcefile; /* classfile name containing this class */ - java_objectheader *classloader; /* NULL for bootstrap classloader */ -}; - -/* check if class is an array class. Only use for linked classes! */ -#define CLASS_IS_ARRAY(clsinfo) ((clsinfo)->vftbl->arraydesc != NULL) - - -/* virtual function table ****************************************************** - - The vtbl has a bidirectional layout with open ends at both sides. - interfacetablelength gives the number of entries of the interface table at - the start of the vftbl. The vftbl pointer points to &interfacetable[0]. - vftbllength gives the number of entries of table at the end of the vftbl. - - runtime type check (checkcast): - - Different methods are used for runtime type check depending on the - argument of checkcast/instanceof. - - A check against a class is implemented via relative numbering on the class - hierachy tree. The tree is numbered in a depth first traversal setting - the base field and the diff field. The diff field gets the result of - (high - base) so that a range check can be implemented by an unsigned - compare. A sub type test is done by checking the inclusion of base of - the sub class in the range of the superclass. - - A check against an interface is implemented via the interfacevftbl. If the - interfacevftbl contains a nonnull value a class is a subclass of this - interface. - - interfacetable: - - Like standard virtual methods interface methods are called using - virtual function tables. All interfaces are numbered sequentially - (starting with zero). For each class there exist an interface table - of virtual function tables for each implemented interface. The length - of the interface table is determined by the highest number of an - implemented interface. - - The following example assumes a class which implements interface 0 and 3: - - interfacetablelength = 4 - - | ... | +----------+ - +-----------+ | method 2 |---> method z - | class | | method 1 |---> method y - +-----------+ | method 0 |---> method x - | ivftbl 0 |----------> +----------+ - vftblptr ---> +-----------+ - | ivftbl -1 |--> NULL +----------+ - | ivftbl -2 |--> NULL | method 1 |---> method x - | ivftbl -3 |-----+ | method 0 |---> method a - +-----------+ +----> +----------+ - - +---------------+ - | length 3 = 2 | - | length 2 = 0 | - | length 1 = 0 | - | length 0 = 3 | - interfacevftbllength ---> +---------------+ - -*******************************************************************************/ - -struct _vftbl { - methodptr *interfacetable[1]; /* interface table (access via macro) */ - - classinfo *class; /* class, the vtbl belongs to */ - - arraydescriptor *arraydesc; /* for array classes, otherwise NULL */ +typedef struct java_floatarray_t { + java_array_t header; + float data[1]; +} java_floatarray_t; - s4 vftbllength; /* virtual function table length */ - s4 interfacetablelength; /* interface table length */ +typedef struct java_doublearray_t { + java_array_t header; + double data[1]; +} java_doublearray_t; - s4 baseval; /* base for runtime type check */ - /* (-index for interfaces) */ - s4 diffval; /* high - base for runtime type check */ +/* objectarray and arrayarray need identical memory layout (access methods + use the same machine code */ - s4 *interfacevftbllength; /* length of interface vftbls */ - - methodptr table[1]; /* class vftbl */ +struct java_objectarray_t { + java_array_t header; + java_object_t *data[1]; }; -#define VFTBLINTERFACETABLE(v,i) (v)->interfacetable[-i] - -/* arraydescriptor ************************************************************ +/* java_handle_t *************************************************************** - For every array class an arraydescriptor is allocated which - describes the array class. - The arraydescriptor is referenced from the vftbl of the array - class. + TODO: document me! *******************************************************************************/ -struct arraydescriptor { - vftbl_t *componentvftbl; /* vftbl of the component type, NULL for primit. */ - vftbl_t *elementvftbl; /* vftbl of the element type, NULL for primitive */ - s2 arraytype; /* ARRAYTYPE_* constant */ - s2 dimension; /* dimension of the array (always >= 1) */ - s4 dataoffset; /* offset of the array data from object pointer */ - s4 componentsize; /* size of a component in bytes */ - s2 elementtype; /* ARRAYTYPE_* constant */ -}; - - -/* flag variables *************************************************************/ - -extern bool cacao_initializing; - -#ifdef TYPECHECK_VERBOSE_OPT -extern bool typecheckverbose; -#endif - -/*extern int pClassHeir;*/ -/*extern int pCallgraph;*/ -/*extern int pOpcodes;*/ -/*extern int pStats;*/ - -/*extern void RT_jit_parse(methodinfo *m);*/ - - -/* table of primitive types ***************************************************/ - -/* This array can be indexed by the PRIMITIVETYPE_ and ARRAYTYPE_ - * constants (except ARRAYTYPE_OBJECT). - */ -extern primitivetypeinfo primitivetype_table[PRIMITIVETYPE_COUNT]; - - -/* macros for descriptor parsing **********************************************/ - -/* SKIP_FIELDDESCRIPTOR: - * utf_ptr must point to the first character of a field descriptor. - * After the macro call utf_ptr points to the first character after - * the field descriptor. - * - * CAUTION: This macro does not check for an unexpected end of the - * descriptor. Better use SKIP_FIELDDESCRIPTOR_SAFE. - */ -#define SKIP_FIELDDESCRIPTOR(utf_ptr) \ - do { while (*(utf_ptr)=='[') (utf_ptr)++; \ - if (*(utf_ptr)++=='L') \ - while(*(utf_ptr)++ != ';') /* skip */; } while(0) - -/* SKIP_FIELDDESCRIPTOR_SAFE: - * utf_ptr must point to the first character of a field descriptor. - * After the macro call utf_ptr points to the first character after - * the field descriptor. - * - * Input: - * utf_ptr....points to first char of descriptor - * end_ptr....points to first char after the end of the string - * errorflag..must be initialized (to false) by the caller! - * Output: - * utf_ptr....points to first char after the descriptor - * errorflag..set to true if the string ended unexpectedly - */ -#define SKIP_FIELDDESCRIPTOR_SAFE(utf_ptr,end_ptr,errorflag) \ - do { while ((utf_ptr) != (end_ptr) && *(utf_ptr)=='[') (utf_ptr)++; \ - if ((utf_ptr) == (end_ptr)) \ - (errorflag) = true; \ - else \ - if (*(utf_ptr)++=='L') { \ - while((utf_ptr) != (end_ptr) && *(utf_ptr)++ != ';') \ - /* skip */; \ - if ((utf_ptr)[-1] != ';') \ - (errorflag) = true; }} while(0) - - -/* Synchronization ************************************************************/ - -#if defined(USE_THREADS) && defined(NATIVE_THREADS) -void cast_lock(); -void cast_unlock(); -void compiler_lock(); -void compiler_unlock(); +#if defined(ENABLE_HANDLES) +typedef struct java_handle_t { + java_object_t *heap_object; +} java_handle_t; + +typedef struct java_handle_objectarray_t { java_objectarray_t *heap_object; } java_handle_objectarray_t; +typedef struct java_handle_booleanarray_t { java_booleanarray_t *heap_object; } java_handle_booleanarray_t; +typedef struct java_handle_bytearray_t { java_bytearray_t *heap_object; } java_handle_bytearray_t; +typedef struct java_handle_chararray_t { java_chararray_t *heap_object; } java_handle_chararray_t; +typedef struct java_handle_shortarray_t { java_shortarray_t *heap_object; } java_handle_shortarray_t; +typedef struct java_handle_intarray_t { java_intarray_t *heap_object; } java_handle_intarray_t; +typedef struct java_handle_longarray_t { java_longarray_t *heap_object; } java_handle_longarray_t; +typedef struct java_handle_floatarray_t { java_floatarray_t *heap_object; } java_handle_floatarray_t; +typedef struct java_handle_doublearray_t { java_doublearray_t *heap_object; } java_handle_doublearray_t; +#else +typedef java_object_t java_handle_t; +typedef java_objectarray_t java_handle_objectarray_t; +typedef java_booleanarray_t java_handle_booleanarray_t; +typedef java_bytearray_t java_handle_bytearray_t; +typedef java_chararray_t java_handle_chararray_t; +typedef java_shortarray_t java_handle_shortarray_t; +typedef java_intarray_t java_handle_intarray_t; +typedef java_longarray_t java_handle_longarray_t; +typedef java_floatarray_t java_handle_floatarray_t; +typedef java_doublearray_t java_handle_doublearray_t; #endif -/**** Methods: called directly by cacao, which defines the callpath ***/ -#define MAINCLASS mainstring -#define MAINMETH "main" -#define MAINDESC "([Ljava/lang/String;)V" +/* global constants related to the verifier ***********************************/ -#define EXITCLASS "java/lang/System" -#define EXITMETH "exit" -#define EXITDESC "(I)V" +/* The verifier needs additional variables in the variable array. Since these */ +/* must be reserved and set by parse.c and stack.c, we define these numbers */ +/* here to avoid mysterious hard-coded constants. */ +/* stack.c needs an extra variable if the verifier is disabled. */ -#if defined(USE_THREADS) - #define THREADCLASS "java/lang/Thread" - #define THREADMETH "" - #define THREADDESC "(Ljava/lang/VMThread;Ljava/lang/String;IZ)V" - - #define THREADGROUPCLASS "java/lang/ThreadGroup" - #define THREADGROUPMETH "addThread" - #define THREADGROUPDESC "(Ljava/lang/Thread;)V" +#if defined(ENABLE_VERIFIER) +# define VERIFIER_EXTRA_LOCALS 1 +# define VERIFIER_EXTRA_VARS 1 +# define STACK_EXTRA_VARS 0 +#else +# define VERIFIER_EXTRA_LOCALS 0 +# define VERIFIER_EXTRA_VARS 0 +# define STACK_EXTRA_VARS 1 #endif #endif /* _GLOBAL_H */ @@ -938,4 +361,5 @@ void compiler_unlock(); * c-basic-offset: 4 * tab-width: 4 * End: + * vim:noexpandtab:sw=4:ts=4: */