* src/vm/jit/trap.cpp (trap_handle): Further generalized trap handling and
[cacao.git] / src / vm / jit / x86_64 / md.c
index 02a369cff7e7ee065738884fba23de94a4c0ac16..cf682e09f76b387c7814716abf7124b776596774 100644 (file)
@@ -1,9 +1,8 @@
 /* src/vm/jit/x86_64/md.c - machine dependent x86_64 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) 2009 Theobroma Systems Ltd.
 
    This file is part of CACAO.
 
 #include "config.h"
 
 #include <assert.h>
+#include <stdint.h>
 #include <stdlib.h>
 
+#include "vm/jit/x86_64/codegen.h"
 #include "vm/jit/x86_64/md-abi.h"
 
-#if defined(ENABLE_THREADS)
-# include "threads/native/threads.h"
-#endif
-
-#include "vm/jit/asmpart.h"
-#include "vm/jit/codegen-common.h"
-#include "vm/jit/stacktrace.h"
-
-#if defined(ENABLE_REPLACEMENT)
-# include "vm/exceptions.h"
-#endif
+#include "vm/vm.hpp"
 
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
-#include "vmcore/options.h" /* XXX debug */
-#include "vm/jit/disass.h" /* XXX debug */
-#endif
+#include "vm/jit/codegen-common.hpp"
+#include "vm/jit/executionstate.h"
+#include "vm/jit/jit.hpp"
+#include "vm/jit/trap.hpp"
 
 
 /* md_init *********************************************************************
@@ -62,26 +53,7 @@ void md_init(void)
 }
 
 
-/* md_stacktrace_get_returnaddress *********************************************
-
-   Returns the return address of the current stackframe, specified by
-   the passed stack pointer and the stack frame size.
-
-*******************************************************************************/
-
-u1 *md_stacktrace_get_returnaddress(u1 *sp, u4 framesize)
-{
-       u1 *ra;
-
-       /* on x86_64 the return address is above the current stack frame */
-
-       ra = *((u1 **) (sp + framesize));
-
-       return ra;
-}
-
-
-/* md_get_method_patch_address *************************************************
+/* md_jit_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
@@ -107,19 +79,20 @@ u1 *md_stacktrace_get_returnaddress(u1 *sp, u4 framesize)
 
 *******************************************************************************/
 
-u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
+void *md_jit_method_patch_address(void *pv, void *ra, void *mptr)
 {
-       u1  mcode;
-       s4  offset;
-       u1 *pa;                             /* patch address                      */
+       uint8_t *pc;
+       uint8_t  mcode;
+       int32_t  offset;
+       void    *pa;                        /* patch address                      */
 
        /* go back to the actual call instruction (3-bytes) */
 
-       ra = ra - 3;
+       pc = ((uint8_t *) ra) - 3;
 
        /* get the last byte of the call */
 
-       mcode = ra[2];
+       mcode = pc[2];
 
        /* check for the different calls */
 
@@ -129,11 +102,11 @@ u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
                /* Get the offset from the instruction (the offset address is
                   4-bytes before the call instruction). */
 
-               offset = *((s4 *) (ra - 4));
+               offset = *((int32_t *) (pc - 4));
 
                /* add the offset to the return address (IP-relative addressing) */
 
-               pa = ra + offset;
+               pa = pc + offset;
        }
        else if (mcode == 0xd3) {
                /* INVOKEVIRTUAL/INTERFACE */
@@ -146,16 +119,16 @@ u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
                /* Get the offset from the instruction (the offset address is
                   4-bytes before the call instruction). */
 
-               offset = *((s4 *) (ra - 4));
+               offset = *((int32_t *) (pc - 4));
 
                /* add the offset to the method pointer */
 
-               pa = mptr + offset;
+               pa = ((uint8_t *) mptr) + offset;
        }
        else {
                /* catch any problems */
 
-               vm_abort("md_get_method_patch_address: unknown instruction %x", mcode);
+               vm_abort("md_jit_method_patch_address: unknown instruction %x", mcode);
 
                /* keep compiler happy */
 
@@ -166,60 +139,70 @@ u1 *md_get_method_patch_address(u1 *ra, stackframeinfo *sfi, u1 *mptr)
 }
 
 
-/* md_codegen_get_pv_from_pc ***************************************************
-
-   On this architecture just a wrapper function to
-   codegen_get_pv_from_pc.
-
-*******************************************************************************/
-
-u1 *md_codegen_get_pv_from_pc(u1 *ra)
-{
-       u1 *pv;
-
-       /* Get the start address of the function which contains this
-       address from the method table. */
-
-       pv = codegen_get_pv_from_pc(ra);
-
-       return pv;
-}
-
-
-/* md_cacheflush ***************************************************************
-
-   Calls the system's function to flush the instruction and data
-   cache.
-
-*******************************************************************************/
-
-void md_cacheflush(u1 *addr, s4 nbytes)
-{
-       /* do nothing */
-}
-
-
-/* md_icacheflush **************************************************************
-
-   Calls the system's function to flush the instruction cache.
-
-*******************************************************************************/
-
-void md_icacheflush(u1 *addr, s4 nbytes)
+/**
+ * Decode the trap instruction at the given PC.
+ *
+ * @param trp information about trap to be filled
+ * @param sig signal number
+ * @param xpc exception PC
+ * @param es execution state of the machine
+ * @return true if trap was decoded successfully, false otherwise.
+ */
+bool md_trap_decode(trapinfo_t* trp, int sig, void* _xpc, executionstate_t* es)
 {
-       /* do nothing */
-}
-
-
-/* md_dcacheflush **************************************************************
-
-   Calls the system's function to flush the data cache.
+       uint8_t* xpc = (uint8_t*) _xpc;
 
-*******************************************************************************/
+#if 0
+       // Check for StackOverflowException.
+       threads_check_stackoverflow(sp);
+#endif
 
-void md_dcacheflush(u1 *addr, s4 nbytes)
-{
-       /* do nothing */
+       switch (sig) {
+       case TRAP_SIGFPE:
+               // Check for ArithmeticException.
+               trp->type  = TRAP_ArithmeticException;
+               trp->value = 0;
+               return true;
+
+       case TRAP_SIGILL:
+               // Check for valid trap instruction.
+               if (patcher_is_valid_trap_instruction_at(xpc)) {
+                       trp->type  = TRAP_PATCHER;
+                       trp->value = 0;
+                       return true;
+               }
+               return false;
+
+       case TRAP_SIGSEGV:
+       {
+               // Get exception-throwing instruction.
+               uint8_t opc = M_ALD_MEM_GET_OPC(xpc);
+               uint8_t mod = M_ALD_MEM_GET_MOD(xpc);
+               uint8_t rm  = M_ALD_MEM_GET_RM(xpc);
+
+               // Check for hardware exception, for values
+               // see emit_mov_mem_reg and emit_mem.
+               if ((opc == 0x8b) && (mod == 0) && (rm == 4)) {
+                       int32_t d    = M_ALD_MEM_GET_REG(xpc);
+                       int32_t disp = M_ALD_MEM_GET_DISP(xpc);
+
+                       // We use the exception type as load displacement.
+                       trp->type  = disp;
+                       trp->value = es->intregs[d];
+                       return true;
+               }
+
+               // Default case is a normal NullPointerException.
+               else {
+                       trp->type  = TRAP_NullPointerException;
+                       trp->value = 0;
+                       return true;
+               }
+       }
+       
+       default:
+               return false;
+       }
 }
 
 
@@ -230,53 +213,30 @@ void md_dcacheflush(u1 *addr, s4 nbytes)
 *******************************************************************************/
 
 #if defined(ENABLE_REPLACEMENT)
-void md_patch_replacement_point(codeinfo *code, s4 index, rplpoint *rp, u1 *savedmcode)
+void md_patch_replacement_point(u1 *pc, u1 *savedmcode, bool revert)
 {
-       u8 mcode;
-
-       /* XXX this is probably unsafe! */
-
-       if (index < 0) {
-               /* write spinning instruction */
-               *(u2*)(rp->pc) = 0xebfe;
+       u2 mcode;
 
-               /* write 5th byte */
-               rp->pc[4] = savedmcode[4];
-
-               /* write first word */
-               *(u4*)(rp->pc) = *(u4*)(savedmcode);
+       if (revert) {
+               /* write saved machine code */
+               *(u2*)(pc) = *(u2*)(savedmcode);
        }
        else {
                /* save the current machine code */
-               *(u4*)(savedmcode) = *(u4*)(rp->pc);
-               savedmcode[4] = rp->pc[4];
+               *(u2*)(savedmcode) = *(u2*)(pc);
 
                /* build the machine code for the patch */
-               assert(0); /* XXX build trap instruction below */
-               mcode = 0;
-
-               /* write spinning instruction */
-               *(u2*)(rp->pc) = 0xebfe;
+               mcode = 0x0b0f;
 
-               /* write 5th byte */
-               rp->pc[4] = (mcode >> 32);
-
-               /* write first word */
-               *(u4*)(rp->pc) = (u4) mcode;
+               /* write new machine code */
+               *(u2*)(pc) = (u2) mcode;
        }
 
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER) && 0
-       {
-               u1* u1ptr = rp->pc;
-               DISASSINSTR(u1ptr);
-               fflush(stdout);
-       }
-#endif
-                       
-    /* XXX if required asm_cacheflush(rp->pc,8); */
+    /* XXX if required asm_cacheflush(pc,8); */
 }
 #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