/* src/vm/jit/mips/md.c - machine dependent MIPS functions
- Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+ 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
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Christian Thalinger
-
- Changes:
-
- $Id: md.c 4640 2006-03-16 17:24:18Z twisti $
+ $Id: md.c 7596 2007-03-28 21:05:53Z twisti $
*/
#include <assert.h>
#include <unistd.h>
#include <sys/cachectl.h>
-#include <sys/mman.h>
#include "vm/types.h"
#include "toolbox/logging.h"
+
#include "vm/global.h"
-#include "vm/jit/stacktrace.h"
+#include "vm/vm.h"
+#include "vm/jit/codegen-common.h" /* REMOVEME: only for codegendata */
+#include "vm/jit/stacktrace.h"
-void docacheflush(u1 *p, long bytelen)
-{
- u1 *e = p + bytelen;
- long psize = sysconf(_SC_PAGESIZE);
- p -= (long) p & (psize - 1);
- e += psize - ((((long) e - 1) & (psize - 1)) + 1);
- bytelen = e-p;
- mprotect(p, bytelen, PROT_READ | PROT_WRITE | PROT_EXEC);
-}
+#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
+#include "vmcore/options.h" /* XXX debug */
+#include "vm/jit/disass.h" /* XXX debug */
+#endif
/* md_stacktrace_get_returnaddress *********************************************
}
-/* md_assembler_get_patch_address **********************************************
+/* md_get_method_patch_address *************************************************
Gets the patch address of the currently compiled method. The offset
is extracted from the load instruction(s) before the jump and added
to the right base address (PV or REG_METHODPTR).
+ INVOKESTATIC/SPECIAL:
+
+ dfdeffb8 ld s8,-72(s8)
+ 03c0f809 jalr s8
+ 00000000 nop
+
+ INVOKEVIRTUAL:
+
+ dc990000 ld t9,0(a0)
+ df3e0000 ld s8,0(t9)
+ 03c0f809 jalr s8
+ 00000000 nop
+
+ INVOKEINTERFACE:
+
+ dc990000 ld t9,0(a0)
+ df39ff90 ld t9,-112(t9)
+ df3e0018 ld s8,24(t9)
+ 03c0f809 jalr s8
+ 00000000 nop
+
*******************************************************************************/
-u1 *md_assembler_get_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
+u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
{
u4 mcode;
s4 offset;
offset += (s2) (mcode & 0x0000ffff);
- } else {
+ pa = NULL;
+ }
+ else {
/* get first instruction (ld) */
mcode = *((u4 *) ra);
#endif
/* in this case we use the passed method pointer */
- pa = mptr + offset;
+ /* return NULL if no mptr was specified (used for replacement) */
+
+ if (mptr == NULL)
+ return NULL;
- } else {
+ pa = mptr + offset;
+ }
+ else {
/* in the normal case we check for a `ld s8,x(s8)' instruction */
#if SIZEOF_VOID_P == 8
}
-/* md_codegen_findmethod *******************************************************
+/* md_codegen_get_pv_from_pc ***************************************************
Machine code:
*******************************************************************************/
-u1 *md_codegen_findmethod(u1 *ra)
+u1 *md_codegen_get_pv_from_pc(u1 *ra)
{
u1 *pv;
u4 mcode;
#if SIZEOF_VOID_P == 8
assert((mcode >> 16) == 0x6739);
-#else
+#else
assert((mcode >> 16) == 0x2739);
#endif
offset += (s2) (mcode & 0x0000ffff);
-
- } else {
+ }
+ else {
/* get offset of first instruction (daddiu) */
mcode = *((u4 *) ra);
}
+/* md_patch_replacement_point **************************************************
+
+ Patch the given replacement point.
+
+*******************************************************************************/
+
+#if defined(ENABLE_REPLACEMENT)
+void md_patch_replacement_point(codeinfo *code, s4 index, rplpoint *rp,
+ u1 *savedmcode)
+{
+ s4 disp;
+ union {
+ u8 both;
+ u4 words[2];
+ } mcode;
+
+ if (index < 0) {
+ /* restore the patched-over instruction */
+ *(u8*)(rp->pc) = *(u8*)(savedmcode);
+ }
+ else {
+ /* save the current machine code */
+ *(u8*)(savedmcode) = *(u8*)(rp->pc);
+
+ /* make machine code for patching */
+
+ disp = ((u4*)code->replacementstubs - (u4*)rp->pc)
+ + index * REPLACEMENT_STUB_SIZE
+ - 1;
+
+ if ((disp < (s4) 0xffff8000) || (disp > (s4) 0x00007fff))
+ vm_abort("Jump offset is out of range: %d > +/-%d",
+ disp, 0x00007fff);
+
+ /* BR */
+ mcode.words[0] = (((0x04) << 26) | ((0) << 21) | ((0) << 16) | ((disp) & 0xffff));
+ mcode.words[1] = 0; /* NOP in delay slot */
+
+ /* write the new machine code */
+ *(u8*)(rp->pc) = mcode.both;
+ }
+
+#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
+ {
+ u1* u1ptr = rp->pc;
+ DISASSINSTR(u1ptr);
+ DISASSINSTR(u1ptr);
+ fflush(stdout);
+ }
+#endif
+
+ /* flush instruction cache */
+ md_icacheflush(rp->pc,2*4);
+}
+#endif /* defined(ENABLE_REPLACEMENT) */
+
/*
* 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
* c-basic-offset: 4
* tab-width: 4
* End:
+ * vim:noexpandtab:sw=4:ts=4:
*/
projects / cacao.git / blobdiff