* Removed all Id tags.
[cacao.git] / src / vm / jit / i386 / patcher.c
index 3c11891d11e67c67b5668632a11194ff3f6e786d..42f138e1d63aab9d4d4e49c11b7bd3f219a872cd 100644 (file)
@@ -1,9 +1,9 @@
 /* src/vm/jit/i386/patcher.c - i386 code patching functions
 
-   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, 2007 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.
-
-   Contact: cacao@complang.tuwien.ac.at
-
-   Authors: Christian Thalinger
-
-   Changes:
-
-   $Id: patcher.c 3461 2005-10-20 09:53:00Z edwin $
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA.
 
 */
 
 
 #include "config.h"
+
+#include <stdint.h>
+
 #include "vm/types.h"
 
+#include "vm/jit/i386/codegen.h"
+
 #include "mm/memory.h"
+
 #include "native/native.h"
+
 #include "vm/builtin.h"
-#include "vm/field.h"
+#include "vm/exceptions.h"
 #include "vm/initialize.h"
-#include "vm/options.h"
-#include "vm/references.h"
-#include "vm/jit/helper.h"
+
 #include "vm/jit/patcher.h"
+#include "vm/jit/stacktrace.h"
 
+#include "vmcore/class.h"
+#include "vmcore/field.h"
+#include "vmcore/options.h"
+#include "vm/resolve.h"
+#include "vmcore/references.h"
 
-/* patcher_get_putstatic *******************************************************
 
-   Machine code:
+/* patcher_wrapper *************************************************************
 
-   <patched call position>
-   b8 00 00 00 00             mov    $0x00000000,%eax
+   Wrapper for all patchers.  It also creates the stackframe info
+   structure.
+
+   If the return value of the patcher function is false, it gets the
+   exception object, clears the exception pointer and returns the
+   exception.
 
 *******************************************************************************/
 
-bool patcher_get_putstatic(u1 *sp)
+java_object_t *patcher_wrapper(u1 *sp, u1 *pv, u1 *ra)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       unresolved_field  *uf;
-       fieldinfo         *fi;
+       stackframeinfo     sfi;
+       u1                *xpc;
+       java_object_t     *o;
+       functionptr        f;
+       bool               result;
+       java_handle_t     *e;
+
+       /* define the patcher function */
+
+       bool (*patcher_function)(u1 *);
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       uf    = (unresolved_field *)  *((ptrint *) (sp + 0 * 4));
+       xpc = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       o   = (java_object_t *)     *((ptrint *) (sp + 4 * 4));
+       f   = (functionptr)         *((ptrint *) (sp + 0 * 4));
 
        /* calculate and set the new return address */
 
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
+       xpc = xpc - PATCHER_CALL_SIZE;
+
+       *((ptrint *) (sp + 6 * 4)) = (ptrint) xpc;
+
+       /* cast the passed function to a patcher function */
+
+       patcher_function = (bool (*)(u1 *)) (ptrint) f;
+
+       /* enter a monitor on the patching position */
 
        PATCHER_MONITORENTER;
 
-       /* get the fieldinfo */
+       /* create the stackframeinfo */
+
+       /* RA is passed as NULL, but the XPC is correct and can be used in
+          stacktrace_create_extern_stackframeinfo for
+          md_codegen_get_pv_from_pc. */
+
+       stacktrace_create_extern_stackframeinfo(&sfi, pv, sp + 7 * 4, xpc, xpc);
+
+       /* call the proper patcher function */
+
+       result = (patcher_function)(sp);
+
+       /* remove the stackframeinfo */
+
+       stacktrace_remove_stackframeinfo(&sfi);
+
+       /* check for return value and exit accordingly */
+
+       if (result == false) {
+               e = exceptions_get_and_clear_exception();
 
-       if (!(fi = resolve_field_eager(uf))) {
                PATCHER_MONITOREXIT;
 
-               return false;
+               return e;
        }
 
-       /* check if the field's class is initialized */
+       PATCHER_MARK_PATCHED_MONITOREXIT;
 
-       if (!fi->class->initialized) {
-               if (!initialize_class(fi->class)) {
-                       PATCHER_MONITOREXIT;
+       return NULL;
+}
 
+
+/* patcher_get_putstatic *******************************************************
+
+   Machine code:
+
+   <patched call position>
+   b8 00 00 00 00             mov    $0x00000000,%eax
+
+*******************************************************************************/
+
+bool patcher_get_putstatic(u1 *sp)
+{
+       u1               *ra;
+       u8                mcode;
+       unresolved_field *uf;
+       fieldinfo        *fi;
+
+       /* get stuff from the stack */
+
+       ra    = (u1 *)               *((ptrint *) (sp + 6 * 4));
+       mcode =                      *((u8 *)     (sp + 2 * 4));
+       uf    = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
+
+       /* get the fieldinfo */
+
+       if (!(fi = resolve_field_eager(uf)))
+               return false;
+
+       /* check if the field's class is initialized */
+
+       if (!(fi->class->state & CLASS_INITIALIZED))
+               if (!initialize_class(fi->class))
                        return false;
-               }
-       }
 
        /* patch back original code */
 
@@ -103,14 +167,12 @@ bool patcher_get_putstatic(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch the field value's address */
 
-       *((ptrint *) (ra + 1)) = (ptrint) &(fi->value);
-
-       PATCHER_MARK_PATCHED_MONITOREXIT;
+       *((intptr_t *) (ra + 1)) = (intptr_t) fi->value;
 
        return true;
 }
@@ -127,33 +189,21 @@ bool patcher_get_putstatic(u1 *sp)
 
 bool patcher_getfield(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       unresolved_field  *uf;
-       fieldinfo         *fi;
+       u1               *ra;
+       u8                mcode;
+       unresolved_field *uf;
+       fieldinfo        *fi;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       uf    = (unresolved_field *)  *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)               *((ptrint *) (sp + 6 * 4));
+       mcode =                      *((u8 *)     (sp + 2 * 4));
+       uf    = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(fi = resolve_field_eager(uf))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(fi = resolve_field_eager(uf)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -162,7 +212,7 @@ bool patcher_getfield(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch the field's offset */
@@ -174,8 +224,6 @@ bool patcher_getfield(u1 *sp)
        if (fi->type == TYPE_LNG)
                *((u4 *) (ra + 6 + 2)) = (u4) (fi->offset + 4);
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -191,33 +239,21 @@ bool patcher_getfield(u1 *sp)
 
 bool patcher_putfield(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       unresolved_field  *uf;
-       fieldinfo         *fi;
+       u1               *ra;
+       u8                mcode;
+       unresolved_field *uf;
+       fieldinfo        *fi;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       uf    = (unresolved_field *)  *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)               *((ptrint *) (sp + 6 * 4));
+       mcode =                      *((u8 *)     (sp + 2 * 4));
+       uf    = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(fi = resolve_field_eager(uf))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(fi = resolve_field_eager(uf)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -226,29 +262,25 @@ bool patcher_putfield(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch the field's offset */
 
        if (fi->type != TYPE_LNG) {
                *((u4 *) (ra + 2)) = (u4) (fi->offset);
-
-       else {
-               /* long code is very special:
+       }
+       else {
+               /* The long code is special:
                 *
-                * 8b 8c 24 00 00 00 00       mov    0x00000000(%esp),%ecx
-                * 8b 94 24 00 00 00 00       mov    0x00000000(%esp),%edx
                 * 89 8d 00 00 00 00          mov    %ecx,0x00000000(%ebp)
                 * 89 95 00 00 00 00          mov    %edx,0x00000000(%ebp)
                 */
 
-               *((u4 *) (ra + 7 + 7 + 2)) = (u4) (fi->offset);
-               *((u4 *) (ra + 7 + 7 + 6 + 2)) = (u4) (fi->offset + 4);
+               *((u4 *) (ra + 2))     = (u4) (fi->offset);
+               *((u4 *) (ra + 6 + 2)) = (u4) (fi->offset + 4);
        }
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -264,33 +296,21 @@ bool patcher_putfield(u1 *sp)
 
 bool patcher_putfieldconst(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       unresolved_field  *uf;
-       fieldinfo         *fi;
+       u1               *ra;
+       u8                mcode;
+       unresolved_field *uf;
+       fieldinfo        *fi;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       uf    = (unresolved_field *)  *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)               *((ptrint *) (sp + 6 * 4));
+       mcode =                      *((u8 *)     (sp + 2 * 4));
+       uf    = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(fi = resolve_field_eager(uf))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(fi = resolve_field_eager(uf)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -299,156 +319,70 @@ bool patcher_putfieldconst(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch the field's offset */
 
        if (!IS_2_WORD_TYPE(fi->type)) {
                *((u4 *) (ra + 2)) = (u4) (fi->offset);
-
-       else {
+       }
+       else {
                /* long/double code is different:
                 *
                 * c7 80 00 00 00 00 c8 01 00 00    movl   $0x1c8,0x0(%eax)
                 * c7 80 04 00 00 00 00 00 00 00    movl   $0x0,0x4(%eax)
                 */
 
-               *((u4 *) (ra + 2)) = (u4) (fi->offset);
+               *((u4 *) (ra + 2))      = (u4) (fi->offset);
                *((u4 *) (ra + 10 + 2)) = (u4) (fi->offset + 4);
        }
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
 
-/* patcher_builtin_new *********************************************************
+/* patcher_aconst **************************************************************
 
    Machine code:
 
-   c7 04 24 00 00 00 00       movl   $0x0000000,(%esp)
    <patched call postition>
+   c7 04 24 00 00 00 00       movl   $0x0000000,(%esp)
    b8 00 00 00 00             mov    $0x0000000,%eax
-   ff d0                      call   *%eax
-
-*******************************************************************************/
-
-bool patcher_builtin_new(u1 *sp)
-{
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       constant_classref *cr;
-       classinfo         *c;
-
-       /* get stuff from the stack */
-
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - (7 + 5);
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
-
-       /* get the classinfo */
-
-       if (!(c = resolve_classref_eager_nonabstract(cr))) {
-               PATCHER_MONITOREXIT;
-
-               return false;
-       }
-
-       /* patch back original code */
-
-       *((u4 *) (ra + 7 + 0)) = (u4) mcode;
-       *((u1 *) (ra + 7 + 4)) = (u1) (mcode >> 32);
-
-       /* patch the classinfo pointer */
-
-       *((ptrint *) (ra + 3)) = (ptrint) c;
-
-       /* if we show disassembly, we have to skip the nop's */
-
-       if (opt_showdisassemble)
-               ra = ra + 5;
-
-       /* patch new function address */
-
-       *((ptrint *) (ra + 7 + 1)) = (ptrint) BUILTIN_new;
-
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
-       return true;
-}
-
-
-/* patcher_builtin_newarray ****************************************************
-
-   Machine code:
-
-   c7 44 24 08 00 00 00 00    movl   $0x00000000,0x8(%esp)
-   <patched call position>
-   b8 00 00 00 00             mov    $0x00000000,%eax
-   ff d0                      call   *%eax
 
 *******************************************************************************/
 
-bool patcher_builtin_newarray(u1 *sp)
+bool patcher_aconst(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - (8 + 5);
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the classinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
-       *((u4 *) (ra + 8 + 0)) = (u4) mcode;
-       *((u1 *) (ra + 8 + 4)) = (u1) (mcode >> 32);
-
-       /* patch the class' vftbl pointer */
-
-       *((ptrint *) (ra + 4)) = (ptrint) c->vftbl;
+       *((u4 *) (ra + 0)) = (u4) mcode;
+       *((u1 *) (ra + 4)) = (u1) (mcode >> 32);
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
-       /* patch new function address */
-
-       *((ptrint *) (ra + 8 + 1)) = (ptrint) BUILTIN_newarray;
+       /* patch the classinfo pointer */
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
+       *((ptrint *) (ra + 1)) = (ptrint) c;
 
        return true;
 }
@@ -472,32 +406,20 @@ bool patcher_builtin_newarray(u1 *sp)
 bool patcher_builtin_multianewarray(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the classinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -506,18 +428,12 @@ bool patcher_builtin_multianewarray(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
-       /* patch the class' vftbl pointer */
-
-       *((ptrint *) (ra + 7 + 4)) = (ptrint) c->vftbl;
-
-       /* patch new function address */
-
-       *((ptrint *) (ra + 7 + 8 + 2 + 3 + 4 + 1)) = (ptrint) BUILTIN_multianewarray;
+       /* patch the classinfo pointer */
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
+       *((ptrint *) (ra + 7 + 4)) = (ptrint) c;
 
        return true;
 }
@@ -537,32 +453,20 @@ bool patcher_builtin_multianewarray(u1 *sp)
 bool patcher_builtin_arraycheckcast(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the classinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -571,84 +475,17 @@ bool patcher_builtin_arraycheckcast(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
-       /* patch the class' vftbl pointer */
+       /* patch the classinfo pointer */
 
-       *((ptrint *) (ra + 4)) = (ptrint) c->vftbl;
+       *((ptrint *) (ra + 4)) = (ptrint) c;
 
        /* patch new function address */
 
        *((ptrint *) (ra + 8 + 1)) = (ptrint) BUILTIN_arraycheckcast;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
-       return true;
-}
-
-
-/* patcher_builtin_arrayinstanceof *********************************************
-
-   Machine code:
-
-   c7 44 24 08 00 00 00 00    movl   $0x00000000,0x8(%esp)
-   <patched call position>
-   b8 00 00 00 00             mov    $0x00000000,%eax
-   ff d0                      call   *%eax
-
-*******************************************************************************/
-
-bool patcher_builtin_arrayinstanceof(u1 *sp)
-{
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       constant_classref *cr;
-       classinfo         *c;
-
-       /* get stuff from the stack */
-
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - (8 + 5);
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
-
-       /* get the classinfo */
-
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
-               return false;
-       }
-
-       /* patch back original code */
-
-       *((u4 *) (ra + 8 + 0)) = (u4) mcode;
-       *((u1 *) (ra + 8 + 4)) = (u1) (mcode >> 32);
-
-       /* patch the class' vftbl pointer */
-
-       *((ptrint *) (ra + 4)) = (ptrint) c->vftbl;
-
-       /* if we show disassembly, we have to skip the nop's */
-
-       if (opt_showdisassemble)
-               ra = ra + 5;
-
-       /* patch new function address */
-
-       *((ptrint *) (ra + 8 + 1)) = (ptrint) BUILTIN_arrayinstanceof;
-
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -666,32 +503,20 @@ bool patcher_builtin_arrayinstanceof(u1 *sp)
 bool patcher_invokestatic_special(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        unresolved_method *um;
        methodinfo        *m;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       um    = (unresolved_method *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       um    = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(m = resolve_method_eager(um))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(m = resolve_method_eager(um)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -700,15 +525,13 @@ bool patcher_invokestatic_special(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch stubroutine */
 
        *((ptrint *) (ra + 1)) = (ptrint) m->stubroutine;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -727,32 +550,20 @@ bool patcher_invokestatic_special(u1 *sp)
 bool patcher_invokevirtual(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        unresolved_method *um;
        methodinfo        *m;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       um    = (unresolved_method *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       um    = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(m = resolve_method_eager(um))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(m = resolve_method_eager(um)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -761,7 +572,7 @@ bool patcher_invokevirtual(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch vftbl index */
@@ -769,8 +580,6 @@ bool patcher_invokevirtual(u1 *sp)
        *((s4 *) (ra + 2 + 2)) = (s4) (OFFSET(vftbl_t, table[0]) +
                                                                   sizeof(methodptr) * m->vftblindex);
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -790,32 +599,20 @@ bool patcher_invokevirtual(u1 *sp)
 bool patcher_invokeinterface(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        unresolved_method *um;
        methodinfo        *m;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       um    = (unresolved_method *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       um    = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(m = resolve_method_eager(um))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(m = resolve_method_eager(um)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -824,7 +621,7 @@ bool patcher_invokeinterface(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch interfacetable index */
@@ -837,8 +634,6 @@ bool patcher_invokeinterface(u1 *sp)
        *((s4 *) (ra + 2 + 6 + 2)) =
                (s4) (sizeof(methodptr) * (m - m->class->methods));
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -855,32 +650,20 @@ bool patcher_invokeinterface(u1 *sp)
 bool patcher_checkcast_instanceof_flags(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -889,20 +672,18 @@ bool patcher_checkcast_instanceof_flags(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch class flags */
 
        *((s4 *) (ra + 1)) = (s4) c->flags;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
 
-/* patcher_checkcast_instanceof_interface **************************************
+/* patcher_checkcast_interface *************************************************
 
    Machine code:
 
@@ -910,40 +691,82 @@ bool patcher_checkcast_instanceof_flags(u1 *sp)
    8b 91 00 00 00 00          mov    0x00000000(%ecx),%edx
    81 ea 00 00 00 00          sub    $0x00000000,%edx
    85 d2                      test   %edx,%edx
-   0f 8e 00 00 00 00          jle    0x00000000
+   0f 8f 06 00 00 00          jg     0x00000000
+   8b 35 03 00 00 00          mov    0x3,%esi
    8b 91 00 00 00 00          mov    0x00000000(%ecx),%edx
 
 *******************************************************************************/
 
-bool patcher_checkcast_instanceof_interface(u1 *sp)
+bool patcher_checkcast_interface(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
-       /* calculate and set the new return address */
+       /* get the fieldinfo */
 
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
+       if (!(c = resolve_classref_eager(cr)))
+               return false;
 
-       PATCHER_MONITORENTER;
+       /* patch back original code */
 
-       /* get the fieldinfo */
+       *((u4 *) (ra + 0)) = (u4) mcode;
+       *((u1 *) (ra + 4)) = (u1) (mcode >> 32);
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
+       /* if we show disassembly, we have to skip the nop's */
+
+       if (opt_shownops)
+               ra = ra + 5;
+
+       /* patch super class index */
+
+       *((s4 *) (ra + 6 + 2)) = (s4) c->index;
+
+       *((s4 *) (ra + 6 + 6 + 2 + 6 + 6 + 2)) =
+               (s4) (OFFSET(vftbl_t, interfacetable[0]) -
+                         c->index * sizeof(methodptr*));
+
+       return true;
+}
+
+
+/* patcher_instanceof_interface ************************************************
+
+   Machine code:
+
+   <patched call position>
+   8b 91 00 00 00 00          mov    0x00000000(%ecx),%edx
+   81 ea 00 00 00 00          sub    $0x00000000,%edx
+   85 d2                      test   %edx,%edx
+   0f 8e 13 00 00 00          jle    0x00000000
+   8b 91 00 00 00 00          mov    0x00000000(%ecx),%edx
+
+*******************************************************************************/
 
+bool patcher_instanceof_interface(u1 *sp)
+{
+       u1                *ra;
+       u8                 mcode;
+       constant_classref *cr;
+       classinfo         *c;
+
+       /* get stuff from the stack */
+
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
+
+       /* get the fieldinfo */
+
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -952,7 +775,7 @@ bool patcher_checkcast_instanceof_interface(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch super class index */
@@ -963,8 +786,6 @@ bool patcher_checkcast_instanceof_interface(u1 *sp)
                (s4) (OFFSET(vftbl_t, interfacetable[0]) -
                          c->index * sizeof(methodptr*));
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -985,32 +806,20 @@ bool patcher_checkcast_instanceof_interface(u1 *sp)
 bool patcher_checkcast_class(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -1019,7 +828,7 @@ bool patcher_checkcast_class(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch super class' vftbl */
@@ -1027,8 +836,6 @@ bool patcher_checkcast_class(u1 *sp)
        *((ptrint *) (ra + 1)) = (ptrint) c->vftbl;
        *((ptrint *) (ra + 5 + 6 + 6 + 2 + 1)) = (ptrint) c->vftbl;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -1048,32 +855,20 @@ bool patcher_checkcast_class(u1 *sp)
 bool patcher_instanceof_class(u1 *sp)
 {
        u1                *ra;
-       java_objectheader *o;
        u8                 mcode;
        constant_classref *cr;
        classinfo         *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       cr    = (constant_classref *) *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)                *((ptrint *) (sp + 6 * 4));
+       mcode =                       *((u8 *)     (sp + 2 * 4));
+       cr    = (constant_classref *) *((ptrint *) (sp + 1 * 4));
 
        /* get the fieldinfo */
 
-       if (!(c = resolve_classref_eager(cr))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(c = resolve_classref_eager(cr)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -1082,15 +877,13 @@ bool patcher_instanceof_class(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch super class' vftbl */
 
        *((ptrint *) (ra + 1)) = (ptrint) c->vftbl;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -1107,42 +900,27 @@ bool patcher_instanceof_class(u1 *sp)
 
 bool patcher_clinit(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       classinfo         *c;
+       u1        *ra;
+       u8         mcode;
+       classinfo *c;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       c     = (classinfo *)         *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)        *((ptrint *) (sp + 6 * 4));
+       mcode =               *((u8 *)     (sp + 2 * 4));
+       c     = (classinfo *) *((ptrint *) (sp + 1 * 4));
 
        /* check if the class is initialized */
 
-       if (!c->initialized) {
-               if (!initialize_class(c)) {
-                       PATCHER_MONITOREXIT;
-
+       if (!(c->state & CLASS_INITIALIZED))
+               if (!initialize_class(c))
                        return false;
-               }
-       }
 
        /* patch back original code */
 
        *((u4 *) (ra + 0)) = (u4) mcode;
        *((u1 *) (ra + 4)) = (u1) (mcode >> 32);
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
 
@@ -1155,45 +933,32 @@ bool patcher_clinit(u1 *sp)
 
 *******************************************************************************/
 
+#ifdef ENABLE_VERIFIER
 bool patcher_athrow_areturn(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       unresolved_class  *uc;
-       classinfo         *c;
+       u1               *ra;
+       u8                mcode;
+       unresolved_class *uc;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       uc    = (unresolved_class *)  *((ptrint *) (sp + 0 * 4));
+       ra    = (u1 *)               *((ptrint *) (sp + 6 * 4));
+       mcode =                      *((u8 *)     (sp + 2 * 4));
+       uc    = (unresolved_class *) *((ptrint *) (sp + 1 * 4));
 
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
-
-       /* resolve the class */
-
-       if (!resolve_class(uc, resolveEager, false, &c)) {
-               PATCHER_MONITOREXIT;
+       /* resolve the class and check subtype constraints */
 
+       if (!resolve_class_eager_no_access_check(uc))
                return false;
-       }
 
        /* patch back original code */
 
        *((u4 *) (ra + 0)) = (u4) mcode;
        *((u1 *) (ra + 4)) = (u1) (mcode >> 32);
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
+#endif /* ENABLE_VERIFIER */
 
 
 /* patcher_resolve_native ******************************************************
@@ -1207,36 +972,24 @@ bool patcher_athrow_areturn(u1 *sp)
 
 *******************************************************************************/
 
-#if !defined(ENABLE_STATICVM)
+#if !defined(WITH_STATIC_CLASSPATH)
 bool patcher_resolve_native(u1 *sp)
 {
-       u1                *ra;
-       java_objectheader *o;
-       u8                 mcode;
-       methodinfo        *m;
-       functionptr        f;
+       u1          *ra;
+       u8           mcode;
+       methodinfo  *m;
+       functionptr  f;
 
        /* get stuff from the stack */
 
-       ra    = (u1 *)                *((ptrint *) (sp + 4 * 4));
-       o     = (java_objectheader *) *((ptrint *) (sp + 3 * 4));
-       mcode =                       *((u8 *)     (sp + 1 * 4));
-       m     = (methodinfo *)        *((ptrint *) (sp + 0 * 4));
-
-       /* calculate and set the new return address */
-
-       ra = ra - 5;
-       *((ptrint *) (sp + 4 * 4)) = (ptrint) ra;
-
-       PATCHER_MONITORENTER;
+       ra    = (u1 *)         *((ptrint *) (sp + 6 * 4));
+       mcode =                *((u8 *)     (sp + 2 * 4));
+       m     = (methodinfo *) *((ptrint *) (sp + 1 * 4));
 
        /* resolve native function */
 
-       if (!(f = native_resolve_function(m))) {
-               PATCHER_MONITOREXIT;
-
+       if (!(f = native_resolve_function(m)))
                return false;
-       }
 
        /* patch back original code */
 
@@ -1245,18 +998,16 @@ bool patcher_resolve_native(u1 *sp)
 
        /* if we show disassembly, we have to skip the nop's */
 
-       if (opt_showdisassemble)
+       if (opt_shownops)
                ra = ra + 5;
 
        /* patch native function pointer */
 
        *((ptrint *) (ra + 4)) = (ptrint) f;
 
-       PATCHER_MARK_PATCHED_MONITOREXIT;
-
        return true;
 }
-#endif /* !defined(ENABLE_STATICVM) */
+#endif /* !defined(WITH_STATIC_CLASSPATH) */
 
 
 /*