/* src/vm/jit/powerpc/patcher.c - PowerPC 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 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
Authors: Christian Thalinger
Changes:
- $Id: patcher.c 3464 2005-10-20 10:16:29Z edwin $
+ $Id: patcher.c 4357 2006-01-22 23:33:38Z twisti $
*/
#include "mm/memory.h"
#include "native/native.h"
#include "vm/builtin.h"
+#include "vm/class.h"
#include "vm/field.h"
#include "vm/initialize.h"
#include "vm/options.h"
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
/* check if the field's class is initialized */
- if (!fi->class->initialized) {
+ if (!(fi->class->state & CLASS_INITIALIZED)) {
if (!initialize_class(fi->class)) {
PATCHER_MONITOREXIT;
uf = (unresolved_field *) *((ptrint *) (sp + 2 * 4));
pv = (u1 *) *((ptrint *) (sp + 1 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
}
-/* patcher_builtin_new *********************************************************
+/* patcher_aconst **************************************************************
Machine code:
- 806dffc4 lwz r3,-60(r13)
<patched call postition>
+ 806dffc4 lwz r3,-60(r13)
81adffc0 lwz r13,-64(r13)
7da903a6 mtctr r13
4e800421 bctrl
- NOTICE: Only the displacement for the function address is passed,
- but the address of the classinfo pointer is one below (above, in
- addresses speaking). This is for sure.
-
*******************************************************************************/
-bool patcher_builtin_new(u1 *sp)
+bool patcher_aconst(u1 *sp)
{
u1 *ra;
java_objectheader *o;
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - (2 * 4);
- *((ptrint *) (sp + 5 * 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 + 4)) = mcode;
-
- /* synchronize instruction cache */
-
- asm_cacheflush(ra + 4, 4);
-
- /* patch the classinfo pointer */
-
- *((ptrint *) (pv + (disp + SIZEOF_VOID_P))) = (ptrint) c;
-
- /* patch new function address */
-
- *((ptrint *) (pv + disp)) = (ptrint) BUILTIN_new;
-
- PATCHER_MARK_PATCHED_MONITOREXIT;
-
- return true;
-}
-
-
-/* patcher_builtin_newarray ****************************************************
-
- Machine code:
-
- 808dffc8 lwz r4,-56(r13)
- <patched call position>
- 81adffc4 lwz r13,-60(r13)
- 7da903a6 mtctr r13
- 4e800421 bctrl
-
- NOTICE: Only the displacement for the function address is passed,
- but the address of the vftbl pointer is one below (above, in
- addresses speaking). This is for sure.
-
-*******************************************************************************/
-
-bool patcher_builtin_newarray(u1 *sp)
-{
- u1 *ra;
- java_objectheader *o;
- u4 mcode;
- constant_classref *cr;
- u1 *pv;
- s4 disp;
- classinfo *c;
-
- /* get stuff from the stack */
-
- ra = (u1 *) *((ptrint *) (sp + 5 * 4));
- o = (java_objectheader *) *((ptrint *) (sp + 4 * 4));
- mcode = *((u4 *) (sp + 3 * 4));
- cr = (constant_classref *) *((ptrint *) (sp + 2 * 4));
- disp = *((s4 *) (sp + 1 * 4));
- pv = (u1 *) *((ptrint *) (sp + 0 * 4));
-
- /* calculate and set the new return address */
-
- ra = ra - 2 * 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the classinfo */
/* patch back original code */
- *((u4 *) (ra + 4)) = mcode;
+ *((u4 *) ra) = mcode;
/* synchronize instruction cache */
- asm_cacheflush(ra + 4, 4);
-
- /* patch the class' vftbl pointer */
-
- *((ptrint *) (pv + (disp + SIZEOF_VOID_P))) = (ptrint) c->vftbl;
+ asm_cacheflush(ra, 4);
- /* patch new function address */
+ /* patch the classinfo pointer */
- *((ptrint *) (pv + disp)) = (ptrint) BUILTIN_newarray;
+ *((ptrint *) (pv + disp)) = (ptrint) c;
PATCHER_MARK_PATCHED_MONITOREXIT;
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the classinfo */
asm_cacheflush(ra, 4);
- /* patch the class' vftbl pointer */
+ /* patch the classinfo pointer */
- *((ptrint *) (pv + disp)) = (ptrint) c->vftbl;
+ *((ptrint *) (pv + disp)) = (ptrint) c;
PATCHER_MARK_PATCHED_MONITOREXIT;
7da903a6 mtctr r13
4e800421 bctrl
- NOTICE: Only the displacement of the vftbl pointer address is
- passed, but the address of the function pointer is one above
- (below, in addresses speaking). This is for sure.
-
*******************************************************************************/
bool patcher_builtin_arraycheckcast(u1 *sp)
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 1 * 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the classinfo */
asm_cacheflush(ra, 4);
- /* patch the class' vftbl pointer */
-
- *((ptrint *) (pv + disp)) = (ptrint) c->vftbl;
-
- /* patch new function address */
-
- *((ptrint *) (pv + (disp - SIZEOF_VOID_P))) =
- (ptrint) BUILTIN_arraycheckcast;
-
- PATCHER_MARK_PATCHED_MONITOREXIT;
-
- return true;
-}
-
-
-/* patcher_builtin_arrayinstanceof *********************************************
-
- Machine code:
-
- 808dff50 lwz r4,-176(r13)
- <patched call position>
- 81adff4c lwz r13,-180(r13)
- 7da903a6 mtctr r13
- 4e800421 bctrl
-
- NOTICE: Only the displacement for the function address is passed,
- but the address of the vftbl pointer is one below (above, in
- addresses speaking). This is for sure.
-
-*******************************************************************************/
-
-bool patcher_builtin_arrayinstanceof(u1 *sp)
-{
- u1 *ra;
- java_objectheader *o;
- u4 mcode;
- constant_classref *cr;
- s4 disp;
- u1 *pv;
- classinfo *c;
-
- /* get stuff from the stack */
-
- ra = (u1 *) *((ptrint *) (sp + 5 * 4));
- o = (java_objectheader *) *((ptrint *) (sp + 4 * 4));
- mcode = *((u4 *) (sp + 3 * 4));
- cr = (constant_classref *) *((ptrint *) (sp + 2 * 4));
- disp = *((s4 *) (sp + 1 * 4));
- pv = (u1 *) *((ptrint *) (sp + 0 * 4));
-
- /* calculate and set the new return address */
-
- ra = ra - 2 * 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
- PATCHER_MONITORENTER;
-
- /* get the classinfo */
-
- if (!(c = resolve_classref_eager(cr))) {
- PATCHER_MONITOREXIT;
-
- return false;
- }
-
- /* patch back original code */
-
- *((u4 *) (ra + 4)) = mcode;
-
- /* synchronize instruction cache */
-
- asm_cacheflush(ra + 4, 4);
-
- /* patch the class' vftbl pointer */
-
- *((ptrint *) (pv + (disp + SIZEOF_VOID_P))) = (ptrint) c->vftbl;
-
- /* patch new function address */
+ /* patch the classinfo pointer */
- *((ptrint *) (pv + disp)) = (ptrint) BUILTIN_arrayinstanceof;
+ *((ptrint *) (pv + disp)) = (ptrint) c;
PATCHER_MARK_PATCHED_MONITOREXIT;
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
mcode = *((u4 *) (sp + 3 * 4));
um = (unresolved_method *) *((ptrint *) (sp + 2 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
mcode = *((u4 *) (sp + 3 * 4));
um = (unresolved_method *) *((ptrint *) (sp + 2 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
mcode = *((u4 *) (sp + 3 * 4));
cr = (constant_classref *) *((ptrint *) (sp + 2 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
disp = *((s4 *) (sp + 1 * 4));
pv = (u1 *) *((ptrint *) (sp + 0 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* get the fieldinfo */
mcode = *((u4 *) (sp + 3 * 4));
c = (classinfo *) *((ptrint *) (sp + 2 * 4));
- /* calculate and set the new return address */
-
- ra = ra - 4;
- *((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
-
PATCHER_MONITORENTER;
/* check if the class is initialized */
- if (!c->initialized) {
+ if (!(c->state & CLASS_INITIALIZED)) {
if (!initialize_class(c)) {
PATCHER_MONITOREXIT;
}
+/* patcher_athrow_areturn ******************************************************
+
+ Machine code:
+
+ <patched call position>
+
+*******************************************************************************/
+
+#ifdef ENABLE_VERIFIER
+bool patcher_athrow_areturn(u1 *sp)
+{
+ u1 *ra;
+ java_objectheader *o;
+ u4 mcode;
+ unresolved_class *uc;
+ classinfo *c;
+
+ /* get stuff from the stack */
+
+ ra = (u1 *) *((ptrint *) (sp + 5 * 4));
+ o = (java_objectheader *) *((ptrint *) (sp + 4 * 4));
+ mcode = *((u4 *) (sp + 3 * 4));
+ uc = (unresolved_class *) *((ptrint *) (sp + 2 * 4));
+
+ PATCHER_MONITORENTER;
+
+ /* resolve the class */
+
+ if (!resolve_class(uc, resolveEager, false, &c)) {
+ PATCHER_MONITOREXIT;
+
+ return false;
+ }
+
+ /* patch back original code */
+
+ *((u4 *) ra) = mcode;
+
+ /* synchronize instruction cache */
+
+ asm_cacheflush(ra, 4);
+
+ PATCHER_MARK_PATCHED_MONITOREXIT;
+
+ return true;
+}
+#endif /* ENABLE_VERIFIER */
+
+
/* patcher_resolve_native ******************************************************
XXX
/* calculate and set the new return address */
- ra = ra - 4;
+ ra = ra - 1 * 4;
*((ptrint *) (sp + 5 * 4)) = (ptrint) ra;
PATCHER_MONITORENTER;
projects / cacao.git / blobdiff