1 /* src/vm/jit/i386/freebsd/md-os.c - machine dependent i386 FreeBSD functions
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
33 #include "vm/jit/i386/codegen.h"
34 #include "vm/jit/i386/md.h"
36 #include "threads/thread.hpp"
38 #include "vm/jit/builtin.hpp"
39 #include "vm/signallocal.hpp"
41 #include "vm/jit/asmpart.h"
42 #include "vm/jit/executionstate.h"
43 #include "vm/jit/stacktrace.hpp"
44 #include "vm/jit/trap.hpp"
47 /* md_signal_handler_sigsegv ***************************************************
49 Signal handler for hardware exceptions.
51 *******************************************************************************/
53 void md_signal_handler_sigsegv(int sig, siginfo_t *siginfo, void *_p)
70 _uc = (ucontext_t *) _p;
71 _mc = &_uc->uc_mcontext;
73 pv = NULL; /* is resolved during stackframeinfo creation */
74 sp = (u1 *) _mc->mc_esp;
75 xpc = (u1 *) _mc->mc_eip;
76 ra = xpc; /* return address is equal to XPC */
78 /* get exception-throwing instruction */
80 opc = M_ALD_MEM_GET_OPC(xpc);
81 mod = M_ALD_MEM_GET_MOD(xpc);
82 rm = M_ALD_MEM_GET_RM(xpc);
84 /* for values see emit_mov_mem_reg and emit_mem */
86 if ((opc == 0x8b) && (mod == 0) && (rm == 5)) {
87 /* this was a hardware-exception */
89 d = M_ALD_MEM_GET_REG(xpc);
90 disp = M_ALD_MEM_GET_DISP(xpc);
92 /* we use the exception type as load displacement */
122 vm_abort("md_signal_handler_sigsegv: Unkown register %d", d);
125 if (type == TRAP_COMPILER) {
126 /* The PV from the compiler stub is equal to the XPC. */
130 /* We use a framesize of zero here because the call pushed
131 the return addres onto the stack. */
133 ra = md_stacktrace_get_returnaddress(sp, 0);
135 /* Skip the RA on the stack. */
137 sp = sp + 1 * SIZEOF_VOID_P;
139 /* The XPC is the RA minus 2, because the RA points to the
140 instruction after the call. */
146 /* this was a normal NPE */
148 type = TRAP_NullPointerException;
152 /* Handle the trap. */
154 p = trap_handle(type, val, pv, sp, ra, xpc, _p);
158 if (type == TRAP_COMPILER) {
160 _mc->mc_esp = (uintptr_t) sp; // Remove RA from stack.
166 /* md_signal_handler_sigfpe ****************************************************
168 ArithmeticException signal handler for hardware divide by zero
171 *******************************************************************************/
173 void md_signal_handler_sigfpe(int sig, siginfo_t *siginfo, void *_p)
184 _uc = (ucontext_t *) _p;
185 _mc = &_uc->uc_mcontext;
187 pv = NULL; /* is resolved during stackframeinfo creation */
188 sp = (u1 *) _mc->mc_esp;
189 xpc = (u1 *) _mc->mc_eip;
190 ra = xpc; /* return address is equal to xpc */
192 /* This is an ArithmeticException. */
194 type = TRAP_ArithmeticException;
197 /* Handle the trap. */
199 trap_handle(type, val, pv, sp, ra, xpc, _p);
203 /* md_signal_handler_sigill ****************************************************
205 Signal handler for hardware patcher traps (ud2).
207 *******************************************************************************/
209 void md_signal_handler_sigill(int sig, siginfo_t *siginfo, void *_p)
220 _uc = (ucontext_t *) _p;
221 _mc = &_uc->uc_mcontext;
223 pv = NULL; /* is resolved during stackframeinfo creation */
224 sp = (u1 *) _mc->mc_esp;
225 xpc = (u1 *) _mc->mc_eip;
226 ra = xpc; /* return address is equal to xpc */
231 /* Handle the trap. */
233 trap_handle(type, val, pv, sp, ra, xpc, _p);
237 /* md_signal_handler_sigusr1 ***************************************************
239 Signal handler for suspending threads.
241 *******************************************************************************/
243 #if defined(ENABLE_THREADS) && defined(ENABLE_GC_CACAO)
244 void md_signal_handler_sigusr1(int sig, siginfo_t *siginfo, void *_p)
251 _uc = (ucontext_t *) _p;
252 _mc = &_uc->uc_mcontext;
254 /* get the PC and SP for this thread */
255 pc = (u1 *) _mc->mc_eip;
256 sp = (u1 *) _mc->mc_esp;
258 /* now suspend the current thread */
259 threads_suspend_ack(pc, sp);
264 /* md_signal_handler_sigusr2 ***************************************************
266 Signal handler for profiling sampling.
268 *******************************************************************************/
270 #if defined(ENABLE_THREADS)
271 void md_signal_handler_sigusr2(int sig, siginfo_t *siginfo, void *_p)
280 _uc = (ucontext_t *) _p;
281 _mc = &_uc->uc_mcontext;
283 pc = (u1 *) _mc->mc_eip;
290 /* md_executionstate_read ******************************************************
292 Read the given context into an executionstate for Replacement.
294 *******************************************************************************/
296 void md_executionstate_read(executionstate_t* es, void* context)
298 ucontext_t* _uc = (ucontext_t*) context;
299 mcontext_t* _mc = &_uc->uc_mcontext;
301 // Read special registers.
302 es->pc = (u1 *) _mc->mc_eip;
303 es->sp = (u1 *) _mc->mc_esp;
304 es->pv = NULL; /* pv must be looked up via AVL tree */
306 // Read integer registers.
307 es->intregs[EAX] = _mc->mc_eax;
308 es->intregs[ECX] = _mc->mc_ecx;
309 es->intregs[EDX] = _mc->mc_edx;
310 es->intregs[EBX] = _mc->mc_ebx;
311 es->intregs[ESP] = _mc->mc_esp;
312 es->intregs[EBP] = _mc->mc_ebp;
313 es->intregs[ESI] = _mc->mc_esi;
314 es->intregs[EDI] = _mc->mc_edi;
316 // Read float registers.
317 for (int i = 0; i < FLT_REG_CNT; i++)
318 es->fltregs[i] = 0xdeadbeefdeadbeefULL;
322 /* md_executionstate_write *****************************************************
324 Write the given executionstate back to the context for Replacement.
326 *******************************************************************************/
328 void md_executionstate_write(executionstate_t* es, void* context)
330 ucontext_t* _uc = (ucontext_t*) context;
331 mcontext_t* _mc = &_uc->uc_mcontext;
333 // Write integer registers.
334 _mc->mc_eax = es->intregs[EAX];
335 _mc->mc_ecx = es->intregs[ECX];
336 _mc->mc_edx = es->intregs[EDX];
337 _mc->mc_ebx = es->intregs[EBX];
338 _mc->mc_esp = es->intregs[ESP];
339 _mc->mc_ebp = es->intregs[EBP];
340 _mc->mc_esi = es->intregs[ESI];
341 _mc->mc_edi = es->intregs[EDI];
343 // Write special registers.
344 _mc->mc_eip = (uintptr_t) es->pc;
345 _mc->mc_esp = (uintptr_t) es->sp;
350 * These are local overrides for various environment variables in Emacs.
351 * Please do not remove this and leave it at the end of the file, where
352 * Emacs will automagically detect them.
353 * ---------------------------------------------------------------------
356 * indent-tabs-mode: t