* src/vm/jit/i386/codegen.c (codegen): Implemented inlining of synchronized
[cacao.git] / src / vm / jit / parse.h
index c16f9bd6352dcb43e5c4eec77ac51c1539a8dae7..c8fd6ea5db1859de04ce76f21df6a1c4a8927e20 100644 (file)
@@ -1,9 +1,9 @@
 /* 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 $
 
 */
 
@@ -41,7 +41,6 @@
 
 #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) \
@@ -88,7 +87,7 @@
     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 */