* src/vm/class.c: Moved to C++.
[cacao.git] / src / vm / jit / powerpc / patcher.c
index bbba80d2dc8b8868c87ba605a959a0e557806a60..a4fc722b1de7077f4e5689b3c2918b3580021e45 100644 (file)
@@ -1,9 +1,8 @@
 /* src/vm/jit/powerpc/patcher.c - PowerPC code patching functions
 
-   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
+   Copyright (C) 1996-2005, 2006, 2007, 2008
+   CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
+   Copyright (C) 2008 Theobroma Systems Ltd.
 
    This file is part of CACAO.
 
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   $Id: patcher.c 7431 2007-03-01 13:49:14Z edwin $
-
 */
 
 
 #include "config.h"
 
 #include <assert.h>
+#include <stdint.h>
 
 #include "vm/types.h"
 
+#include "vm/jit/powerpc/md.h"
+
 #include "mm/memory.h"
-#include "native/native.h"
 
-#include "vm/builtin.h"
-#include "vm/exceptions.h"
-#include "vm/initialize.h"
+#include "native/native.hpp"
+
+#include "vm/jit/builtin.hpp"
+#include "vm/class.hpp"
+#include "vm/field.hpp"
+#include "vm/initialize.hpp"
+#include "vm/options.h"
+#include "vm/references.h"
+#include "vm/resolve.hpp"
 
 #include "vm/jit/asmpart.h"
-#include "vm/jit/patcher.h"
-#include "vm/jit/md.h"
 #include "vm/jit/methodheader.h"
-#include "vm/jit/stacktrace.h"
-
-#include "vmcore/class.h"
-#include "vmcore/field.h"
-#include "vmcore/options.h"
-#include "vmcore/resolve.h"
-#include "vmcore/references.h"
-
+#include "vm/jit/patcher-common.hpp"
 
-/* patcher_wrapper *************************************************************
 
-   Wrapper for all patchers.  It also creates the stackframe info
-   structure.
+/* patcher_patch_code **********************************************************
 
-   If the return value of the patcher function is false, it gets the
-   exception object, clears the exception pointer and returns the
-   exception.
+   Just patches back the original machine code.
 
 *******************************************************************************/
 
-java_objectheader *patcher_wrapper(u1 *sp, u1 *pv, u1 *ra)
+void patcher_patch_code(patchref_t *pr)
 {
-       stackframeinfo     sfi;
-       u1                *xpc;
-       java_objectheader *o;
-       u4                 mcode;
-       functionptr        f;
-       bool               result;
-       java_objectheader *e;
-
-       /* define the patcher function */
-
-       bool (*patcher_function)(u1 *);
-
-       assert(pv != NULL);
-
-       /* get stuff from the stack */
-
-       xpc = (u1 *)                *((ptrint *) (sp + 5 * 4));
-       o   = (java_objectheader *) *((ptrint *) (sp + 4 * 4));
-       f   = (functionptr)         *((ptrint *) (sp + 0 * 4));
-
-       /* Correct RA is calculated in codegen.c and stored in the patcher
-          stub stack.  There's no need to adjust xpc. */
-
-       /* store PV into the patcher function position */
-
-       *((ptrint *) (sp + 0 * 4)) = (ptrint) pv;
-
-       /* cast the passed function to a patcher function */
-
-       patcher_function = (bool (*)(u1 *)) (ptrint) f;
-
-       /* enter a monitor on the patching position */
-
-       PATCHER_MONITORENTER;
-
-       /* create the stackframeinfo */
-
-       stacktrace_create_extern_stackframeinfo(&sfi, pv, sp + 8 * 4, ra, 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();
-
-               PATCHER_MONITOREXIT;
-
-               return e;
-       }
-
-       /* patch back original code */
-
-       mcode = *((u4 *) (sp + 3 * 4));
-
-       *((u4 *) xpc) = mcode;
-
-       /* synchronize instruction cache */
-
-       md_icacheflush(xpc, 4);
-
-       PATCHER_MARK_PATCHED_MONITOREXIT;
+       // Patch back original code.
+       *((uint32_t*) pr->mpc) = pr->mcode;
 
-       return NULL;
+       // Synchronize instruction cache.
+       md_icacheflush((void*) pr->mpc, 1 * 4);
 }
 
 
-/* patcher_initialize_class ****************************************************
-
-   Initalizes a given classinfo pointer.  This function does not patch
-   any data.
-
-*******************************************************************************/
-
-bool patcher_initialize_class(u1 *sp)
-{
-       classinfo *c;
-
-       /* get stuff from the stack */
-
-       c = (classinfo *) *((ptrint *) (sp + 2 * 4));
-
-       /* check if the class is initialized */
-
-       if (!(c->state & CLASS_INITIALIZED))
-               if (!initialize_class(c))
-                       return false;
-
-       return true;
-}
-
-
-/* patcher_resolve_class *******************************************************
-
-   Resolves a given unresolved_class pointer.  This function does not
-   patch any data.
-
-*******************************************************************************/
-
-#ifdef ENABLE_VERIFIER
-bool patcher_resolve_class(u1 *sp)
+/**
+ * Check if the trap instruction at the given PC is valid.
+ *
+ * @param pc Program counter.
+ *
+ * @return true if valid, false otherwise.
+ */
+bool patcher_is_valid_trap_instruction_at(void* pc)
 {
-       unresolved_class *uc;
-
-       /* get stuff from the stack */
-
-       uc = (unresolved_class *) *((ptrint *) (sp + 2 * 4));
-
-       /* resolve the class and check subtype constraints */
-
-       if (!resolve_class_eager_no_access_check(uc))
-               return false;
+       uint32_t mcode = *((uint32_t*) pc);
 
-       return true;
+       // Check for the undefined instruction we use.
+       return (mcode == 0x00000000);
 }
-#endif /* ENABLE_VERIFIER */
 
 
 /* patcher_resolve_classref_to_classinfo ***************************************
@@ -221,31 +113,25 @@ bool patcher_resolve_class(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_resolve_classref_to_classinfo(u1 *sp)
+bool patcher_resolve_classref_to_classinfo(patchref_t *pr)
 {
-       constant_classref *cr;
-       s4                 disp;
-       u1                *pv;
-       classinfo         *c;
-
-       /* get stuff from the stack */
+       constant_classref * cr    = (constant_classref*) pr->ref;
+       uintptr_t*          datap = (uintptr_t*)         pr->datap;
 
-       cr   = (constant_classref *) *((ptrint *) (sp + 2 * 4));
-       disp =                       *((s4 *)     (sp + 1 * 4));
-       pv   = (u1 *)                *((ptrint *) (sp + 0 * 4));
+       // Resolve the class.
+       classinfo* c = resolve_classref_eager(cr);
 
-       /* get the classinfo */
-
-       if (!(c = resolve_classref_eager(cr)))
+       if (c == NULL)
                return false;
 
-       /* patch the classinfo pointer */
-
-       *((ptrint *) (pv + disp)) = (ptrint) c;
+       // Patch the class pointer.
+       *datap = (uintptr_t) c;
 
-       /* synchronize data cache */
+       // Synchronize data cache.
+       md_dcacheflush(datap, SIZEOF_VOID_P);
 
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -269,31 +155,25 @@ bool patcher_resolve_classref_to_classinfo(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_resolve_classref_to_vftbl(u1 *sp)
+bool patcher_resolve_classref_to_vftbl(patchref_t *pr)
 {
-       constant_classref *cr;
-       s4                 disp;
-       u1                *pv;
-       classinfo         *c;
+       constant_classref* cr    = (constant_classref*) pr->ref;
+       uintptr_t*         datap = (uintptr_t*)         pr->datap;
 
-       /* get stuff from the stack */
+       // Resolve the class.
+       classinfo* c = resolve_classref_eager(cr);
 
-       cr   = (constant_classref *) *((ptrint *) (sp + 2 * 4));
-       disp =                       *((s4 *)     (sp + 1 * 4));
-       pv   = (u1 *)                *((ptrint *) (sp + 0 * 4));
-
-       /* get the fieldinfo */
-
-       if (!(c = resolve_classref_eager(cr)))
+       if (c == NULL)
                return false;
 
-       /* patch super class' vftbl */
+       // Patch super class' vftbl.
+       *datap = (uintptr_t) c->vftbl;
 
-       *((ptrint *) (pv + disp)) = (ptrint) c->vftbl;
+       // Synchronize data cache.
+       md_dcacheflush(datap, SIZEOF_VOID_P);
 
-       /* synchronize data cache */
-
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -308,72 +188,28 @@ bool patcher_resolve_classref_to_vftbl(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_resolve_classref_to_flags(u1 *sp)
-{
-       constant_classref *cr;
-       s4                 disp;
-       u1                *pv;
-       classinfo         *c;
-
-       /* get stuff from the stack */
-
-       cr   = (constant_classref *) *((ptrint *) (sp + 2 * 4));
-       disp =                       *((s4 *)     (sp + 1 * 4));
-       pv   = (u1 *)                *((ptrint *) (sp + 0 * 4));
-
-       /* get the fieldinfo */
-
-       if (!(c = resolve_classref_eager(cr)))
-               return false;
-
-       /* patch class flags */
-
-       *((s4 *) (pv + disp)) = (s4) c->flags;
-
-       /* synchronize data cache */
-
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
-
-       return true;
-}
-
-
-/* patcher_resolve_native_function *********************************************
-
-   XXX
-
-*******************************************************************************/
-
-#if !defined(WITH_STATIC_CLASSPATH)
-bool patcher_resolve_native_function(u1 *sp)
+bool patcher_resolve_classref_to_flags(patchref_t *pr)
 {
-       methodinfo  *m;
-       s4           disp;
-       u1          *pv;
-       functionptr  f;
-
-       /* get stuff from the stack */
-
-       m    = (methodinfo *) *((ptrint *) (sp + 2 * 4));
-       disp =                *((s4 *)     (sp + 1 * 4));
-       pv   = (u1 *)         *((ptrint *) (sp + 0 * 4));
+       constant_classref* cr    = (constant_classref*) pr->ref;
+       int32_t*           datap = (int32_t*)           pr->datap;
 
-       /* resolve native function */
+       // Resolve the class.
+       classinfo* c = resolve_classref_eager(cr);
 
-       if (!(f = native_resolve_function(m)))
+       if (c == NULL)
                return false;
 
-       /* patch native function pointer */
+       // Patch class flags.
+       *datap = c->flags;
 
-       *((ptrint *) (pv + disp)) = (ptrint) f;
+       // Synchronize data cache.
+       md_dcacheflush(datap, SIZEOF_VOID_P);
 
-       /* synchronize data cache */
-
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
-#endif /* !defined(WITH_STATIC_CLASSPATH) */
 
 
 /* patcher_get_putstatic *******************************************************
@@ -386,41 +222,30 @@ bool patcher_resolve_native_function(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_get_putstatic(u1 *sp)
+bool patcher_get_putstatic(patchref_t *pr)
 {
-       u1               *ra;
-       u4                mcode;
-       unresolved_field *uf;
-       s4                disp;
-       u1               *pv;
-       fieldinfo        *fi;
-
-       /* get stuff from the stack */
+       unresolved_field* uf    = (unresolved_field*) pr->ref;
+       uintptr_t*        datap = (uintptr_t*)        pr->datap;
 
-       ra    = (u1 *)                *((ptrint *) (sp + 5 * 4));
-       mcode =                       *((u4 *)     (sp + 3 * 4));
-       uf    = (unresolved_field *)  *((ptrint *) (sp + 2 * 4));
-       disp  =                       *((s4 *)     (sp + 1 * 4));
-       pv    = (u1 *)                *((ptrint *) (sp + 0 * 4));
+       // Resolve the field.
+       fieldinfo* fi = resolve_field_eager(uf);
 
-       /* get the fieldinfo */
-
-       if (!(fi = resolve_field_eager(uf)))
+       if (fi == NULL)
                return false;
 
-       /* check if the field's class is initialized */
-
-       if (!(fi->class->state & CLASS_INITIALIZED))
-               if (!initialize_class(fi->class))
+       // Check if the field's class is initialized.
+       if (!(fi->clazz->state & CLASS_INITIALIZED))
+               if (!initialize_class(fi->clazz))
                        return false;
 
-       /* patch the field value's address */
+       // Patch the field value's address.
+       *datap = (uintptr_t) fi->value;
 
-       *((ptrint *) (pv + disp)) = (ptrint) &(fi->value);
+       // Synchronize data cache.
+       md_dcacheflush(datap, SIZEOF_VOID_P);
 
-       /* synchronize data cache */
-
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -435,74 +260,46 @@ bool patcher_get_putstatic(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_get_putfield(u1 *sp)
+bool patcher_get_putfield(patchref_t *pr)
 {
-       u1               *ra;
-       unresolved_field *uf;
-       u1               *pv;
-       fieldinfo        *fi;
-       s2                disp;
-
-       ra = (u1 *)               *((ptrint *) (sp + 5 * 4));
-       uf = (unresolved_field *) *((ptrint *) (sp + 2 * 4));
-       pv = (u1 *)               *((ptrint *) (sp + 1 * 4));
+       uint32_t*         pc = (uint32_t*)         pr->mpc;
+       unresolved_field* uf = (unresolved_field*) pr->ref;
 
-       /* get the fieldinfo */
+       // Resolve the field.
+       fieldinfo* fi = resolve_field_eager(uf);
 
-       if (!(fi = resolve_field_eager(uf)))
+       if (fi == NULL)
                return false;
 
-       /* if we show NOPs, we have to skip them */
+       // Patch the field's offset.
+       if (IS_LNG_TYPE(fi->type)) {
+               /* If the field has type long, we have to patch two
+                  instructions.  But we have to check which instruction
+                  is first.  We do that with the offset of the first
+                  instruction. */
 
-       if (opt_shownops) {
-               /* patch the field's offset */
+               uint32_t disp = (pr->mcode & 0x0000ffff);
 
-               if (IS_LNG_TYPE(fi->type)) {
-                       /* If the field has type long, we have to patch two
-                          instructions.  But we have to check which instruction
-                          is first.  We do that with the offset of the first
-                          instruction. */
-
-                       disp = *((u4 *) (ra + 1 * 4));
-
-                       if (disp == 4) {
-                               *((u4 *) (ra + 1 * 4)) |= (s2) ((fi->offset + 4) & 0x0000ffff);
-                               *((u4 *) (ra + 2 * 4)) |= (s2) ((fi->offset + 0) & 0x0000ffff);
-                       }
-                       else {
-                               *((u4 *) (ra + 1 * 4)) |= (s2) ((fi->offset + 0) & 0x0000ffff);
-                               *((u4 *) (ra + 2 * 4)) |= (s2) ((fi->offset + 4) & 0x0000ffff);
-                       }
+               if (disp == 4) {
+                       pr->mcode &= 0xffff0000;
+                       pr->mcode |= ((fi->offset + 4) & 0x0000ffff);
+                       pc[1] |= ((fi->offset + 0) & 0x0000ffff);
                }
-               else
-                       *((u4 *) (ra + 1 * 4)) |= (s2) (fi->offset & 0x0000ffff);
+               else {
+                       pr->mcode |= ((fi->offset + 0) & 0x0000ffff);
+                       pc[1] &= 0xffff0000;
+                       pc[1] |= ((fi->offset + 4) & 0x0000ffff);
+               }
+
+               // Synchronize instruction cache.
+               md_icacheflush(pc + 1, 1 * 4);
        }
        else {
-               if (IS_LNG_TYPE(fi->type)) {
-
-                       disp = *((u4 *) (sp + 3 * 4));
-
-                       /* We patch the first instruction in the patcher stub
-                          stack and the second in the code.  The first
-                          instruction is patched back later in
-                          patcher_wrapper. */
-
-                       if (disp == 4) {
-                               *((u4 *) (sp + 3 * 4)) |= (s2) ((fi->offset + 4) & 0x0000ffff);
-                               *((u4 *) (ra + 1 * 4)) |= (s2) ((fi->offset + 0) & 0x0000ffff);
-                       }
-                       else {
-                               *((u4 *) (sp + 3 * 4)) |= (s2) ((fi->offset + 0) & 0x0000ffff);
-                               *((u4 *) (ra + 1 * 4)) |= (s2) ((fi->offset + 4) & 0x0000ffff);
-                       }
-               }
-               else
-                       *((u4 *) (sp + 3 * 4)) |= (s2) (fi->offset & 0x0000ffff);
+               pr->mcode |= (fi->offset & 0x0000ffff);
        }
 
-       /* synchronize instruction cache */
-
-       md_icacheflush(ra + 1 * 4, 2 * 4);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -519,31 +316,25 @@ bool patcher_get_putfield(u1 *sp)
 
 ******************************************************************************/
 
-bool patcher_invokestatic_special(u1 *sp)
+bool patcher_invokestatic_special(patchref_t *pr)
 {
-       unresolved_method *um;
-       s4                 disp;
-       u1                *pv;
-       methodinfo        *m;
-
-       /* get stuff from the stack */
-
-       um   = (unresolved_method *) *((ptrint *) (sp + 2 * 4));
-       disp =                       *((s4 *)     (sp + 1 * 4));
-       pv   = (u1 *)                *((ptrint *) (sp + 0 * 4));
+       unresolved_method* um    = (unresolved_method*) pr->ref;
+       uintptr_t*         datap = (uintptr_t*)         pr->datap;
 
-       /* get the fieldinfo */
+       // Resolve the method.
+       methodinfo* m = resolve_method_eager(um);
 
-       if (!(m = resolve_method_eager(um)))
+       if (m == NULL)
                return false;
 
-       /* patch stubroutine */
+       // Patch stubroutine.
+       *datap = (uintptr_t) m->stubroutine;
 
-       *((ptrint *) (pv + disp)) = (ptrint) m->stubroutine;
+       // Synchronize data cache.
+       md_dcacheflush(datap, SIZEOF_VOID_P);
 
-       /* synchronize data cache */
-
-       md_dcacheflush(pv + disp, SIZEOF_VOID_P);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -561,37 +352,27 @@ bool patcher_invokestatic_special(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_invokevirtual(u1 *sp)
+bool patcher_invokevirtual(patchref_t *pr)
 {
-       u1                *ra;
-       unresolved_method *um;
-       methodinfo        *m;
-       s4                 disp;
-
-       /* get stuff from the stack */
-
-       ra = (u1 *)                *((ptrint *) (sp + 5 * 4));
-       um = (unresolved_method *) *((ptrint *) (sp + 2 * 4));
+       uint32_t*          pc = (uint32_t*)          pr->mpc;
+       unresolved_method* um = (unresolved_method*) pr->ref;
 
-       /* get the fieldinfo */
+       // Resolve the method.
+       methodinfo* m = resolve_method_eager(um);
 
-       if (!(m = resolve_method_eager(um)))
+       if (m == NULL)
                return false;
 
-       /* if we show NOPs, we have to skip them */
-
-       if (opt_shownops)
-               ra = ra + 1 * 4;
-
-       /* patch vftbl index */
+       // Patch vftbl index.
+       int32_t disp = (OFFSET(vftbl_t, table[0]) + sizeof(methodptr) * m->vftblindex);
 
-       disp = (OFFSET(vftbl_t, table[0]) + sizeof(methodptr) * m->vftblindex);
+       pc[1] |= (disp & 0x0000ffff);
 
-       *((s4 *) (ra + 1 * 4)) |= (disp & 0x0000ffff);
+       // Synchronize instruction cache.
+       md_icacheflush(pc + 1, 1 * 4);
 
-       /* synchronize instruction cache */
-
-       md_icacheflush(ra + 1 * 4, 1 * 4);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
@@ -610,101 +391,118 @@ bool patcher_invokevirtual(u1 *sp)
 
 *******************************************************************************/
 
-bool patcher_invokeinterface(u1 *sp)
+bool patcher_invokeinterface(patchref_t *pr)
 {
-       u1                *ra;
-       unresolved_method *um;
-       methodinfo        *m;
-       s4                 disp;
-
-       /* get stuff from the stack */
+       uint32_t*          pc = (uint32_t*)          pr->mpc;
+       unresolved_method* um = (unresolved_method*) pr->ref;
 
-       ra = (u1 *)                *((ptrint *) (sp + 5 * 4));
-       um = (unresolved_method *) *((ptrint *) (sp + 2 * 4));
+       // Resolve the method.
+       methodinfo* m = resolve_method_eager(um);
 
-       /* get the fieldinfo */
-
-       if (!(m = resolve_method_eager(um)))
+       if (m == NULL)
                return false;
 
-       /* if we show NOPs, we have to skip them */
-
-       if (opt_shownops)
-               ra = ra + 1 * 4;
-
-       /* patch interfacetable index */
-
-       disp = OFFSET(vftbl_t, interfacetable[0]) -
-               sizeof(methodptr*) * m->class->index;
+       // Patch interfacetable index.
+       int32_t disp = OFFSET(vftbl_t, interfacetable[0]) - sizeof(methodptr*) * m->clazz->index;
 
        /* XXX TWISTI: check displacement */
+       pc[1] |= (disp & 0x0000ffff);
 
-       *((s4 *) (ra + 1 * 4)) |= (disp & 0x0000ffff);
-
-       /* patch method offset */
-
-       disp = sizeof(methodptr) * (m - m->class->methods);
+       // Patch method offset.
+       disp = sizeof(methodptr) * (m - m->clazz->methods);
 
        /* XXX TWISTI: check displacement */
+       pc[2] |= (disp & 0x0000ffff);
 
-       *((s4 *) (ra + 2 * 4)) |= (disp & 0x0000ffff);
+       // Synchronize instruction cache.
+       md_icacheflush(pc + 1, 2 * 4);
 
-       /* synchronize instruction cache */
-
-       md_icacheflush(ra + 1 * 4, 2 * 4);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }
 
 
-/* patcher_checkcast_instanceof_interface **************************************
+/* patcher_checkcast_interface *************************************************
 
    Machine code:
 
    <patched call position>
-   81870000    lwz   r12,0(r7)
-   800c0010    lwz   r0,16(r12)
-   34000000    addic.        r0,r0,0
-   408101fc    ble-  0x3002e518
-   800c0000    lwz   r0,0(r12)
+   81870000    lwz     r12,0(r7)
+   800c0010    lwz     r0,16(r12)
+   34000000    addic.  r0,r0,0
+   41810008    bgt-    0x014135d8
+   83c00003    lwz     r30,3(0)
+   800c0000    lwz     r0,0(r12)
 
 *******************************************************************************/
 
-bool patcher_checkcast_instanceof_interface(u1 *sp)
+bool patcher_checkcast_interface(patchref_t *pr)
 {
-       u1                *ra;
-       constant_classref *cr;
-       classinfo         *c;
-       s4                 disp;
+       uint32_t*          pc = (uint32_t*)          pr->mpc;
+       constant_classref* cr = (constant_classref*) pr->ref;
 
-       /* get stuff from the stack */
+       // Resolve the class.
+       classinfo* c = resolve_classref_eager(cr);
 
-       ra = (u1 *)                *((ptrint *) (sp + 5 * 4));
-       cr = (constant_classref *) *((ptrint *) (sp + 2 * 4));
+       if (c == NULL)
+               return false;
 
-       /* get the fieldinfo */
+       // Patch super class index.
+       int32_t disp = -(c->index);
+       pc[2] |= (disp & 0x0000ffff);
 
-       if (!(c = resolve_classref_eager(cr)))
-               return false;
+       disp = OFFSET(vftbl_t, interfacetable[0]) - c->index * sizeof(methodptr*);
+       pc[5] |= (disp & 0x0000ffff);
 
-       /* if we show NOPs, we have to skip them */
+       // Synchronize instruction cache.
+       md_icacheflush(pc + 2, 4 * 4);
 
-       if (opt_shownops)
-               ra = ra + 1 * 4;
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
-       /* patch super class index */
+       return true;
+}
 
-       disp = -(c->index);
 
-       *((s4 *) (ra + 2 * 4)) |= (disp & 0x0000ffff);
+/* patcher_instanceof_interface ************************************************
 
-       disp = OFFSET(vftbl_t, interfacetable[0]) - c->index * sizeof(methodptr*);
+   Machine code:
+
+   <patched call position>
+   81870000    lwz     r12,0(r7)
+   800c0010    lwz     r0,16(r12)
+   34000000    addic.  r0,r0,0
+   41810008    bgt-    0x014135d8
+   83c00003    lwz     r30,3(0)
+   800c0000    lwz     r0,0(r12)
+
+*******************************************************************************/
+
+bool patcher_instanceof_interface(patchref_t *pr)
+{
+       uint32_t*          pc = (uint32_t*)          pr->mpc;
+       constant_classref* cr = (constant_classref*) pr->ref;
+
+       // Resolve the class.
+       classinfo* c = resolve_classref_eager(cr);
 
-       *((s4 *) (ra + 4 * 4)) |= (disp & 0x0000ffff);
+       if (c == NULL)
+               return false;
+
+       // Patch super class index.
+       int32_t disp = -(c->index);
+       pc[2] |= (disp & 0x0000ffff);
+
+       disp = OFFSET(vftbl_t, interfacetable[0]) - c->index * sizeof(methodptr*);
+       pc[4] |= (disp & 0x0000ffff);
 
-       /* synchronize instruction cache */
+       // Synchronize instruction cache.
+       md_icacheflush(pc + 2, 3 * 4);
 
-       md_icacheflush(ra + 2 * 4, 3 * 4);
+       // Patch back the original code.
+       patcher_patch_code(pr);
 
        return true;
 }