-/* jit/alpha/codegen.h - code generation macros and definitions for alpha
+/* vm/jit/alpha/codegen.h - code generation macros and definitions for alpha
- Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
- Institut f. Computersprachen, TU Wien
- R. Grafl, A. Krall, C. Kruegel, C. Oates, R. Obermaisser,
- M. Probst, S. Ring, E. Steiner, C. Thalinger, D. Thuernbeck,
- P. Tomsich, J. Wenninger
+ 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
This file is part of CACAO.
Authors: Andreas Krall
Reinhard Grafl
- $Id: codegen.h 899 2004-01-22 13:24:36Z twisti $
+ $Id: codegen.h 1735 2004-12-07 14:33:27Z twisti $
*/
#ifndef _CODEGEN_H
#define _CODEGEN_H
-#include "jit.h"
+#include <ucontext.h>
-/* see also file calling.doc for explanation of calling conventions */
+/* additional functions and macros to generate code ***************************/
-/* preallocated registers *****************************************************/
+/* #define BlockPtrOfPC(pc) block+block_index[pc] */
+#define BlockPtrOfPC(pc) ((basicblock *) iptr->target)
-/* integer registers */
-
-#define REG_RESULT 0 /* to deliver method results */
-#define REG_RA 26 /* return address */
-#define REG_PV 27 /* procedure vector, must be provided by caller */
-#define REG_METHODPTR 28 /* pointer to the place from where the procedure */
- /* vector has been fetched */
-#define REG_ITMP1 25 /* temporary register */
-#define REG_ITMP2 28 /* temporary register and method pointer */
-#define REG_ITMP3 29 /* temporary register */
+#ifdef STATISTICS
+#define COUNT_SPILLS count_spills++
+#else
+#define COUNT_SPILLS
+#endif
-#define REG_ITMP1_XPTR 25 /* exception pointer = temporary register 1 */
-#define REG_ITMP2_XPC 28 /* exception pc = temporary register 2 */
-#define REG_SP 30 /* stack pointer */
-#define REG_ZERO 31 /* allways zero */
+/* gen_nullptr_check(objreg) */
-/* floating point registers */
+#define gen_nullptr_check(objreg) \
+ if (checknull) { \
+ M_BEQZ((objreg), 0); \
+ codegen_addxnullrefs(cd, mcodeptr); \
+ }
-#define REG_FRESULT 0 /* to deliver floating point method results */
-#define REG_FTMP1 28 /* temporary floating point register */
-#define REG_FTMP2 29 /* temporary floating point register */
-#define REG_FTMP3 30 /* temporary floating point register */
+#define gen_bound_check \
+ if (checkbounds) { \
+ M_ILD(REG_ITMP3, s1, OFFSET(java_arrayheader, size));\
+ M_CMPULT(s2, REG_ITMP3, REG_ITMP3);\
+ M_BEQZ(REG_ITMP3, 0);\
+ codegen_addxboundrefs(cd, mcodeptr, s2); \
+ }
-#define REG_IFTMP 28 /* temporary integer and floating point register */
+/* MCODECHECK(icnt) */
-#define INT_SAV_CNT 7 /* number of int callee saved registers */
-#define INT_ARG_CNT 6 /* number of int argument registers */
+#define MCODECHECK(icnt) \
+ if ((mcodeptr + (icnt)) > cd->mcodeend) \
+ mcodeptr = codegen_increase(cd, (u1 *) mcodeptr)
-#define FLT_SAV_CNT 8 /* number of flt callee saved registers */
-#define FLT_ARG_CNT 6 /* number of flt argument registers */
+/* M_INTMOVE:
+ generates an integer-move from register a to b.
+ if a and b are the same int-register, no code will be generated.
+*/
+
+#define M_INTMOVE(a,b) if (a != b) { M_MOV(a, b); }
+
+
+/* M_FLTMOVE:
+ generates a floating-point-move from register a to b.
+ if a and b are the same float-register, no code will be generated
+*/
+
+#define M_FLTMOVE(a,b) if (a != b) { M_FMOV(a, b); }
+
+
+/* var_to_reg_xxx:
+ this function generates code to fetch data from a pseudo-register
+ into a real register.
+ If the pseudo-register has actually been assigned to a real
+ register, no code will be emitted, since following operations
+ can use this register directly.
+
+ v: pseudoregister to be fetched from
+ tempregnum: temporary register to be used if v is actually spilled to ram
+
+ return: the register number, where the operand can be found after
+ fetching (this wil be either tempregnum or the register
+ number allready given to v)
+*/
+
+#define var_to_reg_int(regnr,v,tempnr) { \
+ if ((v)->flags & INMEMORY) { \
+ COUNT_SPILLS; \
+ M_LLD(tempnr, REG_SP, 8 * (v)->regoff); \
+ regnr = tempnr; \
+ } else regnr = (v)->regoff; \
+}
+
+
+#define var_to_reg_flt(regnr,v,tempnr) { \
+ if ((v)->flags & INMEMORY) { \
+ COUNT_SPILLS; \
+ M_DLD(tempnr, REG_SP, 8 * (v)->regoff); \
+ regnr = tempnr; \
+ } else regnr = (v)->regoff; \
+}
+
+
+/* store_reg_to_var_xxx:
+ This function generates the code to store the result of an operation
+ back into a spilled pseudo-variable.
+ If the pseudo-variable has not been spilled in the first place, this
+ function will generate nothing.
+
+ v ............ Pseudovariable
+ tempregnum ... Number of the temporary registers as returned by
+ reg_of_var.
+*/
+
+#define store_reg_to_var_int(sptr, tempregnum) { \
+ if ((sptr)->flags & INMEMORY) { \
+ COUNT_SPILLS; \
+ M_LST(tempregnum, REG_SP, 8 * (sptr)->regoff); \
+ } \
+ }
+
+#define store_reg_to_var_flt(sptr, tempregnum) { \
+ if ((sptr)->flags & INMEMORY) { \
+ COUNT_SPILLS; \
+ M_DST(tempregnum, REG_SP, 8 * (sptr)->regoff); \
+ } \
+ }
+
+
+#define M_COPY(from,to) \
+ d = reg_of_var(rd, to, REG_IFTMP); \
+ if ((from->regoff != to->regoff) || \
+ ((from->flags ^ to->flags) & INMEMORY)) { \
+ if (IS_FLT_DBL_TYPE(from->type)) { \
+ var_to_reg_flt(s1, from, d); \
+ M_FLTMOVE(s1,d); \
+ store_reg_to_var_flt(to, d); \
+ }\
+ else { \
+ var_to_reg_int(s1, from, d); \
+ M_INTMOVE(s1,d); \
+ store_reg_to_var_int(to, d); \
+ }\
+ }
+
+
+#define ICONST(r,c) \
+ if ((c) >= -32768 && (c) <= 32767) { \
+ M_LDA((r), REG_ZERO, c); \
+ } else { \
+ a = dseg_adds4(cd, (c)); \
+ M_ILD((r), REG_PV, a); \
+ }
+
+#define LCONST(r,c) \
+ if ((c) >= -32768 && (c) <= 32767) { \
+ M_LDA((r), REG_ZERO, (c)); \
+ } else { \
+ a = dseg_adds8(cd, (c)); \
+ M_LLD((r), REG_PV, a); \
+ }
/* macros to create code ******************************************************/
*(mcodeptr++) = ( (((s4)(op))<<26)|((a)<<21)|((b)<<16)|((disp)&0xffff) )
-/* macros for all used commands (see an Alpha-manual for description) *********/
+/* macros for all used commands (see an Alpha-manual for description) *********/
#define M_LDA(a,b,disp) M_MEM (0x08,a,b,disp) /* low const */
#define M_LDAH(a,b,disp) M_MEM (0x09,a,b,disp) /* high const */
*******************************************************************************/
-#define gen_resolvebranch(ip,so,to) ((s4*)(ip))[-1]|=((s4)(to)-(so))>>2&0x1fffff
+#define gen_resolvebranch(ip,so,to) \
+ ((s4 *) (ip))[-1] |= ((s4) (to) - (so)) >> 2 & 0x1fffff
-#define SOFTNULLPTRCHECK /* soft null pointer check supportet as option */
/* function prototypes */
-void codegen_init();
-void init_exceptions();
-void codegen();
-void codegen_close();
-void dseg_display(s4 *s4ptr);
+void thread_restartcriticalsection(ucontext_t*);
#endif /* _CODEGEN_H */
projects / cacao.git / blobdiff