Removed cast_lock
[cacao.git] / global.h
index 222ca56016dca14c80c418e62b50bce1375ff485..596059445b2a3fce8771659d54446770ba876576 100644 (file)
--- a/global.h
+++ b/global.h
@@ -1,55 +1,95 @@
-/* global.h ********************************************************************
+/* global.h - global definitions
 
-       Copyright (c) 1997 A. Krall, R. Grafl, M. Gschwind, M. Probst
+   Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
+   R. Grafl, A. Krall, C. Kruegel, C. Oates, R. Obermaisser,
+   M. Probst, S. Ring, E. Steiner, C. Thalinger, D. Thuernbeck,
+   P. Tomsich, J. Wenninger
 
-       See file COPYRIGHT for information on usage and disclaimer of warranties
+   This file is part of CACAO.
 
-       Contains global definitions which are used in the whole program, includes
-       some files and contains global used macros.
+   This program is free software; you can redistribute it and/or
+   modify it under the terms of the GNU General Public License as
+   published by the Free Software Foundation; either version 2, or (at
+   your option) any later version.
 
-       Authors: Reinhard Grafl              EMAIL: cacao@complang.tuwien.ac.at
-                Andreas  Krall   (andi)     EMAIL: cacao@complang.tuwien.ac.at
-       Changes: Mark     Probst  (schani)   EMAIL: cacao@complang.tuwien.ac.at
-                        Philipp  Tomsich (phil)     EMAIL: cacao@complang.tuwien.ac.at
+   This program is distributed in the hope that it will be useful, but
+   WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+   General Public License for more details.
 
-       Last Change: $Id: global.h 383 2003-07-08 21:01:26Z carolyn $
+   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
+
+   $Id: global.h 963 2004-03-15 07:37:49Z jowenn $
+
+*/
 
-*******************************************************************************/
 
-#ifndef __global_h_
-#define __global_h_
+#ifndef _GLOBAL_H
+#define _GLOBAL_H
+
+#define _GNU_SOURCE
 
 #include "config.h"
+#include "types.h"
+#include "toolbox/list.h"
 
-#define NEW_GC              /* if enabled, includes the new gc. -- phil.      */
+#if defined(USE_THREADS) && defined(NATIVE_THREADS)
+#include <pthread.h>
+#endif
 
 #define STATISTICS          /* if enabled collects program statistics         */
 
 /* 
- * JIT_MARKER_SUPPORT is the define used to toggle Just-in-time generated
- * marker functions on and off.
- *
  * SIZE_FROM_CLASSINFO toggles between the bitmap_based and the new method 
  * of determining the sizes of objects on the heap.
  */
-#undef JIT_MARKER_SUPPORT        /* phil */
 #define SIZE_FROM_CLASSINFO
 
-/* standard includes **********************************************************/
-
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
-#include <time.h>
-
-#include "toolbox/memory.h"
-#include "toolbox/chain.h"
-#include "toolbox/list.h"
-#include "toolbox/loging.h"
+/*
+ * CACAO_TYPECHECK activates typechecking (part of bytecode verification)
+ */
+#define CACAO_TYPECHECK
 
-/* system dependent types *****************************************************/
+/*
+ * 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 */
 
-#include "types.h"
+/*
+ * 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
+#endif
 
 
 /* additional data types ******************************************************/
@@ -61,8 +101,34 @@ typedef int   bool;             /* boolean data type */
 #define true  1
 #define false 0
 
+
+/* immediate data union */
+
+typedef union {
+    s4 i;
+    s8 l;
+    float f;
+    double d;
+    void *a;
+    u1 b[8];
+} imm_union;
+
+
 #define PRIMITIVETYPE_COUNT  9  /* number of primitive types */
 
+/* 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
+
 typedef void (*functionptr) (); /* generic function pointer */
 
 
@@ -75,6 +141,7 @@ void cacao_shutdown(s4 status);
 
 /* 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)              */
@@ -102,7 +169,6 @@ void cacao_shutdown(s4 status);
 #define CONSTANT_NameAndType          12
 #define CONSTANT_Utf8                  1
 
-#define CONSTANT_Arraydescriptor      13
 #define CONSTANT_UNUSED                0
 
 #define ACC_PUBLIC                0x0001
@@ -110,13 +176,14 @@ void cacao_shutdown(s4 status);
 #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
 
 /* resolve typedef cycles *****************************************************/
 
@@ -126,6 +193,10 @@ typedef struct java_objectheader java_objectheader;
 typedef struct classinfo classinfo; 
 typedef struct vftbl vftbl;
 typedef u1* methodptr;
+typedef struct fieldinfo  fieldinfo; 
+typedef struct methodinfo methodinfo; 
+typedef struct lineinfo lineinfo; 
+typedef struct arraydescriptor arraydescriptor;
 
 
 /* constant pool entries *******************************************************
@@ -147,7 +218,6 @@ typedef u1* methodptr;
     CONSTANT_Double              constant_double                    yes
     CONSTANT_NameAndType         constant_nameandtype               yes
     CONSTANT_Utf8                unicode                             no
-    CONSTANT_Arraydescriptor     constant_arraydescriptor           yes
     CONSTANT_UNUSED              -
 
 *******************************************************************************/
@@ -211,6 +281,7 @@ struct utf {
        char       *text;           /* pointer to text                            */
 };
 
+
 /* data structure of internal javastrings stored in global hashtable **********/
 
 struct literalstring {
@@ -218,56 +289,82 @@ struct literalstring {
        java_objectheader *string;  
 };
 
+
+/* data structure for storing information needed for a stacktrace across native functions*/
+struct native_stackframeinfo {
+       void *returnFromNative;
+       void *addrReturnFromNative;
+       methodinfo *method;
+       struct native_stackframeinfo *next;
+       struct native_stackframeinfo *prev;
+};
+
+typedef struct native_stackframeinfo native_stackframeinfo;
+
+struct stacktraceelement {
+#if POINTERSIZE == 8
+       u8 linenumber;
+#else
+       u4 linenumber;
+#endif
+       methodinfo *method;
+};
+
+typedef struct stacktraceelement stacktraceelement;
+
+/* data structure for calls from c code to java methods */
+
+struct jni_callblock {
+       u1 itemtype;
+       u8 item;
+};
+
+typedef struct jni_callblock jni_callblock;
+
+
 /* data structure for accessing hashtables ************************************/
 
 typedef struct {            
-  u4 size;
-  u4 entries;        /* number of entries in the table */
-  void **ptr;        /* pointer to hashtable */
+       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     */
+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;
 
+
 typedef struct {            /* NameAndType (Field or Method)                  */
        utf *name;              /* field/method name                              */
        utf *descriptor;        /* field/method type descriptor string            */
 } constant_nameandtype;
 
-/*  arraydescriptor describes array types. Basic array types contain their
-       type in the arraytype field, objectclass contains a class pointer for
-       arrays of objects (arraytype == ARRAYTYPE_OBJECT), elementdescriptor
-       contains a pointer to an arraydescriptor which describes the element
-       types in the case of arrays of arrays (arraytype == ARRAYTYPE_ARRAY).
-*/
-
-typedef struct constant_arraydescriptor {
-       int arraytype;
-       classinfo *objectclass;
-       struct constant_arraydescriptor *elementdescriptor;
-} constant_arraydescriptor;
-
 
 /* data structures of the runtime system **************************************/
 
@@ -285,22 +382,25 @@ struct java_objectheader {              /* header for all objects             */
 
 /* arrays **********************************************************************
 
-       All arrays are objects (they need the object header with a pointer to a
-       vvftbl (array class table). There is only one class for all arrays. The
-       type of an array is stored directly in the array object. Following types
-       are defined:
+       All arrays are objects (they need the object header with a pointer
+       to a vftbl (array class table). There is one class for each array
+       type. The array type is described by an arraydescriptor struct
+       which is referenced by the vftbl.
 */
 
-#define ARRAYTYPE_INT      0
-#define ARRAYTYPE_LONG     1
-#define ARRAYTYPE_FLOAT    2
-#define ARRAYTYPE_DOUBLE   3
-#define ARRAYTYPE_BYTE     4
-#define ARRAYTYPE_CHAR     5
-#define ARRAYTYPE_SHORT    6
-#define ARRAYTYPE_BOOLEAN  7
-#define ARRAYTYPE_OBJECT   8
-#define ARRAYTYPE_ARRAY    9
+/* 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                      */
@@ -308,7 +408,6 @@ typedef struct java_arrayheader {       /* header for all arrays              */
 #ifdef SIZE_FROM_CLASSINFO
        s4 alignedsize; /* phil */
 #endif
-       s4 arraytype;                       /* array type from previous list      */
 } java_arrayheader;
 
 
@@ -363,51 +462,56 @@ typedef struct java_longarray {
 
 typedef struct java_objectarray {
        java_arrayheader header;
-       classinfo *elementtype;
        java_objectheader *data[1];
 } java_objectarray;
 
-typedef struct java_arrayarray {
-       java_arrayheader header;
-       constant_arraydescriptor *elementdescriptor;
-       java_arrayheader *data[1];
-} java_arrayarray;
-
 
 /* 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      *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     *arrayvftbl;               /* vftbl of primitive array class    */
 } primitivetypeinfo;
 
+
 /* field, method and class structures *****************************************/
 
+#include "sets.h"
+typedef        struct xtafldinfo {
+       bool       fieldChecked;                
+       classinfo *fldClassType;
+       classSet  *XTAclassSet;          /* field class type set                  */
+} xtafldinfo;
+
+
 /* fieldinfo ******************************************************************/
 
-typedef struct fieldinfo {/* field of a class                                 */
-       s4       flags;       /* ACC flags                                        */
-       s4       type;        /* basic data type                                  */
+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) */
+       s4  offset;           /* offset from start of object (instance variables) */
 
-       union {               /* storage for static values (class variables)      */
-               s4 i; 
-               s8 l;
-               float f;
-               double d;
-               void *a; 
-       } value;
+       imm_union value;      /* storage for static values (class variables)      */
 
-} fieldinfo;
+       classinfo *class;     /* needed by typechecker. Could be optimized        */
+                             /* away by using constant_FMIref instead of         */
+                             /* fieldinfo throughout the compiler.               */
+       
+       xtafldinfo *xta;
+};
 
 struct basicblock;
 
+
 /* exceptiontable *************************************************************/
 
 typedef struct xtable { /* exceptiontable entry in a method           */ 
@@ -435,15 +539,42 @@ typedef struct exceptiontable { /* exceptiontable entry in a method           */
 } exceptiontable;
 
 
+/* 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 *****************************************************************/
 
-typedef struct methodinfo {         /* method structure                       */
+struct methodinfo {                 /* method structure                       */
        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*/
+       
        classinfo *class;               /* class, the method belongs to           */
        s4         vftblindex;          /* index of method in virtual function table
                                           (if it is a virtual method)            */
@@ -453,22 +584,28 @@ typedef struct methodinfo {         /* method structure                       */
        u1        *jcode;               /* pointer to JavaVM code                 */
 
        s4         exceptiontablelength;/* exceptiontable length                  */
-       exceptiontable *exceptiontable; 
-                                    /* the exceptiontable                     */
+       exceptiontable *exceptiontable; /* the exceptiontable                     */
+
+       u2      thrownexceptionscount; /*number of exceptions declared to be thrown by a method*/
+       classinfo **thrownexceptions;  /*array of classinfos of declared exceptions*/
+
+       u2      linenumbercount;        /*number of linenumber attributes*/
+       lineinfo *linenumbers;          /*array of lineinfo items (start_pc,line_number)*/
 
        u1        *stubroutine;         /* stub for compiling or calling natives  */    
        s4         mcodelength;         /* legth of generated machine code        */
        u1        *mcode;               /* pointer to machine code                */
        u1        *entrypoint;          /* entry point in machine code            */
 
-        s4        methodUsed;          /* -1=marked (might be used) 0=not used 1=used CO-RT*/
-       s4        numSubDefs;           /* # sub definitions that could be used   */
+       /*rtainfo   rta;*/
+       xtainfo    *xta;
 
-       s4          natCalls;           /* number of methods  calls               */
-       
-//     methodinfo *natCalledMethods;   /* methods called table                   */
-
-} methodinfo;
+       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;
+};
 
 
 /* innerclassinfo *************************************************************/
@@ -480,13 +617,23 @@ typedef struct innerclassinfo {
        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 */
 
        s4          flags;            /* ACC flags                                */
-       utf        *name;             /* class name                               */ 
+       utf        *name;             /* class name                               */
 
        s4          cpcount;          /* number of entries in constant pool       */
        u1         *cptags;           /* constant pool tags                       */
@@ -508,21 +655,19 @@ struct classinfo {                /* class structure                          */
        listnode    listnode;         /* linkage                                  */
 
        bool        initialized;      /* true, if class already initialised       */ 
+       bool        loaded;           /* true, if class already loaded            */
        bool        linked;           /* true, if class already linked            */
-       s4          index;            /* hierarchy depth (classes) or index
+       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 */
+                                                                        allocation size on the heap              */
 #endif
 
        vftbl      *vftbl;            /* pointer to virtual function table        */
 
        methodinfo *finalizer;        /* finalizer method                         */
-#ifdef JIT_MARKER_SUPPORT
-       methodinfo *marker; 
-#endif
 
     u2             innerclasscount;   /* number of inner classes              */
     innerclassinfo *innerclass;
@@ -530,13 +675,17 @@ struct classinfo {                /* class structure                          */
     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             */
-
-       classinfo  *impldBy;          /* implemented by class pointer             */
-       classinfo  *nextimpldBy;      /* ptr to next class in impldBy class list  */
+       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;       /* 0 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 ******************************************************
 
@@ -599,10 +748,13 @@ struct vftbl {
 
        classinfo   *class;                /* class, the vtbl belongs to          */
 
+       arraydescriptor *arraydesc;        /* for array classes, otherwise NULL   */
+
        s4           vftbllength;          /* virtual function table length       */
        s4           interfacetablelength; /* interface table length              */
 
        s4           baseval;              /* base for runtime type check         */
+                                          /* (-index for interfaces)             */
        s4           diffval;              /* high - base for runtime type check  */
 
        s4          *interfacevftbllength; /* length of interface vftbls          */
@@ -613,10 +765,33 @@ struct vftbl {
 #define VFTBLINTERFACETABLE(v,i)       (v)->interfacetable[-i]
 
 
+/* arraydescriptor ************************************************************
+
+    For every array class an arraydescriptor is allocated which
+    describes the array class.
+       The arraydescriptor is referenced from the vftbl of the array
+       class.
+
+*******************************************************************************/
+
+struct arraydescriptor {
+       vftbl *componentvftbl;   /* vftbl of the component type, NULL for primit. */
+       vftbl *elementvftbl;     /* vftbl of the element type, NULL for primitive */
+       short  arraytype;        /* ARRAYTYPE_* constant                          */
+       short  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                  */
+       short  elementtype;      /* ARRAYTYPE_* constant                          */
+};
+
+
 /* references to some system classes ******************************************/
 
 extern classinfo *class_java_lang_Object;
 extern classinfo *class_java_lang_String;
+extern classinfo *class_java_lang_Throwable;
+extern classinfo *class_java_lang_Cloneable;
+extern classinfo *class_java_io_Serializable;
 extern classinfo *class_java_lang_ClassCastException;
 extern classinfo *class_java_lang_NullPointerException;
 extern classinfo *class_java_lang_ArrayIndexOutOfBoundsException;
@@ -625,7 +800,37 @@ extern classinfo *class_java_lang_OutOfMemoryError;
 extern classinfo *class_java_lang_ArithmeticException;
 extern classinfo *class_java_lang_ArrayStoreException;
 extern classinfo *class_java_lang_ThreadDeath;
-extern classinfo *class_array;
+
+/* pseudo classes for the type checker ****************************************/
+
+/*
+ * pseudo_class_Arraystub
+ *     (extends Object implements Cloneable, java.io.Serializable)
+ *
+ *     If two arrays of incompatible component types are merged,
+ *     the resulting reference has no accessible components.
+ *     The result does, however, implement the interfaces Cloneable
+ *     and java.io.Serializable. This pseudo class is used internally
+ *     to represent such results. (They are *not* considered arrays!)
+ *
+ * pseudo_class_Null
+ *
+ *     This pseudo class is used internally to represent the
+ *     null type.
+ *
+ * pseudo_class_New
+ *
+ *     This pseudo class is used internally to represent the
+ *     the 'uninitialized object' type.
+ */
+
+extern classinfo *pseudo_class_Arraystub;
+extern classinfo *pseudo_class_Null;
+extern classinfo *pseudo_class_New;
+extern vftbl *pseudo_class_Arraystub_vftbl;
+
+extern utf *array_packagename;
+
 
 /* instances of some system classes *******************************************/
 
@@ -643,21 +848,23 @@ extern java_objectheader *proto_java_lang_ThreadDeath;
 
 extern bool compileall;
 extern bool runverbose;         
+extern bool verboseexception;         
 extern bool verbose;         
 extern bool opt_rt;             /* Rapid Type Analysis for better inlining CO-RT*/
 extern bool opt_xta;            /* X Type Analysis for better inlining    CO-XTA*/
+extern bool opt_vta;            /* Variable Type Analysis for better inlining    CO-VTA*/
+extern bool opt_verify;         /* true if classfiles should be verified      */
+#ifdef TYPECHECK_VERBOSE_OPT
+extern bool typecheckverbose;
+#endif
 
-extern int pClassHeir;
-extern int pCallgraph;
-extern int pOpcodes;
-extern int pStats;
+/*extern int pClassHeir;*/
+/*extern int pCallgraph;*/
+/*extern int pOpcodes;*/
+/*extern int pStats;*/
 
-extern void RT_jit_parse(methodinfo *m);
-extern void printCallgraph ();
-extern void printRThierarchyInfo(methodinfo *m);
-extern void printObjectClassHeirarchy();
+/*extern void RT_jit_parse(methodinfo *m);*/
 
-extern void XTA_jit_parse(methodinfo *m);
 
 /* statistic variables ********************************************************/
 
@@ -673,12 +880,68 @@ extern int count_class_inits;
 extern int count_utf_new;
 extern int count_utf_new_found;
 
+
 /* 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)
+extern pthread_mutex_t compiler_mutex;
+extern int cast_counter;
+
+void cast_lock();
+void cast_lock2();
+void cast_unlock();
 #endif
 
+#endif /* _GLOBAL_H */
+
 
 /*
  * These are local overrides for various environment variables in Emacs.