1 /* src/vm/global.h - global definitions
3 Copyright (C) 1996-2005, 2007, 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 $Id: global.h 8123 2007-06-20 23:50:55Z michi $
37 /* additional data types ******************************************************/
39 typedef void *voidptr; /* generic pointer */
40 typedef void (*functionptr) (void); /* generic function pointer */
41 typedef u1* methodptr;
43 typedef unsigned int bool; /* boolean data type */
49 #if defined(ENABLE_SSA)
50 /* immediate to get an addidional target Local Var Index */
51 /* for IINC in Combination with SSA */
58 /* immediate data union */
68 #if defined(ENABLE_SSA)
74 /* alignment macros ***********************************************************/
76 #define ALIGN_2(a) do { if ((a) & 0x1) (a)++; } while (0)
79 /* forward typedefs ***********************************************************/
81 typedef struct java_objectheader java_objectheader;
82 typedef struct java_objectarray java_objectarray;
85 #define MAX_ALIGN 8 /* most generic alignment for JavaVM values */
88 /* basic data types ***********************************************************/
90 /* The JavaVM types must numbered in the same order as the ICMD_Ixxx
91 to ICMD_Axxx instructions (LOAD and STORE). All other types can be
92 numbered arbitrarily. */
100 #define TYPE_RET 8 /* must not share bits with TYPE_FLT or TYPE_LNG */
105 #define IS_INT_LNG_TYPE(a) (!((a) & TYPE_FLT))
106 #define IS_FLT_DBL_TYPE(a) ((a) & TYPE_FLT)
107 #define IS_2_WORD_TYPE(a) ((a) & TYPE_LNG)
109 #define IS_INT_TYPE(a) ((a) == TYPE_INT)
110 #define IS_LNG_TYPE(a) ((a) == TYPE_LNG)
111 #define IS_FLT_TYPE(a) ((a) == TYPE_FLT)
112 #define IS_DBL_TYPE(a) ((a) == TYPE_DBL)
113 #define IS_ADR_TYPE(a) ((a) == TYPE_ADR)
115 #define IS_VOID_TYPE(a) ((a) == TYPE_VOID)
118 /* some Java related defines **************************************************/
120 #define JAVA_VERSION "1.5.0" /* this version is supported by CACAO */
121 #define CLASS_VERSION "50.0"
124 /* Java class file constants **************************************************/
126 #define MAGIC 0xCAFEBABE
127 #define MAJOR_VERSION 50
128 #define MINOR_VERSION 0
131 /* Constant pool tags *********************************************************/
133 #define CONSTANT_Class 7
134 #define CONSTANT_Fieldref 9
135 #define CONSTANT_Methodref 10
136 #define CONSTANT_InterfaceMethodref 11
137 #define CONSTANT_String 8
138 #define CONSTANT_Integer 3
139 #define CONSTANT_Float 4
140 #define CONSTANT_Long 5
141 #define CONSTANT_Double 6
142 #define CONSTANT_NameAndType 12
143 #define CONSTANT_Utf8 1
145 #define CONSTANT_UNUSED 0
148 /* Class/Field/Method access and property flags *******************************/
150 #define ACC_UNDEF -1 /* used internally */
151 #define ACC_NONE 0 /* used internally */
153 #define ACC_PUBLIC 0x0001
154 #define ACC_PRIVATE 0x0002
155 #define ACC_PROTECTED 0x0004
156 #define ACC_STATIC 0x0008
157 #define ACC_FINAL 0x0010
158 #define ACC_SUPER 0x0020
159 #define ACC_SYNCHRONIZED 0x0020
160 #define ACC_VOLATILE 0x0040
161 #define ACC_BRIDGE 0x0040
162 #define ACC_TRANSIENT 0x0080
163 #define ACC_VARARGS 0x0080
164 #define ACC_NATIVE 0x0100
165 #define ACC_INTERFACE 0x0200
166 #define ACC_ABSTRACT 0x0400
167 #define ACC_STRICT 0x0800
168 #define ACC_SYNTHETIC 0x1000
169 #define ACC_ANNOTATION 0x2000
170 #define ACC_ENUM 0x4000
171 #define ACC_MIRANDA 0x8000
173 /* special flags used in classinfo ********************************************/
175 #define ACC_CLASS_REFLECT_MASK 0x0000ffff/* flags reported by reflection */
177 #define ACC_CLASS_PRIMITIVE 0x00010000/* class is a primitive class */
178 #define ACC_CLASS_HAS_POINTERS 0x00020000/* instance contains pointers */
179 #define ACC_CLASS_SOFT_REFERENCE 0x00040000
180 #define ACC_CLASS_WEAK_REFERENCE 0x00080000
181 #define ACC_CLASS_PHANTOM_REFERENCE 0x00100000
184 /* special flags used in methodinfo *******************************************/
186 #define ACC_METHOD_IMPLEMENTED 0x00010000 /* there is an implementation */
187 #define ACC_METHOD_MONOMORPHIC 0x00020000 /* currently monomorphic method */
190 /* data structures of the runtime system **************************************/
192 /* java_objectheader ***********************************************************
194 All objects (and arrays) which resides on the heap need the
195 following header at the beginning of the data structure.
197 TODO: Include detailed description from the Wiki (ObjectHeader) here.
199 *******************************************************************************/
201 #define HDRFLAG_FLC 0x01
202 #define HDRFLAG_MARK1 0x02
203 #define HDRFLAG_MARK2 0x04
204 #define HDRFLAG_UNCOLLECTABLE 0x08
205 #define HDRFLAG_HASH_TAKEN 0x10
206 #define HDRFLAG_HASH_ATTACHED 0x20
207 #define HDRFLAG_REFERENCING 0x40
209 struct java_objectheader { /* header for all objects */
210 struct _vftbl *vftbl; /* pointer to virtual function table */
211 #if defined(ENABLE_THREADS)
212 struct lock_record_t *monitorPtr;
214 #if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO)
215 ptrint hdrflags; /* word containing the FLC and GC bits */
220 /* arrays **********************************************************************
222 All arrays are objects (they need the object header with a pointer
223 to a vftbl (array class table). There is one class for each array
224 type. The array type is described by an arraydescriptor struct
225 which is referenced by the vftbl.
228 typedef struct java_arrayheader { /* header for all arrays */
229 java_objectheader objheader; /* object header */
230 s4 size; /* array size */
235 /* structs for all kinds of arrays ********************************************/
237 /* booleanarray and bytearray need identical memory layout (access methods
238 use the same machine code */
240 typedef struct java_booleanarray {
241 java_arrayheader header;
245 typedef struct java_bytearray {
246 java_arrayheader header;
250 typedef struct java_chararray {
251 java_arrayheader header;
255 typedef struct java_shortarray {
256 java_arrayheader header;
260 typedef struct java_intarray {
261 java_arrayheader header;
265 typedef struct java_longarray {
266 java_arrayheader header;
270 typedef struct java_floatarray {
271 java_arrayheader header;
275 typedef struct java_doublearray {
276 java_arrayheader header;
280 /* objectarray and arrayarray need identical memory layout (access methods
281 use the same machine code */
283 struct java_objectarray {
284 java_arrayheader header;
285 java_objectheader *data[1];
289 /* global constants related to the verifier ***********************************/
291 /* The verifier needs additional variables in the variable array. Since these */
292 /* must be reserved and set by parse.c and stack.c, we define these numbers */
293 /* here to avoid mysterious hard-coded constants. */
294 /* stack.c needs an extra variable if the verifier is disabled. */
296 #if defined(ENABLE_VERIFIER)
297 # define VERIFIER_EXTRA_LOCALS 1
298 # define VERIFIER_EXTRA_VARS 1
299 # define STACK_EXTRA_VARS 0
301 # define VERIFIER_EXTRA_LOCALS 0
302 # define VERIFIER_EXTRA_VARS 0
303 # define STACK_EXTRA_VARS 1
306 #endif /* _GLOBAL_H */
310 * These are local overrides for various environment variables in Emacs.
311 * Please do not remove this and leave it at the end of the file, where
312 * Emacs will automagically detect them.
313 * ---------------------------------------------------------------------
316 * indent-tabs-mode: t
320 * vim:noexpandtab:sw=4:ts=4: