/* src/vm/jit/jit.h - code generation header
- Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates,
- R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner,
- C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger,
- Institut f. Computersprachen - TU Wien
+ Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+ C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
+ E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
+ J. Wenninger, Institut f. Computersprachen - TU Wien
This file is part of CACAO.
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.
+ Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+ 02110-1301, USA.
- Contact: cacao@complang.tuwien.ac.at
+ Contact: cacao@cacaojvm.org
Authors: Andreas Krall
Reinhard Grafl
Changes: Christian Thalinger
+ Edwin Steiner
- $Id: jit.h 3328 2005-10-04 18:50:07Z twisti $
+ $Id: jit.h 4524 2006-02-16 19:39:36Z christian $
*/
typedef struct subroutineinfo subroutineinfo;
+#include "config.h"
+#include "vm/types.h"
+
#include "toolbox/chain.h"
#include "vm/global.h"
-#include "vm/references.h"
#include "vm/method.h"
-#include "vm/jit/codegen.inc.h"
+#include "vm/references.h"
+#include "vm/statistics.h"
+#include "vm/jit/codegen-common.h"
#include "vm/jit/verify/typeinfo.h"
-/**************************** resolve typedef-cycles **************************/
+/* common jit/codegen macros **************************************************/
+
+#if defined(ENABLE_STATISTICS)
+# define COUNT(x) (x)++
+# define COUNT_SPILLS count_spills++
+#else
+# define COUNT(x) /* nothing */
+# define COUNT_SPILLS /* nothing */
+#endif
+
/************************** stack element structure ***************************/
#define SAVEDVAR 1 /* variable has to survive method invocations */
#define INMEMORY 2 /* variable stored in memory */
#define SAVEDTMP 4 /* temporary variable using a saved register */
-#define TMPARG 8 /* temporary variable using a argument register */
+#define TMPARG 8 /* temporary variable using a arg register */
+#define STCOPY 16 /* there is another stackslot alive */
+ /* using the same register/memory location */
/* variable kinds */
struct stackelement {
stackptr prev; /* pointer to next element towards bottom */
s4 type; /* slot type of stack element */
-#ifdef CACAO_TYPECHECK
+#ifdef ENABLE_VERIFIER
typeinfo typeinfo; /* info on reference types */
#endif
s4 flags; /* flags (SAVED, INMEMORY) */
#define INSTRUCTION_PUTCONST_FIELDREF(iptr) \
((unresolved_field *)((iptr)[1].target))
-/**************************** basic block structure ***************************/
+
+/* basicblock *****************************************************************/
-/* flags */
+/* flags */
+
+#define BBDELETED -2
+#define BBUNDEF -1
+#define BBREACHED 0
+#define BBFINISHED 1
-#define BBDELETED -2
-#define BBUNDEF -1
-#define BBREACHED 0
-#define BBFINISHED 1
#define BBTYPECHECK_UNDEF 2
#define BBTYPECHECK_REACHED 3
-#define BBTYPE_STD 0 /* standard basic block type */
-#define BBTYPE_EXH 1 /* exception handler basic block type */
-#define BBTYPE_SBR 2 /* subroutine basic block type */
+#define BBTYPE_STD 0 /* standard basic block type */
+#define BBTYPE_EXH 1 /* exception handler basic block type */
+#define BBTYPE_SBR 2 /* subroutine basic block type */
struct basicblock {
- int flags; /* used during stack analysis, init with -1 */
- int type; /* basic block type (std, xhandler, subroutine*/
+ s4 debug_nr; /* basic block number */
+ s4 flags; /* used during stack analysis, init with -1 */
+ s4 type; /* basic block type (std, xhandler, subroutine*/
instruction *iinstr; /* pointer to intermediate code instructions */
- int icount; /* number of intermediate code instructions */
- int mpc; /* machine code pc at start of block */
+ s4 icount; /* number of intermediate code instructions */
+ s4 mpc; /* machine code pc at start of block */
stackptr instack; /* stack at begin of basic block */
stackptr outstack; /* stack at end of basic block */
- int indepth; /* stack depth at begin of basic block */
- int outdepth; /* stack depth end of basic block */
- int pre_count; /* count of predecessor basic blocks */
- struct branchref *branchrefs; /* list of branches to be patched */
+ s4 indepth; /* stack depth at begin of basic block */
+ s4 outdepth; /* stack depth end of basic block */
+ s4 pre_count; /* count of predecessor basic blocks */
+ branchref *branchrefs; /* list of branches to be patched */
basicblock *next; /* used to build a BB list (instead of array) */
- int lflags; /* used during loop copying, init with 0 */
+ s4 lflags; /* used during loop copying, init with 0 */
basicblock *copied_to; /* points to the copy of this basic block */
/* when loop nodes are copied */
- int debug_nr;
+ stackptr stack; /* start of stack array for this block */
};
#define ICMD_LMULPOW2 215
-#define ICMD_ARRAYCHECKCAST 216
-
#define ICMD_INLINE_START 251 /* instruction before inlined method */
#define ICMD_INLINE_END 252 /* instruction after inlined method */
+#define ICMD_INLINE_GOTO 253 /* jump to caller of inlined method */
#define ICMD_BUILTIN 255 /* internal opcode */
/* function prototypes ********************************************************/
-functionptr jit_compile(methodinfo *m); /* compile a method with jit compiler */
+/* compiler initialisation */
+void jit_init(void);
-void jit_init(void); /* compiler initialisation */
-void jit_close(void); /* compiler finalisation */
+/* compiler finalisation */
+void jit_close(void);
-void compile_all_class_methods(classinfo *c);
+/* compile a method with jit compiler */
+u1 *jit_compile(methodinfo *m);
-void md_init(void); /* machine dependent initialization */
+/* machine dependent initialization */
+#if defined(ENABLE_JIT)
+void md_init(void);
+#endif
+
+#if defined(ENABLE_INTRP)
+void intrp_md_init(void);
+#endif
#endif /* _JIT_H */
* c-basic-offset: 4
* tab-width: 4
* End:
+ * vim:noexpandtab:sw=4:ts=4:
*/