/* src/vm/jit/m68k/patcher.c - m68k patcher 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
This file is part of CACAO.
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- $Id: arch.h 5330 2006-09-05 18:43:12Z edwin $
-
*/
#include "config.h"
#include <assert.h>
+#include <stdint.h>
#include "vm/types.h"
-#include "mm/memory.h"
-#include "native/native.h"
+#include "vm/jit/m68k/md.h"
-#include "vm/builtin.h"
-#include "vm/exceptions.h"
-#include "vm/initialize.h"
-#include "vm/resolve.h"
+#include "mm/memory.hpp"
+#include "native/native.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 "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 "vmcore/class.h"
-#include "vmcore/field.h"
-#include "vmcore/options.h"
-#include "vmcore/references.h"
+#include "vm/jit/asmpart.h"
+#include "vm/jit/patcher-common.hpp"
#include "codegen.h"
-/* patcher_wrapper *************************************************************
+#define PATCH_BACK_ORIGINAL_MCODE *((u4*)(pr->mpc)) = pr->mcode
- Wrapper for all patchers. It also creates the stackframe info
- structure.
+/* patcher_initialize_class ****************************************************
- If the return value of the patcher function is false, it gets the
- exception object, clears the exception pointer and returns the
- exception.
+ just patch back original code
*******************************************************************************/
-java_objectheader *patcher_wrapper(u1 *sp, u1 *pv, u1 *ra)
-{
- stackframeinfo sfi;
- u1 *xpc;
- java_objectheader *o;
- functionptr f;
- bool result;
- java_objectheader *e;
- u4 mcode, xmcode;
-
- /* define the patcher function */
-
- bool (*patcher_function)(u1 *);
-
- /* get stuff from the stack */
-
- xpc = (u1 *) *((ptrint *) (sp + 6 * 4));
- /* REG_ITMP3 sp + 5 * 4 */
- o = (java_objectheader *) *((ptrint *) (sp + 4 * 4));
- mcode = *((u4*) (sp + 3 * 4));
- xmcode = *((u4*) (sp + 2 * 4));
- /* unresolved file sp + 1 * 4 */
- f = (functionptr) *((ptrint *) (sp + 0 * 4));
-
-
- /* calculate and set the new return address */
- xpc = xpc - PATCHER_CALL_SIZE;
- *((ptrint *) (sp + 6 * 4)) = (ptrint) xpc;
-
- /* patch back original code */
+void patcher_patch_code(patchref_t *pr)
+{
+#if 0
+ u1* xpc = (u1 *) *((ptrint *) (sp + 6 * 4));
+ u4 mcode = *((u4*) (sp + 3 * 4));
+ u4 xmcode = *((u4*) (sp + 2 * 4));
*((u4*)(xpc)) = mcode;
*((u4*)(xpc+4)) = xmcode;
- md_icacheflush(xpc, 8);
-
- /* 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 */
-
- /* 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 */
+#endif
- result = (patcher_function)(sp);
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush((void*)pr->mpc, 2);
- /* 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;
- }
- PATCHER_MARK_PATCHED_MONITOREXIT;
-
- return NULL;
}
+
+#if 0
/* patcher_initialize_class ****************************************************
Initalizes a given classinfo pointer. This function does not patch
*******************************************************************************/
-bool patcher_initialize_class(u1 *sp)
+bool patcher_initialize_class(patchref_t *pr)
{
classinfo *c;
+ u4 xpc, mcode, xmcode;
/* get stuff from the stack */
-
c = (classinfo *) *((ptrint *) (sp + 1 * 4));
/* check if the class is initialized */
-
if (!(c->state & CLASS_INITIALIZED))
if (!initialize_class(c))
return false;
+ /* patch back original code */
+ patcher_patch_back(sp);
+
return true;
}
+#endif
/* patcher_invokevirtual *******************************************************
*******************************************************************************/
-bool patcher_invokevirtual(u1 *sp)
+bool patcher_invokevirtual(patchref_t *pr)
{
u1 *ra;
unresolved_method *um;
s2 disp;
/* get stuff from the stack */
- ra = (u1 *) *((ptrint *) (sp + 6 * 4));
- um = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
+ ra = (u1 *) pr->mpc;
+ um = (unresolved_method *) pr->ref;
/* get the fieldinfo */
if (!(m = resolve_method_eager(um)))
return false;
- /* if we show NOPs, we have to skip them */
- if (opt_shownops) ra += PATCHER_CALL_SIZE;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
- assert( *((u2*)(ra+8)) == 0x246b);
+ assert( *((u2*)(ra+8)) == 0x286b);
/* patch vftbl index */
disp = (OFFSET(vftbl_t, table[0]) + sizeof(methodptr) * m->vftblindex);
*((s2 *) (ra + 10)) = disp;
/* synchronize instruction cache */
- md_icacheflush(ra + 10, 2);
+ md_icacheflush(pr->mpc, 10 + 2 + PATCHER_CALL_SIZE);
return true;
}
******************************************************************************/
-bool patcher_invokestatic_special(u1 *sp)
+bool patcher_invokestatic_special(patchref_t *pr)
{
unresolved_method *um;
s4 disp;
methodinfo *m;
/* get stuff from the stack */
-
- disp = *((s4 *) (sp + 6 * 4));
- um = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
+ disp = pr->mpc;
+ um = (unresolved_method *) pr->ref;
/* get the fieldinfo */
-
if (!(m = resolve_method_eager(um)))
return false;
- /* patch stubroutine */
-
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
*((ptrint *) (disp+2)) = (ptrint) m->stubroutine;
/* synchronize inst cache */
- md_icacheflush(disp+2, SIZEOF_VOID_P);
+ md_icacheflush(pr->mpc, PATCHER_CALL_SIZE+2+SIZEOF_VOID_P);
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)
-{
- unresolved_class *uc;
- classinfo *c;
-
- /* get stuff from the stack */
- uc = (unresolved_class *) *((ptrint *) (sp + 1 * 4));
-
- /* resolve the class */
- if (!resolve_class(uc, resolveEager, false, &c))
- return false;
-
- return true;
-}
-#endif /* ENABLE_VERIFIER */
-
/* patcher_resolve_classref_to_classinfo ***************************************
ACONST:
0x4028f2ca: 2479 0000 0000 moveal 0x00000000,%a2
*******************************************************************************/
-bool patcher_resolve_classref_to_classinfo(u1 *sp)
+bool patcher_resolve_classref_to_classinfo(patchref_t *pr)
{
constant_classref *cr;
s4 disp;
classinfo *c;
/* get stuff from the stack */
-
- cr = (constant_classref *) *((ptrint *) (sp + 1 * 4));
- disp = *((s4 *) (sp + 6 * 4));
+ cr = (constant_classref *) pr->ref;
+ disp = pr->mpc;
/* get the classinfo */
-
if (!(c = resolve_classref_eager(cr)))
return false;
- /* patch the classinfo pointer */
-
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ /* patch the classinfo pointer */
*((ptrint *) (disp+2)) = (ptrint) c;
/* synchronize inst cache */
-
- md_icacheflush(disp+2, SIZEOF_VOID_P);
+ md_icacheflush(pr->mpc, PATCHER_CALL_SIZE + 2 + SIZEOF_VOID_P);
return true;
}
*******************************************************************************/
-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 */
- uf = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
- disp = *((s4 *) (sp + 6 * 4));
+ uf = (unresolved_field *) pr->ref;
+ disp = pr->mpc;
/* 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))
+ if (!(fi->clazz->state & CLASS_INITIALIZED))
+ if (!initialize_class(fi->clazz))
return false;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* patch the field value's address */
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
assert(*((uint16_t*)(disp)) == 0x247c);
- *((ptrint *) (disp+2)) = (ptrint) &(fi->value);
+ *((intptr_t *) (disp+2)) = (intptr_t) fi->value;
/* synchronize inst cache */
- md_icacheflush(disp+2, SIZEOF_VOID_P);
+ md_icacheflush((void*)(disp+2), SIZEOF_VOID_P);
return true;
}
*******************************************************************************/
-bool patcher_get_putfield(u1 *sp)
+bool patcher_get_putfield(patchref_t *pr)
{
u1 *ra;
unresolved_field *uf;
fieldinfo *fi;
- s2 disp;
- ra = (u1 *) *((ptrint *) (sp + 6 * 4));
- uf = (unresolved_field *) *((ptrint *) (sp + 1 * 4));
+ ra = (u1 *) pr->mpc;
+ uf = (unresolved_field *) pr->ref;
/* get the fieldinfo */
if (!(fi = resolve_field_eager(uf)))
return false;
- /* if we show NOPs, we have to skip them */
- if (opt_shownops) ra += PATCHER_CALL_SIZE;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
/* 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. */
- assert(0);
- 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);
- }
- } else {
/*
- * 0x40adb3f6: 0x254d0000 movel %a5,%a2@(0)
- * ^^^^ ^
- * to be patched
+ * 0x40d05bb2: 0x25440000 movel %d4,%a2@(0)
+ * 0x40d05bb6: 0x25430004 movel %d3,%a2@(4)
+ * ^^^^
+ * both 0000 and 0004 have to be patched
*/
- assert( (*((uint32_t*)ra) & 0xffff0000) == *((uint32_t*)ra) );
+
assert( (fi->offset & 0x0000ffff) == fi->offset );
- *((uint32_t*)ra) |= fi->offset;
- /* synchronize instruction cache */
- md_icacheflush(ra, 1 * 4);
+ assert( (*((uint32_t*)ra) & 0xffff0000) == *((uint32_t*)ra) );
+ assert( (*((uint32_t*)(ra+4)) & 0xffff0004) == *((uint32_t*)(ra+4)) );
+
+ *((int16_t *) (ra + 2)) = (int16_t) ((fi->offset) & 0x0000ffff);
+ *((int16_t *) (ra + 6)) = (int16_t) ((fi->offset + 4) & 0x0000ffff);
+
+ md_icacheflush(ra, 2 * 4);
+ } else {
+ /* Multiple cases here, int, adr, flt and dbl. */
+ if ( (*((uint32_t*)ra) & 0xfff00000) == 0xf2200000 ) {
+ /* flt/dbl case
+ * 0x40d3ddc2: 0xf22944c0 0x0000xxxx fsmoves %a1@(0),%fp1
+ * ^^^^
+ * patch here
+ */
+ assert( (fi->offset & 0x0000ffff) == fi->offset );
+ assert( (*((uint32_t*)(ra+4)) & 0x0000ffff) == *((uint32_t*)(ra+4)) );
+ *((int16_t*)(ra+4)) = (int16_t)fi->offset;
+
+ md_icacheflush(ra+4, 1 * 4);
+ } else {
+ /* int/adr case
+ * 0x40adb3f6: 0x254d0000 movel %a5,%a2@(0)
+ * ^^^^ ^
+ * to be patched
+ */
+ assert( (*((uint32_t*)ra) & 0xffff0000) == *((uint32_t*)ra) );
+ assert( (fi->offset & 0x0000ffff) == fi->offset );
+ *((int16_t*)(ra+2)) = (int16_t)fi->offset;
+
+ /* synchronize instruction cache */
+ md_icacheflush(ra, 1 * 4);
+ }
}
return true;
*******************************************************************************/
-bool patcher_resolve_classref_to_flags(u1 *sp)
+bool patcher_resolve_classref_to_flags(patchref_t *pr)
{
constant_classref *cr;
s4 disp;
classinfo *c;
/* get stuff from the stack */
- cr = (constant_classref *) *((ptrint *) (sp + 1 * 4));
- disp = *((s4 *) (sp + 6 * 4));
+ cr = (constant_classref *) pr->ref;
+ disp = pr->mpc;
/* get the fieldinfo */
if (!(c = resolve_classref_eager(cr)))
return false;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* patch class flags */
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
assert( (*((u2*)(disp)) == 0x263c) || (*((u2*)(disp)) == 0x283c) );
*((s4 *) (disp + 2)) = (s4) c->flags;
/* synchronize insn cache */
- md_icacheflush(disp + 2, SIZEOF_VOID_P);
+ md_icacheflush((void*)(disp + 2), SIZEOF_VOID_P);
return true;
}
*******************************************************************************/
-bool patcher_resolve_classref_to_vftbl(u1 *sp)
+bool patcher_resolve_classref_to_vftbl(patchref_t *pr)
{
constant_classref *cr;
s4 disp;
classinfo *c;
/* get stuff from the stack */
- cr = (constant_classref *) *((ptrint *) (sp + 1 * 4));
- disp = *((s4 *) (sp + 6 * 4));
+ cr = (constant_classref *) pr->ref;
+ disp = pr->mpc;
/* get the fieldinfo */
if (!(c = resolve_classref_eager(cr)))
return false;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* patch super class' vftbl */
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
assert( (*((u2*)disp) == 0x287c) || (*((u2*)disp)== 0x267c) );
*((s4 *) (disp+2)) = (s4) c->vftbl;
/* synchronize insin cache */
- md_icacheflush(disp+2, SIZEOF_VOID_P);
+ md_icacheflush((void*)(disp+2), SIZEOF_VOID_P);
return true;
}
*******************************************************************************/
-bool patcher_instanceof_interface(u1 *sp)
+bool patcher_instanceof_interface(patchref_t *pr)
{
u1 *ra;
constant_classref *cr;
/* get stuff from the stack */
- ra = (u1 *) *((ptrint *) (sp + 6 * 4));
- cr = (constant_classref *) *((ptrint *) (sp + 1 * 4));
+ ra = (u1 *) pr->mpc;
+ cr = (constant_classref *) pr->ref;
/* get the fieldinfo */
if (!(c = resolve_classref_eager(cr)))
return false;
- /* if we show NOPs, we have to skip them */
- if (opt_shownops) ra += PATCHER_CALL_SIZE;
-
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* patch super class index */
disp = -(c->index);
assert( *((u2*)(ra + 8)) == 0xd8bc );
*((s2 *) (ra + 20)) = disp;
/* synchronize instruction cache */
- md_icacheflush(ra + 10, 12);
+ md_icacheflush((void*)(ra + 10), 12);
return true;
}
*******************************************************************************/
-bool patcher_checkcast_interface(u1 *sp)
+bool patcher_checkcast_interface(patchref_t *pr)
{
u1 *ra;
constant_classref *cr;
s4 disp;
/* get stuff from the stack */
- ra = (u1 *) *((ptrint *) (sp + 6 * 4));
- cr = (constant_classref *) *((ptrint *) (sp + 1 * 4));
+ ra = (u1 *) pr->mpc;
+ cr = (constant_classref *) pr->ref;
/* get the fieldinfo */
if (!(c = resolve_classref_eager(cr)))
return false;
- /* if we show NOPs, we have to skip them */
- if (opt_shownops) ra += PATCHER_CALL_SIZE;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
/* patch super class index */
disp = -(c->index);
*((s2 *) (ra + 24)) = disp;
/* synchronize instruction cache */
- md_icacheflush(ra + 10, 16);
+ md_icacheflush((void*)(ra + 10), 16);
return true;
}
+#if 0
/* patcher_resolve_native_function *********************************************
XXX
*******************************************************************************/
-#if !defined(WITH_STATIC_CLASSPATH)
-bool patcher_resolve_native_function(u1 *sp)
+bool patcher_resolve_native_function(patchref_t *pr)
{
methodinfo *m;
s4 disp;
functionptr f;
/* get stuff from the stack */
- m = (methodinfo *) *((ptrint *) (sp + 1 * 4));
- disp = *((s4 *) (sp + 6 * 4));
+ m = (methodinfo *) pr->ref;
+ disp = pr->mpc;
/* resolve native function */
if (!(f = native_resolve_function(m)))
return false;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* patch native function pointer */
- if (opt_shownops) disp += PATCHER_CALL_SIZE;
*((ptrint *) (disp + 2)) = (ptrint) f;
/* synchronize data cache */
- md_icacheflush(disp + 2, SIZEOF_VOID_P);
+ md_icacheflush((void*)(disp + 2), SIZEOF_VOID_P);
return true;
}
-#endif /* !defined(WITH_STATIC_CLASSPATH) */
-
+#endif
/* patcher_invokeinterface *****************************************************
Machine code:
-0x40adb03a: moveal %sp@(0),%a2 0x246f0000 <-- always so
0x40adb03e: moveal %a2@(0),%a3 0x266a0000 <-- no patching
0x40adb042: moveal %a3@(0),%a3 0x266b0000 <-- patch this 0000
-0x40adb046: moveal %a3@(0),%a2 0x246b0000 <-- patch this 0000
-0x40adb04a: jsr %a2@ 0x4e92 <-- always so
+0x40adb046: moveal %a3@(0),%a4 0xxxxx0000 <-- patch this 0000
+0x40adb04a: jsr %a4@ 0xxxxx
*******************************************************************************/
-bool patcher_invokeinterface(u1 *sp)
+bool patcher_invokeinterface(patchref_t *pr)
{
u1 *ra;
unresolved_method *um;
s4 disp;
/* get stuff from the stack */
- ra = (u1 *) *((ptrint *) (sp + 6 * 4));
- um = (unresolved_method *) *((ptrint *) (sp + 1 * 4));
+ ra = (u1 *) pr->mpc;
+ um = (unresolved_method *) pr->ref;
/* get the fieldinfo */
if (!(m = resolve_method_eager(um)))
return false;
+ /* patch back original code */
+ PATCH_BACK_ORIGINAL_MCODE;
+ md_icacheflush(pr->mpc, 2);
+
/* if we show NOPs, we have to skip them */
- if (opt_shownops) ra += PATCHER_CALL_SIZE;
assert( *((uint32_t*)ra) == 0x246f0000 );
/* patch interfacetable index (first #0) */
- disp = OFFSET(vftbl_t, interfacetable[0]) - sizeof(methodptr*) * m->class->index;
+ disp = OFFSET(vftbl_t, interfacetable[0]) - sizeof(methodptr*) * m->clazz->index;
/* XXX this disp is negative, check!
* assert( (disp & 0x0000ffff) == disp);*/
*((uint16_t *) (ra + 5 * 2)) = disp;
/* patch method offset (second #0) */
- disp = sizeof(methodptr) * (m - m->class->methods);
+ disp = sizeof(methodptr) * (m - m->clazz->methods);
assert( (disp & 0x0000ffff) == disp);
*((uint16_t *) (ra + 7 * 2)) = disp;
/* synchronize instruction cache */
- md_icacheflush(ra + 5 * 2, 2 * 2);
+ md_icacheflush((void*)(ra + 5 * 2), 2 * 2);
return true;
}
+
+
/*
* These are local overrides for various environment variables in Emacs.
* Please do not remove this and leave it at the end of the file, where