/* src/vm/jit/parse.h - parser 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
Author: Christian Thalinger
Changes:
- $Id: parse.h 4316 2006-01-19 23:40:46Z edwin $
+ $Id: parse.h 4699 2006-03-28 14:52:32Z twisti $
*/
#include "vm/global.h"
#include "vm/jit/codegen-common.h"
-#include "vm/jit/inline/inline.h"
/* intermediate code generating macros ****************************************/
iptr->opc = ICMD_ICONST; \
iptr->val.i = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define LOADCONST_L(v) \
iptr->opc = ICMD_LCONST; \
iptr->val.l = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define LOADCONST_F(v) \
iptr->opc = ICMD_FCONST; \
iptr->val.f = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define LOADCONST_D(v) \
iptr->opc = ICMD_DCONST; \
iptr->val.d = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define LOADCONST_A(v) \
iptr->opc = ICMD_ACONST; \
iptr->val.a = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define LOADCONST_A_CLASS(v,t) \
iptr->val.a = (v); \
iptr->target = (t); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
/* ACONST instructions generated as arguments for builtin functions
iptr->val.a = (v); \
iptr->target = (t); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define OP(o) \
iptr->opc = (o); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define OP1(o,o1) \
iptr->opc = (o); \
iptr->op1 = (o1); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define OP2I(o,o1,v) \
iptr->op1 = (o1); \
iptr->val.i = (v); \
iptr->line = currentline; \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define OP2A_NOINC(o,o1,v,l) \
iptr->op1 = (o1); \
iptr->val.a = (v); \
iptr->line = (l); \
- iptr->method = inline_env->method
+ iptr->method = m
#define OP2A(o,o1,v,l) \
OP2A_NOINC(o,o1,v,l); \
PINC
#define BUILTIN(v,o1,t,l) \
- inline_env->method->isleafmethod = false; \
+ m->isleafmethod = false; \
iptr->opc = ICMD_BUILTIN; \
iptr->op1 = (o1); \
iptr->val.a = (v); \
iptr->target = (t); \
iptr->line = (l); \
- iptr->method = inline_env->method; \
+ iptr->method = m; \
PINC
#define INDEX_ONEWORD(num) \
do { \
- if ((num) < 0 || (num) >= inline_env->cumlocals) { \
- *exceptionptr = \
- new_verifyerror(inline_env->method, "Illegal local variable number"); \
- return NULL; \
- } \
+ if (((num) < 0) || ((num) >= m->maxlocals)) \
+ goto throw_illegal_local_variable_number; \
} while (0)
#define INDEX_TWOWORD(num) \
do { \
- if ((num) < 0 || ((num) + 1) >= inline_env->cumlocals) { \
- *exceptionptr = \
- new_verifyerror(inline_env->method, "Illegal local variable number"); \
- return NULL; \
- } \
+ if (((num) < 0) || (((num) + 1) >= m->maxlocals)) \
+ goto throw_illegal_local_variable_number; \
} while (0)
-#define OP1LOAD(o,o1) \
- do {if (o == ICMD_LLOAD || o == ICMD_DLOAD) \
- INDEX_TWOWORD(o1); \
- else \
- INDEX_ONEWORD(o1); \
- OP1(o,o1);} while(0)
+#define OP1LOAD(o,o1) \
+ do { \
+ if (((o) == ICMD_LLOAD) || ((o) == ICMD_DLOAD)) \
+ INDEX_TWOWORD(o1); \
+ else \
+ INDEX_ONEWORD(o1); \
+ OP1(o,o1); \
+ } while (0)
-#define OP1STORE(o,o1) \
- do {if (o == ICMD_LSTORE || o == ICMD_DSTORE) \
- INDEX_TWOWORD(o1); \
- else \
- INDEX_ONEWORD(o1); \
- OP1(o,o1);} while(0)
+#define OP1STORE(o,o1) \
+ do { \
+ if (((o) == ICMD_LSTORE) || ((o) == ICMD_DSTORE)) \
+ INDEX_TWOWORD(o1); \
+ else \
+ INDEX_ONEWORD(o1); \
+ OP1(o,o1); \
+ } while (0)
/* block generating and checking macros */
} while (0)
-/* FIXME really use cumjcodelength for the bound_checkers ? */
+#if defined(ENABLE_VERIFIER)
-#define bound_check(i) \
+#define CHECK_BYTECODE_INDEX(i) \
do { \
- if (i < 0 || i >= inline_env->cumjcodelength) { \
- /* if (i < 0 || i >= m->jcodelength) { */ \
- *exceptionptr = \
- new_verifyerror(inline_env->method, "Illegal target of jump or branch"); \
- return NULL; \
- } \
+ if (((i) < 0) || ((i) >= m->jcodelength)) \
+ goto throw_invalid_bytecode_index; \
} while (0)
-/* bound_check1 is used for the inclusive ends of exception handler ranges */
-#define bound_check1(i) \
+/* CHECK_BYTECODE_INDEX_EXCLUSIVE is used for the exclusive ends */
+/* of exception handler ranges */
+#define CHECK_BYTECODE_INDEX_EXCLUSIVE(i) \
do { \
- if (i < 0 || i > inline_env->cumjcodelength) { \
-/* if (i < 0 || i > m->jcodelength) { */ \
- *exceptionptr = \
- new_verifyerror(inline_env->method, "Illegal target of jump or branch"); \
- return NULL; \
- } \
+ if ((i) < 0 || (i) > m->jcodelength) \
+ goto throw_invalid_bytecode_index; \
} while (0)
+#else /* !ENABLE_VERIFIER */
+
+#define CHECK_BYTECODE_INDEX(i)
+#define CHECK_BYTECODE_INDEX_EXCLUSIVE(i)
+
+#endif
/* macros for byte code fetching ***********************************************
/* function prototypes ********************************************************/
-void compiler_addinitclass(classinfo *c);
-methodinfo *parse(methodinfo *m, codegendata *cd, t_inlining_globals *inline_env);
+bool parse(jitdata *jd);
#endif /* _PARSE_H */