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 7688 2007-04-12 09:05:12Z michi $
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
230 #define HDRFLAG_MARK1 0x02
231 #define HDRFLAG_MARK2 0x04
232 #define HDRFLAG_UNCOLLECTABLE 0x08
233 #define HDRFLAG_HASH_TAKEN 0x10
234 #define HDRFLAG_HASH_ATTACHED 0x20
235 #define HDRFLAG_REFERENCING 0x40
237 struct java_objectheader { /* header for all objects */
238 struct _vftbl *vftbl; /* pointer to virtual function table */
239 #if defined(ENABLE_THREADS)
240 struct lock_record_t *monitorPtr;
242 #if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO)
243 ptrint hdrflags; /* word containing the FLC and GC bits */
248 /* arrays **********************************************************************
250 All arrays are objects (they need the object header with a pointer
251 to a vftbl (array class table). There is one class for each array
252 type. The array type is described by an arraydescriptor struct
253 which is referenced by the vftbl.
256 /* CAUTION: Don't change the numerical values! These constants (with
257 * the exception of ARRAYTYPE_OBJECT) are used as indices in the
258 * primitive type table.
260 #define ARRAYTYPE_INT PRIMITIVETYPE_INT
261 #define ARRAYTYPE_LONG PRIMITIVETYPE_LONG
262 #define ARRAYTYPE_FLOAT PRIMITIVETYPE_FLOAT
263 #define ARRAYTYPE_DOUBLE PRIMITIVETYPE_DOUBLE
264 #define ARRAYTYPE_BYTE PRIMITIVETYPE_BYTE
265 #define ARRAYTYPE_CHAR PRIMITIVETYPE_CHAR
266 #define ARRAYTYPE_SHORT PRIMITIVETYPE_SHORT
267 #define ARRAYTYPE_BOOLEAN PRIMITIVETYPE_BOOLEAN
268 #define ARRAYTYPE_OBJECT PRIMITIVETYPE_VOID /* don't use as index! */
270 typedef struct java_arrayheader { /* header for all arrays */
271 java_objectheader objheader; /* object header */
272 s4 size; /* array size */
277 /* structs for all kinds of arrays ********************************************/
279 /* booleanarray and bytearray need identical memory layout (access methods
280 use the same machine code */
282 typedef struct java_booleanarray {
283 java_arrayheader header;
287 typedef struct java_bytearray {
288 java_arrayheader header;
292 typedef struct java_chararray {
293 java_arrayheader header;
297 typedef struct java_shortarray {
298 java_arrayheader header;
302 typedef struct java_intarray {
303 java_arrayheader header;
307 typedef struct java_longarray {
308 java_arrayheader header;
312 typedef struct java_floatarray {
313 java_arrayheader header;
317 typedef struct java_doublearray {
318 java_arrayheader header;
322 /* objectarray and arrayarray need identical memory layout (access methods
323 use the same machine code */
325 struct java_objectarray {
326 java_arrayheader header;
327 java_objectheader *data[1];
331 /* global constants related to the verifier ***********************************/
333 /* The verifier needs additional variables in the variable array. Since these */
334 /* must be reserved and set by parse.c and stack.c, we define these numbers */
335 /* here to avoid mysterious hard-coded constants. */
336 /* stack.c needs an extra variable if the verifier is disabled. */
338 #if defined(ENABLE_VERIFIER)
339 # define VERIFIER_EXTRA_LOCALS 1
340 # define VERIFIER_EXTRA_VARS 1
341 # define STACK_EXTRA_VARS 0
343 # define VERIFIER_EXTRA_LOCALS 0
344 # define VERIFIER_EXTRA_VARS 0
345 # define STACK_EXTRA_VARS 1
348 #endif /* _GLOBAL_H */
352 * These are local overrides for various environment variables in Emacs.
353 * Please do not remove this and leave it at the end of the file, where
354 * Emacs will automagically detect them.
355 * ---------------------------------------------------------------------
358 * indent-tabs-mode: t
362 * vim:noexpandtab:sw=4:ts=4: