-/* src/vm/jit/x86_64/md.c - machine dependent x86_64 Linux functions
+/* src/vm/jit/x86_64/md.c - machine dependent x86_64 functions
- 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
+ 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.
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
02110-1301, USA.
- Contact: cacao@cacaojvm.org
-
- Authors: Christian Thalinger
-
- Changes: Edwin Steiner
-
- $Id: md.c 5201 2006-07-31 20:42:46Z twisti $
-
*/
-#define _GNU_SOURCE
-
#include "config.h"
#include <assert.h>
+#include <stdint.h>
#include <stdlib.h>
-#include <ucontext.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/exceptions.h"
-#include "vm/signallocal.h"
-#include "vm/jit/asmpart.h"
-#include "vm/jit/stacktrace.h"
+#include "vm/vm.hpp"
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
-#include "vm/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 *********************************************************************
}
-/* md_signal_handler_sigsegv ***************************************************
-
- NullPointerException signal handler for hardware null pointer
- check.
-
-*******************************************************************************/
-
-void md_signal_handler_sigsegv(int sig, siginfo_t *siginfo, void *_p)
-{
- ucontext_t *_uc;
- mcontext_t *_mc;
- u1 *sp;
- u1 *ra;
- u1 *xpc;
-
- _uc = (ucontext_t *) _p;
- _mc = &_uc->uc_mcontext;
-
- /* ATTENTION: Don't use CACAO's internal REG_* defines as they are
- different to the ones in <ucontext.h>. */
-
- sp = (u1 *) _mc->gregs[REG_RSP];
- xpc = (u1 *) _mc->gregs[REG_RIP];
- ra = xpc; /* return address is equal to xpc */
-
-#if 0
- /* check for StackOverflowException */
-
- threads_check_stackoverflow(sp);
-#endif
-
- _mc->gregs[REG_RAX] =
- (ptrint) stacktrace_hardware_nullpointerexception(NULL, sp, ra, xpc);
-
- _mc->gregs[REG_R10] = (ptrint) xpc; /* REG_ITMP2_XPC */
- _mc->gregs[REG_RIP] = (ptrint) asm_handle_exception;
-}
-
-
-/* md_signal_handler_sigfpe ****************************************************
-
- ArithmeticException signal handler for hardware divide by zero
- check.
-
-*******************************************************************************/
-
-void md_signal_handler_sigfpe(int sig, siginfo_t *siginfo, void *_p)
-{
- ucontext_t *_uc;
- mcontext_t *_mc;
- u1 *sp;
- u1 *ra;
- u1 *xpc;
-
- _uc = (ucontext_t *) _p;
- _mc = &_uc->uc_mcontext;
-
- /* ATTENTION: Don't use CACAO's internal REG_* defines as they are
- different to the ones in <ucontext.h>. */
-
- sp = (u1 *) _mc->gregs[REG_RSP];
- xpc = (u1 *) _mc->gregs[REG_RIP];
- ra = xpc; /* return address is equal to xpc */
-
- _mc->gregs[REG_RAX] =
- (ptrint) stacktrace_hardware_arithmeticexception(NULL, sp, ra, xpc);
-
- _mc->gregs[REG_R10] = (ptrint) xpc; /* REG_ITMP2_XPC */
- _mc->gregs[REG_RIP] = (ptrint) asm_handle_exception;
-}
-
-
-/* md_signal_handler_sigusr2 ***************************************************
-
- Signal handler for profiling sampling.
-
-*******************************************************************************/
-
-#if defined(ENABLE_THREADS)
-void md_signal_handler_sigusr2(int sig, siginfo_t *siginfo, void *_p)
-{
- threadobject *t;
- ucontext_t *_uc;
- mcontext_t *_mc;
- u1 *pc;
-
- t = THREADOBJECT;
-
- _uc = (ucontext_t *) _p;
- _mc = &_uc->uc_mcontext;
-
- /* ATTENTION: Don't use CACAO's internal REG_* defines as they are
- different to the ones in <ucontext.h>. */
-
- pc = (u1 *) _mc->gregs[REG_RIP];
-
- t->pc = pc;
-}
-#endif
-
-
-#if defined(ENABLE_THREADS)
-void thread_restartcriticalsection(ucontext_t *_uc)
-{
- mcontext_t *_mc;
- void *pc;
-
- _mc = &_uc->uc_mcontext;
-
- pc = critical_find_restart_point((void *) _mc->gregs[REG_RIP]);
-
- if (pc != NULL)
- _mc->gregs[REG_RIP] = (ptrint) pc;
-}
-#endif
-
-
-/* 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
*******************************************************************************/
-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 */
/* 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 */
+ /* return NULL if no mptr was specified (used for replacement) */
+
+ if (mptr == NULL)
+ return NULL;
+
/* 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 */
- assert(0);
- }
-
- return pa;
-}
+ vm_abort("md_jit_method_patch_address: unknown instruction %x", mcode);
+ /* keep compiler happy */
-/* md_codegen_findmethod *******************************************************
-
- On this architecture just a wrapper function to codegen_findmethod.
-
-*******************************************************************************/
-
-u1 *md_codegen_findmethod(u1 *ra)
-{
- u1 *pv;
-
- /* the the start address of the function which contains this
- address from the method table */
-
- pv = codegen_findmethod(ra);
-
- return pv;
-}
-
-
-/* md_cacheflush ***************************************************************
-
- Calls the system's function to flush the instruction and data
- cache.
-
-*******************************************************************************/
+ pa = NULL;
+ }
-void md_cacheflush(u1 *addr, s4 nbytes)
-{
- /* do nothing */
+ return pa;
}
-/* 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 */
-}
+ uint8_t* xpc = (uint8_t*) _xpc;
+#if 0
+ // Check for StackOverflowException.
+ threads_check_stackoverflow(sp);
+#endif
-/* md_dcacheflush **************************************************************
-
- Calls the system's function to flush the data cache.
-
-*******************************************************************************/
-
-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;
+ }
}
*******************************************************************************/
-void md_patch_replacement_point(rplpoint *rp)
+#if defined(ENABLE_REPLACEMENT)
+void md_patch_replacement_point(u1 *pc, u1 *savedmcode, bool revert)
{
- u8 mcode;
-
- /* XXX this is probably unsafe! */
-
- /* save the current machine code */
- mcode = *(u8*)rp->pc;
-
- /* write spinning instruction */
- *(u2*)(rp->pc) = 0xebfe;
+ u2 mcode;
- /* write 5th byte */
- rp->pc[4] = (rp->mcode >> 32);
+ if (revert) {
+ /* write saved machine code */
+ *(u2*)(pc) = *(u2*)(savedmcode);
+ }
+ else {
+ /* save the current machine code */
+ *(u2*)(savedmcode) = *(u2*)(pc);
- /* write first word */
- *(u4*)(rp->pc) = (u4) rp->mcode;
+ /* build the machine code for the patch */
+ mcode = 0x0b0f;
- /* store saved mcode */
- rp->mcode = mcode;
-
-#if !defined(NDEBUG) && defined(ENABLE_DISASSEMBLER)
- {
- u1* u1ptr = rp->pc;
- DISASSINSTR(u1ptr);
- fflush(stdout);
+ /* write new machine code */
+ *(u2*)(pc) = (u2) mcode;
}
-#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.
projects / cacao.git / blobdiff