1 /* jit/parse.h - parser header
3 Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
4 R. Grafl, A. Krall, C. Kruegel, C. Oates, R. Obermaisser,
5 M. Probst, S. Ring, E. Steiner, C. Thalinger, D. Thuernbeck,
6 P. Tomsich, J. Wenninger
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., 59 Temple Place - Suite 330, Boston, MA
25 Contact: cacao@complang.tuwien.ac.at
27 Author: Christian Thalinger
29 $Id: parse.h 1337 2004-07-21 16:00:33Z twisti $
40 /* intermediate code generating macros */
42 #define PINC iptr++;ipc++
44 #define LOADCONST_I(v) \
45 iptr->opc = ICMD_ICONST; \
48 iptr->line = currentline; \
52 #define LOADCONST_L(v) iptr->opc=ICMD_LCONST;/*iptr->op1=0*/;iptr->val.l=(v);iptr->line=currentline;iptr->method=m;PINC
53 #define LOADCONST_F(v) iptr->opc=ICMD_FCONST;/*iptr->op1=0*/;iptr->val.f=(v);iptr->line=currentline;iptr->method=m;PINC
54 #define LOADCONST_D(v) iptr->opc=ICMD_DCONST;/*iptr->op1=0*/;iptr->val.d=(v);iptr->line=currentline;iptr->method=m;PINC
55 #define LOADCONST_A(v) iptr->opc=ICMD_ACONST;/*iptr->op1=0*/;iptr->val.a=(v);iptr->line=currentline;iptr->method=m;PINC
57 /* ACONST instructions generated as arguments for builtin functions
58 * have op1 set to non-zero. This is used for stack overflow checking
60 #define LOADCONST_A_BUILTIN(v) \
61 iptr->opc=ICMD_ACONST;iptr->op1=1;iptr->val.a=(v);iptr->line=currentline;iptr->method=m;PINC
63 #define OP(o) iptr->opc=(o);/*iptr->op1=0*/;/*iptr->val.l=0*/;iptr->line=currentline;iptr->method=m;PINC
64 #define OP1(o,o1) iptr->opc=(o);iptr->op1=(o1);/*iptr->val.l=(0)*/;iptr->line=currentline;iptr->method=m;PINC
65 #define OP2I(o,o1,v) iptr->opc=(o);iptr->op1=(o1);iptr->val.i=(v);iptr->line=currentline;iptr->method=m;PINC
67 #define OP2A(o,o1,v,l) \
75 #define BUILTIN1(v,t,l) \
76 m->isleafmethod = false; \
77 iptr->opc = ICMD_BUILTIN1; \
84 #define BUILTIN2(v,t,l) m->isleafmethod=false;iptr->opc=ICMD_BUILTIN2;iptr->op1=t;\
85 iptr->val.a=(v);iptr->line=l;iptr->method=m;PINC
86 #define BUILTIN3(v,t,l) m->isleafmethod=false;iptr->opc=ICMD_BUILTIN3;iptr->op1=t;\
87 iptr->val.a=(v);iptr->line=l;iptr->method=m;PINC
90 /* We have to check local variables indices here because they are
91 * used in stack.c to index the locals array. */
93 #define INDEX_ONEWORD(num) \
95 if ((num) < 0 || (num) >= m->maxlocals) { \
97 new_verifyerror(m, "Illegal local variable number"); \
102 #define INDEX_TWOWORD(num) \
104 if ((num) < 0 || ((num) + 1) >= m->maxlocals) { \
106 new_verifyerror(m, "Illegal local variable number"); \
111 #define OP1LOAD(o,o1) \
112 do {if (o == ICMD_LLOAD || o == ICMD_DLOAD) \
118 #define OP1STORE(o,o1) \
119 do {if (o == ICMD_LSTORE || o == ICMD_DSTORE) \
125 /* block generating and checking macros */
127 #define block_insert(i) \
129 if (!(m->basicblockindex[(i)] & 1)) { \
131 m->basicblockindex[(i)] |= 1; \
136 /* FIXME really use cumjcodelength for the bound_checkers ? */
138 #define bound_check(i) \
140 /* if (i < 0 || i >= cumjcodelength) { */\
141 if (i < 0 || i >= m->jcodelength) { \
143 new_verifyerror(m, "Illegal target of jump or branch"); \
148 /* bound_check1 is used for the inclusive ends of exception handler ranges */
149 #define bound_check1(i) \
151 /* if (i < 0 || i > cumjcodelength) { */\
152 if (i < 0 || i > m->jcodelength) { \
154 new_verifyerror(m, "Illegal target of jump or branch"); \
160 /* macros for byte code fetching ***********************************************
162 fetch a byte code of given size from position p in code array jcode
164 *******************************************************************************/
166 #define code_get_u1(p) m->jcode[p]
167 #define code_get_s1(p) ((s1)m->jcode[p])
168 #define code_get_u2(p) ((((u2)m->jcode[p]) << 8) + m->jcode[p + 1])
169 #define code_get_s2(p) ((s2)((((u2)m->jcode[p]) << 8) + m->jcode[p + 1]))
170 #define code_get_u4(p) ((((u4)m->jcode[p]) << 24) + (((u4)m->jcode[p + 1]) << 16) \
171 +(((u4)m->jcode[p + 2]) << 8) + m->jcode[p + 3])
172 #define code_get_s4(p) ((s4)((((u4)m->jcode[p]) << 24) + (((u4)m->jcode[p + 1]) << 16) \
173 +(((u4)m->jcode[p + 2]) << 8) + m->jcode[p + 3]))
176 extern classinfo *rt_class;
177 extern methodinfo *rt_method;
178 extern utf *rt_descriptor;
179 extern int rt_jcodelength;
183 /* function prototypes */
185 void compiler_addinitclass(classinfo *c);
186 classSetNode * descriptor2typesL(methodinfo *m);
187 void descriptor2types(methodinfo *m);
188 methodinfo *parse(methodinfo *m);
190 #endif /* _PARSE_H */
194 * These are local overrides for various environment variables in Emacs.
195 * Please do not remove this and leave it at the end of the file, where
196 * Emacs will automagically detect them.
197 * ---------------------------------------------------------------------
200 * indent-tabs-mode: t