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 7413 2007-02-27 21:51:17Z 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_HAS_POINTERS 0x00010000/* instance contains pointers */
206 #define ACC_CLASS_SOFT_REFERENCE 0x00020000
207 #define ACC_CLASS_WEAK_REFERENCE 0x00040000
208 #define ACC_CLASS_PHANTOM_REFERENCE 0x00080000
211 /* special flags used in methodinfo *******************************************/
213 #define ACC_METHOD_IMPLEMENTED 0x00010000 /* there is an implementation */
214 #define ACC_METHOD_MONOMORPHIC 0x00020000 /* currently monomorphic method */
217 /* data structures of the runtime system **************************************/
219 /* java_objectheader ***********************************************************
221 All objects (and arrays) which resides on the heap need the
222 following header at the beginning of the data structure.
224 TODO: Include detailed description from the Wiki (ObjectHeader) here.
226 *******************************************************************************/
228 #define HDRFLAG_FLC 0x01
230 struct java_objectheader { /* header for all objects */
231 struct _vftbl *vftbl; /* pointer to virtual function table */
232 #if defined(ENABLE_THREADS)
233 struct lock_record_t *monitorPtr;
235 #if defined(ENABLE_THREADS) || defined(ENABLE_GC_CACAO)
236 ptrint hdrflags; /* word containing the FLC and GC bits */
241 /* arrays **********************************************************************
243 All arrays are objects (they need the object header with a pointer
244 to a vftbl (array class table). There is one class for each array
245 type. The array type is described by an arraydescriptor struct
246 which is referenced by the vftbl.
249 /* CAUTION: Don't change the numerical values! These constants (with
250 * the exception of ARRAYTYPE_OBJECT) are used as indices in the
251 * primitive type table.
253 #define ARRAYTYPE_INT PRIMITIVETYPE_INT
254 #define ARRAYTYPE_LONG PRIMITIVETYPE_LONG
255 #define ARRAYTYPE_FLOAT PRIMITIVETYPE_FLOAT
256 #define ARRAYTYPE_DOUBLE PRIMITIVETYPE_DOUBLE
257 #define ARRAYTYPE_BYTE PRIMITIVETYPE_BYTE
258 #define ARRAYTYPE_CHAR PRIMITIVETYPE_CHAR
259 #define ARRAYTYPE_SHORT PRIMITIVETYPE_SHORT
260 #define ARRAYTYPE_BOOLEAN PRIMITIVETYPE_BOOLEAN
261 #define ARRAYTYPE_OBJECT PRIMITIVETYPE_VOID /* don't use as index! */
263 typedef struct java_arrayheader { /* header for all arrays */
264 java_objectheader objheader; /* object header */
265 s4 size; /* array size */
270 /* structs for all kinds of arrays ********************************************/
272 /* booleanarray and bytearray need identical memory layout (access methods
273 use the same machine code */
275 typedef struct java_booleanarray {
276 java_arrayheader header;
280 typedef struct java_bytearray {
281 java_arrayheader header;
285 typedef struct java_chararray {
286 java_arrayheader header;
290 typedef struct java_shortarray {
291 java_arrayheader header;
295 typedef struct java_intarray {
296 java_arrayheader header;
300 typedef struct java_longarray {
301 java_arrayheader header;
305 typedef struct java_floatarray {
306 java_arrayheader header;
310 typedef struct java_doublearray {
311 java_arrayheader header;
315 /* objectarray and arrayarray need identical memory layout (access methods
316 use the same machine code */
318 struct java_objectarray {
319 java_arrayheader header;
320 java_objectheader *data[1];
324 /* Synchronization ************************************************************/
326 #if defined(ENABLE_THREADS)
327 void compiler_lock();
328 void compiler_unlock();
332 /* global constants related to the verifier ***********************************/
334 /* The verifier needs additional variables in the variable array. Since these */
335 /* must be reserved and set by parse.c and stack.c, we define these numbers */
336 /* here to avoid mysterious hard-coded constants. */
337 /* stack.c needs an extra variable if the verifier is disabled. */
339 #if defined(ENABLE_VERIFIER)
340 # define VERIFIER_EXTRA_LOCALS 1
341 # define VERIFIER_EXTRA_VARS 1
342 # define STACK_EXTRA_VARS 0
344 # define VERIFIER_EXTRA_LOCALS 0
345 # define VERIFIER_EXTRA_VARS 0
346 # define STACK_EXTRA_VARS 1
349 #endif /* _GLOBAL_H */
353 * These are local overrides for various environment variables in Emacs.
354 * Please do not remove this and leave it at the end of the file, where
355 * Emacs will automagically detect them.
356 * ---------------------------------------------------------------------
359 * indent-tabs-mode: t
363 * vim:noexpandtab:sw=4:ts=4: