1 /* src/vm/global.h - global definitions
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: Reinhard Grafl
35 $Id: global.h 7561 2007-03-23 19:10:35Z twisti $
47 /* additional data types ******************************************************/
49 typedef void *voidptr; /* generic pointer */
50 typedef void (*functionptr) (void); /* generic function pointer */
51 typedef u1* methodptr;
53 typedef unsigned int bool; /* boolean data type */
59 #if defined(ENABLE_SSA)
60 /* immediate to get an addidional target Local Var Index */
61 /* for IINC in Combination with SSA */
68 /* immediate data union */
78 #if defined(ENABLE_SSA)
84 /* forward typedefs ***********************************************************/
86 typedef struct java_objectheader java_objectheader;
87 typedef struct java_objectarray java_objectarray;
90 #define MAX_ALIGN 8 /* most generic alignment for JavaVM values */
93 /* basic data types ***********************************************************/
95 /* The JavaVM types must numbered in the same order as the ICMD_Ixxx
96 to ICMD_Axxx instructions (LOAD and STORE). All other types can be
97 numbered arbitrarily. */
105 #define TYPE_RET 8 /* must not share bits with TYPE_FLT or TYPE_LNG */
110 #define IS_INT_LNG_TYPE(a) (!((a) & TYPE_FLT))
111 #define IS_FLT_DBL_TYPE(a) ((a) & TYPE_FLT)
112 #define IS_2_WORD_TYPE(a) ((a) & TYPE_LNG)
114 #define IS_INT_TYPE(a) ((a) == TYPE_INT)
115 #define IS_LNG_TYPE(a) ((a) == TYPE_LNG)
116 #define IS_FLT_TYPE(a) ((a) == TYPE_FLT)
117 #define IS_DBL_TYPE(a) ((a) == TYPE_DBL)
118 #define IS_ADR_TYPE(a) ((a) == TYPE_ADR)
120 #define IS_VOID_TYPE(a) ((a) == TYPE_VOID)
123 /* primitive data types *******************************************************/
125 /* These values are used in parsed descriptors and in some other
126 places were the different types handled internally as TYPE_INT have
127 to be distinguished. */
129 #define PRIMITIVETYPE_COUNT 11 /* number of primitive types (+ dummies) */
131 /* CAUTION: Don't change the numerical values! These constants are
132 used as indices into the primitive type table. */
134 #define PRIMITIVETYPE_INT TYPE_INT
135 #define PRIMITIVETYPE_LONG TYPE_LNG
136 #define PRIMITIVETYPE_FLOAT TYPE_FLT
137 #define PRIMITIVETYPE_DOUBLE TYPE_DBL
138 #define PRIMITIVETYPE_DUMMY1 TYPE_ADR /* not used! */
139 #define PRIMITIVETYPE_BYTE 5
140 #define PRIMITIVETYPE_CHAR 6
141 #define PRIMITIVETYPE_SHORT 7
142 #define PRIMITIVETYPE_BOOLEAN 8
143 #define PRIMITIVETYPE_DUMMY2 9 /* not used! */
144 #define PRIMITIVETYPE_VOID TYPE_VOID
146 /* some Java related defines **************************************************/
148 #define JAVA_VERSION "1.5.0" /* this version is supported by CACAO */
149 #define CLASS_VERSION "50.0"
152 /* Java class file constants **************************************************/
154 #define MAGIC 0xCAFEBABE
155 #define MAJOR_VERSION 50
156 #define MINOR_VERSION 0
159 /* Constant pool tags *********************************************************/
161 #define CONSTANT_Class 7
162 #define CONSTANT_Fieldref 9
163 #define CONSTANT_Methodref 10
164 #define CONSTANT_InterfaceMethodref 11
165 #define CONSTANT_String 8
166 #define CONSTANT_Integer 3
167 #define CONSTANT_Float 4
168 #define CONSTANT_Long 5
169 #define CONSTANT_Double 6
170 #define CONSTANT_NameAndType 12
171 #define CONSTANT_Utf8 1
173 #define CONSTANT_UNUSED 0
176 /* Class/Field/Method access and property flags *******************************/
178 #define ACC_UNDEF -1 /* used internally */
179 #define ACC_NONE 0 /* used internally */
181 #define ACC_PUBLIC 0x0001
182 #define ACC_PRIVATE 0x0002
183 #define ACC_PROTECTED 0x0004
184 #define ACC_STATIC 0x0008
185 #define ACC_FINAL 0x0010
186 #define ACC_SUPER 0x0020
187 #define ACC_SYNCHRONIZED 0x0020
188 #define ACC_VOLATILE 0x0040
189 #define ACC_BRIDGE 0x0040
190 #define ACC_TRANSIENT 0x0080
191 #define ACC_VARARGS 0x0080
192 #define ACC_NATIVE 0x0100
193 #define ACC_INTERFACE 0x0200
194 #define ACC_ABSTRACT 0x0400
195 #define ACC_STRICT 0x0800
196 #define ACC_SYNTHETIC 0x1000
197 #define ACC_ANNOTATION 0x2000
198 #define ACC_ENUM 0x4000
199 #define ACC_MIRANDA 0x8000
201 /* special flags used in classinfo ********************************************/
203 #define ACC_CLASS_REFLECT_MASK 0x0000ffff/* flags reported by reflection */
205 #define ACC_CLASS_PRIMITIVE 0x00010000/* class is a primitive class */
206 #define ACC_CLASS_HAS_POINTERS 0x00020000/* instance contains pointers */
207 #define ACC_CLASS_SOFT_REFERENCE 0x00040000
208 #define ACC_CLASS_WEAK_REFERENCE 0x00080000
209 #define ACC_CLASS_PHANTOM_REFERENCE 0x00100000
212 /* special flags used in methodinfo *******************************************/
214 #define ACC_METHOD_IMPLEMENTED 0x00010000 /* there is an implementation */
215 #define ACC_METHOD_MONOMORPHIC 0x00020000 /* currently monomorphic method */
218 /* data structures of the runtime system **************************************/
220 /* java_objectheader ***********************************************************
222 All objects (and arrays) which resides on the heap need the
223 following header at the beginning of the data structure.
225 TODO: Include detailed description from the Wiki (ObjectHeader) here.
227 *******************************************************************************/
229 #define HDRFLAG_FLC 0x01
231 struct java_objectheader { /* header for all objects */
232 struct _vftbl *vftbl; /* pointer to virtual function table */
233 #if defined(ENABLE_THREADS)
234 struct lock_record_t *monitorPtr;
236 #if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO)
237 ptrint hdrflags; /* word containing the FLC and GC bits */
242 /* arrays **********************************************************************
244 All arrays are objects (they need the object header with a pointer
245 to a vftbl (array class table). There is one class for each array
246 type. The array type is described by an arraydescriptor struct
247 which is referenced by the vftbl.
250 /* CAUTION: Don't change the numerical values! These constants (with
251 * the exception of ARRAYTYPE_OBJECT) are used as indices in the
252 * primitive type table.
254 #define ARRAYTYPE_INT PRIMITIVETYPE_INT
255 #define ARRAYTYPE_LONG PRIMITIVETYPE_LONG
256 #define ARRAYTYPE_FLOAT PRIMITIVETYPE_FLOAT
257 #define ARRAYTYPE_DOUBLE PRIMITIVETYPE_DOUBLE
258 #define ARRAYTYPE_BYTE PRIMITIVETYPE_BYTE
259 #define ARRAYTYPE_CHAR PRIMITIVETYPE_CHAR
260 #define ARRAYTYPE_SHORT PRIMITIVETYPE_SHORT
261 #define ARRAYTYPE_BOOLEAN PRIMITIVETYPE_BOOLEAN
262 #define ARRAYTYPE_OBJECT PRIMITIVETYPE_VOID /* don't use as index! */
264 typedef struct java_arrayheader { /* header for all arrays */
265 java_objectheader objheader; /* object header */
266 s4 size; /* array size */
271 /* structs for all kinds of arrays ********************************************/
273 /* booleanarray and bytearray need identical memory layout (access methods
274 use the same machine code */
276 typedef struct java_booleanarray {
277 java_arrayheader header;
281 typedef struct java_bytearray {
282 java_arrayheader header;
286 typedef struct java_chararray {
287 java_arrayheader header;
291 typedef struct java_shortarray {
292 java_arrayheader header;
296 typedef struct java_intarray {
297 java_arrayheader header;
301 typedef struct java_longarray {
302 java_arrayheader header;
306 typedef struct java_floatarray {
307 java_arrayheader header;
311 typedef struct java_doublearray {
312 java_arrayheader header;
316 /* objectarray and arrayarray need identical memory layout (access methods
317 use the same machine code */
319 struct java_objectarray {
320 java_arrayheader header;
321 java_objectheader *data[1];
325 /* Synchronization ************************************************************/
327 #if defined(ENABLE_THREADS)
328 void compiler_lock();
329 void compiler_unlock();
333 /* global constants related to the verifier ***********************************/
335 /* The verifier needs additional variables in the variable array. Since these */
336 /* must be reserved and set by parse.c and stack.c, we define these numbers */
337 /* here to avoid mysterious hard-coded constants. */
338 /* stack.c needs an extra variable if the verifier is disabled. */
340 #if defined(ENABLE_VERIFIER)
341 # define VERIFIER_EXTRA_LOCALS 1
342 # define VERIFIER_EXTRA_VARS 1
343 # define STACK_EXTRA_VARS 0
345 # define VERIFIER_EXTRA_LOCALS 0
346 # define VERIFIER_EXTRA_VARS 0
347 # define STACK_EXTRA_VARS 1
350 #endif /* _GLOBAL_H */
354 * These are local overrides for various environment variables in Emacs.
355 * Please do not remove this and leave it at the end of the file, where
356 * Emacs will automagically detect them.
357 * ---------------------------------------------------------------------
360 * indent-tabs-mode: t
364 * vim:noexpandtab:sw=4:ts=4: